11,381 research outputs found
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
Merlin: A Language for Provisioning Network Resources
This paper presents Merlin, a new framework for managing resources in
software-defined networks. With Merlin, administrators express high-level
policies using programs in a declarative language. The language includes
logical predicates to identify sets of packets, regular expressions to encode
forwarding paths, and arithmetic formulas to specify bandwidth constraints. The
Merlin compiler uses a combination of advanced techniques to translate these
policies into code that can be executed on network elements including a
constraint solver that allocates bandwidth using parameterizable heuristics. To
facilitate dynamic adaptation, Merlin provides mechanisms for delegating
control of sub-policies and for verifying that modifications made to
sub-policies do not violate global constraints. Experiments demonstrate the
expressiveness and scalability of Merlin on real-world topologies and
applications. Overall, Merlin simplifies network administration by providing
high-level abstractions for specifying network policies and scalable
infrastructure for enforcing them
The Jones polynomial: quantum algorithms and applications in quantum complexity theory
We analyze relationships between quantum computation and a family of
generalizations of the Jones polynomial. Extending recent work by Aharonov et
al., we give efficient quantum circuits for implementing the unitary
Jones-Wenzl representations of the braid group. We use these to provide new
quantum algorithms for approximately evaluating a family of specializations of
the HOMFLYPT two-variable polynomial of trace closures of braids. We also give
algorithms for approximating the Jones polynomial of a general class of
closures of braids at roots of unity. Next we provide a self-contained proof of
a result of Freedman et al. that any quantum computation can be replaced by an
additive approximation of the Jones polynomial, evaluated at almost any
primitive root of unity. Our proof encodes two-qubit unitaries into the
rectangular representation of the eight-strand braid group. We then give
QCMA-complete and PSPACE-complete problems which are based on braids. We
conclude with direct proofs that evaluating the Jones polynomial of the plat
closure at most primitive roots of unity is a #P-hard problem, while learning
its most significant bit is PP-hard, circumventing the usual route through the
Tutte polynomial and graph coloring.Comment: 34 pages. Substantial revision. Increased emphasis on HOMFLYPT,
greatly simplified arguments and improved organizatio
Sublinearly space bounded iterative arrays
Iterative arrays (IAs) are a, parallel computational model with a sequential processing of the input. They are one-dimensional arrays of interacting identical deterministic finite automata. In this note, realtime-lAs with sublinear space bounds are used to accept formal languages. The existence of a proper hierarchy of space complexity classes between logarithmic anel linear space bounds is proved. Furthermore, an optimal spacc lower bound for non-regular language recognition is shown. Key words: Iterative arrays, cellular automata, space bounded computations, decidability questions, formal languages, theory of computatio
- …