English
Related papers

Related papers: The computational hardness of counting in two-spin…

200 papers

We study the computational complexity of approximately computing the partition function of a spin system. Techniques based on standard counting-to-sampling reductions yield $\tilde{O}(n^2)$-time algorithms, where $n$ is the size of the…

Data Structures and Algorithms · Computer Science 2026-04-03 Xiaoyu Chen , Zongchen Chen , Kuikui Liu , Xinyuan Zhang

We give a randomized algorithm that approximates the number of independent sets in a dense, regular bipartite graph -- in the language of approximate counting, we give an FPRAS for #BIS on the class of dense, regular bipartite graphs.…

Data Structures and Algorithms · Computer Science 2023-07-20 Charlie Carlson , Ewan Davies , Alexandra Kolla , Aditya Potukuchi

The goal of this paper is to exhibit a deep relation between the partition function of the Ising model on a planar trivalent graph and the generating series of the spin network evaluations on the same graph. We provide respectively a…

Mathematical Physics · Physics 2016-11-23 Valentin Bonzom , Francesco Costantino , Etera R. Livine

The ferromagnetic Ising model is a model of a magnetic material and a central topic in statistical physics. It also plays a starring role in the algorithmic study of approximate counting: approximating the partition function of the…

Data Structures and Algorithms · Computer Science 2021-11-05 Charlie Carlson , Ewan Davies , Alexandra Kolla , Will Perkins

We study the hard-core model defined on independent sets, where each independent set I in a graph G is weighted proportionally to $\lambda^{|I|}$, for a positive real parameter $\lambda$. For large $\lambda$, computing the partition…

Probability · Mathematics 2011-08-15 Ricardo Restrepo , Jinwoo Shin , Prasad Tetali , Eric Vigoda , Linji Yang

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

We study classical Ising spin-$\frac{1}{2}$ models on the 2D square lattice with ferromagnetic or antiferromagnetic nearest-neighbor interactions, under the effect of a pure imaginary magnetic field. The complex Boltzmann weights of spin…

Statistical Mechanics · Physics 2023-06-27 Roman Krčmár , Andrej Gendiar , Ladislav Šamaj

In a seminal paper, Weitz showed that for two-state spin systems, such as the Ising and hardcore models from statistical physics, correlation decay on trees implies correlation decay on arbitrary graphs. The key gadget in Weitz's reduction…

Data Structures and Algorithms · Computer Science 2025-02-11 Kuikui Liu , Nitya Mani , Francisco Pernice

We study the computational complexity of estimating local observables for Gibbs distributions. A simple combinatorial example is the average size of an independent set in a graph. In a recent work, we established NP-hardness of…

Computational Complexity · Computer Science 2022-06-24 Andreas Galanis , Daniel Stefankovic , Eric Vigoda

We study the computational complexity of approximating the partition function of the ferromagnetic Ising model with the external field parameter $\lambda$ on the unit circle in the complex plane. Complex-valued parameters for the Ising…

Computational Complexity · Computer Science 2021-01-25 Pjotr Buys , Andreas Galanis , Viresh Patel , Guus Regts

With a graph $G=(V,E)$ we associate a collection of non-negative real weights $\cup_{v\in V}{\lambda_{i,v}:1\leq i \leq m} \cup \cup_{uv \in E} {\lambda_{ij,uv}:1\leq i \leq j \leq m}$. We consider the probability distribution on…

Combinatorics · Mathematics 2012-06-15 David Galvin

We investigate the computational difficulty of approximating the partition function of the ferromagnetic Ising model on a regular matroid. Jerrum and Sinclair have shown that there is a fully polynomial randomised approximation scheme…

Computational Complexity · Computer Science 2013-08-01 Leslie Ann Goldberg , Mark Jerrum

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,…

Data Structures and Algorithms · Computer Science 2020-03-25 Matthew Jenssen , Peter Keevash , Will Perkins

Given a graph $G$, we form a random subgraph $G_p$ by including each edge of $G$ independently with probability $p$. We provide an asymptotic expansion of the expected number of independent sets in random subgraphs of regular bipartite…

Combinatorics · Mathematics 2026-05-14 Anna Geisler , Mihyun Kang , Michail Sarantis , Ronen Wdowinski

We study mappings between distinct classical spin systems that leave the partition function invariant. As recently shown in [Phys. Rev. Lett. 100, 110501 (2008)], the partition function of the 2D square lattice Ising model in the presence…

Quantum Physics · Physics 2015-05-13 Gemma De las Cuevas , Wolfgang Dür , Maarten Van den Nest , Hans J. Briegel

We prove that the squared partition function of the two-dimensional critical Ising model defined on a finite, isoradial graph $G=(V,E)$, is equal to $2^{|V|}$ times the partition function of spanning trees of the graph $\bar{G}$, where…

Mathematical Physics · Physics 2014-01-21 B. de Tilière

We propose a notion of contraction function for a family of graphs and establish its connection to the strong spatial mixing for spin systems. More specifically, we show that for anti-ferromagnetic Potts model on families of graphs…

Data Structures and Algorithms · Computer Science 2015-07-28 Yitong Yin , Chihao Zhang

A key insight from statistical physics about spin systems on random graphs is the central role played by Gibbs measures on trees. We determine the local weak limit of the hardcore model on random regular graphs asymptotically until just…

Probability · Mathematics 2014-05-26 Nayantara Bhatnagar , Allan Sly , Prasad Tetali

We consider homogeneous factor models on uniformly sparse graph sequences converging locally to a (unimodular) random tree $T$, and study the existence of the free energy density $\phi$, the limit of the log-partition function divided by…

Probability · Mathematics 2013-12-17 Amir Dembo , Andrea Montanari , Nike Sun

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