38,687 research outputs found
On the completeness of quantum computation models
The notion of computability is stable (i.e. independent of the choice of an
indexing) over infinite-dimensional vector spaces provided they have a finite
"tensorial dimension". Such vector spaces with a finite tensorial dimension
permit to define an absolute notion of completeness for quantum computation
models and give a precise meaning to the Church-Turing thesis in the framework
of quantum theory. (Extra keywords: quantum programming languages, denotational
semantics, universality.)Comment: 15 pages, LaTe
Quantum Discord and Quantum Computing - An Appraisal
We discuss models of computing that are beyond classical. The primary
motivation is to unearth the cause of nonclassical advantages in computation.
Completeness results from computational complexity theory lead to the
identification of very disparate problems, and offer a kaleidoscopic view into
the realm of quantum enhancements in computation. Emphasis is placed on the
`power of one qubit' model, and the boundary between quantum and classical
correlations as delineated by quantum discord. A recent result by Eastin on the
role of this boundary in the efficient classical simulation of quantum
computation is discussed. Perceived drawbacks in the interpretation of quantum
discord as a relevant certificate of quantum enhancements are addressed.Comment: To be published in the Special Issue of the International Journal of
Quantum Information on "Quantum Correlations: entanglement and beyond." 11
pages, 4 figure
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
Power of Quantum Computation with Few Clean Qubits
This paper investigates the power of polynomial-time quantum computation in
which only a very limited number of qubits are initially clean in the |0>
state, and all the remaining qubits are initially in the totally mixed state.
No initializations of qubits are allowed during the computation, nor
intermediate measurements. The main results of this paper are unexpectedly
strong error-reducible properties of such quantum computations. It is proved
that any problem solvable by a polynomial-time quantum computation with
one-sided bounded error that uses logarithmically many clean qubits can also be
solvable with exponentially small one-sided error using just two clean qubits,
and with polynomially small one-sided error using just one clean qubit. It is
further proved in the case of two-sided bounded error that any problem solvable
by such a computation with a constant gap between completeness and soundness
using logarithmically many clean qubits can also be solvable with exponentially
small two-sided error using just two clean qubits. If only one clean qubit is
available, the problem is again still solvable with exponentially small error
in one of the completeness and soundness and polynomially small error in the
other. As an immediate consequence of the above result for the two-sided-error
case, it follows that the TRACE ESTIMATION problem defined with fixed constant
threshold parameters is complete for the classes of problems solvable by
polynomial-time quantum computations with completeness 2/3 and soundness 1/3
using logarithmically many clean qubits and just one clean qubit. The
techniques used for proving the error-reduction results may be of independent
interest in themselves, and one of the technical tools can also be used to show
the hardness of weak classical simulations of one-clean-qubit computations
(i.e., DQC1 computations).Comment: 44 pages + cover page; the results in Section 8 are overlapping with
the main results in arXiv:1409.677
A quantum information approach to statistical mechanics
We review some connections between quantum information and statistical
mechanics. We focus on three sets of results for classical spin models. First,
we show that the partition function of all classical spin models (including
models in different dimensions, different types of many-body interactions,
different symmetries, etc) can be mapped to the partition function of a single
model. Second, we give efficient quantum algorithms to estimate the partition
function of various classical spin models, such as the Ising or the Potts
model. The proofs of these two results are based on a mapping from partition
functions to quantum states and to quantum circuits, respectively. Finally, we
show how classical spin models can be used to describe certain fluctuating
lattices appearing in models of discrete quantum gravity.Comment: 9 pages, 9 figure
Ultimate Intelligence Part I: Physical Completeness and Objectivity of Induction
We propose that Solomonoff induction is complete in the physical sense via
several strong physical arguments. We also argue that Solomonoff induction is
fully applicable to quantum mechanics. We show how to choose an objective
reference machine for universal induction by defining a physical message
complexity and physical message probability, and argue that this choice
dissolves some well-known objections to universal induction. We also introduce
many more variants of physical message complexity based on energy and action,
and discuss the ramifications of our proposals.Comment: Under review at AGI-2015 conference. An early draft was submitted to
ALT-2014. This paper is now being split into two papers, one philosophical,
and one more technical. We intend that all installments of the paper series
will be on the arxi
Computing with Coloured Tangles
We suggest a diagrammatic model of computation based on an axiom of
distributivity. A diagram of a decorated coloured tangle, similar to those that
appear in low dimensional topology, plays the role of a circuit diagram.
Equivalent diagrams represent bisimilar computations. We prove that our model
of computation is Turing complete, and that with bounded resources it can
moreover decide any language in complexity class IP, sometimes with better
performance parameters than corresponding classical protocols.Comment: 36 pages,; Introduction entirely rewritten, Section 4.3 adde
- …