1. Potential and limits to cluster state quantum computing using probabilistic gates
D. Gross, K. Kieling, J. Eisert
Phys. Rev. A 74, 042343 (2006)
http://arxiv.org/abs/quant-ph/0605014
We establish bounds to the necessary resource consumption when building up cluster states for one-way computing using probabilistic gates. Emphasis is put on state preparation with linear optical gates, as the probabilistic character is unavoidable here. We identify rigorous general bounds to the necessary consumption of initially available maximally entangled pairs when building up one-dimensional cluster states with individually acting linear optical quantum gates, entangled pairs and vacuum modes. As the known linear optics gates have a limited maximum success probability, as we show, this amounts to finding the optimal classical strategy of fusing pieces of linear cluster states. A formal notion of classical configurations and strategies is introduced for probabilistic non-faulty gates. We study the asymptotic performance of strategies that can be simply described, and prove ultimate bounds to the performance of the globally optimal strategy. The arguments employ methods of random walks and convex optimization. This optimal strategy is also the one that requires the shortest storage time, and necessitates the fewest invocations of probabilistic gates. For two-dimensional cluster states, we find, for any elementary success probability, an essentially deterministic preparation of a cluster state with quadratic, hence optimal, asymptotic scaling in the use of entangled pairs. We also identify a percolation effect in state preparation, in that from a threshold probability on, almost all preparations will be either successful or fail. We outline the implications on linear optical architectures and fault-tolerant computations.
2. Free Dirac evolution as a quantum random walk
A.J. Bracken, D. Ellinas, I. Smyrnakis
http://arxiv.org/abs/quant-ph/0605195
Any positive-energy state of a free Dirac particle that is initially highly-localized, evolves in time by spreading at speeds close to the speed of light. This general phenomenon is explained by the fact that the Dirac evolution can be approximated arbitrarily closely by a quantum random walk, where the roles of coin and walker systems are naturally attributed to the spin and position degrees of freedom of the particle. Initially entangled and spatially localized spin-position states evolve with asymptotic two-horned distributions of the position probability, familiar from earlier studies of quantum walks. For the Dirac particle, the two horns travel apart at close to the speed of light.
3. Quantum loop programs
Mingsheng Ying, Yuan Feng
Acta Informatica 47(4): 221-250 (2010)
http://arxiv.org/abs/quant-ph/0605218
Loop is a powerful program construct in classical computation, but its power is still not exploited fully in quantum computation. The exploitation of such power definitely requires a deep understanding of the mechanism of quantum loop programs. In this paper, we introduce a general scheme of quantum loops and describe its computational process. The notions of termination and almost termination are proposed for quantum loops, and the function computed by a quantum loop is defined. To show their expressive power, quantum loops are applied in describing quantum walks. Necessary and sufficient conditions for termination and almost termination of a general quantum loop on any mixed input state are presented. A quantum loop is said to be (almost) terminating if it (almost) terminates on any input state. We show that a quantum loop is almost terminating if and only if it is uniformly almost terminating. It is observed that a small disturbance either on the unitary transformation in the loop body or on the measurement in the loop guard can make any quantum loop (almost) terminating. Moreover, a representation of the function computed by a quantum loop is given in terms of finite summations of matrices. To illustrate the notions and results obtained in this paper, two simplest classes of quantum loop programs, one qubit quantum loops, and two qubit quantum loops defined by controlled gates, are carefully examined.