Source author record

Itai Benjamini

Itai Benjamini appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.PR math.MG math.CO math.GR math-ph math.MP Computational Complexity math.DS Data Structures and Algorithms Discrete Mathematics math.DG math.NT Social and Information Networks

Catalog footprint

What is connected

57works

13topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Degrees in link graphs of regular graphs

We analyse an extremal question on the degrees of the link graphs of a finite regular graph, that is, the subgraphs induced by non-trivial spheres. We show that if $G$ is $d$-regular and connected but not complete then some link graph of $G$ has minimum degree at most $\lfloor 2d/3\rfloor-1$, and if $G$ is sufficiently large in terms of $d$ then some link graph has minimum degree at most $\lfloor d/2\rfloor-1$; both bounds are best possible. We also give the corresponding best-possible result for the corresponding problem where subgraphs induced by balls, rather than spheres, are considered. We motivate these questions by posing a conjecture concerning expansion of link graphs in large bounded-degree graphs, together with a heuristic justification thereof.

preprint2022arXiv

Oriented Random Walk on the Heisenberg Group and Percolation

It is shown that oriented random walk on the Heisenberg group admits exponential intersection tail. As a corollary we get that on any transitive graph of polynomial volume growth, which is not a finite extension of $\mathbb{Z}, \mathbb{Z}^2$, the infinite cluster of percolation with retention parameter $p$, close enough to $1$, is transient.

preprint2022arXiv

Triangulations of uniform subquadratic growth are quasi-trees

It is known that for every $α\geq 1$ there is a planar triangulation in which every ball of radius $r$ has size $Θ(r^α)$. We prove that for $α<2$ every such triangulation is quasi-isometric to a tree. The result extends to Riemannian 2-manifolds of finite genus, and to large-scale-simply-connected graphs. We also prove that every planar triangulation of asymptotic dimension 1 is quasi-isometric to a tree.

preprint2020arXiv

Hyperbolic self avoiding walk

Expected ballisticity of a continuous self avoiding walk on hyperbolic spaces $\mathbb{H}^d$ is established.

preprint2016arXiv

An isoperimetric inequality for planar triangulations

We prove a discrete analogue to a classical isoperimetric theorem of Weil for surfaces with non-positive curvature. It is shown that hexagons in the triangular lattice have maximal volume among all sets of a given boundary in any triangulation with minimal degree 6.

preprint2016arXiv

Minimal growth harmonic functions on lamplighter groups

We study the minimal possible growth of harmonic functions on lamplighters. We find that $(\mathbb{Z}/2)\wr \mathbb{Z}$ has no sublinear harmonic functions, $(\mathbb{Z}/2)\wr \mathbb{Z}^2$ has no sublogarithmic harmonic functions, and neither has the repeated wreath product $(\dotsb(\mathbb{Z}/2\wr\mathbb{Z}^2)\wr\mathbb{Z}^2)\wr\dotsb\wr\mathbb{Z}^2$. These results have implications on attempts to quantify the Derriennic-Kaimanovich-Vershik theorem.

preprint2016arXiv

On the structure of graphs which are locally indistinguishable from a lattice

We study the properties of finite graphs in which the ball of radius $r$ around each vertex induces a graph isomorphic to some fixed graph $F$. This is a natural extension of the study of regular graphs, and of the study of graphs of constant link. We focus on the case where $F$ is $\mathbb{L}^d$, the $d$-dimensional square lattice. We obtain a characterisation of all the finite graphs in which the ball of radius $3$ around each vertex is isomorphic to the ball of radius $3$ in $\mathbb{L}^d$, for each integer $d \geq 3$. These graphs have a very rigidly proscribed global structure, much more so than that of $(2d)$-regular graphs. (They may be viewed as quotient lattices of $\mathbb{L}^d$ in various compact orbifolds.) In the $d=2$ case, our methods yield new proofs of structure theorems of Thomassen and of Márquez, de Mier, Noy and Revuelta, and also yield short, `algebraic' restatements of these theorems. Our proofs use a mixture of techniques and results from combinatorics, algebraic topology and group theory.

preprint2016arXiv

The mixing time of the giant component of a random graph

We show that the total variation mixing time of the simple random walk on the giant component of supercritical Erdos-Renyi graphs is log^2 n. This statement was only recently proved, independently, by Fountoulakis and Reed. Our proof follows from a structure result for these graphs which is interesting in its own right. We show that these graphs are "decorated expanders" - an expander glued to graphs whose size has constant expectation and exponential tail, and such that each vertex in the expander is glued to no more than a constant number of decorations.

preprint2016arXiv

Where does a random process hit a fractal barrier?

Given a Brownian path $β(t)$ on $\mathbb{R}$, starting at $1$, a.s. there is a singular time set $T_β$, such that the first hitting time of $β$ by an independent Brownian motion, starting at $0$, is in $T_β$ with probability one. A couple of problems regarding hitting measure for random processes are presented.

preprint2015arXiv

An Upper bound on the growth of Dirichlet tilings of hyperbolic spaces

It is shown that the growth rate $(\lim_r |B(r)|^{1/r})$ of any $k$ faces Dirichlet tiling of the real hyperbolic space $\mathbb{H}^d, d>2,$ is at most $k-1-ε$, for an $ε> 0$, depending only on $k$ and $d$. We don't know if there is a universal $ε_u > 0$, such that $k-1-ε_u$ upperbounds the growth rate for any $k$-regular tiling, when $ d > 2$?

preprint2015arXiv

Bi-Lipschitz bijections of $\mathbb{Z}$

It is shown that every bi-Lipschitz bijection from $\mathbb{Z}$ to itself is at a bounded $L_{\infty}$ distance from either the identity or the reflection. We then comment on the group-theoretic properties of the action of bi-Lipschitz bijections.

preprint2015arXiv

Disorder, entropy and harmonic functions

We study harmonic functions on random environments with particular emphasis on the case of the infinite cluster of supercritical percolation on $\mathbb{Z}^d$. We prove that the vector space of harmonic functions growing at most linearly is $(d+1)$-dimensional almost surely. Further, there are no nonconstant sublinear harmonic functions (thus implying the uniqueness of the corrector). A main ingredient of the proof is a quantitative, annealed version of the Avez entropy argument. This also provides bounds on the derivative of the heat kernel, simplifying and generalizing existing results. The argument applies to many different environments; even reversibility is not necessary.

preprint2015arXiv

First passage percolation on nilpotent Cayley graphs and beyond

Our main result is an extension of Pansu's theorem to random metrics, where the edges of the Cayley are i.i.d. random variable with some finite exponential moment. Based on a previous work by the second author, the proof relies on Talagrand's concentration inequality, and on Pansu's theorem. Adapting a well-known argument for Z^d, we prove a sublinear estimate on the variance for virtually nilpotent groups which are not virtually isomorphic to Z. We further discuss the asymptotic cones of first-passage percolation on general infinite connected graphs: we prove that the asymptotic cones are a.e. deterministic if and only the volume growth is subexponential.

preprint2015arXiv

Homogenization via sprinkling

We show that a superposition of an $\varepsilon$-Bernoulli bond percolation and any everywhere percolating subgraph of $\mathbb Z^d$, $d\ge 2$, results in a connected subgraph, which after a renormalization dominates supercritical Bernoulli percolation. This result, which confirms a conjecture of the first author together with Häggström and Schramm (2000), is mainly motivated by obtaining finite volume characterizations of uniqueness for general percolation processes.

preprint2015arXiv

Juntas in the $\ell^{1}$-grid and Lipschitz maps between discrete tori

We show that if $A \subset [k]^n$, then $A$ is $ε$-close to a junta depending upon at most $\exp(O(|\partial A|/(k^{n-1}ε)))$ coordinates, where $\partial A$ denotes the edge-boundary of $A$ in the $\ell^1$-grid. This is sharp up to the value of the absolute constant in the exponent. This result can be seen as a generalisation of the Junta theorem for the discrete cube, from [E. Friedgut, Boolean functions with low average sensitivity depend on few coordinates, Combinatorica 18 (1998), 27-35], or as a characterization of large subsets of the $\ell^1$-grid whose edge-boundary is small. We use it to prove a result on the structure of Lipschitz functions between two discrete tori; this can be seen as a discrete, quantitative analogue of a recent result of Austin [T. Austin, On the failure of concentration for the $\ell^{\infty}$-ball, preprint]. We also prove a refined version of our junta theorem, which is sharp in a wider range of cases.

preprint2015arXiv

Percolation and coarse conformal uniformization

We formulate conjectures regarding percolation on planar triangulations suggested by assuming (quasi) invariance under coarse conformal uniformization.

preprint2015arXiv

Site recurrence for coalescing random walk

Begin continuous time random walks from every vertex of a graph and have particles coalesce when they collide. We use a duality relation with the voter model to prove the process is site recurrent on bounded degree graphs, and for Galton-Watson trees whose offspring distribution has exponential tail. We prove bounds on the occupation probability of a site, as well as a general 0-1 law. Similar conclusions hold for a coalescing process on trees where particles do not backtrack.

preprint2014arXiv

Acquaintance Time of a Graph

We define the following parameter of connected graphs. For a given graph $G$ we place one agent in each vertex of $G$. Every pair of agents sharing a common edge is declared to be acquainted. In each round we choose some matching of $G$ (not necessarily a maximal matching), and for each edge in the matching the agents on this edge swap places. After the swap, again, every pair of agents sharing a common edge become acquainted, and the process continues. We define the \emph{acquaintance time} of a graph $G$, denoted by $AC(G)$, to be the minimal number of rounds required until every two agents are acquainted. We first study the acquaintance time for some natural families of graphs including the path, expanders, the binary tree, and the complete bipartite graph. We also show that for all positive integers $n$ and $k \leq n^{1.5}$ there exists an $n$-vertex graph $G$ such that $AC(G) =Θ(k)$. We also prove that for all $n$-vertex connected graphs $G$ we have $AC(G) = O\left(\frac{n^2}{\log(n)/\log\log(n)}\right)$, improving the $O(n^2)$ trivial upper bound achieved by sequentially letting each agent perform depth-first search along a spanning tree of $G$. Studying the computational complexity of this problem, we prove that for any constant $t \geq 1$ the problem of deciding that a given graph $G$ has $AC(G) \leq t$ or $AC(G) \geq 2t$ is $\mathcal{NP}$-complete. That is, $AC(G)$ is $\mathcal{NP}$-hard to approximate within multiplicative factor of 2, as well as within any additive constant factor. On the algorithmic side, we give a deterministic algorithm that given a graph $G$ with $AC(G)=1$ finds a ${\lceil n/c\rceil}$-rounds strategy for acquaintance in time $n^{c+O(1)}$. We also design a randomized polynomial time algorithm that given a graph $G$ with $AC(G)=1$ finds with high probability an $O(\log(n))$-rounds strategy for acquaintance.

preprint2014arXiv

Anchored expansion, speed, and the hyperbolic Poisson Voronoi tessellation

We show that random walk on a stationary random graph with positive anchored expansion and exponential volume growth has positive speed. We also show that two families of random triangulations of the hyperbolic plane, the hyperbolic Poisson Voronoi tessellation and the hyperbolic Poisson Delaunay triangulation, have 1-skeletons with positive anchored expansion. As a consequence, we show that the simple random walks on these graphs have positive speed. We include a section of open problems and conjectures on the topics of stationary geometric random graphs and the hyperbolic Poisson Voronoi tessellation.

preprint2014arXiv

Ergodic Theory on Stationary Random Graphs

A stationary random graph is a random rooted graph whose distribution is invariant under re-rooting along the simple random walk. We adapt the entropy technique developed for Cayley graphs and show in particular that stationary random graphs of subexponential growth are almost surely Liouville, that is, admit no non constant bounded harmonic function. Applications include the uniform infinite planar quadrangulation and long-range percolation clusters.

preprint2014arXiv

Recurrence of the $ \mathbb{Z}^d$-valued infinite snake via unimodularity

We use the concept of unimodular random graph to show that the branching simple random walk on $\mathbb{Z}^{d}$ indexed by a critical geometric Galton-Watson tree conditioned to survive is recurrent if and only if $d \leq 4$.

preprint2013arXiv

A generalized Polya's urn with graph based interactions

Given a finite connected graph G, place a bin at each vertex. Two bins are called a pair if they share an edge of G. At discrete times, a ball is added to each pair of bins. In a pair of bins, one of the bins gets the ball with probability proportional to its current number of balls raised by some fixed power a>0. We characterize the limiting behavior of the proportion of balls in the bins. The proof uses a dynamical approach to relate the proportion of balls to a vector field. Our main result is that the limit set of the proportion of balls is contained in the equilibria set of the vector field. We also prove that if a<1 then there is a single point v=v(G,a) with nonzero entries such that the proportion converges to v almost surely. A special case is when G is regular and a is at most 1. We show e.g. that if G is non-bipartite then the proportion of balls in the bins converges to the uniform measure almost surely.

preprint2013arXiv

Annihilation and coalescence on binary trees

An infection spreads in a binary tree of height n as follows: initially, each leaf is either infected by one of k states or it is not infected at all. The infection state of each leaf is independently distributed according to a probability vector p=(p_1,...,p_{k+1}). The remaining nodes become infected or not via annihilation and coalescence: nodes whose two children have the same state (infected or not) are infected (or not) by this state; nodes whose two children have different states are not infected; nodes whose only one of the children is infected are infected by this state. In this note we characterize, for every p, the limiting distribution at the root node of the tree as the height n goes to infinity. We also consider a variant of the model when k=2 and a mutation can happen, with a fixed probability q, at each infection step. We characterize, in terms of p and q, the limiting distribution at the root node of the tree as the height n goes to infinity. The distribution at the root node is driven by a dynamical system, and the proofs rely on the analysis of this dynamics.

preprint2013arXiv

Bi-Lipschitz Bijection between the Boolean Cube and the Hamming Ball

We construct a bi-Lipschitz bijection from the Boolean cube to the Hamming ball of equal volume. More precisely, we show that for all even n there exists an explicit bijection f from the n-dimensional Boolean cube to the Hamming ball of equal volume embedded in (n+1)-dimensional Boolean cube, such that for all x and y it holds that distance(x,y) / 5 <= distance(f(x),f(y)) <= 4 distance(x,y) where distance(,) denotes the Hamming distance. In particular, this implies that the Hamming ball is bi-Lipschitz transitive. This result gives a strong negative answer to an open problem of Lovett and Viola [CC 2012], who raised the question in the context of sampling distributions in low-level complexity classes. The conceptual implication is that the problem of proving lower bounds in the context of sampling distributions will require some new ideas beyond the sensitivity-based structural results of Boppana [IPL 97]. We study the mapping f further and show that it (and its inverse) are computable in DLOGTIME-uniform TC0, but not in AC0. Moreover, we prove that f is "approximately local" in the sense that all but the last output bit of f are essentially determined by a single input bit.

preprint2013arXiv

Counting bats

We demonstrate an algorithm that reconstructs the number of walkers in an unknown graph from observations of their returns to a fixed point.

preprint2012arXiv

Algebraically recurrent random walks on groups

Initial steps are presented towards understanding which finitely generated groups are almost surely generated as semigroups by the path of a random walk on the group.

preprint2012arXiv

Balanced allocation: Memory performance tradeoffs

Suppose we sequentially put $n$ balls into $n$ bins. If we put each ball into a random bin then the heaviest bin will contain ${\sim}\log n/\log\log n$ balls with high probability. However, Azar, Broder, Karlin and Upfal [SIAM J. Comput. 29 (1999) 180--200] showed that if each time we choose two bins at random and put the ball in the least loaded bin among the two, then the heaviest bin will contain only ${\sim}\log\log n$ balls with high probability. How much memory do we need to implement this scheme? We need roughly $\log\log\log n$ bits per bin, and $n\log\log\log n$ bits in total. Let us assume now that we have limited amount of memory. For each ball, we are given two random bins and we have to put the ball into one of them. Our goal is to minimize the load of the heaviest bin. We prove that if we have $n^{1-δ}$ bits then the heaviest bin will contain at least $Ω(δ\log n/\log\log n)$ balls with high probability. The bound is tight in the communication complexity model.

preprint2012arXiv

Maximal Arithmetic Progressions in Random Subsets

Let U(N) denote the maximal length of arithmetic progressions in a random uniform subset of {0,1}^N. By an application of the Chen-Stein method, we show that U(N)- 2 log(N)/log(2) converges in law to an extreme type (asymmetric) distribution. The same result holds for the maximal length W(N) of arithmetic progressions (mod N). When considered in the natural way on a common probability space, we observe that U(N)/log(N) converges almost surely to 2/log(2), while W(N)/log(N) does not converge almost surely (and in particular, limsup W(N)/log(N) is at least 3/log(2)).

preprint2012arXiv

On K-wise Independent Distributions and Boolean Functions

We pursue a systematic study of the following problem. Let f:{0,1}^n -> {0,1} be a (usually monotone) Boolean function whose behaviour is well understood when the input bits are identically independently distributed. What can be said about the behaviour of the function when the input bits are not completely independent, but only k-wise independent, i.e. every subset of k bits is independent? more precisely, how high should k be so that any k-wise independent distribution "fools" the function, i.e. causes it to behave nearly the same as when the bits are completely independent? We analyze several well known Boolean functions (including AND, Majority, Tribes and Percolation among others), some of which turn out to have surprising properties. In some of our results we use tools from the theory of the classical moment problem, seemingly for the first time in this subject, to shed light on these questions.

preprint2012arXiv

Perturbing the hexagonal circle packing: a percolation perspective

We consider the hexagonal circle packing with radius 1/2 and perturb it by letting the circles move as independent Brownian motions for time t. It is shown that, for large enough t, if Π_t is the point process given by the center of the circles at time t, then, as t\to\infty, the critical radius for circles centered at Π_t to contain an infinite component converges to that of continuum percolation (which was shown---based on a Monte Carlo estimate---by Balister, Bollobás and Walters to be strictly bigger than 1/2). On the other hand, for small enough t, we show (using a Monte Carlo estimate for a fixed but high dimensional integral) that the union of the circles contains an infinite connected component. We discuss some extensions and open problems.

preprint2012arXiv

Sharp threshold for percolation on expanders

We study the appearance of the giant component in random subgraphs of a given large finite graph G=(V,E) in which each edge is present independently with probability p. We show that if G is an expander with vertices of bounded degree, then for any c in ]0,1[, the property that the random subgraph contains a giant component of size c|V| has a sharp threshold.

preprint2012arXiv

Simple random walk on the uniform infinite planar quadrangulation: Subdiffusivity via pioneer points

We study the pioneer points of the simple random walk on the uniform infinite planar quadrangulation (UIPQ) using an adaptation of the peeling procedure of Angel to the quadrangulation case. Our main result is that, up to polylogarithmic factors, $n^3$ pioneer points have been discovered before the walk exits the ball of radius $n$ in the UIPQ. As a result we verify the KPZ relation in the particular case of the pioneer exponent and prove that the walk is subdiffusive with exponent less than 1/3. Along the way, new geometric controls on the UIPQ are established.

preprint2012arXiv

The Liouville and the intersection properties are equivalent for planar graphs

It is shown that if a planar graph admits no non-constant bounded harmonic functions then the trajectories of two independent simple random walks intersect almost surely.

preprint2012arXiv

Uniqueness of percolation on products with Z

We show that there exists a connected graph G with subexponential volume growth such that critical percolation on the product of G with the line has infinitely many infinite clusters. We also give some conditions under which this cannot occur.

preprint2011arXiv

Convex Hulls in the Hyperbolic Space

We show that there exists a universal constant C>0 such that the convex hull of any N points in the hyperbolic space H^n is of volume smaller than C N, and that for any dimension n there exists a constant C_n > 0 such that for any subset A of H^n, Vol(Conv(A_1)) < C_n Vol(A_1) where A_1 is the set of points of hyperbolic distance to A smaller than 1.

preprint2011arXiv

Cutpoints and resistance of random walk paths

We construct a bounded degree graph $G$, such that a simple random walk on it is transient but the random walk path (i.e., the subgraph of all the edges the random walk has crossed) has only finitely many cutpoints, almost surely. We also prove that the expected number of cutpoints of any transient Markov chain is infinite. This answers two questions of James, Lyons and Peres [A Transient Markov Chain With Finitely Many Cutpoints (2007) Festschrift for David Freedman]. Additionally, we consider a simple random walk on a finite connected graph $G$ that starts at some fixed vertex $x$ and is stopped when it first visits some other fixed vertex $y$. We provide a lower bound on the expected effective resistance between $x$ and $y$ in the path of the walk, giving a partial answer to a question raised in [Ann. Probab. 35 (2007) 732--738].

preprint2011arXiv

On the separation profile of infinite graphs

Initial steps in the study of inner expansion properties of infinite Cayley graphs and other infinite graphs, such as hyperbolic ones, are taken, in a flavor similar to the well-known Lipton-Tarjan square root separation result for planar graphs. Connections to relaxed versions of quasi-isometries are explored, such as regular and semiregular maps.

preprint2010arXiv

A balanced excited random walk

The following random process on $\Z^4$ is studied. At first visit to a site, the two first coordinates perform a (2-dimensional) simple random walk step. At further visits, it is the last two coordinates which perform a simple random walk step. We prove that this process is almost surely transient. The lower dimensional versions are discussed and various generalizations and related questions are proposed.

preprint2010arXiv

An integral test for the transience of a Brownian path with limited local time

We study a one-dimensional Brownian motion conditioned on a self-repelling behaviour. Given a nondecreasing positive function f(t), consider the measures mu_t obtained by conditioning a Brownian path so that L_s< f(s), for all s<t, where L_s is the local time spent at the origin by time s. It is shown that the measures mu_t are tight, and that any weak limit of mu_t as t tends to infinity is transient provided that t^{-3/2}f(t) is integrable. We conjecture that this condition is sharp and present a number of open problems.

preprint2010arXiv

Growth and isoperimetric profile of planar graphs

Let G be a planar graph such that the volume function of G satisfies V(2n)< CV(n) for some constant C > 0. Then for every vertex v of G and integer n, there is a domain Ωsuch that B(v,n) \subset Ω, Ω\subset B(v, 6n) and the size of the boundary of Ωis at most order n.

preprint2010arXiv

Lack of Sphere Packing of Graphs via Non-Linear Potential Theory

It is shown that there is no quasi-sphere packing of the lattice grid Z^{d+1} or a co-compact hyperbolic lattice of H^{d+1} or the 3-regular tree \times Z, in R^d, for all d. A similar result is proved for some other graphs too. Rather than using a direct geometrical approach, the main tools we are using are from non-linear potential theory.

preprint2010arXiv

Linear Cover Time is Exponentially Unlikely

We show that the probability that a simple random walk covers a finite, bounded degree graph in linear time is exponentially small. More precisely, for every D and C, there exists a=a(D,C)>0 such that for any graph G, with n vertices and maximal degree D, the probability that a simple random walk, started anywhere in G, will visit every vertex of G in its first Cn steps is at most exp(-an). We conjecture that the same holds for a=a(C)>0 that does not depend on D, provided that the graph G is simple.

preprint2010arXiv

Nonamenable Liouville Graphs

Add to each level of binary tree edges to make the induced graph on the level a uniform expander. It is shown that such a graph admits no non-constant bounded harmonic functions.

preprint2010arXiv

On limits of Graphs Sphere Packed in Euclidean Space and Applications

The core of this note is the observation that links between circle packings of graphs and potential theory developed in \cite{BeSc01} and \cite{HS} can be extended to higher dimensions. In particular, it is shown that every limit of finite graphs sphere packed in $\R^d$ with a uniformly-chosen root is $d$-parabolic. We then derive few geometric corollaries. E.g.\,every infinite graph packed in $\R^{d}$ has either strictly positive isoperimetric Cheeger constant or admits arbitrarily large finite sets $W$ with boundary size which satisfies $ |\partial W| \leq |W|^{\frac{d-1}{d}+o(1)}$. Some open problems and conjectures are gathered at the end.

preprint2010arXiv

On the trace of branching random walks

We study branching random walks on Cayley graphs. A first result is that the trace of a transient branching random walk on a Cayley graph is a.s. transient for the simple random walk. In addition, it has a.s. critical percolation probability less than one and exponential volume growth. The proofs rely on the fact that the trace induces an invariant percolation on the family tree of the branching random walk. Furthermore, we prove that the trace is a.s. strongly recurrent for any (non-trivial) branching random walk. This follows from the observation that the trace, after appropriate biasing of the root, defines a unimodular measure. All results are stated in the more general context of branching random walks on unimodular random graphs.

preprint2010arXiv

Random paths with bounded local time

We consider one-dimensional Brownian motion conditioned (in a suitable sense) to have a local time at every point and at every moment bounded by some fixed constant. Our main result shows that a phenomenon of entropic repulsion occurs: that is, this process is ballistic and has an asymptotic velocity approximately 4.58... as high as required by the conditioning (the exact value of this constant involves the first zero of a Bessel function). We also study the random walk case and show that the process is asymptotically ballistic but with an unknown speed.

preprint2010arXiv

Tightness of Fluctuations of First Passage Percolation on Some Large Graphs

The theorem of Dekking and Host regarding tightness around the mean of first passage percolation on the binary tree, from the root to a boundary of a ball, is generalized to a class of graphs which includes all lattices in hyperbolic spaces and the lamplighter graph over N. This class of graphs is closed under product with any bounded degree graph. Few open problems and conjectures are gathered at the end.

preprint2009arXiv

Entropy of Random Walk Range

We study the entropy of the set traced by an $n$-step random walk on $\Z^d$. We show that for $d \geq 3$, the entropy is of order $n$. For $d = 2$, the entropy is of order $n/\log^2 n$. These values are essentially governed by the size of the boundary of the trace.

preprint2009arXiv

Poisson asymptotics for random projections of points on a high-dimensional sphere

Project a collection of points on the high-dimensional sphere onto a random direction. If most of the points are sufficiently far from one another in an appropriate sense, the projection is locally close in distribution to the Poisson point process.

preprint2008arXiv

Giant Component and Vacant Set for Random Walk on a Discrete Torus

We consider random walk on a discrete torus E of side-length N, in sufficiently high dimension d. We investigate the percolative properties of the vacant set corresponding to the collection of sites which have not been visited by the walk up to time uN^d. We show that when u is chosen small, as N tends to infinity, there is with overwhelming probability a unique connected component in the vacant set which contains segments of length const log N. Moreover, this connected component occupies a non-degenerate fraction of the total number of sites N^d of E, and any point of E lies within distance an arbitrary fractional power of N from this component.

preprint2008arXiv

Spacings and pair correlations for finite Bernoulli convolutions

We consider finite Bernoulli convolutions with a parameter $1/2 < r < 1$ supported on a discrete point set, generically of size $2^N$. These sequences are uniformly distributed with respect to the infinite Bernoulli convolution measure $ν_r$, as $N$ tends to infinity. Numerical evidence suggests that for a generic $r$, the distribution of spacings between appropriately rescaled points is Poissonian. We obtain some partial results in this direction; for instance, we show that, on average, the pair correlations do not exhibit attraction or repulsion in the limit. On the other hand, for certain algebraic $r$ the behavior is totally different.

preprint2007arXiv

Branching random walk with exponentially decreasing steps, and stochastically self-similar measures

We consider a Branching Random Walk on $\R$ whose step size decreases by a fixed factor, $0<b<1$, with each turn. This process generates a random probability measure on $\R$, that is, the limit of uniform distribution among the $2^n$ particles of the $n$-th step. We present an initial investigation of the limit measure and its support. We show, in particular, that (1) for almost every $b>1/2$ the limit measure is almost surely (a.s.) absolutely continuous with respect to the Lebesgue measure, but for Pisot $1/b$ it is a.s. singular; (2) for all $b > (\sqrt{5}-1)/2$ the support of the measure is a.s. the closure of its interior; (3) for Pisot $1/b$ the support of the measure is ``fractured'': it is a.s. disconnected and the components of the complement are not isolated on both sides.

preprint2006arXiv

Non-backtracking random walks mix faster

We compute the mixing rate of a non-backtracking random walk on a regular expander. Using some properties of Chebyshev polynomials of the second kind, we show that this rate may be up to twice as fast as the mixing rate of the simple random walk. The closer the expander is to a Ramanujan graph, the higher the ratio between the above two mixing rates is. As an application, we show that if $G$ is a high-girth regular expander on $n$ vertices, then a typical non-backtracking random walk of length $n$ on $G$ does not visit a vertex more than $(1+o(1))\frac{\log n}{\log\log n}$ times, and this result is tight. In this sense, the multi-set of visited vertices is analogous to the result of throwing $n$ balls to $n$ bins uniformly, in contrast to the simple random walk on $G$, which almost surely visits some vertex $Ω(\log n)$ times.

preprint2004arXiv

Balanced Boolean functions that can be evaluated so that every input bit is unlikely to be read

A Boolean function of n bits is balanced if it takes the value 1 with probability 1/2. We exhibit a balanced Boolean function with a randomized evaluation procedure (with probability 0 of making a mistake) so that on uniformly random inputs, no input bit is read with probability more than Theta(n^{-1/2} sqrt{log n}). We give a balanced monotone Boolean function for which the corresponding probability is Theta(n^{-1/3} log n). We then show that for any randomized algorithm for evaluating a balanced Boolean function, when the input bits are uniformly random, there is some input bit that is read with probability at least Theta(n^{-1/2}). For balanced monotone Boolean functions, there is some input bit that is read with probability at least Theta(n^{-1/3}).

preprint2004arXiv

Excited Random Walk

A random walk on Z^d is excited if the first time it visits a vertex there is a bias in one direction, but on subsequent visits to that vertex the walker picks a neighbor uniformly at random. We show that excited random walk on Z^d, is transient iff d>1.

preprint2002arXiv

Random walks that avoid their past convex hull

We introduce planar random walk conditioned to avoid its past convex hull, and we show that it escapes at a positive limsup speed. Experimental results show that fluctuations from a limiting direction are on the order of n^(3/4). This behavior is also observed for the extremal investor, a natural financial model related to the planar walk.

preprint1997arXiv

Paths with exponential intersection tails and oriented percolation

We show that oriented percolation occurs whenever a condition is satisfied called "exponential intersection tails". This condition says that a measure on paths exists for which the probability of two independent paths intersecting in more than k sites is exponentially small in k.

Itai Benjamini

What is connected

Connect this record

See the researcher in context

Building this map preview

57 published item(s)

Degrees in link graphs of regular graphs

Oriented Random Walk on the Heisenberg Group and Percolation

Triangulations of uniform subquadratic growth are quasi-trees

Hyperbolic self avoiding walk

An isoperimetric inequality for planar triangulations

Minimal growth harmonic functions on lamplighter groups

On the structure of graphs which are locally indistinguishable from a lattice

The mixing time of the giant component of a random graph

Where does a random process hit a fractal barrier?

An Upper bound on the growth of Dirichlet tilings of hyperbolic spaces

Bi-Lipschitz bijections of $\mathbb{Z}$

Disorder, entropy and harmonic functions

First passage percolation on nilpotent Cayley graphs and beyond

Homogenization via sprinkling

Juntas in the $\ell^{1}$-grid and Lipschitz maps between discrete tori

Percolation and coarse conformal uniformization

Site recurrence for coalescing random walk

Acquaintance Time of a Graph

Anchored expansion, speed, and the hyperbolic Poisson Voronoi tessellation

Ergodic Theory on Stationary Random Graphs

Recurrence of the $ \mathbb{Z}^d$-valued infinite snake via unimodularity

A generalized Polya's urn with graph based interactions

Annihilation and coalescence on binary trees

Bi-Lipschitz Bijection between the Boolean Cube and the Hamming Ball

Counting bats

Algebraically recurrent random walks on groups

Balanced allocation: Memory performance tradeoffs

Maximal Arithmetic Progressions in Random Subsets

On K-wise Independent Distributions and Boolean Functions

Perturbing the hexagonal circle packing: a percolation perspective

Sharp threshold for percolation on expanders

Simple random walk on the uniform infinite planar quadrangulation: Subdiffusivity via pioneer points

The Liouville and the intersection properties are equivalent for planar graphs

Uniqueness of percolation on products with Z

Convex Hulls in the Hyperbolic Space

Cutpoints and resistance of random walk paths

On the separation profile of infinite graphs

A balanced excited random walk

An integral test for the transience of a Brownian path with limited local time

Growth and isoperimetric profile of planar graphs

Lack of Sphere Packing of Graphs via Non-Linear Potential Theory

Linear Cover Time is Exponentially Unlikely

Nonamenable Liouville Graphs

On limits of Graphs Sphere Packed in Euclidean Space and Applications

On the trace of branching random walks

Random paths with bounded local time

Tightness of Fluctuations of First Passage Percolation on Some Large Graphs

Entropy of Random Walk Range

Poisson asymptotics for random projections of points on a high-dimensional sphere

Giant Component and Vacant Set for Random Walk on a Discrete Torus

Spacings and pair correlations for finite Bernoulli convolutions

Branching random walk with exponentially decreasing steps, and stochastically self-similar measures

Non-backtracking random walks mix faster

Balanced Boolean functions that can be evaluated so that every input bit is unlikely to be read

Excited Random Walk

Random walks that avoid their past convex hull

Paths with exponential intersection tails and oriented percolation