323 research outputs found
Counting hypergraph matchings up to uniqueness threshold
We study the problem of approximately counting matchings in hypergraphs of
bounded maximum degree and maximum size of hyperedges. With an activity
parameter , each matching is assigned a weight .
The counting problem is formulated as computing a partition function that gives
the sum of the weights of all matchings in a hypergraph. This problem unifies
two extensively studied statistical physics models in approximate counting: the
hardcore model (graph independent sets) and the monomer-dimer model (graph
matchings).
For this model, the critical activity
is the threshold for the uniqueness of Gibbs measures on the infinite
-uniform -regular hypertree. Consider hypergraphs of maximum
degree at most and maximum size of hyperedges at most . We show that
when , there is an FPTAS for computing the partition
function; and when , there is a PTAS for computing the
log-partition function. These algorithms are based on the decay of correlation
(strong spatial mixing) property of Gibbs distributions. When , there is no PRAS for the partition function or the log-partition
function unless NPRP.
Towards obtaining a sharp transition of computational complexity of
approximate counting, we study the local convergence from a sequence of finite
hypergraphs to the infinite lattice with specified symmetry. We show a
surprising connection between the local convergence and the reversibility of a
natural random walk. This leads us to a barrier for the hardness result: The
non-uniqueness of infinite Gibbs measure is not realizable by any finite
gadgets
Inapproximability of the Partition Function for the Antiferromagnetic Ising and Hard-Core Models
Recent inapproximability results of Sly (2010), together with an
approximation algorithm presented by Weitz (2006) establish a beautiful picture
for the computational complexity of approximating the partition function of the
hard-core model. Let denote the critical activity for the
hard-model on the infinite -regular tree. Weitz presented an FPTAS for
the partition function when for graphs with
constant maximum degree . In contrast, Sly showed that for all
, there exists such that (unless RP=NP) there
is no FPRAS for approximating the partition function on graphs of maximum
degree for activities satisfying
.
We prove that a similar phenomenon holds for the antiferromagnetic Ising
model. Recent results of Li et al. and Sinclair et al. extend Weitz's approach
to any 2-spin model, which includes the antiferromagnetic Ising model, to yield
an FPTAS for the partition function for all graphs of constant maximum degree
when the parameters of the model lie in the uniqueness regime of the
infinite tree . We prove the complementary result that for the
antiferrogmanetic Ising model without external field that, unless RP=NP, for
all , there is no FPRAS for approximating the partition function
on graphs of maximum degree when the inverse temperature lies in the
non-uniqueness regime of the infinite tree . Our results extend to a
region of the parameter space for general 2-spin models. Our proof works by
relating certain second moment calculations for random -regular
bipartite graphs to the tree recursions used to establish the critical points
on the infinite tree.Comment: Journal version (no changes
Correlation Decay up to Uniqueness in Spin Systems
We give a complete characterization of the two-state anti-ferromagnetic spin
systems which are of strong spatial mixing on general graphs. We show that a
two-state anti-ferromagnetic spin system is of strong spatial mixing on all
graphs of maximum degree at most \Delta if and only if the system has a unique
Gibbs measure on infinite regular trees of degree up to \Delta, where \Delta
can be either bounded or unbounded. As a consequence, there exists an FPTAS for
the partition function of a two-state anti-ferromagnetic spin system on graphs
of maximum degree at most \Delta when the uniqueness condition is satisfied on
infinite regular trees of degree up to \Delta. In particular, an FPTAS exists
for arbitrary graphs if the uniqueness is satisfied on all infinite regular
trees. This covers as special cases all previous algorithmic results for
two-state anti-ferromagnetic systems on general-structure graphs.
Combining with the FPRAS for two-state ferromagnetic spin systems of
Jerrum-Sinclair and Goldberg-Jerrum-Paterson, and the very recent hardness
results of Sly-Sun and independently of Galanis-Stefankovic-Vigoda, this gives
a complete classification, except at the phase transition boundary, of the
approximability of all two-state spin systems, on either degree-bounded
families of graphs or family of all graphs.Comment: 27 pages, submitted for publicatio
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
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
- …