English
Related papers

Related papers: Improved Mixing Condition on the Grid for Counting…

200 papers

Sampling from Gibbs distribution is a central problem in computer science as well as in statistical physics. In this work we focus on the k-colouring model} and the hard-core model with fugacity \lambda when the underlying graph is an…

Discrete Mathematics · Computer Science 2017-01-24 Charilaos Efthymiou

The graph partition problem is the problem of partitioning the vertex set of a graph into a fixed number of sets of given sizes such that the sum of weights of edges joining different sets is optimized. In this paper we simplify a known…

Optimization and Control · Mathematics 2015-11-25 Edwin R. van Dam , Renata Sotirov

An independent set may not contain both a vertex and one of its neighbours. This basic fact makes the uniform distribution over independent sets rather special. We consider the hard-core model, an essential generalization of the uniform…

Combinatorics · Mathematics 2025-09-04 Ewan Davies , Ross J. Kang

We introduce a new framework for reconfiguration problems, and apply it to independent sets as the first example. Suppose that we are given an independent set $I_0$ of a graph $G$, and an integer $l \ge 0$ which represents a lower bound on…

Discrete Mathematics · Computer Science 2018-04-26 Takehiro Ito , Haruka Mizuta , Naomi Nishimura , Akira Suzuki

We prove that, unless P=NP, there is no polynomial-time algorithm to approximate within some multiplicative constant the average size of an independent set in graphs of maximum degree 6. This is a special case of a more general result for…

Computational Complexity · Computer Science 2021-07-20 Andreas Galanis , Daniel Stefankovic , Eric Vigoda

Computing maximum weight independent sets in graphs is an important NP-hard optimization problem. The problem is particularly difficult to solve in large graphs for which data reduction techniques do not work well. To be more precise,…

Data Structures and Algorithms · Computer Science 2023-04-24 Ernestine Großmann , Sebastian Lamm , Christian Schulz , Darren Strash

The maximum independent set problem is one of the most important problems in graph algorithms and has been extensively studied in the line of research on the worst-case analysis of exact algorithms for NP-hard problems. In the weighted…

Data Structures and Algorithms · Computer Science 2021-08-31 Sen Huang , Mingyu Xiao , Xiaoyu Chen

Many load balancing problems that arise in scientific computing applications ask to partition a graph with weights on the vertices and costs on the edges into a given number of almost equally-weighted parts such that the maximum boundary…

Data Structures and Algorithms · Computer Science 2007-05-23 David Steurer

Spectral independence is a recently-developed framework for obtaining sharp bounds on the convergence time of the classical Glauber dynamics. This new framework has yielded optimal $O(n \log n)$ sampling algorithms on bounded-degree graphs…

Data Structures and Algorithms · Computer Science 2023-10-16 Ivona Bezáková , Andreas Galanis , Leslie Ann Goldberg , Daniel Štefankovič

We study computational aspects of repulsive Gibbs point processes, which are probabilistic models of interacting particles in a finite-volume region of space. We introduce an approach for reducing a Gibbs point process to the hard-core…

Data Structures and Algorithms · Computer Science 2023-12-15 Tobias Friedrich , Andreas Göbel , Maximilian Katzmann , Martin Krejca , Marcus Pappik

We establish a refined version of a graph container lemma due to Galvin and discuss several applications related to the hard-core model on bipartite expander graphs. Given a graph $G$ and $\lambda>0$, the hard-core model on $G$ at activity…

Combinatorics · Mathematics 2026-01-14 Matthew Jenssen , Alexandru Malekshahian , Jinyoung Park

For general antiferromagnetic 2-spin systems, including the hardcore model and the antiferromagnetic Ising model, there is an $\mathsf{FPTAS}$ for the partition function on graphs of maximum degree $\Delta$ when the infinite regular tree…

Data Structures and Algorithms · Computer Science 2021-07-20 Zongchen Chen , Kuikui Liu , Eric Vigoda

We study the Gibbs statistics of high-density hard-core configurations on a unit square lattice $\mathbb{Z}^2$, for a general Euclidean exclusion distance $D$. As a by-product, we solve the disk-packing problem on $\mathbb{Z}^2$ for disks…

Probability · Mathematics 2023-06-23 A. Mazel , I. Stuhl , Y. Suhov

Settling Kahn's conjecture (2001), we prove the following upper bound on the number $i(G)$ of independent sets in a graph $G$ without isolated vertices: \[ i(G) \le \prod_{uv \in E(G)} i(K_{d_u,d_v})^{1/(d_u d_v)}, \] where $d_u$ is the…

Combinatorics · Mathematics 2019-08-19 Ashwin Sah , Mehtaab Sawhney , David Stoner , Yufei Zhao

We study the complexity of approximating the independent set polynomial $Z_G(\lambda)$ of a graph $G$ with maximum degree $\Delta$ when the activity $\lambda$ is a complex number. This problem is already well understood when $\lambda$ is…

Computational Complexity · Computer Science 2026-02-04 Ivona Bezakova , Andreas Galanis , Leslie Ann Goldberg , Daniel Stefankovic

Let $G(n,c/n)$ and $G_r(n)$ be an $n$-node sparse random graph and a sparse random $r$-regular graph, respectively, and let ${\cal I}(n,r)$ and ${\cal I}(n,c)$ be the sizes of the largest independent set in $G(n,c/n)$ and $G_r(n)$. The…

Probability · Mathematics 2007-05-23 David Gamarnik , Tomasz Nowicki , Grzegorz Swirscsz

We prove tight bounds on the site percolation threshold for $k$-uniform hypergraphs of maximum degree $\Delta$ and for $k$-uniform hypergraphs of maximum degree $\Delta$ in which any pair of edges overlaps in at most $r$ vertices. The…

Probability · Mathematics 2023-09-25 Tyler Helmuth , Will Perkins , Michail Sarantis

In a recent paper the last author proved that absence of complex zeros of the partition function of the hard-core model near a parameter $\lambda>0$ implies a form of correlation decay called strong spacial mixing. In this paper we…

Probability · Mathematics 2026-03-19 Han Peters , Josias Reppekus , Guus Regts

Two kinds of approximation algorithms exist for the k-BALANCED PARTITIONING problem: those that are fast but compute unsatisfying approximation ratios, and those that guarantee high quality ratios but are slow. In this paper we prove that…

Computational Complexity · Computer Science 2019-04-29 Andreas Emil Feldmann

We study dense packings of disks and related Gibbs distributions representing high-density phases in the hard-core model on unit triangular, honeycomb and square lattices. The model is characterized by a Euclidean exclusion distance $D>0$…

Mathematical Physics · Physics 2022-10-12 A. Mazel , I. Stuhl , Y. Suhov