-
Long-term balanced allocation via thinning
Authors:
Ohad N. Feldheim,
Ori Gurel-Gurevich,
Jiange Li
Abstract:
We study the long-term behavior of the two-thinning variant of the classical balls-and-bins model. In this model, an overseer is provided with uniform random allocation of $m$ balls into $n$ bins in an on-line fashion. For each ball, the overseer could reject its allocation and place the ball into a new bin drawn independently at random. The purpose of the overseer is to reduce the maximum load of…
▽ More
We study the long-term behavior of the two-thinning variant of the classical balls-and-bins model. In this model, an overseer is provided with uniform random allocation of $m$ balls into $n$ bins in an on-line fashion. For each ball, the overseer could reject its allocation and place the ball into a new bin drawn independently at random. The purpose of the overseer is to reduce the maximum load of the bins, which is defined as the difference between the maximum number of balls in a single bin and $m/n$, i.e., the average number of balls among all bins.
We provide tight estimates for three quantities: the lowest maximum load that could be achieved at time $m$, the lowest maximum load that could be achieved uniformly over the entire time interval $[m]:=\{1, 2, \cdots, m\}$, and the lowest \emph{typical} maximum load that could be achieved over the interval $[m]$, where the typicality means that the maximum load holds for $1-o(1)$ portion of the times in $[m]$.
We show that when $m$ and $n$ are sufficiently large, a typical maximum load of $(\log n)^{1/2+o(1)}$ can be achieved with high probability, asymptotically the same as the optimal maximum load that could be achieved at time $m$. However, for any strategy, the maximal load among all times in the interval $[m]$ is $Ω\big(\frac{\log n}{\log\log n}\big)$ with high probability. A strategy achieving this bound is provided.
An explanation for this gap is provided by our optimal strategies as follows. To control the typical load, we restrain the maximum load for some time, during which we accumulate more and more bins with relatively high load. After a while, we have to employ for a short time a different strategy to reduce the number of relatively heavily loaded bins, at the expanse of temporarily inducing high load in a few bins.
△ Less
Submitted 11 October, 2021;
originally announced October 2021.
-
Recurrence of a Weighted Random Walk on a Circle Packing with Parabolic Carrier
Authors:
Ori Gurel-Gurevich,
Matan Seidel
Abstract:
In this paper we show that given a circle packing of an infinite planar triangulation such that its carrier is parabolic, placing weights on the edges according to a certain natural way introduced by Dubejko, makes the random walk recurrent. We also propose a higher-dimensional analogue of the Dubejko weights.
In this paper we show that given a circle packing of an infinite planar triangulation such that its carrier is parabolic, placing weights on the edges according to a certain natural way introduced by Dubejko, makes the random walk recurrent. We also propose a higher-dimensional analogue of the Dubejko weights.
△ Less
Submitted 28 October, 2019;
originally announced October 2019.
-
A Note on Costs Minimization with Stochastic Target Constraints
Authors:
Yan Dolinsky,
Benjamin Gottesman,
Ori Gurel-Gurevich
Abstract:
We study the minimization of the expected costs under stochastic constraint at the terminal time. The first and the main result says that for a power type of costs, the value function is the minimal positive solution of a second order semi--linear ordinary differential equation (ODE). Moreover, we establish the optimal control. In the second example we show that the case of exponential costs leads…
▽ More
We study the minimization of the expected costs under stochastic constraint at the terminal time. The first and the main result says that for a power type of costs, the value function is the minimal positive solution of a second order semi--linear ordinary differential equation (ODE). Moreover, we establish the optimal control. In the second example we show that the case of exponential costs leads to a trivial optimal control.
△ Less
Submitted 27 January, 2020; v1 submitted 4 July, 2019;
originally announced July 2019.
-
The Dirichlet problem for orthodiagonal maps
Authors:
Ori Gurel-Gurevich,
Daniel C. Jerison,
Asaf Nachmias
Abstract:
We prove that the discrete harmonic function corresponding to smooth Dirichlet boundary conditions on orthodiagonal maps, that is, plane graphs having quadrilateral faces with orthogonal diagonals, converges to its continuous counterpart as the mesh size goes to 0. This provides a convergence statement for discrete holomorphic functions, similar to the one obtained by Chelkak and Smirnov for isora…
▽ More
We prove that the discrete harmonic function corresponding to smooth Dirichlet boundary conditions on orthodiagonal maps, that is, plane graphs having quadrilateral faces with orthogonal diagonals, converges to its continuous counterpart as the mesh size goes to 0. This provides a convergence statement for discrete holomorphic functions, similar to the one obtained by Chelkak and Smirnov for isoradial graphs. We observe that by the double circle packing theorem, any finite, simple, 3-connected planar map admits an orthodiagonal representation.
Our result improves the work of Skopenkov and Werness by drop** all regularity assumptions required in their work and providing effective bounds. In particular, no bound on the vertex degrees is required. Thus, the result can be applied to models of random planar maps that with high probability admit orthodiagonal representation with mesh size tending to 0. In a companion paper, we show that this can be done for the discrete mating-of-trees random map model of Duplantier, Gwynne, Miller and Sheffield.
△ Less
Submitted 4 June, 2019;
originally announced June 2019.
-
A combinatorial criterion for macroscopic circles in planar triangulations
Authors:
Ori Gurel-Gurevich,
Daniel C. Jerison,
Asaf Nachmias
Abstract:
Given a finite simple triangulation, we estimate the sizes of circles in its circle packing in terms of Cannon's vertex extremal length. Our estimates provide control over the size of the largest circle in the packing. We use them, combined with results from [12], to prove that in a proper circle packing of the discrete mating-of-trees random map model of Duplantier, Gwynne, Miller and Sheffield,…
▽ More
Given a finite simple triangulation, we estimate the sizes of circles in its circle packing in terms of Cannon's vertex extremal length. Our estimates provide control over the size of the largest circle in the packing. We use them, combined with results from [12], to prove that in a proper circle packing of the discrete mating-of-trees random map model of Duplantier, Gwynne, Miller and Sheffield, the size of the largest circle goes to zero with high probability.
△ Less
Submitted 4 June, 2019;
originally announced June 2019.
-
The power of thinning in balanced allocation
Authors:
Ohad N. Feldheim,
Ori Gurel-Gurevich
Abstract:
Balls are sequentially allocated into $n$ bins as follows: for each ball, an independent, uniformly random bin is generated. An overseer may then choose to either allocate the ball to this bin, or else the ball is allocated to a new independent uniformly random bin. The goal of the overseer is to reduce the load of the most heavily loaded bin after $Θ(n)$ balls have been allocated. We provide an a…
▽ More
Balls are sequentially allocated into $n$ bins as follows: for each ball, an independent, uniformly random bin is generated. An overseer may then choose to either allocate the ball to this bin, or else the ball is allocated to a new independent uniformly random bin. The goal of the overseer is to reduce the load of the most heavily loaded bin after $Θ(n)$ balls have been allocated. We provide an asymptotically optimal strategy yielding a maximum load of $(1+o(1))\sqrt{\frac{8\log n}{\log\log n}}$ balls.
△ Less
Submitted 3 July, 2018;
originally announced July 2018.
-
Optimal broadcasting in networks with faulty nodes
Authors:
Yoel Grinshpon,
Ori Gurel-Gurevich
Abstract:
Large computer networks are an essential part of modern technology, and quite often information needs to be broadcast to all the computers in the network. If all computers work perfectly all the time, this is simple. Suppose, however, that some of the computers fail occasionally. What is the fastest way to ensure that with high probability all working computers get the information?
In this paper…
▽ More
Large computer networks are an essential part of modern technology, and quite often information needs to be broadcast to all the computers in the network. If all computers work perfectly all the time, this is simple. Suppose, however, that some of the computers fail occasionally. What is the fastest way to ensure that with high probability all working computers get the information?
In this paper, we analyze three algorithms to do so. All algorithms terminate in logarithmic time, assuming computers fail with probability $1-p$ independently of each other. We prove that the third algorithm, which runs in time $(1+o(1))(\frac{\log N}{\log(1+p)})$, is asymptotically optimal.
△ Less
Submitted 14 September, 2017;
originally announced September 2017.
-
A density version for Häggström's theorem
Authors:
Itai Benjamini,
Ori Gurel-Gurevich
Abstract:
Given invariant percolation on a regular tree, where the probability of an edge to be open equals $p$, is it always possible to find an infinite self-avoiding path along which the density of open edges is bigger then $p$?
Given invariant percolation on a regular tree, where the probability of an edge to be open equals $p$, is it always possible to find an infinite self-avoiding path along which the density of open edges is bigger then $p$?
△ Less
Submitted 15 February, 2017;
originally announced February 2017.
-
The power of online thinning in reducing discrepancy
Authors:
Raaz Dwivedi,
Ohad N. Feldheim,
Ori Gurel-Gurevich,
Aaditya Ramdas
Abstract:
Consider an infinite sequence of independent, uniformly chosen points from $[0,1]^d$. After looking at each point in the sequence, an overseer is allowed to either keep it or reject it, and this choice may depend on the locations of all previously kept points. However, the overseer must keep at least one of every two consecutive points. We call a sequence generated in this fashion a \emph{two-thin…
▽ More
Consider an infinite sequence of independent, uniformly chosen points from $[0,1]^d$. After looking at each point in the sequence, an overseer is allowed to either keep it or reject it, and this choice may depend on the locations of all previously kept points. However, the overseer must keep at least one of every two consecutive points. We call a sequence generated in this fashion a \emph{two-thinning} sequence. Here, the purpose of the overseer is to control the discrepancy of the empirical distribution of points, that is, after selecting $n$ points, to reduce the maximal deviation of the number of points inside any axis-parallel hyper-rectangle of volume $A$ from $nA$. Our main result is an explicit low complexity two-thinning strategy which guarantees discrepancy of $O(\log^{2d+1} n)$ for all $n$ with high probability (compare with $Θ(\sqrt{n\log\log n})$ without thinning). The case $d=1$ of this result answers a question of Benjamini.
We also extend the construction to achieve the same asymptotic bound for ($1+β$)-thinning, a set-up in which rejecting is only allowed with probability $β$ independently for each point. In addition, we suggest an improved and simplified strategy which we conjecture to guarantee discrepancy of $O(\log^{d+1} n)$ (compare with $θ(\log^d n)$, the best known construction of a low discrepancy sequence). Finally, we provide theoretical and empirical evidence for our conjecture, and provide simulations supporting the viability of our construction for applications.
△ Less
Submitted 4 September, 2017; v1 submitted 9 August, 2016;
originally announced August 2016.
-
Site recurrence for coalescing random walk
Authors:
Itai Benjamini,
Eric Foxall,
Ori Gurel-Gurevich,
Matthew Junge,
Harry Kesten
Abstract:
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 con…
▽ More
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.
△ Less
Submitted 15 October, 2015;
originally announced October 2015.
-
Recurrence of multiply-ended planar triangulations
Authors:
Ori Gurel-Gurevich,
Asaf Nachmias,
Juan Souto
Abstract:
In this note we show that a bounded degree planar triangulation is recurrent if and only if the set of accumulation points of some/any circle packing of it is polar (that is, planar Brownian motion avoids it with probability 1). This generalizes a theorem of He and Schramm [6] who proved it when the set of accumulation points is either empty or a Jordan curve, in which case the graph has one end.…
▽ More
In this note we show that a bounded degree planar triangulation is recurrent if and only if the set of accumulation points of some/any circle packing of it is polar (that is, planar Brownian motion avoids it with probability 1). This generalizes a theorem of He and Schramm [6] who proved it when the set of accumulation points is either empty or a Jordan curve, in which case the graph has one end. We also show that this statement holds for any straight-line embedding with angles uniformly bounded away from 0.
△ Less
Submitted 31 May, 2015;
originally announced June 2015.
-
Random Walk in Changing Environment
Authors:
Gideon Amir,
Itai Benjamini,
Ori Gurel-Gurevich,
Gady Kozma
Abstract:
In this paper we introduce the notion of Random Walk in Changing Environment - a random walk in which each step is performed in a different graph on the same set of vertices, or more generally, a weighted random walk on the same vertex and edge sets but with different (possibly 0) weights in each step. This is a very wide class of RW, which includes some well known types of RW as special cases (e.…
▽ More
In this paper we introduce the notion of Random Walk in Changing Environment - a random walk in which each step is performed in a different graph on the same set of vertices, or more generally, a weighted random walk on the same vertex and edge sets but with different (possibly 0) weights in each step. This is a very wide class of RW, which includes some well known types of RW as special cases (e.g. reinforced RW, true SAW). We define and explore various possible properties of such walks, and provide criteria for recurrence and transience when the underlying graph is $\mathbb{N}$ or a tree. We provide an example of such a process on $\mathbb{Z}^2$ where conductances can only change from $1$ to $2$ (once for each edge) but nevertheless the walk is transient, and conjecture that such behaviour cannot happen when the weights are chosen in advance, that is, do not depend on the location of the RW.
△ Less
Submitted 4 July, 2017; v1 submitted 19 April, 2015;
originally announced April 2015.
-
Boundaries of planar graphs, via circle packings
Authors:
Omer Angel,
Martin T. Barlow,
Ori Gurel-Gurevich,
Asaf Nachmias
Abstract:
We provide a geometric representation of the Poisson and Martin boundaries of a transient, bounded degree triangulation of the plane in terms of its circle packing in the unit disc. (This packing is unique up to Möbius transformations.) More precisely, we show that any bounded harmonic function on the graph is the harmonic extension of some measurable function on the boundary of the disk, and that…
▽ More
We provide a geometric representation of the Poisson and Martin boundaries of a transient, bounded degree triangulation of the plane in terms of its circle packing in the unit disc. (This packing is unique up to Möbius transformations.) More precisely, we show that any bounded harmonic function on the graph is the harmonic extension of some measurable function on the boundary of the disk, and that the space of extremal positive harmonic functions, that is, the Martin boundary, is homeomorphic to the unit circle. All our results hold more generally for any "good"-embedding of planar graphs, that is, an embedding in the unit disc with straight lines such that angles are bounded away from $0$ and $π$ uniformly, and lengths of adjacent edges are comparable. Furthermore, we show that in a good embedding of a planar graph the probability that a random walk exits a disc through a sufficiently wide arc is at least a constant, and that Brownian motion on such graphs takes time of order $r^2$ to exit a disc of radius $r$. These answer a question recently posed by Chelkak (2014).
△ Less
Submitted 27 June, 2016; v1 submitted 13 November, 2013;
originally announced November 2013.
-
Localization for controlled random walks and martingales
Authors:
Ori Gurel-Gurevich,
Yuval Peres,
Ofer Zeitouni
Abstract:
We consider controlled random walks that are martingales with uniformly bounded increments and nontrivial jump probabilities and show that such walks can be constructed so that P(S_n^u=0) decays at polynomial rate n^{-α} where α>0 can be arbitrarily small. We also show, by means of a general delocalization lemma for martingales, which is of independent interest, that slower than polynomial decay i…
▽ More
We consider controlled random walks that are martingales with uniformly bounded increments and nontrivial jump probabilities and show that such walks can be constructed so that P(S_n^u=0) decays at polynomial rate n^{-α} where α>0 can be arbitrarily small. We also show, by means of a general delocalization lemma for martingales, which is of independent interest, that slower than polynomial decay is not possible.
△ Less
Submitted 17 September, 2013;
originally announced September 2013.
-
Recurrence of planar graph limits
Authors:
Ori Gurel-Gurevich,
Asaf Nachmias
Abstract:
We prove that any distributional limit of finite planar graphs in which the degree of the root has an exponential tail is almost surely recurrent. As a corollary, we obtain that the uniform infinite planar triangulation and quadrangulation (UIPT and UIPQ) are almost surely recurrent, resolving a conjecture of Angel, Benjamini and Schramm.
We also settle another related problem of Benjamini and S…
▽ More
We prove that any distributional limit of finite planar graphs in which the degree of the root has an exponential tail is almost surely recurrent. As a corollary, we obtain that the uniform infinite planar triangulation and quadrangulation (UIPT and UIPQ) are almost surely recurrent, resolving a conjecture of Angel, Benjamini and Schramm.
We also settle another related problem of Benjamini and Schramm. We show that in any bounded degree, finite planar graph the probability that the simple random walk started at a uniform random vertex avoids its initial location for T steps is at most C/log T.
△ Less
Submitted 4 June, 2012;
originally announced June 2012.
-
On K-wise Independent Distributions and Boolean Functions
Authors:
Itai Benjamini,
Ori Gurel-Gurevich,
Ron Peled
Abstract:
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…
▽ More
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.
△ Less
Submitted 16 January, 2012;
originally announced January 2012.
-
Linear Cover Time is Exponentially Unlikely
Authors:
Itai Benjamini,
Ori Gurel-Gurevich,
Ben Morris
Abstract:
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…
▽ More
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.
△ Less
Submitted 13 November, 2010;
originally announced November 2010.
-
Finding Hidden Cliques in Linear Time with High Probability
Authors:
Yael Dekel,
Ori Gurel-Gurevich,
Yuval Peres
Abstract:
We are given a graph $G$ with $n$ vertices, where a random subset of $k$ vertices has been made into a clique, and the remaining edges are chosen independently with probability $\tfrac12$. This random graph model is denoted $G(n,\tfrac12,k)$. The hidden clique problem is to design an algorithm that finds the $k$-clique in polynomial time with high probability. An algorithm due to Alon, Krivelevich…
▽ More
We are given a graph $G$ with $n$ vertices, where a random subset of $k$ vertices has been made into a clique, and the remaining edges are chosen independently with probability $\tfrac12$. This random graph model is denoted $G(n,\tfrac12,k)$. The hidden clique problem is to design an algorithm that finds the $k$-clique in polynomial time with high probability. An algorithm due to Alon, Krivelevich and Sudakov uses spectral techniques to find the hidden clique with high probability when $k = c \sqrt{n}$ for a sufficiently large constant $c > 0$. Recently, an algorithm that solves the same problem was proposed by Feige and Ron. It has the advantages of being simpler and more intuitive, and of an improved running time of $O(n^2)$. However, the analysis in the paper gives success probability of only $2/3$. In this paper we present a new algorithm for finding hidden cliques that both runs in time $O(n^2)$, and has a failure probability that is less than polynomially small.
△ Less
Submitted 14 October, 2010;
originally announced October 2010.
-
Nonconcentration of return times
Authors:
Ori Gurel-Gurevich,
Asaf Nachmias
Abstract:
We show that the distribution of the first return time $τ$ to the origin, v, of a simple random walk on an infinite recurrent graph is heavy tailed and nonconcentrated. More precisely, if $d_v$ is the degree of v, then for any $t\geq1$ we have \[\mathbf{P}_v(τ\ge t)\ge\frac{c}{d_v\sqrt{t}}\] and \[\mathbf{P}_v(τ=t\midτ\geq t)\leq\frac{C\log(d_vt)}{t}\] for some universal constants $c>0$ and…
▽ More
We show that the distribution of the first return time $τ$ to the origin, v, of a simple random walk on an infinite recurrent graph is heavy tailed and nonconcentrated. More precisely, if $d_v$ is the degree of v, then for any $t\geq1$ we have \[\mathbf{P}_v(τ\ge t)\ge\frac{c}{d_v\sqrt{t}}\] and \[\mathbf{P}_v(τ=t\midτ\geq t)\leq\frac{C\log(d_vt)}{t}\] for some universal constants $c>0$ and $C<\infty$. The first bound is attained for all t when the underlying graph is $\mathbb{Z}$, and as for the second bound, we construct an example of a recurrent graph G for which it is attained for infinitely many t's. Furthermore, we show that in the comb product of that graph G with $\mathbb{Z}$, two independent random walks collide infinitely many times almost surely. This answers negatively a question of Krishnapur and Peres [Electron. Commun. Probab. 9 (2004) 72-81] who asked whether every comb product of two infinite recurrent graphs has the finite collision property.
△ Less
Submitted 18 March, 2013; v1 submitted 7 September, 2010;
originally announced September 2010.
-
Optimal whitespace synchronization strategies
Authors:
Yossi Azar,
Ori Gurel-Gurevich,
Eyal Lubetzky,
Thomas Moscibroda
Abstract:
The whitespace-discovery problem describes two parties, Alice and Bob, trying to establish a communication channel over one of a given large segment of whitespace channels. Subsets of the channels are occupied in each of the local environments surrounding Alice and Bob, as well as in the global environment between them (Eve). In the absence of a common clock for the two parties, the goal is to dev…
▽ More
The whitespace-discovery problem describes two parties, Alice and Bob, trying to establish a communication channel over one of a given large segment of whitespace channels. Subsets of the channels are occupied in each of the local environments surrounding Alice and Bob, as well as in the global environment between them (Eve). In the absence of a common clock for the two parties, the goal is to devise time-invariant (stationary) strategies minimizing the synchronization time. This emerged from recent applications in discovery of wireless devices.
We model the problem as follows. There are $N$ channels, each of which is open (unoccupied) with probability $p_1,p_2,q$ independently for Alice, Bob and Eve respectively. Further assume that $N \gg 1/(p_1 p_2 q)$ to allow for sufficiently many open channels. Both Alice and Bob can detect which channels are locally open and every time-slot each of them chooses one such channel for an attempted sync. One aims for strategies that, with high probability over the environments, guarantee a shortest possible expected sync time depending only on the $p_i$'s and $q$.
Here we provide a stationary strategy for Alice and Bob with a guaranteed expected sync time of $O(1 / (p_1 p_2 q^2))$ given that each party also has knowledge of $p_1,p_2,q$. When the parties are oblivious of these probabilities, analogous strategies incur a cost of a poly-log factor, i.e.\ $\tilde{O}(1 / (p_1 p_2 q^2))$. Furthermore, this performance guarantee is essentially optimal as we show that any stationary strategies of Alice and Bob have an expected sync time of at least $Ω(1/(p_1 p_2 q^2))$.
△ Less
Submitted 16 June, 2010;
originally announced June 2010.
-
Poisson Thickening
Authors:
Ori Gurel-Gurevich,
Ron Peled
Abstract:
Let X be a Poisson point process of intensity lambda on the real line. A thickening of it is a (deterministic) measurable function f such that the union of X and f(X) is a Poisson point process of intensity lambda' where lambda'>lambda. An equivariant thickening is a thickening which commutes with all shifts of the line. We show that a thickening exists but an equivariant thickening does not. We p…
▽ More
Let X be a Poisson point process of intensity lambda on the real line. A thickening of it is a (deterministic) measurable function f such that the union of X and f(X) is a Poisson point process of intensity lambda' where lambda'>lambda. An equivariant thickening is a thickening which commutes with all shifts of the line. We show that a thickening exists but an equivariant thickening does not. We prove similar results for thickenings which commute only with integer shifts and in the discrete and multi-dimensional settings. This answers 3 questions of Holroyd, Lyons and Soo.
We briefly consider also a much more general setup in which we ask for the existence of a deterministic coupling satisfying a relation between two probability measures. We present a conjectured sufficient condition for the existence of such couplings.
△ Less
Submitted 16 March, 2013; v1 submitted 28 November, 2009;
originally announced November 2009.
-
On Fixation of Activated Random Walks
Authors:
Gideon Amir,
Ori Gurel-Gurevich
Abstract:
We prove that for the Activated Random Walks model on transitive unimodular graphs, if there is fixation, then every particle eventually fixates, almost surely. We deduce that the critical density is at most 1.
Our methods apply for much more general processes on unimodular graphs. Roughly put, our result apply whenever the path of each particle has an automorphism invariant distribution and i…
▽ More
We prove that for the Activated Random Walks model on transitive unimodular graphs, if there is fixation, then every particle eventually fixates, almost surely. We deduce that the critical density is at most 1.
Our methods apply for much more general processes on unimodular graphs. Roughly put, our result apply whenever the path of each particle has an automorphism invariant distribution and is independent of other particles' paths, and the interaction between particles is automorphism invariant and local. This allows us to answer a question of Rolla and Sidoravicius, in a more general setting then had been previously known (by Shellef).
△ Less
Submitted 22 October, 2009; v1 submitted 19 October, 2009;
originally announced October 2009.
-
Stationary map coloring
Authors:
Omer Angel,
Itai Benjamini,
Ori Gurel-Gurevich,
Tom Meyerovitch,
Ron Peled
Abstract:
We consider a planar Poisson process and its associated Voronoi map. We show that there is a proper coloring with 6 colors of the map which is a deterministic isometry-equivariant function of the Poisson process. As part of the proof we show that the 6-core of the corresponding Delaunay triangulation is empty.
Generalizations, extensions and some open questions are discussed.
We consider a planar Poisson process and its associated Voronoi map. We show that there is a proper coloring with 6 colors of the map which is a deterministic isometry-equivariant function of the Poisson process. As part of the proof we show that the 6-core of the corresponding Delaunay triangulation is empty.
Generalizations, extensions and some open questions are discussed.
△ Less
Submitted 15 May, 2009;
originally announced May 2009.
-
Cutpoints and resistance of random walk paths
Authors:
Itai Benjamini,
Ori Gurel-Gurevich,
Oded Schramm
Abstract:
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 C…
▽ More
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].
△ Less
Submitted 8 April, 2011; v1 submitted 1 February, 2009;
originally announced February 2009.
-
Choice-memory tradeoff in allocations
Authors:
Noga Alon,
Ori Gurel-Gurevich,
Eyal Lubetzky
Abstract:
In the classical balls-and-bins paradigm, where $n$ balls are placed independently and uniformly in $n$ bins, typically the number of bins with at least two balls in them is $Θ(n)$ and the maximum number of balls in a bin is $Θ(\frac{\log n}{\log \log n})$. It is well known that when each round offers $k$ independent uniform options for bins, it is possible to typically achieve a constant maximal…
▽ More
In the classical balls-and-bins paradigm, where $n$ balls are placed independently and uniformly in $n$ bins, typically the number of bins with at least two balls in them is $Θ(n)$ and the maximum number of balls in a bin is $Θ(\frac{\log n}{\log \log n})$. It is well known that when each round offers $k$ independent uniform options for bins, it is possible to typically achieve a constant maximal load if and only if $k=Ω(\log n)$. Moreover, it is possible w.h.p. to avoid any collisions between $n/2$ balls if $k>\log_2n$. In this work, we extend this into the setting where only $m$ bits of memory are available. We establish a tradeoff between the number of choices $k$ and the memory $m$, dictated by the quantity $km/n$. Roughly put, we show that for $km\gg n$ one can achieve a constant maximal load, while for $km\ll n$ no substantial improvement can be gained over the case $k=1$ (i.e., a random allocation). For any $k=Ω(\log n)$ and $m=Ω(\log^2n)$, one can achieve a constant load w.h.p. if $km=Ω(n)$, yet the load is unbounded if $km=o(n)$. Similarly, if $km>Cn$ then $n/2$ balls can be allocated without any collisions w.h.p., whereas for $km<εn$ there are typically $Ω(n)$ collisions. Furthermore, we show that the load is w.h.p. at least $\frac{\log(n/m)}{\log k+\log\log(n/m)}$. In particular, for $k\leq\operatorname {polylog}(n)$, if $m=n^{1-δ}$ the optimal maximal load is $Θ(\frac{\log n}{\log\log n})$ (the same as in the case $k=1$), while $m=2n$ suffices to ensure a constant load. Finally, we analyze nonadaptive allocation algorithms and give tight upper and lower bounds for their performance.
△ Less
Submitted 21 October, 2010; v1 submitted 26 January, 2009;
originally announced January 2009.
-
Pursuit-Evasion Games with Incomplete Information in Discrete Time
Authors:
Ori Gurel-Gurevich
Abstract:
Pursuit-Evasion Games (in discrete time) are stochastic games with nonnegative daily payoffs, with the final payoff being the cumulative sum of payoffs during the game. We show that such games admit a value even in the presence of incomplete information and that this value is uniform, i.e. there are epsilon-optimal strategies for both players that are epsilon-optimal in any long enough prefix of…
▽ More
Pursuit-Evasion Games (in discrete time) are stochastic games with nonnegative daily payoffs, with the final payoff being the cumulative sum of payoffs during the game. We show that such games admit a value even in the presence of incomplete information and that this value is uniform, i.e. there are epsilon-optimal strategies for both players that are epsilon-optimal in any long enough prefix of the game. We give an example to demonstrate that nonnegativity is essential and expand the results to leavable games.
△ Less
Submitted 19 August, 2007;
originally announced August 2007.
-
The Biham-Middleton-Levine traffic model for a single junction
Authors:
Itai Benjamini,
Ori Gurel-Gurevich,
Roey Izkovsky
Abstract:
In the Biham-Middleton-Levine traffic model cars are placed with some density p on a two dimensional torus, and move according to a (simple) set of predefined rules. Computer simulations show this system exhibits many interesting phenomena: for low densities the system self organizes such that cars flow freely while for densities higher than some critical density the system gets stuck in an endl…
▽ More
In the Biham-Middleton-Levine traffic model cars are placed with some density p on a two dimensional torus, and move according to a (simple) set of predefined rules. Computer simulations show this system exhibits many interesting phenomena: for low densities the system self organizes such that cars flow freely while for densities higher than some critical density the system gets stuck in an endless traffic jam. However, apart from the simulation results very few properties of the system were proven rigorously to date. We introduce a simplified version of this model in which cars are placed in a single row and column (a junction) and show that similar phenomena of self-organization of the system and phase transition still occur.
△ Less
Submitted 11 September, 2007; v1 submitted 7 March, 2007;
originally announced March 2007.
-
The diameter of a random Cayley graph of Z_q
Authors:
Gideon Amir,
Ori Gurel-Gurevich
Abstract:
Consider the Cayley graph of the cyclic group of prime order q with k uniformly chosen generators. For fixed k, we prove that the diameter of said graph is asymptotically (in q) of order q^(1/k).
The same also holds when the generating set is taken to be a symmetric set of size 2k.
Consider the Cayley graph of the cyclic group of prime order q with k uniformly chosen generators. For fixed k, we prove that the diameter of said graph is asymptotically (in q) of order q^(1/k).
The same also holds when the generating set is taken to be a symmetric set of size 2k.
△ Less
Submitted 4 October, 2009; v1 submitted 21 September, 2006;
originally announced September 2006.
-
Branching random walk with exponentially decreasing steps, and stochastically self-similar measures
Authors:
Itai Benjamini,
Ori Gurel-Gurevich,
Boris Solomyak
Abstract:
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$ th…
▽ More
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.
△ Less
Submitted 30 May, 2007; v1 submitted 10 August, 2006;
originally announced August 2006.
-
Recurrence of random walk traces
Authors:
Itai Benjamini,
Ori Gurel-Gurevich,
Russell Lyons
Abstract:
We show that the edges crossed by a random walk in a network form a recurrent graph a.s. In fact, the same is true when those edges are weighted by the number of crossings.
We show that the edges crossed by a random walk in a network form a recurrent graph a.s. In fact, the same is true when those edges are weighted by the number of crossings.
△ Less
Submitted 26 July, 2007; v1 submitted 2 March, 2006;
originally announced March 2006.
-
Giant Components in Biased Graph Processes
Authors:
Gideon Amir,
Ori Gurel-Gurevich,
Eyal Lubetzky,
Amit Singer
Abstract:
A random graph process, $\Gorg[1](n)$, is a sequence of graphs on $n$ vertices which begins with the edgeless graph, and where at each step a single edge is added according to a uniform distribution on the missing edges. It is well known that in such a process a giant component (of linear size) typically emerges after $(1+o(1))\frac{n}{2}$ edges (a phenomenon known as ``the double jump''), i.e.,…
▽ More
A random graph process, $\Gorg[1](n)$, is a sequence of graphs on $n$ vertices which begins with the edgeless graph, and where at each step a single edge is added according to a uniform distribution on the missing edges. It is well known that in such a process a giant component (of linear size) typically emerges after $(1+o(1))\frac{n}{2}$ edges (a phenomenon known as ``the double jump''), i.e., at time $t=1$ when using a timescale of $n/2$ edges in each step.
We consider a generalization of this process, $\Gorg[K](n)$, which gives a weight of size 1 to missing edges between pairs of isolated vertices, and a weight of size $K \in [0,\infty)$ otherwise. This corresponds to a case where links are added between $n$ initially isolated settlements, where the probability of a new link in each step is biased according to whether or not its two endpoint settlements are still isolated.
Combining methods of \cite{SpencerWormald} with analytical techniques, we describe the typical emerging time of a giant component in this process, $t_c(K)$, as the singularity point of a solution to a set of differential equations. We proceed to analyze these differential equations and obtain properties of $\Gorg$, and in particular, we show that $t_c(K)$ strictly decreases from 3/2 to 0 as $K$ increases from 0 to $\infty$, and that $t_c(K) = \frac{4}{\sqrt{3K}}(1 + o(1))$. Numerical approximations of the differential equations agree both with computer simulations of the process $\Gorg(n)$ and with the analytical results.
△ Less
Submitted 26 November, 2008; v1 submitted 21 November, 2005;
originally announced November 2005.
-
Almost Sure Recurrence of the Simple Random Walk Path
Authors:
Itai Benjamini,
Ori Gurel-Gurevich
Abstract:
It is shown that the path of a simple random walk on any graph, consisting of all vertices visited and edges crossed by the walk, is almost surely a recurrent subgraph.
It is shown that the path of a simple random walk on any graph, consisting of all vertices visited and edges crossed by the walk, is almost surely a recurrent subgraph.
△ Less
Submitted 4 August, 2008; v1 submitted 15 August, 2005;
originally announced August 2005.
