Showing 1–35 of 35 results for author: Procaccia, E B

On one-dimensional Cluster cluster model

Authors: Noam Berger, Eviatar B. Procaccia, Daniel Sharon

Abstract: The Cluster-cluster model was introduced by Meakin et al in 1984. Each $x\in \mathbb{Z}^d$ starts with a cluster of size 1 with probability $p \in (0,1]$ independently. Each cluster $C$ performs a continuous-time SRW with rate $|C|^{-α}$. If it attempts to move to a vertex occupied by another cluster, it does not move, and instead the two clusters connect via a new edge. Focusing on dimension… ▽ More The Cluster-cluster model was introduced by Meakin et al in 1984. Each $x\in \mathbb{Z}^d$ starts with a cluster of size 1 with probability $p \in (0,1]$ independently. Each cluster $C$ performs a continuous-time SRW with rate $|C|^{-α}$. If it attempts to move to a vertex occupied by another cluster, it does not move, and instead the two clusters connect via a new edge. Focusing on dimension $d=1$, we show that for $α>-2$, at time $t$, the cluster size is of order $t^\frac{1}{α+ 2}$, and for $α< -2$ we get an infinite cluster in finite time a.s. Additionally, for $α= 0$ we show convergence in distribution of the scaling limit. △ Less

Submitted 4 July, 2025; originally announced July 2025.

Comments: 20 pages, 6 figures

Logarithmic fluctuations of Stationary Hastings-Levitov

Authors: Noam Berger, Eviatar B. Procaccia

Abstract: We prove that the fluctuation field $\{M_t(x)\}_{x\in\mathbb{R}}$ of stationary Hastings-Levitov$(0)$ exhibits logarithmic spatial correlations. Moreover, by studying the infinitesimal generator of the imaginary part of $M_t(0)$, we show that for some $β>0$, $\max_{x\in[0,t]}\text{Im} M_t(x)<β\log t$ with high probability, as $t\to\infty$. We prove that the fluctuation field $\{M_t(x)\}_{x\in\mathbb{R}}$ of stationary Hastings-Levitov$(0)$ exhibits logarithmic spatial correlations. Moreover, by studying the infinitesimal generator of the imaginary part of $M_t(0)$, we show that for some $β>0$, $\max_{x\in[0,t]}\text{Im} M_t(x)<β\log t$ with high probability, as $t\to\infty$. △ Less

Submitted 5 February, 2025; originally announced February 2025.

Comments: 14 pages 4 figures

Minimal harmonic measure on 2D lattices

Authors: Zhenhao Cai, Eviatar B. Procaccia, Yuan Zhang

Abstract: We study the harmonic measure (i.e. the limit of the hitting distribution of a simple random walk starting from a distant point) on three canonical two-dimensional lattices: the square lattice $\mathbb{Z}^2$, the triangular lattice $\mathscr{T}$ and the hexagonal lattice $\mathscr{H}$. In particular, for the least positive value of the harmonic measure of any $n$-point set, denoted by… ▽ More We study the harmonic measure (i.e. the limit of the hitting distribution of a simple random walk starting from a distant point) on three canonical two-dimensional lattices: the square lattice $\mathbb{Z}^2$, the triangular lattice $\mathscr{T}$ and the hexagonal lattice $\mathscr{H}$. In particular, for the least positive value of the harmonic measure of any $n$-point set, denoted by $\mathscr{M}_n(\mathscr{G})$, we prove in this paper that $$[λ(\mathscr{G})]^{-n+c\sqrt{n}} \le \mathscr{M}_n(\mathscr{G})\le [λ(\mathscr{G})]^{-n+C\sqrt{n}},$$ where $λ(\mathbb{Z}^2)=(2+\sqrt{3})^2$, $λ(\mathscr{T})=3+2\sqrt{2}$ and $λ(\mathscr{H})=(\tfrac{3+\sqrt{5}}{2})^3$. Our results confirm a stronger version of the conjecture proposed by Calvert, Ganguly and Hammond (2023) which predicts the asymptotic of the exponent of $\mathscr{M}_n(\mathbb{Z}^2)$. Moreover, these estimates also significantly extend the findings in our previous paper with Kozma (2023) that $\mathscr{M}_n(\mathscr{G})$ decays exponentially for a large family of graphs $\mathscr{G}$ including $\mathscr{T}$, $\mathscr{H}$ and $\mathbb{Z}^d$ for all $d\ge 2$. △ Less

Submitted 31 August, 2024; originally announced September 2024.

The Double Bubble Problem in the Hexagonal Norm

Authors: Parker Duncan, Rory O'Dwyer, Eviatar B. Procaccia

Abstract: We study the double bubble problem where the perimeter is taken with respect to the hexagonal norm, i.e. the norm whose unit circle in $\mathbb{R}^2$ is the regular hexagon. We provide an elementary proof for the existence of minimizing sets for volume ratio parameter $α\in (0,1]$ by arguing that any minimizer must belong to a small family of parameterized sets. This family is further simplified b… ▽ More We study the double bubble problem where the perimeter is taken with respect to the hexagonal norm, i.e. the norm whose unit circle in $\mathbb{R}^2$ is the regular hexagon. We provide an elementary proof for the existence of minimizing sets for volume ratio parameter $α\in (0,1]$ by arguing that any minimizer must belong to a small family of parameterized sets. This family is further simplified by showing that $60^{\circ}$ angles are not optimal as well as other geometric exclusions. We then provide a minimizer for all $α\in(0,1]$ except at a single point, for which we find two minimizing configurations. △ Less

Submitted 18 January, 2024; originally announced January 2024.

Comments: 42 pages, 57 figures

Vertex-removal stability and the least positive value of harmonic measures

Authors: Zhenhao Cai, Gady Kozma, Eviatar B. Procaccia, Yuan Zhang

Abstract: We prove that for $\mathbb{Z}^d$ ($d\ge 2$), the vertex-removal stability of harmonic measures (i.e. it is feasible to remove some vertex while changing the harmonic measure by a bounded factor) holds if and only if $d=2$. The proof mainly relies on geometric arguments, with a surprising use of the discrete Klein bottle. Moreover, a direct application of this stability verifies a conjecture of Cal… ▽ More We prove that for $\mathbb{Z}^d$ ($d\ge 2$), the vertex-removal stability of harmonic measures (i.e. it is feasible to remove some vertex while changing the harmonic measure by a bounded factor) holds if and only if $d=2$. The proof mainly relies on geometric arguments, with a surprising use of the discrete Klein bottle. Moreover, a direct application of this stability verifies a conjecture of Calvert, Ganguly and Hammond [9] for the exponential decay of the least positive value of harmonic measures on $\mathbb{Z}^2$. Furthermore, the analogue of this conjecture for $\mathbb{Z}^d$ with $d\ge 3$ is also proved in this paper, despite vertex-removal stability no longer holding. △ Less

Submitted 6 November, 2023; originally announced November 2023.

Comments: 34 pages, 9 figures

Cylindrical Hastings Levitov

Authors: Eviatar B. Procaccia, Anna Zhuchenko

Abstract: We define a Hastings-Levitov$(0)$ process on a cylinder and prove that the process converges to Stationary Hastings Levitov$(0)$ under appropriate particle size scaling that depends on the radius of the cylinder. The Stationary Hastings Levitov$(0)$ was shown by Berger, Procaccia and Turner to admit tight particle sizes, without a priori particle size normalization, thus it serves as a good model… ▽ More We define a Hastings-Levitov$(0)$ process on a cylinder and prove that the process converges to Stationary Hastings Levitov$(0)$ under appropriate particle size scaling that depends on the radius of the cylinder. The Stationary Hastings Levitov$(0)$ was shown by Berger, Procaccia and Turner to admit tight particle sizes, without a priori particle size normalization, thus it serves as a good model for the phenomenon of diffusion limited aggregation. Technical challenge, in this paper, is in taking the spatial limit together with the correct slit map normalization. This result also shows that the early life of the Hastings Levitov$(0)$ process in the small particle limit, spatially scaled so the slits have unit length, behaves like the Stationary Hastings Levitov$(0)$. △ Less

Submitted 30 January, 2023; originally announced January 2023.

Comments: 17 pages 3 images

A toy model for DLA arm growth in a wedge

Authors: Oren Louidor, Chanwoo Oh, Eviatar B. Procaccia

Abstract: In this paper, we consider a non-homogeneous discrete-time Markov chain which can be seen as a toy model for the growth of the arms of the DLA (Diffusion limited aggregation) process in a sub-linear wedge. It is conjectured that in a thin enough linear wedge there is only one infinite arm in the DLA cluster and we demonstrate this phenomenon in our model. The technique follows a bootstrapping argu… ▽ More In this paper, we consider a non-homogeneous discrete-time Markov chain which can be seen as a toy model for the growth of the arms of the DLA (Diffusion limited aggregation) process in a sub-linear wedge. It is conjectured that in a thin enough linear wedge there is only one infinite arm in the DLA cluster and we demonstrate this phenomenon in our model. The technique follows a bootstrapping argument, in which we iteratively prove ever faster growth rate. △ Less

Submitted 21 August, 2022; originally announced August 2022.

Comments: 8 pages, 1 figure

The chemical distance in random interlacements in the low-intensity regime

Authors: Sarai Hernandez-Torres, Eviatar B. Procaccia, Ron Rosenthal

Abstract: In $\mathbb{Z}^d$ with $d\ge 5$, we consider the time constant $ρ_u$ associated to the chemical distance in random interlacements at low intensity $u \ll 1$. We prove an upper bound of order $u^{-1/2}$ and a lower bound of order $u^{-1/2+\varepsilon}$. The upper bound agrees with the conjectured scale in which $u^{1/2}ρ_u$ converges to a constant multiple of the Euclidean norm, as $u\to 0$. Along… ▽ More In $\mathbb{Z}^d$ with $d\ge 5$, we consider the time constant $ρ_u$ associated to the chemical distance in random interlacements at low intensity $u \ll 1$. We prove an upper bound of order $u^{-1/2}$ and a lower bound of order $u^{-1/2+\varepsilon}$. The upper bound agrees with the conjectured scale in which $u^{1/2}ρ_u$ converges to a constant multiple of the Euclidean norm, as $u\to 0$. Along the proof, we obtain a local lower bound on the chemical distance between the boundaries of two concentric boxes, which might be of independent interest. For both upper and lower bounds, the paper employs probabilistic bounds holding as $u\to 0$; these bounds can be relevant in future studies of the low-intensity geometry. △ Less

Submitted 31 December, 2022; v1 submitted 26 December, 2021; originally announced December 2021.

Comments: 39 pages, 8 figures. Several corrections after a major revision

Discrete $\ell^{1}$ Double Bubble solution is at most ceiling +2 of the continuous solution

Authors: Parker Duncan, Rory O'Dwyer, Eviatar B. Procaccia

Abstract: In this paper we show that the solution of the discrete Double Bubble problem over $\mathbb{Z}^2$ is at most the ceiling function plus two of the continuous solution to the Double Bubble problem, with respect to the $\ell^1$ norm, found in \cite{morgan1998wulff} and \cite{duncan2020elementary}. In this paper we show that the solution of the discrete Double Bubble problem over $\mathbb{Z}^2$ is at most the ceiling function plus two of the continuous solution to the Double Bubble problem, with respect to the $\ell^1$ norm, found in \cite{morgan1998wulff} and \cite{duncan2020elementary}. △ Less

Submitted 24 September, 2021; originally announced September 2021.

Comments: 15 pages 14 figures

Continuity and uniqueness of percolation critical parameters in Finitary Random Interlacements

Authors: Zhenhao Cai, Eviatar B. Procaccia, Yuan Zhang

Abstract: We prove that the critical percolation parameter for Finitary Random Interlacements (FRI) is continuous with respect to the path length parameter $T$. The proof uses a result which is interesting on its own right; equality of natural critical parameters for FRI percolation phase transition. We prove that the critical percolation parameter for Finitary Random Interlacements (FRI) is continuous with respect to the path length parameter $T$. The proof uses a result which is interesting on its own right; equality of natural critical parameters for FRI percolation phase transition. △ Less

Submitted 24 September, 2021; originally announced September 2021.

Comments: 49 pages, 5 figures

An elementary proof for the Double Bubble problem in $\ell^1$ norm

Authors: Parker Duncan, Rory O'Dwyer, Eviatar B. Procaccia

Abstract: We study the double bubble problem with perimeter taken with respect to the $\ell_1$ norm on $\mathbb{R}^2$. We give an elementary proof for the existence of minimizing sets for any volume ratio parameter $0<α\le1$ by direct comparison to a small family of parameterized sets. By simple analysis on this family we obtain the minimizing shapes found in Morgan et al 1998. We study the double bubble problem with perimeter taken with respect to the $\ell_1$ norm on $\mathbb{R}^2$. We give an elementary proof for the existence of minimizing sets for any volume ratio parameter $0<α\le1$ by direct comparison to a small family of parameterized sets. By simple analysis on this family we obtain the minimizing shapes found in Morgan et al 1998. △ Less

Submitted 18 August, 2020; originally announced August 2020.

Comments: 16 pages 14 figures

Growth of Stationary Hastings-Levitov

Authors: Noam Berger, Eviatar B. Procaccia, Amanda Turner

Abstract: We construct and study a stationary version of the Hastings-Levitov$(0)$ model. We prove that, unlike in the classical HL$(0)$ model, in the stationary case the size of particles attaching to the aggregate is tight, and therefore SHL$(0)$ is proposed as a potential candidate for a stationary off-lattice variant of Diffusion Limited Aggregation (DLA). The stationary setting, together with a geometr… ▽ More We construct and study a stationary version of the Hastings-Levitov$(0)$ model. We prove that, unlike in the classical HL$(0)$ model, in the stationary case the size of particles attaching to the aggregate is tight, and therefore SHL$(0)$ is proposed as a potential candidate for a stationary off-lattice variant of Diffusion Limited Aggregation (DLA). The stationary setting, together with a geometric interpretation of the harmonic measure, yields new geometric results such as stabilization, finiteness of arms and arm size distribution. We show that, under appropriate scaling, arms in SHL$(0)$ converge to the graph of Brownian motion which has fractal dimension $3/2$. Moreover we show that trees with $n$ particles reach a height of order $n^{2/3}$, corresponding to a numerical prediction of Meakin from 1983 for the gyration radius of DLA growing on a long line segment. △ Less

Submitted 13 August, 2020; originally announced August 2020.

Comments: 32 pages, 2 figures

Journal ref: Annals of Applied Probability 2022, Vol. 32, No. 5, 3331-3360

Scaling limit of DLA on a long line segment

Authors: Yingxin Mu, Eviatar B. Procaccia, Yuan Zhang

Abstract: In this paper, we prove that the bulk of DLA starting from a long line segment on the $x$-axis has a scaling limit to the stationary DLA process (SDLA). The main phenomenological difficulty is the multi-scale, non-monotone interaction of the DLA arms. We overcome this via a coupling scheme between the two processes and an intermediate DLA process with absorbing mesoscopic boundary segments. In this paper, we prove that the bulk of DLA starting from a long line segment on the $x$-axis has a scaling limit to the stationary DLA process (SDLA). The main phenomenological difficulty is the multi-scale, non-monotone interaction of the DLA arms. We overcome this via a coupling scheme between the two processes and an intermediate DLA process with absorbing mesoscopic boundary segments. △ Less

Submitted 4 December, 2019; originally announced December 2019.

Comments: 32 pages, 2 figures

Percolation for the Finitary Random interlacements

Authors: Eviatar B. Procaccia, Jiayan Ye, Yuan Zhang

Abstract: In this paper, we prove a phase transition in the connectivity of Finitary Random interlacements $\mathcal{FI}^{u,T}$ in $\mathbb{Z}^d$, with respect to the average stopping time. For each $u>0$, with probability one $\mathcal{FI}^{u,T}$ has no infinite connected component for all sufficiently small $T>0$, and a unique infinite connected component for all sufficiently large $T<\infty$. This answer… ▽ More In this paper, we prove a phase transition in the connectivity of Finitary Random interlacements $\mathcal{FI}^{u,T}$ in $\mathbb{Z}^d$, with respect to the average stopping time. For each $u>0$, with probability one $\mathcal{FI}^{u,T}$ has no infinite connected component for all sufficiently small $T>0$, and a unique infinite connected component for all sufficiently large $T<\infty$. This answers a question of Bowen in the special case of $\mathbb{Z}^d$. △ Less

Submitted 12 October, 2020; v1 submitted 6 August, 2019; originally announced August 2019.

Comments: 22 pages

Stationary DLA is well defined

Authors: Eviatar B. Procaccia, Jiayan Ye, Yuan Zhang

Abstract: In this paper, we construct an infinite stationary Diffusion Limited Aggregation (SDLA) on the upper half planar lattice, growing from an infinite line, with local growth rate proportional to the stationary harmonic measure. We prove that the SDLA is ergodic with respect to integer left-right translations. In this paper, we construct an infinite stationary Diffusion Limited Aggregation (SDLA) on the upper half planar lattice, growing from an infinite line, with local growth rate proportional to the stationary harmonic measure. We prove that the SDLA is ergodic with respect to integer left-right translations. △ Less

Submitted 30 June, 2019; originally announced July 2019.

Comments: 21 pages

Stationary Harmonic Measure as the Scaling Limit of Truncated Harmonic Measure

Authors: Eviatar B. Procaccia, Jiayan Ye, Yuan Zhang

Abstract: In this paper we prove that the stationary harmonic measure of an infinite set in the upper planar lattice can be represented as the proper scaling limit of the classical harmonic measure of truncations of the infinite set. In this paper we prove that the stationary harmonic measure of an infinite set in the upper planar lattice can be represented as the proper scaling limit of the classical harmonic measure of truncations of the infinite set. △ Less

Submitted 12 June, 2019; v1 submitted 12 November, 2018; originally announced November 2018.

Comments: 35 pages, 4 figures

Stabilization of DLA in a wedge

Authors: Eviatar B. Procaccia, Ron Rosenthal, Yuan Zhang

Abstract: We consider Diffusion Limited Aggregation (DLA) in a two-dimensional wedge. We prove that if the angle of the wedge is smaller than $π/4$, there is some $a>2$ such that almost surely, for all $R$ large enough, after time $R^a$ all new particles attached to the DLA will be at distance larger than $R$ from the origin. This means that DLA stabilizes in growing balls, thus allowing a definition of the… ▽ More We consider Diffusion Limited Aggregation (DLA) in a two-dimensional wedge. We prove that if the angle of the wedge is smaller than $π/4$, there is some $a>2$ such that almost surely, for all $R$ large enough, after time $R^a$ all new particles attached to the DLA will be at distance larger than $R$ from the origin. This means that DLA stabilizes in growing balls, thus allowing a definition of the infinite DLA in a wedge via a finite time process. △ Less

Submitted 11 April, 2018; originally announced April 2018.

Comments: 22 pages, 4 figures

On sets of zero stationary harmonic measure

Authors: Eviatar B. Procaccia, Yuan Zhang

Abstract: In this paper, we prove that any subset with an appropriate sub-linear horizontal growth has a non-zero stationary harmonic measure. On the other hand, we also show any subset with super-linear horizontal growth will have a $0$ stationary harmonic measure at every point. This result is fundamental to any future study of stationary DLA. As an application we prove that any possible aggregation proce… ▽ More In this paper, we prove that any subset with an appropriate sub-linear horizontal growth has a non-zero stationary harmonic measure. On the other hand, we also show any subset with super-linear horizontal growth will have a $0$ stationary harmonic measure at every point. This result is fundamental to any future study of stationary DLA. As an application we prove that any possible aggregation process with growth rates proportional to the stationary harmonic measure has non zero measure at all times. △ Less

Submitted 20 December, 2018; v1 submitted 2 November, 2017; originally announced November 2017.

Comments: 18 pages, 4 figures

Stationary Harmonic Measure and DLA in the Upper half Plane

Authors: Eviatar B. Procaccia, Yuan Zhang

Abstract: In this paper, we introduce the stationary harmonic measure in the upper half plane. By bounding this measure, we are able to define both the discrete and continuous time diffusion limit aggregation (DLA) in the upper half plane with absorbing boundary conditions. We prove that for the continuous model the growth rate is bounded from above by $o(t^{2+ε})$. When time is discrete, we also prove a be… ▽ More In this paper, we introduce the stationary harmonic measure in the upper half plane. By bounding this measure, we are able to define both the discrete and continuous time diffusion limit aggregation (DLA) in the upper half plane with absorbing boundary conditions. We prove that for the continuous model the growth rate is bounded from above by $o(t^{2+ε})$. When time is discrete, we also prove a better upper bound of $o(n^{2/3+ε})$, on the maximum height of the aggregate at time $n$. An important tool developed in this paper, is an interface growth process, bounding any process growing according to the stationary harmonic measure. Together with [10] one obtains non zero growth rate for any such process. △ Less

Submitted 1 December, 2017; v1 submitted 2 November, 2017; originally announced November 2017.

Comments: 47 pages, 1 figure

On Covering paths with 3 Dimensional Random Walk

Authors: Eviatar B. Procaccia, Yuan Zhang

Abstract: In this paper we find an upper bound for the probability that a $3$ dimensional simple random walk covers each point in a nearest neighbor path connecting 0 and the boundary of an $L_1$ ball of radius $N$. For $d\ge 4$, it has been shown in [5] that such probability decays exponentially with respect to $N$. For $d=3$, however, the same technique does not apply, and in this paper we obtain a slight… ▽ More In this paper we find an upper bound for the probability that a $3$ dimensional simple random walk covers each point in a nearest neighbor path connecting 0 and the boundary of an $L_1$ ball of radius $N$. For $d\ge 4$, it has been shown in [5] that such probability decays exponentially with respect to $N$. For $d=3$, however, the same technique does not apply, and in this paper we obtain a slightly weaker upper bound: $\forall \varepsilon>0,\exists c_\varepsilon>0,$ $$P\left({\rm Trace}(\mathcal{P})\subseteq {\rm Trace}\big(\{X_n\}_{n=0}^\infty\big) \right)\le \exp\left(-c_\varepsilon N\log^{-(1+\varepsilon)}(N)\right).$$ △ Less

Submitted 10 May, 2017; originally announced May 2017.

Comments: 13 pages 2 figures

On Covering Monotonic Paths with Simple Random Walk

Authors: Eviatar B. Procaccia, Yuan Zhang

Abstract: In this paper we study the probability that a $d$ dimensional simple random walk (or the first $L$ steps of it) covers each point in a nearest neighbor path connecting 0 and the boundary of an $L_1$ ball. We show that among all such paths, the one that maximizes the covering probability is the monotonic increasing one that stays within distance 1 from the diagonal. As a result, we can obtain an ex… ▽ More In this paper we study the probability that a $d$ dimensional simple random walk (or the first $L$ steps of it) covers each point in a nearest neighbor path connecting 0 and the boundary of an $L_1$ ball. We show that among all such paths, the one that maximizes the covering probability is the monotonic increasing one that stays within distance 1 from the diagonal. As a result, we can obtain an exponential upper bound on the decaying rate of covering probability of any such path when $d\ge 4$. △ Less

Submitted 24 April, 2017; v1 submitted 19 April, 2017; originally announced April 2017.

Comments: 51 pages 5 Figures

Connectivity properties of Branching Interlacements

Authors: Eviatar B. Procaccia, Yuan Zhang

Abstract: We consider connectivity properties of the Branching Interlacements model in $\mathbb{Z}^d,~d\ge5$, recently introduced by Angel, Ráth and Zhu in 2016. Using stochastic dimension techniques we show that every two vertices visited by the branching interlacements are connected via at most $\lceil d/4\rceil$ conditioned critical branching random walks from the underlying Poisson process, and that thi… ▽ More We consider connectivity properties of the Branching Interlacements model in $\mathbb{Z}^d,~d\ge5$, recently introduced by Angel, Ráth and Zhu in 2016. Using stochastic dimension techniques we show that every two vertices visited by the branching interlacements are connected via at most $\lceil d/4\rceil$ conditioned critical branching random walks from the underlying Poisson process, and that this upper bound is sharp. In particular every such two branching random walks intersect if and only if $5\le d\le 8$. The stochastic dimension of branching random walk result is of independent interest. We additionally obtain heat kernel bounds for branching random walks conditioned on survival. △ Less

Submitted 1 December, 2016; originally announced December 2016.

Comments: 32 pages

Opting Into Optimal Matchings

Authors: Avrim Blum, Ioannis Caragiannis, Nika Haghtalab, Ariel D. Procaccia, Eviatar B. Procaccia, Rohit Vaish

Abstract: We revisit the problem of designing optimal, individually rational matching mechanisms (in a general sense, allowing for cycles in directed graphs), where each player --- who is associated with a subset of vertices --- matches as many of his own vertices when he opts into the matching mechanism as when he opts out. We offer a new perspective on this problem by considering an arbitrary graph, but a… ▽ More We revisit the problem of designing optimal, individually rational matching mechanisms (in a general sense, allowing for cycles in directed graphs), where each player --- who is associated with a subset of vertices --- matches as many of his own vertices when he opts into the matching mechanism as when he opts out. We offer a new perspective on this problem by considering an arbitrary graph, but assuming that vertices are associated with players at random. Our main result asserts that, under certain conditions, any fixed optimal matching is likely to be individually rational up to lower-order terms. We also show that a simple and practical mechanism is (fully) individually rational, and likely to be optimal up to lower-order terms. We discuss the implications of our results for market design in general, and kidney exchange in particular. △ Less

Submitted 13 September, 2016; originally announced September 2016.

Shapes of drums with lowest base frequency under non-isotropic perimeter constraints

Authors: Marek Biskup, Eviatar B. Procaccia

Abstract: We study the minimizers of the sum of the principal Dirichlet eigenvalue of the negative Laplacian and the perimeter with respect to a general norm in the class of Jordan domains in the plane. This is equivalent (modulo scaling) to minimizing the said eigenvalue (or the base frequency of a drum of this shape) subject to a hard constraint on the perimeter. We show that, for all norms, a minimizer e… ▽ More We study the minimizers of the sum of the principal Dirichlet eigenvalue of the negative Laplacian and the perimeter with respect to a general norm in the class of Jordan domains in the plane. This is equivalent (modulo scaling) to minimizing the said eigenvalue (or the base frequency of a drum of this shape) subject to a hard constraint on the perimeter. We show that, for all norms, a minimizer exists, is unique up to spatial translations and is convex but not necessarily smooth. We give conditions on the norm that characterize the appearance of facets and corners. We also demonstrate that near minimizers have to be close to the optimal ones in the Hausdorff distance. Our motivation for considering this class of variational problems comes from a study of random walks in random environment interacting through the boundary of their support. △ Less

Submitted 12 March, 2016; originally announced March 2016.

Comments: 24 pages, 2 figures

MSC Class: 49R05; 47A75; 49Q10

Journal ref: Trans. Amer. Math. Soc. 372 (2019), no. 1, 71--95

Eigenvalue vs perimeter in a shape theorem for self-interacting random walks

Authors: Marek Biskup, Eviatar B. Procaccia

Abstract: We study paths of time-length $t$ of a continuous-time random walk on $\mathbb Z^2$ subject to self-interaction that depends on the geometry of the walk range and a collection of random, uniformly positive and finite edge weights. The interaction enters through a Gibbs weight at inverse temperature $β$; the "energy" is the total sum of the edge weights for edges on the outer boundary of the range.… ▽ More We study paths of time-length $t$ of a continuous-time random walk on $\mathbb Z^2$ subject to self-interaction that depends on the geometry of the walk range and a collection of random, uniformly positive and finite edge weights. The interaction enters through a Gibbs weight at inverse temperature $β$; the "energy" is the total sum of the edge weights for edges on the outer boundary of the range. For edge weights sampled from a translation-invariant, ergodic law, we prove that the range boundary condensates around an asymptotic shape in the limit $t\to\infty$ followed by $β\to\infty$. The limit shape is a minimizer (unique, modulo translates) of the sum of the principal harmonic frequency of the domain and the perimeter with respect to the first-passage percolation norm derived from (the law of) the edge weights. A dense subset of all norms in $\mathbb R^2$, and thus a large variety of shapes, arise from the class of weight distributions to which our proofs apply. △ Less

Submitted 3 May, 2017; v1 submitted 11 March, 2016; originally announced March 2016.

Comments: 31 pages, 1 figure, see arXiv:1603.03871 for a companion analysis paper, version to appear in Ann. Appl. Probab

MSC Class: 82B41; 60D05; 60F99

Journal ref: Ann. Appl. Probab. 28 (2018), no. 1, 340--377

Continuity of the time and isoperimetric constants in supercritical percolation

Authors: Olivier Garet, Régine Marchand, Eviatar B. Procaccia, Marie Théret

Abstract: We consider two different objects on super-critical Bernoulli percolation on $\mathbb{Z}^d$ : the time constant for i.i.d. first-passage percolation (for $d\geq 2$) and the isoperimetric constant (for $d=2$). We prove that both objects are continuous with respect to the law of the environment. More precisely we prove that the isoperimetric constant of supercritical percolation in $\mathbb{Z}^2$ is… ▽ More We consider two different objects on super-critical Bernoulli percolation on $\mathbb{Z}^d$ : the time constant for i.i.d. first-passage percolation (for $d\geq 2$) and the isoperimetric constant (for $d=2$). We prove that both objects are continuous with respect to the law of the environment. More precisely we prove that the isoperimetric constant of supercritical percolation in $\mathbb{Z}^2$ is continuous in the percolation parameter. As a corollary we prove that normalized sets achieving the isoperimetric constant are continuous with respect to the Hausdroff metric. Concerning first-passage percolation, equivalently we consider the model of i.i.d. first-passage percolation on $\mathbb{Z}^d$ with possibly infinite passage times: we associate with each edge $e$ of the graph a passage time $t(e)$ taking values in $[0,+\infty]$, such that $\mathbf{P}[t(e)<+\infty] >p_c(d)$. We prove the continuity of the time constant with respect to the law of the passage times. This extends the continuity property previously proved by Cox and Kesten for first passage percolation with finite passage times. △ Less

Submitted 29 May, 2016; v1 submitted 2 December, 2015; originally announced December 2015.

Comments: 37 pages, 3 figures

Stationary Eden model on groups

Authors: Tonći Antunović, Eviatar B. Procaccia

Abstract: We consider two stationary versions of the Eden model, on the upper half planar lattice, resulting in an infinite forest covering the half plane. Under weak assumptions on the weight distribution and by relying on ergodic theorems, we prove that almost surely all trees are finite. Using the mass transport principle, we generalize the result to Eden model in graphs of the form… ▽ More We consider two stationary versions of the Eden model, on the upper half planar lattice, resulting in an infinite forest covering the half plane. Under weak assumptions on the weight distribution and by relying on ergodic theorems, we prove that almost surely all trees are finite. Using the mass transport principle, we generalize the result to Eden model in graphs of the form $G\times\mathbb{Z}_+$, where $G$ is a Cayley graph. This generalizes certain known results on the two-type Richardson model, in particular of Deijfen and Häggström in 2007. △ Less

Submitted 16 June, 2015; v1 submitted 18 October, 2014; originally announced October 2014.

Comments: 30 pages, 4 figures. In version 2, the results are generalized to infinite Cayley graphs

MSC Class: 60G10; 60K35; 82C24; 82C22

Isoperimetry in two-dimensional percolation

Authors: Marek Biskup, Oren Louidor, Eviatar B. Procaccia, Ron Rosenthal

Abstract: We consider the unique infinite connected component of supercritical bond percolation on the square lattice and study the geometric properties of isoperimetric sets, i.e., sets with minimal boundary for a given volume. For almost every realization of the infinite connected component we prove that, as the volume of the isoperimetric set tends to infinity, its asymptotic shape can be characterized b… ▽ More We consider the unique infinite connected component of supercritical bond percolation on the square lattice and study the geometric properties of isoperimetric sets, i.e., sets with minimal boundary for a given volume. For almost every realization of the infinite connected component we prove that, as the volume of the isoperimetric set tends to infinity, its asymptotic shape can be characterized by an isoperimetric problem in the plane with respect to a particular norm. As an application we then show that the anchored isoperimetric profile with respect to a given point as well as the Cheeger constant of the giant component in finite boxes scale to deterministic quantities. This settles a conjecture of Itai Benjamini for the plane. △ Less

Submitted 13 January, 2015; v1 submitted 4 November, 2012; originally announced November 2012.

Comments: 40 pages, 2 figs; version to appear in Commun. Pure Appl. Math

MSC Class: 60K35; 82B43; 52B60

Journal ref: Commun. Pure Appl. Math. 68 (2015), no. 9, 1483--1531

Mutually excited random walks

Authors: Noam Berger, Eviatar B. Procaccia

Abstract: Consider two random walks on $\mathbb{Z}$. The transition probabilities of each walk is dependent on trajectory of the other walker i.e. a drift $p>1/2$ is obtained in a position the other walker visited twice or more. This simple model has a speed which is, according to simulations, not monotone in $p$, without apparent "trap" behaviour. In this paper we prove the process has positive speed for… ▽ More Consider two random walks on $\mathbb{Z}$. The transition probabilities of each walk is dependent on trajectory of the other walker i.e. a drift $p>1/2$ is obtained in a position the other walker visited twice or more. This simple model has a speed which is, according to simulations, not monotone in $p$, without apparent "trap" behaviour. In this paper we prove the process has positive speed for $1/2<p<1$, and present a deterministic algorithm to approximate the speed and show the non-monotonicity. △ Less

Submitted 29 October, 2012; originally announced October 2012.

Comments: 15 pages

Stretch IDLA

Authors: Noam Berger, Jacob J. Kagan, Eviatar B. Procaccia

Abstract: We consider a new IDLA - particle system model, on the upper half planar lattice, resulting in an infinite forest covering the half plane. We prove that almost surely all trees are finite. We consider a new IDLA - particle system model, on the upper half planar lattice, resulting in an infinite forest covering the half plane. We prove that almost surely all trees are finite. △ Less

Submitted 25 September, 2014; v1 submitted 14 September, 2012; originally announced September 2012.

Concentration estimates for the isoperimetric constant of the super critical percolation cluster

Authors: Eviatar B. Procaccia, Ron Rosenthal

Abstract: We consider the Cheeger constant $φ(n)$ of the giant component of supercritical bond percolation on $\mathbb{Z}^d/n\mathbb{Z}^d$. We show that the variance of $φ(n)$ is bounded by $\fracξ{n^d}$, where $ξ$ is a positive constant that depends only on the dimension $d$ and the percolation parameter. We consider the Cheeger constant $φ(n)$ of the giant component of supercritical bond percolation on $\mathbb{Z}^d/n\mathbb{Z}^d$. We show that the variance of $φ(n)$ is bounded by $\fracξ{n^d}$, where $ξ$ is a positive constant that depends only on the dimension $d$ and the percolation parameter. △ Less

Submitted 8 November, 2011; v1 submitted 27 October, 2011; originally announced October 2011.

Comments: 11 Pages, 1 figure

Journal ref: Electronic Communications in Probability, Volume 17, Number 30, 1-11, 2012

The need for speed : Maximizing random walks speed on fixed environments

Authors: Eviatar B. Procaccia, Ron Rosenthal

Abstract: We study nearest neighbor random walks on fixed environments of $\mathbb{Z}$ composed of two point types : $(1/2,1/2)$ and $(p,1-p)$ for $p>1/2$. We show that for every environment with density of $p$ drifts bounded by $λ$ we have $\limsup_{n\rightarrow\infty}\frac{X_n}{n}\leq (2p-1)λ$, where $X_n$ is a random walk on the environment. In addition up to some integer effect the environment which giv… ▽ More We study nearest neighbor random walks on fixed environments of $\mathbb{Z}$ composed of two point types : $(1/2,1/2)$ and $(p,1-p)$ for $p>1/2$. We show that for every environment with density of $p$ drifts bounded by $λ$ we have $\limsup_{n\rightarrow\infty}\frac{X_n}{n}\leq (2p-1)λ$, where $X_n$ is a random walk on the environment. In addition up to some integer effect the environment which gives the best speed is given by equally spaced drifts. △ Less

Submitted 6 February, 2012; v1 submitted 5 September, 2011; originally announced September 2011.

Journal ref: Electronic Journal of Probability, Vol.17 No.13, 1-19, 2012

Geometry of the random interlacement

Authors: Eviatar B. Procaccia, Johan Tykesson

Abstract: We consider the geometry of random interlacements on the $d$-dimensional lattice. We use ideas from stochastic dimension theory developed in \cite{benjamini2004geometry} to prove the following: Given that two vertices $x,y$ belong to the interlacement set, it is possible to find a path between $x$ and $y$ contained in the trace left by at most $\lceil d/2 \rceil$ trajectories from the underlying P… ▽ More We consider the geometry of random interlacements on the $d$-dimensional lattice. We use ideas from stochastic dimension theory developed in \cite{benjamini2004geometry} to prove the following: Given that two vertices $x,y$ belong to the interlacement set, it is possible to find a path between $x$ and $y$ contained in the trace left by at most $\lceil d/2 \rceil$ trajectories from the underlying Poisson point process. Moreover, this result is sharp in the sense that there are pairs of points in the interlacement set which cannot be connected by a path using the traces of at most $\lceil d/2 \rceil-1$ trajectories. △ Less

Submitted 18 July, 2011; v1 submitted 7 January, 2011; originally announced January 2011.

On the range of a random walk in a torus and random interlacements

Authors: Eviatar B. Procaccia, Eric Shellef

Abstract: Let a simple random walk run inside a torus of dimension three or higher for a number of steps which is a constant proportion of the volume. We examine geometric properties of the range, the random subgraph induced by the set of vertices visited by the walk. Distance and mixing bounds for the typical range are proven that are a $k$-iterated log factor from those on the full torus for arbitrary… ▽ More Let a simple random walk run inside a torus of dimension three or higher for a number of steps which is a constant proportion of the volume. We examine geometric properties of the range, the random subgraph induced by the set of vertices visited by the walk. Distance and mixing bounds for the typical range are proven that are a $k$-iterated log factor from those on the full torus for arbitrary $k$. The proof uses hierarchical renormalization and techniques that can possibly be applied to other random processes in the Euclidean lattice. We use the same technique to bound the heat kernel of a random walk on random interlacements. △ Less

Submitted 5 August, 2014; v1 submitted 8 July, 2010; originally announced July 2010.

Comments: Published in at http://dx.doi.org/10.1214/14-AOP924 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP924

Journal ref: Annals of Probability 2014, Vol. 42, No. 4, 1590-1634

Harmonic Labeling of Graphs

Authors: Itai Benjamini, Van Cyr, Eviatar B. Procaccia, Ran J. Tessler

Abstract: Which graphs admit an integer value harmonic function which is injective and surjective onto $\Z$? Such a function, which we call harmonic labeling, is constructed when the graph is the $\Z^2$ square grid. It is shown that for any finite graph $G$ containing at least one edge, there is no harmonic labeling of $ G \times \Z$. Which graphs admit an integer value harmonic function which is injective and surjective onto $\Z$? Such a function, which we call harmonic labeling, is constructed when the graph is the $\Z^2$ square grid. It is shown that for any finite graph $G$ containing at least one edge, there is no harmonic labeling of $ G \times \Z$. △ Less

Submitted 30 May, 2010; v1 submitted 9 May, 2010; originally announced May 2010.