[Paper Review] Conical $3$-uniform measure: a family of new examples and characterizations

A. Dali Nimer|arXiv (Cornell University)|Aug 8, 2016

Digital Image Processing Techniques4 references3 citations

TL;DR

This paper constructs an infinite family of 3-uniform measures in arbitrary codimension by introducing the concept of distance symmetry for points, showing that collections of 2-spheres with centers satisfying this symmetry generate 3-uniform measures. It further classifies conical 3-uniform measures in ℝ⁵, proving they all arise from such symmetric 2-sphere configurations, resolving a 30-year open problem on non-flat uniform measures beyond the light cone.

ABSTRACT

Uniform measures have played a fundamental role in geometric measure theory since they naturally appear as tangent objects. For instance, they were essential in the groundbreaking work of Preiss on the rectifiability of Radon measures. However, relatively little is understood about the structure of general uniform measures. Indeed, the question of whether there exist any non-flat uniform measures beside the one supported on the light cone has been open for 30 years, ever since Kowalski and Preiss classified $n$-uniform measures in $\mathbb{R}^{n+1}$ . In this paper, we answer the question and construct an infinite family of 3-uniform measures in arbitrary codimension. We define a notion of distance symmetry for points and prove that every collection of $2$-spheres whose centers are distance symmetric gives rise to a $3$-uniform measure. We then develop a combinatorial method to systematically produce distance symmetric points. We also classify conical $3$-uniform measures in $\mathbb{R}^{5}$ by proving that they all arise from distance symmetric spheres.

Motivation & Objective

• To resolve the long-standing open question of whether non-flat 3-uniform measures exist beyond the light cone in ℝ⁴.
• To construct an infinite family of 3-uniform measures in arbitrary codimension.
• To classify all conical 3-uniform measures in ℝ⁵ by characterizing their geometric structure.
• To introduce and formalize the notion of distance symmetry as a sufficient and necessary condition for generating 3-uniform measures from unions of 2-spheres.
• To develop a combinatorial method for systematically generating distance-symmetric point configurations that yield new 3-uniform measures.

Proposed method

• Defining distance symmetry as a geometric condition on point sets where the sum of squared distances from any point on a 2-sphere to the centers is constant.
• Proving that any collection of 2-spheres with centers satisfying distance symmetry generates a 3-uniform measure via the area growth of the intersection with balls.
• Using Taylor expansions of the boundary of the intersection between a ball and a surface defined by symmetric 2-spheres to compute the area up to order r⁴.
• Deriving an explicit formula for the area of the intersection of a ball with the union of symmetric 2-spheres, showing that the r⁴ term vanishes if and only if the distance symmetry condition holds.
• Applying the classification result from Kirchheim and Preiss that the support of any n-uniform measure is a real analytic variety to restrict the structure of 3-uniform measures.
• Using the fact that each connected component of the regular part of the support must be contained in a 2-sphere or 2-plane, and eliminating the 2-plane case due to the spherical constraint to conclude all components lie on 2-spheres.

Experimental results

Research questions

• RQ1 Do non-flat 3-uniform measures exist in codimensions greater than 1, beyond the light cone in ℝ⁴?
• RQ2 What geometric condition on collections of 2-spheres ensures their union supports a 3-uniform measure?
• RQ3 Can all conical 3-uniform measures in ℝ⁵ be characterized as arising from distance-symmetric 2-sphere configurations?
• RQ4 Is there a systematic method to generate new examples of 3-uniform measures using combinatorial constructions of symmetric point sets?
• RQ5 What is the precise relationship between the symmetry of sphere centers and the uniformity of the induced measure?

Key findings

• An infinite family of 3-uniform measures is constructed in arbitrary codimension by taking unions of 2-spheres whose centers are distance symmetric.
• The construction proves that every collection of 2-spheres with centers satisfying distance symmetry gives rise to a 3-uniform measure.
• In ℝ⁵, all conical 3-uniform measures are classified as arising exclusively from distance-symmetric 2-sphere configurations.
• The r⁴ term in the area expansion of the intersection of a ball with the measure’s support vanishes if and only if the distance symmetry condition holds.
• The coefficients in the Taylor expansion of the boundary radius reveal that the symmetry condition forces λ₁ = λ₂ and μ₁,ⱼ = μ₂,ⱼ, mⱼ = 0 for all j ≥ 5, ensuring uniformity.
• The proof establishes that any 2-dimensional connected component of the regular part of a 3-uniform measure’s support must lie on a 2-sphere, due to umbilicity and the spherical embedding constraint.