Related papers: Sharing pizza in n dimensions

For each cardinal $\kappa$, each natural number $n$ and each simplicial complex $K$ we construct a space $\nu^n_\kappa(K)$ and a map $\pi \colon \nu^n_\kappa(K) \to K$ such that the following conditions are satisfied. 1. $\nu^n_\kappa(K)$…

Let A be a subspace arrangement with a geometric lattice such that codim(x) > 1 for every x in A. Using rational homotopy theory, we prove that the complement M(A) is rationally elliptic if and only if the sum of the orthogonal subspaces is…

The Kneser-Poulsen conjecture says that if a finite collection of balls in a Euclidean (spherical or hyperbolic) space is rearranged so that the distance between each pair of centers does not increase, then the volume of the union of these…

We establish a structure theorem for minimizing sequences for the isoperimetric problem on noncompact $\mathsf{RCD}(K,N)$ spaces $(X,\mathsf{d},\mathcal{H}^N)$. Under the sole (necessary) assumption that the measure of unit balls is…

We define arrangements of codimension-1 submanifolds in a smooth manifold which generalize arrangements of hyperplanes. When these submanifolds are removed the manifold breaks up into regions, each of which is homeomorphic to an open disc.…

In this paper we introduce the notion of an assembler, which formally encodes "cutting and pasting" data. An assembler has an associated $K$-theory spectrum, in which $\pi_0$ is the free abelian group of objects of the assembler modulo the…

Let $\mathbb{P}\Omega^d\mathcal{M}_{0,n}(\kappa)$, where $\kappa=(k_1,\dots,k_n)$, be a stratum of (projectivized) $d$-differentials in genus $0$. We prove a recursive formula which relates the volume of…

For a finite volume geodesic polyhedron P in hyperbolic 3-space, with the property that all interior angles between incident faces are integral submultiples of Pi, there is a naturally associated Coxeter group generated by reflections in…

Let $\Gamma$ be a nonuniform lattice acting on real hyperbolic n-space. We show that in dimension greater than or equal to 4, the volume of a representation is constant on each connected component of the representation variety of $\Gamma$…

Gr\"unbaum's inequality guarantees that the centroid of a convex body has halfspace depth at least $1/e$: every halfspace containing the centroid captures at least a $1/e$ fraction of the body's volume. For mixed-integer convex sets…

The average section functional ${\rm as}(K)$ of a centered convex body in ${\mathbb R}^n$ is the average volume of central hyperplane sections of $K$: \begin{equation*}{\rm as}(K)=\int_{S^{n-1}}|K\cap \xi^{\perp }|\,d\sigma (\xi…

Let $M$ be a compact $n$-manifold of $\operatorname{Ric}_M\ge (n-1)H$ ($H$ is a constant). We are concerned with the following space form rigidity: $M$ is isometric to a space form of constant curvature $H$ under either of the following…

Hadwiger's theorem is a Helly-type theorem involving common transversals to families of convex sets instead of common intersections. Subsequently, Pollack and Wenger identified a necessary and sufficient condition, called a consistent…

Given finite metric spaces $(X, d_X)$ and $(Y, d_Y)$, we investigate the persistent homology $PH_*(X \times Y)$ of the Cartesian product $X \times Y$ equipped with the sum metric $d_X + d_Y$. Interpreting persistent homology as a module…

Positiveness of scalar curvature and Ricci curvature requires vanishing the obstruction $\theta(M)$ which is computed in some KK-theory of C*-algebras index as a pairing of spin Dirac operator and Mishchenko bundle associated to the…

This work explores the interplay between quantum information theory, algebraic geometry, and number theory, with a particular focus on multiqubit systems, their entanglement structure, and their classification via geometric embeddings. The…

We consider a compact hyperbolic antiprism. It is a convex polyhedron with $2n$ vertices in the hyperbolic space $\mathbb{H}^3$. This polyhedron has a symmetry group $S_{2n}$ generated by a mirror-rotational symmetry of order $2n$, i.e.…

What is the optimal way to cut a convex bounded domain $K$ in Euclidean space $(\mathbb{R}^n,|\cdot|)$ into two halves of equal volume, so that the interface between the two halves has least surface area? A conjecture of Kannan, Lov\'asz…

This paper is concerned with a covering problem of Euclidean space by a particular arrangement of cones that are not necessarily full and are allowed to overlap. The problem provides an equivalent geometric reformulation of the solvability…

A Coxeter $n$-orbifold is an $n$-dimensional orbifold based on a polytope with silvered boundary facets. Each pair of adjacent facets meet on a ridge of some order $m$, whose neighborhood is locally modeled on ${\mathbb R}^n$ modulo the…