193 research outputs found
Sampling in Uniqueness from the Potts and Random-Cluster Models on Random Regular Graphs
We consider the problem of sampling from the Potts model on random regular graphs. It is conjectured that sampling is possible when the temperature of the model is in the so-called uniqueness regime of the regular tree, but positive algorithmic results have been for the most part elusive. In this paper, for all integers q >= 3 and Delta >= 3, we develop algorithms that produce samples within error o(1) from the q-state Potts model on random Delta-regular graphs, whenever the temperature is in uniqueness, for both the ferromagnetic and antiferromagnetic cases.
The algorithm for the antiferromagnetic Potts model is based on iteratively adding the edges of the graph and resampling a bichromatic class that contains the endpoints of the newly added edge. Key to the algorithm is how to perform the resampling step efficiently since bichromatic classes can potentially induce linear-sized components. To this end, we exploit the tree uniqueness to show that the average growth of bichromatic components is typically small, which allows us to use correlation decay algorithms for the resampling step. While the precise uniqueness threshold on the tree is not known for general values of q and Delta in the antiferromagnetic case, our algorithm works throughout uniqueness regardless of its value.
In the case of the ferromagnetic Potts model, we are able to simplify the algorithm significantly by utilising the random-cluster representation of the model. In particular, we demonstrate that a percolation-type algorithm succeeds in sampling from the random-cluster model with parameters p,q on random Delta-regular graphs for all values of q >= 1 and p<p_c(q,Delta), where p_c(q,Delta) corresponds to a uniqueness threshold for the model on the Delta-regular tree. When restricted to integer values of q, this yields a simplified algorithm for the ferromagnetic Potts model on random Delta-regular graphs
On Weakly Periodic Gibbs Measures of the Potts Model with a Special External Field on a Cayley Tree
In the paper, we study the q-state (where q = 3, 4, 5, ... ) Potts model with special external field on a Cayley tree of order k ≥ 2. For antiferromagnetic Potts model with such an external field on the Cayley tree of order k ≥ 6, the non-uniqueness of weakly periodic (non-periodic) Gibbs measures is proved. The weakly periodic Gibbs measures for the Potts model with zero external field are also studied. It is proved that under some conditions imposed on the parameters of the model there can be not less than 2q - 2 such measures
Ferromagnetic Potts Model: Refined #BIS-hardness and Related Results
Recent results establish for 2-spin antiferromagnetic systems that the
computational complexity of approximating the partition function on graphs of
maximum degree D undergoes a phase transition that coincides with the
uniqueness phase transition on the infinite D-regular tree. For the
ferromagnetic Potts model we investigate whether analogous hardness results
hold. Goldberg and Jerrum showed that approximating the partition function of
the ferromagnetic Potts model is at least as hard as approximating the number
of independent sets in bipartite graphs (#BIS-hardness). We improve this
hardness result by establishing it for bipartite graphs of maximum degree D. We
first present a detailed picture for the phase diagram for the infinite
D-regular tree, giving a refined picture of its first-order phase transition
and establishing the critical temperature for the coexistence of the disordered
and ordered phases. We then prove for all temperatures below this critical
temperature that it is #BIS-hard to approximate the partition function on
bipartite graphs of maximum degree D. As a corollary, it is #BIS-hard to
approximate the number of k-colorings on bipartite graphs of maximum degree D
when k <= D/(2 ln D).
The #BIS-hardness result for the ferromagnetic Potts model uses random
bipartite regular graphs as a gadget in the reduction. The analysis of these
random graphs relies on recent connections between the maxima of the
expectation of their partition function, attractive fixpoints of the associated
tree recursions, and induced matrix norms. We extend these connections to
random regular graphs for all ferromagnetic models and establish the Bethe
prediction for every ferromagnetic spin system on random regular graphs. We
also prove for the ferromagnetic Potts model that the Swendsen-Wang algorithm
is torpidly mixing on random D-regular graphs at the critical temperature for
large q.Comment: To appear in SIAM J. Computin
Uniqueness thresholds on trees versus graphs
Counter to the general notion that the regular tree is the worst case for
decay of correlation between sets and nodes, we produce an example of a
multi-spin interacting system which has uniqueness on the -regular tree but
does not have uniqueness on some infinite -regular graphs.Comment: Published in at http://dx.doi.org/10.1214/07-AAP508 the Annals of
Applied Probability (http://www.imstat.org/aap/) by the Institute of
Mathematical Statistics (http://www.imstat.org
Inapproximability for Antiferromagnetic Spin Systems in the Tree Non-Uniqueness Region
A remarkable connection has been established for antiferromagnetic 2-spin
systems, including the Ising and hard-core models, showing that the
computational complexity of approximating the partition function for graphs
with maximum degree D undergoes a phase transition that coincides with the
statistical physics uniqueness/non-uniqueness phase transition on the infinite
D-regular tree. Despite this clear picture for 2-spin systems, there is little
known for multi-spin systems. We present the first analog of the above
inapproximability results for multi-spin systems.
The main difficulty in previous inapproximability results was analyzing the
behavior of the model on random D-regular bipartite graphs, which served as the
gadget in the reduction. To this end one needs to understand the moments of the
partition function. Our key contribution is connecting: (i) induced matrix
norms, (ii) maxima of the expectation of the partition function, and (iii)
attractive fixed points of the associated tree recursions (belief propagation).
The view through matrix norms allows a simple and generic analysis of the
second moment for any spin system on random D-regular bipartite graphs. This
yields concentration results for any spin system in which one can analyze the
maxima of the first moment. The connection to fixed points of the tree
recursions enables an analysis of the maxima of the first moment for specific
models of interest.
For k-colorings we prove that for even k, in the tree non-uniqueness region
(which corresponds to k<D) it is NP-hard, unless NP=RP, to approximate the
number of colorings for triangle-free D-regular graphs. Our proof extends to
the antiferromagnetic Potts model, and, in fact, to every antiferromagnetic
model under a mild condition
On dynamical systems and phase transitions for -state -adic Potts model on the Cayley tree
In the present paper, we introduce a new kind of -adic measures for
-state Potts model, called {\it -adic quasi Gibbs measure}. For such a
model, we derive a recursive relations with respect to boundary conditions.
Note that we consider two mode of interactions: ferromagnetic and
antiferromagnetic. In both cases, we investigate a phase transition phenomena
from the associated dynamical system point of view. Namely, using the derived
recursive relations we define one dimensional fractional -adic dynamical
system. In ferromagnetic case, we establish that if is divisible by ,
then such a dynamical system has two repelling and one attractive fixed points.
We find basin of attraction of the fixed point. This allows us to describe all
solutions of the nonlinear recursive equations. Moreover, in that case there
exists the strong phase transition. If is not divisible by , then the
fixed points are neutral, and this yields that the existence of the quasi phase
transition. In antiferromagnetic case, there are two attractive fixed points,
and we find basins of attraction of both fixed points, and describe solutions
of the nonlinear recursive equation. In this case, we prove the existence of a
quasi phase transition.Comment: 29 pages, 1 figur
Bounds on the Complex Zeros of (Di)Chromatic Polynomials and Potts-Model Partition Functions
I show that there exist universal constants such that, for
all loopless graphs of maximum degree , the zeros (real or complex)
of the chromatic polynomial lie in the disc . Furthermore,
. This result is a corollary of a more general result
on the zeros of the Potts-model partition function in the
complex antiferromagnetic regime . The proof is based on a
transformation of the Whitney-Tutte-Fortuin-Kasteleyn representation of to a polymer gas, followed by verification of the
Dobrushin-Koteck\'y-Preiss condition for nonvanishing of a polymer-model
partition function. I also show that, for all loopless graphs of
second-largest degree , the zeros of lie in the disc . Along the way, I give a simple proof of a generalized (multivariate)
Brown-Colbourn conjecture on the zeros of the reliability polynomial for the
special case of series-parallel graphs.Comment: 47 pages (LaTeX). Revised version contains slightly simplified proofs
of Propositions 4.2 and 4.5. Version 3 fixes a silly error in my proof of
Proposition 4.1, and adds related discussion. To appear in Combinatorics,
Probability & Computin
Ferromagnetic Potts Model: Refined #BIS-hardness and Related Results
Recent results establish for the hard-core model (and more generally for 2-spin antiferromagnetic systems) that the computational complexity of approximating the partition function on graphs of maximum degree D undergoes a phase transition that coincides with the uniqueness/non-uniqueness phase transition on the infinite D-regular tree. For the ferromagnetic Potts model we investigate whether analogous hardness results hold. Goldberg and Jerrum showed that approximating the partition function of the ferromagnetic Potts model is at least as hard as approximating the number of independent sets in bipartite graphs, so-called #BIS-hardness. We improve this hardness result by establishing it for bipartite graphs of maximum degree D. To this end, we first present a detailed picture for the phase diagram for the infinite D-regular tree, giving a refined picture of its first-order phase transition and establishing the critical temperature for the coexistence of the disordered and ordered phases. We then prove for all temperatures below this critical temperature (corresponding to the region where the ordered phase "dominates") that it is #BIS-hard to approximate the partition function on bipartite graphs of maximum degree D.
The #BIS-hardness result uses random bipartite regular graphs as a gadget in the reduction. The analysis of these random graphs relies on recent results establishing connections between the maxima of the expectation of their partition function, attractive fixpoints of the associated tree recursions, and induced matrix norms. In this paper we extend these connections to random regular graphs for all ferromagnetic models. Using these connections, we establish the Bethe prediction for every ferromagnetic spin system on random regular graphs, which says roughly that the expectation of the log of the partition function Z is the same as the log of the expectation of Z. As a further consequence of our results, we prove for the ferromagnetic Potts model that the Swendsen-Wang algorithm is torpidly mixing (i.e., exponentially slow convergence to its stationary distribution) on random D-regular graphs at the critical temperature for sufficiently large q
- …