Leap generators for composition schemes
Pith reviewed 2026-05-08 08:14 UTC · model grok-4.3
The pith
Leap generators extend exact-size random sampling from sequences to supercritical composition schemes while achieving asymptotic uniformity.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Leap generators for supercritical composition schemes C = A ∘ B produce exact-size random structures according to a leap distribution whose total variation distance to the uniform distribution on C_n is (c + o(1)) n^{-1/2} for an explicit constant c, while retaining linear time complexity under conditions on the sampling complexity of A and B.
What carries the argument
The leap generator, which adapts recursive sampling by allowing controlled leaps over intermediate sizes in the composition A ∘ B.
If this is right
- Exact-size sampling becomes practical for Pólya trees and other tree families that admit supercritical decompositions.
- Linear-time generation carries over to many classes of walks and trees built by composition.
- Certain critical composition schemes for planar maps also admit leap generators, but with total variation distance decaying like n to the power -1/3.
- The generators remain simple to implement once sub-generators for A and B are available.
Where Pith is reading between the lines
- The same leap mechanism could be tested on nested compositions beyond a single outer layer to see whether the error rate remains controlled.
- For applications where n is large, the n^{-1/2} error term may already be negligible enough that leap generators replace exact uniform samplers without visible bias.
- The explicit constant c in the error bound offers a way to compare the quality of leap generators across different combinatorial classes.
Load-bearing premise
The composition scheme must be supercritical and the generators for the inner and outer classes must themselves run in linear or better time.
What would settle it
A concrete supercritical composition scheme in which the total variation distance between the leap distribution and the uniform distribution on size-n objects fails to decay proportionally to n to the power -1/2.
Figures
read the original abstract
Leap generators have been introduced in [Duchon et al.'04] for exact-size random generation of structures in a class of the form $\mathcal{C}=\mathrm{Seq}(\mathcal{B})$ (sequence construction), in the supercritical case. We extend these generators to supercritical composition schemes $\mathcal{C}=\mathcal{A}\circ\mathcal{B}$. Compared to the sequence construction, the obtained exact-size random generator for $\mathcal{C}$ still has linear time complexity (under conditions on the sampling complexity in $\mathcal{A}$ and $\mathcal{B}$), but perfect uniformity of the distribution is lost in general. However the distribution on $\mathcal{C}_n$, called leap distribution, is asymptotically uniform, the total variation distance from the uniform distribution being $(c+o(1))n^{-1/2}$ for an explicit constant $c$. These generators are simple to implement and can be applied to several classes of walks and trees, in particular P\'olya trees. Leap generators can also be given for certain critical composition schemes, those relating planar map families, where this time the total variation distance to the uniform distribution is $\sim c\,n^{-1/3}$ for an explicit constant $c$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript extends leap generators, previously defined for supercritical sequence schemes Seq(B), to general supercritical composition schemes C = A ∘ B. The resulting exact-size generators for C_n run in linear time (under conditions on the sampling oracles for A and B) and produce the leap distribution, which is shown to be asymptotically uniform on C_n with total variation distance (c + o(1)) n^{-1/2} to the uniform distribution for an explicit constant c. Applications to walks, trees, and Pólya trees are given, together with an extension to selected critical composition schemes arising in planar maps, where the distance becomes ∼ c n^{-1/3}.
Significance. If the proofs hold, the work supplies a practical, nearly uniform linear-time sampler for a broad family of combinatorial classes defined by composition, together with an explicit error term. The explicit constant c and the concrete applications (especially Pólya trees) are clear strengths; the restriction to the supercritical regime (plus selected critical map cases) is stated cleanly.
minor comments (3)
- [Abstract] The abstract asserts an 'explicit constant c' but neither states its closed form nor points to the equation or theorem where it is derived; adding this reference would improve immediate readability.
- [Section 2] The precise hypotheses on the sampling complexities of the oracles for A and B are invoked repeatedly but are not collected in a single displayed statement; a boxed list of the required complexity bounds would help readers verify the linear-time claim for the listed applications.
- [Section 5] In the applications to Pólya trees, the verification that the required sampling oracles satisfy the stated complexity conditions is only sketched; a short explicit check (e.g., citing the known linear-time Boltzmann sampler for Pólya trees) would strengthen the claim.
Simulated Author's Rebuttal
We thank the referee for the positive summary, the recognition of the practical value of the leap generators, the explicit error term, and the applications (particularly to Pólya trees). The recommendation for minor revision is noted. No major comments appear in the report, so we have no point-by-point rebuttals to offer. Any minor issues will be handled in the revised version.
Circularity Check
No significant circularity; derivation self-contained via singularity analysis
full rationale
The paper extends the leap generator construction from the sequence case in the external reference [Duchon et al. 2004] to supercritical composition schemes C = A ∘ B. The claimed linear-time exact-size sampling and the total-variation bound (c + o(1)) n^{-1/2} to uniformity are obtained by applying standard singularity analysis and local limit theorems to the bivariate generating functions of the composition; these steps do not reduce to any self-definition, fitted parameter renamed as prediction, or load-bearing self-citation. The uniformity result is explicitly restricted to the supercritical regime (and selected critical map cases), and the complexity claim is conditioned on the oracles for A and B, keeping the argument independent of its own outputs. No ansatz is smuggled and no known empirical pattern is merely renamed.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard assumptions of analytic combinatorics for supercritical and critical composition schemes
Reference graph
Works this paper leans on
-
[1]
Louigi Addario-Berry. A probabilistic approach to block sizes in random maps.ALEA-Latin American Journal of Probability and Mathematical Statistics, 16(1):1–13, 2019
work page 2019
-
[2]
Uniform generation of a Motzkin Word.Theor
Laurent Alonso. Uniform generation of a Motzkin Word.Theor. Comput. Sci., 134(2):529– 536, 1994
work page 1994
-
[3]
Axel Bacher. Improving the Florentine algorithms: recovering algorithms for Motzkin and Schr¨ oder paths.arXiv preprint arXiv:1802.06030, 2018
-
[4]
Axel Bacher, Olivier Bodini, and Alice Jacquot. Exact-size sampling for Motzkin trees in linear time via Boltzmann samplers and holonomic specification. In2013 Proceedings of the Tenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO), pages 52–61. SIAM, 2013
work page 2013
-
[5]
Cyril Banderier, Philippe Flajolet, Gilles Schaeffer, and Michele Soria. Random maps, coa- lescing saddles, singularity analysis, and Airy phenomena.Random Structures & Algorithms, 19(3-4):194–246, 2001
work page 2001
-
[6]
Jerome Barkley and Timothy Budd. Precision measurements of Hausdorff dimensions in two- dimensional quantum gravity.Classical and Quantum Gravity, 36(24):244001, 2019
work page 2019
-
[7]
Laurent Bartholdi and Persi Diaconis. An algorithm for uniform generation of unlabeled trees (P´ olya trees), with an extension of Cayley’s formula.arXiv preprint arXiv:2411.17613, 2024
-
[8]
Fr´ ed´ erique Bassino and Cyril Nicaud. Enumeration and random generation of accessible au- tomata.Theoretical Computer Science, 381(1-3):86–104, 2007
work page 2007
-
[9]
A sequential algorithm for generating random graphs.Algorithmica, 58(4):860–910, 2010
Mohsen Bayati, Jeong Han Kim, and Amin Saberi. A sequential algorithm for generating random graphs.Algorithmica, 58(4):860–910, 2010
work page 2010
-
[10]
Cambridge University Press, 1998
Fran¸ cois Bergeron, Gilbert Labelle, and Pierre Leroux.Combinatorial Species and Tree-like Structures. Cambridge University Press, 1998
work page 1998
-
[11]
Manuel Bodirsky, ´Eric Fusy, Mihyun Kang, and Stefan Vigerske. Boltzmann Samplers, P´ olya Theory, and Cycle Pointing.SIAM Journal on Computing, 40(3):721–769, 2011
work page 2011
-
[12]
Valentin Bonzom. Large n limits in tensor models: Towards more universality classes of colored triangulations in dimensiond≥2.SIGMA. Symmetry, Integrability and Geometry: Methods and Applications, 12:073, 2016
work page 2016
-
[13]
Radu V Craiu, Dootika Vats, Galin L Jones, Steve Brooks, Andrew Gelman, and Xiao-Li Meng.Handbook of Markov Chain Monte Carlo. CRC Press, 2026
work page 2026
-
[14]
Alain Denise and Paul Zimmermann. Uniform random generation of decomposable structures using floating-point arithmetic.Theoretical Computer Science, 218(2):233–248, 1999
work page 1999
-
[15]
Simulating size-constrained Galton–Watson trees.SIAM Journal on Comput- ing, 41(1):1–11, 2012
Luc Devroye. Simulating size-constrained Galton–Watson trees.SIAM Journal on Comput- ing, 41(1):1–11, 2012
work page 2012
-
[16]
Philippe Duchon, Philippe Flajolet, Guy Louchard, and Gilles Schaeffer. Boltzmann Samplers for the Random Generation of Combinatorial Structures.Combinatorics, Probability and Computing, 13(4-5):577–625, 2004
work page 2004
-
[17]
Valentin F´ eray, Baptiste Louf, and Paul Th´ evenin. Random generation and scaling lim- its of fixed genus factorizations into transpositions.Probability Theory and Related Fields, 184(3):681–748, 2022
work page 2022
-
[18]
Boltzmann Sampling of Unlabelled Struc- tures
Philippe Flajolet, ´Eric Fusy, and Carine Pivoteau. Boltzmann Sampling of Unlabelled Struc- tures. In2007 Proceedings of the Fourth Workshop on Analytic Algorithmics and Combina- torics (ANALCO), pages 201–211. SIAM, 2007
work page 2007
-
[19]
Cambridge University press, 2009
Philippe Flajolet and Robert Sedgewick.Analytic Combinatorics. Cambridge University press, 2009
work page 2009
-
[20]
Philippe Flajolet, Paul Zimmermann, and Bernard Van Cutsem. A calculus for the random generation of labelled combinatorial structures.Theoretical Computer Science, 132(1-2):1–35, 1994
work page 1994
-
[21]
A phase transition in block-weighted random maps.Elec- tronic Journal of Probability, 29:1–61, 2024
William Fleurat and Z´ ephyr Salvy. A phase transition in block-weighted random maps.Elec- tronic Journal of Probability, 29:1–61, 2024
work page 2024
-
[22]
Uniform random sampling of planar graphs in linear time.Random Struct
´Eric Fusy. Uniform random sampling of planar graphs in linear time.Random Struct. Algo- rithms, 35(4):464–522, 2009. LEAP GENERATORS FOR COMPOSITION SCHEMES 37
work page 2009
-
[23]
Zhicheng Gao and Nicholas C Wormald. The size of the largest components in random planar maps.SIAM Journal on Discrete Mathematics, 12(2):217–228, 1999
work page 1999
-
[24]
Largest component in random combinatorial structures.Discrete Mathe- matics, 180:185–209, 1998
Xavier Gourdon. Largest component in random combinatorial structures.Discrete Mathe- matics, 180:185–209, 1998
work page 1998
-
[25]
Random generation using binomial ap- proximations
Dominique Gouyou-Beauchamps and Cyril Nicaud. Random generation using binomial ap- proximations. InProceedings of Aofa’10, pages 359–372, 2010
work page 2010
-
[26]
Generating random regular graphs
Jeong Han Kim and Van H Vu. Generating random regular graphs. InProceedings of the thirty-fifth annual ACM symposium on Theory of computing, pages 213–222, 2003
work page 2003
-
[27]
American Mathematical Soc., 2017
David A Levin and Yuval Peres.Markov chains and mixing times, volume 107. American Mathematical Soc., 2017
work page 2017
- [28]
-
[29]
Scaling limits of random P´ olya trees.Proba- bility Theory and Related Fields, 170(3):801–820, 2018
Konstantinos Panagiotou and Benedikt Stufler. Scaling limits of random P´ olya trees.Proba- bility Theory and Related Fields, 170(3):801–820, 2018
work page 2018
-
[30]
Springer Science & Business Me- dia, 2012
Valentin V Petrov.Sums of independent random variables. Springer Science & Business Me- dia, 2012
work page 2012
-
[31]
Optimal coding and sampling of triangulations
Dominique Poulalhon and Gilles Schaeffer. Optimal coding and sampling of triangulations. Algorithmica, 46(3-4):505–527, 2006
work page 2006
-
[32]
Bruce L. Richmond and Nicholas C. Wormald. Almost all maps are asymmetric.Journal of Combinatorial Theory, Series B, 63(1):1–7, 1995
work page 1995
-
[33]
Gilles Schaeffer. Bijective census and random generation of Eulerian planar maps with pre- scribed vertex degrees.Electronic journal of combinatorics, pages R20–R20, 1997
work page 1997
-
[34]
PhD thesis, Uni- versit´ e Bordeaux I, 1998
Gilles Schaeffer.Conjugaison d’arbres et cartes combinatoires al´ eatoires. PhD thesis, Uni- versit´ e Bordeaux I, 1998
work page 1998
-
[35]
Random sampling of large planar maps and convex polyhedra
Gilles Schaeffer. Random sampling of large planar maps and convex polyhedra. In Jef- frey Scott Vitter, Lawrence L. Larmore, and Frank Thomson Leighton, editors,Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing, May 1-4, 1999, Atlanta, Georgia, USA, pages 760–769. ACM, 1999
work page 1999
-
[36]
Angelika Steger and Nicholas C Wormald. Generating random regular graphs quickly.Com- binatorics, Probability and Computing, 8(4):377–396, 1999
work page 1999
-
[37]
Limits of random tree-like discrete structures.Probability Surveys, pages 318–477, 2020
Benedikt Stufler. Limits of random tree-like discrete structures.Probability Surveys, pages 318–477, 2020
work page 2020
-
[38]
Benedikt Stufler. Probabilistic enumeration and equivalence of nonisomorphic trees.Discrete Mathematics & Theoretical Computer Science, 27(Combinatorics), 2026
work page 2026
-
[39]
A census of planar maps.Canadian Journal of Mathematics, 15:249– 271, 1963
William Thomas Tutte. A census of planar maps.Canadian Journal of Mathematics, 15:249– 271, 1963
work page 1963
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.