arXiv ScienceSearch

arXiv subjects

Svante Janson

Publications and source records attributed to Svante Janson.

At least 19 recordsLinked to original sources

Quasi-random graphs, subgraph counts and graph limits, again

We study properties of graphs (or rather graph sequences) saying that some restricted count of subgraphs is approximatively what is expected in a random graph. It has been shown by several authors that many such properties characterize quasi-random graphs, but there are also some exceptions. We continue here the line of investigation in Janson and S\'os (2013), and introduce some new versions of these properties, in order to better understand why many of these properties are quasi-random, and to understand the structure of the exceptions that are not. A new feature in the proofs is a simple decomposition of the subspace of symmetric functions in $L^2([0,1]^m)$ into subspaces that are irreducible for the action of measure-preserving transformations of $[0,1]$; this simplifies some arguments and gives structure to others.

math.CO

Large fringe trees for random trees with given vertex degrees

This paper extends the study of fringe trees in random plane trees with a given degree statistic. While previous work established the asymptotic normality of the count of fringe trees isomorphic to a fixed tree, we investigate the case where the target tree grows with the size of the random tree. We consider three primary subtree counts: the number of fringe trees isomorphic to a specific growing tree, the number of fringe trees sharing a given growing degree statistic, and the number of fringe trees of a specific growing size. To establish our results, we employ and compare four distinct probabilistic frameworks: the method of moments with the Gao-Wormald theorem, Stein's method with coupling (to provide explicit error bounds in total variation distance), the Cai-Devroye method, and Stein's method with exchangeable pairs. Our findings provide conditions for Poisson and normal convergence for these subtree counts. Additionally, we provide a local limit theorem for sums of values obtained via sampling without replacement that may be of independent interest. Finally, our results and methods are also applied to conditioned critical Galton-Watson trees.

math.PR

Fringe subtrees of split trees and fractional split trees

We consider additive functionals $X_n(\phi)$ with small toll functions on split trees and a generalization of split trees, which we call fractional split trees, where the split vector does not need to sum up to 1. These additive functionals encompass e.g. the number of nodes, number of leaves and the number of fringe trees of a certain size. We show convergence of the first moment to a limit, which we can explicitly compute if $s_0=s_1=0$ and for some models with Beta-distributed splitter. For $s_0+s_1>0$, the first moment is given in terms of negative moments of a perpetuity and can often be approximated to arbitrary precision with known bounds. In split trees and certain fractional split trees, the standard deviation is of smaller order than the first moment, where we show a weak law of large numbers. In other fractional split trees, the standard deviation is of the same order and we show a distribution limit using the contraction method.

math.PR

Positive autocorrelation at unit lag for stationary random walk Metropolis-Hastings in ${\mathbb R}^d$

It is often asserted in the literature that one should expect positive autocorrelation for random walk Metropolis-Hastings (RWMH), especially if the typical proposal step-size is small relative to the variability in the target density. In this paper, we consider a stationary RWMH chain ${\bf X}$ taking values in $d$-dimensional Euclidean space and (subject only to the existence of densities with respect to Lebesgue measure) with general target distribution having finite second moment and general proposal random walk step-distribution. We prove, for any nonzero vector ${\bf c}$, strict positivity of the autocorrelation function at unit lag for the stochastic process $\langle{\bf c},{\bf X}\rangle$, that is, \[{\operatorname{Corr}}(\langle{\bf c},{\bf X}_0\rangle,\langle{\bf c},{\bf X}_1\rangle)>0,\] and we establish the same result, but with weak inequality (which can in some cases be equality) when the state space for ${\bf X}$ is changed to the integer grid ${\mathbb Z}^d$. Further, for ${\bf c}\neq{\bf 0}$ we establish the sharp lower bound \[{\operatorname{Corr}}(\langle{\bf c},{\bf X}_0\rangle,\langle{\bf c},{\bf X}_1\rangle)>\tfrac19\] on autocorrelation when we assume both that (i) the target density $\pi$ is spherically symmetric and unimodal in the specific sense that $\pi({\bf x})=\hat{\pi}(\|{\bf x}\|)$ for some nonincreasing function $\hat{\pi}$ on $[0,\infty)$ and that (ii) the proposal step-density is symmetric about ${\bf 0}$. We study the autocorrelation indirectly, by considering the incremental variance function (or incremental second-moment function) at unit lag. The same approach allows us also for $r\in[2,\infty)$ to upper-bound the incremental $r$th-absolute-moment function at unit lag. We give also closely related inequalities for the total variation distance between two distributions on ${\mathbb R}^d$ differing only by a location shift.

math.PR

How many coin tosses would you need until you get $n$ Heads or $m$ Tails?

We harness both human ingenuity and the power of symbolic computation to study the number of coin tosses until reaching $n$ Heads or $m$ Tails. We also talk about the closely related problem of reaching $n$ Heads and $m$ Tails. This paper is accompanied by a Maple package that enables fast computation of expectations, variances, and higher moments of these quantities.

math.PR

Cyclic and alternating $U$-statistics

We define cyclic $U$-statistics as a variant of $U$-statistics based on variables $X_1,\dots,X_n$ that are assumed to be cyclically ordered. We also define alternating $U$-statistics where in the definition terms are summed with alternating sings (in three different ways). Only $U$-statistics of order 2 are considered. The definitions are inspired by special cases studied by Chebikin (2008) and Even-Zohar (2017) for random permutations. We show limit theorems similar to well-known results for standard $U$-statistics, but with some differences between the different versions. In particular, we find both ``nondegenerate'' normal limits and ``degenerate'' non-normal limits.

math.PR

A tightness criterion for fragmentations

This note presents a simple criterion for the tightness of stochastic fragmentation processes. Our work is motivated by an application to a fragmentation process derived from deleting edges in a conditioned Galton-Watson tree studied by Berzunza-Ojeda and Holmgren (2023). In that paper, while finite-dimensional convergence was established, the claimed functional convergence relied on Lemma 22 of Broutin and Marckert (2016), which is unfortunately incorrect. We show how our results can correct the proof of Berzunza-Ojeda and Holmgren (2023). Furthermore, we show the applicability of our results by establishing tightness for fragmentation processes derived from various random tree models previously studied in the literature, such as Cayley trees, trees with specified degree sequences, and $\mathbf{p}$-trees.

math.PR

Maximal Counts in the Stopped Occupancy Problem

We revisit a version of the classic occupancy scheme, where balls are thrown until almost all boxes receive a given number of balls. Special cases are widely known as coupon-collectors and dixie cup problems. We show that as the number of boxes tends to infinity, the distribution of the maximal occupancy count does not converge, but can be approximated by a convolution of two Gumbel distributions, with the approximating distribution having oscillations close to periodic on a logarithmic scale. We pursue two approaches: one relies on lattice point processes obtained by poissonisation of the number of balls and boxes, and the other employs interpolation of the multiset of occupancy counts to a point process on reals. This way we gain considerable insight in known asymptotics obtained previously by mostly analytic tools. Further results concern the moments of maximal occupancy counts and ties for the maximum.

math.PR

A note on P\'olya urns: the winner may lead all the time

Consider a P\'olya urn where a drawn ball of colour $i$ is replaced together with a fixed number $m_i$ of balls of the same colour. We give a simple proof that if, for example, there are two colours and the urn starts with more balls of colour 1 than 2, and $m_1\ge m_2$, then there is a positive probability that there always will be more balls of colour 1 than colour 2.

math.PR

Moments of balanced P\'olya urns

We give bounds for (central) moments for balanced P\'olya urns under very general conditions. In some cases, these bounds imply that moment convergence holds in earlier known results on asymptotic distribution. The results overlap with previously known results, but are here given more generally and with a simpler proof.

math.PR

Rounding of discrete variables

Let $X$ be a random variable that takes its values in $\frac{1}{q}\mathbb{Z}$, for some integer $q\ge2$, and consider $X$ rounded to an integer, either downwards or upwards or to the nearest integer. We give general formulas for the characteristic function and moments of the rounded variable. These formulas complement the related but different formulas in the case that $X$ has a continuous distribution, which was studied by Janson (2006).

math.PR

The generalized Alice HH vs Bob HT problem

In 2024, Daniel Litt posed a simple coinflip game pitting Alice's "Heads-Heads" vs Bob's "Heads-Tails": who is more likely to win if they score 1 point per occurrence of their substring in a sequence of n fair coinflips? This attracted over 1 million views on X and quickly spawned several articles explaining the counterintuitive solution. We study the generalized game, where the set of coin outcomes, {Heads, Tails}, is generalized to an arbitrary finite alphabet A, and where Alice's and Bob's substrings are any finite A-strings of the same length. We find that the winner of Litt's game can be determined by a single quantity which measures the amount of prefix/suffix self-overlaps in each string; whoever's string has more overlaps loses. For example, "Heads-Tails" beats "Heads-Heads" in the original problem because "Heads-Heads" has a prefix/suffix overlap of length 1 while "Heads-Tails" has none. The method of proof is to develop a precise Edgeworth expansion for discreteMarkov chains, and apply this to calculate Alice's and Bob's probability to win the game correct to order O(1/n).

math.PR

The number of descendants in a preferential attachment graph

We study the number $X^{(n)}$ of vertices that can be reached from the last added vertex $n$ via a directed path (the descendants) in the standard preferential attachment graph. In this model, vertices are sequentially added, each born with outdegree $m\ge 2$; the endpoint of each outgoing edge is chosen among previously added vertices with probability proportional to the current degree of the vertex plus some number $\rho$. We show that $X^{(n)}/n^\nu$ converges in distribution as $n\to\infty$, where $\nu$ depends on both $m$ and $\rho$, and the limiting distribution is given by a product of a constant factor and the $(1-\nu)$-th power of a Gamma(m/(m-1),1) variable. The proof uses a P\'olya urn representation of preferential attachment graphs, and the arguments of Janson (2024) where the same problem was studied in uniform attachment graphs. Further results, including convergence of all moments and analogues for the version with possible self-loops are provided.

math.PR

The Critical Beta-splitting Random Tree IV: Mellin analysis of Leaf Height

In the critical beta-splitting model of a random $n$-leaf rooted tree, clades are recursively split into sub-clades, and a clade of $m$ leaves is split into sub-clades containing $i$ and $m-i$ leaves with probabilities $\propto 1/(i(m-i))$. The height of a uniform random leaf can be represented as the absorption time of a certain {\em harmonic descent} Markov chain. Recent work on these heights $D_n$ and $L_n$ (corresponding to discrete or continuous versions of the tree) has led to quite sharp expressions for their asymptotic distributions, based on their Markov chain description. This article gives even sharper expressions, based on an $n \to \infty$ limit tree structure described via exchangeable random partitions in the style of Haas et al (2008). Within this structure, calculations of moments lead to expressions for Mellin transforms, and then via Mellin inversion we obtain sharp estimates for the expectation, variance, Normal approximation and large deviation behavior of $D_n$.

math.PR

The Critical Beta-splitting Random Tree III: The exchangeable partition representation and the fringe tree

In the critical beta-splitting model of a random $n$-leaf rooted tree, clades are recursively split into sub-clades, and a clade of $m$ leaves is split into sub-clades containing $i$ and $m-i$ leaves with probabilities $\propto 1/(i(m-i))$. Study of structure theory and explicit quantitative aspects of the model is an active research topic. It turns out that many results have several different proofs, and detailed studies of analytic proofs are given elsdewhere (via analysis of recursions and via Mellin transforms). This article describes two core probabilistic methods for studying $n \to \infty$ asymptotics of the basic finite-$n$-leaf models. (i) There is a canonical embedding into a continuous-time model, that is a random tree CTCS(n) on $n$ leaves with real-valued edge lengths, and this model turns out to be more convenient to study. The family (CTCS(n), $n \ge 2)$ is consistent under a ``delete random leaf and prune" operation. That leads to an explicit inductive construction (the {\em growth algorithm}) of (CTCS(n), $n \ge 2)$ as $n$ increases, and then to a limit structure CTCS$(\infty)$ which can be formalized via exchangeable partitions, in some ways analogous to the Brownian continuum random tree. (ii) There is an explicit description of the limit fringe distribution relative to a random leaf, whose graphical representation is essentially the format of the cladogram representation of biological phylogenies.

math.PR

Periodic minimum in the count of binomial coefficients not divisible by a prime

The summatory function of the number of binomial coefficients not divisible by a prime is known to exhibit regular periodic oscillations, yet identifying the less regularly behaved minimum of the underlying periodic functions has been open for almost all cases. We propose an approach to identify such minimum in some generality, solving particularly a previous conjecture of B. Wilson [Asymptotic behavior of Pascal's triangle modulo a prime, Acta Arith. 83 (1998), pp. 105-116].

math.NT

The Harmonic Descent Chain

The decreasing Markov chain on \{1,2,3, \ldots\} with transition probabilities $p(j,j-i) \propto 1/i$ arises as a key component of the analysis of the beta-splitting random tree model. We give a direct and almost self-contained "probability" treatment of its occupation probabilities, as a counterpart to a more sophisticated but perhaps opaque derivation using a limit continuum tree structure and Mellin transforms.

math.PR