3,656 research outputs found
Time and Space Bounds for Reversible Simulation
We prove a general upper bound on the tradeoff between time and space that
suffices for the reversible simulation of irreversible computation. Previously,
only simulations using exponential time or quadratic space were known.
The tradeoff shows for the first time that we can simultaneously achieve
subexponential time and subquadratic space.
The boundary values are the exponential time with hardly any extra space
required by the Lange-McKenzie-Tapp method and the ()th power time with
square space required by the Bennett method. We also give the first general
lower bound on the extra storage space required by general reversible
simulation. This lower bound is optimal in that it is achieved by some
reversible simulations.Comment: 11 pages LaTeX, Proc ICALP 2001, Lecture Notes in Computer Science,
Vol xxx Springer-Verlag, Berlin, 200
Universality and programmability of quantum computers
Manin, Feynman, and Deutsch have viewed quantum computing as a kind of
universal physical simulation procedure. Much of the writing about quantum
logic circuits and quantum Turing machines has shown how these machines can
simulate an arbitrary unitary transformation on a finite number of qubits. The
problem of universality has been addressed most famously in a paper by Deutsch,
and later by Bernstein and Vazirani as well as Kitaev and Solovay. The quantum
logic circuit model, developed by Feynman and Deutsch, has been more prominent
in the research literature than Deutsch's quantum Turing machines. Quantum
Turing machines form a class closely related to deterministic and probabilistic
Turing machines and one might hope to find a universal machine in this class. A
universal machine is the basis of a notion of programmability. The extent to
which universality has in fact been established by the pioneers in the field is
examined and this key notion in theoretical computer science is scrutinised in
quantum computing by distinguishing various connotations and concomitant
results and problems.Comment: 17 pages, expands on arXiv:0705.3077v1 [quant-ph
Quantum Cellular Automata
Quantum cellular automata (QCA) are reviewed, including early and more recent
proposals. QCA are a generalization of (classical) cellular automata (CA) and
in particular of reversible CA. The latter are reviewed shortly. An overview is
given over early attempts by various authors to define one-dimensional QCA.
These turned out to have serious shortcomings which are discussed as well.
Various proposals subsequently put forward by a number of authors for a general
definition of one- and higher-dimensional QCA are reviewed and their properties
such as universality and reversibility are discussed.Comment: 12 pages, 3 figures. To appear in the Springer Encyclopedia of
Complexity and Systems Scienc
Complexity, parallel computation and statistical physics
The intuition that a long history is required for the emergence of complexity
in natural systems is formalized using the notion of depth. The depth of a
system is defined in terms of the number of parallel computational steps needed
to simulate it. Depth provides an objective, irreducible measure of history
applicable to systems of the kind studied in statistical physics. It is argued
that physical complexity cannot occur in the absence of substantial depth and
that depth is a useful proxy for physical complexity. The ideas are illustrated
for a variety of systems in statistical physics.Comment: 21 pages, 7 figure
Elementary gates for quantum computation
We show that a set of gates that consists of all one-bit quantum gates (U(2))
and the two-bit exclusive-or gate (that maps Boolean values to ) is universal in the sense that all unitary operations on
arbitrarily many bits (U()) can be expressed as compositions of these
gates. We investigate the number of the above gates required to implement other
gates, such as generalized Deutsch-Toffoli gates, that apply a specific U(2)
transformation to one input bit if and only if the logical AND of all remaining
input bits is satisfied. These gates play a central role in many proposed
constructions of quantum computational networks. We derive upper and lower
bounds on the exact number of elementary gates required to build up a variety
of two-and three-bit quantum gates, the asymptotic number required for -bit
Deutsch-Toffoli gates, and make some observations about the number required for
arbitrary -bit unitary operations.Comment: 31 pages, plain latex, no separate figures, submitted to Phys. Rev.
A. Related information on http://vesta.physics.ucla.edu:7777
Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
A digital computer is generally believed to be an efficient universal
computing device; that is, it is believed able to simulate any physical
computing device with an increase in computation time of at most a polynomial
factor. This may not be true when quantum mechanics is taken into
consideration. This paper considers factoring integers and finding discrete
logarithms, two problems which are generally thought to be hard on a classical
computer and have been used as the basis of several proposed cryptosystems.
Efficient randomized algorithms are given for these two problems on a
hypothetical quantum computer. These algorithms take a number of steps
polynomial in the input size, e.g., the number of digits of the integer to be
factored.Comment: 28 pages, LaTeX. This is an expanded version of a paper that appeared
in the Proceedings of the 35th Annual Symposium on Foundations of Computer
Science, Santa Fe, NM, Nov. 20--22, 1994. Minor revisions made January, 199
- …