Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.08656

Minkowski Tensors of Planar Anisotropic Voronoi Diagrams

Nicolas Venkovic·Hartwig Anzt
View original source ↗Read source document ↗Export metadata ↓

Abstract

Anisotropic Voronoi diagrams, in which each cell is the region first reached by an ellipse growing from its site, generate non-convex cells whose integral geometry can be described using Minkowski tensors of arbitrary order. In this work, we derive semi-analytical formulas for Minkowski tensors of arbitrary order of the 0th, 1st and 2nd kind for planar anisotropic Voronoi cells that are star convex at their nucleation point. The resulting formulas involve integrals of contact functions, which describe the cell boundary through a diffeomorphic transformation. This transformation renders the geometry amenable to analytical treatment, enabling us to obtain expressions for the desired Minkowski tensors. Although most of the integrals lack closed-form solutions, they can be efficiently approximated numerically once the contact function and its derivatives are known along the boundary of the cell of interest.

Explore related subjects

math.MGmath.DG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nicolas Venkovic, Hartwig Anzt. 2026-10-06. Minkowski Tensors of Planar Anisotropic Voronoi Diagrams. https://arxiv.org/abs/2610.08656

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Optimal stability of Pál's isominwidth inequality for ball convex bodies in planes of constant curvature

Pál's isominwidth inequality (1921) answered the Kakeya needle problem (1917) for convex sets. It states that among convex bodies of fixed minimum width $w$ in the Euclidean plane, the regular triangle has minimal area. The isominwidth inequality was generalized to the $2$-dimensional sphere by Bezdek and Blekherman and Freyer and Sagmeister (arXiv:2411.11462). Interestingly, in hyperbolic space, no minimizer exists, as shown by Böröczky, Freyer and Sagmeister (arXiv:2502.04427). The stability of the Euclidean Pál inequality with respect to the Hausdorff metric and the symmetric difference metric was proved by Lucardesi and Zucco (arXiv:2405.18294). Fodor, Robock and Sagmeister (arXiv:2602.19300) proved $r$-ball convex analogs of the isominwidth inequality in all three constant curvature planes connecting Pál's theorem with the Blaschke--Lebesgue inequality. In this paper, we prove optimal stability versions of this statement with respect to the Hausdorff distance and the symmetric difference metric in all three constant curvature planes.

math.MG↗
arXiv2026

The Converse Problem for the Morley Tetrahedron: Counterexamples, Conjectures, and Partial Results

In a paper in Acta Mathematica Hungarica the author proved that the Morley tetrahedron of an isosceles tetrahedron, obtained by trisecting the six dihedral angles, is again isosceles, and proposed two converse conjectures. We show that both are false. There is a nonisosceles tetrahedron $T_1$ and an isosceles, nonregular tetrahedron $T_2$ whose Morley tetrahedra are regular, and there are nonisosceles tetrahedra, even a two-parameter family of tetrahedra without any symmetry, whose Morley tetrahedra are isosceles. In $T_1$ and in $T_2$ there is a pair of opposite edges such that the other four edges are equal, and we conjecture that a regular Morley tetrahedron always forces this. We prove the conjecture for every tetrahedron with a nontrivial symmetry, and we show that, up to similarity, the regular tetrahedron, $T_1$ and $T_2$ are the only tetrahedra with this edge pattern and a regular Morley tetrahedron. The tetrahedron $T_2$ has $AB=CD=1$ and $AC=AD=BC=BD=\sqrt{(21+4\sqrt6)/45}$, while $T_1$ is given by a root of a sextic with Galois group $S_6$ and cannot be expressed by radicals. We also prove that a tetrahedron with a regular Morley tetrahedron is regular if it is orthocentric, if it is isodynamic, if its three sums of opposite edges are equal, if it has three equal edges at a vertex, if it has an equilateral face, or if none of its dihedral angles is larger than $95^\circ$; the tetrahedron $T_2$ has two dihedral angles of about $98.7^\circ$. For isosceles Morley tetrahedra we conjecture that $(AB^2-CD^2)(AC^2-BD^2)(AD^2-BC^2)\ge0$ and that $AB=CD$ forces a second pair of equal opposite edges. We also conjecture that a tetrahedron with $AC=BD$ whose Morley tetrahedron satisfies $A'B'=B'C'=C'D'=D'A'$ has a nontrivial symmetry. Some proofs are computer assisted; they use exact rational arithmetic or interval arithmetic with outward rounding.

math.MG↗
arXiv2026

A note on Kuperberg's quadrilateral conjecture

Kuperberg conjectured in 1983 that every convex body $K$ in the plane is contained in a quadrilateral of area at most $\frac{3}{\sqrt5}\,|K|$, the extremal bodies being the affine-regular pentagons. On the basis of numerical experiments we propose a stronger conjecture of a purely polygonal nature: every convex polygon $P$ is contained in a quadrilateral of area at most $\frac{3}{\sqrt5}\,|P|$ whose sides are parallel to sides or diagonals of $P$. This \emph{chord conjecture} implies the inequality conjectured by Kuperberg. For pentagons it is a theorem of Hong, Ismailescu, Kwak and Park, of which we give a short proof by area identities. We also show that the classical bound $\sqrt2$ remains valid for quadrilaterals with sides parallel to chords; the proof is similar to Ismailescu's proof of this bound, but it starts from an inscribed quadrilateral of maximal area instead of a circumscribed quadrilateral of minimal area. We close with a discussion of the difficulties in reaching the constant $\frac{3}{\sqrt5}$.

math.MG↗