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

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

Spatial quantum search in a triangular network

The spatial search problem consists in minimizing the number of steps required to find a given site in a network, under the restriction that only oracle queries or translations to neighboring sites are allowed. We propose a quantum algorithm for the spatial search problem on a triangular lattice with N sites and torus-like boundary conditions. The proposed algortithm is a special case of the general framework for abstract search proposed by Ambainis, Kempe and Rivosh [AKR05] (AKR) and Tulsi [Tulsi08], applied to a triangular network. The AKR-Tulsi formalism was employed to show that the time complexity of the quantum search on the triangular lattice is O(sqrt(N logN)).Comment: 10 pages, 4 Postscript figures, uses sbc-template.sty, appeared in Annals of WECIQ 2010, III Workshop of Quantum Computation and Quantum Informatio

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 $S$) rotating along a closed Turing-tape ($M$ additional pseudo-spins). The dynamical evolution of the Bloch-vector of $S$, which can be decomposed into $2^{M}$ 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

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

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

Transmission and Spectral Aspects of Tight Binding Hamiltonians for the Counting Quantum Turing Machine

It was recently shown that a generalization of quantum Turing machines (QTMs), in which potentials are associated with elementary steps or transitions of the computation, generates potential distributions along computation paths of states in some basis B. The distributions are computable and are thus periodic or have deterministic disorder. These generalized machines (GQTMs) can be used to investigate the effect of potentials in causing reflections and reducing the completion probability of computations. This work is extended here by determination of the spectral and transmission properties of an example GQTM which enumerates the integers as binary strings. A potential is associated with just one type of step. For many computation paths the potential distributions are initial segments of a quasiperiodic distribution that corresponds to a substitution sequence. The energy band spectra and Landauer Resistance (LR) are calculated for energies below the barrier height by use of transfer matrices. The LR fluctuates rapidly with momentum with minima close to or at band-gap edges. For several values of the parameters, there is good transmission over some momentum regions.Comment: 22 pages Latex, 13 postscript figures, Submitted to Phys. Rev.

Spatial search by quantum walk

Grover's quantum search algorithm provides a way to speed up combinatorial search, but is not directly applicable to searching a physical database. Nevertheless, Aaronson and Ambainis showed that a database of N items laid out in d spatial dimensions can be searched in time of order sqrt(N) for d>2, and in time of order sqrt(N) poly(log N) for d=2. We consider an alternative search algorithm based on a continuous time quantum walk on a graph. The case of the complete graph gives the continuous time search algorithm of Farhi and Gutmann, and other previously known results can be used to show that sqrt(N) speedup can also be achieved on the hypercube. We show that full sqrt(N) speedup can be achieved on a d-dimensional periodic lattice for d>4. In d=4, the quantum walk search algorithm takes time of order sqrt(N) poly(log N), and in d<4, the algorithm does not provide substantial speedup.Comment: v2: 12 pages, 4 figures; published version, with improved arguments for the cases where the algorithm fail

Decoherence in Ion Trap Quantum Computers

The {\it intrinsic} decoherence from vibrational coupling of the ions in the Cirac-Zoller quantum computer [Phys. Rev. Lett. {\bf 74}, 4091 (1995)] is considered. Starting from a state in which the vibrational modes are at a temperature $T$, and each ion is in a superposition of an excited and a ground state, an adiabatic approximation is used to find the inclusive probability $P(t)$ for the ions to evolve as they would without the vibrations, and for the vibrational modes to evolve into any final state. An analytic form is found for $P(t)$ at $T=0$, and the decoherence time is found for all $T$. The decoherence is found to be quite small, even for 1000 ions.Comment: 11 pages, no figures, uses revte