232 research outputs found
Quantum Ballistic Evolution in Quantum Mechanics: Application to Quantum Computers
Quantum computers are important examples of processes whose evolution can be
described in terms of iterations of single step operators or their adjoints.
Based on this, Hamiltonian evolution of processes with associated step
operators is investigated here. The main limitation of this paper is to
processes which evolve quantum ballistically, i.e. motion restricted to a
collection of nonintersecting or distinct paths on an arbitrary basis. The main
goal of this paper is proof of a theorem which gives necessary and sufficient
conditions that T must satisfy so that there exists a Hamiltonian description
of quantum ballistic evolution for the process, namely, that T is a partial
isometry and is orthogonality preserving and stable on some basis. Simple
examples of quantum ballistic evolution for quantum Turing machines with one
and with more than one type of elementary step are discussed. It is seen that
for nondeterministic machines the basis set can be quite complex with much
entanglement present. It is also proved that, given a step operator T for an
arbitrary deterministic quantum Turing machine, it is decidable if T is stable
and orthogonality preserving, and if quantum ballistic evolution is possible.
The proof fails if T is a step operator for a nondeterministic machine. It is
an open question if such a decision procedure exists for nondeterministic
machines. This problem does not occur in classical mechanics.Comment: 37 pages Latexwith 2 postscript figures tar+gzip+uuencoded, to be
published in Phys. Rev.
Tight Binding Hamiltonians and Quantum Turing Machines
This paper extends work done to date on quantum computation by associating
potentials with different types of computation steps. Quantum Turing machine
Hamiltonians, generalized to include potentials, correspond to sums over tight
binding Hamiltonians each with a different potential distribution. Which
distribution applies is determined by the initial state. An example, which
enumerates the integers in succession as binary strings, is analyzed. It is
seen that for some initial states the potential distributions have
quasicrystalline properties and are similar to a substitution sequence.Comment: 4 pages Latex, 2 postscript figures, submitted to Phys Rev Letter
Quantum Robots and Environments
Quantum robots and their interactions with environments of quantum systems
are described and their study justified. A quantum robot is a mobile quantum
system that includes a quantum computer and needed ancillary systems on board.
Quantum robots carry out tasks whose goals include specified changes in the
state of the environment or carrying out measurements on the environment. Each
task is a sequence of alternating computation and action phases. Computation
phase activities include determination of the action to be carried out in the
next phase and possible recording of information on neighborhood environmental
system states. Action phase activities include motion of the quantum robot and
changes of neighborhood environment system states. Models of quantum robots and
their interactions with environments are described using discrete space and
time. To each task is associated a unitary step operator T that gives the
single time step dynamics. T = T_{a}+T_{c} is a sum of action phase and
computation phase step operators. Conditions that T_{a} and T_{c} should
satisfy are given along with a description of the evolution as a sum over paths
of completed phase input and output states. A simple example of a task carrying
out a measurement on a very simple environment is analyzed. A decision tree for
the task is presented and discussed in terms of sums over phase paths. One sees
that no definite times or durations are associated with the phase steps in the
tree and that the tree describes the successive phase steps in each path in the
sum.Comment: 30 Latex pages, 3 Postscript figures, Minor mathematical corrections,
accepted for publication, Phys Rev
Cyclic networks of quantum gates
In this article initial steps in an analysis of cyclic networks of quantum
logic gates is given. Cyclic networks are those in which the qubit lines are
loops. Here we have studied one and two qubit systems plus two qubit cyclic
systems connected to another qubit on an acyclic line. The analysis includes
the group classification of networks and studies of the dynamics of the qubits
in the cyclic network and of the perturbation effects of an acyclic qubit
acting on a cyclic network. This is followed by a discussion of quantum
algorithms and quantum information processing with cyclic networks of quantum
gates, and a novel implementation of a cyclic network quantum memory. Quantum
sensors via cyclic networks are also discussed.Comment: 14 pages including 11 figures, References adde
Pattern formation in quantum Turing machines
We investigate the iteration of a sequence of local and pair unitary
transformations, which can be interpreted to result from a Turing-head
(pseudo-spin ) rotating along a closed Turing-tape ( additional
pseudo-spins). The dynamical evolution of the Bloch-vector of , which can be
decomposed into primitive pure state Turing-head trajectories, gives
rise to fascinating geometrical patterns reflecting the entanglement between
head and tape. These machines thus provide intuitive examples for quantum
parallelism and, at the same time, means for local testing of quantum network
dynamics.Comment: Accepted for publication in Phys.Rev.A, 3 figures, REVTEX fil
Efficient Implementation and the Product State Representation of Numbers
The relation between the requirement of efficient implementability and the
product state representation of numbers is examined. Numbers are defined to be
any model of the axioms of number theory or arithmetic. Efficient
implementability (EI) means that the basic arithmetic operations are physically
implementable and the space-time and thermodynamic resources needed to carry
out the implementations are polynomial in the range of numbers considered.
Different models of numbers are described to show the independence of both EI
and the product state representation from the axioms. The relation between EI
and the product state representation is examined. It is seen that the condition
of a product state representation does not imply EI. Arguments used to refute
the converse implication, EI implies a product state representation, seem
reasonable; but they are not conclusive. Thus this implication remains an open
question.Comment: Paragraph in page proof for Phys. Rev. A revise
Recommended from our members
Hamiltonian models of quantum computers which evolve quantum ballistically
Quantum computation is a subject of much recent interest. In much of the work in the literature quantum computers are described as built up from a sequence of unitary operators where each unitary operator carries out a stage of the overall quantum computation. The sequence and connection of the different unitary operators is provided presumably by some external agent which governs the overall process. However there is no description of a an overall Hamiltonian needed to give the actual quantum dynamics of the computation process. In this talk, earlier work by the author is followed in that simple, time independent Hamiltonians are used to describe quantum computation, and the Schroedinger evolution of the computation system is considered to be quantum ballistic. However, the definition of quantum ballistic evolution used here is more general than that used in the earlier work. In particular, the requirement that the step operator {ital T} associated with a process be a partial isometry, used in, is relaxed to require that {ital T} be a contraction operator. (An operator {ital T} is a partial isometry if the self-adjoint operators T{sup {dagger}}T and TT{sup {dagger}} are also projection operators.{ital T} is a contraction operator if {vert_bar}{vert_bar} {ital T} {vert_bar}{vert_bar} {<=} 1.) The main purpose of this talk is to investigate some consequences for quantum computation under this weaker requirement. It will be seen that system motion along discrete paths in a basis still occurs. However the motion occurs in ,the presence of potentials whose height and distribution along the path depends on {ital T} and the path states
A lambda calculus for quantum computation with classical control
The objective of this paper is to develop a functional programming language
for quantum computers. We develop a lambda calculus for the classical control
model, following the first author's work on quantum flow-charts. We define a
call-by-value operational semantics, and we give a type system using affine
intuitionistic linear logic. The main results of this paper are the safety
properties of the language and the development of a type inference algorithm.Comment: 15 pages, submitted to TLCA'05. Note: this is basically the work done
during the first author master, his thesis can be found on his webpage.
Modifications: almost everything reformulated; recursion removed since the
way it was stated didn't satisfy lemma 11; type inference algorithm added;
example of an implementation of quantum teleportation adde
- …