Improved $\ell_0$-Isoperimetry for Convex Bodies via Mass Transport

[2608.27854] Improved $\ell_0$-Isoperimetry for Convex Bodies via Mass Transport Skip to main content Search Submit Donate Log in Mathematics > Functional Analysis arXiv:2608.27854 (math) [Submitted on 28 Aug 2026] Title: Improved $\ell_0$-Isoperimetry for Convex Bodies via Mass Transport Authors: Manuel Fernandez V View PDF HTML (experimental) Abstract: We study $\ell_0$ isoperimetry for a convex body $K\subset \mathbb{R}^n$, $n\ge2$. For a Borel set $S\subset K$, let $\partial_0^K S$ be the set of points in $K \setminus S$ that can be reached from $S$ by changing at most one coordinate (i.e. the $\ell_0$ boundary of $S$). Suppose that, for some unconditional convex body $Q \subset \mathbb{R}^n$, numbers $r,R>0$, and possibly different centers $x_0,y_0$, \[ x_0+rQ \subset K\subset y_0+RQ. \] Writing $s=\text{vol}(S)/\text{vol}(K)$, we prove that whenever $0<s \le 1/2$, \[ \frac{\text{vol}(\partial_0^K S)}{\text{vol}(S)} \ge \frac{cr}{nR} \min\left\{1,\frac{\log(e/s)}{n}\right\}, \] where $c > 0$ is an absolute constant. Consequently, the associated $\ell_0$-isoperimetric coefficient is at least $cr/(n^2R)$. Previous direct lower bounds were only known for $\ell_2$ and $\ell_\infty$ regularity whereas our lower bound holds directly for any $Q$-regularity, where $Q$ is an unconditional convex body. Compared to $\ell_2$ and $\ell_\infty$ regularity, our lower bound result improves upon the previously best known lower bounds, for any $s$, by a factor of $n$. As an application of our result, we give improved mixing time bounds for the Coordinate Hit and Run walk (CHAR). Our proof of the lower bound is based on a modification of the method of canonical paths applied to a continuous Hamming graph over our convex body. Our construction of canonical paths can be viewed as a suitable coordinate discretization of certain mass transport maps from $S$ to $S^c$. We also give complementary upper-bounds for any $Q$-regularity, with an overall factor of $n$ gap between the two. Comments: 36 pages, 2 figures Subjects: Functional Analysis (math.FA) ; Computational Geometry (cs.CG); Metric Geometry (math.MG); Statistics Theory (math.ST) MSC classes: 52A40 (Primary), 52A23, 49Q22, 60J05 (Secondary) ACM classes: G.3; F.2.2 Cite as: arXiv:2608.27854 [math.FA] (or arXiv:2608.27854v1 [math.FA] for this version) https://doi.org/10.48550/arXiv.2608.27854 Focus to learn more arXiv-issued DOI via DataCite Submission history From: Manuel Fernandez V [ view email ] [v1] Fri, 28 Aug 2026 02:58:16 UTC (41 KB) Full-text links: Access Paper: View PDF HTML (experimental) TeX Source view license Current browse context: math.FA < prev | next > new | recent | 2026-08 Change to browse by: cs cs.CG math math.MG math.ST stat stat.TH References & Citations NASA ADS Google Scholar Semantic Scholar export BibTeX citation Bookmark Bibliographic Tools Bibliographic and Citation Tools Bibliographic Explorer Toggle Bibliographic Explorer ( What is the Explorer? ) Connected Papers Toggle Connected Papers ( What is Connected Papers? ) Litmaps Toggle Litmaps ( What is Litmaps? ) scite.ai Toggle scite Smart Citations ( What are Smart Citations? ) Code, Data, Media Code, Data and Media Associated with this Article alphaXiv Toggle alphaXiv ( What is alphaXiv? ) Links to Code Toggle CatalyzeX Code Finder for Papers ( What is CatalyzeX? ) DagsHub Toggle DagsHub ( What is DagsHub? ) GotitPub Toggle Gotit.pub ( What is GotitPub? ) Huggingface Toggle Hugging Face ( What is Huggingface? ) ScienceCast Toggle ScienceCast ( What is ScienceCast? ) Demos Demos Replicate Toggle Replicate ( What is Replicate? ) Spaces Toggle Hugging Face Spaces ( What is Spaces? ) Spaces Toggle TXYZ.AI ( What is TXYZ.AI? ) Related Papers Recommenders and Search Tools Link to Influence Flower Influence Flower ( What are Influence Flowers? ) Core recommender toggle CORE Recommender ( What is CORE? ) Author Venue Institution Topic About arXivLabs arXivLabs: experimental projects with community collaborators arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs . Which authors of this paper are endorsers? | Disable MathJax ( What is MathJax? ) We gratefully acknowledge support from our major funders , member institutions , and all contributors. About · Help · Contact · Subscribe · Copyright · Privacy · Accessibility · Operational Status (opens in new tab) Major funding support from

Related documents

• Improved $\ell_0$-Isoperimetry for Convex Bodies via Mass Transport#779764
• Singularity of harmonic measures for hyperbolic lattices#1154616
• An approximate counterexample to the Barker--Larman problem in dimension $4$#997156
• Convergence of invariant measures for singular stochastic diffusion equations#274298
• Brunn-Minkowski Inequality for p-Harmonic Measures#1128562