552 research outputs found
Algorithms for #BIS-hard problems on expander graphs
We give an FPTAS and an efficient sampling algorithm for the high-fugacity
hard-core model on bounded-degree bipartite expander graphs and the
low-temperature ferromagnetic Potts model on bounded-degree expander graphs.
The results apply, for example, to random (bipartite) -regular graphs,
for which no efficient algorithms were known for these problems (with the
exception of the Ising model) in the non-uniqueness regime of the infinite
-regular tree. We also find efficient counting and sampling algorithms
for proper -colorings of random -regular bipartite graphs when
is sufficiently small as a function of
Counting Independent Sets and Colorings on Random Regular Bipartite Graphs
We give a fully polynomial-time approximation scheme (FPTAS) to count the number of independent sets on almost every Delta-regular bipartite graph if Delta >= 53. In the weighted case, for all sufficiently large integers Delta and weight parameters lambda = Omega~ (1/(Delta)), we also obtain an FPTAS on almost every Delta-regular bipartite graph. Our technique is based on the recent work of Jenssen, Keevash and Perkins (SODA, 2019) and we also apply it to confirm an open question raised there: For all q >= 3 and sufficiently large integers Delta=Delta(q), there is an FPTAS to count the number of q-colorings on almost every Delta-regular bipartite graph
Fast Algorithms at Low Temperatures via Markov Chains
For spin systems, such as the hard-core model on independent sets weighted by fugacity lambda>0, efficient algorithms for the associated approximate counting/sampling problems typically apply in the high-temperature region, corresponding to low fugacity. Recent work of Jenssen, Keevash and Perkins (2019) yields an FPTAS for approximating the partition function (and an efficient sampling algorithm) on bounded-degree (bipartite) expander graphs for the hard-core model at sufficiently high fugacity, and also the ferromagnetic Potts model at sufficiently low temperatures. Their method is based on using the cluster expansion to obtain a complex zero-free region for the partition function of a polymer model, and then approximating this partition function using the polynomial interpolation method of Barvinok. We present a simple discrete-time Markov chain for abstract polymer models, and present an elementary proof of rapid mixing of this new chain under sufficient decay of the polymer weights. Applying these general polymer results to the hard-core and ferromagnetic Potts models on bounded-degree (bipartite) expander graphs yields fast algorithms with running time O(n log n) for the Potts model and O(n^2 log n) for the hard-core model, in contrast to typical running times of n^{O(log Delta)} for algorithms based on Barvinok\u27s polynomial interpolation method on graphs of maximum degree Delta. In addition, our approach via our polymer model Markov chain is conceptually simpler as it circumvents the zero-free analysis and the generalization to complex parameters. Finally, we combine our results for the hard-core and ferromagnetic Potts models with standard Markov chain comparison tools to obtain polynomial mixing time for the usual spin system Glauber dynamics restricted to even and odd or "red" dominant portions of the respective state spaces
Sidorenko's conjecture, colorings and independent sets
Let denote the number of homomorphisms from a graph to a
graph . Sidorenko's conjecture asserts that for any bipartite graph , and
a graph we have where
and denote the number of vertices and edges of the graph and
, respectively. In this paper we prove Sidorenko's conjecture for certain
special graphs : for the complete graph on vertices, for a
with a loop added at one of the end vertices, and for a path on vertices
with a loop added at each vertex. These cases correspond to counting colorings,
independent sets and Widom-Rowlinson colorings of a graph . For instance,
for a bipartite graph the number of -colorings
satisfies
In fact, we will prove that in the last two cases (independent sets and
Widom-Rowlinson colorings) the graph does not need to be bipartite. In all
cases, we first prove a certain correlation inequality which implies
Sidorenko's conjecture in a stronger form.Comment: Two references added and Remark 2.1 is expande
Shortest Reconfiguration of Colorings Under Kempe Changes
International audienc
Non-degenerate colorings in the Brook's Theorem
Let and be two integers. We will call a proper coloring
of the graph a \textit{-nondegenerate}, if for any vertex of
with degree at least there are at least vertices of different colors
adjacent to it. In our work we prove the following result, which generalizes
Brook's Theorem. Let and be a graph without cliques on
vertices and the degree of any vertex in this graph is not greater than .
Then for every integer there is a proper -nondegenerate vertex
-coloring of , where During the primary proof,
some interesting corollaries are derived.Comment: 18 pages, 10 figure
- …