Searcharxiv⌕ Search

arXiv subjects

Yuval Peres

Publications and source records attributed to Yuval Peres.

At least 37 records · Page 2Linked to original sources

Edit distance in substitution systems

Let $σ$ be a primitive substitution on an alphabet $\mathcal{A}$, and let $\mathcal{W}_n$ be the set of words of length $n$ determined by $σ$ (i.e., $w \in \mathcal{W}_n$ if $w$ is a subword of $σ^k(a)$ for some $a \in \mathcal{A}$ and $k \geq 1$). It is known that the corresponding substitution dynamical system is loosely Kronecker (also known as zero-entropy loosely Bernoulli), so the diameter of $\mathcal{W}_n$ in the edit distance is $o(n)$. We improve this upper bound to $O(n/\sqrt{\log n})$. The main challenge is handling the case where $σ$ is non-uniform; a better bound is available for the uniform case. Finally, we show that for the Thue--Morse substitution, the diameter of $\mathcal{W}_n$ is at least $\sqrt {n/6} - 1$.

math.CO↗

Convergence rate of $\ell^p$-energy minimization on graphs: sharp polynomial bounds and a phase transition at $p=3$

We consider the following dynamics on a connected graph $(V,E)$ with $n$ vertices. Given $p>1$ and an initial opinion profile $f_0:V \to [0,1]$, at each integer step $t \ge 1$ a uniformly random vertex $v=v_t$ is selected, and the opinion there is updated to the value $f_{t}(v)$ that minimizes the sum $\sum_{w \sim v} |f_t(v)-f_{t-1}(w)|^p$ over neighbours $w$ of $v$. The case $p=2$ yields linear averaging dynamics, but for all $p \ne 2$ the dynamics are nonlinear. In the limiting case $p=\infty$ (known as Lipschitz learning), $f_t(v)$ is the average of the largest and smallest values of $f_{t-1}(w)$ among the neighbours $w$ of $v$. We show that the number of steps needed to reduce the oscillation of $f_t$ below $ε$ is at most $n^{β_p}$ (up to logarithmic factors in $n$ and $ε$), where $β_p:=max(\frac{2p}{p-1},3)$; we prove that the exponent $β_p$ is optimal. The phase transition at $p=3$ is a new phenomenon. We also derive matching upper and lower bounds for convergence time as a function of $n$ and the average degree; these are the most challenging to prove.

math.PR↗

Poisson genericity in numeration systems with exponentially mixing probabilities

We define Poisson genericity for infinite sequences in any finite or countable alphabet with an invariant exponentially-mixing probability measure. A sequence is Poisson generic if the number of occurrences of blocks of symbols asymptotically follows a Poisson law as the block length increases. We prove that almost all sequences are Poisson generic. Our result generalizes Peres and Weiss' theorem about Poisson genericity of integral bases numeration systems. In particular, we obtain that their continued fraction expansions for almost all real numbers are Poisson generic.

math.PR↗

Potentials in recurrent networks: a survey

A nonnegative function on the vertices of an infinite graph G which vanishes at a distinguished vertex o, has Laplacian 1 at o, and is harmonic at all other vertices is called a potential. We survey basic properties of potentials in recurrent networks. In particular, we show that potentials are Lipschitz with respect to the effective resistance metric, and if the potential is unique, then there is a determinantal formula for the harmonic measures from infinity. We also infer from the von Neumann minimax theorem that there always exists a potential tending to infinity.

math.PR↗

The edge-averaging process on graphs with random initial opinions

In several settings (e.g., sensor networks and social networks), nodes of a graph are equipped with initial opinions, and the goal is to estimate the average of these opinions using local operations. A natural algorithm to achieve this is the edge-averaging process, where edges are repeatedly selected at random (according to independent Poisson clocks) and the opinions on the nodes of each selected edge are replaced by their average. The effectiveness of this algorithm is determined by its convergence rate. It is known that on a finite graph of $n$ nodes, the opinions reach approximate consensus in polynomial time. We prove that the convergence is much faster when the initial opinions are disordered (independent identically distributed): the time to reach approximate consensus is $O (\log^2n)$, and this bound is sharp. For infinite graphs, we show that for every $p\geq 1$, if the initial opinions are in $L^p$, then the opinion at each vertex converges to the mean in $L^p$, and if $p>4$, then almost sure convergence holds as well.

math.PR↗

Every recurrent network has a potential tending to infinity

A rooted network consists of a connected, locally finite graph G, equipped with edge conductances and a distinguished vertex o. A nonnegative function on the vertices of G which vanishes at o, has Laplacian 1 at o, and is harmonic at all other vertices is called a potential. We prove that every infinite recurrent rooted network admits a potential tending to infinity. This is an analogue of classical theorems due to Evans and Nakai in the settings of Euclidean domains and Riemannian surfaces.

math.PR↗

Minkowski sum of fractal percolation and random sets

In this paper, we prove that hitting probability of Minkowski sum of fractal percolations can be characterized by capacity. Then we extend this result to Minkowski sum of general random sets in $\mathbb Z^d$, including ranges of random walks and critical branching random walks, whose hitting probabilities are described by Newtonian capacity individually.

math.PR↗

Random walk on dynamical percolation in Euclidean lattices: separating critical and supercritical regimes

We study the random walk on dynamical percolation of $\mathbb{Z}^d$ (resp., the two-dimensional triangular lattice $\mathcal{T}$), where each edge (resp., each site) can be either open or closed, refreshing its status at rate $μ\in (0,1/e]$. The random walk moves along open edges in $\mathbb{Z}^d$ (resp., open sites in $\mathcal{T}$) at rate $1$. For the critical regime $p=p_c$, we prove the following two results: on $\mathcal{T}$, the mean squared displacement of the random walk from $0$ to $t$ is at most $O(tμ^{5/132-ε})$ for any $ε>0$; on $\mathbb{Z}^d$ with $d\geq 11$, the corresponding upper bound for the mean squared displacement is $O(t μ^{1/2}\log(1/μ))$. For the supercritical regime $p>p_c$, we prove that the mean squared displacement on $\mathbb{Z}^d$ is at least $ct$ for some $c=c(d)>0$ that does not depend on $μ$.

math.PR↗

Speed of random walk on dynamical percolation in nonamenable transitive graphs

Let $G$ be a nonamenable transitive unimodular graph. In dynamical percolation, every edge in $G$ refreshes its status at rate $μ>0$, and following the refresh, each edge is open independently with probability $p$. The random walk traverses $G$ only along open edges, moving at rate $1$. In the critical regime $p=p_c$, we prove that the speed of the random walk is at most $O(\sqrt{μ\log(1/μ)})$, provided that $μ\le e^{-1}$. In the supercritical regime $p>p_c$, we prove that the speed on $G$ is of order 1 (uniformly in $μ)$, while in the subcritical regime $p<p_c$, the speed is of order $μ\wedge 1$.

math.PR↗

The Asynchronous DeGroot Dynamics

We analyze the asynchronous version of the DeGroot dynamics: In a connected graph $G$ with $n$ nodes, each node has an initial opinion in $[0,1]$ and an independent Poisson clock. When a clock at a node $v$ rings, the opinion at $v$ is replaced by the average opinion of its neighbors. It is well known that the opinions converge to a consensus. We show that the expected time $\mathbb E(τ_\varepsilon)$ to reach $\varepsilon$-consensus is poly$(n)$ in undirected graphs and in Eulerian digraphs, but for some digraphs of bounded degree it is exponential. Our main result is that in undirected graphs and Eulerian digraphs, if the degrees are uniformly bounded and the initial opinions are i.i.d., then $\mathbb E(τ_\varepsilon)=\text{polylog}(n)$ for every fixed $\varepsilon>0$. We give sharp estimates for the variance of the limiting consensus opinion, which measures the ability to aggregate information (``wisdom of the crowd''). We also prove generalizations to non-reversible Markov chains and infinite graphs. New results of independent interest on fragmentation processes and coupled random walks are crucial to our analysis.

math.PR↗

Multiplayer Bandit Learning, from Competition to Cooperation

The stochastic multi-armed bandit model captures the tradeoff between exploration and exploitation. We study the effects of competition and cooperation on this tradeoff. Suppose there are $k$ arms and two players, Alice and Bob. In every round, each player pulls an arm, receives the resulting reward, and observes the choice of the other player but not their reward. Alice's utility is $Γ_A + λΓ_B$ (and similarly for Bob), where $Γ_A$ is Alice's total reward and $λ\in [-1, 1]$ is a cooperation parameter. At $λ= -1$ the players are competing in a zero-sum game, at $λ= 1$, they are fully cooperating, and at $λ= 0$, they are neutral: each player's utility is their own reward. The model is related to the economics literature on strategic experimentation, where usually players observe each other's rewards. With discount factor $β$, the Gittins index reduces the one-player problem to the comparison between a risky arm, with a prior $μ$, and a predictable arm, with success probability $p$. The value of $p$ where the player is indifferent between the arms is the Gittins index $g = g(μ,β) > m$, where $m$ is the mean of the risky arm. We show that competing players explore less than a single player: there is $p^* \in (m, g)$ so that for all $p > p^*$, the players stay at the predictable arm. However, the players are not myopic: they still explore for some $p > m$. On the other hand, cooperating players explore more than a single player. We also show that neutral players learn from each other, receiving strictly higher total rewards than they would playing alone, for all $ p\in (p^*, g)$, where $p^*$ is the threshold from the competing case. Finally, we show that competing and neutral players eventually settle on the same arm in every Nash equilibrium, while this can fail for cooperating players.

cs.GT↗

A local central limit theorem for random walks on expander graphs

There is a long history of establishing central limit theorems for Markov chains. Quantitative bounds for chains with a spectral gap were proved by Mann and refined later. Recently, rates of convergence for the total variation distance were obtained for random walks on expander graphs, which are often used to generate sequences satisfying desirable pseudorandom properties. We prove a local central limit theorem with an explicit rate of convergence for random walks on expander graphs, and derive an improved bound for the total variation distance.

math.PR↗

A basic homogenization problem for the $p$-Laplacian in ${\mathbb R}^d$ perforated along a sphere: $L^\infty$ estimates

We consider a boundary value problem for the $p$-Laplacian, posed in the exterior of small cavities that all have the same $p$-capacity and are anchored to the unit sphere in $\mathbb{R}^d$, where $1 0$. We show that the problem possesses a critical window characterized by $τ:=\lim_{\varepsilon \downarrow 0}α/α_c \in (0,\infty)$, where $α_c=\varepsilon^{1/γ}$ and $γ= \frac{d-p}{p-1}.$ We prove that outside the unit sphere, as $\varepsilon\downarrow 0$, the solution converges to $A_*U$ for some constant $A_*$, where $U(x)=\min\{1,|x|^{-γ}\}$ is the radial $p$-harmonic function outside the unit ball. Here the constant $A_*$ equals 0 if $τ=0$, while $A_*=1$ if $τ=\infty$. In the critical window where $τ$ is positive and finite, $ A_*\in(0,1)$ is explicitly computed in terms of the parameters of the problem. We also evaluate the limiting $p$-capacity in all three cases mentioned above. Our key new tool is the construction of an explicit ansatz function $u_{A_*}^\varepsilon$ that approximates the solution $u^\varepsilon$ in $L^{\infty}(\mathbb{R}^d)$ and satisfies $\|\nabla u^\varepsilon-\nabla u_{A_*}^\varepsilon \|_{L^{p}(\mathbb{R}^d)} \to 0$ as $\varepsilon \downarrow 0$.

math.AP↗

No cutoff in Spherically symmetric trees

We show that for lazy simple random walks on finite spherically symmetric trees, the ratio of the mixing time and the relaxation time is bounded by a universal constant. Consequently, lazy simple random walks on any sequence of finite spherically symmetric trees do not exhibit pre-cutoff; this conclusion also holds for continuous-time simple random walks. This answers a question recently proposed by Gantert, Nestoridi, and Schmid. We also show that for lazy simple random walks on finite spherically symmetric trees, hitting times of vertices are (uniformly) non concentrated. Finally, we study the stability of our results under rough isometries.

math.PR↗

Recurrence and windings of two revolving random walks

We study the winding behavior of random walks on two oriented square lattices. One common feature of these walks is that they are bound to revolve clockwise. We also obtain quantitative results of transience/recurrence for each walk.

math.PR↗

Exact minimum number of bits to stabilize a linear system

We consider an unstable scalar linear stochastic system, $X_{n+1}=a X_n + Z_n - U_n$, where $a \geq 1$ is the system gain, $Z_n$'s are independent random variables with bounded $α$-th moments, and $U_n$'s are the control actions that are chosen by a controller who receives a single element of a finite set $\{1, \ldots, M\}$ as its only information about system state $X_i$. We show new proofs that $M > a$ is necessary and sufficient for $β$-moment stability, for any $β< α$. Our achievable scheme is a uniform quantizer of the zoom-in / zoom-out type that codes over multiple time instants for data rate efficiency; the controller uses its memory of the past to correctly interpret the received bits. We analyze its performance using probabilistic arguments. We show a simple proof of a matching converse using information-theoretic techniques. Our results generalize to vector systems, to systems with dependent Gaussian noise, and to the scenario in which a small fraction of transmitted messages is lost.

eess.SY↗

Approximate trace reconstruction of random strings from a constant number of traces

In the trace reconstruction problem, the goal is to reconstruct an unknown string $x$ of length $n$ from multiple traces obtained by passing $x$ through the deletion channel. In the relaxed problem of $approximate$ trace reconstruction, the goal is to reconstruct an approximation $\widehat{x}$ of $x$ which is close (within $εn$) to $x$ in edit distance. We show that for most strings $x$, this is possible with high probability using only a constant number of traces. Crucially, this constant does not grow with $n$, and only depends on the deletion probability and $ε$.

math.PR↗

Cutoff for permuted Markov chains

Let $P$ be a bistochastic matrix of size $n$, and let $Π$ be a permutation matrix of size $n$. In this paper, we are interested in the mixing time of the Markov chain whose transition matrix is given by $Q=PΠ$. In other words, the chain alternates between random steps governed by $P$ and deterministic steps governed by $Π$. We show that if the permutation $Π$ is chosen uniformly at random, then under mild assumptions on $P$, with high probability, the chain $Q$ exhibits cutoff at time $\frac{\log n}{\mathbf{h}}$, where $\mathbf{h}$ is the entropic rate of $P$. Moreover, for deterministic permutations, we improve the upper bound on the mixing time obtained by Chatterjee and Diaconis (2020).

math.PR↗