Showing 1–50 of 58 results for author: Levine, L

Locally Markov walks on finite graphs

Authors: Robin Kaiser, Lionel Levine, Ecaterina Sava-Huss

Abstract: Locally Markov walks are natural generalizations of classical Markov chains, where instead of a particle moving independently of the past, it decides where to move next depending on the last action performed at the current location. We introduce the concept of locally Markov walks on finite graphs and investigate several basic properties. For a particular locally Markov walk - the uniform unicycle… ▽ More Locally Markov walks are natural generalizations of classical Markov chains, where instead of a particle moving independently of the past, it decides where to move next depending on the last action performed at the current location. We introduce the concept of locally Markov walks on finite graphs and investigate several basic properties. For a particular locally Markov walk - the uniform unicycle walk on the complete graph - we investigate the mixing time and we prove that it exhibits cutoff. △ Less

Submitted 18 December, 2024; originally announced December 2024.

Comments: preliminary version; comments are welcome

MSC Class: 60J10; 37A25; 05C81; 15A18

How to quantify the coherence of a set of beliefs

Authors: Rowan Hess, Lionel Levine

Abstract: Given conflicting probability estimates for a set of events, how can we quantify how much they conflict? How can we find a single probability distribution that best encapsulates the given estimates? One approach is to minimize a loss function such as binary KL-divergence that quantifies the dissimilarity between the given estimates and the candidate probability distribution. Given a set of events,… ▽ More Given conflicting probability estimates for a set of events, how can we quantify how much they conflict? How can we find a single probability distribution that best encapsulates the given estimates? One approach is to minimize a loss function such as binary KL-divergence that quantifies the dissimilarity between the given estimates and the candidate probability distribution. Given a set of events, we characterize the facets of the polytope of coherent probability estimates about those events. We explore two applications of these ideas: eliciting the beliefs of large language models, and merging expert forecasts into a single coherent forecast. △ Less

Submitted 3 December, 2024; originally announced December 2024.

Comments: 33 pages, 3 figures, and 4 tables

Universality Conjectures for Activated Random Walk

Authors: Lionel Levine, Vittoria Silvestri

Abstract: Activated Random Walk is a particle system displaying Self-Organized Criticality, in that the dynamics spontaneously drive the system to a critical state. How universal is this critical state? We state many interlocking conjectures aimed at different aspects of this question: scaling limits, microscopic limits, temporal and spatial mixing, incompressibility, and hyperuniformity. Activated Random Walk is a particle system displaying Self-Organized Criticality, in that the dynamics spontaneously drive the system to a critical state. How universal is this critical state? We state many interlocking conjectures aimed at different aspects of this question: scaling limits, microscopic limits, temporal and spatial mixing, incompressibility, and hyperuniformity. △ Less

Submitted 14 June, 2023; v1 submitted 2 June, 2023; originally announced June 2023.

Comments: 22 pages, 10 figures

Exact sampling and fast mixing of Activated Random Walk

Authors: Lionel Levine, Feng Liang

Abstract: Activated Random Walk (ARW) is an interacting particle system on the $d$-dimensional lattice $\mathbb{Z}^d$. On a finite subset $V \subset \mathbb{Z}^d$ it defines a Markov chain on $\{0,1\}^V$. We prove that when $V$ is a Euclidean ball intersected with $\mathbb{Z}^d$, the mixing time of the ARW Markov chain is at most $1+o(1)$ times the volume of the ball. The proof uses an exact sampling algori… ▽ More Activated Random Walk (ARW) is an interacting particle system on the $d$-dimensional lattice $\mathbb{Z}^d$. On a finite subset $V \subset \mathbb{Z}^d$ it defines a Markov chain on $\{0,1\}^V$. We prove that when $V$ is a Euclidean ball intersected with $\mathbb{Z}^d$, the mixing time of the ARW Markov chain is at most $1+o(1)$ times the volume of the ball. The proof uses an exact sampling algorithm for the stationary distribution, a coupling with internal DLA, and an upper bound on the time when internal DLA fills the entire ball. We conjecture cutoff at time $ζ$ times the volume of the ball, where $ζ<1$ is the limiting density of the stationary state. △ Less

Submitted 27 October, 2024; v1 submitted 26 October, 2021; originally announced October 2021.

Comments: v3: final version for Electronic Journal of Probability

MSC Class: 37A25; 60J10; 82C22; 82C24; 82C26

Branching in a Markovian Environment

Authors: Lila Greco, Lionel Levine

Abstract: A branching process in a Markovian environment consists of an irreducible Markov chain on a set of "environments" together with an offspring distribution for each environment. At each time step the chain transitions to a new random environment, and one individual is replaced by a random number of offspring whose distribution depends on the new environment. We give a first moment condition that det… ▽ More A branching process in a Markovian environment consists of an irreducible Markov chain on a set of "environments" together with an offspring distribution for each environment. At each time step the chain transitions to a new random environment, and one individual is replaced by a random number of offspring whose distribution depends on the new environment. We give a first moment condition that determines whether this process survives forever with positive probability. On the event of survival we prove a law of large numbers and a central limit theorem for the population size. We also define a matrix-valued generating function for which the extinction matrix (whose entries are the probability of extinction in state j given that the initial state is i) is a fixed point, and we prove that iterates of the generating function starting with the zero matrix converge to the extinction matrix. △ Less

Submitted 21 June, 2021; originally announced June 2021.

Comments: 26 pages, 1 figure

MSC Class: 60J80; 60J10; 60K37; 60F05; 15A24; 15B51

How far do Activated Random Walkers spread from a single source?

Authors: Lionel Levine, Vittoria Silvestri

Abstract: Unlike many particle systems, Activated Random Walk has nontrivial behavior even in one spatial dimension. We prove inner and outer bounds on the spread of n activated random walkers from a single source in Z. The inner bound involves a comparison with the stationary distribution of activated random walkers on a finite interval, while the outer bound involves a comparison with the stabilization of… ▽ More Unlike many particle systems, Activated Random Walk has nontrivial behavior even in one spatial dimension. We prove inner and outer bounds on the spread of n activated random walkers from a single source in Z. The inner bound involves a comparison with the stationary distribution of activated random walkers on a finite interval, while the outer bound involves a comparison with the stabilization of an infinite Bernoulli configuration of activated random walkers on Z. △ Less

Submitted 18 June, 2021; v1 submitted 4 November, 2020; originally announced November 2020.

Comments: 26 pages, 5 figures

The devil's staircase for chip-firing on random graphs and on graphons

Authors: Viktor Kiss, Lionel Levine, Lilla Tóthmérész

Abstract: We study the behavior of the activity of the parallel chip-firing upon increasing the number of chips on an Erdős--Rényi random graph. We show that in various situations the resulting activity diagrams converge to a devil's staircase as we increase the number of vertices. Our method is to generalize the parallel chip-firing to graphons, and to prove a continuity result for the activity. We also sh… ▽ More We study the behavior of the activity of the parallel chip-firing upon increasing the number of chips on an Erdős--Rényi random graph. We show that in various situations the resulting activity diagrams converge to a devil's staircase as we increase the number of vertices. Our method is to generalize the parallel chip-firing to graphons, and to prove a continuity result for the activity. We also show that the activity of a chip configuration on a graphon does not necessarily exist, but it does exist for every chip configuration on a large class of graphons. △ Less

Submitted 27 April, 2020; originally announced April 2020.

MSC Class: 82C20 (Primary) 05C80; 26A30; 60J05 (Secondary)

Random walks with local memory

Authors: Swee Hong Chan, Lila Greco, Lionel Levine, Peter Li

Abstract: We prove a quenched invariance principle for a class of random walks in random environment on $\mathbb{Z}^d$, where the walker alters its own environment. The environment consists of an outgoing edge from each vertex. The walker updates the edge $e$ at its current location to a new random edge $e'$ (whose law depends on $e$) and then steps to the other endpoint of $e'$. We show that a native envir… ▽ More We prove a quenched invariance principle for a class of random walks in random environment on $\mathbb{Z}^d$, where the walker alters its own environment. The environment consists of an outgoing edge from each vertex. The walker updates the edge $e$ at its current location to a new random edge $e'$ (whose law depends on $e$) and then steps to the other endpoint of $e'$. We show that a native environment for these walks (i.e., an environment that is stationary in time from the perspective of the walker) consists of the wired uniform spanning forest oriented toward the walker, plus an independent outgoing edge from the walker. △ Less

Submitted 14 June, 2021; v1 submitted 12 September, 2018; originally announced September 2018.

Comments: v3 merges several theorems into one theorem (e.g., Theorem 1.1 and Theorem 5.7 in the old version becomes Theorem 1.1). Typesetting is changed to save space. 23 pages, 8 figures

MSC Class: 60G42; 60F17; 60G10; 60J10; 60J65; 60K37; 82C41

Journal ref: J. Stat. Phys. 184 (2021), Article 6, 28 pp

Abelian networks IV. Dynamics of nonhalting networks

Authors: Swee Hong Chan, Lionel Levine

Abstract: An abelian network is a collection of communicating automata whose state transitions and message passing each satisfy a local commutativity condition. This paper is a continuation of the abelian networks series of Bond and Levine (2016), for which we extend the theory of abelian networks that halt on all inputs to networks that can run forever. A nonhalting abelian network can be realized as a dis… ▽ More An abelian network is a collection of communicating automata whose state transitions and message passing each satisfy a local commutativity condition. This paper is a continuation of the abelian networks series of Bond and Levine (2016), for which we extend the theory of abelian networks that halt on all inputs to networks that can run forever. A nonhalting abelian network can be realized as a discrete dynamical system in many different ways, depending on the update order. We show that certain features of the dynamics, such as minimal period length, have intrinsic definitions that do not require specifying an update order. We give an intrinsic definition of the \emph{torsion group} of a finite irreducible (halting or nonhalting) abelian network, and show that it coincides with the critical group of Bond and Levine (2016) if the network is halting. We show that the torsion group acts freely on the set of invertible recurrent components of the trajectory digraph, and identify when this action is transitive. This perspective leads to new results even in the classical case of sinkless rotor networks (deterministic analogues of random walks). In Holroyd et. al (2008) it was shown that the recurrent configurations of a sinkless rotor network with just one chip are precisely the unicycles (spanning subgraphs with a unique oriented cycle, with the chip on the cycle). We generalize this result to abelian mobile agent networks with any number of chips. We give formulas for generating series such as \[ \sum_{n \geq 1} r_n z^n = \det (\frac{1}{1-z}D - A ) \] where $r_n$ is the number of recurrent chip-and-rotor configurations with $n$ chips; $D$ is the diagonal matrix of outdegrees, and $A$ is the adjacency matrix. A consequence is that the sequence $(r_n)_{n \geq 1}$ completely determines the spectrum of the simple random walk on the network. △ Less

Submitted 14 November, 2020; v1 submitted 9 April, 2018; originally announced April 2018.

Comments: 97 pages, 21 figures, to appear in Mem. Amer. Math. Soc

MSC Class: 05C25; 20K01; 20M14; 20M35; 37B15; 37E15

Journal ref: Mem. Amer. Math. Soc. 276 (2022), no. 1358, vii+89 pp

How long does it take for Internal DLA to forget its initial profile?

Authors: Lionel Levine, Vittoria Silvestri

Abstract: Internal DLA is a discrete model of a moving interface. On the cylinder graph $\mathbb{Z}_N \times \mathbb{Z}$, a particle starts uniformly on $\mathbb{Z}_N \times \{0\}$ and performs simple random walk on the cylinder until reaching an unoccupied site in $\mathbb{Z}_N \times \mathbb{Z}_{\geq 0}$, which it occupies forever. This operation defines a Markov chain on subsets of the cylinder. We first… ▽ More Internal DLA is a discrete model of a moving interface. On the cylinder graph $\mathbb{Z}_N \times \mathbb{Z}$, a particle starts uniformly on $\mathbb{Z}_N \times \{0\}$ and performs simple random walk on the cylinder until reaching an unoccupied site in $\mathbb{Z}_N \times \mathbb{Z}_{\geq 0}$, which it occupies forever. This operation defines a Markov chain on subsets of the cylinder. We first show that a typical subset is rectangular with at most logarithmic fluctuations. We use this to prove that two Internal DLA chains started from different typical subsets can be coupled with high probability by adding order $N^2 \log N$ particles. For a lower bound, we show that at least order $N^2$ particles are required to forget which of two independent typical subsets the process started from. △ Less

Submitted 15 October, 2018; v1 submitted 25 January, 2018; originally announced January 2018.

Comments: 45 pages, 6 figures

Formation of large-scale random structure by competitive erosion

Authors: Shirshendu Ganguly, Lionel Levine, Sourav Sarkar

Abstract: We study the following one-dimensional model of annihilating particles. Beginning with all sites of $\mathbb{Z}$ uncolored, a blue particle performs simple random walk from $0$ until it reaches a nonzero red or uncolored site, and turns that site blue; then, a red particle performs simple random walk from $0$ until it reaches a nonzero blue or uncolored site, and turns that site red. We prove that… ▽ More We study the following one-dimensional model of annihilating particles. Beginning with all sites of $\mathbb{Z}$ uncolored, a blue particle performs simple random walk from $0$ until it reaches a nonzero red or uncolored site, and turns that site blue; then, a red particle performs simple random walk from $0$ until it reaches a nonzero blue or uncolored site, and turns that site red. We prove that after $n$ blue and $n$ red particles alternately perform such walks, the total number of colored sites is of order $n^{1/4}$. The resulting random color configuration, after rescaling by $n^{1/4}$ and taking $n\to \infty$, has an explicit description in terms of alternating extrema of Brownian motion (the global maximum on a certain interval, the global minimum attained after that maximum, etc.). △ Less

Submitted 1 April, 2018; v1 submitted 29 November, 2017; originally announced November 2017.

Comments: 43 pages, 10 figures. Added variants, figures and questions in the last section

MSC Class: 60G50; 60J65; 82C22; 82C24; 82C41

Double jump phase transition in a soliton cellular automaton

Authors: Lionel Levine, Hanbaek Lyu, John Pike

Abstract: In this paper, we consider the soliton cellular automaton introduced in [Takahashi 1990] with a random initial configuration. We give multiple constructions of a Young diagram describing various statistics of the system in terms of familiar objects like birth-and-death chains and Galton-Watson forests. Using these ideas, we establish limit theorems showing that if the first $n$ boxes are occupied… ▽ More In this paper, we consider the soliton cellular automaton introduced in [Takahashi 1990] with a random initial configuration. We give multiple constructions of a Young diagram describing various statistics of the system in terms of familiar objects like birth-and-death chains and Galton-Watson forests. Using these ideas, we establish limit theorems showing that if the first $n$ boxes are occupied independently with probability $p\in(0,1)$, then the number of solitons is of order $n$ for all $p$, and the length of the longest soliton is of order $\log n$ for $p<1/2$, order $\sqrt{n}$ for $p=1/2$, and order $n$ for $p>1/2$. Additionally, we uncover a condensation phenomenon in the supercritical regime: For each fixed $j\geq 1$, the top $j$ soliton lengths have the same order as the longest for $p\leq 1/2$, whereas all but the longest have order at most $\log n$ for $p>1/2$. As an application, we obtain scaling limits for the lengths of the $k^{\text{th}}$ longest increasing and decreasing subsequences in a random stack-sortable permutation of length $n$ in terms of random walks and Brownian excursions. △ Less

Submitted 11 August, 2020; v1 submitted 18 June, 2017; originally announced June 2017.

Comments: 44 pages, 2 tables and 13 figures. Minor correction to Thm 2. (i)

MSC Class: 37K40; 60F05

Sandpiles on the square lattice

Authors: Bob Hough, Dan Jerison, Lionel Levine

Abstract: We give a non-trivial upper bound for the critical density when stabilizing i.i.d. distributed sandpiles on the lattice $\mathbb{Z}^2$. We also determine the asymptotic spectral gap, asymptotic mixing time and prove a cutoff phenomenon for the recurrent state abelian sandpile model on the torus $\left( \mathbb{Z} / m\mathbb{Z} \right)^2$. The techniques use analysis of the space of functions on… ▽ More We give a non-trivial upper bound for the critical density when stabilizing i.i.d. distributed sandpiles on the lattice $\mathbb{Z}^2$. We also determine the asymptotic spectral gap, asymptotic mixing time and prove a cutoff phenomenon for the recurrent state abelian sandpile model on the torus $\left( \mathbb{Z} / m\mathbb{Z} \right)^2$. The techniques use analysis of the space of functions on $\mathbb{Z}^2$ which are harmonic modulo 1. In the course of our arguments, we characterize the harmonic modulo 1 functions in $\ell^p(\mathbb{Z}^2)$ as linear combinations of certain discrete derivatives of Green's functions, extending a result of Schmidt and Verbitskiy. △ Less

Submitted 11 July, 2018; v1 submitted 2 March, 2017; originally announced March 2017.

Comments: v3: Minor changes

MSC Class: 82C20; 60B15; 60J10

The gap of the area-weighted Motzkin spin chain is exponentially small

Authors: Lionel Levine, Ramis Movassagh

Abstract: We prove that the energy gap of the model proposed by Zhang, Ahmadain, and Klich [1] is exponentially small in the square of the system size. In [2] a class of exactly solvable quantum spin chain models was proposed that have integer spins ($s$), with a nearest neighbors Hamiltonian, and a unique ground state. The ground state can be seen as a uniform superposition of all $s-$colored Motzkin walks… ▽ More We prove that the energy gap of the model proposed by Zhang, Ahmadain, and Klich [1] is exponentially small in the square of the system size. In [2] a class of exactly solvable quantum spin chain models was proposed that have integer spins ($s$), with a nearest neighbors Hamiltonian, and a unique ground state. The ground state can be seen as a uniform superposition of all $s-$colored Motzkin walks. The half-chain entanglement entropy provably violates the area law by a square root factor in the system's size ($\sim\sqrt{n}$) for $s>1$. For $s=1$, the violation is logarithmic [3]. Moreover in [2] it was proved that the gap vanishes polynomially and is $O(n^{-c})$ with $c\ge2$. Recently, a deformation of [2], which we call "weighted Motzkin quantum spin chain" was proposed [1]. This model has a unique ground state that is a superposition of the $s-$colored Motzkin walks weighted by $t^{\text{area\{Motzkin walk\}}}$ with $t>1$. The most surprising feature of this model is that it violates the area law by a factor of $n$. Here we prove that the gap of this model is upper bounded by $8ns\text{ }t^{-n^{2}/3}$ for $t>1$. △ Less

Submitted 9 November, 2016; originally announced November 2016.

Comments: 15 pages, 6 figures. arXiv admin note: text overlap with arXiv:1609.09160

Journal ref: J. Phys. A: Math. Theor. 50 255302 (2017)

Laplacian growth, sandpiles and scaling limits

Authors: Lionel Levine, Yuval Peres

Abstract: Laplacian growth is the study of interfaces that move in proportion to harmonic measure. Physically, it arises in fluid flow and electrical problems involving a moving boundary. We survey progress over the last decade on discrete models of (internal) Laplacian growth, including the abelian sandpile, internal DLA, rotor aggregation, and the scaling limits of these models on the lattice Z^d as the m… ▽ More Laplacian growth is the study of interfaces that move in proportion to harmonic measure. Physically, it arises in fluid flow and electrical problems involving a moving boundary. We survey progress over the last decade on discrete models of (internal) Laplacian growth, including the abelian sandpile, internal DLA, rotor aggregation, and the scaling limits of these models on the lattice Z^d as the mesh size goes to zero. These models provide a window into the tools of discrete potential theory: harmonic functions, martingales, obstacle problems, quadrature domains, Green functions, smoothing. We also present one new result: rotor aggregation in Z^d has O(log r) fluctuations around a Euclidean ball, improving a previous power-law bound. We highlight several open questions, including whether these fluctuations are O(1). △ Less

Submitted 1 November, 2016; originally announced November 2016.

Comments: 30 pages, to appear in Bulletin of the AMS

MSC Class: 31C20; 35R35; 60G50; 60K35; 82C24

Interpolating between random walk and rotor walk

Authors: Wilfried Huss, Lionel Levine, Ecaterina Sava-Huss

Abstract: We introduce a family of stochastic processes on the integers, depending on a parameter $p \in [0,1]$ and interpolating between the deterministic rotor walk (p=0) and the simple random walk (p=1/2). This p-rotor walk is not a Markov chain but it has a local Markov property: for each $x \in \mathbb{Z}$ the sequence of successive exits from $x$ is a Markov chain. The main result of this paper identi… ▽ More We introduce a family of stochastic processes on the integers, depending on a parameter $p \in [0,1]$ and interpolating between the deterministic rotor walk (p=0) and the simple random walk (p=1/2). This p-rotor walk is not a Markov chain but it has a local Markov property: for each $x \in \mathbb{Z}$ the sequence of successive exits from $x$ is a Markov chain. The main result of this paper identifies the scaling limit of the p-rotor walk with two-sided i.i.d. initial rotors. The limiting process takes the form $\sqrt{\frac{1-p}{p}} X(t)$, where $X$ is a doubly perturbed Brownian motion, that is, it satisfies the implicit equation \begin{equation} X(t) = \mathcal{B}(t) + a \sup_{s\leq t} X(s) + b \inf_{s\leq t} X(s) \end{equation} for all $t \in [0,\infty)$. Here $\mathcal{B}(t)$ is a standard Brownian motion and $a,b<1$ are constants depending on the marginals of the initial rotors on $\mathbb{N}$ and $-\mathbb{N}$ respectively. Chaumont and Doney [CD99] have shown that the above equation has a pathwise unique solution $X(t)$, and that the solution is almost surely continuous and adapted to the natural filtration of the Brownian motion. Moreover, $\limsup X(t) = +\infty$ and $\liminf X(t) = -\infty$ [CDH00]. This last result, together with the main result of this paper, implies that the p-rotor walk is recurrent for any two-sided i.i.d. initial rotors and any $0<p<1$. △ Less

Submitted 7 April, 2016; v1 submitted 13 March, 2016; originally announced March 2016.

Comments: 22 pages, 2 figures; Remark about the connection between our model and excited random walks with Markovian cookie stacks added. References added

MSC Class: 60G42; 60F17; 60J10; 60J65; 60K37; 82C41

Mixing time and eigenvalues of the abelian sandpile Markov chain

Authors: Daniel C. Jerison, Lionel Levine, John Pike

Abstract: The abelian sandpile model defines a Markov chain whose states are integer-valued functions on the vertices of a simple connected graph $G$. By viewing this chain as a (nonreversible) random walk on an abelian group, we give a formula for its eigenvalues and eigenvectors in terms of `multiplicative harmonic functions' on the vertices of $G$. We show that the spectral gap of the sandpile chain is w… ▽ More The abelian sandpile model defines a Markov chain whose states are integer-valued functions on the vertices of a simple connected graph $G$. By viewing this chain as a (nonreversible) random walk on an abelian group, we give a formula for its eigenvalues and eigenvectors in terms of `multiplicative harmonic functions' on the vertices of $G$. We show that the spectral gap of the sandpile chain is within a constant factor of the length of the shortest non-integer vector in the dual Laplacian lattice, while the mixing time is at most a constant times the smoothing parameter of the Laplacian lattice. We find a surprising inverse relationship between the spectral gap of the sandpile chain and that of simple random walk on $G$: If the latter has a sufficiently large spectral gap, then the former has a small gap! In the case where $G$ is the complete graph on $n$ vertices, we show that the sandpile chain exhibits cutoff at time $\frac{1}{4π^{2}}n^{3}\log n$. △ Less

Submitted 2 November, 2015; originally announced November 2015.

Comments: 42 pages

MSC Class: 60J10 (Primary) 82C20; 05C50 (Secondary)

Abelian logic gates

Authors: Alexander E. Holroyd, Lionel Levine, Peter Winkler

Abstract: An abelian processor is an automaton whose output is independent of the order of its inputs. Bond and Levine have proved that a network of abelian processors performs the same computation regardless of processing order (subject only to a halting condition). We prove that any finite abelian processor can be emulated by a network of certain very simple abelian processors, which we call gates. The mo… ▽ More An abelian processor is an automaton whose output is independent of the order of its inputs. Bond and Levine have proved that a network of abelian processors performs the same computation regardless of processing order (subject only to a halting condition). We prove that any finite abelian processor can be emulated by a network of certain very simple abelian processors, which we call gates. The most fundamental gate is a "toppler", which absorbs input particles until their number exceeds some given threshold, at which point it topples, emitting one particle and returning to its initial state. With the exception of an adder gate, which simply combines two streams of particles, each of our gates has only one input wire. Our results can be reformulated in terms of the functions computed by processors, and one consequence is that any increasing function from N^k to N^l that is the sum of a linear function and a periodic function can be expressed in terms of (possibly nested) sums of floors of quotients by integers. △ Less

Submitted 9 April, 2018; v1 submitted 2 November, 2015; originally announced November 2015.

Comments: 35 pages, many figures. v2 revised for referee comments, to appear in Combinatorics, Probability and Computing

MSC Class: 68Q10; 68Q45; 68Q85; 90B10

Journal ref: Combinator. Probab. Comp. 28 (2019) 388-422

Multi-Eulerian tours of directed graphs

Authors: Matthew Farrell, Lionel Levine

Abstract: Not every graph has an Eulerian tour. But every finite, strongly connected graph has a multi-Eulerian tour, which we define as a closed path that uses each directed edge at least once, and uses edges e and f the same number of times whenever tail(e)=tail(f). This definition leads to a simple generalization of the BEST Theorem. We then show that the minimal length of a multi-Eulerian tour is bounde… ▽ More Not every graph has an Eulerian tour. But every finite, strongly connected graph has a multi-Eulerian tour, which we define as a closed path that uses each directed edge at least once, and uses edges e and f the same number of times whenever tail(e)=tail(f). This definition leads to a simple generalization of the BEST Theorem. We then show that the minimal length of a multi-Eulerian tour is bounded in terms of the Pham index, a measure of 'Eulerianness'. △ Less

Submitted 21 September, 2015; originally announced September 2015.

Comments: 4 pages. Supersedes section 3 of arXiv:1502.04690v2

MSC Class: 05C05; 05C20; 05C30; 05C45; 05C50

CoEulerian graphs

Authors: Matthew Farrell, Lionel Levine

Abstract: We suggest a measure of "Eulerianness" of a finite directed graph and define a class of "coEulerian" graphs. These are the graphs whose Laplacian lattice is as large as possible. As an application, we address a question in chip-firing posed by Bjorner, Lovasz, and Shor in 1991, who asked for "a characterization of those digraphs and initial chip configurations that guarantee finite termination." B… ▽ More We suggest a measure of "Eulerianness" of a finite directed graph and define a class of "coEulerian" graphs. These are the graphs whose Laplacian lattice is as large as possible. As an application, we address a question in chip-firing posed by Bjorner, Lovasz, and Shor in 1991, who asked for "a characterization of those digraphs and initial chip configurations that guarantee finite termination." Bjorner and Lovasz gave an exponential time algorithm in 1992. We show that this can be improved to linear time if the graph is coEulerian, and that the problem is NP-complete for general directed multigraphs. △ Less

Submitted 11 September, 2015; v1 submitted 16 February, 2015; originally announced February 2015.

Comments: 15 pages, to appear in Proc AMS. Main changes in v3: Removed the section on multi-Eulerian tours, which will appear separately. Added Prop 2.13 on graphs that are both Eulerian and coEulerian. Added Table 3.1 on computational complexity

MSC Class: 05C05; 05C20; 05C45; 05C50; 68Q25

The divisible sandpile at critical density

Authors: Lionel Levine, Mathav Murugan, Yuval Peres, Baris Evren Ugurcan

Abstract: The divisible sandpile starts with i.i.d. random variables ("masses") at the vertices of an infinite, vertex-transitive graph, and redistributes mass by a local toppling rule in an attempt to make all masses at most 1. The process stabilizes almost surely if m<1 and it almost surely does not stabilize if m>1, where $m$ is the mean mass per vertex. The main result of this paper is that in the criti… ▽ More The divisible sandpile starts with i.i.d. random variables ("masses") at the vertices of an infinite, vertex-transitive graph, and redistributes mass by a local toppling rule in an attempt to make all masses at most 1. The process stabilizes almost surely if m<1 and it almost surely does not stabilize if m>1, where $m$ is the mean mass per vertex. The main result of this paper is that in the critical case m=1, if the initial masses have finite variance, then the process almost surely does not stabilize. To give quantitative estimates on a finite graph, we relate the number of topplings to a discrete biLaplacian Gaussian field. △ Less

Submitted 12 August, 2015; v1 submitted 28 January, 2015; originally announced January 2015.

Comments: 34 pages, to appear in Annales Henri Poincare

MSC Class: 60J45; 60G15; 82C20; 82C26

Formation of an interface by competitive erosion

Authors: Shirshendu Ganguly, Lionel Levine, Yuval Peres, James Propp

Abstract: In 2006, the fourth author proposed a graph-theoretic model of interface dynamics called competitive erosion. Each vertex of the graph is occupied by a particle that can be either red or blue. New red and blue particles alternately get emitted from their respective bases and perform random walk. On encountering a particle of the opposite color they kill it and occupy its position. We prove that on… ▽ More In 2006, the fourth author proposed a graph-theoretic model of interface dynamics called competitive erosion. Each vertex of the graph is occupied by a particle that can be either red or blue. New red and blue particles alternately get emitted from their respective bases and perform random walk. On encountering a particle of the opposite color they kill it and occupy its position. We prove that on the cylinder graph (the product of a path and a cycle) an interface spontaneously forms between red and blue and is maintained in a predictable position with high probability. △ Less

Submitted 15 January, 2015; originally announced January 2015.

Comments: 47 pages, 11 figures

MSC Class: 82B41; 60G50; 82B24; 60J10

Abelian networks III. The critical group

Authors: Benjamin Bond, Lionel Levine

Abstract: The critical group of an abelian network is a finite abelian group that governs the behavior of the network on large inputs. It generalizes the sandpile group of a graph. We show that the critical group of an irreducible abelian network acts freely and transitively on recurrent states of the network. We exhibit the critical group as a quotient of a free abelian group by a subgroup containing the i… ▽ More The critical group of an abelian network is a finite abelian group that governs the behavior of the network on large inputs. It generalizes the sandpile group of a graph. We show that the critical group of an irreducible abelian network acts freely and transitively on recurrent states of the network. We exhibit the critical group as a quotient of a free abelian group by a subgroup containing the image of the Laplacian, with equality in the case that the network is rectangular. We generalize Dhar's burning algorithm to abelian networks, and estimate the running time of an abelian network on an arbitrary input up to a constant additive error. △ Less

Submitted 31 October, 2015; v1 submitted 30 August, 2014; originally announced September 2014.

Comments: supersedes sections 7 and 8 of arXiv:1309.3445v1. To appear in the Journal of Algebraic Combinatorics

MSC Class: 68Q10; 37B15; 20M14; 20M35; 05C50

Abelian networks II. Halting on all inputs

Authors: Benjamin Bond, Lionel Levine

Abstract: Abelian networks are systems of communicating automata satisfying a local commutativity condition. We show that a finite irreducible abelian network halts on all inputs if and only if all eigenvalues of its production matrix lie in the open unit disk. Abelian networks are systems of communicating automata satisfying a local commutativity condition. We show that a finite irreducible abelian network halts on all inputs if and only if all eigenvalues of its production matrix lie in the open unit disk. △ Less

Submitted 4 August, 2015; v1 submitted 30 August, 2014; originally announced September 2014.

Comments: Supersedes sections 5 and 6 of arXiv:1309.3445v1. To appear in Selecta Mathematica

MSC Class: 68Q10; 37B15; 20M14; 20M35; 05C50

The range of a rotor walk

Authors: Laura Florescu, Lionel Levine, Yuval Peres

Abstract: In a \emph{rotor walk} the exits from each vertex follow a prescribed periodic sequence. On an infinite Eulerian graph embedded periodically in $\R^d$, we show that any simple rotor walk, regardless of rotor mechanism or initial rotor configuration, visits at least on the order of $t^{d/(d+1)}$ distinct sites in $t$ steps. We prove a shape theorem for the rotor walk on the comb graph with i.i.d.\… ▽ More In a \emph{rotor walk} the exits from each vertex follow a prescribed periodic sequence. On an infinite Eulerian graph embedded periodically in $\R^d$, we show that any simple rotor walk, regardless of rotor mechanism or initial rotor configuration, visits at least on the order of $t^{d/(d+1)}$ distinct sites in $t$ steps. We prove a shape theorem for the rotor walk on the comb graph with i.i.d.\ uniform initial rotors, showing that the range is of order $t^{2/3}$ and the asymptotic shape of the range is a diamond. Using a connection to the mirror model and critical percolation, we show that rotor walk with i.i.d.\ uniform initial rotors is recurrent on two different directed graphs obtained by orienting the edges of the square grid, the Manhattan lattice and the $F$-lattice. We end with a short discussion of the time it takes for rotor walk to cover a finite Eulerian graph. △ Less

Submitted 23 August, 2014; originally announced August 2014.

Comments: 15 pages

Oil and water: a two-type internal aggregation model

Authors: Elisabetta Candellero, Shirshendu Ganguly, Christopher Hoffman, Lionel Levine

Abstract: We introduce a two-type internal DLA model which is an example of a non-unary abelian network. Starting with n "oil" and n "water" particles at the origin, the particles diffuse in Z according to the following rule: whenever some site x has at least 1 oil and at least 1 water particle present, it "fires" by sending 1 oil particle and 1 water particle each to an independent random neighbor x+1 or x… ▽ More We introduce a two-type internal DLA model which is an example of a non-unary abelian network. Starting with n "oil" and n "water" particles at the origin, the particles diffuse in Z according to the following rule: whenever some site x has at least 1 oil and at least 1 water particle present, it "fires" by sending 1 oil particle and 1 water particle each to an independent random neighbor x+1 or x-1. Firing continues until every site has at most one type of particles. We establish the correct order for several statistics of this model and identify the scaling limit under assumption of existence. △ Less

Submitted 4 August, 2014; originally announced August 2014.

Comments: 47 pages, 3 figures

MSC Class: 82C24; 82C22; 60K35

Threshold state and a conjecture of Poghosyan, Poghosyan, Priezzhev and Ruelle

Authors: Lionel Levine

Abstract: We prove a precise relationship between the threshold state of the fixed-energy sandpile and the stationary state of Dhar's abelian sandpile: In the limit as the initial condition tends to negative infinity, the former is obtained by size-biasing the latter according to burst size, an avalanche statistic. The question of whether and how these two states are related has been a subject of some contr… ▽ More We prove a precise relationship between the threshold state of the fixed-energy sandpile and the stationary state of Dhar's abelian sandpile: In the limit as the initial condition tends to negative infinity, the former is obtained by size-biasing the latter according to burst size, an avalanche statistic. The question of whether and how these two states are related has been a subject of some controversy since 2000. The size-biasing in our result arises as an instance of a Markov renewal theorem, and implies that the threshold and stationary distributions are not equal even in the negative infinity limit. We prove that nevertheless in this limit the total amount of sand in the threshold state converges in distribution to the total amount of sand in the stationary state, confirming a conjecture of Poghosyan, Poghosyan, Priezzhev and Ruelle. △ Less

Submitted 29 May, 2014; v1 submitted 13 February, 2014; originally announced February 2014.

Comments: 17 pages, to appear in Comm. Math. Phys

MSC Class: 82C27; 82C26; 60K15; 60J10; 05C45

Internal DLA for cylinders

Authors: David Jerison, Lionel Levine, Scott Sheffield

Abstract: We show that space-time averages of the fluctuations of internal DLA on a cylinder Z_N x Z converge in law to the Gaussian free field. We show that space-time averages of the fluctuations of internal DLA on a cylinder Z_N x Z converge in law to the Gaussian free field. △ Less

Submitted 18 October, 2013; originally announced October 2013.

Comments: to appear in Advances in Analysis: The Legacy of Elias M. Stein

Abelian networks I. Foundations and examples

Authors: Benjamin Bond, Lionel Levine

Abstract: In Deepak Dhar's model of abelian distributed processors, automata occupy the vertices of a graph and communicate via the edges. We show that two simple axioms ensure that the final output does not depend on the order in which the automata process their inputs. A collection of automata obeying these axioms is called an "abelian network". We prove a least action principle for abelian networks. As a… ▽ More In Deepak Dhar's model of abelian distributed processors, automata occupy the vertices of a graph and communicate via the edges. We show that two simple axioms ensure that the final output does not depend on the order in which the automata process their inputs. A collection of automata obeying these axioms is called an "abelian network". We prove a least action principle for abelian networks. As an application, we show how abelian networks can solve certain linear and nonlinear integer programs asynchronously. In most previously studied abelian networks, the input alphabet of each automaton consists of a single letter; in contrast, we propose two non-unary examples of abelian networks: "oil and water" and "abelian mobile agents". △ Less

Submitted 12 February, 2016; v1 submitted 12 September, 2013; originally announced September 2013.

Comments: To appear in SIAM J. Discrete Math. The original v1 has been split into three parts, of which this is the first. This part covers the least action principle, halting dichotomy, local abelianness implies global abelianness, and monotone integer programming. The other parts are arXiv:1409.0169 (Abelian networks II. Halting on all inputs) and arXiv:1409.0170 (Abelian networks III. The critical group)

MSC Class: 68Q10; 37B15; 90C10

The Apollonian structure of integer superharmonic matrices

Authors: Lionel Levine, Wesley Pegden, Charles K. Smart

Abstract: We prove that the set of quadratic growths attainable by integer-valued superharmonic functions on the lattice $\mathbb{Z}^2$ has the structure of an Apollonian circle packing. This completely characterizes the PDE which determines the continuum scaling limit of the Abelian sandpile on the lattice $\mathbb{Z}^2$. We prove that the set of quadratic growths attainable by integer-valued superharmonic functions on the lattice $\mathbb{Z}^2$ has the structure of an Apollonian circle packing. This completely characterizes the PDE which determines the continuum scaling limit of the Abelian sandpile on the lattice $\mathbb{Z}^2$. △ Less

Submitted 17 July, 2017; v1 submitted 12 September, 2013; originally announced September 2013.

Comments: 56 pages, many figures. Typo in T1.1 corrected (2 -> 0)

How to decompose a permutation into a pair of labeled Dyck paths by playing a game

Authors: Louis J. Billera, Lionel Levine, Karola Meszaros

Abstract: We give a bijection between permutations of length 2n and certain pairs of Dyck paths with labels on the down steps. The bijection arises from a game in which two players alternate selecting from a set of 2n items: the permutation encodes the players' preference ordering of the items, and the Dyck paths encode the order in which items are selected under optimal play. We enumerate permutations by c… ▽ More We give a bijection between permutations of length 2n and certain pairs of Dyck paths with labels on the down steps. The bijection arises from a game in which two players alternate selecting from a set of 2n items: the permutation encodes the players' preference ordering of the items, and the Dyck paths encode the order in which items are selected under optimal play. We enumerate permutations by certain statistics, AA inversions and BB inversions, which have natural interpretations in terms of the game. We give new proofs of classical identities such as \sum_p \prod_{i=1}^n q^{h_i -1} [h_i]_q = [1]_q [3]_q ... [2n-1]_q where the sum is over all Dyck paths p of length 2n, and the h_i are the heights of the down steps of p. △ Less

Submitted 28 June, 2013; originally announced June 2013.

Comments: 9 pages, 1 figure

MSC Class: 05A05; 05A15; 91A10

Escape rates for rotor walk in Z^d

Authors: Laura Florescu, Shirshendu Ganguly, Lionel Levine, Yuval Peres

Abstract: Rotor walk is a deterministic analogue of random walk. We study its recurrence and transience properties on Z^d for the initial configuration of all rotors aligned. If n particles in turn perform rotor walks starting from the origin, we show that the number that escape (i.e., never return to the origin) is of order n in dimensions d>=3, and of order n/log(n) in dimension 2. Rotor walk is a deterministic analogue of random walk. We study its recurrence and transience properties on Z^d for the initial configuration of all rotors aligned. If n particles in turn perform rotor walks starting from the origin, we show that the number that escape (i.e., never return to the origin) is of order n in dimensions d>=3, and of order n/log(n) in dimension 2. △ Less

Submitted 11 December, 2013; v1 submitted 15 January, 2013; originally announced January 2013.

Comments: 13 pages, 2 figures. To appear in SIAM J Discrete Math

MSC Class: 05C81; 82C20

Apollonian structure in the Abelian sandpile

Authors: Lionel Levine, Wesley Pegden, Charles K. Smart

Abstract: The Abelian sandpile process evolves configurations of chips on the integer lattice by toppling any vertex with at least 4 chips, distributing one of its chips to each of its 4 neighbors. When begun from a large stack of chips, the terminal state of the sandpile has a curious fractal structure which has remained unexplained. Using a characterization of the quadratic growths attainable by integer-s… ▽ More The Abelian sandpile process evolves configurations of chips on the integer lattice by toppling any vertex with at least 4 chips, distributing one of its chips to each of its 4 neighbors. When begun from a large stack of chips, the terminal state of the sandpile has a curious fractal structure which has remained unexplained. Using a characterization of the quadratic growths attainable by integer-superharmonic functions, we prove that the sandpile PDE recently shown to characterize the scaling limit of the sandpile admits certain fractal solutions, giving a precise mathematical perspective on the fractal nature of the sandpile. △ Less

Submitted 22 May, 2014; v1 submitted 23 August, 2012; originally announced August 2012.

Comments: 27 Pages, 7 Figures

MSC Class: 60K35; 35R35

A duality principle for selection games

Authors: Lionel Levine, Scott Sheffield, Katherine E. Stange

Abstract: A dinner table seats k guests and holds n discrete morsels of food. Guests select morsels in turn until all are consumed. Each guest has a ranking of the morsels according to how much he would enjoy eating them; these rankings are commonly known. A gallant knight always prefers one food division over another if it provides strictly more enjoyable collections of food to one or more other players… ▽ More A dinner table seats k guests and holds n discrete morsels of food. Guests select morsels in turn until all are consumed. Each guest has a ranking of the morsels according to how much he would enjoy eating them; these rankings are commonly known. A gallant knight always prefers one food division over another if it provides strictly more enjoyable collections of food to one or more other players (without giving a less enjoyable collection to any other player) even if it makes his own collection less enjoyable. A boorish lout always selects the morsel that gives him the most enjoyment on the current turn, regardless of future consumption by himself and others. We show the way the food is divided when all guests are gallant knights is the same as when all guests are boorish louts but turn order is reversed. This implies and generalizes a classical result of Kohler and Chandrasekaran (1971) about two players strategically maximizing their own enjoyments. We also treat the case that the table contains a mixture of boorish louts and gallant knights. Our main result can also be formulated in terms of games in which selections are made by groups. In this formulation, the surprising fact is that a group can always find a selection that is simultaneously optimal for each member of the group. △ Less

Submitted 21 February, 2012; v1 submitted 12 October, 2011; originally announced October 2011.

Comments: 8 pages, 2 figures

MSC Class: 91A10; 91A18; 91A06; 91A50

Journal ref: Proceedings of the American Mathematical Society, 141 (2013), 4349-4356

Local-to-global principles for rotor walk

Authors: Giuliano Pezzolo Giacaglia, Lionel Levine, James Propp, Linda Zayas-Palmer

Abstract: In rotor walk on a finite directed graph, the exits from each vertex follow a prescribed periodic sequence. Here we consider the case of rotor walk where a particle starts from a designated source vertex and continues until it hits a designated target set, at which point the walk is restarted from the source. We show that the sequence of successively hit targets, which is easily seen to be eventua… ▽ More In rotor walk on a finite directed graph, the exits from each vertex follow a prescribed periodic sequence. Here we consider the case of rotor walk where a particle starts from a designated source vertex and continues until it hits a designated target set, at which point the walk is restarted from the source. We show that the sequence of successively hit targets, which is easily seen to be eventually periodic, is in fact periodic. We show moreover that reversing the periodic patterns of all rotor sequences causes the periodic pattern of the hitting sequence to be reversed as well. The proofs involve a new notion of equivalence of rotor configurations, and an extension of rotor walk incorporating time-reversed particles. △ Less

Submitted 8 August, 2011; v1 submitted 22 July, 2011; originally announced July 2011.

Comments: 25 pages, 2 figures

MSC Class: 05C25; 05C38; 05C81; 90B10

Journal ref: Electronic Journal of Combinatorics, 19(1) (2012), Article P5

The looping constant of Z^d

Authors: Lionel Levine, Yuval Peres

Abstract: The looping constant $ξ(Z^d)$ is the expected number of neighbors of the origin that lie on the infinite loop-erased random walk in $Z^d$. Poghosyan, Priezzhev and Ruelle, and independently, Kenyon and Wilson, proved recently that $ξ(Z^2)=5/4$. We consider the infinite volume limits as $G \uparrow Z^d$ of three different statistics: (1) The expected length of the cycle in a uniform spanning unic… ▽ More The looping constant $ξ(Z^d)$ is the expected number of neighbors of the origin that lie on the infinite loop-erased random walk in $Z^d$. Poghosyan, Priezzhev and Ruelle, and independently, Kenyon and Wilson, proved recently that $ξ(Z^2)=5/4$. We consider the infinite volume limits as $G \uparrow Z^d$ of three different statistics: (1) The expected length of the cycle in a uniform spanning unicycle of G; (2) The expected density of a uniform recurrent state of the abelian sandpile model on G; and (3) The ratio of the number of spanning unicycles of G to the number of rooted spanning trees of G. We show that all three limits are rational functions of the looping constant $ξ(Z^d)$. In the case of $Z^2$ their respective values are 8, 17/8 and 1/8. △ Less

Submitted 16 July, 2012; v1 submitted 11 June, 2011; originally announced June 2011.

Comments: 15 pages, 3 figures, to appear in Random Structures & Algorithms

MSC Class: 60G50; 82B20

How to make the most of a shared meal: plan the last bite first

Authors: Lionel Levine, Katherine E. Stange

Abstract: If you are sharing a meal with a companion, how best to make sure you get your favourite mouthfuls? Ethiopian Dinner is a game in which two players take turns eating morsels from a common plate. Each morsel comes with a pair of utility values measuring its tastiness to the two players. Kohler and Chandrasekaharan discovered a good strategy -- a subgame perfect equilibrium, to be exact -- for this… ▽ More If you are sharing a meal with a companion, how best to make sure you get your favourite mouthfuls? Ethiopian Dinner is a game in which two players take turns eating morsels from a common plate. Each morsel comes with a pair of utility values measuring its tastiness to the two players. Kohler and Chandrasekaharan discovered a good strategy -- a subgame perfect equilibrium, to be exact -- for this game. We give a new visual proof of their result. The players arrive at the equilibrium by figuring out their last move first and working backward. We conclude that it's never too early to start thinking about dessert. △ Less

Submitted 26 September, 2011; v1 submitted 5 April, 2011; originally announced April 2011.

Comments: AMS Latex, 20 pages, 5 figures (1 colour figure); v2 adds references, v3 incorporates referees' comments. To appear in American Math. Monthly

MSC Class: 91A10; 91A18; 91A05; 91A50

Journal ref: American Mathematical Monthly, 119-7 (2012), 550-565

Internal DLA and the Gaussian free field

Authors: David Jerison, Lionel Levine, Scott Sheffield

Abstract: In previous works, we showed that the internal DLA cluster on \Z^d with t particles is a.s. spherical up to a maximal error of O(\log t) if d=2 and O(\sqrt{\log t}) if d > 2. This paper addresses "average error": in a certain sense, the average deviation of internal DLA from its mean shape is of constant order when d=2 and of order r^{1-d/2} (for a radius r cluster) in general. Appropriately norma… ▽ More In previous works, we showed that the internal DLA cluster on \Z^d with t particles is a.s. spherical up to a maximal error of O(\log t) if d=2 and O(\sqrt{\log t}) if d > 2. This paper addresses "average error": in a certain sense, the average deviation of internal DLA from its mean shape is of constant order when d=2 and of order r^{1-d/2} (for a radius r cluster) in general. Appropriately normalized, the fluctuations (taken over time and space) scale to a variant of the Gaussian free field. △ Less

Submitted 31 January, 2011; v1 submitted 3 January, 2011; originally announced January 2011.

Comments: 29 pages, minor revision

Journal ref: Duke Math. J. 163, no. 2 (2014), 267-308

Internal DLA in Higher Dimensions

Authors: David Jerison, Lionel Levine, Scott Sheffield

Abstract: Let A(t) denote the cluster produced by internal diffusion limited aggregation (internal DLA) with t particles in dimension d > 2. We show that A(t) is approximately spherical, up to an O(\sqrt{\log t}) error. Let A(t) denote the cluster produced by internal diffusion limited aggregation (internal DLA) with t particles in dimension d > 2. We show that A(t) is approximately spherical, up to an O(\sqrt{\log t}) error. △ Less

Submitted 31 January, 2011; v1 submitted 15 December, 2010; originally announced December 2010.

Comments: 17 pages, minor revision

Logarithmic fluctuations for internal DLA

Authors: David Jerison, Lionel Levine, Scott Sheffield

Abstract: Let each of n particles starting at the origin in Z^2 perform simple random walk until reaching a site with no other particles. Lawler, Bramson, and Griffeath proved that the resulting random set A(n) of n occupied sites is (with high probability) close to a disk B_r of radius r=\sqrt{n/π}. We show that the discrepancy between A(n) and the disk is at most logarithmic in the radius: i.e., there is… ▽ More Let each of n particles starting at the origin in Z^2 perform simple random walk until reaching a site with no other particles. Lawler, Bramson, and Griffeath proved that the resulting random set A(n) of n occupied sites is (with high probability) close to a disk B_r of radius r=\sqrt{n/π}. We show that the discrepancy between A(n) and the disk is at most logarithmic in the radius: i.e., there is an absolute constant C such that the following holds with probability one: B_{r - C \log r} \subset A(πr^2) \subset B_{r+ C \log r} for all sufficiently large r. △ Less

Submitted 9 July, 2011; v1 submitted 12 October, 2010; originally announced October 2010.

Comments: 38 pages, 5 figures, v2 addresses referee comments. To appear in Journal of the AMS

MSC Class: 60G50; 60K35; 82C24

Journal ref: J. Amer. Math. Soc. 25 (2012), 271-301

Fast simulation of large-scale growth models

Authors: Tobias Friedrich, Lionel Levine

Abstract: We give an algorithm that computes the final state of certain growth models without computing all intermediate states. Our technique is based on a "least action principle" which characterizes the odometer function of the growth process. Starting from an approximation for the odometer, we successively correct under- and overestimates and provably arrive at the correct final state. Internal diffus… ▽ More We give an algorithm that computes the final state of certain growth models without computing all intermediate states. Our technique is based on a "least action principle" which characterizes the odometer function of the growth process. Starting from an approximation for the odometer, we successively correct under- and overestimates and provably arrive at the correct final state. Internal diffusion-limited aggregation (IDLA) is one of the models amenable to our technique. The boundary fluctuations in IDLA were recently proved to be at most logarithmic in the size of the growth cluster, but the constant in front of the logarithm is still not known. As an application of our method, we calculate the size of fluctuations over two orders of magnitude beyond previous simulations, and use the results to estimate this constant. △ Less

Submitted 28 March, 2012; v1 submitted 4 June, 2010; originally announced June 2010.

Comments: 27 pages, 9 figures. To appear in Random Structures & Algorithms

MSC Class: 82C24; 05C81; 05C85

Equations solvable by radicals in a uniquely divisible group

Authors: Christopher J. Hillar, Lionel Levine, Darren Rhea

Abstract: We study equations in groups G with unique m-th roots for each positive integer m. A word equation in two letters is an expression of the form w(X,A) = B, where w is a finite word in the alphabet {X,A}. We think of A,B in G as fixed coefficients, and X in G as the unknown. Certain word equations, such as XAXAX=B, have solutions in terms of radicals, while others such as XXAX = B do not. We obtain… ▽ More We study equations in groups G with unique m-th roots for each positive integer m. A word equation in two letters is an expression of the form w(X,A) = B, where w is a finite word in the alphabet {X,A}. We think of A,B in G as fixed coefficients, and X in G as the unknown. Certain word equations, such as XAXAX=B, have solutions in terms of radicals, while others such as XXAX = B do not. We obtain the first known infinite families of word equations not solvable by radicals, and conjecture a complete classification. To a word w we associate a polynomial P_w in Z[x,y] in two commuting variables, which factors whenever w is a composition of smaller words. We prove that if P_w(x^2,y^2) has an absolutely irreducible factor in Z[x,y], then the equation w(X,A)=B is not solvable in terms of radicals. △ Less

Submitted 24 April, 2012; v1 submitted 29 April, 2010; originally announced April 2010.

Comments: 18 pages, added Lemma 5.2. To appear in Bull. Lon. Math. Soc

MSC Class: 15A24; 20F10; 20F70; 68R15

Rotor-router aggregation on the layered square lattice

Authors: Wouter Kager, Lionel Levine

Abstract: In rotor-router aggregation on the square lattice Z^2, particles starting at the origin perform deterministic analogues of random walks until reaching an unoccupied site. The limiting shape of the cluster of occupied sites is a disk. We consider a small change to the routing mechanism for sites on the x- and y-axes, resulting in a limiting shape which is a diamond instead of a disk. We show th… ▽ More In rotor-router aggregation on the square lattice Z^2, particles starting at the origin perform deterministic analogues of random walks until reaching an unoccupied site. The limiting shape of the cluster of occupied sites is a disk. We consider a small change to the routing mechanism for sites on the x- and y-axes, resulting in a limiting shape which is a diamond instead of a disk. We show that for a certain choice of initial rotors, the occupied cluster grows as a perfect diamond. △ Less

Submitted 21 March, 2010; originally announced March 2010.

Comments: 11 pages, 3 figures.

MSC Class: 82C24

Journal ref: Elect. J. Combin. 17(1) #R152 (2010)

The approach to criticality in sandpiles

Authors: Anne Fey, Lionel Levine, David B. Wilson

Abstract: A popular theory of self-organized criticality relates the critical behavior of driven dissipative systems to that of systems with conservation. In particular, this theory predicts that the stationary density of the abelian sandpile model should be equal to the threshold density of the corresponding fixed-energy sandpile. This "density conjecture" has been proved for the underlying graph Z. We s… ▽ More A popular theory of self-organized criticality relates the critical behavior of driven dissipative systems to that of systems with conservation. In particular, this theory predicts that the stationary density of the abelian sandpile model should be equal to the threshold density of the corresponding fixed-energy sandpile. This "density conjecture" has been proved for the underlying graph Z. We show (by simulation or by proof) that the density conjecture is false when the underlying graph is any of Z^2, the complete graph K_n, the Cayley tree, the ladder graph, the bracelet graph, or the flower graph. Driven dissipative sandpiles continue to evolve even after a constant fraction of the sand has been lost at the sink. These results cast doubt on the validity of using fixed-energy sandpiles to explore the critical behavior of the abelian sandpile model at stationarity. △ Less

Submitted 16 March, 2010; v1 submitted 19 January, 2010; originally announced January 2010.

Comments: 30 pages, 8 figures, long version of arXiv:0912.3206

MSC Class: 82C27; 82B27; 60K35

Journal ref: Phys. Rev. E 82, 031121 (2010)

Sandpile groups and spanning trees of directed line graphs

Authors: Lionel Levine

Abstract: We generalize a theorem of Knuth relating the oriented spanning trees of a directed graph G and its directed line graph LG. The sandpile group is an abelian group associated to a directed graph, whose order is the number of oriented spanning trees rooted at a fixed vertex. In the case when G is regular of degree k, we show that the sandpile group of G is isomorphic to the quotient of the sandpil… ▽ More We generalize a theorem of Knuth relating the oriented spanning trees of a directed graph G and its directed line graph LG. The sandpile group is an abelian group associated to a directed graph, whose order is the number of oriented spanning trees rooted at a fixed vertex. In the case when G is regular of degree k, we show that the sandpile group of G is isomorphic to the quotient of the sandpile group of LG by its k-torsion subgroup. As a corollary we compute the sandpile groups of two families of graphs widely studied in computer science, the de Bruijn graphs and Kautz graphs. △ Less

Submitted 6 April, 2010; v1 submitted 15 June, 2009; originally announced June 2009.

Comments: v2 has an expanded section on deletion/contraction for directed graphs, and a more detailed proof of Theorem 2.3. To appear in Journal of Combinatorial Theory A.

MSC Class: 05C05; 05C20; 05C25; 05C50

Diamond Aggregation

Authors: Wouter Kager, Lionel Levine

Abstract: Internal diffusion-limited aggregation is a growth model based on random walk in Z^d. We study how the shape of the aggregate depends on the law of the underlying walk, focusing on a family of walks in Z^2 for which the limiting shape is a diamond. Certain of these walks -- those with a directional bias toward the origin -- have at most logarithmic fluctuations around the limiting shape. This co… ▽ More Internal diffusion-limited aggregation is a growth model based on random walk in Z^d. We study how the shape of the aggregate depends on the law of the underlying walk, focusing on a family of walks in Z^2 for which the limiting shape is a diamond. Certain of these walks -- those with a directional bias toward the origin -- have at most logarithmic fluctuations around the limiting shape. This contrasts with the simple random walk, where the limiting shape is a disk and the best known bound on the fluctuations, due to Lawler, is a power law. Our walks enjoy a uniform layering property which simplifies many of the proofs. △ Less

Submitted 10 November, 2009; v1 submitted 8 May, 2009; originally announced May 2009.

Comments: v2 addresses referee comments, new section on the abelian property

MSC Class: 60K35

Journal ref: Math. Proc. Cambridge Phil. Soc. 149(2): 351-372 (2010)

Growth Rates and Explosions in Sandpiles

Authors: Anne Fey, Lionel Levine, Yuval Peres

Abstract: We study the abelian sandpile growth model, where n particles are added at the origin on a stable background configuration in Z^d. Any site with at least 2d particles then topples by sending one particle to each neighbor. We find that with constant background height h <= 2d-2, the diameter of the set of sites that topple has order n^{1/d}. This was previously known only for h<d. Our proof uses a… ▽ More We study the abelian sandpile growth model, where n particles are added at the origin on a stable background configuration in Z^d. Any site with at least 2d particles then topples by sending one particle to each neighbor. We find that with constant background height h <= 2d-2, the diameter of the set of sites that topple has order n^{1/d}. This was previously known only for h<d. Our proof uses a strong form of the least action principle for sandpiles, and a novel method of background modification. We can extend this diameter bound to certain backgrounds in which an arbitrarily high fraction of sites have height 2d-1. On the other hand, we show that if the background height 2d-2 is augmented by 1 at an arbitrarily small fraction of sites chosen independently at random, then adding finitely many particles creates an explosion (a sandpile that never stabilizes). △ Less

Submitted 4 December, 2009; v1 submitted 24 January, 2009; originally announced January 2009.

Comments: 19 pages, 4 figures, to appear in Journal of Statistical Physics. v2 corrects the proof of the outer bound of Theorem 4.1 of arXiv:0704.0688

MSC Class: 60K35

Journal ref: J. Stat. Phys. 138, 143--159 (2010)

Parallel Chip-Firing on the Complete Graph: Devil's Staircase and Poincare Rotation Number

Authors: Lionel Levine

Abstract: We study how parallel chip-firing on the complete graph K_n changes behavior as we vary the total number of chips. Surprisingly, the activity of the system, defined as the average number of firings per time step, does not increase smoothly in the number of chips; instead it remains constant over long intervals, punctuated by sudden jumps. In the large n limit we find a "devil's staircase" depend… ▽ More We study how parallel chip-firing on the complete graph K_n changes behavior as we vary the total number of chips. Surprisingly, the activity of the system, defined as the average number of firings per time step, does not increase smoothly in the number of chips; instead it remains constant over long intervals, punctuated by sudden jumps. In the large n limit we find a "devil's staircase" dependence of activity on the number of chips. The proof proceeds by reducing the chip-firing dynamics to iteration of a self-map of the circle S^1, in such a way that the activity of the chip-firing state equals the Poincare rotation number of the circle map. The stairs of the devil's staircase correspond to periodic chip-firing states of small period. △ Less

Submitted 20 January, 2010; v1 submitted 17 November, 2008; originally announced November 2008.

Comments: 22 pages, 2 figures. Rewrote sections 2 and 3 in terms of "generalized chip configurations" to address referee comments. To appear in Ergodic Theory and Dynamical Systems

MSC Class: 26A30; 37E10; 37E45; 82C20

Chip-Firing and Rotor-Routing on Directed Graphs

Authors: Alexander E. Holroyd, Lionel Levine, Karola Meszaros, Yuval Peres, James Propp, David B. Wilson

Abstract: We give a rigorous and self-contained survey of the abelian sandpile model and rotor-router model on finite directed graphs, highlighting the connections between them. We present several intriguing open problems. We give a rigorous and self-contained survey of the abelian sandpile model and rotor-router model on finite directed graphs, highlighting the connections between them. We present several intriguing open problems. △ Less

Submitted 20 June, 2013; v1 submitted 22 January, 2008; originally announced January 2008.

Comments: 34 pages, 11 figures. v2 has additional references, v3 corrects figure 9, v4 corrects several typos

MSC Class: 82C20; 20K01; 05C25

Journal ref: In and Out of Equilibrium 2, "Progress in Probability'' vol. 60, pages 331--364 (2008)

Limit Theorems for Internal Aggregation Models

Authors: Lionel Levine

Abstract: We study the scaling limits of three different aggregation models on the integer lattice Z^d: internal DLA, in which particles perform random walks until reaching an unoccupied site; the rotor-router model, in which particles perform deterministic analogues of random walks; and the divisible sandpile, in which each site distributes its excess mass equally among its neighbors. As the lattice spac… ▽ More We study the scaling limits of three different aggregation models on the integer lattice Z^d: internal DLA, in which particles perform random walks until reaching an unoccupied site; the rotor-router model, in which particles perform deterministic analogues of random walks; and the divisible sandpile, in which each site distributes its excess mass equally among its neighbors. As the lattice spacing tends to zero, all three models are found to have the same scaling limit, which we describe as the solution to a certain PDE free boundary problem in R^d. In particular, internal DLA has a deterministic scaling limit. We find that the scaling limits are quadrature domains, which have arisen independently in many fields such as potential theory and fluid dynamics. Our results apply both to the case of multiple point sources and to the Diaconis-Fulton smash sum of domains. In the special case when all particles start at a single site, we show that the scaling limit is a Euclidean ball in R^d, and give quantitative bounds on the rate of convergence to a ball. We also improve on the previously best known bounds of Le Borgne and Rossin in Z^2 and Fey and Redig in higher dimensions for the shape of the classical abelian sandpile model. Lastly, we study the sandpile group of a regular tree whose leaves are collapsed to a single sink vertex, and determine the decomposition of the full sandpile group as a product of cyclic groups. For the regular ternary tree of height n, for example, the sandpile group is isomorphic to (Z_3)^{2^{n-3}} x (Z_7)^{2^{n-4}} x ... x Z_{2^{n-1}-1} x Z_{2^n-1}. We use this result to prove that rotor-router aggregation on the regular tree yields a perfect ball. △ Less

Submitted 28 December, 2007; originally announced December 2007.

Comments: Berkeley Ph.D. thesis

MSC Class: 60G50 (Primary); 35R35; 31C20 (Secondary)