pith. sign in

arxiv: 2506.06924 · v2 · submitted 2025-06-07 · 🧮 math.CO · math.PR

Bivariate asymptotics via random walks: application to large genus maps

Andrew Elvey Price , Wenjie Fang , Baptiste Louf , Michael Wallner This is my paper

Pith reviewed 2026-05-19 10:08 UTC · model grok-4.3

classification 🧮 math.CO math.PR
keywords bivariate asymptoticscombinatorial mapslarge genuslinear recurrencesunicellular mapsdiscrete surfacesenumerative combinatorics
0
0 comments X

The pith

The number of unicellular combinatorial maps admits explicit bivariate asymptotics in both size and genus via its linear recurrence.

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

The paper derives asymptotic expressions for the number of unicellular combinatorial maps that remain valid when both the map size and its genus tend to infinity. It obtains these expressions by analyzing a linear recurrence relation satisfied by the counting numbers. A general theorem is included that extracts such bivariate asymptotics from any linear recurrence meeting a short list of technical conditions. Readers care because these formulas describe the typical geometry of discrete surfaces whose genus grows with their size.

Core claim

We obtain bivariate asymptotics for the number of (unicellular) combinatorial maps as both the size and the genus grow. This is achieved by studying a linear recurrence for these numbers. We include a general theorem that yields asymptotics for such recurrences, provided that some assumptions are satisfied.

What carries the argument

A linear recurrence for the enumeration sequence of unicellular maps, together with a general theorem that extracts bivariate asymptotics from linear recurrences under suitable technical assumptions.

If this is right

  • The asymptotics describe the joint growth rate when genus is a positive fraction of the size.
  • The same general theorem applies to other sequences defined by linear recurrences.
  • Leading asymptotic terms involve an explicit growth constant extracted from the recurrence.
  • The approach yields formulas usable in probabilistic models of random large-genus surfaces.

Where Pith is reading between the lines

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

  • The recurrence coefficients may admit a random-walk interpretation that explains the bivariate form.
  • Similar analysis could produce asymptotics for maps with a fixed number of faces or for other surface enumeration problems.
  • Numerical checks against the formulas for moderate genus values would quantify the error term.

Load-bearing premise

The concrete recurrence obeyed by the map counting numbers satisfies the technical assumptions required by the general asymptotics theorem.

What would settle it

Exact enumeration of unicellular maps for large n and g, followed by checking whether the ratio of the true count to the predicted asymptotic expression approaches 1.

Figures

Figures reproduced from arXiv: 2506.06924 by Andrew Elvey Price, Baptiste Louf, Michael Wallner, Wenjie Fang.

Figure 1
Figure 1. Figure 1: A unicellular map of genus 1 with 3 edges. Combinatorial maps can be seen as a model of discrete surfaces or, alternatively, graphs on surfaces. Like other models of surfaces, there has been a growing interest recently in understanding their large genus geometry (see, e.g., [5, 8]), and it turns out that asymptotic enumeration plays a crucial role in this study1 , for instance [8] crucially relies on the a… view at source ↗
Figure 2
Figure 2. Figure 2: Plots of λ, f , and J with respect to θ. Note that for θ → 0 + it holds that λ and f tend to 1/4 and 2 log(2) ≈ 1.39, while for θ → 1/2− they tend to 0 and log(2) − 1 ≈ −0.3, respectively. The function J tends to +∞ for both these limits. Theorem 1 (Main result on large genus unicellular maps). Given a sequence2 g ≡ gn such that n−2g log n → ∞ as n → ∞, the following asymptotics hold: E(n, g) ∼ 1 2 √ π √g(… view at source ↗
read the original abstract

We obtain bivariate asymptotics for the number of (unicellular) combinatorial maps (a model of discrete surfaces) as both the size and the genus grow. This work is related to two research topics that have been very active recently: multivariate asymptotics and large genus geometry. Our method consists of studying a linear recurrence for these numbers, and can be applied to many other linear recurrences. In particular, we include a general theorem that yields asymptotics for such recurrences, provided that some assumptions are satisfied.

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.

Referee Report

1 major / 1 minor

Summary. The manuscript derives a linear recurrence for the number of unicellular combinatorial maps and applies a general theorem on bivariate asymptotics for solutions of such recurrences (under technical assumptions on coefficient growth, dominant roots, and remainder terms) to obtain joint asymptotics as both the size n and genus g tend to infinity. The general theorem is presented as a tool applicable to other linear recurrences arising in combinatorics.

Significance. If the assumptions of the general theorem are verified to hold uniformly under the joint (n,g) scaling, the work supplies a random-walk-based route to bivariate asymptotics that could be reused for other enumerative problems with linear recurrences. The explicit inclusion of the general theorem is a constructive contribution that may facilitate extensions beyond maps.

major comments (1)
  1. [Section deriving the map recurrence and the subsequent application of the general theorem] The central claim that the bivariate asymptotics follow from the general theorem requires explicit verification that all hypotheses (bounds on coefficient growth, location of the dominant root, and uniform control of remainder terms) continue to hold when the recurrence coefficients depend on g and g grows with n. This verification is not supplied in the derivation of the recurrence or in the application section, leaving the joint-limit extraction unsubstantiated.
minor comments (1)
  1. [Abstract] The abstract refers to 'some assumptions' without listing them; adding a concise enumeration of the hypotheses in the introduction would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting the need for explicit verification of the general theorem's hypotheses in the joint asymptotic regime. We address the major comment below and describe the revisions we intend to incorporate.

read point-by-point responses

  1. Referee: [Section deriving the map recurrence and the subsequent application of the general theorem] The central claim that the bivariate asymptotics follow from the general theorem requires explicit verification that all hypotheses (bounds on coefficient growth, location of the dominant root, and uniform control of remainder terms) continue to hold when the recurrence coefficients depend on g and g grows with n. This verification is not supplied in the derivation of the recurrence or in the application section, leaving the joint-limit extraction unsubstantiated.

    Authors: We agree that the manuscript would benefit from a more explicit verification that the hypotheses of the general theorem hold uniformly under the joint (n,g) scaling. In the revised version we will insert a dedicated subsection immediately after the derivation of the recurrence (currently Section 3). There we will check, for the explicit coefficients arising from the unicellular map enumeration, the three required conditions: polynomial bounds on coefficient growth in both n and g, location and isolation of the dominant root for g = o(n) (and other regimes of interest), and uniform control of the remainder term with respect to g. These verifications will be carried out using the closed-form expressions for the coefficients together with standard singularity-analysis estimates. We believe the addition will render the application of the general theorem fully rigorous for the bivariate setting. revision: yes

Circularity Check

0 steps flagged

No circularity: bivariate asymptotics derived from known recurrence via included general theorem

full rationale

The paper begins from a linear recurrence satisfied by the number of unicellular maps (independently known or derived in the work) and applies a general theorem on asymptotics for linear recurrences that is stated and included within the paper itself, provided technical assumptions hold. The target bivariate asymptotics for joint growth in size and genus follow from this application without the asymptotic being presupposed in the recurrence, without self-definitional loops, and without load-bearing self-citations that reduce the central claim to unverified prior results by the same authors. The derivation chain remains self-contained against the external benchmark of the recurrence and the theorem's hypotheses.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence of a linear recurrence for the map counts and on the unverified applicability of the general asymptotic theorem; no free parameters or invented entities are mentioned in the abstract.

axioms (1)
  • domain assumption The numbers counting unicellular maps satisfy a linear recurrence relation.
    Explicitly invoked in the abstract as the starting point for the asymptotic analysis.

pith-pipeline@v0.9.0 · 5610 in / 1243 out tokens · 64017 ms · 2026-05-19T10:08:08.468500+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

  1. [1]

    Large genus asymptotics for intersection numbers and principal strata volumes of quadratic differentials

    A. Aggarwal. “Large genus asymptotics for intersection numbers and principal strata volumes of quadratic differentials”. Invent. Math. 226.3 (2021), pp. 897–1010. doi

    work page 2021

  2. [2]

    The local limit of unicellular maps in high genus

    O. Angel, G. Chapuy, N. Curien, and G. Ray. “The local limit of unicellular maps in high genus”. Electron. Commun. Probab. 18 (2013), no. 86, 8. doi

    work page 2013

  3. [3]

    Young tableaux with periodic walls: counting with the density method

    C. Banderier and M. Wallner. “Young tableaux with periodic walls: counting with the density method”. Sém. Lothar. Combin. 85B (2021), Art. 47, 12. Link

    work page 2021

  4. [4]

    The combinatorics of the colliding bullets

    N. Broutin and J.-F. Marckert. “The combinatorics of the colliding bullets”. Random Struct. Algorithms 56.2 (2020), pp. 401–431. doi. 12 A. Elvey Price, W. Fang, B. Louf, and M. Wallner

    work page 2020

  5. [5]

    Local limits of uniform triangulations in high genus

    T. Budzinski and B. Louf. “Local limits of uniform triangulations in high genus”. Invent. Math. 223.1 (July 2020), pp. 1–47. doi

    work page 2020

  6. [6]

    Pascal’s formulas and vector fields

    P . Chassaing, J. Flin, and A. Zevio. “Pascal’s formulas and vector fields”. Preprint, arXiv:2210.11814 [math.CO] (2022). 2022. Link

    work page arXiv 2022

  7. [7]

    The mesoscopic geometry of sparse random maps

    N. Curien, I. Kortchemski, and C. Marzouk. “The mesoscopic geometry of sparse random maps”. Journal de l’École polytechnique — Mathématiques 9 (Sept. 2022), pp. 1305–1345. doi

    work page 2022

  8. [8]

    Large genus asymptotic geometry of random square-tiled surfaces and of random multicurves

    V . Delecroix, É. Goujard, P . Zograf, and A. Zorich. “Large genus asymptotic geometry of random square-tiled surfaces and of random multicurves”. Invent. Math. 230.1 (2022), pp. 123–224. doi

    work page 2022

  9. [9]

    Classical Hurwitz numbers and related combina- torics

    B. Dubrovin, D. Yang, and D. Zagier. “Classical Hurwitz numbers and related combina- torics”. Mosc. Math. J. 17 (2017), pp. 601–633. Link

    work page 2017

  10. [10]

    Compacted binary trees admit a stretched exponential

    A. Elvey Price, W. Fang, and M. Wallner. “Compacted binary trees admit a stretched exponential”. J. Combin. Ser. A 177 (Jan. 2021), p. 105306. doi

    work page 2021

  11. [11]

    Flajolet and R

    P . Flajolet and R. Sedgewick. Analytic Combinatorics. Cambridge Univ. Press, 2009. doi

    work page 2009

  12. [12]

    On the asymptotic growth of the number of tree-child networks

    M. Fuchs, G.-R. Yu, and L. Zhang. “On the asymptotic growth of the number of tree-child networks”. European J. Combin. 93 (2021), Paper No. 103278, 20. doi

    work page 2021

  13. [13]

    The genus distribution of cubic graphs and asymptotic number of rooted cubic maps with high genus

    Z. Gao. “The genus distribution of cubic graphs and asymptotic number of rooted cubic maps with high genus”. Electron. J. Comb. 31.2 (2024), research paper p2.49, 20. doi

    work page 2024

  14. [14]

    The KP hierarchy, branched covers, and triangulations

    I. P . Goulden and D. M. Jackson. “The KP hierarchy, branched covers, and triangulations”. Adv. Math. 219.3 (Oct. 2008), pp. 932–951. doi

    work page 2008

  15. [15]

    Series extension: predicting approximate series coefficients from a finite number of exact coefficients

    A. J. Guttmann. “Series extension: predicting approximate series coefficients from a finite number of exact coefficients”. J. Phys. A 49.41 (2016), p. 415002. doi

    work page 2016

  16. [16]

    The Euler characteristic of the moduli space of curves

    J. Harer and D. Zagier. “The Euler characteristic of the moduli space of curves”. Invent. Math. 85.3 (1986), pp. 457–485. doi

    work page 1986

  17. [17]

    Extinction probabilities for a distylous plant population modeled by an inhomogeneous random walk on the positive quadrant

    P . Lafitte-Godillon, K. Raschel, and V . C. Tran. “Extinction probabilities for a distylous plant population modeled by an inhomogeneous random walk on the positive quadrant”. SIAM J. Appl. Math. 73.2 (2013), pp. 700–722. doi

    work page 2013

  18. [18]

    Melczer, R

    S. Melczer, R. Pemantle, and M. C. Wilson. The ACSV project. Link

    work page