81 research outputs found
Normal Factor Graphs and Holographic Transformations
This paper stands at the intersection of two distinct lines of research. One
line is "holographic algorithms," a powerful approach introduced by Valiant for
solving various counting problems in computer science; the other is "normal
factor graphs," an elegant framework proposed by Forney for representing codes
defined on graphs. We introduce the notion of holographic transformations for
normal factor graphs, and establish a very general theorem, called the
generalized Holant theorem, which relates a normal factor graph to its
holographic transformation. We show that the generalized Holant theorem on the
one hand underlies the principle of holographic algorithms, and on the other
hand reduces to a general duality theorem for normal factor graphs, a special
case of which was first proved by Forney. In the course of our development, we
formalize a new semantics for normal factor graphs, which highlights various
linear algebraic properties that potentially enable the use of normal factor
graphs as a linear algebraic tool.Comment: To appear IEEE Trans. Inform. Theor
A Recursive Definition of the Holographic Standard Signature
We provide a recursive description of the signatures realizable on the
standard basis by a holographic algorithm. The description allows us to prove
tight bounds on the size of planar matchgates and efficiently test for standard
signatures. Over finite fields, it allows us to count the number of n-bit
standard signatures and calculate their expected sparsity.Comment: Fixed small typo in Section 3.
Matchgates and classical simulation of quantum circuits
Let G(A,B) denote the 2-qubit gate which acts as the 1-qubit SU(2) gates A
and B in the even and odd parity subspaces respectively, of two qubits. Using a
Clifford algebra formalism we show that arbitrary uniform families of circuits
of these gates, restricted to act only on nearest neighbour (n.n.) qubit lines,
can be classically efficiently simulated. This reproduces a result originally
proved by Valiant using his matchgate formalism, and subsequently related by
others to free fermionic physics. We further show that if the n.n. condition is
slightly relaxed, to allowing the same gates to act only on n.n. and next-n.n.
qubit lines, then the resulting circuits can efficiently perform universal
quantum computation. From this point of view, the gap between efficient
classical and quantum computational power is bridged by a very modest use of a
seemingly innocuous resource (qubit swapping). We also extend the simulation
result above in various ways. In particular, by exploiting properties of
Clifford operations in conjunction with the Jordan-Wigner representation of a
Clifford algebra, we show how one may generalise the simulation result above to
provide further classes of classically efficiently simulatable quantum
circuits, which we call Gaussian quantum circuits.Comment: 18 pages, 2 figure
Local Statistics of Realizable Vertex Models
We study planar "vertex" models, which are probability measures on edge
subsets of a planar graph, satisfying certain constraints at each vertex,
examples including dimer model, and 1-2 model, which we will define. We express
the local statistics of a large class of vertex models on a finite hexagonal
lattice as a linear combination of the local statistics of dimers on the
corresponding Fisher graph, with the help of a generalized holographic
algorithm. Using an torus to approximate the periodic infinite
graph, we give an explicit integral formula for the free energy and local
statistics for configurations of the vertex model on an infinite bi-periodic
graph. As an example, we simulate the 1-2 model by the technique of Glauber
dynamics
Report on "Geometry and representation theory of tensors for computer science, statistics and other areas."
This is a technical report on the proceedings of the workshop held July 21 to
July 25, 2008 at the American Institute of Mathematics, Palo Alto, California,
organized by Joseph Landsberg, Lek-Heng Lim, Jason Morton, and Jerzy Weyman. We
include a list of open problems coming from applications in 4 different areas:
signal processing, the Mulmuley-Sohoni approach to P vs. NP, matchgates and
holographic algorithms, and entanglement and quantum information theory. We
emphasize the interactions between geometry and representation theory and these
applied areas
- …