Showing 1–50 of 63 results for author: Peled, R

Minimal surfaces in random environment

Authors: Barbara Dembin, Dor Elboim, Daniel Hadas, Ron Peled

Abstract: A minimal surface in a random environment (MSRE) is a surface which minimizes the sum of its elastic energy and its environment potential energy, subject to prescribed boundary conditions. Apart from their intrinsic interest, such surfaces are further motivated by connections with disordered spin systems and first-passage percolation models. We wish to study the geometry of d-dimensional minimal s… ▽ More A minimal surface in a random environment (MSRE) is a surface which minimizes the sum of its elastic energy and its environment potential energy, subject to prescribed boundary conditions. Apart from their intrinsic interest, such surfaces are further motivated by connections with disordered spin systems and first-passage percolation models. We wish to study the geometry of d-dimensional minimal surfaces in a (d+n)-dimensional random environment. Specializing to a model that we term harmonic MSRE, in an ``independent'' random environment, we rigorously establish bounds on the geometric and energetic fluctuations of the minimal surface, as well as a scaling relation that ties together these two types of fluctuations. In particular, we prove, for all values of $n$, that the surfaces are delocalized in dimensions $d\le 4$ and localized in dimensions $d\ge 5$. Moreover, the surface delocalizes with power-law fluctuations when $d\le 3$ and sub-power-law fluctuations when $d=4$. Our localization results apply also to harmonic minimal surfaces in a periodic random environment. △ Less

Submitted 12 January, 2024; originally announced January 2024.

Comments: 69 pages, 3 figures

Evaluating the Security of Satellite Systems

Authors: Roy Peled, Eran Aizikovich, Edan Habler, Yuval Elovici, Asaf Shabtai

Abstract: Satellite systems are facing an ever-increasing amount of cybersecurity threats as their role in communications, navigation, and other services expands. Recent papers have examined attacks targeting satellites and space systems; however, they did not comprehensively analyze the threats to satellites and systematically identify adversarial techniques across the attack lifecycle. This paper presents… ▽ More Satellite systems are facing an ever-increasing amount of cybersecurity threats as their role in communications, navigation, and other services expands. Recent papers have examined attacks targeting satellites and space systems; however, they did not comprehensively analyze the threats to satellites and systematically identify adversarial techniques across the attack lifecycle. This paper presents a comprehensive taxonomy of adversarial tactics, techniques, and procedures explicitly targeting LEO satellites. First, we analyze the space ecosystem including the ground, space, Communication, and user segments, highlighting their architectures, functions, and vulnerabilities. Then, we examine the threat landscape, including adversary types, and capabilities, and survey historical and recent attacks such as jamming, spoofing, and supply chain. Finally, we propose a novel extension of the MITRE ATT&CK framework to categorize satellite attack techniques across the adversary lifecycle from reconnaissance to impact. The taxonomy is demonstrated by modeling high-profile incidents, including the Viasat attack that disrupted Ukraine's communications. The taxonomy provides the foundation for the development of defenses against emerging cyber risks to space assets. The proposed threat model will advance research in the space domain and contribute to the security of the space domain against sophisticated attacks. △ Less

Submitted 3 December, 2023; originally announced December 2023.

Non-constant ground configurations in the disordered ferromagnet

Authors: Michal Bassan, Shoni Gilboa, Ron Peled

Abstract: The disordered ferromagnet is a disordered version of the ferromagnetic Ising model in which the coupling constants are non-negative quenched random. A ground configuration is an infinite-volume configuration whose energy cannot be reduced by finite modifications. It is a long-standing challenge to ascertain whether the disordered ferromagnet on the $\mathbb{Z}^D$ lattice admits non-constant groun… ▽ More The disordered ferromagnet is a disordered version of the ferromagnetic Ising model in which the coupling constants are non-negative quenched random. A ground configuration is an infinite-volume configuration whose energy cannot be reduced by finite modifications. It is a long-standing challenge to ascertain whether the disordered ferromagnet on the $\mathbb{Z}^D$ lattice admits non-constant ground configurations. We answer this affirmatively in dimensions $D\ge 4$, when the coupling constants are sampled independently from a sufficiently concentrated distribution. The obtained ground configurations are further shown to be translation-covariant with respect to $\mathbb{Z}^{D-1}$ translations of the disorder. Our result is proved by showing that the finite-volume interface formed by Dobrushin boundary conditions is localized, and converges to an infinite-volume interface. This may be expressed in purely combinatorial terms, as a result on the fluctuations of certain minimal cutsets in the lattice $\mathbb{Z}^D$ endowed with independent edge capacities. △ Less

Submitted 19 November, 2023; v1 submitted 12 September, 2023; originally announced September 2023.

Comments: A combinatorial interpretation was added; some additional minor changes to the presentation

MSC Class: 82B44; 60K37; 60K35; 82B41

On the influence of edges in first-passage percolation on $\mathbb{Z}^d$

Authors: Barbara Dembin, Dor Elboim, Ron Peled

Abstract: We study first-passage percolation on $\mathbb Z^d$, $d\ge 2$, with independent weights whose common distribution is compactly supported in $(0,\infty)$ with a uniformly-positive density. Given $ε>0$ and $v\in\mathbb Z^d$, which edges have probability at least $ε$ to lie on the geodesic between the origin and $v$? It is expected that all such edges lie at distance at most some $r(ε)$ from either t… ▽ More We study first-passage percolation on $\mathbb Z^d$, $d\ge 2$, with independent weights whose common distribution is compactly supported in $(0,\infty)$ with a uniformly-positive density. Given $ε>0$ and $v\in\mathbb Z^d$, which edges have probability at least $ε$ to lie on the geodesic between the origin and $v$? It is expected that all such edges lie at distance at most some $r(ε)$ from either the origin or $v$, but this remains open in dimensions $d\ge 3$. We establish the closely-related fact that the number of such edges is at most some $C(ε)$, uniformly in $v$. In addition, we prove a quantitative bound, allowing $ε$ to tend to zero as $\|v\|$ tends to infinity, showing that there are at most $O\big(ε^{-\frac{2d}{d-1}}(\log \|v\|)^C\big)$ such edges, uniformly in $ε$ and $v$. The latter result addresses a problem raised by Benjamin-Kalai-Schramm (2003). Our technique further yields a strengthened version of a lower bound on transversal fluctuations due to Licea-Newman-Piza (1996). △ Less

Submitted 13 October, 2023; v1 submitted 3 July, 2023; originally announced July 2023.

Dynamical Localization for Random Band Matrices up to $W\ll N^{1/4}$

Authors: Giorgio Cipolloni, Ron Peled, Jeffrey Schenker, Jacob Shapiro

Abstract: We prove that a large class of $N\times N$ Gaussian random band matrices with band width $W$ exhibits dynamical Anderson localization at all energies when $W \ll N^{1/4}$. The proof uses the fractional moment method and an adaptive Mermin--Wagner style shift. We prove that a large class of $N\times N$ Gaussian random band matrices with band width $W$ exhibits dynamical Anderson localization at all energies when $W \ll N^{1/4}$. The proof uses the fractional moment method and an adaptive Mermin--Wagner style shift. △ Less

Submitted 5 July, 2022; v1 submitted 11 June, 2022; originally announced June 2022.

Comments: 25 pages

Columnar order in random packings of $2\times2$ squares on the square lattice

Authors: Daniel Hadas, Ron Peled

Abstract: We study random packings of $2\times2$ squares with centers on the square lattice $\mathbb{Z}^{2}$, in which the probability of a packing is proportional to $λ$ to the number of squares. We prove that for large $λ$, typical packings exhibit columnar order, in which either the centers of most tiles agree on the parity of their $x$-coordinate or the centers of most tiles agree on the parity of their… ▽ More We study random packings of $2\times2$ squares with centers on the square lattice $\mathbb{Z}^{2}$, in which the probability of a packing is proportional to $λ$ to the number of squares. We prove that for large $λ$, typical packings exhibit columnar order, in which either the centers of most tiles agree on the parity of their $x$-coordinate or the centers of most tiles agree on the parity of their $y$-coordinate. This manifests in the existence of four extremal and periodic Gibbs measures in which the rotational symmetry of the lattice is broken while the translational symmetry is only broken along a single axis. We further quantify the decay of correlations in these measures, obtaining a slow rate of exponential decay in the direction of preserved translational symmetry and a fast rate in the direction of broken translational symmetry. Lastly, we prove that every periodic Gibbs measure is a mixture of these four measures. Additionally, our proof introduces an apparently novel extension of the chessboard estimate, from finite-volume torus measures to all infinite-volume periodic Gibbs measures. △ Less

Submitted 3 October, 2022; v1 submitted 2 June, 2022; originally announced June 2022.

Comments: Added subsection 10.4 (discussion of sliding in lattice disk models). Extended subsubsections 1.3.4 and 1.3.5 (added more references to related work). Added Figure 4.3 (illustration of components). Minor modification for Figure 1.3. 90 pages, 13 figures

Coalescence of geodesics and the BKS midpoint problem in planar first-passage percolation

Authors: Barbara Dembin, Dor Elboim, Ron Peled

Abstract: We consider first-passage percolation on $\mathbb Z^2$ with independent and identically distributed weights whose common distribution is absolutely continuous with a finite exponential moment. Under the assumption that the limit shape has more than 32 extreme points, we prove that geodesics with nearby starting and ending points have significant overlap, coalescing on all but small portions near t… ▽ More We consider first-passage percolation on $\mathbb Z^2$ with independent and identically distributed weights whose common distribution is absolutely continuous with a finite exponential moment. Under the assumption that the limit shape has more than 32 extreme points, we prove that geodesics with nearby starting and ending points have significant overlap, coalescing on all but small portions near their endpoints. The statement is quantified, with power-law dependence of the involved quantities on the length of the geodesics. The result leads to a quantitative resolution of the Benjamini--Kalai--Schramm midpoint problem. It is shown that the probability that the geodesic between two given points passes through a given edge is smaller than a power of the distance between the points and the edge. We further prove that the limit shape assumption is satisfied for a specific family of distributions. Lastly, related to the 1965 Hammersley--Welsh highways and byways problem, we prove that the expected fraction of the square $\{-n,\dots ,n\}^2$ which is covered by infinite geodesics starting at the origin is at most an inverse power of $n$. This result is obtained without explicit limit shape assumptions. △ Less

Submitted 30 January, 2024; v1 submitted 5 April, 2022; originally announced April 2022.

Comments: Various enhancements following referee comments, including revision of Proposition 3.1, Claim 4.4 and the proof of Proposition 1.8

MSC Class: 82B43; 82B44

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

Authors: Michael Aizenman, Matan Harel, Ron Peled, Jacob Shapiro

Abstract: 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… ▽ More 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. △ Less

Submitted 27 May, 2022; v1 submitted 18 October, 2021; originally announced October 2021.

Comments: The version of 27 May 2022 is a significant extension of the work's earlier draft, of 22 Oct. 2021. It includes further developments in the direction that was initially outlined at the B. Simon birthday conference at Caltech, 18 April 2021

MSC Class: 60D05; 82B26

What does a typical metric space look like?

Authors: Gady Kozma, Tom Meyerovitch, Ron Peled, Wojciech Samotij

Abstract: 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 o… ▽ More 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. △ Less

Submitted 29 May, 2022; v1 submitted 4 April, 2021; originally announced April 2021.

Comments: 64 pages, 2 figures. v2: Swapped Sections 5 and 6 and added a reader's guide

Random-field random surfaces

Authors: Paul Dario, Matan Harel, Ron Peled

Abstract: We study how the typical gradient and typical height of a random surface are modified by the addition of quenched disorder in the form of a random independent external field. The results provide quantitative estimates, sharp up to multiplicative constants, in the following cases. It is shown that for real-valued disordered random surfaces of the $\nabla φ$ type with a uniformly convex interactio… ▽ More We study how the typical gradient and typical height of a random surface are modified by the addition of quenched disorder in the form of a random independent external field. The results provide quantitative estimates, sharp up to multiplicative constants, in the following cases. It is shown that for real-valued disordered random surfaces of the $\nabla φ$ type with a uniformly convex interaction potential: (i) The gradient of the surface delocalizes in dimensions $1\le d\le 2$ and localizes in dimensions $d\ge3$. (ii) The surface delocalizes in dimensions $1\le d\le 4$ and localizes in dimensions $d\ge 5$. It is further shown that for the integer-valued disordered Gaussian free field: (i) The gradient of the surface delocalizes in dimensions $d=1,2$ and localizes in dimensions $d\ge3$. (ii) The surface delocalizes in dimensions $d=1,2$. (iii) The surface localizes in dimensions $d\ge 3$ at weak disorder strength. The behavior in dimensions $d\ge 3$ at strong disorder is left open. The proofs rely on several tools: explicit identities satisfied by the expectation of the random surface, the Efron--Stein concentration inequality, a coupling argument for Langevin dynamics (originally due to Funaki and Spohn) and the Nash--Aronson estimate. △ Less

Submitted 15 February, 2023; v1 submitted 6 January, 2021; originally announced January 2021.

Comments: Fixes a mistake in the appendix: the inequality (A.10) of arXiv v4 was incorrect, this is corrected in this version with an additional half a page. The result of Proposition 3.3 is still correct. ArXiv v4 is the version accepted for publication; 50 pages

Quantitative disorder effects in low-dimensional spin systems

Authors: Paul Dario, Matan Harel, Ron Peled

Abstract: The Imry-Ma phenomenon, predicted in 1975 by Imry and Ma and rigorously established in 1989 by Aizenman and Wehr, states that first-order phase transitions of low-dimensional spin systems are `rounded' by the addition of a quenched random field to the quantity undergoing the transition. The phenomenon applies to a wide class of spin systems in dimensions $d\le 2$ and to spin systems possessing a c… ▽ More The Imry-Ma phenomenon, predicted in 1975 by Imry and Ma and rigorously established in 1989 by Aizenman and Wehr, states that first-order phase transitions of low-dimensional spin systems are `rounded' by the addition of a quenched random field to the quantity undergoing the transition. The phenomenon applies to a wide class of spin systems in dimensions $d\le 2$ and to spin systems possessing a continuous symmetry in dimensions $d\le 4$. This work provides quantitative estimates for the Imry--Ma phenomenon: In a cubic domain of side length $L$, we study the effect of the boundary conditions on the spatial and thermal average of the quantity coupled to the random field. We show that the boundary effect diminishes at least as fast as an inverse power of $\log\log L$ for general two-dimensional spin systems and for four-dimensional spin systems with continuous symmetry, and at least as fast as an inverse power of $L$ for two- and three-dimensional spin systems with continuous symmetry. Specific models of interest for the obtained results include the two-dimensional random-field $q$-state Potts and Edwards-Anderson spin glass models, and the $d$-dimensional random-field spin $O(n)$ models ($n\ge 2$) in dimensions $d\le 4$. △ Less

Submitted 2 September, 2023; v1 submitted 5 January, 2021; originally announced January 2021.

Comments: Revised version. Theorem 3 establishing a partial uniqueness result for translation-covariant Gibbs states has been added. Many minor improvements throughout; 54 pages, 2 figures

Long-range order in discrete spin systems

Authors: Ron Peled, Yinon Spinka

Abstract: We establish long-range order for discrete nearest-neighbor spin systems on $\mathbb{Z}^d$ satisfying a certain symmetry assumption, when the dimension $d$ is higher than an explicitly described threshold. The results characterize all periodic, maximal-pressure Gibbs states of the system. The results further apply in low dimensions provided that the lattice $\mathbb{Z}^d$ is replaced by… ▽ More We establish long-range order for discrete nearest-neighbor spin systems on $\mathbb{Z}^d$ satisfying a certain symmetry assumption, when the dimension $d$ is higher than an explicitly described threshold. The results characterize all periodic, maximal-pressure Gibbs states of the system. The results further apply in low dimensions provided that the lattice $\mathbb{Z}^d$ is replaced by $\mathbb{Z}^{d_1}\times\mathbb{T}^{d_2}$ with $d_1\ge 2$ and $d=d_1+d_2$ sufficiently high, where $\mathbb{T}$ is a cycle of even length. Applications to specific systems are discussed in detail and models for which new results are provided include the antiferromagnetic Potts model, Lipschitz height functions, and the hard-core, Widom--Rowlinson and beach models and their multi-type extensions. We also establish a formula conjectured by Jenssen and Keevash for the topological pressure in the high-dimensional limit. △ Less

Submitted 7 January, 2024; v1 submitted 7 October, 2020; originally announced October 2020.

Comments: 91 pages, 7 figures. This paper is the companion to arXiv:1808.03597. Established a formula conjectured by Jenssen and Keevash for the topological pressure in the high-dimensional limit

MSC Class: 60K35; 82B20; 82B05; 82B26; 60C05

Concentration inequalities for log-concave distributions with applications to random surface fluctuations

Authors: Alexander Magazinov, Ron Peled

Abstract: We derive two concentration inequalities for linear functions of log-concave distributions: an enhanced version of the classical Brascamp--Lieb concentration inequality, and an inequality quantifying log-concavity of marginals in a manner suitable for obtaining variance and tail probability bounds. These inequalities are applied to the statistical mechanics problem of estimating the fluctuations… ▽ More We derive two concentration inequalities for linear functions of log-concave distributions: an enhanced version of the classical Brascamp--Lieb concentration inequality, and an inequality quantifying log-concavity of marginals in a manner suitable for obtaining variance and tail probability bounds. These inequalities are applied to the statistical mechanics problem of estimating the fluctuations of random surfaces of the $\nabla\varphi$ type. The classical Brascamp--Lieb inequality bounds the fluctuations whenever the interaction potential is uniformly convex. We extend these bounds to the case of convex potentials whose second derivative vanishes only on a zero measure set, when the underlying graph is a $d$-dimensional discrete torus. The result applies, in particular, to potentials of the form $U(x)=|x|^p$ with $p>1$ and answers a question discussed by Brascamp--Lieb--Lebowitz (1975). Additionally, new tail probability bounds are obtained for the family of potentials $U(x) = |x|^p+x^2$, $p>2$. This result answers a question mentioned by Deuschel and Giacomin (2000). △ Less

Submitted 22 November, 2021; v1 submitted 9 June, 2020; originally announced June 2020.

Comments: 33 pages. Added a remark regarding the adaptation of Theorem 1.5 to general boundary conditions. Made various minor enhancements throughout

Macroscopic loops in the loop O(n) model via the XOR trick

Authors: Nicholas Crawford, Alexander Glazman, Matan Harel, Ron Peled

Abstract: The loop $O(n)$ model is a family of probability measures on collections of non-intersecting loops on the hexagonal lattice, parameterized by a loop-weight $n$ and an edge-weight $x$. Nienhuis predicts that, for $0 \leq n \leq 2$, the model exhibits two regimes separated by $x_c(n) = 1/\sqrt{2 + \sqrt{2-n}}$: when $x < x_c(n)$, the loop lengths have exponential tails, while, when $x \geq x_c(n)$,… ▽ More The loop $O(n)$ model is a family of probability measures on collections of non-intersecting loops on the hexagonal lattice, parameterized by a loop-weight $n$ and an edge-weight $x$. Nienhuis predicts that, for $0 \leq n \leq 2$, the model exhibits two regimes separated by $x_c(n) = 1/\sqrt{2 + \sqrt{2-n}}$: when $x < x_c(n)$, the loop lengths have exponential tails, while, when $x \geq x_c(n)$, the loops are macroscopic. In this paper, we prove three results regarding the existence of long loops in the loop $O(n)$ model: - In the regime $(n,x) \in [1,1+δ) \times (1- δ, 1]$ with $δ>0$ small, a configuration sampled from a translation-invariant Gibbs measure will either contain an infinite path or have infinitely many loops surrounding every face. In the subregime $n \in [1,1+δ)$ and $x \in (1-δ,1/\sqrt{n}]$ our results further imply Russo--Seymour--Welsh theory. This is the first proof of the existence of macroscopic loops in a positive area subset of the phase diagram. - Existence of loops whose diameter is comparable to that of a finite domain whenever $n=1, x \in (1,\sqrt{3}]$; this regime is equivalent to part of the antiferromagnetic regime of the Ising model on the triangular lattice. - Existence of non-contractible loops on a torus when $n \in [1,2], x=1$. The main ingredients of the proof are: (i) the `XOR trick': if $ω$ is a collection of short loops and $Γ$ is a long loop, then the symmetric difference of $ω$ and $Γ$ necessarily includes a long loop as well; (ii) a reduction of the problem of finding long loops to proving that a percolation process on an auxiliary planar graph, built using the Chayes--Machta and Edwards--Sokal geometric expansions, has no infinite connected components; and (iii) a recent result on the percolation threshold of Benjamini--Schramm limits of planar graphs. △ Less

Submitted 13 June, 2024; v1 submitted 31 January, 2020; originally announced January 2020.

Comments: improved presentation throughout the paper, in particular regarding the Benjamini-Schramm limits

MSC Class: 60K35; 82B05 82B20; 82B26; 82B27; 60C05

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

Authors: Ron Peled, Yinon Spinka

Abstract: 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 a… ▽ More 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. △ Less

Submitted 24 May, 2022; v1 submitted 30 January, 2020; originally announced January 2020.

Comments: 56 pages, 13 figures; Based on lectures given at the workshop on Random Walks, Random Graphs and Random Media, September 2019, Munich and at the school Lectures on Probability and Stochastic Processes XIV, December 2019, Delhi. Added figures and made minor improvements to the text in this version. arXiv admin note: text overlap with arXiv:1808.03597

MSC Class: 60C05; 60K35; 82B20; 82B05; 82B26; 05C15

On the site percolation threshold of circle packings and planar graphs

Authors: Ron Peled

Abstract: 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 conclusi… ▽ More 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. △ Less

Submitted 29 January, 2020; originally announced January 2020.

Comments: 25 pages, 2 figures

MSC Class: 60K35; 82B43; 52C26; 05C10

Power-law decay of weights and recurrence of the two-dimensional VRJP

Authors: Gady Kozma, Ron Peled

Abstract: The vertex-reinforced jump process (VRJP) is a form of self-interacting random walk in which the walker is biased towards returning to previously visited vertices with the bias depending linearly on the local time at these vertices. We prove that, for any initial bias, the weights sampled from the magic formula on a two-dimensional graph decay at least at a power-law rate. Via arguments of Sabot a… ▽ More The vertex-reinforced jump process (VRJP) is a form of self-interacting random walk in which the walker is biased towards returning to previously visited vertices with the bias depending linearly on the local time at these vertices. We prove that, for any initial bias, the weights sampled from the magic formula on a two-dimensional graph decay at least at a power-law rate. Via arguments of Sabot and Zeng, the result implies that the VRJP is recurrent in two dimensions for any initial bias. △ Less

Submitted 14 May, 2021; v1 submitted 19 November, 2019; originally announced November 2019.

Comments: 20 pages. Minor clarifications and improvements

MSC Class: Primary 60K37; 60K35; Secondary 81T25; 81T60

On the transition between the disordered and antiferroelectric phases of the 6-vertex model

Authors: Alexander Glazman, Ron Peled

Abstract: The symmetric six-vertex model with parameters $a,b,c>0$ is expected to exhibit different behavior in the regimes $a+b<c$ (antiferroelectric), $|a-b|<c\leq a+b$ (disordered) and $|a-b|>c$ (ferroelectric). In this work, we study the way in which the transition between the regimes $a+b=c$ and $a+b<c$ manifests. When $a+b<c$, we show that the associated height function is localized and its extremal… ▽ More The symmetric six-vertex model with parameters $a,b,c>0$ is expected to exhibit different behavior in the regimes $a+b<c$ (antiferroelectric), $|a-b|<c\leq a+b$ (disordered) and $|a-b|>c$ (ferroelectric). In this work, we study the way in which the transition between the regimes $a+b=c$ and $a+b<c$ manifests. When $a+b<c$, we show that the associated height function is localized and its extremal periodic Gibbs states can be parametrized by the integers in such a way that, in the $n$-th state, the heights $n$ and $n+1$ percolate while the connected components of their complement have diameters with exponentially decaying tails. When $a+b=c$, the height function is delocalized. The proofs rely on the Baxter-Kelland-Wu coupling between the six-vertex and the random-cluster models and on recent results for the latter. An interpolation between free and wired boundary conditions is introduced by modifying cluster weights. Using triangular lattice contours ($\mathbb{T}$-circuits), we describe another coupling for height functions that in particular leads to a novel proof of the delocalization at $a=b=c$. Finally, we highlight a spin representation of the six-vertex model and obtain a coupling of it to the Ashkin-Teller model on $\mathbb{Z}^2$ at its self-dual line $\sinh 2J = e^{-2U}$. When $J<U$, we show that each of the two Ising configurations exhibits exponential decay of correlations while their product is ferromagnetically ordered. △ Less

Submitted 9 October, 2023; v1 submitted 8 September, 2019; originally announced September 2019.

Comments: v2: Improvements to the exposition, minor enhancements to the main results. Added a short proof for the delocalization of the height function of square-ice via triangular circuits. v3: Minor edits, published version

MSC Class: 60K35; 82B20; 82B27

Journal ref: Electron. J. Probab. 28: 1-53 (2023)

Exponential decay of correlations in the 2D random field Ising model

Authors: Michael Aizenman, Matan Harel, Ron Peled

Abstract: An extension of the Ising spin configurations to continuous functions is used for an exact representation of the Random Field Ising Model's order parameter in terms of disagreement percolation. This facilitates an extension of the recent analyses of the decay of correlations to positive temperatures, at homogeneous but arbitrarily weak disorder. An extension of the Ising spin configurations to continuous functions is used for an exact representation of the Random Field Ising Model's order parameter in terms of disagreement percolation. This facilitates an extension of the recent analyses of the decay of correlations to positive temperatures, at homogeneous but arbitrarily weak disorder. △ Less

Submitted 15 July, 2019; originally announced July 2019.

Comments: 27 pages, 3 figures

MSC Class: 82B44; 60K35

Journal ref: Journal of Statistical Physics volume 180, pages 304-331 (2020)

Delocalization of uniform graph homomorphisms from $\mathbb{Z}^2$ to $\mathbb{Z}$

Authors: Nishant Chandgotia, Ron Peled, Scott Sheffield, Martin Tassy

Abstract: Graph homomorphisms from the $\mathbb{Z}^d$ lattice to $\mathbb{Z}$ are functions on $\mathbb{Z}^d$ whose gradients equal one in absolute value. These functions are the height functions corresponding to proper $3$-colorings of $\mathbb{Z}^d$ and, in two dimensions, corresponding to the $6$-vertex model (square ice). We consider the uniform model, obtained by sampling uniformly such a graph homomor… ▽ More Graph homomorphisms from the $\mathbb{Z}^d$ lattice to $\mathbb{Z}$ are functions on $\mathbb{Z}^d$ whose gradients equal one in absolute value. These functions are the height functions corresponding to proper $3$-colorings of $\mathbb{Z}^d$ and, in two dimensions, corresponding to the $6$-vertex model (square ice). We consider the uniform model, obtained by sampling uniformly such a graph homomorphism subject to boundary conditions. Our main result is that the model delocalizes in two dimensions, having no translation-invariant Gibbs measures. Additional results are obtained in higher dimensions and include the fact that every Gibbs measure which is ergodic under even translations is extremal and that these Gibbs measures are stochastically ordered. △ Less

Submitted 28 July, 2021; v1 submitted 23 October, 2018; originally announced October 2018.

Comments: 21 pages, 2 Figures. Corrected Lemma 4.2 (Lemma 4.12 in the current version) from the previous version

MSC Class: 60K35; 82B20

Longest increasing path within the critical strip

Authors: Partha Dey, Mathew Joseph, Ron Peled

Abstract: A Poisson point process of unit intensity is placed in the square $[0,n]^2$. An increasing path is a curve connecting $(0,0)$ with $(n,n)$ which is non-decreasing in each coordinate. Its length is the number of points of the Poisson process which it passes through. Baik, Deift and Johansson proved that the maximal length of an increasing path has expectation $2n-n^{1/3}(c_1+o(1))$, variance… ▽ More A Poisson point process of unit intensity is placed in the square $[0,n]^2$. An increasing path is a curve connecting $(0,0)$ with $(n,n)$ which is non-decreasing in each coordinate. Its length is the number of points of the Poisson process which it passes through. Baik, Deift and Johansson proved that the maximal length of an increasing path has expectation $2n-n^{1/3}(c_1+o(1))$, variance $n^{2/3}(c_2+o(1))$ and that it converges to the Tracy-Widom distribution after suitable scaling. Johansson further showed that all maximal paths have a displacement of $n^{\frac23+o(1)}$ from the diagonal with probability tending to one as $n\to \infty$. Here we prove that the maximal length of an increasing path restricted to lie within a strip of width $n^γ, γ<\frac23$, around the diagonal has expectation $2n-n^{1-γ+o(1)}$, variance $n^{1 - \fracγ{2}+o(1)}$ and that it converges to the Gaussian distribution after suitable scaling. △ Less

Submitted 25 August, 2018; originally announced August 2018.

Comments: 29 pages, 7 figures. A preliminary version of this paper has been available on the first author's website since December 2015

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

Authors: Michael Aizenman, Ron Peled

Abstract: 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 cond… ▽ More 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. △ Less

Submitted 24 August, 2018; originally announced August 2018.

Comments: 27 pp, 1 fig

MSC Class: 82B44 (Primary); 60K35 (Secondary)

Journal ref: Communications in Mathematical Physics volume 372, pages 865-892 (2019)

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

Authors: Ron Peled, Yinon Spinka

Abstract: 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… ▽ More 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). △ Less

Submitted 27 July, 2020; v1 submitted 10 August, 2018; originally announced August 2018.

Comments: 53 pages, 7 figures. Many minor enhancements. Added figures

MSC Class: 60K35; 82B20; 82B05; 82B26; 60C05

Limit distributions for Euclidean random permutations

Authors: Dor Elboim, Ron Peled

Abstract: We study the length of cycles in the model of spatial random permutations in Euclidean space. In this model, for given length $L$, density $ρ$, dimension $d$ and jump density $\varphi$, one samples $ρL^d$ particles in a $d$-dimensional torus of side length $L$, and a permutation $π$ of the particles, with probability density proportional to the product of values of $\varphi$ at the differences bet… ▽ More We study the length of cycles in the model of spatial random permutations in Euclidean space. In this model, for given length $L$, density $ρ$, dimension $d$ and jump density $\varphi$, one samples $ρL^d$ particles in a $d$-dimensional torus of side length $L$, and a permutation $π$ of the particles, with probability density proportional to the product of values of $\varphi$ at the differences between a particle and its image under $π$. The distribution may be further weighted by a factor of $θ$ to the number of cycles in $π$. Following Matsubara and Feynman, the emergence of macroscopic cycles in $π$ at high density $ρ$ has been related to the phenomenon of Bose-Einstein condensation. For each dimension $d\ge 1$, we identify sub-critical, critical and super-critical regimes for $ρ$ and find the limiting distribution of cycle lengths in these regimes. The results extend the work of Betz and Ueltschi. Our main technical tools are saddle-point and singularity analysis of suitable generating functions following the analysis by Bogachev and Zeindler of a related surrogate-spatial model. △ Less

Submitted 11 February, 2019; v1 submitted 11 December, 2017; originally announced December 2017.

Comments: Fixed broken citation link. 58 pages, 6 figures

MSC Class: 60K35; 82B26

A condition for long-range order in discrete spin systems with application to the antiferromagnetic Potts model

Authors: Ron Peled, Yinon Spinka

Abstract: We give a general condition for a discrete spin system with nearest-neighbor interactions on the $\mathbb{Z}^d$ lattice to exhibit long-range order. The condition is applicable to systems with residual entropy in which the long-range order is entropically driven. As a main example we consider the antiferromagnetic $q$-state Potts model and rigorously prove the existence of a broken sub-lattice sym… ▽ More We give a general condition for a discrete spin system with nearest-neighbor interactions on the $\mathbb{Z}^d$ lattice to exhibit long-range order. The condition is applicable to systems with residual entropy in which the long-range order is entropically driven. As a main example we consider the antiferromagnetic $q$-state Potts model and rigorously prove the existence of a broken sub-lattice symmetry phase at low temperature and high dimension -- a new result for $q\ge 4$. As further examples, we prove the existence of an ordered phase in a clock model with hard constraints and extend the known regime of the demixed phase in the lattice Widom-Rowlinson model. △ Less

Submitted 31 December, 2017; v1 submitted 11 December, 2017; originally announced December 2017.

Comments: 6 pages, 1 figure. Revised introduction

The Fröhlich-Spencer Proof of the Berezinskii-Kosterlitz-Thouless Transition

Authors: Vital Kharash, Ron Peled

Abstract: We present the Fröhlich-Spencer proof of the Berezinskii-Kosterlitz-Thouless transition. Our treatment includes the proof of delocalization for the integer-valued discrete Gaussian free field at high temperature and the proof of existence of a phase with power-law decay of correlations in the plane rotator model with Villain interaction, both in two dimensions. The treatment differs from the origi… ▽ More We present the Fröhlich-Spencer proof of the Berezinskii-Kosterlitz-Thouless transition. Our treatment includes the proof of delocalization for the integer-valued discrete Gaussian free field at high temperature and the proof of existence of a phase with power-law decay of correlations in the plane rotator model with Villain interaction, both in two dimensions. The treatment differs from the original in various technical points and we hope it will be of benefit to the community. △ Less

Submitted 13 November, 2017; originally announced November 2017.

Comments: 40 pages

MSC Class: 82-01; 82B05; 82B20; 82B26; 82B41

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

Authors: Omri Cohen-Alloro, Ron Peled

Abstract: 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 ref… ▽ More 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. △ Less

Submitted 9 March, 2020; v1 submitted 1 November, 2017; originally announced November 2017.

Comments: 26 pages. Version 2: The discussion in Section 2 on Cluster algorithms and reflection transformations is extended to include models with non-symmetric pair interactions. Reflection transformations on infinite graphs are briefly mentioned. Additional minor enhancements throughout

MSC Class: 82B05; 82B20; 82B41

Lectures on the Spin and Loop $O(n)$ Models

Authors: Ron Peled, Yinon Spinka

Abstract: The classical spin $O(n)$ model is a model on a $d$-dimensional lattice in which a vector on the $(n-1)$-dimensional sphere is assigned to every lattice site and the vectors at adjacent sites interact ferromagnetically via their inner product. Special cases include the Ising model ($n=1$), the XY model ($n=2$) and the Heisenberg model ($n=3$). We discuss questions of long-range order and decay of… ▽ More The classical spin $O(n)$ model is a model on a $d$-dimensional lattice in which a vector on the $(n-1)$-dimensional sphere is assigned to every lattice site and the vectors at adjacent sites interact ferromagnetically via their inner product. Special cases include the Ising model ($n=1$), the XY model ($n=2$) and the Heisenberg model ($n=3$). We discuss questions of long-range order and decay of correlations in the spin $O(n)$ model for different combinations of the lattice dimension $d$ and the number of spin components $n$. The loop $O(n)$ model is a model for a random configuration of disjoint loops. We discuss its properties on the hexagonal lattice. The model is parameterized by a loop weight $n\ge0$ and an edge weight $x\ge 0$. Special cases include self-avoiding walk ($n=0$), the Ising model ($n=1$), critical percolation ($n=x=1$), dimer model ($n=1,x=\infty$), proper $4$-coloring ($n=2, x=\infty)$, integer-valued ($n=2$) and tree-valued (integer $n>=3$) Lipschitz functions and the hard hexagon model ($n=\infty$). The object of study in the model is the typical structure of loops. We review the connection of the model with the spin $O(n)$ model and discuss its conjectured phase diagram, emphasizing the many open problems remaining. △ Less

Submitted 3 July, 2019; v1 submitted 31 July, 2017; originally announced August 2017.

Comments: 71 pages, 11 figures; Various minor improvements to the text. The first version of these lectures was written for the School and Workshop on Random Interacting Systems at Bath, England, organized by Vladas Sidoravicius and Alexandre Stauffer in June 2016. To appear in "Sojourns in Probability Theory and Statistical Physics", celebrating Chuck Newman's 70th birthday

MSC Class: 82-01; 82B05; 82B20; 82B26

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

Authors: Hugo Duminil-Copin, Alexander Glazman, Ron Peled, Yinon Spinka

Abstract: 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 ha… ▽ More 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]$. △ Less

Submitted 22 April, 2020; v1 submitted 28 July, 2017; originally announced July 2017.

Comments: 39 pages, 9 figures; v2 - Theorem 2 now includes uniqueness of the Gibbs measure; v3 - modified statement of Theorem 2, only translation-invariant Gibbs measures are considered, edits in the introduction, to appear in the Journal of the EMS

MSC Class: 60K35; 82B20; 82B27

On the Wegner orbital model

Authors: Jeffrey Schenker, Ron Peled, Mira Shamis, Sasha Sodin

Abstract: The Wegner orbital model is a class of random operators introduced by Wegner to model the motion of a quantum particle with many internal degrees of freedom (orbitals) in a disordered medium. We consider the case when the matrix potential is Gaussian, and prove three results: localisation at strong disorder, a Wegner-type estimate on the mean density of eigenvalues, and a Minami-type estimate on t… ▽ More The Wegner orbital model is a class of random operators introduced by Wegner to model the motion of a quantum particle with many internal degrees of freedom (orbitals) in a disordered medium. We consider the case when the matrix potential is Gaussian, and prove three results: localisation at strong disorder, a Wegner-type estimate on the mean density of eigenvalues, and a Minami-type estimate on the probability of having multiple eigenvalues in a short interval. The last two results are proved in the more general setting of deformed block-Gaussian matrices, which includes a class of Gaussian band matrices as a special case. Emphasis is placed on the dependence of the bounds on the number of orbitals. As an additional application, we improve the upper bound on the localisation length for one-dimensional Gaussian band matrices. △ Less

Submitted 9 August, 2016; originally announced August 2016.

Comments: 23 pages

Journal ref: Int. Math. Res. Not (2017), rnx145

Hole probability for zeroes of Gaussian Taylor series with finite radii of convergence

Authors: Jeremiah Buckley, Alon Nishry, Ron Peled, Mikhail Sodin

Abstract: We study a family of random Taylor series $$F(z) = \sum_{n\ge 0} ζ_n a_n z^n$$ with radius of convergence almost surely $1$ and independent identically distributed complex Gaussian coefficients $(ζ_n)$; these Taylor series are distinguished by the invariance of their zero sets with respect to isometries of the unit disk. We find reasonably tight upper and lower bounds on the probability that $F$ d… ▽ More We study a family of random Taylor series $$F(z) = \sum_{n\ge 0} ζ_n a_n z^n$$ with radius of convergence almost surely $1$ and independent identically distributed complex Gaussian coefficients $(ζ_n)$; these Taylor series are distinguished by the invariance of their zero sets with respect to isometries of the unit disk. We find reasonably tight upper and lower bounds on the probability that $F$ does not vanish in the disk $\{|z|\le r\}$ as $r\uparrow 1$. Our bounds take different forms according to whether the non-random coefficients $(a_n)$ grow, decay or remain of the same order. The results apply more generally to a class of Gaussian Taylor series whose coefficients $(a_n)$ display power-law behavior. △ Less

Submitted 15 March, 2017; v1 submitted 9 February, 2016; originally announced February 2016.

Comments: 42 pages, new aproach taken in Section 7

On the Cycle Structure of Mallows Permutations

Authors: Alexey Gladkich, Ron Peled

Abstract: We study the length of cycles of random permutations drawn from the Mallows distribution. Under this distribution, the probability of a permutation $π\in \mathbb{S}_n$ is proportional to $q^{\textrm{inv}(π)}$ where $0<q\le 1$ and $\textrm{inv}(π)$ is the number of inversions in $π$. We show that the expected length of the cycle containing a given point is of order $\min\{(1-q)^{-2}, n\}$. This m… ▽ More We study the length of cycles of random permutations drawn from the Mallows distribution. Under this distribution, the probability of a permutation $π\in \mathbb{S}_n$ is proportional to $q^{\textrm{inv}(π)}$ where $0<q\le 1$ and $\textrm{inv}(π)$ is the number of inversions in $π$. We show that the expected length of the cycle containing a given point is of order $\min\{(1-q)^{-2}, n\}$. This marks the existence of two asymptotic regimes: with high probability, when $n$ tends to infinity with $(1-q)^{-2} \ll n$ then all cycles have size $o(n)$ whereas when $n$ tends to infinity with $(1-q)^{-2}\gg n$ then macroscopic cycles, of size proportional to $n$, emerge. In the second regime, we prove that the distribution of normalized cycle lengths follows the Poisson-Dirichlet law, as in a uniformly random permutation. The results bear formal similarity with a conjectured localization transition for random band matrices. Further results are presented for the variance of the cycle lengths, the expected diameter of cycles and the expected number of cycles. The proofs rely on the exact sampling algorithm for the Mallows distribution and make use of a special diagonal exposure process for the graph of the permutation. △ Less

Submitted 9 September, 2017; v1 submitted 26 January, 2016; originally announced January 2016.

Comments: 49 pages, 7 figures. Improved clarity following referee's suggestions

MSC Class: 60C05; 60F05; 60K35; 82B23; 82B26; 60B99; 60B20; 05A05

Matrix regularizing effects of Gaussian perturbations

Authors: Michael Aizenman, Ron Peled, Jeffrey Schenker, Mira Shamis, Sasha Sodin

Abstract: The addition of noise has a regularizing effect on Hermitian matrices. This effect is studied here for $H=A+V$, where $A$ is the base matrix and $V$ is sampled from the GOE or the GUE random matrix ensembles. We bound the mean number of eigenvalues of $H$ in an interval, and present tail bounds for the distribution of the Frobenius and operator norms of $H^{-1}$ and for the distribution of the nor… ▽ More The addition of noise has a regularizing effect on Hermitian matrices. This effect is studied here for $H=A+V$, where $A$ is the base matrix and $V$ is sampled from the GOE or the GUE random matrix ensembles. We bound the mean number of eigenvalues of $H$ in an interval, and present tail bounds for the distribution of the Frobenius and operator norms of $H^{-1}$ and for the distribution of the norm of $H^{-1}$ applied to a fixed vector. The bounds are uniform in $A$ and exceed the actual suprema by no more than multiplicative constants. The probability of multiple eigenvalues in an interval is also estimated. △ Less

Submitted 9 January, 2017; v1 submitted 6 September, 2015; originally announced September 2015.

Comments: 21 pp; minor revision; added references

Journal ref: Comm. Cont. Math. (2017)

On the trace of random walks on random graphs

Authors: Alan Frieze, Michael Krivelevich, Peleg Michaeli, Ron Peled

Abstract: We study graph-theoretic properties of the trace of a random walk on a random graph. We show that for any $\varepsilon>0$ there exists $C>1$ such that the trace of the simple random walk of length $(1+\varepsilon)n\ln{n}$ on the random graph $G\sim G(n,p)$ for $p>C\ln{n}/n$ is, with high probability, Hamiltonian and $Θ(\ln{n})$-connected. In the special case $p=1$ (i.e. when $G=K_n$), we show a hi… ▽ More We study graph-theoretic properties of the trace of a random walk on a random graph. We show that for any $\varepsilon>0$ there exists $C>1$ such that the trace of the simple random walk of length $(1+\varepsilon)n\ln{n}$ on the random graph $G\sim G(n,p)$ for $p>C\ln{n}/n$ is, with high probability, Hamiltonian and $Θ(\ln{n})$-connected. In the special case $p=1$ (i.e. when $G=K_n$), we show a hitting time result according to which, with high probability, exactly one step after the last vertex has been visited, the trace becomes Hamiltonian, and one step after the last vertex has been visited for the $k$'th time, the trace becomes $2k$-connected. △ Less

Submitted 17 June, 2017; v1 submitted 28 August, 2015; originally announced August 2015.

Comments: 32 pages, revised version

MSC Class: 05C81 (Primary) 05C45; 05C80; 60G50 (Secondary)

Chebyshev-type Quadratures for Doubling Weights

Authors: Shoni Gilboa, Ron Peled

Abstract: A Chebyshev-type quadrature for a given weight function is a quadrature formula with equal weights. In this work we show that a method presented by Kane may be used to produce tight bounds for the minimal number of nodes required in Chebyshev-type quadratures for doubling weight functions. This extends a long line of research on Chebyshev-type quadratures starting with the 1937 work of Bernstein. A Chebyshev-type quadrature for a given weight function is a quadrature formula with equal weights. In this work we show that a method presented by Kane may be used to produce tight bounds for the minimal number of nodes required in Chebyshev-type quadratures for doubling weight functions. This extends a long line of research on Chebyshev-type quadratures starting with the 1937 work of Bernstein. △ Less

Submitted 17 June, 2017; v1 submitted 6 July, 2015; originally announced July 2015.

Comments: 22 pages. Expanded discussion section. Removed appendix on the Mastroianni-Totik theorem

MSC Class: 65D32; 41A55

Journal ref: Constructive Approximation 45 (2017), 193-216

Random Dirichlet series arising from records

Authors: Ron Peled, Yuval Peres, Jim Pitman, Ryokichi Tanaka

Abstract: 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 th… ▽ More 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. △ Less

Submitted 12 August, 2015; v1 submitted 24 May, 2015; originally announced May 2015.

Comments: 16 pages, 1 figure

MSC Class: 37A45; 42A38

Journal ref: Journal of the Mathematical Society of Japan, special issue for Kiyoshi Itô, Vol. 67, No. 4 (2015) pp. 1705-1723

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

Authors: Hugo Duminil-Copin, Ron Peled, Wojciech Samotij, Yinon Spinka

Abstract: 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 l… ▽ More 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. △ Less

Submitted 27 October, 2016; v1 submitted 29 December, 2014; originally announced December 2014.

Comments: 35 pages, 9 figures. Added a discussion about the relation to the square-lattice random-cluster model and the dilute Potts model

MSC Class: 60K35; 82B05; 82B20; 82B26

Double roots of random Littlewood polynomials

Authors: Ron Peled, Arnab Sen, Ofer Zeitouni

Abstract: We consider random polynomials whose coefficients are independent and uniform on {-1,1}. We prove that the probability that such a polynomial of degree n has a double root is o(n^{-2}) when n+1 is not divisible by 4 and asymptotic to $\frac{8\sqrt{3}}{πn^2}$ otherwise. This result is a corollary of a more general theorem that we prove concerning random polynomials with independent, identically dis… ▽ More We consider random polynomials whose coefficients are independent and uniform on {-1,1}. We prove that the probability that such a polynomial of degree n has a double root is o(n^{-2}) when n+1 is not divisible by 4 and asymptotic to $\frac{8\sqrt{3}}{πn^2}$ otherwise. This result is a corollary of a more general theorem that we prove concerning random polynomials with independent, identically distributed coefficients having a distribution which is supported on { -1, 0, 1} and whose largest atom is strictly less than 1/\sqrt{3}. In this general case, we prove that the probability of having a double root equals the probability that either -1, 0 or 1 are double roots up to an o(n^{-2}) factor and we find the asymptotics of the latter probability. △ Less

Submitted 15 January, 2015; v1 submitted 6 September, 2014; originally announced September 2014.

Comments: Incorporates referee's comments. To appear in Israel J. Math

MSC Class: 34F05

Journal ref: Israel Journal of Mathematics 213, no. 1 (2016): 55-77

Bijective combinatorial proof of the commutation of transfer matrices in the dense O(1) loop model

Authors: Ron Peled, Dan Romik

Abstract: The dense O(1) loop model is a statistical physics model with connections to the quantum XXZ spin chain, alternating sign matrices, the six-vertex model and critical bond percolation on the square lattice. When cylindrical boundary conditions are imposed, the model possesses a commuting family of transfer matrices. The original proof of the commutation property is algebraic and is based on the Yan… ▽ More The dense O(1) loop model is a statistical physics model with connections to the quantum XXZ spin chain, alternating sign matrices, the six-vertex model and critical bond percolation on the square lattice. When cylindrical boundary conditions are imposed, the model possesses a commuting family of transfer matrices. The original proof of the commutation property is algebraic and is based on the Yang-Baxter equation. In this paper we give a new proof of this fact using a direct combinatorial bijection. △ Less

Submitted 20 July, 2014; originally announced July 2014.

Comments: 18 pages, many figures

MSC Class: 60K35; 82B20; 82B23

Journal ref: Séminaire Lotharingien de Combinatoire 73 (2015): B73b

A differential version of the Chebyshev-Markov-Stieltjes inequalities

Authors: Shoni Gilboa, Ron Peled

Abstract: We show that a differential version of the classical Chebyshev-Markov-Stieltjes inequalities holds for a broad family of weight functions. Such a differential version appears to be new. Our results apply to weight functions which are bounded away from zero and piecewise absolutely continuous and yield effective estimates when the weight satisfies additional regularity conditions. We show that a differential version of the classical Chebyshev-Markov-Stieltjes inequalities holds for a broad family of weight functions. Such a differential version appears to be new. Our results apply to weight functions which are bounded away from zero and piecewise absolutely continuous and yield effective estimates when the weight satisfies additional regularity conditions. △ Less

Submitted 9 February, 2015; v1 submitted 9 July, 2014; originally announced July 2014.

Comments: 43 pages, 10 figures

MSC Class: 41A50; 41A55; 33C45; 42C05

Journal ref: Journal of Approximation Theory 196 (2015): 13-54

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

Authors: Piotr Miłoś, Ron Peled

Abstract: 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 ran… ▽ More 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. △ Less

Submitted 19 January, 2015; v1 submitted 23 April, 2014; originally announced April 2014.

Comments: Corrected typos and number of other improvements

Separating signal from noise

Authors: Nir Lev, Ron Peled, Yuval Peres

Abstract: Suppose that a sequence of numbers $x_n$ (a `signal') is transmitted through a noisy channel. The receiver observes a noisy version of the signal with additive random fluctuations, $x_n + ξ_n$, where $ξ_n$ is a sequence of independent standard Gaussian random variables. Suppose further that the signal is known to come from some fixed space of possible signals. Is it possible to fully recover the t… ▽ More Suppose that a sequence of numbers $x_n$ (a `signal') is transmitted through a noisy channel. The receiver observes a noisy version of the signal with additive random fluctuations, $x_n + ξ_n$, where $ξ_n$ is a sequence of independent standard Gaussian random variables. Suppose further that the signal is known to come from some fixed space of possible signals. Is it possible to fully recover the transmitted signal from its noisy version? Is it possible to at least detect that a non-zero signal was transmitted? In this paper we consider the case in which signals are infinite sequences and the recovery or detection are required to hold with probability one. We provide conditions on the signal space for checking whether detection or recovery are possible. We also analyze in detail several examples including spaces of Fourier transforms of measures, spaces with fixed amplitudes and the space of almost periodic functions. Many of our examples exhibit critical phenomena, in which a sharp transition is made from a regime in which recovery is possible to a regime in which even detection is impossible. △ Less

Submitted 3 August, 2014; v1 submitted 24 December, 2013; originally announced December 2013.

Comments: 46 pages. Minor improvements to the exposition in new version

MSC Class: 60G35; 62M20; 93E11; 94A12; 94A13

Journal ref: Proceedings of the London Mathematical Society 2015; 110 (4): 883-931

Random Walk with Long-Range Constraints

Authors: Ron Peled, Yinon Spinka

Abstract: We consider a model of a random height function with long-range constraints on a discrete segment. This model was suggested by Benjamini, Yadin and Yehudayoff and is a generalization of simple random walk. The random function is uniformly sampled from all graph homomorphisms from the graph P_{n,d} to the integers Z, where the graph P_{n,d} is the discrete segment {0,1,..., n} with edges between ve… ▽ More We consider a model of a random height function with long-range constraints on a discrete segment. This model was suggested by Benjamini, Yadin and Yehudayoff and is a generalization of simple random walk. The random function is uniformly sampled from all graph homomorphisms from the graph P_{n,d} to the integers Z, where the graph P_{n,d} is the discrete segment {0,1,..., n} with edges between vertices of different parity whose distance is at most 2d+1. Such a graph homomorphism can be viewed as a height function whose values change by exactly one along edges of the graph P_{n,d}. We also consider a similarly defined model on the discrete torus. Benjamini, Yadin and Yehudayoff conjectured that this model undergoes a phase transition from a delocalized to a localized phase when d grows beyond a threshold c*log(n). We establish this conjecture with the precise threshold log_2(n). Our results provide information on the typical range and variance of the height function for every given pair of n and d, including the critical case when d-log_2(n) tends to a constant. In addition, we identify the local limit of the model, when d is constant and n tends to infinity, as an explicitly defined Markov chain. △ Less

Submitted 6 October, 2013; originally announced October 2013.

Comments: 49 pages, 14 figures

MSC Class: 82B41; 60C05; 82B20; 82B26; 60D05; 05A16; 60K35

Journal ref: Electron. J. Probab 19, no. 52 (2014): 1-54

Rigidity of 3-colorings of the discrete torus

Authors: Ohad N. Feldheim, Ron Peled

Abstract: We prove that a uniformly chosen proper $3$-coloring of the $d$-dimensional discrete torus has a very rigid structure when the dimension $d$ is sufficiently high. We show that with high probability the coloring takes just one color on almost all of either the even or the odd sub-torus. In particular, one color appears on nearly half of the torus sites. This model is the zero temperature case of th… ▽ More We prove that a uniformly chosen proper $3$-coloring of the $d$-dimensional discrete torus has a very rigid structure when the dimension $d$ is sufficiently high. We show that with high probability the coloring takes just one color on almost all of either the even or the odd sub-torus. In particular, one color appears on nearly half of the torus sites. This model is the zero temperature case of the $3$-state anti-ferromagnetic Potts model from statistical physics. Our work extends previously obtained results for the discrete torus with specific boundary conditions. The main challenge in this extension is to overcome certain topological obstructions which appear when no boundary conditions are imposed on the model. Locally, a proper $3$-coloring defines the discrete gradient of an integer-valued height function which changes by exactly one between adjacent sites. However, these locally-defined functions do not always yield a height function on the entire torus, as the gradients may accumulate to a non-zero quantity when winding around the torus. Our main result is that in high dimensions, a global height function is well defined with high probability, allowing to deduce the rigid structure of the coloring from previously known results. Moreover, the probability that the gradients accumulate to a vector $m$, corresponding to the winding in each of the $d$ directions, is at most exponentially small in the product of $\|m\|_\infty$ and the area of a cross-section of the torus. In the course of the proof we develop discrete analogues of notions from algebraic topology. This theory is developed in some generality and may be of use in the study of other models. △ Less

Submitted 9 March, 2017; v1 submitted 9 September, 2013; originally announced September 2013.

Comments: 57 pages, 9 figures

MSC Class: 82B20; 82B26; 82B41; 60C05; 60D05; 60K35; 05A16

Lengths of Monotone Subsequences in a Mallows Permutation

Authors: Nayantara Bhatnagar, Ron Peled

Abstract: We study the length of the longest increasing and longest decreasing subsequences of random permutations drawn from the Mallows measure. Under this measure, the probability of a permutation pi in S_n is proportional to q^{inv(pi)} where q is a real parameter and inv(pi) is the number of inversions in pi. The case q=1 corresponds to uniformly random permutations. The Mallows measure was introduced… ▽ More We study the length of the longest increasing and longest decreasing subsequences of random permutations drawn from the Mallows measure. Under this measure, the probability of a permutation pi in S_n is proportional to q^{inv(pi)} where q is a real parameter and inv(pi) is the number of inversions in pi. The case q=1 corresponds to uniformly random permutations. The Mallows measure was introduced by Mallows in connection with ranking problems in statistics. We determine the typical order of magnitude of the lengths of the longest increasing and decreasing subsequences, as well as large deviation bounds for them. We also provide a simple bound on the variance of these lengths, and prove a law of large numbers for the length of the longest increasing subsequence. Assuming without loss of generality that q<1, our results apply when q is a function of n satisfying n(1-q) -> infty. The case that n(1-q)=O(1) was considered previously by Mueller and Starr. In our parameter range, the typical length of the longest increasing subsequence is of order n(1-q)^(1/2), whereas the typical length of the longest decreasing subsequence has four possible behaviors according to the precise dependence of n and q. We show also that in the graphical representation of a Mallows-distributed permutation, most points are found in a symmetric strip around the diagonal whose width is of order 1/(1-q). This suggests a connection between the longest increasing subsequence in the Mallows model and the model of last passage percolation in a strip. △ Less

Submitted 21 March, 2014; v1 submitted 16 June, 2013; originally announced June 2013.

Comments: 45 pages, 3 figures, reviewer comments incorporated, to appear in Probability Theory and Related Fields

Journal ref: Probability Theory and Related Fields 161, no. 3-4 (2015): 719-780

Grounded Lipschitz functions on trees are typically flat

Authors: Ron Peled, Wojciech Samotij, Amir Yehudayoff

Abstract: 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-expon… ▽ More 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. △ Less

Submitted 14 May, 2013; originally announced May 2013.

Comments: 8 pages

Probabilistic existence of regular combinatorial structures

Authors: Greg Kuperberg, Shachar Lovett, Ron Peled

Abstract: We show the existence of regular combinatorial objects which previously were not known to exist. Specifically, for a wide range of the underlying parameters, we show the existence of non-trivial orthogonal arrays, t-designs, and t-wise permutations. In all cases, the sizes of the objects are optimal up to polynomial overhead. The proof of existence is probabilistic. We show that a randomly chosen… ▽ More We show the existence of regular combinatorial objects which previously were not known to exist. Specifically, for a wide range of the underlying parameters, we show the existence of non-trivial orthogonal arrays, t-designs, and t-wise permutations. In all cases, the sizes of the objects are optimal up to polynomial overhead. The proof of existence is probabilistic. We show that a randomly chosen structure has the required properties with positive yet tiny probability. Our method allows also to give rather precise estimates on the number of objects of a given size and this is applied to count the number of orthogonal arrays, t-designs and regular hypergraphs. The main technical ingredient is a special local central limit theorem for suitable lattice random walks with finitely many steps. △ Less

Submitted 6 April, 2017; v1 submitted 18 February, 2013; originally announced February 2013.

Comments: An extended abstract of this work [arXiv:1111.0492] appeared in STOC 2012. This version expands the literature discussion

MSC Class: 05B30; 60C05 ACM Class: F.2.2

Journal ref: Geom. Funct. Anal. 27 (2017), 919-972

Lipschitz Functions on Expanders are Typically Flat

Authors: Ron Peled, Wojciech Samotij, Amir Yehudayoff

Abstract: This work studies the typical behavior of random integer-valued Lipschitz functions on expander graphs with sufficiently good expansion. We consider two families of functions: M-Lipschitz functions (functions that change by at most M along edges) and integer-homomorphisms (functions that change by exactly 1 along edges). We prove that such functions typically exhibit very small fluctuations. For i… ▽ More This work studies the typical behavior of random integer-valued Lipschitz functions on expander graphs with sufficiently good expansion. We consider two families of functions: M-Lipschitz functions (functions that change by at most M along edges) and integer-homomorphisms (functions that change by exactly 1 along edges). We prove that such functions typically exhibit very small fluctuations. For instance, we show that a uniformly chosen M-Lipschitz function takes only M+1 values on most of the graph, with a double exponential decay for the probability to take other values. △ Less

Submitted 18 March, 2012; originally announced March 2012.

Comments: 26 pages

MSC Class: 60C05

Journal ref: Combinatorics, Probability and Computing 22, no. 04 (2013): 566-591

A recursive construction of t-wise uniform permutations

Authors: Hilary Finucane, Ron Peled, Yariv Yaari

Abstract: We present a recursive construction of a (2t + 1)-wise uniform set of permutations on 2n objects using a (2t + 1) - (2n, n, \cdot) combinatorial design, a t-wise uniform set of permutations on n objects and a (2t+1)-wise uniform set of permutations on n objects. Using the complete design in this procedure gives a t-wise uniform set of permutations on n objects whose size is at most t^2n, the first… ▽ More We present a recursive construction of a (2t + 1)-wise uniform set of permutations on 2n objects using a (2t + 1) - (2n, n, \cdot) combinatorial design, a t-wise uniform set of permutations on n objects and a (2t+1)-wise uniform set of permutations on n objects. Using the complete design in this procedure gives a t-wise uniform set of permutations on n objects whose size is at most t^2n, the first non-trivial construction of an infinite family of t-wise uniform sets for t \geq 4. If a non-trivial design with suitable parameters is found, it will imply a corresponding improvement in the construction. △ Less

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

Journal ref: Random Structures & Algorithms 46, no. 3 (2015): 531-540

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.

Comments: Extended abstract. This manuscript has been on the authors' websites since 2007. It is uploaded now for ease of citation