Intrinsic volumes of $\ell_p$-balls and a continuum of Maxwell--Poincaré--Borel laws for their curvature measures
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866916004801544192 |
|---|---|
| author | Kabluchko, Zakhar Marynych, Alexander Prochno, Joscha |
| author_facet | Kabluchko, Zakhar Marynych, Alexander Prochno, Joscha |
| contents | 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;ν) = \int_{\mathbb R}|u|^ν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 $$ Φ_0(\mathbb B_p^n,\cdot),\dots,Φ_{n-1}(\mathbb B_p^n,\cdot) $$ on $\partial\mathbb B_p^n$ that localize the intrinsic volumes. We prove a Maxwell--Poincaré--Borel type limit theorem: if $X_n$ is a random boundary point of $\mathbb B_p^n$ distributed according to the normalized curvature measure $Φ_{j(n)}(\mathbb B_p^n,\cdot)/V_{j(n)}(\mathbb B_p^n)$, where $j(n)/n\toα\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 $ν_{p,α}^{\otimes r}$. Here $ν_{p,α}$ is an explicit probability measure on $\mathbb R$ depending on $p>1$ and $α\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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_11995 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Intrinsic volumes of $\ell_p$-balls and a continuum of Maxwell--Poincaré--Borel laws for their curvature measures Kabluchko, Zakhar Marynych, Alexander Prochno, Joscha Probability Functional Analysis Metric Geometry Primary: 52A39, 52A23. Secondary: 52A20, 52A21, 60F05, 46B06 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;ν) = \int_{\mathbb R}|u|^ν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 $$ Φ_0(\mathbb B_p^n,\cdot),\dots,Φ_{n-1}(\mathbb B_p^n,\cdot) $$ on $\partial\mathbb B_p^n$ that localize the intrinsic volumes. We prove a Maxwell--Poincaré--Borel type limit theorem: if $X_n$ is a random boundary point of $\mathbb B_p^n$ distributed according to the normalized curvature measure $Φ_{j(n)}(\mathbb B_p^n,\cdot)/V_{j(n)}(\mathbb B_p^n)$, where $j(n)/n\toα\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 $ν_{p,α}^{\otimes r}$. Here $ν_{p,α}$ is an explicit probability measure on $\mathbb R$ depending on $p>1$ and $α\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. |
| title | Intrinsic volumes of $\ell_p$-balls and a continuum of Maxwell--Poincaré--Borel laws for their curvature measures |
| topic | Probability Functional Analysis Metric Geometry Primary: 52A39, 52A23. Secondary: 52A20, 52A21, 60F05, 46B06 |
| url | https://arxiv.org/abs/2605.11995 |