Analyticity for rapidly determined properties of Poisson Galton-Watson trees

DOI10.1214/20-ECP320MaRDI QIDQ782837zbMATH OpenOpenAlexFDO

Authors Yuval Peres, Andrew Swan

Publication date 29 July 2020

Published in Electronic Communications in Probability (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1909.09121, https://projecteuclid.org/euclid.ecp/1592553612

zbMATH Keywords

analytic continuationfirst-order logicGalton-Watson treephase transitionPoisson offspring distribution

Mathematics Subject Classification ID

Trees (05C05) Branching processes (Galton-Watson, birth-and-death, etc.) (60J80)

Abstract: Let $T_{l}ambda$ be a Galton--Watson tree with Poisson($lambda$) offspring, and let $A$ be a tree property. In this paper, are concerned with the regularity of the function $mathbb{P}_{l}ambda(A):=mathbbP(T_{l}ambdavdashA)$. We show that if a property $A$ can be uniformly approximated by a sequence of properties $A_k$, depending only on the first $k$ vertices in the breadth first exploration of the tree, with a bound in probability of $mathbb{P}_{l}ambda(Ariangle{A}_k)leC{e}^{-ck}$ over an interval $I=(lambd{a}_0,lambd{a}_1)$, then $mathbb{P}_{l}ambda(A)$ is real analytic in $lambda$ for $lambdainI$. We also present some applications of our results, particularly to properties that are not expressible in the first order language of trees.

Review text

For \(\lambda > 0\), denote by \(T_\lambda\) a Galton-Watson process with reproduction law Poisson\((\lambda)\). This article takes interest in the regularity of the function \(f_A : \lambda \mapsto \mathbb{P}(T_\lambda \models A)\) for a given tree property \(A\). The authors show that for all first order property \(A\), \(f_A\) is real analytic on \((0,\infty)\). More generally, they show that \(f_A\) is real analytic on an interval \(I\) as soon as there exist \(c,C > 0\) and properties \(A_k\), measurable with respect to the first \(k\) vertices of the tree -- ranked in the breadth-first exploration process -- so that \[ \text{ for all } \lambda \in I, \ \text{ for all } k \in \mathbb{N}, \ \mathbb{P}(T_\lambda \models A \Delta A_k) \leq C e^{-ck}. \] Finally, the authors describe an uncountable family of properties \(A\) that are not of the first order so that \(f_A\) is analytic on \((0,\infty)\).

Recommendations

• First order probabilities for Galton-Watson trees
• Random tree recursions: Which fixed points correspond to tangible sets of trees?
• Quenched survival of Bernoulli percolation on Galton-Watson trees
• Galton-Watson probability contraction
• Asymptotic normality of almost local functionals in conditioned Galton-Watson trees

Cites work

• Domains of analytic continuation for the top Lyapunov exponent
• First order probabilities for Galton-Watson trees
• Four random permutations conjugated by an adversary generate \(\mathcal{S}_{n}\) with high probability
• Galton-Watson probability contraction
• scientific article; zbMATH DE number 1111349 (Why is no real title available?)
• On the Lambert \(w\) function
• Probability on trees and networks
• The probabilistic method
• The strange logic of random graphs

Cited in

(1)

• First order probabilities for Galton-Watson trees

This page was built for publication: Analyticity for rapidly determined properties of Poisson Galton-Watson trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q782837)