Recognition: 3 theorem links
· Lean TheoremIntrinsic volumes of ell_p-balls and a continuum of Maxwell--Poincar\'e--Borel laws for their curvature measures
Pith reviewed 2026-05-13 04:50 UTC · model grok-4.3
The pith
Intrinsic volumes of ℓ_p-balls admit explicit one-dimensional integral formulas, and their curvature measures obey a family of Maxwell-Poincaré-Borel limit laws indexed by α in [0,1].
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For p>1 the intrinsic volumes V_j(B_p^n) are given explicitly by a one-dimensional integral involving the special function F_p(t;ν) = ∫_R |u|^ν exp(-|u|^p - t |u|^{2p-2}) du; the same representation yields asymptotic expressions when the index j depends on n. The curvature measures Φ_j(B_p^n,·) admit an explicit characterization whose mixed moments are also closed-form, and this characterization implies that if X_n is sampled from the normalized curvature measure Φ_{j(n)} with j(n)/n → α then n^{1/p} X_n has its first r coordinates converging weakly to the product measure ν_{p,α}^⊗r for any fixed r.
What carries the argument
Explicit characterization of the curvature measures of coordinate-weighted ℓ_p-balls together with closed-form expressions for all their mixed moments.
If this is right
- All previously known explicit formulas for intrinsic volumes of ellipsoids, weighted crosspolytopes, and rectangular boxes are recovered as special or limiting cases of the new integral expression.
- Asymptotic formulas hold for V_{j(n)}(B_p^n) whenever j(n) is any sequence with j(n)/n tending to a fixed α in [0,1].
- The limiting measure ν_{p,α} is an explicit probability law on R whose moments can be read off from the same integral representation used for the volumes.
- The joint convergence holds simultaneously for any fixed number r of coordinates, giving a product structure in the limit.
Where Pith is reading between the lines
- The explicit integral formulas open the possibility of stable numerical quadrature for intrinsic volumes at moderate n, replacing Monte-Carlo sampling of surface measures.
- Because the limit laws factorize across coordinates, similar product structures may appear for curvature measures of other symmetric convex bodies once their mixed-moment formulas are known.
- The parameter α interpolates continuously between volume-type and surface-type measures, suggesting a unified way to study concentration phenomena across different codimensions.
Load-bearing premise
The curvature measures of coordinate-weighted ℓ_p-balls must possess the stated explicit moment formulas without requiring extra unstated regularity conditions.
What would settle it
For the Euclidean case p=2 and small n, compute the integral formula for V_{n-1}(B_2^n) and check whether it equals the known surface area of the unit ball; mismatch for any n>1 would falsify the general claim.
read the original abstract
For $p>1$, we derive explicit formulas for the intrinsic volumes $V_0(\mathbb B_p^n),\dots,V_{n-1}(\mathbb B_p^n)$ of the $n$-dimensional $\ell_p$-balls $$ \mathbb B_p^n = \{x\in\mathbb R^n:\ |x_1|^p+\ldots+|x_n|^p\le 1\} $$ and, more generally, of their coordinate-weighted analogues. The formula is given in terms of a one-dimensional integral involving the special function $$ \mathcal F_p(t;\nu) = \int_{\mathbb R}|u|^\nu e^{-|u|^p-t|u|^{2p-2}}\,du. $$ Previously known formulas for the intrinsic volumes of ellipsoids, weighted crosspolytopes, and rectangular boxes arise as special or limiting cases. We also obtain asymptotic formulas for $V_{j(n)}(\mathbb B_p^n)$ in the high-dimensional regime $n\to\infty$, where the index $j(n)$ is allowed to depend on $n$. We further investigate the curvature measures of $\mathbb B_p^n$. These are finite measures $$ \Phi_0(\mathbb B_p^n,\cdot),\dots,\Phi_{n-1}(\mathbb B_p^n,\cdot) $$ on $\partial\mathbb B_p^n$ that localize the intrinsic volumes. We prove a Maxwell--Poincar\'{e}--Borel type limit theorem: if $X_n$ is a random boundary point of $\mathbb B_p^n$ distributed according to the normalized curvature measure $\Phi_{j(n)}(\mathbb B_p^n,\cdot)/V_{j(n)}(\mathbb B_p^n)$, where $j(n)/n\to\alpha\in[0,1]$ as $n\to\infty$, then for every fixed $r\in\mathbb N$, the joint distribution of the first $r$ coordinates of $n^{1/p}X_n$ converges weakly to the product measure $\nu_{p,\alpha}^{\otimes r}$. Here $\nu_{p,\alpha}$ is an explicit probability measure on $\mathbb R$ depending on $p>1$ and $\alpha\in[0,1]$. The main tool underlying these results is an explicit characterization of the curvature measures of coordinate-weighted $\ell_p$-balls, and in particular an explicit formula for their mixed moments.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper derives explicit formulas for the intrinsic volumes V_0(B_p^n), …, V_{n-1}(B_p^n) of the ℓ_p-ball and its coordinate-weighted analogues for p > 1, expressed as one-dimensional integrals involving the special function F_p(t; ν) = ∫ |u|^ν exp(−|u|^p − t |u|^{2p−2}) du. These formulas recover the known cases for ellipsoids (p=2), crosspolytopes, and boxes. The authors also prove a Maxwell–Poincaré–Borel-type weak-convergence theorem: under the normalized curvature measure Φ_{j(n)}(B_p^n, ·)/V_{j(n)}(B_p^n) with j(n)/n → α ∈ [0,1], the first r coordinates of n^{1/p} X_n converge in distribution to the product measure ν_{p,α}^{⊗r}, where ν_{p,α} is an explicit probability measure on R. The proofs rest on an explicit characterization of the curvature measures of weighted ℓ_p-balls together with closed-form mixed-moment formulas.
Significance. If the derivations hold, the work supplies the first explicit integral expressions for intrinsic volumes of ℓ_p-balls in all dimensions and a continuous family of high-dimensional limit laws for their curvature measures, parameterized by α. The reduction to classical cases (ellipsoids, crosspolytopes, boxes) and the explicit moment formulas constitute verifiable strengths. These results are likely to be useful in convex geometry, asymptotic analysis of norms, and probability on convex bodies.
minor comments (4)
- [§1] §1 (Introduction): the statement that the formulas are 'parameter-free' should be clarified, since the integral representation still depends on the auxiliary parameter t that is later optimized or integrated out; a short remark on how this differs from truly parameter-free expressions would prevent misreading.
- [Definition of F_p] Definition of F_p(t;ν) (p. 3): the domain of ν is not stated explicitly. Since the intrinsic-volume formulas invoke ν = j, j+1, …, n−1, a sentence confirming that the integral converges for all real ν > −1 (or the precise range needed) would improve readability.
- [Limit theorem] Theorem on the limit law (presumably §4): the weak-convergence statement is given for fixed r, but the dependence of the limiting measure ν_{p,α} on the choice of coordinate system (first r coordinates) is not discussed. A brief note that the result is rotationally invariant only after suitable re-labeling would clarify the scope.
- [Asymptotics] Asymptotic formulas for V_{j(n)}(B_p^n) as n→∞: the error term or rate of convergence is not indicated. Adding a remark on whether the approximation is uniform in α or only pointwise would strengthen the high-dimensional claims.
Simulated Author's Rebuttal
We thank the referee for the positive summary, the assessment of significance, and the recommendation of minor revision. The report does not list any specific major comments under the MAJOR COMMENTS section. Consequently we have no point-by-point rebuttals to offer. We remain ready to incorporate any minor editorial or typographical changes the editor may request.
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper derives explicit integral formulas for the intrinsic volumes V_j(B_p^n) in terms of the special function F_p from an explicit characterization of the curvature measures Φ_j of coordinate-weighted ℓ_p-balls together with formulas for their mixed moments. This characterization is presented as the main tool and is used to obtain both the volume formulas and the Maxwell-Poincaré-Borel limit theorem via weak convergence of the first r coordinates under the normalized curvature measure, with the limiting measure ν_{p,α} obtained directly from those moments. The derivations reduce correctly to independent known formulas for the special cases p=2 (ellipsoids), crosspolytopes, and boxes. No self-definitional steps, fitted inputs renamed as predictions, load-bearing self-citations, imported uniqueness theorems, smuggled ansatzes, or renamings of known results are present. The chain relies on standard properties of convex bodies and curvature measures without reducing the target results to the paper's own inputs by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard properties of intrinsic volumes and curvature measures for convex bodies hold and admit explicit mixed-moment formulas for coordinate-weighted ℓ_p-balls.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.lean (D=3 forcing via linking)alexander_duality_circle_linking unclearExamples 2.3-2.5 recover Euclidean ball, crosspolytope, cube formulas; no φ or 8-period appears
Reference graph
Works this paper leans on
-
[1]
R. Adamczak, P. Pivovarov, and P. Simanjuntak. Limit theorems for the volumes of small codimensional random sections ofℓ n p-balls.The Annals of Probability, 52(1):93–126, 2024. doi: 10.1214/23-AOP1646
-
[2]
F. Barthe and P. Wolff. Volume properties of high-dimensional Orlicz balls. In Rados law Adamczak, Nathael Gozlan, Karim Lounici, and Mokshay Madiman, editors,High Dimensional Probability IX, volume 80 ofProgress in Probability, pages 75–95. Birkh¨ auser, Cham, 2023. doi: 10.1007/978-3-031-26979-0 2
-
[3]
F. Barthe, O. Gu´ edon, S. Mendelson, and A. Naor. A probabilistic approach to the geometry of theℓ n p-ball.The Annals of Probability, 33(2):480–513, 2005. doi: 10.1214/009117904000000874
-
[4]
S. M. Berman. Stationarity, isotropy and sphericity inℓ p.Zeitschrift f¨ ur Wahrscheinlichkeit- stheorie und Verwandte Gebiete, 54(1):21–23, 1980. doi: 10.1007/BF00535348
-
[5]
U. Betke and M. Henk. Intrinsic volumes and lattice points of crosspolytopes.Monatsh. Math., 115(1-2):27–33, 1993
work page 1993
-
[6]
K. A. Borovkov. On the convergence of projections of uniform distributions on balls.Theory of Probability and Its Applications, 35(3):546–550, 1991. Translated fromTeoriya Veroyatnostei i ee Primeneniya35 (1990), no. 3, 547–551
work page 1991
-
[7]
J. M. Borwein and D. H. Bailey.Mathematics by Experiment: Plausible Reasoning in the 21st Century. A K Peters, Natick, MA, 2004. ISBN 9781568812113
work page 2004
-
[8]
P. Diaconis and D. Freedman. A dozen de Finetti-style results in search of a theory.Annales de l’IHP Probabilit´ es et statistiques, 23(2, suppl.):397–423, 1987
work page 1987
-
[9]
H. Federer. Curvature measures.Transactions of the American Mathematical Society, 93(3): 418–491, 1959. doi: 10.1090/S0002-9947-1959-0110078-1
-
[10]
M. V. Fedoryuk.Metod perevala. (In Russian). Izdat. “Nauka”, Moscow, 1977
work page 1977
-
[11]
L. Fr¨ uhwirth and J. Prochno. Sanov-type large deviations and conditional limit theorems for high-dimensional Orlicz balls.Journal of Mathematical Analysis and Applications, 536(1): 128169, 2024. doi: 10.1016/j.jmaa.2024.128169
-
[12]
N. Gantert, S. S. Kim, and K. Ramanan. Large deviations for random projections ofℓ p balls. The Annals of Probability, 45(6B):4419–4476, 2017. doi: 10.1214/16-AOP1169
-
[13]
F. Gao. The mean of a maximum likelihood estimator associated with the Brownian bridge. Electronic Communications in Probability, 8:1–5, 2003. doi: 10.1214/ECP.v8-1064
-
[14]
F. Gao. Volumes of generalized balls.The American Mathematical Monthly, 120(2):130, 2013. doi: 10.4169/amer.math.monthly.120.02.130
- [15]
-
[16]
A. Gusakova, E. Spodarev, and D. Zaporozhets. Intrinsic volumes of ellipsoids.Journal of Mathematical Sciences, 293(1):83–96, 2025. doi: 10.1007/s10958-025-07982-z. 44 ZAKHAR KABLUCHKO, ALEXANDER MARYNYCH, AND JOSCHA PROCHNO
- [17]
-
[18]
M. Henk and M. A. Hern´ andez Cifre. Intrinsic volumes and successive radii.Journal of Mathematical Analysis and Applications, 343(2):733–742, 2008. doi: 10.1016/j.jmaa.2008.01. 091
-
[19]
M. Henk, J. Richter-Gebert, and G. M. Ziegler. Basic properties of convex polytopes. In Jacob E. Goodman, Joseph O’Rourke, and Csaba D. T´ oth, editors,Handbook of Discrete and Computational Geometry, pages 383–413. CRC Press, 3 edition, 2017. doi: 10.1201/ 9781315119601-15
work page 2017
-
[20]
D. Hug and W. Weil.Lectures on convex geometry, volume 286 ofGraduate Texts in Mathe- matics. Springer, Cham, 2020. doi: 10.1007/978-3-030-50180-8
-
[21]
S. G. G. Johnston and J. Prochno. A Maxwell principle for generalized Orlicz balls.Annales de l’Institut Henri Poincar´ e, Probabilit´ es et Statistiques, 59(3):1223–1247, 2023. doi: 10.1214/ 22-AIHP1298
work page 2023
-
[22]
B. Jubin. Intrinsic volumes of sublevel sets.Annales de la Facult´ e des sciences de Toulouse : Math´ ematiques, 32(5):911–938, 2023. doi: 10.5802/afst.1758. URLhttps: //afst.centre-mersenne.org/articles/10.5802/afst.1758/
-
[23]
Z. Kabluchko and J. Prochno. The maximum entropy principle and volumetric properties of Orlicz balls.Journal of Mathematical Analysis and Applications, 495(1):124687, 2021. doi: 10.1016/j.jmaa.2020.124687
-
[24]
Z. Kabluchko and P. Schange. Angles of orthocentric simplices, 2025. URLhttps://arxiv. org/abs/2505.05048
-
[25]
Z. Kabluchko and D. Zaporozhets. Random determinants, mixed volumes of ellipsoids, and zeros of Gaussian random fields.Journal of Mathematical Sciences, 199(2):168–173, 2014. doi: 10.1007/s10958-014-1844-9. Translated fromZapiski Nauchnykh Seminarov POMI408 (2012), 187–196
-
[26]
Z. Kabluchko and D. Zaporozhets. Intrinsic volumes of Sobolev balls with applications to Brow- nian convex hulls.Trans. Amer. Math. Soc., 368(12):8873–8899, 2016. ISSN 0002-9947,1088-
work page 2016
-
[27]
URLhttps://doi.org/10.1090/tran/6628
doi: 10.1090/tran/6628. URLhttps://doi.org/10.1090/tran/6628
-
[28]
Z. Kabluchko and D. Zaporozhets. Expected volumes of Gaussian polytopes, external angles, and multiple order statistics.Transactions of the American Mathematical Society, 372(3): 1709–1733, 2019. doi: 10.1090/tran/7708
-
[29]
H. Kempka and J. Vyb´ ıral. Volumes of unit balls of mixed sequence spaces.Mathematische Nachrichten, 290(8–9):1317–1327, 2017. doi: 10.1002/mana.201500414
-
[30]
S. S. Kim and K. Ramanan. A conditional limit theorem for high-dimensionalℓ p-spheres. Journal of Applied Probability, 55(4):1060–1077, 2018. doi: 10.1017/jpr.2018.71
-
[31]
Y.-T. Liao and K. Ramanan. Geometric sharp large deviations for random projections ofℓ n p spheres and balls.Electronic Journal of Probability, 29:1–56, 2024. doi: 10.1214/23-EJP1020
-
[32]
M. Lotz, M. B. McCoy, I. Nourdin, G. Peccati, and J. A. Tropp. Concentration of the intrinsic volumes of a convex body. In Bo’az Klartag and Emanuel Milman, editors,Geometric Aspects of Functional Analysis, volume 2266 ofLecture Notes in Mathematics, pages 139–167. Springer, Cham, 2020. doi: 10.1007/978-3-030-46762-3 7
-
[33]
M. B. McCoy and J. A. Tropp. From Steiner formulas for cones to concentration of in- trinsic volumes.Discrete & Computational Geometry, 51(4):926–963, 2014. doi: 10.1007/ s00454-014-9595-4. INTRINSIC VOLUMES OFℓ p-BALLS 45
work page 2014
-
[34]
P. McMullen. Inequalities between intrinsic volumes.Monatshefte f¨ ur Mathematik, 111(1): 47–53, 1991. doi: 10.1007/BF01299276
-
[35]
A. A. Mogul’ski˘ ı. De Finetti-type results forℓp.Siberian Mathematical Journal, 32(4):609–616,
-
[36]
doi: 10.1007/BF00972979
-
[37]
A. Naor. The surface measure and cone measure on the sphere ofℓ n p.Transactions of the Amer- ican Mathematical Society, 359(3):1045–1075, 2007. doi: 10.1090/S0002-9947-06-03939-0
-
[38]
A. Naor and D. Romik. Projecting the surface measure of the sphere ofℓ n p.Annales de l’I.H.P. Probabilit´ es et statistiques, 39(2):241–261, 2003. doi: 10.1016/S0246-0203(02)00008-0
-
[39]
J. Prochno. The Large and Moderate Deviations Approach in Geometric Functional Anal- ysis. InHigh Dimensional Probability X, volume 82 ofProgr. Probab., pages 347–421. Birkh¨ auser/Springer, Cham, 2026. ISBN 978-3-032-06056-3; 978-3-032-06057-0. doi: 10.1007/ 978-3-032-06057-0\ 12. URLhttps://doi.org/10.1007/978-3-032-06057-0_12
-
[40]
J. Prochno, C. Th¨ ale, and N. Turchi. Geometry ofℓ n p-balls: Classical results and recent developments, 2018. URLhttps://arxiv.org/abs/1808.10435
-
[41]
J. Prochno, C. Th¨ ale, and P. Tuchel. Limit theorems for the volume of random projections and sections ofℓ N p -balls, 2024. URLhttps://arxiv.org/abs/2412.16054
-
[42]
S. T. Rachev and L. R¨ uschendorf. Approximate independence of distributions on spheres and their stability properties.The Annals of Probability, 19(3):1311–1337, 1991. doi: 10.1214/aop/ 1176990346
-
[43]
I. Rivin. Surface area and other measures of ellipsoids.Advances in Applied Mathematics, 39 (4):409–427, 2007. doi: 10.1016/j.aam.2006.08.009
-
[44]
H. Ruben. On the geometrical moments of skew-regular simplices in hyperspherical space, with some applications in geometry and mathematical statistics.Acta Math., 103:1–23, 1960
work page 1960
-
[45]
G. Schechtman and J. Zinn. On the volume of the intersection of twoℓ n p balls.Pro- ceedings of the American Mathematical Society, 110(1):217–224, 1990. doi: 10.1090/ S0002-9939-1990-1015684-0
work page 1990
- [46]
-
[47]
R. Schneider.Convex Bodies: the Brunn-Minkowski Theory, volume 151 ofEncyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, expanded edition, 2014
work page 2014
-
[48]
Schneider.Convex cones – geometry and probability, volume 2319 ofLecture Notes in Mathematics
R. Schneider.Convex cones – geometry and probability, volume 2319 ofLecture Notes in Mathematics. Springer, Cham, 2022. doi: 10.1007/978-3-031-15127-9. URLhttps://doi. org/10.1007/978-3-031-15127-9
-
[49]
R. Schneider and W. Weil.Stochastic and integral geometry. Probability and its Applications (New York). Springer-Verlag, Berlin, 2008. doi: 10.1007/978-3-540-78859-1. URLhttps: //doi.org/10.1007/978-3-540-78859-1
-
[50]
G. J. Tee. Surface area and capacity of ellipsoids inndimensions.New Zealand Journal of Mathematics, 34(2):165–198, 2005
work page 2005
-
[51]
X. Wang. Volumes of generalized unit balls.Mathematics Magazine, 78(5):390–395, 2005. doi: 10.2307/30044198
-
[52]
Wong.Asymptotic Approximations of Integrals, volume 34 ofClassics in Applied Math- ematics
R. Wong.Asymptotic Approximations of Integrals, volume 34 ofClassics in Applied Math- ematics. Society for Industrial and Applied Mathematics, Philadelphia, PA, 2001. doi: 10.1137/1.9780898719260. 46 ZAKHAR KABLUCHKO, ALEXANDER MARYNYCH, AND JOSCHA PROCHNO Zakhar Kabluchko: Institut f¨ur Mathematische Stochastik, Universit¨at M¨unster, Orl´eans-Ring 10, 4...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.