Pith. sign in

REVIEW 2 major objections 3 minor 35 references

Mixing Properties of Random Laguerre Tessellations

T0 review · 2 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

Pith's one-line read Random Laguerre tessellations inherit ergodicity, mixing, and α-mixing from the stationary marked point processes that generate them, under a nearly optimal moment bound on negative weights.

desk verdict Solid paper on mixing preservation for Laguerre tessellations, with one real but repairable notation gap in the α-mixing proof. read the letter →

arxiv 2608.13235 v1 pith:YEKEDZE7 submitted 2026-08-13 math.PR

classification math.PR MSC 60D0537A2560G55
keywords randomLaguerretessellationergodicitymixingalpha-mixingmarkedpointprocesstemperedconfigurationspowerdistance
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

Random Laguerre tessellations—weighted generalizations of Voronoi diagrams in which each cell is defined by power distance from a nucleus with a weight—are shown to be well defined and to inherit the asymptotic-independence structure of the point process that generates them. The sufficient condition is a moment bound on the negative part of the weights: very large negative weights must be sufficiently rare. Under this condition, an ergodic marked point process produces an ergodic Laguerre tessellation, a mixing process produces a mixing tessellation, and an α-mixing process produces an α-mixing tessellation. This matters for applications in materials science and biology, where Laguerre tessellations model foams, polycrystals, and cellular structures and where one wants spatial averages to converge and far-apart regions to behave independently.

What carries the argument

The machinery has three parts. The Laguerre cell of a generator $(x,m)$ is the set of points $z$ whose power distance $\|z-x\|^2 + m$ is no larger than the power distance to every other generator; the Laguerre diagram is the collection of cells with non-empty interior, and for suitable configurations it is a locally finite partition of $\mathbb{R}^d$ into compact convex cells. Tempered configurations, defined by a bound of the form $\sum_{(x,m)\in\varphi\cap(kB^d\times\mathbb{R})}(1+|m|^{d+\delta})\le l\,k^d$ for all $k$, provide the control of unbounded negative weights that makes the tessellation well defined. The paper also proves the measurability of the mapping that sends a weighted configuration to its Laguerre diagram, which is what allows the mixing properties of the generator to be transferred to the tessellation via $\sigma$-algebras of cells intersecting balls.

What would settle it

Check the $\alpha$-mixing transfer at the endpoint: take an $\alpha$-mixing marked point process whose typical mark has density proportional to $|m|^{-1-d/2}/\log^2 |m|$ for $m\le -e$. This mark distribution satisfies $E[M_-^{d/2}]<\infty$ but $E[M_-^{(d+\delta)/2}]=\infty$ for every $\delta>0$. If simulated Laguerre tessellations from such generators still have $\alpha$-mixing coefficients tending to zero, the strict $\delta>0$ in Theorem 1 is an artifact of the proof; if not, it is essential.

Watch

Extended reading notes

Core claim

The central result, Theorem 1, states that if $\eta$ is a stationary marked point process on $\mathbb{R}^d \times \mathbb{R}$ whose typical mark $M$ satisfies $E[M_-^{(d+\delta)/2}]<\infty$ for some $\delta>0$, then (a) ergodicity of $\eta$ implies $L(\eta)$ is almost surely a tessellation of $\mathbb{R}^d$ and is ergodic; (b) mixing of $\eta$ implies $L(\eta)$ is mixing; and (c) $\alpha$-mixing of $\eta$ implies $L(\eta)$ is $\alpha$-mixing. The proof works by showing that $\eta$ almost surely belongs to the set of tempered configurations, which controls the growth of large negative weights, and by proving that the Laguerre mapping $\varphi\mapsto L(\varphi)$ is measurable, so that the tessellation's $\sigma$-algebras can be compared with the generator's. For marked Poisson processes the moment threshold can be improved: $L(\eta)$ is almost surely a tessellation if and only if $E[M_-^{d/2}]<\infty$.

Load-bearing premise

The theorem requires the typical negative weight to have a moment of order $(d+\delta)/2$ for some strictly positive $\delta$; if the negative weights are only integrable at the critical order $d/2$, or not at all, the proof's control of far-away cells and the $\alpha$-mixing transfer does not go through.

Editorial extensions

If this is right

  • Poisson–Laguerre tessellations are well defined exactly when $E[M_-^{d/2}]<\infty$; when this $d/2$-moment is infinite, the origin is almost surely not covered by any cell, so the diagram is not space-filling.
  • For any ergodic stationary marked point process meeting the moment bound, spatial averages over the tessellation converge almost surely, so ergodic theorems apply to cell-based statistics.
  • Long-range independence of the generator passes to the geometry: far-apart windows of the tessellation become independent at the same qualitative rate class, mixing or $\alpha$-mixing.
  • The measurability theorem makes random Laguerre tessellations legitimate random elements in a Fell-topology space, so mixing and ergodicity can be defined and checked through cells rather than through cell boundaries.
  • The examples show that the results cover Poisson, Cox, cluster, geostatistically marked, and some Gibbs and determinantal generators, widening the non-Poissonian theory beyond bounded weights.

Reading between the lines

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

  • The strict $\delta>0$ margin in the moment condition looks technical: for well-definedness alone the endpoint condition $E[M_-^{d/2}]<\infty$ already suffices by a Campbell-formula argument for every stationary marked point process, and the $\delta$ is used only in the tempered-configuration estimates behind the $\alpha$-mixing transfer. If those estimates can be sharpened, the theorem may hold at
  • A similar measurable-mapping plus tempered-configuration route could transfer mixing properties to other weighted diagrams, such as power diagrams with higher-order power distances or Johnson–Mehl tessellations with random birth times.
  • For the Poisson case, the sharp threshold suggests a testable prediction: simulations with negative-weight tails just below the $d/2$-moment threshold should show large empty holes growing with the box, while tails just above it should tessellate.
  • The paper itself notes that no rate of decay of the mixing coefficients follows from the proof; closing that gap would require distributional control of the random tempered-configuration index $l(\hat\eta)$, not just its almost-sure finiteness.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 3 minor

Summary. The paper studies random Laguerre tessellations generated by a stationary marked point process on R^d x R, with possibly unbounded weights. Its main result, Theorem 1, states that under the moment condition E[M_-^{(d+δ)/2}]<∞ for some δ>0, ergodicity, mixing, and α-mixing of the generating marked point process are each preserved by the Laguerre tessellation map, and that the generating process is then almost surely an admissible generator. Section 3 introduces tempered configurations and proves measurability of the Laguerre mapping (Theorem 4). Section 4 proves the main theorem, with the α-mixing preservation argument based on geometric lemmas controlling large cells via empty regions. Section 5 gives the Poisson case, where the optimal moment condition E[M_-^{d/2}]<∞ is obtained, and discusses several non-Poissonian examples.

Significance. If the proof gaps described below are repaired, the paper would be a valuable contribution: it extends mixing preservation results beyond Poisson and Gibbs-type generators to general stationary marked point processes, provides the first formal measurability proof for the Laguerre diagram map, reproduces the needed argument from the authors' earlier note [26] in full, and gives a clean optimal moment condition in the Poisson case (Lemma 17). The paper is largely self-contained and its main claims are concrete and falsifiable. However, two load-bearing proof steps currently fail as written, so the manuscript is not yet ready for acceptance.

major comments (2)
  1. [§4.3, Lemma 12] The proof of Lemma 12 contains a scaling error in the second case. From z∈rB_j and ||z−y||>√(C_l^2−1)r one cannot conclude that y∉β_l r B_j, because β_l r B_j = B(β_l r x_j, β_l r) is not centered at z; it may contain points whose distance from z is much larger than √(C_l^2−1)r. The valid triangle-inequality conclusion is instead y∉B(r x_j, β_l r), i.e. y∉r(β_l B_j), which is a different ball. Since Lemma 14 uses exactly the stated conclusion to bound P(η∈E^3_{r,K3}) by a sum of empty-ball probabilities, the proof of Theorem 1(c) is incomplete as submitted. The argument appears repairable by replacing β_l r B_j with r(β_l B_j) in the statement and proof of Lemma 12 and adapting Lemma 14 accordingly, but this must be carried out explicitly.
  2. [§4.1, proof of Theorem 4] The measurability proof discards the sentinel values B(0,1) and B(0,2) in the definition of κ, but these closed balls can themselves be genuine Laguerre cells with non-empty interior. For example, a generator at the origin together with suitably weighted generators in directions dense on the sphere can produce an origin cell that is exactly a ball. For such configurations the equality L(φ)=∪_n L_n^1(φ) is false, because the genuine cell is removed. Therefore the proof of Theorem 4, which is invoked in the proofs of Theorem 1(a) and (b), is not valid as written. The issue is local and can be fixed, for instance by choosing dummy values that cannot coincide with any non-empty-interior Laguerre cell, or by carrying an indicator of whether the value is a dummy.
minor comments (3)
  1. [Abstract and §1] The phrase "nearly optimal" is overstated. The 'if' direction of Lemma 17 uses only Campbell's formula and does not require the Poisson assumption, so E[M_-^{d/2}]<∞ already suffices for well-definedness for arbitrary stationary marked point processes; the stronger moment (2) in Theorem 1 is needed for the tempered-configuration estimates used in the α-mixing part, not for well-definedness itself.
  2. [§4.2, after proof of Theorem 1(b)] The sentence introducing (10) is a side remark and could be integrated more cleanly with the surrounding proof, since the proof of part (b) has already been completed at that point.
  3. [§5.1, Lemma 17] In the 'only if' direction, the notation ρ(0,x) is used before being explicitly defined in the Laguerre formalism section; a brief reminder of the definition of power distance would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the derivation relies on standard point-process ergodic theorems, measurability and equivariance of the Laguerre map, and direct approximation lemmas; the only self-citation supplies a proof idea that is restated with an external standard reference.

full rationale

The paper's central claims are not circular. Theorem 1(a) and (b) follow from Lemma 5 (tempered configurations imply the regularity conditions), the standard marked-point-process ergodic theorem applied to h(m)=1+(sqrt(m_-))^{d+delta} (cited to [5, Corollary 12.2.V(b)]), and the measurability plus equivariance of the Laguerre map proved in Theorem 4. The one self-citation, [26], is used only as 'the same idea' in the proof of Theorem 1(a), but the needed convergence statement is reproduced in the text and rests on the external ergodic theorem, so it is not a load-bearing unverified premise. The alpha-mixing proof in Section 4.3 uses the approximation lemmas 14-16, whose estimates are derived from the definitions of the events E^1, E^2, E^3 and from tempered-configuration bounds; no target quantity is inserted into its own definition, and no fitted parameter is renamed as a prediction. No uniqueness theorem from the authors is invoked to force a choice. A reviewer-identified gap in Lemma 12 is a geometric scaling correctness issue, not a circularity: even if the claimed implication fails as written, the theorem is not derived by assuming its conclusion. The paper is therefore self-contained against standard point-process theory, with no significant circularity.

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

The proof rests on standard point process and stochastic geometry results. The only paper-specific assumptions are the stationarity and non-degeneracy of η and the moment condition (2); no free parameters or new entities are introduced.

assumptions (6)
  • domain assumption η is a stationary, simple, non-degenerate marked point process on R^d×R with locally finite ground intensity
    Standing assumption in Section 2; ensures the intensity measure factorizes as γλ_d⊗Q and the convex hull of the ground process is R^d a.s.
  • domain assumption There exists δ>0 such that E[M_-^{(d+δ)/2}]<∞
    Assumption (2) in Theorem 1; used to force P(η-hat ∈ M_temp,δ)=1 via the ergodic theorem and hence enter the tempered-configuration framework.
  • standard math Campbell's formula and the ergodic theorem for stationary point processes
    Used in Section 4.2 to show a.s. convergence of the empirical average of h(m)=1+(√(m_-))^{d+δ}; cited from Daley-Vere-Jones Corollary 12.2.V(b).
  • standard math Measurable enumeration of atoms of locally finite counting measures
    Lemma 6, quoted from Last-Penrose Proposition 6.3, used in the proof of Theorem 4.
  • standard math Fell topology measurability results for closed sets and unions of sets
    Schneider-Weil Theorems 12.2.1, 12.2.3 and 12.2.6, used in Lemma 8 and Theorem 4.
  • standard math Alpha-mixing coefficient properties and the semi-algebra reduction
    Lemma 9, cited as analogous to Schneider-Weil Lemma 9.3.1; needed in Section 4.3.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Mixing Properties of Random Laguerre Tessellations." pith.science (2026). https://pith.science/paper/YEKEDZE7

@misc{pith2026260813235,
  author       = {Pith},
  title        = {Pith review of: Mixing Properties of Random Laguerre Tessellations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YEKEDZE7}},
  note         = {Machine review of arXiv:2608.13235}
}
abstract

In this paper, we study the random Laguerre tessellation, a weighted generalization of the Voronoi tessellation, generated by a general stationary marked point process. We first derive a nearly optimal sufficient condition on the generating marked point process which ensures that the resulting random Laguerre tessellation is well-defined, utilising the concept of tempered configurations to handle potentially unbounded weights. We then investigate how the three mixing properties - ergodicity, mixing and $\alpha$-mixing - of the generating marked point process are preserved for the corresponding random Laguerre tessellation. Our approach combines standard approximation arguments with the properties of tempered configurations and the measurability of the Laguerre mapping.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

35 extracted references · 23 canonical work pages

  1. [26]

    Petr´ akov´ a and Z

    M. Petr´ akov´ a and Z. Pawlas (2025). Some notes about Poisson–Laguerre tessellation with unbounded weights. Proceedings of the 23rd European Young Statisticians Meeting (ed. A. Srakar), Ljubljana, Slovenia, 81–86. PDF on ResearchGate

  2. [1]

    C. A. N. Biscio and R. Waagepetersen (2019). A general central limit theorem and a sub- sampling variance estimator forα-mixing point processes.Scand. J. Statist.46(4), 1168–1190. https://doi.org/10.1111/sjos.12389 17

  3. [2]

    R. C. Bradley (2007). Introduction to Strong Mixing Conditions Kendrick Press, Heber City

  4. [3]

    Flimmel, Z

    D. Flimmel, Z. Pawlas and J. E. Yukich (2020). Limit theory for unbiased and con- sistent estimators of statistics of random tessellations.J. Appl. Probab.57(2), 679–702. https://doi.org/10.1017/jpr.2020.4

  5. [4]

    Daley and D

    D. Daley and D. Vere-Jones (2003). An Introduction to the Theory of Point Processes: Volume I: Elementary Theory and Methods. Second Edition. Springer, New York

  6. [5]

    Daley and D

    D. Daley and D. Vere-Jones (2008). An Introduction to the Theory of Point Processes: Volume II: General Theory and Structure. Second Edition. Springer, New York

  7. [6]

    Gusakova and M

    A. Gusakova and M. in Wolde-L¨ ubke (2025). Poisson–Laguerre tessellations.Electron. J. Probab.30, 1–48. https://doi.org/10.1214/25-EJP1320

  8. [7]

    Gusakova and M

    A. Gusakova and M. in Wolde-L¨ ubke (2026). Limits of Poisson–Laguerre tessellations. Preprint. https://arxiv.org/abs/2602.06906

Show all 35 references
  1. [8]

    Gusakova, Z

    A. Gusakova, Z. Kabluchko and C. Th¨ ale (2022). Theβ-Delaunay tessellation: Descrip- tion of the model and geometry of typical cells.Adv. Appl. Probab.54(4), 1252–1290. https://doi.org/10.1017/apr.2022.6

  2. [9]

    Gusakova, Z

    A. Gusakova, Z. Kabluchko and C. Th¨ ale (2022). Theβ-Delaunay tessellation II: The Gaussian limit tessellation.Electron. J. Probab.27, 1–33. https://doi.org/10.1214/22-EJP782

  3. [10]

    Gusakova, Z

    A. Gusakova, Z. Kabluchko and C. Th¨ ale (2022). Theβ-Delaunay tessellation III: Kendall’s problem and limit theorems in high dimensions.Lat. Am. J. Probab. Math. Stat.19, 23–50. https://doi.org/10.30757/alea.v19-02

  4. [11]

    Gusakova, Z

    A. Gusakova, Z. Kabluchko and C. Th¨ ale (2023). Theβ-Delaunay tessellation IV: Mixing properties and central limit theorems.Stoch. Dyn.23(3), 2350021. https://doi.org/10.1142/S0219493723500211

  5. [12]

    Gusakova, Z

    A. Gusakova, Z. Kabluchko and C. Th¨ ale (2024). Sectional Voronoi tessellations: Character- ization and high-dimensional limits.Bernoulli30(2), 1482–1501. https://doi.org/10.3150/23- BEJ1641

  6. [13]

    Heinrich (1994)

    L. Heinrich (1994). Normal approximation for some mean-value estimates of absolutely regular tessellations.Math. Methods Statist.3, 1–24

  7. [14]

    Heinrich (1992)

    L. Heinrich (1992). Mixing properties of Gibbsian point processes and asymptotic normality of Takacs–Fiksel estimates.Preprint No. 92-051, SFB ”Discrete Structures in Mathematics”, University of Bielefeld

  8. [15]

    Heinrich, S

    L. Heinrich, S. L¨ uck and V. Schmidt (2014). Asymptotic goodness-of-fit tests for the Palm mark distribution of stationary point processes with correlated marks.Bernoulli20(4), 1673–

  9. [16]

    Heinrich and I

    L. Heinrich and I. S. Molchanov (1999). Central limit theorem for a class of ran- dom measures associated with germ-grain models.Adv. Appl. Probab.31(2), 283–314. https://doi.org/10.1239/aap/1029955136

  10. [17]

    Hirsch, J

    C. Hirsch, J. Krebs and C. Redenbach (2024). Persistent homology based goodness-of-fit tests for spatial tessellations.J. Nonparametric Stat.36, 39–59. https://doi.org/10.1080/10485252.2023.2280022

  11. [18]

    Hug and R

    D. Hug and R. Schneider (2024). Poisson Hyperplane Tessellations. Springer Monographs in Mathematics. Springer-Verlag, Berlin. 18

  12. [19]

    van der Jagt, G

    T. van der Jagt, G. Jongbloed and M. Vittorietti (2025). Nonparametric inference for Poisson– Laguerre tessellations.Scand. J. Stat.52(4), 1816–1851. https://doi.org/10.1111/sjos.70011

  13. [20]

    Jahn and F

    D. Jahn and F. Seitl (2020). Existence and simulation of Gibbs–Delaunay–Laguerre tessella- tions.Kybernetika56(4), 617–645. https://doi.org/10.14736/kyb-2020-4-0617

  14. [21]

    Lachi` eze-Rey (2011)

    R. Lachi` eze-Rey (2011). Mixing properties for STIT tessellations.Adv. Appl. Probab.43(1), 40–48. https://doi.org/10.1239/aap/1300198511

  15. [22]

    Last and M

    G. Last and M. Penrose (2017). Lectures on the Poisson Process. Institute of Mathematical Statistics Textbooks. Cambridge University Press, Cambridge

  16. [23]

    Lautensack (2007)

    C. Lautensack (2007). Random Laguerre Tessellations. PhD thesis, University of Karlsruhe

  17. [24]

    Lautensack and S

    C. Lautensack and S. Zuyev (2008). Random Laguerre tessellations.Adv. Appl. Probab.40(3), 630–650. https://doi.org/10.1239/aap/1222868179

  18. [25]

    Mart ´ ınez and W

    S. Mart ´ ınez and W. Nagel (2016). Theβ-mixing rate of STIT tessellations.Stochastics88(3), 396–414. https://doi.org/10.1080/17442508.2015.1072534

  19. [27]

    Poinas, B

    A. Poinas, B. Delyon and F. Lavancier (2019). Mixing properties and central limit theorem for associated point processes.Bernoulli25(3), 1724–1754. https://doi.org/10.3150/18-BEJ1033

  20. [28]

    Redenbach and C

    C. Redenbach and C. Jung (2025). Random Tessellations: An Overview of Models. In: H. Bierm´ e (eds) Stochastic Geometry: Percolation, Tesselations, Gaussian Fields and Point Processes, 35–80. Lecture Notes in Mathematics, vol 2365. Springer, Cham. https://doi.org/10.1007/978-3...

  21. [29]

    Roelly and A

    S. Roelly and A. Zass (2020). Marked Gibbs point processes with unbounded interaction: an existence result.J. Stat. Phys.179, 972–996. https://doi.org/10.1007/s10955-020-02559-3

  22. [30]

    Schladitz, C

    K. Schladitz, C. Jung, S. Flenner et al. (2024). Geometric modelling of corrosion inhibitor pigments in active protective coatings based on SR-nano-CT images.Prog. Org. Coat.197, 108762. https://doi.org/10.1016/j.porgcoat.2024.108762

  23. [31]

    Schneider and W

    R. Schneider and W. Weil (2008). Stochastic and Integral Geometry. Probability and its Applications. Springer-Verlag, Berlin

  24. [32]

    Seitl, J

    F. Seitl, J. Møller and V. Beneˇ s (2022). Fitting three-dimensional Laguerre tes- sellations by hierarchical marked point process models.Spat. Stat.51, 100658. https://doi.org/10.1016/j.spasta.2022.100658

  25. [33]

    Seitl, L

    F. Seitl, L. Petrich, J. Stanˇ ek et al. (2021). Exploration of Gibbs–Laguerre tessellations for three-dimensional stochastic modeling.Methodol. Comput. Appl. Probab.23, 669–693. https://doi.org/10.1007/s11009-019-09757-x

  26. [34]

    Waagepetersen and Y

    R. Waagepetersen and Y. Guan (2009): Two-step estimation for inhomogeneous spatial point processes.J. R. Stat. Soc., B: Stat. Methodol.71(3), 685–702. https://doi.org/10.1111/j.1467- 9868.2008.00702.x 19

  27. [1697]

    https://doi.org/10.3150/13-BEJ523

Pith tools

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