The computer as a physical system: A microscopic quantum mechanical Hamiltonian model of computers as represented by Turing machines

  title={The computer as a physical system: A microscopic quantum mechanical Hamiltonian model of computers as represented by Turing machines},
  author={Paul Benioff},
  journal={Journal of Statistical Physics},
  • P. Benioff
  • Published 1980
  • Physics
  • Journal of Statistical Physics
In this paper a microscopic quantum mechanical model of computers as represented by Turing machines is constructed. It is shown that for each numberN and Turing machineQ there exists a HamiltonianHNQ and a class of appropriate initial states such that if c is such an initial state, thenψQN(t)=exp(−1HNQt)ψQN(0) correctly describes at timest3,t6,⋯,t3N model states that correspond to the completion of the first, second, ⋯, Nth computation step ofQ. The model parameters can be adjusted so that for… 
Quantum mechanical hamiltonian models of turing machines
Quantum mechanical Hamiltonian models, which represent an aribtrary but finite number of steps of any Turing machine computation, are constructed here on a finite lattice of spin-1/2 systems.
Quantum mechanical Hamiltonian models of discrete processes that erase their own histories: Application to Turing machines
The main changes are that the system undergoing the evolution corresponding to T iterations becomes three systems corresponding to the internal machine, the computation tape, and computation head, and the copy phase becomes more complex.
This paper tried to analyze mathematically a possibility that the Universal Quantum Turing Machine (UQTM) is able to compute faster than any other classical models of computation, and tried to show that the UQTM can solve any NP-complete problem in polynomial time.
Quantum mechanical Hamiltonian models of discrete processes
Here the results of other work on quantum mechanical Hamiltonian models of Turing machines are extended to include any discrete process T on a countably infinite set A. The models are constructed
Review of quantum computation
Quantum Mechanical Hamiltonian Models of Computers a
Interest in the physical limitations of the computation process has been increasing in recent years.’.’ Landauer3“ has discussed this subject extensively, particularly from the viewpoint of energy
Quantum Algorithm for Hilbert's Tenth Problem
It is argued that computability, and with it the limits of Mathematics, ought to be determined not solely by Mathematics itself but also by Physical Principles.
A Quantum Turing Machine with a Local Hamiltonian
A universal, deterministic Turing machine can be implemented as a closed, locally interacting quantum lattice system. As a consequence, many questions about the long-term dynamics of a quantum system
Universality and programmability of quantum computers
Models of Quantum Computers and Decoherence Problem
This proposal is based on the analysis of the spin-boson Hamiltonian performed in the stochastic limit approximation and proposes a possible solution of the decoherence due to the coupling with the environment by using a control of parameters of the system.


Logical reversibility of computation
This result makes plausible the existence of thermodynamically reversible computers which could perform useful computations at useful speed while dissipating considerably less than kT of energy per logical step.
Mathematical Foundations of Quantum Mechanics
Mathematical Foundations of Quantum Mechanics was a revolutionary book that caused a sea change in theoretical physics. Here, John von Neumann, one of the leading mathematicians of the twentieth
Models in nonequilibrium quantum statistical mechanics
In this paper, quantum versions of statistical models are constructed. All aspects of the systems can be explicitly solved. It is possible to give magnetic realizations of these models. The most
Fundamental Limitations in the Computational Process
Information in computers, in biological systems, or in any other form, inevitably requires the use of physical degrees of freedom. Information is not a purely mathematical or philosophical entity. It
Role of the Observer in Quantum Theory
In quantum theory as it is currently formulated the measurement of an observable quantity of a physical system is the occasion for a change of state of the system, except when the state prior to the
Time, Structure, and Fluctuations
It is shown that nonequilibrium may become a source of order and that irreversible processes may lead to a new type of dynamic states of matter called "dissipative structures" and the thermodynamic theory of such structures is outlined.
Irreversibility and heat generation in the computing process
Two simple, but representative, models of bistable devices are subjected to a more detailed analysis of switching kinetics to yield the relationship between speed and energy dissipation, and to estimate the effects of errors induced by thermal fluctuations.
The Radiation Theories of Tomonaga, Schwinger, and Feynman
A unified development of the subject of quantum electrodynamics is outlined, embodying the main features both of the Tomonaga-Schwinger and of the Feynman radiation theory. The theory is carried to a
Include the Observer in the Wave Function
The classical dynamics of Einstein’s closed universe (idealized for simplicity to be empty except as excited by gravitational waves) is analyzed in no way more economically than by the standard
Relativistic quantum field theory.
The logical foundations of relativistic quantum field theory are described and it is indicated how the differential version transcends the correspondence principle and incorporates, on the same footing, two different kinds of quantum dyna-mical variable.