The influence theorem for product measures on the discrete space {0,1}^N may be extended to probability measures with the property of monotonicity (which is equivalent to `strong positive-association'). Corresponding results are valid for probability measures on the cube [0,1]^N that are absolutely continuous with respect to Lebesgue measure. These results lead to a sharp-threshold theorem for measures of random-cluster type, and this may be applied to box-crossings in the two-dimensional random-cluster model.
This text describes the content of the Takagi lectures given by the author in Kyoto in 2017. The lectures present some aspects of the theory of sharp thresholds for boolean functions and its application to the study of phase transitions in statistical physics.
Consider the discrete cube $\{-1,1\}^N$ and a random collection of half spaces which includes each half space $H(x) := \{y \in \{-1,1\}^N: x \cdot y \geq κ\sqrt{N}\}$ for $x \in \{-1,1\}^N$ independently with probability $p$. Is the intersection of these half spaces empty? This is called the Ising perceptron model under Bernoulli disorder. We prove that this event has a sharp threshold; that is, the probability that the intersection is empty increases quickly from $ε$ to $1- ε$ when $p$ increases only by a factor of $1 + o(1)$ as $N \to \infty$.
We investigate the Gibbs properties of the fuzzy Potts model on the d-dimensional torus with Kac interaction. We use a variational approach for profiles inspired by that of Fernandez, den Hollander and Martınez for their study of the Gibbs-non-Gibbs transitions of a dynamical Kac-Ising model on the torus. As our main result, we show that the mean-field thresholds dividing Gibbsian from non-Gibbsian behavior are sharp in the fuzzy Kac-Potts model with class size unequal two. On the way to this result we prove a large deviation principle for color profiles with diluted total mass densities and u…
In this work we consider the two-dimensional percolation model arising from the majority dynamics process at a given time $t\in\mathbb{R}_+$. We show the emergence of a sharp threshold phenomenon for the box crossing event at the critical probability parameter $p_c(t)$ with polynomial size window. We then use this result in order to obtain stretched-exponential bounds on the one-arm event probability in the subcritical phase. Our results are based on differential inequalities derived from the OSSS inequality, inspired by the recent developments by Ahlberg, Broman, Griffiths, and Morris and by …
In $K$-means classification, a set of data will form clusters, i.e. classes, if the measured distances between data points (or some common point in each class) are below a certain threshold. With the assumption that the data points are randomly generated throughout some bounded region according to a certain probability distribution, we estimate the mean number of classes to form with high probability.
On Sharp Thresholds of Monotone Properties: Bourgain's Proof Revisited
本文的目的是给出布尔甘定理的证明，并提供一些额外的细节和更新的符号。这个定理最初是作为Friedgut的突破性论文\emph{Sharp Thresholds of graph properties and the $k$-SAT Problem}的附录出现的。在整个过程中，我们使用类似于O'Donnell的书\emph{Analysis of Boolean Functions}中的符号和定义。
We obtain sharp bounds for the monotonic rearrangement operator from "dyadic-type" classes to "continuous". In particular, for the $\mathrm{BMO}$ space and Muckenhoupt classes. The idea is to connect the problem with a simple geometric construction named $α$-extension.
We study a family of Ising perceptron models with $\{0,1\}$-valued activation functions. This includes the classical half-space models, as well as some of the symmetric models considered in recent works. For each of these models we show that the free energy is self-averaging, there is a sharp threshold sequence, and the free energy is universal with respect to the disorder. A prior work of Xu (2019) used very different methods to show a sharp threshold sequence in the half-space Ising perceptron with Bernoulli disorder. Recent works of Perkins--Xu (2021) and Abbe--Li--Sly (2021) determined the…
The class of critical bootstrap percolation models in two dimensions was recently introduced by Bollobás, Smith and Uzzell, and the critical threshold for percolation was determined up to a constant factor for all such models by the authors of this paper. Here we develop and refine the techniques introduced in that paper in order to determine a sharp threshold for the Duarte model. This resolves a question of Mountford from 1995, and is the first result of its type for a model with drift.
Let $d\geq 3$ be a constant and let $F$ be a $d$-regular graph on $[n]$ with not too many symmetries. By the union bound, the probability threshold for the existence of a spanning subgraph in $G(n,p)$ isomorphic to $F$ is at least $p^*(n)=(1+o(1))(e/n)^{2/d}$. We give a tight bound on the edge expansion of $F$ guaranteeing that the probability threshold for the appearance of a copy of $F$ has the same order of magnitude as $p^*$. We also prove that, within a slight strengthening of this bound, the probability threshold is asymptotically equal to $p^*$. In particular, it proves the conjecture o…
Given a hypergraph $\mathcal{H}$, the $\mathcal{H}$-bootstrap process starts with an initial set of infected vertices of $\mathcal{H}$ and, at each step, a healthy vertex $v$ becomes infected if there exists a hyperedge of $\mathcal{H}$ in which $v$ is the unique healthy vertex. We say that the set of initially infected vertices percolates if every vertex of $\mathcal{H}$ is eventually infected. We show that this process exhibits a sharp threshold when $\mathcal{H}$ is a hypergraph obtained by randomly sampling hyperedges from an approximately $d$-regular $r$-uniform hypergraph satisfying some…
We consider the Erdős-Rényi evolution of random graphs, where a new uniformly distributed edge is added to the graph in every step. For every fixed $d\ge 1$, we show that with high probability, the graph becomes rigid in $\mathbb R^d$ at the very moment its minimum degree becomes $d$, and it becomes globally rigid in $\mathbb R^d$ at the very moment its minimum degree becomes $d+1$.
We show that for each $r\ge 4$, in a density range extending up to, and slightly beyond, the threshold for a $K_r$-factor, the copies of $K_r$ in the random graph $G(n,p)$ are randomly distributed, in the (one-sided) sense that the hypergraph that they form contains a copy of a binomial random hypergraph with almost exactly the right density. Thus Jeff Kahn's recent asymptotically sharp bound for the threshold in Shamir's hypergraph matching problem implies a corresponding bound for the threshold for $G(n,p)$ to contain a $K_r$-factor. The case $r=3$ is more difficult, and has been settled by …
Consider a random sequence of $N$ integers, each chosen uniformly and independently from the set $\{1,\dots,x\}$. Motivated by applications to factorisation algorithms such as Dixon's algorithm, the quadratic sieve, and the number field sieve, Pomerance in 1994 posed the following problem: how large should $N$ be so that, with high probability, this sequence contains a subsequence, the product of whose elements is a perfect square? Pomerance determined asymptotically the logarithm of the threshold for this event, and conjectured that it in fact exhibits a sharp threshold in $N$. More recently,…
Bootstrap percolation is a type of cellular automaton on graphs, introduced as a simple model of the dynamics of ferromagnetism. Vertices in a graph can be in one of two states: `healthy' or `infected' and from an initial configuration of states, healthy vertices become infected by local rules. While the usual bootstrap processes are monotone in the sets of infected vertices, in this paper, a modification is examined in which infected vertices can return to a healthy state. Vertices are initially infected independently at random and the central question is whether all vertices eventually becom…
We study biased Maker-Breaker positional games between two players, one of whom is playing randomly against an opponent with an optimal strategy. In this paper we consider the scenario when Maker plays randomly and Breaker is "clever", and determine the sharp threshold bias of classical graph games, such as connectivity, Hamiltonicity, and minimum degree-$k$. We treat the other case, that is when Breaker plays randomly, in a separate paper. The traditional, deterministic version of these games, with two optimal players playing, are known to obey the so-called probabilistic intuition. That is, …
Bootstrap percolation models have been extensively studied during the two past decades. In this article, we study the following "anisotropic" bootstrap percolation model: the neighborhood of a point (m,n) is the set \[\{(m+2,n),(m+1,n),(m,n+1),(m-1,n),(m-2,n),(m,n-1)\}.\] At time 0, sites are occupied with probability p. At each time step, sites that are occupied remain occupied, while sites that are not occupied become occupied if and only if three of more sites in their neighborhood are occupied. We prove that it exhibits a sharp metastability threshold. This is the first mathematical proof …
We prove a duality theorem the computation of certain Bellman functions is usually based on. As a byproduct, we obtain sharp results about the norms of monotonic rearrangements. The main novelty of our approach is a special class of martingales and an extremal problem on this class, which is dual to the minimization problem for locally concave functions.
We address the following foundational question: what is the population, and sample, Frechet mean (or median) graph of an ensemble of inhomogeneous Erdos-Renyi random graphs? We prove that if we use the Hamming distance to compute distances between graphs, then the Frechet mean (or median) graph of an ensemble of inhomogeneous random graphs is obtained by thresholding the expected adjacency matrix of the ensemble. We show that the result also holds for the sample mean (or median) when the population expected adjacency matrix is replaced with the sample mean adjacency matrix. Consequently, the F…
A major question in the study of the Erdős--Rényi random graph is to understand the probability that it contains a given subgraph. This study originated in classical work of Erdős and Rényi (1960). More recent work studies this question both in building a general theory of sharp versus coarse transitions (Friedgut and Bourgain 1999; Hatami, 2012) and in results on the location of the transition (Kahn and Kalai, 2007; Talagrand, 2010; Frankston, Kahn, Narayanan, Park, 2019; Park and Pham, 2022). In inference problems, one often studies the optimal accuracy of inference as a function of the amou…
For a family of random-cluster models with cluster weights $q\geq 1$, we prove that the probability that $0$ is connected to $x$ is asymptotically equal to $\tfrac{1}{q}χ(β)^{2}βJ_{0,x}$. The method developed in this article can be applied to any spin model for which there exists a random-cluster representation which is one-monotonic.
For two correlated graphs which are independently sub-sampled from a common Erdős-Rényi graph $\mathbf{G}(n, p)$, we wish to recover their \emph{latent} vertex matching from the observation of these two graphs \emph{without labels}. When $p = n^{-α+o(1)}$ for $α\in (0, 1]$, we establish a sharp information-theoretic threshold for whether it is possible to correctly match a positive fraction of vertices. Our result sharpens a constant factor in a recent work by Wu, Xu and Yu.
