pith. machine review for the scientific record. sign in

arxiv: 2605.11995 · v1 · submitted 2026-05-12 · 🧮 math.PR · math.FA· math.MG

Recognition: 3 theorem links

· Lean Theorem

Intrinsic volumes of ell_p-balls and a continuum of Maxwell--Poincar\'e--Borel laws for their curvature measures

Alexander Marynych, Joscha Prochno, Zakhar Kabluchko

Pith reviewed 2026-05-13 04:50 UTC · model grok-4.3

classification 🧮 math.PR math.FAmath.MG
keywords intrinsic volumesℓ_p-ballscurvature measuresMaxwell-Poincaré-Borel lawshigh-dimensional limitsconvex geometrymixed moments
0
0 comments X

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.

The paper derives closed-form expressions for all intrinsic volumes of the n-dimensional ℓ_p-ball and its coordinate-weighted versions when p exceeds 1. These volumes are written as a single integral against the auxiliary function F_p that integrates |u| to a power times an exponential decay involving both p and 2p-2. The same machinery produces a high-dimensional limit theorem: when a boundary point is drawn from the normalized j-th curvature measure with j/n approaching α, the first r scaled coordinates converge in law to a product of r independent copies of an explicit probability measure ν_{p,α}. A sympathetic reader cares because the formulas recover every previously known special case for ellipsoids, crosspolytopes, and boxes while turning high-dimensional curvature into an object that can be studied coordinate-wise.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 4 minor

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] §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.
  2. [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.
  3. [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.
  4. [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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The derivations rely on standard facts from convex geometry (intrinsic volumes, curvature measures, mixed moments) and analysis (integral representations, weak convergence). No free parameters, invented entities, or ad-hoc axioms are indicated in the abstract.

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.
    Invoked as the main tool underlying the explicit formulas and limit theorems.

pith-pipeline@v0.9.0 · 5771 in / 1300 out tokens · 66674 ms · 2026-05-13T04:50:03.411205+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Reference graph

Works this paper leans on

52 extracted references · 52 canonical work pages

  1. [1]

    Adamczak, P

    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. [2]

    Barthe and P

    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. [3]

    Barthe, O

    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. [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. [5]

    Betke and M

    U. Betke and M. Henk. Intrinsic volumes and lattice points of crosspolytopes.Monatsh. Math., 115(1-2):27–33, 1993

  6. [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

  7. [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

  8. [8]

    Diaconis and D

    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

  9. [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. [10]

    M. V. Fedoryuk.Metod perevala. (In Russian). Izdat. “Nauka”, Moscow, 1977

  11. [11]

    Fr¨ uhwirth and J

    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. [12]

    Gantert, S

    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. [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. [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. [15]

    Gao and R

    F. Gao and R. A. Vitale. Intrinsic volumes of the Brownian motion body.Discrete Comput. Geom., 26(1):41–50, 2001

  16. [16]

    Gusakova, E

    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. [17]

    Hadwiger

    H. Hadwiger. Gitterpunktanzahl im Simplex und Wills’sche Vermutung.Math. Ann., 239(3): 271–288, 1979

  18. [18]

    Henk and M

    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. [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

  20. [20]

    Hug and W

    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. [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

  22. [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. [23]

    Kabluchko and J

    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. [24]

    Kabluchko and P

    Z. Kabluchko and P. Schange. Angles of orthocentric simplices, 2025. URLhttps://arxiv. org/abs/2505.05048

  25. [25]

    Kabluchko and D

    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. [26]

    Kabluchko and D

    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-

  27. [27]

    URLhttps://doi.org/10.1090/tran/6628

    doi: 10.1090/tran/6628. URLhttps://doi.org/10.1090/tran/6628

  28. [28]

    Kabluchko and D

    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. [29]

    Kempka and J

    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. [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. [31]

    Liao and K

    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. [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. [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

  34. [34]

    McMullen

    P. McMullen. Inequalities between intrinsic volumes.Monatshefte f¨ ur Mathematik, 111(1): 47–53, 1991. doi: 10.1007/BF01299276

  35. [35]

    A. A. Mogul’ski˘ ı. De Finetti-type results forℓp.Siberian Mathematical Journal, 32(4):609–616,

  36. [36]

    doi: 10.1007/BF00972979

  37. [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. [38]

    Naor and D

    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. [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. [40]

    Prochno, C

    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. [41]

    Prochno, C

    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. [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. [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. [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

  45. [45]

    Schechtman and J

    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

  46. [46]

    Schneider

    R. Schneider. Convex surfaces, curvature and surface area measures. In Peter M. Gruber and J¨ org M. Wills, editors,Handbook of Convex Geometry, Vol. A, pages 273–299. North-Holland, Amsterdam, 1993

  47. [47]

    Schneider.Convex Bodies: the Brunn-Minkowski Theory, volume 151 ofEncyclopedia of Mathematics and its Applications

    R. Schneider.Convex Bodies: the Brunn-Minkowski Theory, volume 151 ofEncyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, expanded edition, 2014

  48. [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. [49]

    Schneider and W

    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. [50]

    G. J. Tee. Surface area and capacity of ellipsoids inndimensions.New Zealand Journal of Mathematics, 34(2):165–198, 2005

  51. [51]

    X. Wang. Volumes of generalized unit balls.Mathematics Magazine, 78(5):390–395, 2005. doi: 10.2307/30044198

  52. [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...