Lee-Yang zeros and the complexity of the ferromagnetic Ising Model on bounded-degree graphs

06/26/2020
by   Pjotr Buys, et al.
0

We study the computational complexity of approximating the partition function of the ferromagnetic Ising model in the Lee-Yang circle of zeros given by |λ|=1, where λ is the external field of the model. Complex-valued parameters for the Ising model are relevant for quantum circuit computations and phase transitions in statistical physics, but have also been key in the recent deterministic approximation scheme for all |λ|≠ 1 by Liu, Sinclair, and Srivastava. Here, we focus on the unresolved complexity picture on the unit circle, and on the tantalising question of what happens in the circular arc around λ=1, where on one hand the classical algorithm of Jerrum and Sinclair gives a randomised approximation scheme on the real axis suggesting tractability, and on the other hand the presence of Lee-Yang zeros alludes to computational hardness. Our main result establishes a sharp computational transition at the point λ=1; in fact, our techniques apply more generally to the whole unit circle |λ|=1. We show #P-hardness for approximating the partition function on graphs of maximum degree Δ when b, the edge-interaction parameter, is in the interval (0,Δ-2/Δ] and λ is a non-real on the unit circle. This result contrasts with known approximation algorithms when |λ|≠ 1 or b∈ (Δ-2/Δ,1), and shows that the Lee-Yang circle of zeros is computationally intractable, even on bounded-degree graphs.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/01/2021

The complexity of approximating the complex-valued Ising model on bounded degree graphs

We study the complexity of approximating the partition function Z_Ising(...
research
05/03/2020

The complexity of approximating the complex-valued Potts model

We study the complexity of approximating the partition function of the q...
research
07/13/2018

The complexity of approximating the matching polynomial in the complex plane

We study the problem of approximating the value of the matching polynomi...
research
10/03/2018

Location of zeros for the partition function of the Ising model on bounded degree graphs

The seminal Lee-Yang theorem states that for any graph the zeros of the ...
research
06/23/2022

Approximating observables is as hard as counting

We study the computational complexity of estimating local observables fo...
research
11/04/2021

Computational thresholds for the fixed-magnetization Ising model

The ferromagnetic Ising model is a model of a magnetic material and a ce...
research
05/13/2019

Computing Maximum Matchings in Temporal Graphs

We study the computational complexity of finding maximum-cardinality tem...

Please sign up or login with your details

Forgot password? Click here to reset