Face volume densities of positive-intensity and ideal Poisson--Voronoi tessellations in hyperbolic spaces

Christoph Th\"ale; Matteo D'Achille

arxiv: 2606.26049 · v1 · pith:N6NWGJCOnew · submitted 2026-06-24 · 🧮 math.PR · math.MG

Face volume densities of positive-intensity and ideal Poisson--Voronoi tessellations in hyperbolic spaces

Matteo D'Achille , Christoph Th\"ale This is my paper

Pith reviewed 2026-06-25 19:07 UTC · model grok-4.3

classification 🧮 math.PR math.MG

keywords Poisson-Voronoi tessellationhyperbolic spacevolume densitiesBlaschke-Petkantschin formulaideal tessellationface volumesstochastic geometry

0 comments

The pith

Poisson-Voronoi tessellations in d-dimensional hyperbolic space of curvature -1 have explicit analytic formulas for every k-volume density with k from 0 to d-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 the k-volume densities of a Poisson-Voronoi tessellation of intensity λ in hyperbolic d-space. The derivations hold for every face dimension k between 0 and d-1 and extend earlier explicit results that existed only in dimensions two and three. The same formulas supply the face volume densities and typical face volumes of the ideal Poisson-Voronoi tessellation obtained in the limit of vanishing intensity. A newly constructed Blaschke-Petkantschin-type integral formula supplies the main technical step that converts the Poisson point process into the required densities.

Core claim

The k-volume densities of a Poisson-Voronoi tessellation of intensity λ>0 in d-dimensional hyperbolic space of constant curvature -1 are given by explicit analytic expressions for each k in {0,1,…,d-1}. The same expressions yield closed-form face volume densities and typical face volumes for the ideal Poisson-Voronoi tessellation that arises as λ approaches 0 from above.

What carries the argument

A new Blaschke-Petkantschin-type formula in hyperbolic space, which converts integrals over the Poisson point process into the volume densities of the resulting tessellation.

If this is right

All face volume densities of the tessellation admit closed-form expressions in any dimension.
Typical volumes of faces of every dimension become available without numerical integration.
The low-intensity ideal Poisson-Voronoi tessellation inherits the same explicit density formulas.
Geometric statistics of the tessellation can now be computed directly from the intensity and curvature parameters.

Where Pith is reading between the lines

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

The formulas open the possibility of comparing density scaling between hyperbolic and Euclidean Voronoi tessellations in matching dimensions.
The integral method may extend to other stationary point processes or to weighted Voronoi diagrams inside hyperbolic space.
Closed expressions remove the need for simulation when testing conjectures about face geometry in constant negative curvature.

Load-bearing premise

The newly developed Blaschke-Petkantschin-type formula in hyperbolic space is valid and sufficient to evaluate the integrals that produce the stated densities.

What would settle it

Numerical Monte-Carlo simulation of a Poisson-Voronoi tessellation in four-dimensional hyperbolic space that measures the empirical k-volume densities and checks them against the proposed closed-form expressions.

Figures

Figures reproduced from arXiv: 2606.26049 by Christoph Th\"ale, Matteo D'Achille.

**Figure 1.1.** Figure 1.1: Left: sample of the Poisson–Voronoi tessellation of [PITH_FULL_IMAGE:figures/full_fig_p003_1_1.png] view at source ↗

read the original abstract

We determine analytically for all $k\in\{0,1,\ldots,d-1\}$ the $k$-volume densities of a Poisson--Voronoi tessellation of intensity $\lambda>0$ in the $d$-dimensional hyperbolic space of constant curvature $-1$. This largely extends previous results of Isokawa in dimensions two and three. As applications, we provide closed form expressions for all face volume densities and all typical face volumes of the ideal Poisson--Voronoi tessellation (IPVT), which is the low-intensity limit as $\lambda\downarrow0$ of the hyperbolic Poisson--Voronoi tessellation. As a main tool we develop a new Blaschke--Petkantschin--type formula in hyperbolic space.

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

Closed-form k-volume densities for hyperbolic Poisson-Voronoi tessellations in any dimension, plus the ideal limit, but everything rests on an unverified new integral formula.

read the letter

The paper determines closed-form expressions for the k-volume densities of positive-intensity Poisson-Voronoi tessellations in d-dimensional hyperbolic space for every k, and it does the same for the ideal case in the low-intensity limit. This is the main takeaway.

It extends the explicit formulas that were available only in dimensions 2 and 3. The development of a Blaschke-Petkantschin-type formula for hyperbolic space is presented as the key step that makes the general-dimension results possible.

The work is straightforward in its goals and sticks to a standard model in the field. Providing the IPVT densities as an application is a reasonable addition.

The soft spot is the dependence on the new formula. The abstract says this formula is the main tool, but it supplies no derivation, no error bounds, and no checks such as recovering known results in low dimensions or the flat-space limit. If the formula is off in its handling of the hyperbolic geometry, then none of the density expressions hold. That matches the stress-test concern exactly, and it is the central issue.

There are no signs of circularity or invented entities in the description.

This paper is for specialists who need these volume densities for further work on random tessellations in hyperbolic spaces. A reader looking for explicit formulas in this setting would find it directly relevant.

It deserves serious peer review because the extension to general d is a clear step forward in the subfield, even if the proofs require close scrutiny.

I would send it to referees.

Referee Report

1 major / 1 minor

Summary. The paper claims to analytically determine, for all k in {0,1,...,d-1}, the k-volume densities of the faces of a Poisson-Voronoi tessellation of intensity λ>0 in d-dimensional hyperbolic space of curvature -1. This extends Isokawa's results from dimensions 2 and 3. It also derives closed-form expressions for all face volume densities and typical face volumes of the ideal Poisson-Voronoi tessellation (the λ↓0 limit). The central tool is a newly developed Blaschke-Petkantschin-type formula in hyperbolic space.

Significance. If the new formula and subsequent integrations are correct, the results supply the first closed-form expressions for these densities in hyperbolic space for arbitrary d and k, moving beyond the low-dimensional cases of Isokawa and enabling exact analysis of the ideal limit without simulation.

major comments (1)

[Blaschke–Petkantschin-type formula section] The validity of the newly developed Blaschke–Petkantschin-type formula (introduced as the main tool in the abstract and used to obtain all density expressions) is the single load-bearing step. The manuscript must include an explicit verification that the formula reduces to the classical Euclidean Blaschke-Petkantschin formula in the zero-curvature limit and recovers Isokawa's d=2,3 densities; without this check the curvature-dependent measure and integration limits remain unconfirmed.

minor comments (1)

[Abstract] The abstract asserts analytic determination but supplies no derivation outline, error bounds, or verification steps; a brief roadmap paragraph would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the importance of verifying the new Blaschke–Petkantschin-type formula. We address the single major comment below and will incorporate the requested checks in the revised manuscript.

read point-by-point responses

Referee: The validity of the newly developed Blaschke–Petkantschin-type formula (introduced as the main tool in the abstract and used to obtain all density expressions) is the single load-bearing step. The manuscript must include an explicit verification that the formula reduces to the classical Euclidean Blaschke-Petkantschin formula in the zero-curvature limit and recovers Isokawa's d=2,3 densities; without this check the curvature-dependent measure and integration limits remain unconfirmed.

Authors: We agree that an explicit verification strengthens the manuscript and confirms the curvature-dependent measure and integration limits. In the revised version we will add a dedicated subsection (or appendix) that (i) takes the zero-curvature limit of the new formula and recovers the classical Euclidean Blaschke–Petkantschin formula, and (ii) specializes the resulting density expressions to d=2 and d=3, recovering the explicit formulas of Isokawa. These checks will be carried out analytically where possible and numerically for selected parameter values to illustrate agreement. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation rests on newly developed integral formula applied to obtain densities.

full rationale

The paper states it develops a new Blaschke–Petkantschin-type formula in hyperbolic space as the main tool, then applies it to analytically obtain the k-volume densities for all k and the IPVT limits. This is a standard forward derivation from a derived integral identity to explicit expressions, with no indication that any claimed density reduces by construction to a fitted input, self-definition, or load-bearing self-citation. The abstract explicitly positions the new formula as extending Isokawa’s prior d=2,3 results rather than depending on them circularly. No equations or steps in the provided material exhibit the patterns of self-definitional claims, fitted inputs renamed as predictions, or ansatz smuggled via citation. The result is therefore self-contained as an original analytic computation.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only review yields minimal ledger entries; the work rests on standard background rather than new fitted constants or invented objects.

axioms (2)

domain assumption Hyperbolic space of constant curvature -1 admits a well-defined Poisson point process of intensity λ>0
Required to define the Poisson-Voronoi tessellation whose densities are computed.
standard math Standard properties of hyperbolic geometry and integral geometry hold
Invoked implicitly to support the new Blaschke-Petkantschin-type formula.

pith-pipeline@v0.9.1-grok · 5656 in / 1164 out tokens · 35364 ms · 2026-06-25T19:07:24.271333+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

8 extracted references · 1 linked inside Pith

[1]

[BZ88] Yuri D

Available at https://hdl.handle.net/2022/29005. [BZ88] Yuri D. Burago and Viktor A. Zalgaller.Geometric Inequalities, volume 285 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Math- ematical Sciences]. Springer-Verlag, Berlin,

2022
[2]

Translated from the Russian by A. B. Sosinski˘i, Springer Series in Soviet Mathematics. [CCE21] Pierre Calka, Aur´ elie Chapron, and Nathana¨ el Enriquez. Poisson–Voronoi tessellation on a Riemannian manifold.International Mathematics Research Notices, 2021(7):5413––5459,

2021
[4]

[DCE+26] Matteo D’Achille, Nicolas Curien, Nathana¨ el Enriquez, Russell Lyons, and Meltem ¨Unel

Available athttp://arxiv.org/abs/2412.00822. [DCE+26] Matteo D’Achille, Nicolas Curien, Nathana¨ el Enriquez, Russell Lyons, and Meltem ¨Unel. Ideal Poisson–Voronoi tessellations on hyperbolic spaces.The Annals of Probability, 54(2):846–891,

arXiv
[6]

[EN18] Herbert Edelsbrunner and Anton Nikitenko

Available athttp://arxiv.org/abs/2511.23317. [EN18] Herbert Edelsbrunner and Anton Nikitenko. Random inscribed polytopes have similar radius functions as Poisson-Delaunay mosaics.Ann. Appl. Probab., 28(5):3215–3238,

arXiv
[8]

To appear on Ann. of Math. Available athttp://arxiv.org/abs/2307.01194. [GKT22] Thomas Godland, Zakhar Kabluchko, and Christoph Th¨ ale. Beta-star polytopes and hyperbolic stochastic geometry.Adv. Math., 404:Paper No. 108382, 69,

arXiv
[10]

[HM24] Benjamin Hansen and Tobias M¨ uller

Available athttp://arxiv.org/abs/2504.02435. [HM24] Benjamin Hansen and Tobias M¨ uller. Poisson–Voronoi percolation in the hyperbolic plane with small intensities.The Annals of Probability, 52(6):2342–2405,

arXiv
[12]

[RS24] Matthias Reitzner and Anna Strotmann

Available at http://arxiv.org/ abs/1904.10750. [RS24] Matthias Reitzner and Anna Strotmann. Poisson–Delaunay approximation.arXiv e-prints, page arXiv:2410.23003, October

Pith/arXiv arXiv 1904
[13]

[SW08] Rolf Schneider and Wolfgang Weil.Stochastic and Integral Geometry

Available at http://arxiv.org/abs/ 2410.23003. [SW08] Rolf Schneider and Wolfgang Weil.Stochastic and Integral Geometry. Probability and its Applications (New York). Springer-Verlag, Berlin,

arXiv

[1] [1]

[BZ88] Yuri D

Available at https://hdl.handle.net/2022/29005. [BZ88] Yuri D. Burago and Viktor A. Zalgaller.Geometric Inequalities, volume 285 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Math- ematical Sciences]. Springer-Verlag, Berlin,

2022

[2] [2]

Translated from the Russian by A. B. Sosinski˘i, Springer Series in Soviet Mathematics. [CCE21] Pierre Calka, Aur´ elie Chapron, and Nathana¨ el Enriquez. Poisson–Voronoi tessellation on a Riemannian manifold.International Mathematics Research Notices, 2021(7):5413––5459,

2021

[3] [4]

[DCE+26] Matteo D’Achille, Nicolas Curien, Nathana¨ el Enriquez, Russell Lyons, and Meltem ¨Unel

Available athttp://arxiv.org/abs/2412.00822. [DCE+26] Matteo D’Achille, Nicolas Curien, Nathana¨ el Enriquez, Russell Lyons, and Meltem ¨Unel. Ideal Poisson–Voronoi tessellations on hyperbolic spaces.The Annals of Probability, 54(2):846–891,

arXiv

[4] [6]

[EN18] Herbert Edelsbrunner and Anton Nikitenko

Available athttp://arxiv.org/abs/2511.23317. [EN18] Herbert Edelsbrunner and Anton Nikitenko. Random inscribed polytopes have similar radius functions as Poisson-Delaunay mosaics.Ann. Appl. Probab., 28(5):3215–3238,

arXiv

[5] [8]

To appear on Ann. of Math. Available athttp://arxiv.org/abs/2307.01194. [GKT22] Thomas Godland, Zakhar Kabluchko, and Christoph Th¨ ale. Beta-star polytopes and hyperbolic stochastic geometry.Adv. Math., 404:Paper No. 108382, 69,

arXiv

[6] [10]

[HM24] Benjamin Hansen and Tobias M¨ uller

Available athttp://arxiv.org/abs/2504.02435. [HM24] Benjamin Hansen and Tobias M¨ uller. Poisson–Voronoi percolation in the hyperbolic plane with small intensities.The Annals of Probability, 52(6):2342–2405,

arXiv

[7] [12]

[RS24] Matthias Reitzner and Anna Strotmann

Available at http://arxiv.org/ abs/1904.10750. [RS24] Matthias Reitzner and Anna Strotmann. Poisson–Delaunay approximation.arXiv e-prints, page arXiv:2410.23003, October

Pith/arXiv arXiv 1904

[8] [13]

[SW08] Rolf Schneider and Wolfgang Weil.Stochastic and Integral Geometry

Available at http://arxiv.org/abs/ 2410.23003. [SW08] Rolf Schneider and Wolfgang Weil.Stochastic and Integral Geometry. Probability and its Applications (New York). Springer-Verlag, Berlin,

arXiv