Search arXivSearch

arXiv · 2403.08443

The top eigenvalue of uniformly random trees

Abstract

Let ${\mathbf T}_n$ be a uniformly random tree with vertex set $[n]=\{1,\ldots,n\}$, let $Δ_{{\mathbf T}_n}$ be the largest vertex degree in ${\mathbf T}_n$, and let $λ_1({\mathbf T}_n),\ldots,λ_n({\mathbf T}_n)$ be the eigenvalues of its adjacency matrix, arranged in decreasing order. We prove that $|λ_1({\mathbf T}_n)-\sqrt{Δ_{{\mathbf T}_n}}| \to 0$ in expectation as $n \to \infty$, and additionally prove probability tail bounds for $|λ_1({\mathbf T}_n)-\sqrt{Δ_{{\mathbf T}_n}}|$. Writing $a_n$ for any median of $Δ_{{\mathbf T}_n}$, we also prove that $|λ_k({\mathbf T}_n)-\sqrt{a_n}| \to 0$ in expectation, uniformly over $1 \le k \le e^{\log^β(n)}$, for any fixed $β\in (0,1/2)$. The proof is based on the trace method and thus on counting closed walks in a random tree. To this end, we develop novel combinatorial tools for encoding walks in trees that we expect will find other applications. In order to apply these tools, we show that uniformly random trees -- after appropriate "surgery" -- satisfy, with high probability, the properties required for the combinatorial bounds to be effective.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Louigi Addario-Berry, Gábor Lugosi, Roberto Imbuzeiro Oliveira. 2024-04-02. The top eigenvalue of uniformly random trees. https://arxiv.org/abs/2403.08443

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Wasserstein Convergence Rate for Empirical Measures of Markov Processes

The convergence rate in Wasserstein distance is estimated for empirical measures of ergodic Markov processes, and the estimate can be sharp in some specific situations. The main result is applied to subordinations of typical models excluded by existing results, which include: stochastic Hamiltonian systems on $\mathbb R^{n}\times \mathbb R^{m}$, spherical velocity Langevin processes on $\mathbb R^n\times\mathbb S^{n-1},$ multi-dimensional Wright-Fisher type diffusion processes, and stable type jump processes.

math.PR

On the Forgetting of Particle Filters

We study the forgetting properties of the particle filter when its state - the collection of particles - is regarded as a Markov chain. Under a strong mixing assumption on the particle filter's underlying Feynman-Kac model, we find that the particle filter is exponentially mixing, and forgets its initial state in $O(\log N )$ 'time', where $N$ is the number of particles and time refers to the number of particle filter algorithm steps, each comprising a selection (or resampling) and mutation (or prediction) operation. We present an example which shows that this rate is optimal. In contrast to our result, available results to date are extremely conservative, suggesting $O(α^N)$ time steps are needed, for some $α>1$, for the particle filter to forget its initialisation. We also study the conditional particle filter (CPF) and extend our forgetting result to this context. We establish a similar conclusion, namely, CPF is exponentially mixing and forgets its initial state in $O(\log N)$ time. To support this analysis, we establish new time-uniform $L^p$ error estimates for CPF, which can be of independent interest. We also establish new propagation-of-chaos type results using our proof techniques, discuss implications to couplings of particle filters and an application to processing out-of-sequence measurements.

math.PR

Universality of the Brownian net

The Brownian web is a collection of one-dimensional coalescing Brownian motions starting from every point in space and time, while the Brownian net is an extension that also allows branching. We show here that the Brownian net is the universal scaling limit of one-dimensional branching-coalescing random walks with weak binary branching and arbitrary increment distributions that have finite $(3+\varepsilon)$-th moment. This gives the first example in the domain of attraction of the Brownian net where paths can cross without coalescing, which poses fundamental technical challenges not present in the non-crossing case.

math.PR