https://arxiv.org/api/SQMAfb+kzsVnL9OeGYd+2PEfa142026-06-15T04:35:27Z1305157015http://arxiv.org/abs/2403.15972v3Positive mass and isoperimetry for continuous metrics with nonnegative scalar curvature2026-02-24T20:11:16ZThis paper deals with quasi-local isoperimetric versions of the positive mass theorem on $3$-manifolds endowed with continuous complete metrics having nonnegative scalar curvature in a suitable weak sense. As a corollary, we derive existence results for isoperimetric sets in such low regularity setting. Our main tool is a new local version of the weak inverse mean curvature flow enjoying $C^0$-stable quantitative estimates.2024-03-24T00:43:35Z34 pages, 1 figure. Accepted version. To appear in Annales de l'Institut Henri Poincaré CGioacchino AntonelliMattia FogagnoloStefano NardulliMarco Pozzettahttp://arxiv.org/abs/2602.18927v2Geometric Large-Deviation-Type Principles for Mixed Measures2026-02-24T13:52:04ZWe study an analogue of the large deviation principle for mixed measures associated with a class of $\log$-concave probability measures whose densities depend on the gauge function of a convex body. For convex bodies in $\mathbb{R}^n$, we prove a geometric large-deviation-type asymptotic for first-order mixed measures, where the decay under dilation is governed by a natural inradius associated with the measure. In the planar case, we derive an explicit integral representation for second-order mixed measures and obtain a corresponding asymptotic. As an application, we prove a comparison theorem showing that asymptotic dominance under dilation forces inclusion between convex bodies.2026-02-21T18:37:35Z23 pages, 1 figureMalak LafiArtem Zvavitchhttp://arxiv.org/abs/2602.20766v1The $d$-dimensional realisation number of a rigid graph2026-02-24T10:56:41ZDetermining the number of (complex) realisations of a rigid graph for a specific choice of edge lengths is a fundamental problem in discrete geometry. In this article we provide two new tools for determining realisation numbers in arbitrary dimensions: (i) we prove that subgraph inclusion translates to realisation number divisibility; and (ii) we provide lower bounds on realisation numbers under specific graph operations in all dimensions. We use these methods to prove that every triangulated sphere with $n$ vertices has at least $2^{n-4}$ edge-length equivalent realisations in 3-dimensions, extending a 2-dimensional result of Jackson and Owen in the case of planar graphs. Additionally, our tools solve a family of conjectures set by Grasegger regarding how 1-extensions, X-replacements, and V-replacements affect realisation numbers.2026-02-24T10:56:41Z26 pages, 7 figuresSean DewarAnthony NixonBen Smithhttp://arxiv.org/abs/2508.15342v2Counterexample to the conjectured coarse grid theorem2026-02-24T10:44:31ZWe show that for every $M,A,n \in \mathbb{N}$ there exists a graph $G$ that does not contain the $(154\times 154)$-grid as a $3$-fat minor and is not $(M,A)$-quasi-isometric to a graph with no $K_n$ minor. This refutes the conjectured coarse grid theorem by Georgakopoulos and Papasoglu and the weak fat minor conjecture of Davies, Hickingbotham, Illingworth, and McCarty.
Our construction is a slight modification of the recent counterexample to the weak coarse Menger conjecture from Nguyen, Scott and Seymour.
We further modify the construction to show that there are planar graphs that do not have the coarse Erdős-Pósa property.2025-08-21T08:16:55ZAdded a counterexample showing that not every planar graph has the coarse Erdős-Pósa propertySandra AlbrechtsenJames Davieshttp://arxiv.org/abs/2602.20533v1Asymptotic geometric regularity of CAT(0) spaces2026-02-24T04:20:13ZWe prove that if an n-dimensional geodesically complete CAT(0) space has Tits boundary sufficiently close to the (n-1)-dimensional standard unit sphere, then it is bi-Lipschiz homeomorphic to the n-dimensional Euclidean space. As an application, we conclude that if an (n-1)-dimensional geodesically complete CAT(1) space is sufficiently close to the (n-1)-dimensional standard unit sphere, then they are bi-Lipschiz homeomorphic to each other.2026-02-24T04:20:13Z21 pages. arXiv admin note: substantial text overlap with arXiv:2601.22673Koichi Naganohttp://arxiv.org/abs/2602.20290v1A note on the affine plank conjecture2026-02-23T19:16:24ZIn 1951, Bang posed the affine plank conjecture, which remains open: If a convex body in $\mathbb{R}^d$ is covered by planks, then the total relative width of the planks is at least one. We prove a lower bound of $2/(1+\sqrt{d})$ for this total relative width. The best previously known lower bound was $2/(1+d)$.2026-02-23T19:16:24ZEgor BakaevAmir Yehudayoffhttp://arxiv.org/abs/2311.16389v2Quantitative PL bordism2026-02-23T19:06:34ZWe study PL bordism theories from a quantitative perspective. Such theories include those of PL manifolds, ordinary homology theory, as well as various more exotic theories such as bordism of Witt spaces. In all these cases we show that a null-bordant cycle of bounded geometry and $V$ simplices has a filling of bounded geometry whose number of simplices is slightly superlinear in $V$. This bound is similar to that found in our previous work on smooth cobordism.2023-11-28T00:20:17Z47 pages, 1 figure, 2 tables. Major changes in v2: Theorem 2.2 is new. Many corrections in Section 4. Appendix B is vastly expanded and is now joint with Bena Tshishiku; ultimately this may become a separate paperFedor ManinBena TshishikuShmuel Weinbergerhttp://arxiv.org/abs/2602.19757v1Explicit construction of spherical $5$- and $7$-designs2026-02-23T12:09:29ZThis paper develops an explicit and implementable framework for constructing spherical designs by lifting point sets from tight fusion frames. By combining existing ingredients, we obtain, in every dimension, explicit spherical $5$-designs with $|X|=\mathcal{O}(d^3)$. As a core component of the method, we give an explicit construction of simplex $3$-designs realized as orbits of the symmetric group. Using these simplex designs as input, we further construct spherical $7$-designs in arbitrary even dimensions; more precisely, for every even integer $d\ge 6$ we obtain spherical $7$-designs in dimension $d$, and if $\frac{d}{2}-1$ is a prime power then the number of points is $\mathcal{O}(d^6)$.2026-02-23T12:09:29Z18 pages, 1 figureRyutaro Misawahttp://arxiv.org/abs/2507.15495v2Thin-shell bounds via parallel coupling2026-02-23T10:46:50ZWe prove that for any log-concave random vector $X$ in $\mathbb{R}^n$ with mean zero and identity covariance, $$ \mathbb{E} (|X| - \sqrt{n})^2 \leq C $$ where $C > 0$ is a universal constant. Thus, most of the mass of the random vector $X$ is concentrated in a thin spherical shell, whose width is only $C / \sqrt{n}$ times its radius. This confirms the thin-shell conjecture in high dimensional convex geometry. Our method relies on the construction of a certain coupling between log-affine perturbations of the law of $X$ related to Eldan's stochastic localization and to the theory of non-linear filtering. Another ingredient is a recent breakthrough technique by Guan that was previously used in our proof of Bourgain's slicing conjecture, which is known to be implied by the thin-shell conjecture.2025-07-21T10:57:24Z36 pages v2: a few typos fixed and some minor modifications in the introductionBoaz KlartagJoseph Lehechttp://arxiv.org/abs/2308.02956v2An equichordal characterization of the ellipsoid and the sphere2026-02-23T06:29:49ZLet $K$ and $L$ be two convex bodies in $\mathbb R^n$, $n\geq 3$, with $L\subset \text{int}\, K$. In this paper we prove the following result: if every two parallel chords of $K$, supporting $L$ have the same length, then $K$ and $L$ are homothetic and concentric ellipsoids. We also prove a similar theorem when instead of parallel chords we consider concurrent chords. We may also replace, in both theorems, supporting chords of $L$ by supporting sections of constant width. In the last section we also prove similar theorems where we consider projections instead of sections.2023-08-05T21:52:19ZVictor A. Aguilar-ArteagaRafael Iván Ayala-FigueroaJesús Jerónimo-CastroEfrén Morales-Amayahttp://arxiv.org/abs/2602.19434v1$L_1$-distortion of Earth Mover Distances and Transportation Cost Spaces on High Dimensional Grids2026-02-23T02:03:42ZWe prove that the distortion of any embedding into $L_1$ of the transportation cost space or earth mover distance over a $d$-dimensional grid $\{1,\dots m\}^d$ is $Ω(\log N)$, where $N$ is the number of vertices and the implicit constant is universal (in particular, independent of dimension). This lower bound matches the universal upper bound $O(\log N)$ holding for any $N$-point metric space. Our proof relies on a new Sobolev inequality for real-valued functions on the grid, based on random measures supported on dyadic cubes.2026-02-23T02:03:42Z15 pagesChris GartlandMikhail OstrovskiiYuval RabaniRobert Younghttp://arxiv.org/abs/2602.19391v1Skeletal Snub Polyhedra in Ordinary Space, I2026-02-22T23:52:23ZSkeletal polyhedra are discrete connected structures consisting of finite (planar or skew) or infinite (linear, planar, or spatial) polygons as faces, with two faces on each edge and a circular vertex figure at each vertex. The present paper describes the blueprint for the snub construction and shows that it can be applied to both regular and chiral skeletal polyhedra in ordinary space. The resulting skeletal snub polyhedra are vertex-transitive and highly locally symmetric. Their properties - from a combinatorial, topological, and geometric perspective - are described and illustrated on some particularly interesting examples. We examine when the construction yields uniform skeletal polyhedra and discuss the completeness of our list of generated structures.2026-02-22T23:52:23Z41 pagesEgon SchulteTomas Skacelhttp://arxiv.org/abs/2602.19311v1Distance Equilibrium Measures and Curvature in Metric Spaces2026-02-22T19:22:35ZLet $(X,d)$ be a compact metric space. We consider the behavior of probability measures $μ$ with the property that $$ \int_{X} d(x, y) dμ(y) \qquad \mbox{is independent of}~x \in X.$$ It appears that such measures, when they exist, encode a `curvature-type' quantity. We investigate this in the special case where $X$ is a closed, convex curve in $\mathbb{R}^2$ and $d = \| \cdot \|_2$ is the Euclidean distance: even a single point with small curvature implies non-existence of such a measure. Conversely, such a measure $μ$ exists for all curves whose curvature is sufficiently close to constant. Curvature is usually defined by second derivatives; this one is defined via an integral equation which makes sense in much rougher spaces. Connections to curvature on graphs, the Gross-Stadje Theorem and magnitude are discussed.2026-02-22T19:22:35ZStefan Steinerbergerhttp://arxiv.org/abs/2602.19300v1Pál's isominwidth inequality for ball convex bodies in planes of constant curvature2026-02-22T18:35:50ZPál's classical isominwidth inequality states that the regular triangle has minimal area among plane convex bodies of minimal width $w$. A similar result is the Blaschke--Lebesgue inequality that states that Reuleaux triangles minimize the area among bodies of constant width $w$ in the plane. In this paper, we connect these two problems by solving the isominwidth problem for $r$-ball convex bodies in the Euclidean, hyperbolic and spherical planes.2026-02-22T18:35:50Z12 pages, 4 figuresFerenc FodorNathan RobockÁdám Sagmeisterhttp://arxiv.org/abs/2505.22374v4On face angles of tetrahedra with a given base2026-02-22T14:10:32ZLet us consider the set $Ω(\triangle ABC)$ of all tetrahedra $ABCD$ with a given non-degenerate base $ABC$ in $\mathbb{E}^3$ and $D$ lying outside the plane $ABC$. Let us denote by $Σ(\triangle ABC)$ the set $\left\{\Bigl(\cos \overlineα,\cos \overlineβ,\cos \overlineγ \Bigr)\in \mathbb{R}^3\,|\, ABCD \in Ω(\triangle ABC)\right\}$, where $\overlineα=\angle BDC$, $\overlineβ=\angle ADC$, and $\overlineγ=\angle ADB$. The paper is devoted to the problem of determining of the closure of $Σ(\triangle ABC)$ in $\mathbb{R}^3$ and its boundary.2025-05-28T14:02:46Z42 pages, 39 figures. Typos correctedE. V. NikitenkoYu. G. Nikonorov10.1007/s00025-026-02610-x