We consider a type of long-range percolation problem on the positive integers, motivated by earlier work of others on the appearance of (in)finite words within a site percolation model. The main issue is whether a given infinite binary word appears within an iid Bernoulli sequence at locations that satisfy certain constraints. We settle the issue in some cases, and provide partial results in others.
Benjamini and Kesten introduced in 1995 the problem of embedding infinite binary sequences into a Bernoulli percolation configuration, known as "percolation of words". We give a positive answer to their Open Problem 2: almost surely, all words are seen for site percolation on Z^3 with parameter p = 1/2. We also extend this result in various directions, proving the same result for any dimension d at least three and for any value p in the interval (p_c(Z^d), 1 - p_c(Z^d)), and for restrictions to slabs. Finally, we provide an explicit estimate on the probability to find all words starting from a…
Truncated long-range percolation of words on the square lattice
Universidade de São Paulo, Instituto de Matemática e Estatística（圣保罗大学数学与统计学院）；Universidade Federal de Minas Gerais, Departamento de Estatística（米纳斯吉拉斯联邦大学统计学系）
Consider an independent site percolation model on $\Z^d$, with parameter $p \in (0,1)$, where all long range connections in the axes directions are allowed. In this work we show that given any parameter $p$, there exists and integer $K(p)$ such that all binary sequences (words) $ξ\in \{0,1\}^{\N}$ can be seen simultaneously, almost surely, even if all connections whose length is bigger than $K(p)$ are suppressed. We also show some results concerning the question how $K(p)$ should scale with $p$ when $p$ goes to zero. Related results are also obtained for the question of whether or not almost a…
We consider a generalised oriented site percolation model (GOSP) on $\mathbb Z^d$ with arbitrary neighbourhood. The key additional difficulties as compared to standard oriented percolation (OP) are the lack of symmetry and, in two dimensions, of planarity. We establish that, despite these deficiencies, in the supercritical regime GOSP behaves qualitatively like OP.
We consider the Edwards-Anderson Ising Spin Glass model for non negative temperatures T: We define the natural notion of Boltzmann- Gibbs measure for the Edwards-Anderson spin glass at a given temperature, and of unsatisfied edges. We prove that for low enough temperatures, in almost every spin configuration the graph formed by the unsatisfied edges is made of finite connected components. In other words, the unsatisfied edges do not percolate.
We discuss variational formulas for the limits of certain models of motion in a random medium: namely, the limiting time constant for last-passage percolation and the limiting free energy for directed polymers. The results are valid for models in arbitrary dimension, steps of the admissible paths can be general, the environment process is ergodic under shifts, and the potential accumulated along a path can depend on the environment and the next step of the path. The variational formulas come in two types: one minimizes over gradient-like cocycles, and another one maximizes over invariant measu…
In first-passage percolation (FPP), one places nonnegative random variables (weights) $(t_e)$ on the edges of a graph and studies the induced weighted graph metric. We consider FPP on $\mathbb{Z}^d$ for $d \geq 2$ and analyze the geometric properties of geodesics, which are optimizing paths for the metric. Specifically, we address the question of existence of bigeodesics, which are doubly-infinite paths whose subpaths are geodesics. It is a famous conjecture originating from a question of Furstenberg and most strongly supported for $d=2$ that for continuously distributed i.i.d. weights, there …
This article studies a biased version of the naming game in which players located on a connected graph interact through successive conversations to bootstrap a common name for a given object. Initially, all the players use the same word B except for one bilingual individual who also uses word A. Both words are attributed a fitness, which measures how often players speak depending on the words they use and how often each word is pronounced by bilingual individuals. The limiting behavior depends on a single parameter: phi = the ratio of the fitness of word A to the fitness of word B. The main ob…
Let $(X_k)_{k\geq 1}$ and $(Y_k)_{k\geq 1}$ be two independent sequences of i.i.d. random variables, with values in a finite and totally ordered alphabet $\mathcal{A}_m:=\{1,\dots,m\}$, and having respective probability mass function $p^X_1,\dots,p^X_m$ and $p^Y_1,\dots,p^Y_m$. Let $LCI_n$ be the length of the longest common and weakly increasing subsequences in $(X_1,...,X_n)$ and $(Y_1,...,Y_n)$. Once properly centered and normalized, $LCI_n$ is shown to have a limiting distribution which is expressed as a functional of two independent multidimensional Brownian motions.
Consider long-range Bernoulli percolation on $\mathbb{Z}^d$ in which we connect each pair of distinct points $x$ and $y$ by an edge with probability $1-\exp(-β\|x-y\|^{-d-α})$, where $α>0$ is fixed and $β\geq 0$ is a parameter. We prove that if $0<α<d$ then the critical two-point function satisfies \[ \frac{1}{|Λ_r|}\sum_{x\in Λ_r} \mathbf{P}_{β_c}(0\leftrightarrow x) \preceq r^{-d+α} \] for every $r\geq 1$, where $Λ_r=[-r,r]^d \cap \mathbb{Z}^d$. In other words, the critical two-point function on $\mathbb{Z}^d$ is always bounded above on average by the critical two-point function on the hiera…
We consider Bernoulli bond percolation on the product graph of a regular tree and a line. Schonmann showed that there are a.s. infinitely many infinite clusters at $p=p_u$ by using a certain function $α(p)$. The function $α(p)$ is defined by a exponential decay rate of probability that two vertices of the same layer are connected. We show the critical probability $p_c$ can be written by using $α(p)$. In other words, we construct another definition of the critical probability.
We make the first steps towards generalizing the theory of stochastic block models, in the sparse regime, towards a model where the discrete community structure is replaced by an underlying geometry. We consider a geometric random graph over a homogeneous metric space where the probability of two vertices to be connected is an arbitrary function of the distance. We give sufficient conditions under which the locations can be recovered (up to an isomorphism of the space) in the sparse regime. Moreover, we define a geometric counterpart of the model of flow of information on trees, due to Mossel …
Consider infinite random words over a finite alphabet where the letters occur as an i.i.d. sequence according to some arbitrary distribution on the alphabet. The expectation and the variance of the waiting time for the first completed $h$-run of any letter (i.e., first occurrence of $h$ subsequential equal letters) is computed. The expected waiting time for the completion of $h$-runs of $j$ arbitrary distinct letters is also given.
We consider TASEP in continuous time with non-random initial conditions and arbitrary fixed density of particles rho. We show GOE Tracy-Widom universality of the one-point fluctuations of the associated height function. The result phrased in last passage percolation language is the universality for the point-to-line problem where the line has an arbitrary slope.
We consider the level-sets of continuous Gaussian fields on $\mathbb{R}^d$ above a certain level $-\ell\in \mathbb{R}$, which defines a percolation model as $\ell$ varies. We assume that the covariance kernel satisfies certain regularity, symmetry and positivity conditions as well as a polynomial decay with exponent greater than $d$ (in particular, this includes the Bargmann-Fock field). Under these assumptions, we prove that the model undergoes a sharp phase transition around its critical point $\ell_c$. More precisely, we show that connection probabilities decay exponentially for $\ell<\ell_…
Consider a graph in which each site is endowed with a value called \emph{fitness}. A path in the graph is said to be "open" or "accessible" if the fitness values along that path is strictly increasing. We say that there is accessibility percolation between two sites when such a path between them exists. Motivated by the so called House-of-Cards model from evolutionary biology, we consider this question on the $L$-hypercube $\{0,1\}^L$ where the fitness values are independent random variables. We show that, in the large $L$ limit, the probability that an accessible path exists from an arbitrary…
