pith. sign in

arxiv: 2502.02991 · v2 · submitted 2025-02-05 · 🧮 math.PR

The Derrida-Retaux model on a geometric Galton-Watson tree

Gerold Alsmeyer , Yueyun Hu , Bastien Mallein This is my paper

Pith reviewed 2026-05-23 04:22 UTC · model grok-4.3

classification 🧮 math.PR
keywords Derrida-Retaux modelGalton-Watson treecritical curvefree energyinvolution equationrecursive systemsbranching random walk
0
0 comments X

The pith

An involution-type equation characterizes the critical curve for the Derrida-Retaux model on geometric Galton-Watson trees and confirms the free energy conjecture.

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

The paper studies recursive systems on branching trees with geometric offspring, including the Derrida-Retaux model started from geometric or exponential distributions. It shows that the boundary between different regimes is given by the solution to an involution-type equation. With this location of the critical curve the authors prove that the free energy of the model obeys the exact asymptotic form predicted by the Derrida-Retaux conjecture. This supplies the first rigorous confirmation of the conjecture for the geometric-tree version of the model.

Core claim

For the Derrida-Retaux model and a broader class of recursive systems on a Galton-Watson tree with geometric offspring distribution, the critical curve is the solution of an involution-type equation; once the curve is so located, the free energy satisfies the Derrida-Retaux conjecture for both geometric and exponential initial distributions.

What carries the argument

The involution-type equation that identifies the critical curve.

If this is right

  • The free energy of the model obeys the precise asymptotic predicted by the Derrida-Retaux conjecture.
  • The location of the critical curve is given explicitly by the involution equation for geometric offspring.
  • The same characterization applies to related recursive systems that share the involution structure.

Where Pith is reading between the lines

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

  • The involution approach may extend to non-geometric offspring distributions if analogous functional equations can be derived.
  • The result supplies a template for proving conjectured free-energy asymptotics in other branching-process models with recursive structure.
  • Explicit critical curves obtained this way can be used to calibrate numerical simulations of the model on finite trees.

Load-bearing premise

The recursive systems under study admit an involution-type equation that correctly marks the critical curve when the offspring distribution is geometric.

What would settle it

A numerical computation of the free energy for concrete parameter values that deviates from the conjectured growth rate, or an explicit check that the involution equation fails to hold at the observed transition point.

Figures

Figures reproduced from arXiv: 2502.02991 by Bastien Mallein, Gerold Alsmeyer, Yueyun Hu.

Figure 1
Figure 1. Figure 1: Decomposition of the phase space for a function Ψ defined by Ψ(x) = x 2  2(1 + x − √ 1 + 2x) for x ∈ [−0.5, 0.5], extended to R in such a way that (A) holds. For this function, the critical curve h is given by x 7→ x 2/2 on [−0.5, 0.5] and drawn in red. Additionally, slightly supercritical and subcritical trajectories for (u, v) are depicted. Proposition 1.2. Under assumptions (A), we have F(u0, v0) = lim… view at source ↗
Figure 2
Figure 2. Figure 2: Numerical computations of gn(x)−x and x 2/2, where η = −0.5, K = 10, and Ψ(x) = 1+2x 1+x corresponding to the generalized DR model described in Section 2.1 with Z = 1 and p = 0.5. We conclude this section with the proof of Theorem 1.1. Proof of Theorem 1.1. For each A > 0, we apply Proposition 4.1 to construct the unique function g A on [−A, ∞) that satisfies (4.3). By the compatibility property, for any B… view at source ↗
read the original abstract

We consider a generalized Derrida-Retaux model on a Galton-Watson tree with a geometric offspring distribution. For a class of recursive systems, including the Derrida-Retaux model with either a geometric or exponential initial distribution, we characterize the critical curve using an involution-type equation and prove that the free energy satisfies the Derrida-Retaux conjecture.

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

0 major / 1 minor

Summary. The manuscript considers a generalized Derrida-Retaux model on a Galton-Watson tree with geometric offspring distribution. For a class of recursive systems, including the Derrida-Retaux model with geometric or exponential initial distributions, it characterizes the critical curve via an involution-type equation and proves that the free energy satisfies the Derrida-Retaux conjecture.

Significance. If the claims hold, the work supplies an explicit characterization of the critical curve together with a proof of the free-energy conjecture for these recursive systems on geometric trees. Such a result would be of interest to researchers studying branching random walks, recursive distributional equations, and critical phenomena in statistical mechanics on trees, particularly if the involution approach yields parameter-free or falsifiable predictions.

minor comments (1)
  1. The abstract refers to 'a class of recursive systems' without specifying the precise scope or the exact form of the involution equation; a clear statement of the class and the equation in the introduction would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript. The description accurately reflects the main results on characterizing the critical curve via an involution-type equation and proving the free-energy conjecture for the geometric and exponential cases. No specific major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper characterizes the critical curve for a class of recursive systems (including the Derrida-Retaux model with geometric or exponential initial distributions) on geometric Galton-Watson trees via an involution-type equation and proves the free energy satisfies the conjecture. No load-bearing steps reduce by construction to fitted inputs, self-definitions, or self-citation chains; the abstract and description present an independent derivation without quoting any reduction of predictions to inputs or ansatzes smuggled via prior author work. The result is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, invented entities, or non-standard axioms are mentioned. The work relies on standard properties of Galton-Watson trees and recursive distributional equations.

axioms (1)
  • standard math Standard measure-theoretic properties of Galton-Watson branching processes and recursive distributional equations hold.
    Invoked to define the model on the tree and the free energy.

pith-pipeline@v0.9.0 · 5578 in / 1075 out tokens · 47219 ms · 2026-05-23T04:22:22.968418+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

  1. [1]

    and Bandyopadhyay, A

    Aldous, D.J. and Bandyopadhyay, A. (2005). A survey of ma x-type recursive distributional equations. Ann. Appl. Probab. 15, 1047–1110

    work page 2005

  2. [2]

    and Hénard, O

    Aldous, D., Contat, A., Curien, N. and Hénard, O. (2023). Parking on the infinite binary tree. Probab. Theory Related Fields. 187, 481–504

    work page 2023

  3. [3]

    (2021) Linear fractional Galton-Watson pr ocesses in random environment and perpe- tuities

    Alsmeyer, G. (2021) Linear fractional Galton-Watson pr ocesses in random environment and perpe- tuities. Stoch. Qual. Control , 36(2):111–127

    work page 2021

  4. [4]

    and Hoang, V.H

    Alsmeyer, G. and Hoang, V.H. (2025+) Power-fractional d istributions and branching processes. (Preprint)

    work page 2025

  5. [5]

    and Lacoin, H

    Berger, Q., Giacomin, G. and Lacoin, H. (2019). Disorder and critical phenomena: the α = 0 copolymer model. Probab. Theory Related Fields 174, 787–819

    work page 2019

  6. [6]

    Chen, X. (2024+). Infinite differentiability of the free e nergy for a Derrida-Retaux system. (preprint, https://arxiv.org/2405.09741)

    work page arXiv 2024

  7. [7]

    an d Shi, Z

    Chen, X., Dagard, V., Derrida, B., Hu, Y., Lifshits, M. an d Shi, Z. (2021). The Derrida-Retaux conjecture on recursive models. Ann. Probab. 49, 637–670

    work page 2021

  8. [8]

    and Shi, Z

    Chen, X., Dagard, V., Derrida, B. and Shi, Z. (2020) The cr itical behaviors and the scaling functions of a coalescence equation. J. Phys. A 53, 195202, 25 pp

    work page 2020

  9. [9]

    and Shi, Z

    Chen, X., Hu, Y. and Shi, Z. (2022) The sustainability pro bability for the critical DR model. Probab. Theory Related Fields 182, 641–684

    work page 2022

  10. [10]

    and Shi, Z

    Chen, X. and Shi, Z. (2021). The stable Derrida-Retaux s ystem at criticality. In: In and out of equilibrium, 3, Celebrating Vladas Sidoravicius , 239–264, Progr. Probab. 77, Birkhäuser/Springer, Cham

    work page 2021

  11. [11]

    and Martin, A

    Collet, P., Eckmann, J.P., Glaser, V. and Martin, A. (19 84). A spin glass with random couplings. J. Statist. Phys. 36, 89–106

    work page

  12. [12]

    and Martin, A

    Collet, P., Eckmann, J.P., Glaser, V. and Martin, A. (19 84). Study of the iterations of a mapping associated to a spin-glass model. Commun. Math. Phys. 94, 353–370

    work page

  13. [13]

    and Curien, N

    Contat, A. and Curien, N. (2023). Parking on Cayley tree s and frozen Erdős–Rényi graphs. Ann. Probab. 51 1993–2055

    work page 2023

  14. [14]

    Demailly, J.P. (2006). Analyse numérique et équations différentielles. Collection Grenoble Sciences

    work page 2006

  15. [15]

    and Vannimenus, J

    Derrida, B., Hakim, V. and Vannimenus, J. (1992). Effect of disorder on two-dimensional wetting. J. Statist. Phys. 66, 1189–1213

    work page 1992

  16. [16]

    and Retaux, M

    Derrida, B. and Retaux, M. (2014). The depinning transi tion in presence of disorder: a toy model. J. Statist. Phys. 156, 268–290

    work page 2014

  17. [17]

    and Shi, Z

    Derrida, B. and Shi, Z. (2015+). Unpublished notes

    work page 2015

  18. [18]

    and Shi, Z

    Derrida, B. and Shi, Z. (2020). Results and conjectures on a toy model of depinning. Moscow Math. J. 20, 695–709

    work page 2020

  19. [19]

    and Toninelli, F.L

    Giacomin, G., Lacoin, H. and Toninelli, F.L. (2010). Hi erarchical pinning models, quadratic maps and quenched disorder. Probab. Theory Related Fields 147, 185–216

    work page 2010

  20. [20]

    and Przykucki, M

    Goldschmidt, C. and Przykucki, M. (2019). Parking on a r andom tree. Combin. Probab. Comput. 28, 23–45

    work page 2019

  21. [21]

    and Pain, M

    Hu, Y., Mallein, B. and Pain, M. (2020). An exactly solva ble continuous-time DR model. Commun. Math. Phys. 375, 605–651

    work page 2020

  22. [22]

    and Shi, Z

    Hu, Y. and Shi, Z. (2018). The free energy in the Derrida- Retaux recursive model. J. Statist. Phys. 172, 718–741

    work page 2018

  23. [23]

    and Zhang, R

    Li, Z. and Zhang, R. (2024+). Asymptotic behavior of the generalized Derrida-Retaux recursive model. (Preprint)

    work page 2024

  24. [24]

    and Zhang, R

    Li, Z. and Zhang, R. (2024+). Derrida-Retaux type model s and related scaling limit theorems. (Preprint)

    work page 2024

  25. [25]

    Jordan, J. (2002). Almost sure convergence for iterate d functions of independent random variables. Ann. Appl. Probab. 12, 985–1000

    work page 2002

  26. [26]

    and Rogers, T.D

    Li, D. and Rogers, T.D. (1999). Asymptotic behavior for iterated functions of random variables. Ann. Appl. Probab. 9, 1175–1201. 32 GEROLD ALSMEYER, YUEYUN HU, AND BASTIEN MALLEIN Gerold Alsmeyer, Institut für Mathematische Stochastik, Unive rsität Münster, D- 48149 Münster, Germany Email address : gerolda@math.uni-muenster.de Yueyun Hu, LAGA, Université ...

    work page 1999