Source author record

Ron Peled

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

18works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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

Building this map preview

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

Published work

18 published item(s)

preprint2022arXiv

Depinning in integer-restricted Gaussian Fields and BKT phases of two-component spin models

For a family of integer-valued height functions defined over the faces of planar graphs, we establish a relation between the probability of connection by level sets and the spin-spin correlations of the dual $O(2)$ symmetric spin models formulated over the graphs' vertices. The relation is used to show that in two dimensions the Villain spin model exhibits non-summable decay of correlations at any temperature at which the dual integer-restricted Gaussian field exhibits depinning. For the latter, we devise a new monotonicity argument through which the recent alternative proof by Lammers of the existence of a depinning transition in two-dimensional graphs of degree three, is extended to all doubly-periodic graphs, in particular to $\mathbb{Z}^2$. Essential use is made of the inequality of Regev and Stephens-Davidowitz, which allows also an alternative (to absolute-value FKG) proof of convergence of the height-function's distribution in the infinite-volume limit. Similar results are established for the $XY$ spin model and its dual Bessel random height function. Taken together these statements yield a new perspective on the Berezinskii-Kosterlitz-Thouless phase transition in $O(2)$ spin models, and complete a new proof of depinning in two-dimensional integer-valued height functions.

preprint2022arXiv

Three lectures on random proper colorings of $\mathbb{Z}^d$

A proper $q$-coloring of a graph is an assignment of one of $q$ colors to each vertex of the graph so that adjacent vertices are colored differently. Sample uniformly among all proper $q$-colorings of a large discrete cube in the integer lattice $\mathbb{Z}^d$. Does the random coloring obtained exhibit any large-scale structure? Does it have fast decay of correlations? We discuss these questions and the way their answers depend on the dimension $d$ and the number of colors $q$. The questions are motivated by statistical physics (anti-ferromagnetic materials, square ice), combinatorics (proper colorings, independent sets) and the study of random Lipschitz functions on a lattice. The discussion introduces a diverse set of tools, useful for this purpose and for other problems, including spatial mixing, entropy and coupling methods, Gibbs measures and their classification and refined contour analysis.

preprint2022arXiv

What does a typical metric space look like?

The collection $\mathcal{M}_n$ of all metric spaces on $n$ points whose diameter is at most $2$ can naturally be viewed as a compact convex subset of $\mathbb{R}^{\binom{n}{2}}$, known as the metric polytope. In this paper, we study the metric polytope for large $n$ and show that it is close to the cube $[1,2]^{\binom{n}{2}} \subseteq \mathcal{M}_n$ in the following two senses. First, the volume of the polytope is not much larger than that of the cube, with the following quantitative estimates: \[ \left(\tfrac{1}{6}+o(1)\right)n^{3/2} \le \log \mathrm{Vol}(\mathcal{M}_n)\le O(n^{3/2}). \] Second, when sampling a metric space from $\mathcal{M}_n$ uniformly at random, the minimum distance is at least $1 - n^{-c}$ with high probability, for some $c > 0$. Our proof is based on entropy techniques. We discuss alternative approaches to estimating the volume of $\mathcal{M}_n$ using exchangeability, Szemerédi's regularity lemma, the hypergraph container method, and the Kővári--Sós--Turán theorem.

preprint2020arXiv

Macroscopic loops in the loop $O(n)$ model at Nienhuis' critical point

The loop $O(n)$ model is a model for a random collection of non-intersecting loops on the hexagonal lattice, which is believed to be in the same universality class as the spin $O(n)$ model. It has been predicted by Nienhuis that for $0\le n\le 2$ the loop $O(n)$ model exhibits a phase transition at a critical parameter $x_c(n)=\tfrac{1}{\sqrt{2+\sqrt{2-n}}}$. For $0<n\le 2$, the transition line has been further conjectured to separate a regime with short loops when $x<x_c(n)$ from a regime with macroscopic loops when $x\ge x_c(n)$. In this paper, we prove that for $n\in [1,2]$ and $x=x_c(n)$ the loop $O(n)$ model exhibits macroscopic loops. This is the first instance in which a loop $O(n)$ model with $n\neq 1$ is shown to exhibit such behaviour. A main tool in the proof is a new positive association (FKG) property shown to hold when $n \ge 1$ and $0<x\le\frac{1}{\sqrt{n}}$. This property implies, using techniques recently developed for the random-cluster model, the following dichotomy: either long loops are exponentially unlikely or the origin is surrounded by loops at any scale (box-crossing property). We develop a 'domain gluing' technique which allows us to employ Smirnov's parafermionic observable to rule out the first alternative when $x=x_c(n)$ and $n\in[1,2]$.

preprint2020arXiv

On the site percolation threshold of circle packings and planar graphs

A circle packing is a collection of disks with disjoint interiors in the plane. It naturally defines a graph by tangency. It is shown that there exists $p>0$ such that the following holds for every circle packing: If each disk is retained with probability $p$ independently, then the probability that there is a path of retained disks connecting the origin to infinity is zero. The following conclusions are derived using results on circle packings of planar graphs: (i) Site percolation with parameter $p$ has no infinite connected component on recurrent simple plane triangulations, or on Benjamini--Schramm limits of finite simple planar graphs. (ii) Site percolation with parameter $1-p$ has an infinite connected component on transient simple plane triangulations with bounded degree. These results lend support to recent conjectures of Benjamini. Extensions to graphs formed from the packing of shapes other than disks, in the plane and in higher dimensions, are presented. Several conjectures and open questions are discussed.

preprint2020arXiv

Rarity of extremal edges in random surfaces and other theoretical applications of cluster algorithms

Motivated by questions on the delocalization of random surfaces, we prove that random surfaces satisfying a Lipschitz constraint rarely develop extremal gradients. Previous proofs of this fact relied on reflection positivity and were thus limited to random surfaces defined on highly symmetric graphs, whereas our argument applies to general graphs. Our proof makes use of a cluster algorithm and reflection transformation for random surfaces of the type introduced by Swendsen-Wang, Wolff and Evertz et al. We discuss the general framework for such cluster algorithms, reviewing several particular cases with emphasis on their use in obtaining theoretical results. Two additional applications are presented: A reflection principle for random surfaces and a proof that pair correlations in the spin $O(n)$ model have monotone densities, strengthening Griffiths' first inequality for such correlations.

preprint2020arXiv

Rigidity of proper colorings of $\mathbb{Z}^d$

A proper $q$-coloring of a domain in $\mathbb{Z}^d$ is a function assigning one of $q$ colors to each vertex of the domain such that adjacent vertices are colored differently. Sampling a proper $q$-coloring uniformly at random, does the coloring typically exhibit long-range order? It has been known since the work of Dobrushin that no such ordering can arise when $q$ is large compared with $d$. We prove here that long-range order does arise for each $q$ when $d$ is sufficiently high, and further characterize all periodic maximal-entropy Gibbs states for the model. Ordering is also shown to emerge in low dimensions if the lattice $\mathbb{Z}^d$ is replaced by $\mathbb{Z}^{d_1}\times\mathbb{T}^{d_2}$ with $d_1\ge 2$, $d=d_1+d_2$ sufficiently high and $\mathbb{T}$ a cycle of even length. The results address questions going back to Berker--Kadanoff (1980), Kotecký (1985) and Salas--Sokal (1997).

preprint2018arXiv

A power-law upper bound on the correlations in the 2D random field Ising model

As first asserted by Y. Imry and S-K Ma, the famed discontinuity of the magnetization as function of the magnetic field in the two dimensional Ising model is eliminated, for all temperatures, through the addition of quenched random magnetic field of uniform variance, even if that is small. This statement is quantified here by a power-law upper bound on the decay rate of the effect of boundary conditions on the magnetization in finite systems, as function of the distance to the boundary. Unlike exponential decay which is only proven for strong disorder or high temperature, the power-law upper bound is established here for all field strengths and at all temperatures, including zero, for the case of independent Gaussian random field. Our analysis proceeds through a streamlined and quantified version of the Aizenman-Wehr proof of the Imry-Ma rounding effect.

preprint2016arXiv

Exponential decay of loop lengths in the loop $O(n)$ model with large $n$

The loop $O(n)$ model is a model for a random collection of non-intersecting loops on the hexagonal lattice, which is believed to be in the same universality class as the spin $O(n)$ model. It has been conjectured that both the spin and the loop $O(n)$ models exhibit exponential decay of correlations when $n>2$. We verify this for the loop $O(n)$ model with large parameter $n$, showing that long loops are exponentially unlikely to occur, uniformly in the edge weight $x$. Our proof provides further detail on the structure of typical configurations in this regime. Putting appropriate boundary conditions, when $nx^6$ is sufficiently small, the model is in a dilute, disordered phase in which each vertex is unlikely to be surrounded by any loops, whereas when $nx^6$ is sufficiently large, the model is in a dense, ordered phase which is a small perturbation of one of the three ground states.

preprint2015arXiv

Delocalization of two-dimensional random surfaces with hard-core constraints

We study the fluctuations of random surfaces on a two-dimensional discrete torus. The random surfaces we consider are defined via a nearest-neighbor pair potential which we require to be twice continuously differentiable on a (possibly infinite) interval and infinity outside of this interval. No convexity assumption is made and we include the case of the so-called hammock potential, when the random surface is uniformly chosen from the set of all surfaces satisfying a Lipschitz constraint. Our main result is that these surfaces delocalize, having fluctuations whose variance is at least of order $\log n$, where $n$ is the side length of the torus. We also show that the expected maximum of such surfaces is of order at least $\log n$. The main tool in our analysis is an adaptation to the lattice setting of an algorithm of Richthammer, who developed a variant of a Mermin-Wagner-type argument applicable to hard-core constraints. We rely also on the reflection positivity of the random surface model. The result answers a question mentioned by Brascamp, Lieb and Lebowitz 1975 on the hammock potential and a question of Velenik 2006.

preprint2015arXiv

Random Dirichlet series arising from records

We study the distributions of the random Dirichlet series with parameters $(s, β)$ defined by $$ S=\sum_{n=1}^{\infty}\frac{I_n}{n^s}, $$ where $(I_n)$ is a sequence of independent Bernoulli random variables, $I_n$ taking value $1$ with probability $1/n^β$ and value $0$ otherwise. Random series of this type are motivated by the record indicator sequences which have been studied in extreme value theory in statistics. We show that when $s>0$ and $0< β\le 1$ with $s+β>1$ the distribution of $S$ has a density; otherwise it is purely atomic or not defined because of divergence. In particular, in the case when $s>0$ and $β=1$, we prove that for every $0<s<1$ the density is bounded and continuous, whereas for every $s>1$ it is unbounded. In the case when $s>0$ and $0<β<1$ with $s+β>1$, the density is smooth. To show the absolute continuity, we obtain estimates of the Fourier transforms, employing van der Corput's method to deal with number-theoretic problems. We also give further regularity results of the densities, and present an example of non atomic singular distribution which is induced by the series restricted to the primes.

preprint2013arXiv

Grounded Lipschitz functions on trees are typically flat

A grounded M-Lipschitz function on a rooted d-ary tree is an integer-valued map on the vertices that changes by at most along edges and attains the value zero on the leaves. We study the behavior of such functions, specifically, their typical value at the root v_0 of the tree. We prove that the probability that the value of a uniformly chosen random function at v_0 is more than M+t is doubly-exponentially small in t. We also show a similar bound for continuous (real-valued) grounded Lipschitz functions.

preprint2012arXiv

On K-wise Independent Distributions and Boolean Functions

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

preprint2011arXiv

The Maximal Probability that k-wise Independent Bits are All 1

A k-wise independent distribution on n bits is a joint distribution of the bits such that each k of them are independent. In this paper we consider k-wise independent distributions with identical marginals, each bit has probability p to be 1. We address the following question: how high can the probability that all the bits are 1 be, for such a distribution? For a wide range of the parameters n,k and p we find an explicit lower bound for this probability which matches an upper bound given by Benjamini et al., up to multiplicative factors of lower order. The question we investigate can be seen as a relaxation of a major open problem in error-correcting codes theory, namely, how large can a linear error correcting code with given parameters be? The question is a type of discrete moment problem, and our approach is based on showing that bounds obtained from the theory of the classical moment problem provide good approximations for it. The main tool we use is a bound controlling the change in the expectation of a polynomial after small perturbation of its zeros.

preprint2010arXiv

On rough isometries of Poisson processes on the line

Intuitively, two metric spaces are rough isometric (or quasi-isometric) if their large-scale metric structure is the same, ignoring fine details. This concept has proven fundamental in the geometric study of groups. Abért, and later Szegedy and Benjamini, have posed several probabilistic questions concerning this concept. In this article, we consider one of the simplest of these: are two independent Poisson point processes on the line rough isometric almost surely? Szegedy conjectured that the answer is positive. Benjamini proposed to consider a quantitative version which roughly states the following: given two independent percolations on $\mathbb {N}$, for which constants are the first $n$ points of the first percolation rough isometric to an initial segment of the second, with the first point mapping to the first point and with probability uniformly bounded from below? We prove that the original question is equivalent to proving that absolute constants are possible in this quantitative version. We then make some progress toward the conjecture by showing that constants of order $\sqrt{\log n}$ suffice in the quantitative version. This is the first result to improve upon the trivial construction which has constants of order $\log n$. Furthermore, the rough isometry we construct is (weakly) monotone and we include a discussion of monotone rough isometries, their properties and an interesting lattice structure inherent in them.

preprint2008arXiv

Growth of the Number of Spanning Trees of the Erdös-Rényi Giant Component

The number of spanning trees in the giant component of the random graph $\G(n, c/n)$ ($c>1$) grows like $\exp\big\{m\big(f(c)+o(1)\big)\big\}$ as $n\to\infty$, where $m$ is the number of vertices in the giant component. The function $f$ is not known explicitly, but we show that it is strictly increasing and infinitely differentiable. Moreover, we give an explicit lower bound on $f'(c)$. A key lemma is the following. Let $\PGW(λ)$ denote a Galton-Watson tree having Poisson offspring distribution with parameter $λ$. Suppose that $λ^*>λ>1$. We show that $\PGW(λ^*)$ conditioned to survive forever stochastically dominates $\PGW(λ)$ conditioned to survive forever.