8 research outputs found
Completeness of classical spin models and universal quantum computation
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 of an inhomogeneous magnetic field, can specialize to the
partition function of any Ising system on an arbitrary graph. In this sense the
2D Ising model is said to be "complete". However, in order to obtain the above
result, the coupling strengths on the 2D lattice must assume complex values,
and thus do not allow for a physical interpretation. Here we show how a
complete model with real -and, hence, "physical"- couplings can be obtained if
the 3D Ising model is considered. We furthermore show how to map general
q-state systems with possibly many-body interactions to the 2D Ising model with
complex parameters, and give completeness results for these models with real
parameters. We also demonstrate that the computational overhead in these
constructions is in all relevant cases polynomial. These results are proved by
invoking a recently found cross-connection between statistical mechanics and
quantum information theory, where partition functions are expressed as quantum
mechanical amplitudes. Within this framework, there exists a natural
correspondence between many-body quantum states that allow universal quantum
computation via local measurements only, and complete classical spin systems.Comment: 43 pages, 28 figure
Quantum geometry and quantum algorithms
Motivated by algorithmic problems arising in quantum field theories whose
dynamical variables are geometric in nature, we provide a quantum algorithm
that efficiently approximates the colored Jones polynomial. The construction is
based on the complete solution of Chern-Simons topological quantum field theory
and its connection to Wess-Zumino-Witten conformal field theory. The colored
Jones polynomial is expressed as the expectation value of the evolution of the
q-deformed spin-network quantum automaton. A quantum circuit is constructed
capable of simulating the automaton and hence of computing such expectation
value. The latter is efficiently approximated using a standard sampling
procedure in quantum computation.Comment: Submitted to J. Phys. A: Math-Gen, for the special issue ``The
Quantum Universe'' in honor of G. C. Ghirard
Classical Ising model test for quantum circuits
We exploit a recently constructed mapping between quantum circuits and graphs
in order to prove that circuits corresponding to certain planar graphs can be
efficiently simulated classically. The proof uses an expression for the Ising
model partition function in terms of quadratically signed weight enumerators
(QWGTs), which are polynomials that arise naturally in an expansion of quantum
circuits in terms of rotations involving Pauli matrices. We combine this
expression with a known efficient classical algorithm for the Ising partition
function of any planar graph in the absence of an external magnetic field, and
the Robertson-Seymour theorem from graph theory. We give as an example a set of
quantum circuits with a small number of non-nearest neighbor gates which admit
an efficient classical simulation.Comment: 17 pages, 2 figures. v2: main result strengthened by removing
oracular settin
Belief Propagation and Loop Series on Planar Graphs
We discuss a generic model of Bayesian inference with binary variables
defined on edges of a planar graph. The Loop Calculus approach of [1, 2] is
used to evaluate the resulting series expansion for the partition function. We
show that, for planar graphs, truncating the series at single-connected loops
reduces, via a map reminiscent of the Fisher transformation [3], to evaluating
the partition function of the dimer matching model on an auxiliary planar
graph. Thus, the truncated series can be easily re-summed, using the Pfaffian
formula of Kasteleyn [4]. This allows to identify a big class of
computationally tractable planar models reducible to a dimer model via the
Belief Propagation (gauge) transformation. The Pfaffian representation can also
be extended to the full Loop Series, in which case the expansion becomes a sum
of Pfaffian contributions, each associated with dimer matchings on an extension
to a subgraph of the original graph. Algorithmic consequences of the Pfaffian
representation, as well as relations to quantum and non-planar models, are
discussed.Comment: Accepted for publication in Journal of Statistical Mechanics: theory
and experimen