Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

Ideal Poisson--Voronoi tessellations beyond hyperbolic spaces

T0 review · 3 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Poisson–Voronoi limit yields an isometry-invariant tiling of H2×H2 in the L1 metric.

desk verdict A genuine new IPVT construction on a non-hyperbolic L1 product space, with a real but fixable gap in the corona identification. read the letter →

arxiv 2412.00822 v1 pith:PMI6WAQ4 submitted 2024-12-01 math.PR

Matteo D'Achille This is my paper · ORCID
classification math.PR MSC 60D0560G55
keywords idealPoisson–VoronoitessellationproductofhyperbolicplanesL1metriccoronaprocessGromovboundaryexponentialseparationisometryinvarianceendscells
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper constructs the ideal Poisson–Voronoi tessellation of the product of two hyperbolic planes equipped with the $L^1$ metric, and proves that it is the low-intensity limit of ordinary Poisson–Voronoi tessellations. The limiting object is governed by a Poisson process on the corona $\partial \mathbb{H}^2 \times \partial \mathbb{H}^2 \times \mathbb{R}_{\ge 0}$, and its law is invariant under every isometry of the space. Almost surely, each cell reaches the boundary only in its end, the union of two circles determined by the cell's corona point, and the locus of points at equal separation from any two corona points is unbounded. The paper also identifies the stationary Poisson limit of the separation field seen from a point traveling toward a boundary intersection, including an exact tie-break probability. These results provide a concrete IPVT model in a space that is neither hyperbolic nor symmetric.

What carries the argument

The mechanism is the corona process: a Poisson point process $(\Theta_i, \Phi_i, R_i)$ on $\partial \mathbb{H}^2 \times \partial \mathbb{H}^2 \times \mathbb{R}_{\ge 0}$ whose intensity is uniform on each boundary circle times Lebesgue on the radius coordinate. Together with the exponential separation formula $d(z,(\theta,\varphi,r)) = r\, K(z_1,\theta)K(z_2,\varphi)$, this converts Voronoi comparisons into products of hyperbolic Poisson kernels. In the proof of the cell-end theorem, a horizontal plane is covered by algebraic ``hyperbolic crosses'' whose boundaries are the no-man's-lands between the zero cell and competing corona points; a Poisson random ball covering result shows these crosses cover the plane almost surely. The unbounded equal-separation claim follows from a zero-one lemma applied to the no-man's-land near a boundary-traveling point.

What would settle it

Simulate a low-intensity Poisson point process on $(\mathbb{H}^2 \times \mathbb{H}^2, L^1)$ with intensity $\lambda$, track all nuclei whose first coordinate remains within a fixed hyperbolic ball while the second coordinate diverges, and compute their renormalized delays $d(X_i, o) - \log(1/\lambda) + \log\log(1/\lambda)$. If a non-zero fraction of these mixed-boundary nuclei have delays that do not diverge, the corona measure in the convergence theorem is incomplete and the resulting tessellation is not $\mathrm{IPVT}(M)$.

Watch

Extended reading notes

Core claim

The central claim is that when the intensity of a Poisson point process on $M = (\mathbb{H}^2 \times \mathbb{H}^2, L^1)$ tends to zero, the Voronoi diagram converges in law to a non-trivial random tessellation $\mathrm{IPVT}(M)$ built from a Poisson process on the corona $\partial \mathbb{H}^2 \times \partial \mathbb{H}^2 \times \mathbb{R}_{\ge 0}$. Under this corona process, the separation from a point $z = (z_1, z_2)$ to a corona point $(\theta, \varphi, r)$ is exactly $r\, K(z_1,\theta) K(z_2,\varphi)$, the product of two hyperbolic Poisson kernels. From this product formula the author derives isometry invariance of the tessellation, the almost-sure containment of each cell's boundary points in its end, unboundedness of the equal-separation locus, and an explicit stationary Poisson limit for the separation seen from a boundary-traveling observer, including the probability $1/2 + 2/\pi^2$ that the mixed boundary point $(\Theta_1, \Phi_2)$ belongs to the zero cell.

Load-bearing premise

The whole construction rests on the assertion that, in the vanishing-intensity limit, any nucleus converging to a mixed boundary point (one coordinate finite, the other at infinity) has infinite delay almost surely; if that assertion failed, the corona process would contain extra points and the separation formulas, isometry action, and cell-boundary descriptions would all have to change.

Editorial extensions

If this is right

  • The ideal tessellation is invariant under every isometry of $(\mathbb{H}^2 \times \mathbb{H}^2, L^1)$, so distributional properties computed for the zero cell transfer to all cells.
  • Almost surely, each cell meets the Gromov boundary only in its end, a union of two circles; no boundary point of a cell lies outside that end.
  • For any two corona points, the locus of points in $M$ at equal separation from them is unbounded almost surely, so no equality locus is confined to a compact region.
  • From the point of view of an observer traveling toward a boundary intersection, the rescaled separation field converges in law to a stationary Poisson process with an explicit product intensity measure on $\mathbb{C} \times \mathbb{C} \times \mathbb{R}_{\ge 0}$.
  • The probability that the mixed boundary point $(\Theta_1, \Phi_2)$ belongs to the zero cell is exactly $1/2 + 2/\pi^2 \approx 0.70264$, derived from a product of a uniform and two Beta$(1/2,1/2)$ variables.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial extension: the same corona-product construction should extend verbatim to $m$-fold products $(\mathbb{H}_{d_1} \times \cdots \times \mathbb{H}_{d_m}, L^1)$ with each $d_i \ge 2$, since the Poincaré ball volume and Poisson kernel factor in each coordinate; the paper notes this possibility but proves only the case $m=2$, $d_i=2$.
  • Editorial extension: if the mixed-boundary nuclei with supposedly infinite delay were not negligible, the corona measure would not be the simple uniform-times-Lebesgue product; a numerical check of the renormalized delays of such nuclei at small intensity would separate the construction from a possible alternative corona carrying extra points.
  • Editorial extension: the isometry group of $(\mathbb{H}^2 \times \mathbb{H}^2, L^1)$ is the same as that of the Riemannian product $(\mathbb{H}^2 \times \mathbb{H}^2, L^2)$, so the isometry-invariant corona measure constructed here may offer a bridge to the rank-two symmetric space tessellation studied in the fixed-price literature; whether the cell geometries are related is left open in the paper
  • Editorial extension: the exact tie-break probability $0.70264$ could be checked by direct Monte Carlo simulation of the low-intensity Poisson–Voronoi tessellation, giving a testable prediction of the limiting model.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper constructs an ideal Poisson–Voronoi tessellation (IPVT) for M = H2 × H2 equipped with the L1 metric. The main result (Theorem 2.1) identifies the low-intensity limit of Voronoi diagrams of a Poisson point process on M with a corona Poisson process on ∂H2 × ∂H2 × R≥0, relying on the abstract convergence theorem of [DCE+23]. The paper then proves isometry invariance of IPVT(M), describes the boundary behavior of cells in terms of ends, and studies the separation process along a geodesic to a boundary point, including a tie-break probability. The manuscript is clearly written and the overall strategy is coherent, but several load-bearing steps in the proofs are abbreviated or contain an incorrect-sounding assertion.

Significance. If the results are correct, this is a meaningful extension of IPVT theory beyond hyperbolic spaces: M is neither δ-hyperbolic nor a Riemannian symmetric space, yet it admits a product Poisson-kernel separation formula, a transitive corona action, and computable cell geometry. The explicit formulas for the no man's land and the separation process are useful tools and parallel recent work of Fra¸czyk–Mellick–Wilkens. The paper also benefits from building on the independently established machinery of [DCE+23]. However, the current manuscript leaves several central verifications to one-sentence arguments or to 'tedious but elementary' calculations, so the proofs are not yet at the standard required for the main theorems.

major comments (3)
  1. [§2, proof of Theorem 2.1, after Eq. (2.2)] The assertion that any nuclei converging in the Gromov sense towards (H2 × ∂H2) or (∂H2 × H2) would have a.s. infinite delay is not correct as written: a nucleus with bounded first coordinate, say d(o1, x1) ≤ A, and second coordinate at distance R_λ − d(o1, x1) + O(1) from o2 has proto-delay D_i^(λ) = O(1), not infinite. The conclusion is nevertheless true, but the correct argument is a shell-volume estimate: for fixed A and a bounded delay window, the expected number of such nuclei is O(λ e^{R_λ} Vol(B_A)) = O(Vol(B_A)/log(1/λ)) → 0. This estimate is absent. Since this is the step that excludes the mixed-boundary components and thereby determines the corona measure in (2.4), it must be supplied explicitly. The proof should also verify the remaining hypotheses of [DCE+23, Theorem 2.3] for this non-hyperbolic space rather than citing it in one line.
  2. [§4, proof of Theorem 1.2, around Eq. (4.3)] The covering argument for the deposition model of hyperbolic crosses is compressed into the sentence that the Biermé–Estrade process covers P a.s. by 'many small balls' and hence so does the model with large disks excluded. This is load-bearing for Theorem 1.2. The conditional intensity in (4.3) indeed differs from the Biermé–Estrade process by removing disks with ρ^4 ≥ (1+x^2)(1+y^2), but the paper does not prove that this truncation does not destroy the covering property. A precise check is needed, for example by showing that excluded disks contribute only finitely many covering balls locally, or by verifying the covering criterion directly for the truncated intensity.
  3. [§5, proof of Theorem 1.3(ii)] The derivation of the limiting intensity measure ν∞(η, ξ) is omitted entirely. After the phrase 'After some tedious but elementary calculation' the paper jumps to the formula stated in Theorem 1.3. This intensity is the main quantitative result of the second part of the paper and also feeds into Corollary 1.5, so the calculation should be provided in detail or at least in an appendix. Without it, the convergence of the rescaled separation process is not verifiable from the manuscript.
minor comments (5)
  1. [Theorem 2.1] The sentence 'Θ = (Θ1, . . .) and Φ = (Φ1, . . .) are i.i.d. uniform on ∂H2 × ∂H2' is a typo: each Θ_i and each Φ_i should be uniform on ∂H2, not on the product ∂H2 × ∂H2.
  2. [Theorem 1.2 proof] In the definition of E(Θ1, Φ1), the second union is written as {(τ1, Φ1) ; τ1 ∈ H2}; it should be τ1 ∈ ∂H2.
  3. [Figure 1.1] The caption uses the notation S∞(e^{-x}, e^{-x}) without defining it; please either define this process explicitly or rephrase the caption.
  4. [Eq. (5.1)] The variables θ and ϕ are used both as boundary parameters and as angular coordinates in the cosine expansion; a different notation for the angular variables would improve readability.
  5. [Lemma 3.1] The final step of the proof, in which the exponential map is used to show uniqueness of the isometry from its derivative, is very brief; a sentence explaining why the exponential map is surjective in this Finsler setting would help the reader.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 2.1 is an application of an independently proved, parameter-free theorem from the author's prior work; the under-verified mixed-boundary assertion is a proof gap, not a circular reduction.

full rationale

The central claim (Theorem 2.1) is obtained by applying [DCE+23, Theorem 2.3], a general deterministic convergence criterion for Voronoi diagrams in boundedly compact metric spaces. This is a self-citation, but the cited theorem is stated and proved independently, with assumptions that do not include IPVT(M), the corona measure, or the target convergence. The present paper supplies the model-specific inputs: the volume computation phi(r)=2pi^2(r cosh r - sinh r), the proto-delay definition (2.2), and the Poisson mapping computation (2.3). No fitted parameter is later renamed as a prediction; the limiting intensity pi^2 e^s ds and corona measure mu = Unif x Unif x Leb are derived from phi and the mapping theorem. The one-sentence assertion after (2.2), that nuclei converging to the mixed boundary components (H2 x dH2) or (dH2 x H2) would have a.s. infinite delay, is not expanded with the relevant shell-volume estimate. This is a legitimate concern for a correctness reviewer, and I flag it here: Section 2, after Equation (2.2). However, it is a missing hypothesis check for an independent theorem, not a definitional identification or a fit disguised as a result. Proposition 2.2, Corollary 3.2, Theorem 1.2, Theorem 1.3, and Corollary 1.5 are all derived from the constructed corona process and explicit Poisson-kernel calculations, not from the statements they prove. I therefore exhibit no circular step and set the score to 0.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central claims rest on standard probabilistic and geometric theorems from the prior literature, including the abstract convergence criterion of the author's own earlier work, plus standard results such as the Poisson mapping theorem, Mazur-Ulam theorem, Jeulin's lemma, and the Biermé-Estrade covering theorem. No free parameters are fitted to data; all constants arise from volume computations and Poisson process scalings. No new physical or mathematical entities are postulated beyond the corona process inherited from prior work.

assumptions (6)
  • standard math [DCE+23, Theorem 2.3] abstract convergence of Voronoi diagrams in boundedly compact metric spaces
    Used as a black box in the proof of Theorem 2.1 to pass from the Poisson point process convergence to the ideal Poisson-Voronoi tessellation. It is a prior result by the same team, but stated and proved independently.
  • standard math Poisson mapping theorem
    Used to derive the distribution of the proto-delays in Equation (2.3) and the corona process intensity.
  • standard math Mazur-Ulam theorem (every surjective isometry of a normed space is affine)
    Used in Lemma 3.1 to identify the derivative of an isometry fixing (i,i) as a linear isometry of the tangent space norm.
  • standard math Jeulin's lemma [Jeu82, Proposition 4]
    Used in Theorem 1.3(i) to conclude unboundedness of the equal-separation set from local non-emptiness probabilities.
  • standard math Biermé-Estrade covering theorem for Poisson random balls [BE12]
    Used in Theorem 1.2 to show the hyperbolic crosses cover the plane almost surely by comparison with a Poisson disk model.
  • standard math Hyperbolic Poisson kernel product formula from [DCE+23, Lemma 3.3]
    Used in Proposition 2.2 to obtain the exponential separation formula in the product of discs model.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Ideal Poisson--Voronoi tessellations beyond hyperbolic spaces." pith.science (2026). https://pith.science/paper/PMI6WAQ4

@misc{pith2026241200822,
  author       = {Pith},
  title        = {Pith review of: Ideal Poisson--Voronoi tessellations beyond hyperbolic spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PMI6WAQ4}},
  note         = {Machine review of arXiv:2412.00822}
}
abstract

We construct and study the ideal Poisson--Voronoi tessellation of the product of two hyperbolic planes $\mathbb{H}_{2}\times \mathbb{H}_{2}$ endowed with the $L^{1}$ norm. We prove that its law is invariant under all isometries of this space and study some geometric features of its cells. Among other things, we prove that the set of points at equal separation to any two corona points is unbounded almost surely. This is analogous to a recent result of Fr\k{a}czyk-Mellick-Wilkens for higher rank symmetric spaces.

Figures

Figures reproduced from arXiv: 2412.00822 by the authors.

Figure 1.1
Figure 1.1. Left: the first 30 points of the deposition model of hyperbolic crosses appearing in the [PITH_FULL_IMAGE:figures/full_fig_p003_1_1.png] view at source ↗
Figure 2.1
Figure 2.1. Portrait of the corona of M showing the first 1000 corona points. The radii of the nuclei are scaled linearly to improve visibility. Each point (θ, ϕ, r) in the corona is joined by a blue segment to its projection (θ, ϕ) onto ∂H2 × ∂H2, represented here by a yellow/green 2-torus. Working via low–intensity limits, we get the following explicit formulas for the exponential separation: 5 [PITH_FULL_IMAGE:figures/full_… view at source ↗
Figure 4.1
Figure 4.1. In blue, the region at smaller separation to (Θ [PITH_FULL_IMAGE:figures/full_fig_p009_4_1.png] view at source ↗
Figures from the paper (1 more)
Figure 5.1
Figure 5.1. Figure 5.1: The “double quarter-past-three” reference system in [PITH_FULL_IMAGE:figures/full_fig_p009_5_1.png]

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Convergence towards Ideal Poisson--Voronoi tessellations with a focus on Diestel--Leader graphs

    math.PR 2026-06 unverdicted novelty 8.0 of 10

    Necessary and sufficient conditions for convergence of low-intensity Poisson–Voronoi diagrams to a unique ideal tessellation, applied to symmetric spaces and Diestel–Leader graphs.

Reference graph

Works this paper leans on

13 extracted references · 12 canonical work pages · cited by 1 Pith paper

  1. [1]

    A Course in Metric Geometry , volume 33 of Graduate Studies in Mathematics

    Dmitri Burago, Yuri Burago, and Sergei Ivanov. A Course in Metric Geometry , volume 33 of Graduate Studies in Mathematics . American Mathematical Society, 2001

    work page 2001

  2. [2]

    On Cheeger constants of hyperbolic surfaces

    Thomas Budzinski, Nicolas Curien, and Bram Petri. On C heeger constants of hyperbolic surfaces, 2022. Available at https://arxiv.org/abs/2207.00469

    work page Pith review arXiv 2022

  3. [3]

    Covering the whole space with Poisson random balls

    Hermine Bierm \'e and Anne Estrade. Covering the whole space with Poisson random balls . ALEA: Latin American Journal of Probability and Mathematical Statistics , 9:213--229, 2012

    work page 2012

  4. [4]

    Alan F. Beardon. The Geometry of Discrete Groups , volume 91. Springer Science & Business Media, 2012

    work page 2012

  5. [5]

    The Low-Intensity Limit of B ernoulli-- V oronoi and P oisson-- V oronoi measures

    Sandeep Bhupatiraju. The Low-Intensity Limit of B ernoulli-- V oronoi and P oisson-- V oronoi measures . PhD thesis, Indiana University, Bloomington, 2019

    work page 2019

  6. [6]

    Autour de la g \'e om \'e trie du bidisque

    Virginie Charette and Kevin Thouin. Autour de la g \'e om \'e trie du bidisque. S \'e minaire de th \'e orie spectrale et g \'e om \'e trie , 35:1--8, 2017

    work page 2017

  7. [7]

    Peeling Random Planar Maps

    Nicolas Curien. Peeling Random Planar Maps . Lecture Notes in Mathematics. Springer Cham, 2019

    work page 2019

  8. [8]

    Ideal Poisson-Voronoi tessellations on hyperbolic spaces

    Matteo D'Achille, Nicolas Curien, Nathanaël Enriquez, Russell Lyons, and Meltem Ünel. Ideal Poisson--Voronoi tessellations on hyperbolic spaces , 2023. Available at https://arxiv.org/abs/2303.16831

    work page Pith review arXiv 2023

Show all 13 references
  1. [9]

    Poisson-- V oronoi tessellations and fixed price in higher rank, 2023

    Miko aj Fr a czyk, Sam Mellick, and Amanda Wilkens. Poisson-- V oronoi tessellations and fixed price in higher rank, 2023. Available at https://arxiv.org/abs/2307.01194

    2023 arXiv

  2. [10]

    Co \^u t des relations d’ \'e quivalence et des groupes

    Damien Gaboriau. Co \^u t des relations d’ \'e quivalence et des groupes. Inventiones mathematicae , 139(1):41--98, 2000

    2000

  3. [11]

    Hyperbolic manifolds, groups and actions

    Mikhael Gromov. Hyperbolic manifolds, groups and actions. In Riemann Surfaces and Related Topics: Proceedings of the 1978 Stony Brook Conference (State Univ. New York, Stony Brook, NY, 1978) , volume 97, pages 183--213, 1981

    1978

  4. [12]

    Sur la convergence absolue de certaines int \'e grales

    Thierry Jeulin. Sur la convergence absolue de certaines int \'e grales. S \'e minaire de probabilit \'e s de Strasbourg , 16:248--256, 1982

    1982

  5. [13]

    Indistinguishability of cells for the ideal Poisson Voronoi tessellation: an answer and a question , 2024

    Sam Mellick. Indistinguishability of cells for the ideal Poisson Voronoi tessellation: an answer and a question , 2024. Available at https://arxiv.org/abs/2408.10009

    2024 arXiv

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.