The medial axis transform (MAT) is an important shape representation for shape approximation, shape recognition, and shape retrieval. Despite years of research, there is still a lack of effective methods for efficient, robust and accurate computation of the MAT. We present an efficient method, called {\em Q-MAT}, that uses quadratic error minimization to compute a structurally simple, geometrically accurate, and compact representation of the MAT. We introduce a new error metric for approximation and a new quantitative characterization of unstable branches of the MAT, and integrate them in an extension of the well-known quadric error metric (QEM) framework for mesh decimation. Q-MAT is fast, removes insignificant unstable branches effectively, and produces a simple and accurate piecewise linear approximation of the MAT. The method is thoroughly validated and compared with existing methods for MAT computation.

No abstract uploaded!

We prove the complete monotonicity on $${(0, \infty)^{n}}$$ for suitable inverse powers of the spanning-tree polynomials of graphs and, more generally, of the basis generating polynomials of certain classes of matroids. This generalizes a result of Szegő and answers, among other things, a long-standing question of Lewy and Askey concerning the positivity of Taylor coefficients for certain rational functions. Our proofs are based on two ab-initio methods for proving that $${P^{-\beta}}$$ is completely monotone on a convex cone$C$: the determinantal method and the quadratic-form method. These methods are closely connected with harmonic analysis on Euclidean Jordan algebras (or equivalently on symmetric cones). We furthermore have a variety of constructions that, given such polynomials, can create other ones with the same property: among these are algebraic analogues of the matroid operations of deletion, contraction, direct sum, parallel connection, series connection and 2-sum. The complete monotonicity of $${P^{-\beta}}$$ for some $${\beta > 0}$$ can be viewed as a strong quantitative version of the half-plane property (Hurwitz stability) for$P$, and is also related to the Rayleigh property for matroids.

We develop foundational theory for the Laplacian flow for closed G2 structures which will be essential for future study. (1). We prove Shi-type derivative estimates for the Riemann curvature tensor Rm and torsion tensor T along the flow, i.e. that a bound on Λ(x,t)=(|∇T(x,t)|^2g(t)+|Rm(x,t)|^2g(t))^{1/2} will imply bounds on all covariant derivatives of Rm and T. (2). We show that Λ(x,t) will blow up at a finite-time singularity, so the flow will exist as long as Λ(x,t) remains bounded. (3). We give a new proof of forward uniqueness and prove backward uniqueness of the flow, and give some applications. (4). We prove a compactness theorem for the flow and use it to strengthen our long time existence result from (2) to show that the flow will exist as long as the velocity of the flow remains bounded. (5). Finally, we study soliton solutions of the Laplacian flow.

No abstract uploaded!