8,399 research outputs found
Quantum algorithms for classical lattice models
We give efficient quantum algorithms to estimate the partition function of
(i) the six vertex model on a two-dimensional (2D) square lattice, (ii) the
Ising model with magnetic fields on a planar graph, (iii) the Potts model on a
quasi 2D square lattice, and (iv) the Z_2 lattice gauge theory on a
three-dimensional square lattice. Moreover, we prove that these problems are
BQP-complete, that is, that estimating these partition functions is as hard as
simulating arbitrary quantum computation. The results are proven for a complex
parameter regime of the models. The proofs are based on a mapping relating
partition functions to quantum circuits introduced in [Van den Nest et al.,
Phys. Rev. A 80, 052334 (2009)] and extended here.Comment: 21 pages, 12 figure
Variational Principle of Bogoliubov and Generalized Mean Fields in Many-Particle Interacting Systems
The approach to the theory of many-particle interacting systems from a
unified standpoint, based on the variational principle for free energy is
reviewed. A systematic discussion is given of the approximate free energies of
complex statistical systems. The analysis is centered around the variational
principle of N. N. Bogoliubov for free energy in the context of its
applications to various problems of statistical mechanics and condensed matter
physics. The review presents a terse discussion of selected works carried out
over the past few decades on the theory of many-particle interacting systems in
terms of the variational inequalities. It is the purpose of this paper to
discuss some of the general principles which form the mathematical background
to this approach, and to establish a connection of the variational technique
with other methods, such as the method of the mean (or self-consistent) field
in the many-body problem, in which the effect of all the other particles on any
given particle is approximated by a single averaged effect, thus reducing a
many-body problem to a single-body problem. The method is illustrated by
applying it to various systems of many-particle interacting systems, such as
Ising and Heisenberg models, superconducting and superfluid systems, strongly
correlated systems, etc. It seems likely that these technical advances in the
many-body problem will be useful in suggesting new methods for treating and
understanding many-particle interacting systems. This work proposes a new,
general and pedagogical presentation, intended both for those who are
interested in basic aspects, and for those who are interested in concrete
applications.Comment: 60 pages, Refs.25
Quantum Commuting Circuits and Complexity of Ising Partition Functions
Instantaneous quantum polynomial-time (IQP) computation is a class of quantum
computation consisting only of commuting two-qubit gates and is not universal
in the sense of standard quantum computation. Nevertheless, it has been shown
that if there is a classical algorithm that can simulate IQP efficiently, the
polynomial hierarchy (PH) collapses at the third level, which is highly
implausible. However, the origin of the classical intractability is still less
understood. Here we establish a relationship between IQP and computational
complexity of the partition functions of Ising models. We apply the established
relationship in two opposite directions. One direction is to find subclasses of
IQP that are classically efficiently simulatable in the strong sense, by using
exact solvability of certain types of Ising models. Another direction is
applying quantum computational complexity of IQP to investigate (im)possibility
of efficient classical approximations of Ising models with imaginary coupling
constants. Specifically, we show that there is no fully polynomial randomized
approximation scheme (FPRAS) for Ising models with almost all imaginary
coupling constants even on a planar graph of a bounded degree, unless the PH
collapses at the third level. Furthermore, we also show a multiplicative
approximation of such a class of Ising partition functions is at least as hard
as a multiplicative approximation for the output distribution of an arbitrary
quantum circuit.Comment: 36 pages, 5 figure
The Ising Partition Function: Zeros and Deterministic Approximation
We study the problem of approximating the partition function of the
ferromagnetic Ising model in graphs and hypergraphs. Our first result is a
deterministic approximation scheme (an FPTAS) for the partition function in
bounded degree graphs that is valid over the entire range of parameters
(the interaction) and (the external field), except for the case
(the "zero-field" case). A randomized algorithm (FPRAS)
for all graphs, and all , has long been known. Unlike most other
deterministic approximation algorithms for problems in statistical physics and
counting, our algorithm does not rely on the "decay of correlations" property.
Rather, we exploit and extend machinery developed recently by Barvinok, and
Patel and Regts, based on the location of the complex zeros of the partition
function, which can be seen as an algorithmic realization of the classical
Lee-Yang approach to phase transitions. Our approach extends to the more
general setting of the Ising model on hypergraphs of bounded degree and edge
size, where no previous algorithms (even randomized) were known for a wide
range of parameters. In order to achieve this extension, we establish a tight
version of the Lee-Yang theorem for the Ising model on hypergraphs, improving a
classical result of Suzuki and Fisher.Comment: clarified presentation of combinatorial arguments, added new results
on optimality of univariate Lee-Yang theorem
Deterministic polynomial-time approximation algorithms for partition functions and graph polynomials
In this paper we show a new way of constructing deterministic polynomial-time
approximation algorithms for computing complex-valued evaluations of a large
class of graph polynomials on bounded degree graphs. In particular, our
approach works for the Tutte polynomial and independence polynomial, as well as
partition functions of complex-valued spin and edge-coloring models.
More specifically, we define a large class of graph polynomials
and show that if and there is a disk centered at zero in the
complex plane such that does not vanish on for all bounded degree
graphs , then for each in the interior of there exists a
deterministic polynomial-time approximation algorithm for evaluating at
. This gives an explicit connection between absence of zeros of graph
polynomials and the existence of efficient approximation algorithms, allowing
us to show new relationships between well-known conjectures.
Our work builds on a recent line of work initiated by. Barvinok, which
provides a new algorithmic approach besides the existing Markov chain Monte
Carlo method and the correlation decay method for these types of problems.Comment: 27 pages; some changes have been made based on referee comments. In
particular a tiny error in Proposition 4.4 has been fixed. The introduction
and concluding remarks have also been rewritten to incorporate the most
recent developments. Accepted for publication in SIAM Journal on Computatio
The complexity of approximately counting in 2-spin systems on -uniform bounded-degree hypergraphs
One of the most important recent developments in the complexity of
approximate counting is the classification of the complexity of approximating
the partition functions of antiferromagnetic 2-spin systems on bounded-degree
graphs. This classification is based on a beautiful connection to the so-called
uniqueness phase transition from statistical physics on the infinite
-regular tree. Our objective is to study the impact of this
classification on unweighted 2-spin models on -uniform hypergraphs. As has
already been indicated by Yin and Zhao, the connection between the uniqueness
phase transition and the complexity of approximate counting breaks down in the
hypergraph setting. Nevertheless, we show that for every non-trivial symmetric
-ary Boolean function there exists a degree bound so that for
all the following problem is NP-hard: given a
-uniform hypergraph with maximum degree at most , approximate the
partition function of the hypergraph 2-spin model associated with . It is
NP-hard to approximate this partition function even within an exponential
factor. By contrast, if is a trivial symmetric Boolean function (e.g., any
function that is excluded from our result), then the partition function of
the corresponding hypergraph 2-spin model can be computed exactly in polynomial
time
- …