Abstract:We introduce and begin to explore the mean and median of finite sets of shapes represented as integral currents. The median can be computed efficiently in practice, and we focus most of our theoretical and computational attention on medians. We consider questions on the existence and regularity of medians. While the median might not exist in all cases, we show that a mass-regularized median is guaranteed to exist. When the input shapes are modeled by integral currents with shared boundaries in codimension $1$, we show that the median is guaranteed to exist, and is contained in the \emph{envelope} of the input currents. On the other hand, we show that medians can be \emph{wild} in this setting, and smooth inputs can generate non-smooth medians. For higher codimensions, we show that \emph{books} are minimizing for a finite set of $1$-currents in $\Bbb{R}^3$ with shared boundaries. As part of this proof, we present a new result in graph theory---that \emph{cozy} graphs are \emph{comfortable}---which should be of independent interest. Further, we show that regular points on the median have book-like tangent cones in this case. From the point of view of computation, we study the median shape in the settings of a finite simplicial complex. When the input shapes are represented by chains of the simplicial complex, we show that the problem of finding the median shape can be formulated as an integer linear program. This optimization problem can be solved as a linear program in practice, thus allowing one to compute median shapes efficiently. We provide open source code implementing our methods, which could also be used by anyone to experiment with ideas of their own. The software could be accessed at <a class="link-external link-https" href="https://github.com/tbtraltaa/medianshape" rel="external noopener nofollow">this https URL</a>.

Generalization of the Apollonius theorem for simplices and related problems

Median geometry for spaces with measured walls and for groups

Median Shapes

Apollonius Solutions in Rd

An extension of Minkowski's theorem and its applications to questions about projections for measures

Pseudo-holomorphic triangles and the median quasi-state

On a Theorem by Lin and Shinder through the Lens of Median Geometry

Integrality relations for polygonal dissections

Inequalities about the area bounded by three cevian lines of a triangle

Generalized Dissections and Monsky's Theorem

Relative Stanley-Reisner theory and Upper Bound Theorems for Minkowski sums

Translation-like Apollonius and triangular surfaces in non-constant curvature Thurston geometries

Bounding minimal solid angles of polytopes

Related Problems in Spherical and Solid Geometry

A Mattila-Sjölin theorem for simplices in low dimensions

Median Sets of Isometries in CAT(0) Cube Complexes and Some Applications

Halfspace depth for general measures: The ray basis theorem and its consequences

Continuity of the Volume of Simplices in Classical Geometry

The isominwidth problem on the 2-sphere

Quadric-based Simplification in Any Dimension

Lower bounds and integrality gaps in simplicial decomposition