Showing 1–21 of 21 results for author: Perkins, W

On the Modulation of Wave Trains in the Ostrovsky Equation

Authors: Mathew A. Johnson, Jeffrey Oregero, Wesley R. Perkins

Abstract: We consider the nonlinear wave modulation of arbitrary amplitude periodic traveling wave solutions of the Ostrovsky equation, which arises as a model for the unidirectional propagation of small-amplitude, weakly nonlinear surface and internal gravity waves in a rotating fluid of finite depth. While the modulation of such waves with asymptotically small amplitudes of oscillation (the so-called Stok… ▽ More We consider the nonlinear wave modulation of arbitrary amplitude periodic traveling wave solutions of the Ostrovsky equation, which arises as a model for the unidirectional propagation of small-amplitude, weakly nonlinear surface and internal gravity waves in a rotating fluid of finite depth. While the modulation of such waves with asymptotically small amplitudes of oscillation (the so-called Stokes waves) has been studied in several works, our goal is to understand the modulational dynamics of general amplitude wave trains. To this end, we first use Whitham's theory of modulations to derive a dispersionless system of quasilinear partial differential equations that is expected to model the slow evolution of the fundamental characteristics of a given wave train. In practice, the modulational stability or instability of a given wave train is considered to be determined by the hyperbolicity or ellipticity, respectively, of the resulting system of Whitham modulation equations. Using rigorous spectral perturbation theory we then study the spectral (linearized) stability problem for a given wave train solution of the Ostrovsky equation, directly connecting the hyperbolicity or ellipticity of the associated Whitham system to the rigorous spectral stability problem for the underlying wave. Specifically, we prove that strict hyperbolicity of the Whitham system implies spectral stability near the origin in the spectral plane, i.e. so-called spectral modulational stability, while ellipticity implies spectral instability of the underlying wave train. △ Less

Submitted 27 May, 2025; originally announced May 2025.

Comments: 42 pages

Pirogov--Sinai Theory Beyond Lattices

Authors: Sarah Cannon, Tyler Helmuth, Will Perkins

Abstract: Pirogov--Sinai theory is a well-developed method for understanding the low-temperature phase diagram of statistical mechanics models on lattices. Motivated by physical and algorithmic questions beyond the setting of lattices, we develop a combinatorially flexible version of Pirogov--Sinai theory for the hard-core model of independent sets. Our results illustrate that the main conclusions of Pirogo… ▽ More Pirogov--Sinai theory is a well-developed method for understanding the low-temperature phase diagram of statistical mechanics models on lattices. Motivated by physical and algorithmic questions beyond the setting of lattices, we develop a combinatorially flexible version of Pirogov--Sinai theory for the hard-core model of independent sets. Our results illustrate that the main conclusions of Pirogov--Sinai theory can be obtained in significantly greater generality than that of $\mathbb Z^{d}$. The main ingredients in our generalization are combinatorial and involve developing appropriate definitions of contours based on the notion of cycle basis connectivity. This is inspired by works of Timár and Georgakopoulos--Panagiotis. △ Less

Submitted 12 November, 2024; originally announced November 2024.

Nonlinear Subharmonic Dynamics of Spectrally Stable Lugiato-Lefever Periodic Waves

Authors: Mariana Haragus, Mathew A. Johnson, Wesley R. Perkins, Björn de Rijk

Abstract: We study the nonlinear dynamics of perturbed, spectrally stable $T$-periodic stationary solutions of the Lugiato-Lefever equation (LLE), a damped nonlinear Schrödinger equation with forcing that arises in nonlinear optics. It is known that for each $N\in\mathbb{N}$, such a $T$-periodic wave train is (orbitally) asymptotically stable against $NT$-periodic, i.e. subharmonic, perturbations. Unfortuna… ▽ More We study the nonlinear dynamics of perturbed, spectrally stable $T$-periodic stationary solutions of the Lugiato-Lefever equation (LLE), a damped nonlinear Schrödinger equation with forcing that arises in nonlinear optics. It is known that for each $N\in\mathbb{N}$, such a $T$-periodic wave train is (orbitally) asymptotically stable against $NT$-periodic, i.e. subharmonic, perturbations. Unfortunately, in such results both the allowable size of initial perturbations as well as the exponential decay rates of perturbations depend on $N$ and, in fact, tend to zero as $N\to\infty$, leading to a lack of uniformity in the period of the perturbation. In recent work, the authors performed a delicate decomposition of the associated linearized solution operator and obtained linear estimates which are uniform in $N$. The dynamical description suggested by this uniform linear theory indicates that the corresponding nonlinear iteration can only be closed if one allows for a spatio-temporal phase modulation of the underlying wave. However, such a modulated perturbation is readily seen to satisfy a quasilinear equation, yielding an inherent loss of regularity. We regain regularity by transferring a nonlinear damping estimate, which has recently been obtained for the LLE in the case of localized perturbations to the case of subharmonic perturbations. Thus, we obtain a nonlinear, subharmonic stability result for periodic stationary solutions of the LLE that is uniform in $N$. This in turn yields an improved nonuniform subharmonic stability result providing an $N$-independent ball of initial perturbations which eventually exhibit exponential decay at an $N$-dependent rate. Finally, we argue that our results connect in the limit $N \to \infty$ to previously established stability results against localized perturbations, thereby unifying existing theories. △ Less

Submitted 23 July, 2024; v1 submitted 3 July, 2023; originally announced July 2023.

Comments: 31 pages. Minor update

Perfect Sampling for Hard Spheres from Strong Spatial Mixing

Authors: Konrad Anand, Andreas Göbel, Marcus Pappik, Will Perkins

Abstract: We provide a perfect sampling algorithm for the hard-sphere model on subsets of $\mathbb{R}^d$ with expected running time linear in the volume under the assumption of strong spatial mixing. A large number of perfect and approximate sampling algorithms have been devised to sample from the hard-sphere model, and our perfect sampling algorithm is efficient for a range of parameters for which only eff… ▽ More We provide a perfect sampling algorithm for the hard-sphere model on subsets of $\mathbb{R}^d$ with expected running time linear in the volume under the assumption of strong spatial mixing. A large number of perfect and approximate sampling algorithms have been devised to sample from the hard-sphere model, and our perfect sampling algorithm is efficient for a range of parameters for which only efficient approximate samplers were previously known and is faster than these known approximate approaches. Our methods also extend to the more general setting of Gibbs point processes interacting via finite-range, repulsive potentials. △ Less

Submitted 21 August, 2024; v1 submitted 3 May, 2023; originally announced May 2023.

Geometric Barriers for Stable and Online Algorithms for Discrepancy Minimization

Authors: David Gamarnik, Eren C. Kızıldağ, Will Perkins, Changji Xu

Abstract: For many computational problems involving randomness, intricate geometric features of the solution space have been used to rigorously rule out powerful classes of algorithms. This is often accomplished through the lens of the multi Overlap Gap Property ($m$-OGP), a rigorous barrier against algorithms exhibiting input stability. In this paper, we focus on the algorithmic tractability of two models:… ▽ More For many computational problems involving randomness, intricate geometric features of the solution space have been used to rigorously rule out powerful classes of algorithms. This is often accomplished through the lens of the multi Overlap Gap Property ($m$-OGP), a rigorous barrier against algorithms exhibiting input stability. In this paper, we focus on the algorithmic tractability of two models: (i) discrepancy minimization, and (ii) the symmetric binary perceptron (\texttt{SBP}), a random constraint satisfaction problem as well as a toy model of a single-layer neural network. Our first focus is on the limits of online algorithms. By establishing and leveraging a novel geometrical barrier, we obtain sharp hardness guarantees against online algorithms for both the \texttt{SBP} and discrepancy minimization. Our results match the best known algorithmic guarantees, up to constant factors. Our second focus is on efficiently finding a constant discrepancy solution, given a random matrix $\mathcal{M}\in\mathbb{R}^{M\times n}$. In a smooth setting, where the entries of $\mathcal{M}$ are i.i.d. standard normal, we establish the presence of $m$-OGP for $n=Θ(M\log M)$. Consequently, we rule out the class of stable algorithms at this value. These results give the first rigorous evidence towards a conjecture of Altschuler and Niles-Weed~\cite[Conjecture~1]{altschuler2021discrepancy}. Our methods use the intricate geometry of the solution space to prove tight hardness results for online algorithms. The barrier we establish is a novel variant of the $m$-OGP. Furthermore, it regards $m$-tuples of solutions with respect to correlated instances, with growing values of $m$, $m=ω(1)$. Importantly, our results rule out online algorithms succeeding even with an exponentially small probability. △ Less

Submitted 13 February, 2023; originally announced February 2023.

On the zeroes of hypergraph independence polynomials

Authors: David Galvin, Gwen McKinley, Will Perkins, Michail Sarantis, Prasad Tetali

Abstract: We study the locations of complex zeroes of independence polynomials of bounded degree hypergraphs. For graphs, this is a long-studied subject with applications to statistical physics, algorithms, and combinatorics. Results on zero-free regions for bounded-degree graphs include Shearer's result on the optimal zero-free disk, along with several recent results on other zero-free regions. Much less i… ▽ More We study the locations of complex zeroes of independence polynomials of bounded degree hypergraphs. For graphs, this is a long-studied subject with applications to statistical physics, algorithms, and combinatorics. Results on zero-free regions for bounded-degree graphs include Shearer's result on the optimal zero-free disk, along with several recent results on other zero-free regions. Much less is known for hypergraphs. We make some steps towards an understanding of zero-free regions for bounded-degree hypergaphs by proving that all hypergraphs of maximum degree $Δ$ have a zero-free disk almost as large as the optimal disk for graphs of maximum degree $Δ$ established by Shearer (of radius $\sim 1/(e Δ)$). Up to logarithmic factors in $Δ$ this is optimal, even for hypergraphs with all edge-sizes strictly greater than $2$. We conjecture that for $k\ge 3$, $k$-uniform linear hypergraphs have a much larger zero-free disk of radius $Ω(Δ^{- \frac{1}{k-1}} )$. We establish this in the case of linear hypertrees. △ Less

Submitted 18 November, 2022; v1 submitted 1 November, 2022; originally announced November 2022.

Algorithms and Barriers in the Symmetric Binary Perceptron Model

Authors: David Gamarnik, Eren C. Kızıldağ, Will Perkins, Changji Xu

Abstract: The symmetric binary perceptron ($\texttt{SBP}$) exhibits a dramatic statistical-to-computational gap: the densities at which known efficient algorithms find solutions are far below the threshold for the existence of solutions. Furthermore, the $\texttt{SBP}$ exhibits a striking structural property: at all positive constraint densities almost all of its solutions are 'totally frozen' singletons se… ▽ More The symmetric binary perceptron ($\texttt{SBP}$) exhibits a dramatic statistical-to-computational gap: the densities at which known efficient algorithms find solutions are far below the threshold for the existence of solutions. Furthermore, the $\texttt{SBP}$ exhibits a striking structural property: at all positive constraint densities almost all of its solutions are 'totally frozen' singletons separated by large Hamming distance \cite{perkins2021frozen,abbe2021proof}. This suggests that finding a solution to the $\texttt{SBP}$ may be computationally intractable. At the same time, the $\texttt{SBP}$ does admit polynomial-time search algorithms at low enough densities. A conjectural explanation for this conundrum was put forth in \cite{baldassi2020clustering}: efficient algorithms succeed in the face of freezing by finding exponentially rare clusters of large size. However, it was discovered recently that such rare large clusters exist at all subcritical densities, even at those well above the limits of known efficient algorithms \cite{abbe2021binary}. Thus the driver of the statistical-to-computational gap exhibited by this model remains a mystery. In this paper, we conduct a different landscape analysis to explain the algorithmic tractability of this problem. We show that at high enough densities the $\texttt{SBP}$ exhibits the multi Overlap Gap Property ($m-$OGP), an intricate geometrical property known to be a rigorous barrier for large classes of algorithms. Our analysis shows that the $m-$OGP threshold (a) is well below the satisfiability threshold; and (b) matches the best known algorithmic threshold up to logarithmic factors as $m\to\infty$. We then prove that the $m-$OGP rules out the class of stable algorithms for the $\texttt{SBP}$ above this threshold. We conjecture that the $m \to \infty$ limit of the $m$-OGP threshold marks the algorithmic threshold for the problem. △ Less

Submitted 29 March, 2022; originally announced March 2022.

Strong spatial mixing for repulsive point processes

Authors: Marcus Michelen, Will Perkins

Abstract: We prove that a Gibbs point process interacting via a finite-range, repulsive potential $φ$ exhibits a strong spatial mixing property for activities $λ< e/Δ_φ$, where $Δ_φ$ is the potential-weighted connective constant of $φ$, defined recently in [MP21]. Using this we derive several analytic and algorithmic consequences when $λ$ satisfies this bound: (1) We prove new identities for the infinite vo… ▽ More We prove that a Gibbs point process interacting via a finite-range, repulsive potential $φ$ exhibits a strong spatial mixing property for activities $λ< e/Δ_φ$, where $Δ_φ$ is the potential-weighted connective constant of $φ$, defined recently in [MP21]. Using this we derive several analytic and algorithmic consequences when $λ$ satisfies this bound: (1) We prove new identities for the infinite volume pressure and surface pressure of such a process (and in the case of the surface pressure establish its existence). (2) We prove that local block dynamics for sampling from the model on a box of volume $N$ in $\mathbb R^d$ mixes in time $O(N \log N)$, giving efficient randomized algorithms to approximate the partition function and approximately sample from these models. (3) We use the above identities and algorithms to give efficient approximation algorithms for the pressure and surface pressure. △ Less

Submitted 16 August, 2022; v1 submitted 17 February, 2022; originally announced February 2022.

Potential-weighted connective constants and uniqueness of Gibbs measures

Authors: Marcus Michelen, Will Perkins

Abstract: We define a potential-weighted connective constant that measures the effective strength of a repulsive pair potential of a Gibbs point process modulated by the geometry of the underlying space. We then show that this definition leads to improved bounds for Gibbs uniqueness for all non-trivial repulsive pair potentials on $\mathbb R^d$ and other metric measure spaces. We do this by constructing a t… ▽ More We define a potential-weighted connective constant that measures the effective strength of a repulsive pair potential of a Gibbs point process modulated by the geometry of the underlying space. We then show that this definition leads to improved bounds for Gibbs uniqueness for all non-trivial repulsive pair potentials on $\mathbb R^d$ and other metric measure spaces. We do this by constructing a tree-branching collection of densities associated to the point process that captures the interplay between the potential and the geometry of the space. When the activity is small as a function of the potential-weighted connective constant this object exhibits an infinite volume uniqueness property. On the other hand, we show that our uniqueness bound can be tight for certain spaces: the same infinite volume object exhibits non-uniqueness for activities above our bound in the case when the underlying space has the geometry of a tree. △ Less

Submitted 2 September, 2021; originally announced September 2021.

Nonlinear Modulational Dynamics of Spectrally Stable Lugiato-Lefever Periodic Waves

Authors: Mariana Haragus, Mathew A. Johnson, Wesley R. Perkins, Björn de Rijk

Abstract: We consider the nonlinear stability of spectrally stable periodic waves in the Lugiato-Lefever equation (LLE), a damped nonlinear Schrödinger equation with forcing that arises in nonlinear optics. So far, nonlinear stability of such solutions has only been established against co-periodic perturbations by exploiting the existence of a spectral gap. In this paper, we consider perturbations which are… ▽ More We consider the nonlinear stability of spectrally stable periodic waves in the Lugiato-Lefever equation (LLE), a damped nonlinear Schrödinger equation with forcing that arises in nonlinear optics. So far, nonlinear stability of such solutions has only been established against co-periodic perturbations by exploiting the existence of a spectral gap. In this paper, we consider perturbations which are localized, i.e., integrable on the line. Such localized perturbations naturally yield the absence of a spectral gap, so we must rely on a substantially different method with origins in the stability analysis of periodic waves in reaction-diffusion systems. The relevant linear estimates have been obtained in recent work by the first three authors through a delicate decomposition of the associated linearized solution operator. Since its most critical part just decays diffusively, the nonlinear iteration can only be closed if one allows for a spatio-temporal phase modulation. However, the modulated perturbation satisfies a quasilinear equation yielding an apparent loss of regularity. To overcome this obstacle, we incorporate tame estimates on the unmodulated perturbation, which satisfies a semilinear equation in which no derivatives are lost, yet where decay is too slow to close an independent iteration scheme. We obtain nonlinear stability of periodic steady waves in the LLE against localized perturbations with precisely the same decay rates as predicted by the linear theory. △ Less

Submitted 10 February, 2022; v1 submitted 3 June, 2021; originally announced June 2021.

Comments: 32 pages, updated exposition

Frozen $1$-RSB structure of the symmetric Ising perceptron

Authors: Will Perkins, Changji Xu

Abstract: We prove, under an assumption on the critical points of a real-valued function, that the symmetric Ising perceptron exhibits the `frozen 1-RSB' structure conjectured by Krauth and Mezard in the physics literature; that is, typical solutions of the model lie in clusters of vanishing entropy density. Moreover, we prove this in a very strong form conjectured by Huang, Wong, and Kabashima: a typical s… ▽ More We prove, under an assumption on the critical points of a real-valued function, that the symmetric Ising perceptron exhibits the `frozen 1-RSB' structure conjectured by Krauth and Mezard in the physics literature; that is, typical solutions of the model lie in clusters of vanishing entropy density. Moreover, we prove this in a very strong form conjectured by Huang, Wong, and Kabashima: a typical solution of the model is isolated with high probability and the Hamming distance to all other solutions is linear in the dimension. The frozen 1-RSB scenario is part of a recent and intriguing explanation of the performance of learning algorithms by Baldassi, Ingrosso, Lucibello, Saglietti, and Zecchina. We prove this structural result by comparing the symmetric Ising perceptron model to a planted model and proving a comparison result between the two models. Our main technical tool towards this comparison is an inductive argument for the concentration of the logarithm of number of solutions in the model. △ Less

Submitted 9 February, 2021; originally announced February 2021.

Analyticity for classical gasses via recursion

Authors: Marcus Michelen, Will Perkins

Abstract: We give a new criterion for a classical gas with a repulsive pair potential to exhibit uniqueness of the infinite volume Gibbs measure and analyticity of the pressure. Our improvement on the bound for analyticity is by a factor $e^2$ over the classical cluster expansion approach and a factor $e$ over the known limit of cluster expansion convergence. The criterion is based on a contractive property… ▽ More We give a new criterion for a classical gas with a repulsive pair potential to exhibit uniqueness of the infinite volume Gibbs measure and analyticity of the pressure. Our improvement on the bound for analyticity is by a factor $e^2$ over the classical cluster expansion approach and a factor $e$ over the known limit of cluster expansion convergence. The criterion is based on a contractive property of a recursive computation of the density of a point process. The key ingredients in our proofs include an integral identity for the density of a Gibbs point process and an adaptation of the algorithmic correlation decay method from theoretical computer science. We also deduce from our results an improved bound for analyticity of the pressure as a function of the density. △ Less

Submitted 29 October, 2022; v1 submitted 3 August, 2020; originally announced August 2020.

Linear Modulational and Subharmonic Dynamics of Spectrally Stable Lugiato-Lefever Periodic Waves

Authors: Mariana Haragus, Mathew A. Johnson, Wesley R. Perkins

Abstract: We study the linear dynamics of spectrally stable $T$-periodic stationary solutions of the Lugiato-Lefever equation (LLE), a damped nonlinear Schrödinger equation with forcing that arises in nonlinear optics. Such $T$-periodic solutions are nonlinearly stable to $NT$-periodic, i.e. subharmonic, perturbations for each $N\in\mathbb{N}$ with exponential decay rates of perturbations of the form… ▽ More We study the linear dynamics of spectrally stable $T$-periodic stationary solutions of the Lugiato-Lefever equation (LLE), a damped nonlinear Schrödinger equation with forcing that arises in nonlinear optics. Such $T$-periodic solutions are nonlinearly stable to $NT$-periodic, i.e. subharmonic, perturbations for each $N\in\mathbb{N}$ with exponential decay rates of perturbations of the form $e^{-δ_N t}$. However, both the exponential rates of decay $δ_N$ and the allowable size of the initial perturbations tend to $0$ as $N\to\infty$, so that this result is non-uniform in $N$ and, in fact, empty in the limit $N=\infty$. The primary goal of this paper is to introduce a methodology, in the context of the LLE, by which a uniform stability result for subharmonic perturbations may be achieved, at least at the linear level. The obtained uniform decay rates are shown to agree precisely with the polynomial decay rates of localized, i.e. integrable on the real line, perturbations of such spectrally stable periodic solutions of the LLE. This work both unifies and expands on several existing works in the literature concerning the stability and dynamics of such waves, and sets forth a general methodology for studying such problems in other contexts. △ Less

Submitted 14 January, 2021; v1 submitted 7 July, 2020; originally announced July 2020.

Comments: 36 pages, 2 figures. Minor typos fixed, some exposition updated

Finite-size scaling, phase coexistence, and algorithms for the random cluster model on random graphs

Authors: Tyler Helmuth, Matthew Jenssen, Will Perkins

Abstract: For $Δ\ge 5$ and $q$ large as a function of $Δ$, we give a detailed picture of the phase transition of the random cluster model on random $Δ$-regular graphs. In particular, we determine the limiting distribution of the weights of the ordered and disordered phases at criticality and prove exponential decay of correlations and central limit theorems away from criticality. Our techniques are based… ▽ More For $Δ\ge 5$ and $q$ large as a function of $Δ$, we give a detailed picture of the phase transition of the random cluster model on random $Δ$-regular graphs. In particular, we determine the limiting distribution of the weights of the ordered and disordered phases at criticality and prove exponential decay of correlations and central limit theorems away from criticality. Our techniques are based on using polymer models and the cluster expansion to control deviations from the ordered and disordered ground states. These techniques also yield efficient approximate counting and sampling algorithms for the Potts and random cluster models on random $Δ$-regular graphs at all temperatures when $q$ is large. This includes the critical temperature at which it is known the Glauber and Swendsen-Wang dynamics for the Potts model mix slowly. We further prove new slow-mixing results for Markov chains, most notably that the Swendsen-Wang dynamics mix exponentially slowly throughout an open interval containing the critical temperature. This was previously only known at the critical temperature. Many of our results apply more generally to $Δ$-regular graphs satisfying a small-set expansion condition. △ Less

Submitted 15 September, 2021; v1 submitted 20 June, 2020; originally announced June 2020.

Comments: This update includes new results on the slow mixing of Markov chains (Theorem 6)

Correlation decay for hard spheres via Markov chains

Authors: Tyler Helmuth, Will Perkins, Samantha Petti

Abstract: We improve upon all known lower bounds on the critical fugacity and critical density of the hard sphere model in dimensions two and higher. As the dimension tends to infinity our improvements are by factors of $2$ and $1.7$, respectively. We make these improvements by utilizing techniques from theoretical computer science to show that a certain Markov chain for sampling from the hard sphere model… ▽ More We improve upon all known lower bounds on the critical fugacity and critical density of the hard sphere model in dimensions two and higher. As the dimension tends to infinity our improvements are by factors of $2$ and $1.7$, respectively. We make these improvements by utilizing techniques from theoretical computer science to show that a certain Markov chain for sampling from the hard sphere model mixes rapidly at low enough fugacities. We then prove an equivalence between optimal spatial and temporal mixing for hard spheres to deduce our results. △ Less

Submitted 21 July, 2021; v1 submitted 15 January, 2020; originally announced January 2020.

Storage capacity in symmetric binary perceptrons

Authors: Benjamin Aubin, Will Perkins, Lenka Zdeborová

Abstract: We study the problem of determining the capacity of the binary perceptron for two variants of the problem where the corresponding constraint is symmetric. We call these variants the rectangle-binary-perceptron (RPB) and the $u-$function-binary-perceptron (UBP). We show that, unlike for the usual step-function-binary-perceptron, the critical capacity in these symmetric cases is given by the anneale… ▽ More We study the problem of determining the capacity of the binary perceptron for two variants of the problem where the corresponding constraint is symmetric. We call these variants the rectangle-binary-perceptron (RPB) and the $u-$function-binary-perceptron (UBP). We show that, unlike for the usual step-function-binary-perceptron, the critical capacity in these symmetric cases is given by the annealed computation in a large region of parameter space (for all rectangular constraints and for narrow enough $u-$function constraints, $K<K^*$). We prove this fact (under two natural assumptions) using the first and second moment methods. We further use the second moment method to conjecture that solutions of the symmetric binary perceptrons are organized in a so-called frozen-1RSB structure, without using the replica method. We then use the replica method to estimate the capacity threshold for the UBP case when the $u-$function is wide $K>K^*$. We conclude that full-step-replica-symmetry breaking would have to be evaluated in order to obtain the exact capacity in this case. △ Less

Submitted 31 March, 2019; v1 submitted 2 January, 2019; originally announced January 2019.

Comments: 18 + 7 pages

Journal ref: J. Phys. A: Math. Theor. 52 294003 (2019)

Spin systems on Bethe lattices

Authors: Amin Coja-Oghlan, Will Perkins

Abstract: In an extremely influential paper Mezard and Parisi put forward an analytic but non-rigorous approach called the cavity method for studying spin systems on the Bethe lattice, i.e., the random $d$-regular graph [Eur. Phys. J. B 20 (2001) 217--233]. Their technique was based on certain hypotheses; most importantly, that the phase space decomposes into a number of Bethe states that are free from long… ▽ More In an extremely influential paper Mezard and Parisi put forward an analytic but non-rigorous approach called the cavity method for studying spin systems on the Bethe lattice, i.e., the random $d$-regular graph [Eur. Phys. J. B 20 (2001) 217--233]. Their technique was based on certain hypotheses; most importantly, that the phase space decomposes into a number of Bethe states that are free from long-range correlations and whose marginals are given by a recurrence called Belief Propagation. In this paper we establish this decomposition rigorously for a very general family of spin systems. In addition, we show that the free energy can be computed from this decomposition. We also derive a variational formula for the free energy. The general results have interesting ramifications on several special cases. △ Less

Submitted 10 August, 2018; originally announced August 2018.

MSC Class: 05C80

Algorithmic Pirogov-Sinai theory

Authors: Tyler Helmuth, Will Perkins, Guus Regts

Abstract: We develop an efficient algorithmic approach for approximate counting and sampling in the low-temperature regime of a broad class of statistical physics models on finite subsets of the lattice $\mathbb Z^d$ and on the torus $(\mathbb Z/n \mathbb Z)^d$. Our approach is based on combining contour representations from Pirogov-Sinai theory with Barvinok's approach to approximate counting using truncat… ▽ More We develop an efficient algorithmic approach for approximate counting and sampling in the low-temperature regime of a broad class of statistical physics models on finite subsets of the lattice $\mathbb Z^d$ and on the torus $(\mathbb Z/n \mathbb Z)^d$. Our approach is based on combining contour representations from Pirogov-Sinai theory with Barvinok's approach to approximate counting using truncated Taylor series. Some consequences of our main results include an FPTAS for approximating the partition function of the hard-core model at sufficiently high fugacity on subsets of $\mathbb Z^d$ with appropriate boundary conditions and an efficient sampling algorithm for the ferromagnetic Potts model on the discrete torus $(\mathbb Z/n \mathbb Z)^d$ at sufficiently low temperature. △ Less

Submitted 16 June, 2023; v1 submitted 29 June, 2018; originally announced June 2018.

Comments: We fixed a typo in the series expansion for log Z(z) on page 20

Bethe states of random factor graphs

Authors: Amin Coja-Oghlan, Will Perkins

Abstract: We verify a key component of the replica symmetry breaking hypothesis put forward in the physics literature [Mézard and Montanari 2009] on random factor graph models. For a broad class of these models we verify that the Gibbs measure can be decomposed into a moderate number of Bethe states, subsets of the state space in which both short and long range correlations of the measure take a simple form… ▽ More We verify a key component of the replica symmetry breaking hypothesis put forward in the physics literature [Mézard and Montanari 2009] on random factor graph models. For a broad class of these models we verify that the Gibbs measure can be decomposed into a moderate number of Bethe states, subsets of the state space in which both short and long range correlations of the measure take a simple form. Moreover, we show that the marginals of these Bethe states can be obtained from fixed points of the Belief Propagation operator. We derive these results from a new result on the approximation of general probability measures on discrete cubes by convex combinations of product measures. △ Less

Submitted 21 January, 2019; v1 submitted 12 September, 2017; originally announced September 2017.

On the hard sphere model and sphere packings in high dimensions

Authors: Matthew Jenssen, Felix Joos, Will Perkins

Abstract: We prove a lower bound on the entropy of sphere packings of $\mathbb R^d$ of density $Θ(d \cdot 2^{-d})$. The entropy measures how plentiful such packings are, and our result is significantly stronger than the trivial lower bound that can be obtained from the mere existence of a dense packing. Our method also provides a new, statistical-physics-based proof of the $Ω(d \cdot 2^{-d})$ lower bound on… ▽ More We prove a lower bound on the entropy of sphere packings of $\mathbb R^d$ of density $Θ(d \cdot 2^{-d})$. The entropy measures how plentiful such packings are, and our result is significantly stronger than the trivial lower bound that can be obtained from the mere existence of a dense packing. Our method also provides a new, statistical-physics-based proof of the $Ω(d \cdot 2^{-d})$ lower bound on the maximum sphere packing density by showing that the expected packing density of a random configuration from the hard sphere model is at least $(1+o_d(1)) \log(2/\sqrt{3}) d \cdot 2^{-d}$ when the ratio of the fugacity parameter to the volume covered by a single sphere is at least $3^{-d/2}$. Such a bound on the sphere packing density was first achieved by Rogers, with subsequent improvements to the leading constant by Davenport and Rogers, Ball, Vance, and Venkatesh. △ Less

Submitted 9 April, 2018; v1 submitted 3 July, 2017; originally announced July 2017.

Journal ref: Forum of Mathematics, Sigma 7 (2019) e1

Birthday Inequalities, Repulsion, and Hard Spheres

Authors: Will Perkins

Abstract: We study a birthday inequality in random geometric graphs: the probability of the empty graph is upper bounded by the product of the probabilities that each edge is absent. We show the birthday inequality holds at low densities, but does not hold in general. We give three different applications of the birthday inequality in statistical physics and combinatorics: we prove lower bounds on the free e… ▽ More We study a birthday inequality in random geometric graphs: the probability of the empty graph is upper bounded by the product of the probabilities that each edge is absent. We show the birthday inequality holds at low densities, but does not hold in general. We give three different applications of the birthday inequality in statistical physics and combinatorics: we prove lower bounds on the free energy of the hard sphere model and upper bounds on the number of independent sets and matchings of a given size in d-regular graphs. The birthday inequality is implied by a repulsion inequality: the expected volume of the union of spheres of radius r around n randomly placed centers increases if we condition on the event that the centers are at pairwise distance greater than r. Surprisingly we show that the repulsion inequality is not true in general, and in particular that it fails in 24-dimensional Euclidean space: conditioning on the pairwise repulsion of centers of 24-dimensional spheres can decrease the expected volume of their union. △ Less

Submitted 26 November, 2015; v1 submitted 3 June, 2015; originally announced June 2015.