Search arXivSearch

arXiv · 1106.3594

Odd cutsets and the hard-core model on Z^d

Abstract

We consider the hard-core lattice gas model on Z^d and investigate its phase structure in high dimensions. We prove that when the intensity parameter exceeds Cd^{-1/3}(log d)^2, the model exhibits multiple hard-core measures, thus improving the previous bound of Cd^{-1/4}(log d)^{3/4} given by Galvin and Kahn. At the heart of our approach lies the study of a certain class of edge cutsets in Z^d, the so-called odd cutsets, that appear naturally as the boundary between different phases in the hard-core model. We provide a refined combinatorial analysis of the structure of these cutsets yielding a quantitative form of concentration for their possible shapes as the dimension d tends to infinity. This analysis relies upon and improves previous results obtained by the first author.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ron Peled, Wojciech Samotij. 2011-06-17. Odd cutsets and the hard-core model on Z^d. https://arxiv.org/abs/1106.3594

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Resolvent convergence under heterogeneous second-moment profiles and quadratic-form control

Let $X=(x_1,\ldots,x_n)\in\mathbb R^{p\times n}$ have independent real columns with finite second moments, not necessarily centered or identically distributed. For $z\in\mathbb C\setminus[0,\infty)$, we compare \[ G^z=\left(\frac1nXX^\top-zI_p\right)^{-1} \] with a deterministic matrix $\tilde G^z$ defined by the second-moment profile $(Σ_i)_{i\in[n]}$, where $Σ_i=\mathbb E[x_ix_i^\top]$. We prove finite-dimensional $L^q$ bounds for $\text{tr}(A(G^z-\tilde G^z))$ in terms of moments of centered quadratic forms, without assuming independence among the coordinates of a column. Operator-test bounds impose no trace-growth or aspect-ratio restriction and display explicitly the effect of the sizes and repetitions of the second-moment matrices $(Σ_i)_{i\in[n]}$. Under $\sqrt p\sup_{i\in[n]}|Σ_i|_{\text{HS}}=O(n)$, Hilbert--Schmidt-test bounds allow the heterogeneity of the profile to be controlled through approximation by commuting positive-semidefinite matrices. Additive deformations also yield deterministic equivalents for resolvent sandwiches. All bounds are locally uniform away from $[0,\infty)$.

math.PR

Unique continuation properties for the continuous Anderson operator in dimension 2

We consider singular continuous Anderson operators $H=-Δ+ξ$ on the one and two dimensional tori, and prove the strong unique continuation property for their eigenfunctions. The proof uses a ground-state transform to rewrite the eigenvalue equation in divergence form with a Hölder-continuous coefficient, then combines a Carleman estimate in dimension one with a Beltrami equation and Ahlfors Bers factorization in dimension two. This planar approach further shows that the nodal set of an eigenfunction is locally the quasiconformal image of the zero set of a harmonic function, yielding a Courant-type nodal domain theorem. In dimension one, we upgrade unique continuation into a quantitative spectral inequality which, through the Lebeau Robbiano method, gives exact null controllability of the associated parabolic equation from any open subset of the torus.

math.PR

Finite Free Information Inequalities

We develop finite free information theory for real-rooted polynomials, establishing finite free analogues of entropy and Fisher information monotonicity, as well as the Stam and entropy power inequalities. These results resolve conjectures by Shlyakhtenko and Gribinski and recover inequalities in free probability in the large-degree limit. Equivalently, our results may be interpreted as potential-theoretic inequalities for the zeros of real-rooted polynomials under differential operators which preserve real-rootedness. Our proofs leverage a new connection between score vectors and Jacobians of root maps, combined with convexity results for hyperbolic polynomials. We further characterize the equality cases in our inequalities, which arise from Hermite polynomials.

math.PR