arXiv subjects

David A. Meyer

Publications and source records attributed to David A. Meyer.

59 records · Page 4Linked to original sources

arXiv1997

Quantum lattice gases and their invariants

The one particle sector of the simplest one dimensional quantum lattice gas automaton has been observed to simulate both the (relativistic) Dirac and (nonrelativistic) Schroedinger equations, in different continuum limits. By analyzing the discrete analogues of plane waves in this sector we find conserved quantities corresponding to energy and momentum. We show that the Klein paradox obtains so that in some regimes the model must be considered to be relativistic and the negative energy modes interpreted as positive energy modes of antiparticles. With a formally similar approach--the Bethe ansatz--we find the evolution eigenfunctions in the two particle sector of the quantum lattice gas automaton and conclude by discussing consequences of these calculations and their extension to more particles, additional velocities, and higher dimensions.

quant-ph↗

arXiv1996

From quantum cellular automata to quantum lattice gases

A natural architecture for nanoscale quantum computation is that of a quantum cellular automaton. Motivated by this observation, in this paper we begin an investigation of exactly unitary cellular automata. After proving that there can be no nontrivial, homogeneous, local, unitary, scalar cellular automaton in one dimension, we weaken the homogeneity condition and show that there are nontrivial, exactly unitary, partitioning cellular automata. We find a one parameter family of evolution rules which are best interpreted as those for a one particle quantum automaton. This model is naturally reformulated as a two component cellular automaton which we demonstrate to limit to the Dirac equation. We describe two generalizations of this automaton, the second of which, to multiple interacting particles, is the correct definition of a quantum lattice gas.

quant-ph↗

arXiv1996

Quantum mechanics of lattice gas automata. I. One particle plane waves and potentials

Classical lattice gas automata effectively simulate physical processes such as diffusion and fluid flow (in certain parameter regimes) despite their simplicity at the microscale. Motivated by current interest in quantum computation we recently defined quantum lattice gas automata; in this paper we initiate a project to analyze which physical processes these models can effectively simulate. Studying the single particle sector of a one dimensional quantum lattice gas we find discrete analogues of plane waves and wave packets, and then investigate their behaviour in the presence of inhomogeneous potentials.

quant-ph↗

arXiv1996

On the absence of homogeneous scalar unitary cellular automata

Failure to find homogeneous scalar unitary cellular automata (CA) in one dimension led to consideration of only ``approximately unitary'' CA---which motivated our recent proof of a No-go Lemma in one dimension. In this note we extend the one dimensional result to prove the absence of nontrivial homogeneous scalar unitary CA on Euclidean lattices in any dimension.

quant-ph↗

arXiv1996

Unitarity in one dimensional nonlinear quantum cellular automata

Unitarity of the global evolution is an extremely stringent condition on finite state models in discrete spacetime. Quantum cellular automata, in particular, are tightly constrained. In previous work we proved a simple No-go Theorem which precludes nontrivial homogeneous evolution for linear quantum cellular automata. Here we carefully define general quantum cellular automata in order to investigate the possibility that there be nontrivial homogeneous unitary evolution when the local rule is nonlinear. Since the unitary global transition amplitudes are constructed from the product of local transition amplitudes, infinite lattices require different treatment than periodic ones. We prove Unitarity Theorems for both cases, expressing the equivalence in $1+1$ dimensions of global unitarity and certain sets of constraints on the local rule, and then show that these constraints can be solved to give a variety of multiparameter families of nonlinear quantum cellular automata. The Unitarity Theorems, together with a Surjectivity Theorem for the infinite case, also imply that unitarity is decidable for one dimensional cellular automata.

quant-ph↗