3,494 research outputs found
Counting independent sets in hypergraphs
Let be a triangle-free graph with vertices and average degree . We
show that contains at least independent sets. This improves a recent result of the
first and third authors \cite{countingind}. In particular, it implies that as
, every triangle-free graph on vertices has at least
independent sets, where . Further, we show that for all , there exists a triangle-free
graph with vertices which has at most
independent sets, where . This disproves a
conjecture from \cite{countingind}.
Let be a -uniform linear hypergraph with vertices and average
degree . We also show that there exists a constant such that the
number of independent sets in is at least This is tight apart from the constant
and generalizes a result of Duke, Lefmann, and R\"odl
\cite{uncrowdedrodl}, which guarantees the existence of an independent set of
size . Both of our lower bounds follow
from a more general statement, which applies to hereditary properties of
hypergraphs
Path Coupling Using Stopping Times and Counting Independent Sets and Colourings in Hypergraphs
We give a new method for analysing the mixing time of a Markov chain using
path coupling with stopping times. We apply this approach to two hypergraph
problems. We show that the Glauber dynamics for independent sets in a
hypergraph mixes rapidly as long as the maximum degree Delta of a vertex and
the minimum size m of an edge satisfy m>= 2Delta+1. We also show that the
Glauber dynamics for proper q-colourings of a hypergraph mixes rapidly if m>= 4
and q > Delta, and if m=3 and q>=1.65Delta. We give related results on the
hardness of exact and approximate counting for both problems.Comment: Simpler proof of main theorem. Improved bound on mixing time. 19
page
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
The complexity of approximating bounded-degree Boolean #CSP
AbstractThe degree of a CSP instance is the maximum number of times that any variable appears in the scopes of constraints. We consider the approximate counting problem for Boolean CSP with bounded-degree instances, for constraint languages containing the two unary constant relations {0} and {1}. When the maximum allowed degree is large enough (at least 6) we obtain a complete classification of the complexity of this problem. It is exactly solvable in polynomial time if every relation in the constraint language is affine. It is equivalent to the problem of approximately counting independent sets in bipartite graphs if every relation can be expressed as conjunctions of {0}, {1} and binary implication. Otherwise, there is no FPRAS unless NP=RP. For lower degree bounds, additional cases arise, where the complexity is related to the complexity of approximately counting independent sets in hypergraphs
FPTAS for Hardcore and Ising Models on Hypergraphs
Hardcore and Ising models are two most important families of two state spin
systems in statistic physics. Partition function of spin systems is the center
concept in statistic physics which connects microscopic particles and their
interactions with their macroscopic and statistical properties of materials
such as energy, entropy, ferromagnetism, etc. If each local interaction of the
system involves only two particles, the system can be described by a graph. In
this case, fully polynomial-time approximation scheme (FPTAS) for computing the
partition function of both hardcore and anti-ferromagnetic Ising model was
designed up to the uniqueness condition of the system. These result are the
best possible since approximately computing the partition function beyond this
threshold is NP-hard. In this paper, we generalize these results to general
physics systems, where each local interaction may involves multiple particles.
Such systems are described by hypergraphs. For hardcore model, we also provide
FPTAS up to the uniqueness condition, and for anti-ferromagnetic Ising model,
we obtain FPTAS where a slightly stronger condition holds
- …