arxiv: 2604.27793 · v1 · submitted 2026-04-30 · 🧮 math.PR · math.MG

Recognition: unknown

Expected hyperbolic volumes of random beta polytopes

Zakhar Kabluchko , Philipp Schange

Authors on Pith no claims yet

Pith reviewed 2026-05-07 05:33 UTC · model grok-4.3

classification 🧮 math.PR math.MG

keywords hyperbolic volumerandom polytopesbeta distributionKlein modelconvex hullexpected valuegeometric probabilityharmonic numbers

0 comments

The pith

Closed-form formulas compute the expected hyperbolic volume of convex hulls from beta-distributed points in the Klein ball.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper derives explicit expressions for the expected volume of the convex hull of n independent beta random points inside the unit ball of R^d, with volume measured using the hyperbolic metric of the Klein model. This matters to a sympathetic reader because it replaces simulation-based estimates with exact values that hold for any choice of the beta parameters and any dimension, enabling direct study of how volume scales with n or with the distribution parameters. The formulas treat the interior beta densities and the spherical uniform case as special instances of the same framework. In three dimensions with uniform spherical points, the expectation collapses to a multiple of n/2 minus the partial sum of reciprocals, which is linear in n once the harmonic offset is subtracted.

Core claim

Interpreting the unit ball as the Klein model of hyperbolic geometry, we derive closed-form formulas for the expected hyperbolic volume of the random hyperbolic polytope [X_1,…,X_n]. As a special case, if X_1,…,X_n are independent and uniformly distributed on the unit sphere in R^3, then for every n≥4, E Vol_3^hyp([X_1,…,X_n]) = π(n/2 − ∑_{j=1}^{n−1} 1/j).

What carries the argument

The convex hull of beta-distributed points inside the unit ball, whose hyperbolic volume expectation is obtained by exact integration over the configuration space using the radial beta densities.

If this is right

In the uniform spherical case in three dimensions the expected volume grows exactly linearly with the number of points after subtracting the harmonic correction term.
The same closed-form approach applies for arbitrary dimension d and arbitrary beta parameters, so expectations can be compared across different radial distributions.
These exact values permit asymptotic analysis of volume growth as n becomes large without relying on concentration bounds or simulation.
The spherical case emerges as a boundary instance of the interior beta family, unifying the treatment of points strictly inside the ball and on its boundary.

Where Pith is reading between the lines

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

The appearance of the harmonic number suggests possible links to other sphere-based counting problems in geometric probability, such as expected number of faces or edge lengths.
Taking the curvature of the Klein model to zero might recover analogous Euclidean formulas for the same beta point processes, offering a bridge between hyperbolic and flat random polytopes.
The exact result could be used to test numerical volume algorithms or to calibrate sampling methods in hyperbolic geometry software.

Load-bearing premise

The beta densities are such that the multiple integrals defining the expected hyperbolic volume can be evaluated in closed form without approximation.

What would settle it

A Monte Carlo estimate of the average hyperbolic volume for n=4 uniform points on the 3-sphere that deviates substantially from π/6 would falsify the formula.

read the original abstract

Let $X_1,\ldots,X_n$ be independent random points in the closed unit ball of $\mathbb{R}^d$. Assume that each $X_i$ has a beta distribution with parameter $\beta_i \ge -1$: if $\beta_i>-1$, then $X_i$ has Lebesgue density proportional to $(1-\|x\|^2)^{\beta_i}$ on $\{\|x\|<1\}$, whereas the case $\beta_i=-1$ corresponds to the uniform distribution on the unit sphere $\{\|x\|=1\}$. Let $[X_1,\ldots,X_n]$ denote the convex hull of these points. Interpreting the unit ball as the Klein model of hyperbolic geometry, we derive closed-form formulas for the expected hyperbolic volume of the random hyperbolic polytope $[X_1,\ldots,X_n]$. As a special case, if $X_1,\ldots,X_n$ are independent and uniformly distributed on the unit sphere in $\mathbb{R}^3$, then for every $n\ge 4$, \[ \mathbb{E}\,\operatorname{Vol}_{3}^{\mathrm{hyp}}\!\bigl([X_1,\ldots,X_n]\bigr) = \pi\left(\frac{n}{2}-\sum_{j=1}^{n-1}\frac{1}{j}\right). \]

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.

Desk Editor's Note private letter to a colleague

The paper derives closed-form expected hyperbolic volumes for convex hulls of beta-distributed points in the Klein ball, with a clean explicit formula in the 3D spherical case.

read the letter

The main result is a set of exact formulas for the expected hyperbolic volume of the random polytope formed by n independent beta points inside the unit ball, read as the Klein model. The 3D uniform-on-sphere case stands out: the expectation equals π times (n/2 minus the partial harmonic sum up to n-1) for n at least 4. This is new and useful because most work on random polytopes gives asymptotics or bounds rather than closed forms. The authors use the fact that the Klein model keeps geodesics straight, so the hyperbolic convex hull coincides with the ordinary Euclidean one. They then apply Fubini to write the expected volume as an integral of the hyperbolic density against the probability that a fixed point lies inside the random hull. For beta distributions those inclusion probabilities admit exact beta-integral expressions, which apparently simplify to the claimed closed forms after standard manipulations. The special-case formula checks out on basic tests: it is zero for n=3 (as expected for a flat triangle) and increases for larger n. The logic is direct and avoids circularity. One minor soft spot is that the general-d and general-beta expressions are not displayed in the abstract, so it is not yet clear how complicated they become or whether they require additional special-function identities. Still, the approach looks reproducible and the 3D result is already a concrete benchmark. This work is aimed at people in stochastic geometry and geometric probability who want exact expressions rather than limits. It is the sort of paper that deserves a serious referee: the claims are specific enough to be checked line by line, and if the integral evaluations hold it would be a solid addition to the literature. I would send it out for review.

Referee Report

0 major / 2 minor

Summary. The paper derives closed-form formulas for the expected hyperbolic volume of the convex hull of n independent beta-distributed random points in the unit ball of R^d, interpreted as the Klein model of hyperbolic geometry. A special case for points uniform on the unit sphere in R^3 yields E[Vol_3^hyp([X_1,...,X_n])] = π(n/2 - sum_{j=1}^{n-1} 1/j) for n ≥ 4.

Significance. If the derivations hold, the work supplies exact closed-form expressions for expected volumes of random polytopes in hyperbolic space, a setting where such quantities are typically available only via asymptotics, bounds, or simulation. The approach unifies the beta family (including the spherical case β_i=-1) by reducing the expectation to an integral of the hyperbolic density against coverage probabilities, which are known to admit exact beta-integral evaluations in the Euclidean setting; the Klein model ensures the convex hull coincides with the Euclidean one. The special-case formula is elegant, vanishes correctly at n=3, and is consistent with low-dimensional checks, providing a concrete, computable prediction that strengthens the contribution.

minor comments (2)

Abstract: the sum in the special-case formula is the (n-1)th harmonic number; denoting it explicitly as H_{n-1} would improve immediate readability without changing the mathematics.
Introduction or model section: a brief explicit statement of the hyperbolic volume element (or density) in the Klein model, together with a one-line reminder that geodesics are Euclidean straight lines, would help readers confirm that the volume computation reduces to the Euclidean convex hull without additional singularities.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work and for recommending minor revision. We are pleased that the referee highlights the value of the closed-form expressions for expected hyperbolic volumes of random beta polytopes and notes the elegance of the special-case formula in dimension 3.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper derives closed-form expressions for expected hyperbolic volumes by interpreting the unit ball as the Klein model (where convex hulls coincide with Euclidean ones) and applying Fubini's theorem to express E[Vol_hyp] as the integral of the hyperbolic density times the coverage probability P(x ∈ conv(X_1,…,X_n)). Coverage probabilities for beta distributions are obtained from independent integral-geometric or beta-integral techniques that pre-exist the hyperbolic setting and do not depend on the target volume formulas. The special-case formula for uniform spherical points follows directly from substituting the appropriate parameters into the general expression and evaluating the resulting integrals, with consistency checks for small n provided but no reduction to fitted parameters or self-definitions. All steps rely on standard measure-theoretic interchange and known properties of beta measures, rendering the derivation self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard axioms of probability (linearity of expectation, properties of convex hulls) and the geometric identification of the Klein ball with hyperbolic space. No free parameters are fitted to data; beta parameters are inputs. No new entities are postulated.

axioms (2)

standard math Standard properties of convex hulls, Lebesgue measure, and linearity of expectation hold in R^d.
Invoked implicitly to compute the expected volume of the random polytope.
domain assumption The closed unit ball with the Klein metric is a model of hyperbolic geometry.
Central assumption allowing the volume to be interpreted and computed as hyperbolic volume.

pith-pipeline@v0.9.0 · 5529 in / 1419 out tokens · 42857 ms · 2026-05-07T05:33:20.675296+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

24 extracted references · 16 canonical work pages

[1]

Abrosimov and A

N. Abrosimov and A. Mednykh. Volumes of polytopes in spaces of constant curvature. InRigidity and symmetry, volume 70 ofFields Inst. Commun., pages 1–26. Springer, New York, 2014. doi: 10.1007/978-1-4939-0781-6\ 1. URLhttps://doi.org/10.1007/ 978-1-4939-0781-6_1

work page doi:10.1007/978-1-4939-0781-6 2014
[2]

Abrosimov and A

N. Abrosimov and A. Mednykh. Area and volume in non-Euclidean geometry. InEighteen essays in non-Euclidean geometry, volume 29 ofIRMA Lect. Math. Theor. Phys., pages 151–
[3]

Eur. Math. Soc., Z¨ urich, 2019

2019
[4]

D. V. Alekseevskij, E. B. Vinberg, and A. S. Solodovnikov. Geometry of spaces of con- stant curvature. InGeometry, II, volume 29 ofEncyclopaedia Math. Sci., pages 1–138. Springer, Berlin, 1993. doi: 10.1007/978-3-662-02901-5\ 1. URLhttps://doi.org/10.1007/ 978-3-662-02901-5_1

work page doi:10.1007/978-3-662-02901-5 1993
[5]

Brøndsted.An Introduction to Convex Polytopes, volume 90 ofGraduate Texts in Math- ematics

A. Brøndsted.An Introduction to Convex Polytopes, volume 90 ofGraduate Texts in Math- ematics. Springer, New York, 1983. doi: 10.1007/978-1-4612-1148-8

work page doi:10.1007/978-1-4612-1148-8 1983
[6]

URLhttps://dlmf.nist.gov/

DLMF.NIST Digital Library of Mathematical Functions.https://dlmf.nist.gov/, Release 1.2.6 of 2026-03-15. URLhttps://dlmf.nist.gov/. F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds

2026
[7]

Elstrodt.Maß- und Integrationstheorie

J. Elstrodt.Maß- und Integrationstheorie. Springer, 2010. doi: 10.1007/978-3-662-57939-8

work page doi:10.1007/978-3-662-57939-8 2010
[8]

Gradshteyn and I.M

I.S. Gradshteyn and I.M. Ryzhik.Table of Integrals, Series, and Products. Academic Press, seventh edition, 2007. doi: 10.1016/C2009-0-22516-5

work page doi:10.1016/c2009-0-22516-5 2007
[9]

Convex polytopes , SERIES =

B. Gr¨ unbaum.Convex Polytopes, volume 221 ofGraduate Texts in Mathematics. Springer, New York, 2 edition, 2003. doi: 10.1007/978-1-4613-0019-9. Prepared by Volker Kaibel, Victor Klee, and G¨ unter M. Ziegler. 25

work page doi:10.1007/978-1-4613-0019-9 2003
[10]

Haagerup and H

U. Haagerup and H. J. Munkholm. Simplices of maximal volume in hyperbolicn-space.Acta Math., 147(1-2):1–11, 1981. doi: 10.1007/BF02392865. URLhttps://doi.org/10.1007/ BF02392865

work page doi:10.1007/bf02392865 1981
[11]

Kabluchko

Z. Kabluchko. Angles of random simplices and face numbers of random polytopes.Advances in Mathematics, 380:107612, 2021. doi: 10.1016/j.aim.2021.107612

work page doi:10.1016/j.aim.2021.107612 2021
[12]

Kabluchko and P

Z. Kabluchko and P. Schange. Volumes of regular hyperbolic simplices, 2025. URLhttps: //arxiv.org/abs/2508.20450

work page arXiv 2025
[13]

Kabluchko and D

Z. Kabluchko and D. Steigenberger. Beta polytopes and beta cones: An exactly solvable model in geometric probability, 2025. URLhttps://arxiv.org/abs/2503.22488

work page arXiv 2025
[14]

Kabluchko, D

Z. Kabluchko, D. Temesvari, and C. Th¨ ale. Expected intrinsic volumes and facet numbers of random beta-polytopes.Mathematische Nachrichten, 292(1):79–105, 2019. doi: 10.1002/ mana.201700255

2019
[15]

Kabluchko, C

Z. Kabluchko, C. Th¨ ale, and D. Zaporozhets. Beta polytopes and Poisson polyhedra:f-vectors and angles.Advances in Mathematics, 374:107333, 2020. doi: 10.1016/j.aim.2020.107333

work page doi:10.1016/j.aim.2020.107333 2020
[16]

Kabluchko, D

Z. Kabluchko, D. A. Steigenberger, and C. Th¨ ale.Random Simplices: From Beta-Type Distributions to High-Dimensional Volumes, volume 2383 ofLecture Notes in Mathematics. Springer, Cham, 2026. doi: 10.1007/978-3-032-02864-8

work page doi:10.1007/978-3-032-02864-8 2026
[17]

Kellerhals

R. Kellerhals. The dilogarithm and volumes of hyperbolic polytopes. InStructural properties of polylogarithms, volume 37 ofMath. Surveys Monogr., pages 301–336. Amer. Math. Soc., Providence, RI, 1991. doi: 10.1090/surv/037/14. URLhttps://doi.org/10.1090/surv/ 037/14

work page doi:10.1090/surv/037/14 1991
[18]

Lang.Complex Analysis, volume 103 ofGraduate Texts in Mathematics

S. Lang.Complex Analysis, volume 103 ofGraduate Texts in Mathematics. Springer, 4 edition,
[19]

doi: 10.1007/978-1-4612-0653-8

work page doi:10.1007/978-1-4612-0653-8
[20]

J. Milnor. How to compute volumes in hyperbolic space. InCollected Papers. Vol. 1: Geo- metry, pages 189–212. Publish or Perish, Inc., Houston, TX, 1994

1994
[21]

J. Milnor. The Schl¨ afli differential equality. InCollected Papers. Vol. 1: Geometry, pages 281–295. Publish or Perish, Inc., Houston, TX, 1994

1994
[22]

Petkovsek, H.S

M. Petkovsek, H.S. Wilf, and D. Zeilberger.A = B. CRC Press, 1996. ISBN 9781439864500

1996
[23]

J. G. Ratcliffe.Foundations of hyperbolic manifolds, volume 149 ofGraduate Texts in Math- ematics. Springer, Cham, 2019. doi: 10.1007/978-3-030-31597-9. URLhttps://doi.org/ 10.1007/978-3-030-31597-9. Third edition

work page doi:10.1007/978-3-030-31597-9 2019
[24]

E. B. Vinberg. Volumes of non-Euclidean polyhedra.Russian Math. Surveys, 48(2): 15–45. doi: 10.1070/RM1993v048n02ABEH001011. URLhttps://doi.org/10.1070/ RM1993v048n02ABEH001011. Zakhar Kabluchko: Institut f ¨ur Mathematische Stochastik, Universit¨at M¨unster, Orl´eans-Ring 10, 48149 M¨unster, Germany E-mail:zakhar.kabluchko@uni-muenster.de Philipp Schange...

work page doi:10.1070/rm1993v048n02abeh001011