arXiv subjects
Publications and source records attributed to Eviatar B. Procaccia.
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 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.
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 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 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 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.
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.
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.
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).$$
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.
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$.
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.
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.
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.
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.
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.
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.
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.