4,748 research outputs found
Turing Automata and Graph Machines
Indexed monoidal algebras are introduced as an equivalent structure for
self-dual compact closed categories, and a coherence theorem is proved for the
category of such algebras. Turing automata and Turing graph machines are
defined by generalizing the classical Turing machine concept, so that the
collection of such machines becomes an indexed monoidal algebra. On the analogy
of the von Neumann data-flow computer architecture, Turing graph machines are
proposed as potentially reversible low-level universal computational devices,
and a truly reversible molecular size hardware model is presented as an
example
Reversible Logic Elements with Memory and Their Universality
Reversible computing is a paradigm of computation that reflects physical
reversibility, one of the fundamental microscopic laws of Nature. In this
survey, we discuss topics on reversible logic elements with memory (RLEM),
which can be used to build reversible computing systems, and their
universality. An RLEM is called universal, if any reversible sequential machine
(RSM) can be realized as a circuit composed only of it. Since a finite-state
control and a tape cell of a reversible Turing machine (RTM) are formalized as
RSMs, any RTM can be constructed from a universal RLEM. Here, we investigate
2-state RLEMs, and show that infinitely many kinds of non-degenerate RLEMs are
all universal besides only four exceptions. Non-universality of these
exceptional RLEMs is also argued.Comment: In Proceedings MCU 2013, arXiv:1309.104
Trace Complexity of Chaotic Reversible Cellular Automata
Delvenne, K\r{u}rka and Blondel have defined new notions of computational
complexity for arbitrary symbolic systems, and shown examples of effective
systems that are computationally universal in this sense. The notion is defined
in terms of the trace function of the system, and aims to capture its dynamics.
We present a Devaney-chaotic reversible cellular automaton that is universal in
their sense, answering a question that they explicitly left open. We also
discuss some implications and limitations of the construction.Comment: 12 pages + 1 page appendix, 4 figures. Accepted to Reversible
Computation 2014 (proceedings published by Springer
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
Reversible Simulation of Irreversible Computation by Pebble Games
Reversible simulation of irreversible algorithms is analyzed in the stylized
form of a `reversible' pebble game. While such simulations incur little
overhead in additional computation time, they use a large amount of additional
memory space during the computation. The reacheable reversible simulation
instantaneous descriptions (pebble configurations) are characterized
completely. As a corollary we obtain the reversible simulation by Bennett and
that among all simulations that can be modelled by the pebble game, Bennett's
simulation is optimal in that it uses the least auxiliary space for the
greatest number of simulated steps. One can reduce the auxiliary storage
overhead incurred by the reversible simulation at the cost of allowing limited
erasing leading to an irreversibility-space tradeoff. We show that in this
resource-bounded setting the limited erasing needs to be performed at precise
instants during the simulation. We show that the reversible simulation can be
modified so that it is applicable also when the simulated computation time is
unknown.Comment: 11 pages, Latex, Submitted to Physica
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
- …