arXiv ScienceSearch

arXiv subjects

Russell Lyons

Publications and source records attributed to Russell Lyons.

At least 19 recordsLinked to original sources

Ideal Poisson-Voronoi tessellations on hyperbolic spaces

We study the limit in low intensity of Poisson--Voronoi tessellations in hyperbolic spaces $ \mathbb{H}_{d}$ for $d \geq 2$. In contrast to the Euclidean setting, a limiting nontrivial ideal tessellation $ \mathcal{V}_{d}$ appears as the intensity tends to $0$. The tessellation $ \mathcal{V}_{d}$ is a natural, isometry-invariant decomposition of $ \mathbb{H}_{d}$ into countably many unbounded polytopes, each with a unique end. We study its basic properties, in particular, the geometric features of its cells.

math.PR

Monotonicity for continuous-time random walks

Consider continuous-time random walks on Cayley graphs where the rate assigned to each edge depends only on the corresponding generator. We show that the limiting speed is monotone increasing in the rates for infinite Cayley graphs that arise from Coxeter systems, but not for all Cayley graphs. On finite Cayley graphs, we show that the distance -- in various senses -- to stationarity is monotone decreasing in the rates for Coxeter systems and for abelian groups, but not for all Cayley graphs. We also find several examples of surprising behaviour in the dependence of the distance to stationarity on the rates. This includes a counterexample to a conjecture on entropy of Benjamini, Lyons, and Schramm. We also show that the expected distance at any fixed time for random walks on $\mathbb{Z}^+$ is monotone increasing in the rates for arbitrary rate functions, which is not true on all of $\mathbb{Z}$. Various intermediate results are also of interest.

math.PR

Explicit universal minimal constants for polynomial growth of groups

Shalom and Tao showed that a polynomial upper bound on the size of a single, large enough ball in a Cayley graph implies that the underlying group has a nilpotent subgroup with index and degree of polynomial growth both bounded effectively. The third and fourth authors proved the optimal bound on the degree of polynomial growth of this subgroup, at the expense of making some other parts of the result ineffective. In the present paper we prove the optimal bound on the degree of polynomial growth without making any losses elsewhere. As a consequence, we show that there exist explicit positive numbers $\varepsilon_d$ such that in any group with growth at least a polynomial of degree $d$, the growth is at least $\varepsilon_dn^d$. We indicate some applications in probability; in particular, we show that the gap at $1$ for the critical probability for Bernoulli site percolation on a Cayley graph, recently proven to exist by Panagiotis and Severo, is at least $\exp\bigl\{-\exp\bigl\{17 \exp\{100 \cdot 8^{100}\}\bigr\}\bigr\}$.

math.GR

A reverse Aldous/Broder algorithm

The Aldous--Broder algorithm provides a way of sampling a uniformly random spanning tree for finite connected graphs using simple random walk. Namely, start a simple random walk on a connected graph and stop at the cover time. The tree formed by all the first-entrance edges has the law of a uniform spanning tree. Here we show that the tree formed by all the last-exit edges also has the law of a uniform spanning tree. This answers a question of Tom Hayes and Cris Moore from 2010. The proof relies on a bijection that is related to the BEST theorem in graph theory. We also give other applications of our results, including new proofs of the reversibility of loop-erased random walk, of the Aldous--Broder algorithm itself, and of Wilson's algorithm.

math.PR

Strong Negative Type in Spheres

It is known that spheres have negative type, but only subsets with at most one pair of antipodal points have strict negative type. These are conditions on the (angular) distances within any finite subset of points. We show that subsets with at most one pair of antipodal points have strong negative type, a condition on every probability distribution of points. This implies that the function of expected distances to points determines uniquely the probability measure on such a set. It also implies that the distance covariance test for stochastic independence, introduced by Sz\'ekely, Rizzo and Bakirov, is consistent against all alternatives in such sets. Similarly, it allows tests of goodness of fit, equality of distributions, and hierarchical clustering with angular distances. We prove this by showing an analogue of the Cram\'er--Wold theorem.

math.MG

Exit Boundaries of Multidimensional SDEs

We show that solutions to multidimensional SDEs with Lipschitz coefficients and driven by Brownian motion never reach the set where all coefficients vanish unless the initial position belongs to that set.

math.PR

Induced graphs of uniform spanning forests

Given a subgraph $H$ of a graph $G$, the induced graph of $H$ is the largest subgraph of $G$ whose vertex set is the same as that of $H$. Our paper concerns the induced graphs of the components of $\operatorname{WSF}(G)$, the wired spanning forest on $G$, and, to a lesser extent, $\operatorname{FSF}(G)$, the free uniform spanning forest. We show that the induced graph of each component of $\operatorname{WSF}(\mathbb Z^d$) is almost surely recurrent when $d\ge 8$. Moreover, the effective resistance between two points on the ray of the tree to infinity within a component grows linearly when $d\ge9$. For any vertex-transitive graph $G$, we establish the following resampling property: Given a vertex $o$ in $G$, let $\mathcal T_o$ be the component of $\operatorname{WSF}(G)$ containing $o$ and $\overline{\mathcal{T}_o}$ be its induced graph. Conditioned on $\overline{\mathcal{T}_o}$, the tree $\mathcal T_o$ is distributed as $\operatorname{WSF}(\overline{\mathcal{T}_o})$. For any graph $G$, we also show that if $\mathcal T_o$ is the component of $\operatorname{FSF}(G)$ containing $o$ and $\overline{\mathcal{T}_o}$ is its induced graph, then conditioned on $\overline{\mathcal{T}_o}$, the tree $\mathcal T_o$ is distributed as $\operatorname{FSF}(\overline{\mathcal{T}_o})$.

math.PR

Lower bounds for trace reconstruction

In the trace reconstruction problem, an unknown bit string ${\bf x}\in\{0,1 \}^n$ is sent through a deletion channel where each bit is deleted independently with some probability $q\in(0,1)$, yielding a contracted string $\widetilde{\bf x}$. How many i.i.d.\ samples of $\widetilde{\bf x}$ are needed to reconstruct $\bf x$ with high probability? We prove that there exist ${\bf x},{\bf y} \in\{0,1 \}^n$ such that at least $c\, n^{5/4}/\sqrt{\log n}$ traces are required to distinguish between ${\bf x}$ and ${\bf y}$ for some absolute constant $c$, improving the previous lower bound of $c\,n$. Furthermore, our result improves the previously known lower bound for reconstruction of random strings from $c \log^2 n$ to $c \log^{9/4}n/\sqrt{\log \log n} $.

math.PR

A Stationary Planar Random Graph with Singular Stationary Dual: Dyadic Lattice Graphs

Dyadic lattice graphs and their duals are commonly used as discrete approximations to the hyperbolic plane. We use them to give examples of random rooted graphs that are stationary for simple random walk, but whose duals have only a singular stationary measure. This answers a question of Curien and shows behaviour different from the unimodular case. The consequence is that planar duality does not combine well with stationary random graphs. We also study harmonic measure on dyadic lattice graphs and show its singularity.

math.PR

A Note on Tail Triviality for Determinantal Point Processes

We give a very short proof that determinantal point processes have a trivial tail $\sigma$-field. This conjecture of the author has been proved by Osada and Osada as well as by Bufetov, Qiu, and Shamov. The former set of authors relied on the earlier result of the present author that the conjecture held in the discrete case, as does the present short proof.

math.PR

Monotonicity of average return probabilities for random walks in random environments

We extend a result of Lyons (2016) from fractional tiling of finite graphs to a version for infinite random graphs. The most general result is as follows. Let $\bf P$ be a unimodular probability measure on rooted networks $(G, o)$ with positive weights $w_G$ on its edges and with a percolation subgraph $H$ of $G$ with positive weights $w_H$ on its edges. Let ${\bf P}_{(G, o)}$ denote the conditional law of $H$ given $(G, o)$. Assume that $\alpha := {\bf P}_{(G, o)}\bigl[{o \in V(H)}\bigr] > 0$ is a constant $\bf P$-a.s. We show that if $\bf P$-a.s. whenever $e \in E(G)$ is adjacent to $o$, \[ {\bf E}_{(G, o)}\bigl[{w_H(e) \bigm| e \in E(H)}\bigr] {\bf P}_{(G, o)}\bigl[{e \in E(H) \bigm| o\in V(H)}\bigr] \le w_G(e) \,, \] then \[ \forall t > 0 \quad {\bf E}\bigl[{p_t(o; G)}\bigr] \le {\bf E}\bigl[{p_t(o; H) \bigm| o \in V(H)}\bigr] \,. \]

math.PR

Occupation measure of random walks and wired spanning forests in balls of Cayley graphs

We show that for finite-range, symmetric random walks on general transient Cayley graphs, the expected occupation time of any given ball of radius $r$ is $O(r^{5/2})$.. We also study the volume-growth property of the wired spanning forests on general Cayley graphs, showing that the expected number of vertices in the component of the identity inside any given ball of radius $r$ is $O(r^{11/2})$.

math.PR

Zero Sets for Spaces of Analytic Functions

We show that under mild conditions, a Gaussian analytic function $\boldsymbol F$ that a.s. does not belong to a given weighted Bergman space or Bargmann-Fock space has the property that a.s. no non-zero function in that space vanishes where $\boldsymbol F$ does. This establishes a conjecture of Shapiro (1979) on Bergman spaces and allows us to resolve a question of Zhu (1993) on Bargmann-Fock spaces. We also give a similar result on the union of two (or more) such zero sets, thereby establishing another conjecture of Shapiro (1979) on Bergman spaces and allowing us to strengthen a result of Zhu (1993) on Bargmann-Fock spaces.

math.CV

Upper bounds for the spectral function on homogeneous spaces via volume growth

We use spectral embeddings to give upper bounds on the spectral function of the Laplace--Beltrami operator on homogeneous spaces in terms of the volume growth of balls. In the case of compact manifolds, our bounds extend the 1980 lower bound of Peter Li for the smallest positive eigenvalue to all eigenvalues. We also improve Li's bound itself. Our bounds translate to explicit upper bounds on the heat kernel for both compact and noncompact homogeneous spaces.

math.DG

A calculus proof of the Cram\'er-Wold theorem

We present a short, elementary proof not involving Fourier transforms of the theorem of Cram\'er and Wold that a Borel probability measure is determined by its values on half-spaces.

math.PR

Comparing Graphs of Different Sizes

We consider two notions describing how one finite graph may be larger than another. Using them, we prove several theorems for such pairs that compare the number of spanning trees, the return probabilities of random walks, and the number of independent sets, among other combinatorial quantities. Our methods involve inequalities for determinants, for traces of functions of operators, and for entropy.

math.CO

Poisson Boundaries of Lamplighter Groups: Proof of the Kaimanovich-Vershik Conjecture

We answer positively a question of Kaimanovich and Vershik from 1979, showing that the final configuration of lamps for simple random walk on the lamplighter group over ${\Bbb Z}^d$ ($d \ge 3$) is the Poisson boundary. For $d \ge 5$, this had been shown earlier by Erschler (2011). We extend this to walks of more general types on more general groups.

math.PR

Hyperbolic Space Has Strong Negative Type

It is known that hyperbolic spaces have strict negative type, a condition on the distances of any finite subset of points. We show that they have strong negative type, a condition on every probability distribution of points (with integrable distance to a fixed point). This implies that the function of expected distances to points determines the probability measure uniquely. It also implies that the distance covariance test for stochastic independence, introduced by Sz\'ekely, Rizzo and Bakirov, is consistent against all alternatives in hyperbolic spaces. We prove this by showing an analogue of the Cram\'er-Wold device.

math.MG