Showing 1–50 of 52 results for author: Meyer, D A

Mean Field Approximation for Identical Bosons on the Complete Graph

Authors: Alexander Meill, David A. Meyer

Abstract: Non-linear dynamics in the quantum random walk setting have been shown to enable conditional speedup of Grover's algorithm. We examine the mean field approximation required for the use of the Gross-Pitaevskii equation on identical bosons evolving on the complete graph. We show that the states of such systems are parameterized by the basis of Young diagrams and determine their one- and two-party ma… ▽ More Non-linear dynamics in the quantum random walk setting have been shown to enable conditional speedup of Grover's algorithm. We examine the mean field approximation required for the use of the Gross-Pitaevskii equation on identical bosons evolving on the complete graph. We show that the states of such systems are parameterized by the basis of Young diagrams and determine their one- and two-party marginals. We find that isolated particles are required for good agreement with the mean field approximation, proving that without isolated particles the matrix fidelity agreement is bounded from above by $1/2$. △ Less

Submitted 31 October, 2019; originally announced October 2019.

Comments: 9 pages

Pairwise Concurrence in Cyclically Symmetric Quantum States

Authors: Alexander Meill, David A. Meyer

Abstract: We provide an initial characterization of pairwise concurrence in quantum states which are invariant under cyclic permutations of party labeling. We prove that maximal entanglement can be entirely described by adjacent pairs, then give explicit descriptions of those states in specific subsets of 4 and 5 qubit states - X states. We also construct a monogamy bound on shared concurrences in the same… ▽ More We provide an initial characterization of pairwise concurrence in quantum states which are invariant under cyclic permutations of party labeling. We prove that maximal entanglement can be entirely described by adjacent pairs, then give explicit descriptions of those states in specific subsets of 4 and 5 qubit states - X states. We also construct a monogamy bound on shared concurrences in the same subsets in 4 and 5 qubits, finding that above non-maximal entanglement thresholds, no other entanglements are possible. △ Less

Submitted 18 September, 2019; v1 submitted 19 February, 2018; originally announced February 2018.

Comments: 9 pages, 7 figures

Journal ref: Phys. Rev. A 100, 042318 (2019)

Entanglement Constraints on States Locally Connected to the Greenberger-Horne-Zeilinger State

Authors: Grant W. Allen, Orest Bucicovschi, David A. Meyer

Abstract: The multi-qubit GHZ state possesses tangles with elegant transformation properties under stochastic local operations and classical communication. Since almost all pure 3-qubit states are connected to the GHZ state via SLOCC, we derive a necessary and sufficient achievability inequality on arbitrary 3-qubit tangles, which is a strictly stronger constraint than both the monogamy inequality and the m… ▽ More The multi-qubit GHZ state possesses tangles with elegant transformation properties under stochastic local operations and classical communication. Since almost all pure 3-qubit states are connected to the GHZ state via SLOCC, we derive a necessary and sufficient achievability inequality on arbitrary 3-qubit tangles, which is a strictly stronger constraint than both the monogamy inequality and the marginal eigenvalue inequality. We then show that entanglement shared with any single party in the n-qubit GHZ SLOCC equivalence class is precisely accounted for by the sum of its k-tangles, recently coined the strong monogamy equality, acknowledging competing but agreeing definitions of the k-tangle on this class, one of which is then computable for arbitrary mixed states. Strong monogamy is known to not hold arbitrarily, and so we introduce a unifying outlook on entanglement constraints in light of basic real algebraic geometry. △ Less

Submitted 14 September, 2017; originally announced September 2017.

Comments: 10 pages, 3 figures

Symmetric 3 Qubit State Invariants

Authors: Alexander Meill, David A. Meyer

Abstract: For pure symmetric 3-qubit states there are only three algebraically independent entanglement measures; one choice is the pairwise concurrence $\mathcal C$, the 3-tangle $τ$, and the Kempe invariant $κ$. Using a canonical form for symmetric $N$-qubit states derived from their Majorana representation, we derive the explicit achievable region of triples $(\mathcal C,τ,κ)$. For pure symmetric 3-qubit states there are only three algebraically independent entanglement measures; one choice is the pairwise concurrence $\mathcal C$, the 3-tangle $τ$, and the Kempe invariant $κ$. Using a canonical form for symmetric $N$-qubit states derived from their Majorana representation, we derive the explicit achievable region of triples $(\mathcal C,τ,κ)$. △ Less

Submitted 6 November, 2017; v1 submitted 23 February, 2017; originally announced February 2017.

Comments: 5 pages, 2 figures

Journal ref: Phys. Rev. A 96, 062310 (2017)

Irreconcilable Difference Between Quantum Walks and Adiabatic Quantum Computing

Authors: Thomas G. Wong, David A. Meyer

Abstract: Continuous-time quantum walks and adiabatic quantum evolution are two general techniques for quantum computing, both of which are described by Hamiltonians that govern their evolutions by Schrödinger's equation. In the former, the Hamiltonian is fixed, while in the latter, the Hamiltonian varies with time. As a result, their formulations of Grover's algorithm evolve differently through Hilbert spa… ▽ More Continuous-time quantum walks and adiabatic quantum evolution are two general techniques for quantum computing, both of which are described by Hamiltonians that govern their evolutions by Schrödinger's equation. In the former, the Hamiltonian is fixed, while in the latter, the Hamiltonian varies with time. As a result, their formulations of Grover's algorithm evolve differently through Hilbert space. We show that this difference is fundamental; they cannot be made to evolve along each other's path without introducing structure more powerful than the standard oracle for unstructured search. For an adiabatic quantum evolution to evolve like the quantum walk search algorithm, it must interpolate between three fixed Hamiltonians, one of which is complex and introduces structure that is stronger than the oracle for unstructured search. Conversely, for a quantum walk to evolve along the path of the adiabatic search algorithm, it must be a chiral quantum walk on a weighted, directed star graph with structure that is also stronger than the oracle for unstructured search. Thus the two techniques, although similar in being described by Hamiltonians that govern their evolution, compute by fundamentally irreconcilable means. △ Less

Submitted 19 May, 2016; v1 submitted 17 March, 2016; originally announced March 2016.

Comments: 8 pages, 4 figures

Journal ref: Phys. Rev. A 93, 062313 (2016)

Estimating an Activity Driven Hidden Markov Model

Authors: David A. Meyer, Asif Shakeel

Abstract: We define a Hidden Markov Model (HMM) in which each hidden state has time-dependent $\textit{activity levels}$ that drive transitions and emissions, and show how to estimate its parameters. Our construction is motivated by the problem of inferring human mobility on sub-daily time scales from, for example, mobile phone records. We define a Hidden Markov Model (HMM) in which each hidden state has time-dependent $\textit{activity levels}$ that drive transitions and emissions, and show how to estimate its parameters. Our construction is motivated by the problem of inferring human mobility on sub-daily time scales from, for example, mobile phone records. △ Less

Submitted 27 July, 2015; originally announced July 2015.

Comments: 13 pages, 2 figures

Expansive maps are isometries

Authors: Orest Bucicovschi, David A. Meyer

Abstract: We show that expansive maps from a dense subset of a compact metric space into the metric space itself are isometries We show that expansive maps from a dense subset of a compact metric space into the metric space itself are isometries △ Less

Submitted 7 July, 2015; originally announced July 2015.

Comments: 2 pages

MSC Class: 51K05

Quantum cellular automata without particles

Authors: David A. Meyer, Asif Shakeel

Abstract: Quantum cellular automata (QCA) constitute space and time homogeneous discrete models for quantum field theories (QFTs). Although QFTs are defined without reference to particles, computations are done in terms of Feynman diagrams, which are explicitly interpreted in terms of interacting particles. Similarly, the easiest QCA to construct are quantum lattice gas automata (QLGA). A natural question t… ▽ More Quantum cellular automata (QCA) constitute space and time homogeneous discrete models for quantum field theories (QFTs). Although QFTs are defined without reference to particles, computations are done in terms of Feynman diagrams, which are explicitly interpreted in terms of interacting particles. Similarly, the easiest QCA to construct are quantum lattice gas automata (QLGA). A natural question then is, which QCA are not QLGA? Here we construct a non-trivial example of such a QCA; it provides a simple model in $1+1$ dimensions with no particle interpretation at the scale where the QCA dynamics are homogeneous. △ Less

Submitted 21 January, 2016; v1 submitted 4 June, 2015; originally announced June 2015.

Comments: 8 pages, 2 figures. Physical Review A version. Expanded introduction and background

MSC Class: 68Q12; 68Q80

Journal ref: Phys. Rev. A 93, 012333 (2016)

Distinguishing symmetric quantum oracles and quantum group multiplication

Authors: Orest Bucicovschi, Daniel Copeland, David A. Meyer, James Pommersheim

Abstract: Given a unitary representation of a finite group on a finite-dimensional Hilbert space, we show how to find a state whose translates under the group are distinguishable with the highest probability. We apply this to several quantum oracle problems, including the GROUP MULTIPLICATION problem, in which the product of an ordered $n$-tuple of group elements is to be determined by querying elements of… ▽ More Given a unitary representation of a finite group on a finite-dimensional Hilbert space, we show how to find a state whose translates under the group are distinguishable with the highest probability. We apply this to several quantum oracle problems, including the GROUP MULTIPLICATION problem, in which the product of an ordered $n$-tuple of group elements is to be determined by querying elements of the tuple. For any finite group $G$, we give an algorithm to find the product of two elements of $G$ with a single quantum query with probability $2/|G|$. This generalizes Deutsch's Algorithm from $Z_2$ to an arbitrary finite group. We further prove that this algorithm is optimal. We also introduce the HIDDEN CONJUGATING ELEMENT PROBLEM, in which the oracle acts by conjugating by an unknown element of the group. We show that for many groups, including dihedral and symmetric groups, the unknown element can be determined with probability $1$ using a single quantum query. △ Less

Submitted 18 March, 2015; originally announced March 2015.

Comments: 17 pages

MSC Class: 81P68

Completeness is Unnecessary for Fast Nonlinear Quantum Search

Authors: David A. Meyer, Thomas G. Wong

Abstract: Although strongly regular graphs and the hypercube are not complete, they are "sufficiently complete" such that a randomly walking quantum particle asymptotically searches on them in the same $Θ(\sqrt{N})$ time as on the complete graph, the latter of which is precisely Grover's algorithm. We show that physically realistic nonlinearities of the form $f(|ψ|^2)ψ$ can speed up search on sufficiently c… ▽ More Although strongly regular graphs and the hypercube are not complete, they are "sufficiently complete" such that a randomly walking quantum particle asymptotically searches on them in the same $Θ(\sqrt{N})$ time as on the complete graph, the latter of which is precisely Grover's algorithm. We show that physically realistic nonlinearities of the form $f(|ψ|^2)ψ$ can speed up search on sufficiently complete graphs, depending on the nonlinearity and graph. Thus nonlinear (quantum) computation can retain its power even when a degree of noncompleteness is introduced. △ Less

Submitted 22 February, 2015; originally announced February 2015.

Comments: 6 pages, 6 figures

Polynomial Monogamy Relations for Entanglement Negativity

Authors: Grant W. Allen, David A. Meyer

Abstract: The notion of non-classical correlations is a powerful contrivance for explaining phenomena exhibited in quantum systems. It is well known, however, that quantum systems are not free to explore arbitrary correlations---the church of the smaller Hilbert space only accepts monogamous congregants. We demonstrate how to characterize the limits of what is quantum mechanically possible with a computable… ▽ More The notion of non-classical correlations is a powerful contrivance for explaining phenomena exhibited in quantum systems. It is well known, however, that quantum systems are not free to explore arbitrary correlations---the church of the smaller Hilbert space only accepts monogamous congregants. We demonstrate how to characterize the limits of what is quantum mechanically possible with a computable measure, entanglement negativity. We show that negativity only saturates the standard linear monogamy inequality in trivial cases implied by its monotonicity under LOCC, and derive a necessary and sufficient inequality which, for the first time, is a non-linear higher degree polynomial. For very large quantum systems, we prove that the negativity can be distributed at least linearly for the tightest constraint and conjecture that it is at most linear. △ Less

Submitted 5 March, 2017; v1 submitted 17 February, 2015; originally announced February 2015.

Comments: 5 pages, 3 figures

Journal ref: Phys. Rev. Lett. 118, 080402 (2017)

Connectivity is a Poor Indicator of Fast Quantum Search

Authors: David A. Meyer, Thomas G. Wong

Abstract: A randomly walking quantum particle evolving by Schrödinger's equation searches on $d$-dimensional cubic lattices in $O(\sqrt{N})$ time when $d \ge 5$, and with progressively slower runtime as $d$ decreases. This suggests that graph connectivity (including vertex, edge, algebraic, and normalized algebraic connectivities) is an indicator of fast quantum search, a belief supported by fast quantum se… ▽ More A randomly walking quantum particle evolving by Schrödinger's equation searches on $d$-dimensional cubic lattices in $O(\sqrt{N})$ time when $d \ge 5$, and with progressively slower runtime as $d$ decreases. This suggests that graph connectivity (including vertex, edge, algebraic, and normalized algebraic connectivities) is an indicator of fast quantum search, a belief supported by fast quantum search on complete graphs, strongly regular graphs, and hypercubes, all of which are highly connected. In this paper, we show this intuition to be false by giving two examples of graphs for which the opposite holds true: one with low connectivity but fast search, and one with high connectivity but slow search. The second example is a novel two-stage quantum walk algorithm in which the walking rate must be adjusted to yield high search probability. △ Less

Submitted 21 February, 2015; v1 submitted 20 September, 2014; originally announced September 2014.

Comments: 5 pages, 9 figures; additional 10 pages of supplemental material

Journal ref: Phys. Rev. Lett. 114, 110503 (2015)

A Model of Consistent Node Types in Signed Directed Social Networks

Authors: Dong** Song, David A. Meyer

Abstract: Signed directed social networks, in which the relationships between users can be either positive (indicating relations such as trust) or negative (indicating relations such as distrust), are increasingly common. Thus the interplay between positive and negative relationships in such networks has become an important research topic. Most recent investigations focus upon edge sign inference using stru… ▽ More Signed directed social networks, in which the relationships between users can be either positive (indicating relations such as trust) or negative (indicating relations such as distrust), are increasingly common. Thus the interplay between positive and negative relationships in such networks has become an important research topic. Most recent investigations focus upon edge sign inference using structural balance theory or social status theory. Neither of these two theories, however, can explain an observed edge sign well when the two nodes connected by this edge do not share a common neighbor (e.g., common friend). In this paper we develop a novel approach to handle this situation by applying a new model for node types. Initially, we analyze the local node structure in a fully observed signed directed network, inferring underlying node types. The sign of an edge between two nodes must be consistent with their types; this explains edge signs well even when there are no common neighbors. We show, moreover, that our approach can be extended to incorporate directed triads, when they exist, just as in models based upon structural balance or social status theory. We compute Bayesian node types within empirical studies based upon partially observed Wikipedia, Slashdot, and Epinions networks in which the largest network (Epinions) has 119K nodes and 841K edges. Our approach yields better performance than state-of-the-art approaches for these three signed directed networks. △ Less

Submitted 28 August, 2014; originally announced August 2014.

Comments: To appear in the IEEE/ACM International Conference on Advances in Social Network Analysis and Mining (ASONAM), 2014

A quantum algorithm for Viterbi decoding of classical convolutional codes

Authors: Jon R. Grice, David A. Meyer

Abstract: We present a quantum Viterbi algorithm (QVA) with better than classical performance under certain conditions. In this paper the proposed algorithm is applied to decoding classical convolutional codes, for instance; large constraint length $Q$ and short decode frames $N$. Other applications of the classical Viterbi algorithm where $Q$ is large (e.g. speech processing) could experience significant s… ▽ More We present a quantum Viterbi algorithm (QVA) with better than classical performance under certain conditions. In this paper the proposed algorithm is applied to decoding classical convolutional codes, for instance; large constraint length $Q$ and short decode frames $N$. Other applications of the classical Viterbi algorithm where $Q$ is large (e.g. speech processing) could experience significant speedup with the QVA. The QVA exploits the fact that the decoding trellis is similar to the butterfly diagram of the fast Fourier transform, with its corresponding fast quantum algorithm. The tensor-product structure of the butterfly diagram corresponds to a quantum superposition that we show can be efficiently prepared. The quantum speedup is possible because the performance of the QVA depends on the fanout (number of possible transitions from any given state in the hidden Markov model) which is in general much less than $Q$. The QVA constructs a superposition of states which correspond to all legal paths through the decoding lattice, with phase a function of the probability of the path being taken given received data. A specialized amplitude amplification procedure is applied one or more times to recover a superposition where the most probable path has a high probability of being measured. △ Less

Submitted 20 June, 2015; v1 submitted 29 May, 2014; originally announced May 2014.

History Dependent Quantum Random Walks as Quantum Lattice Gas Automata

Authors: Asif Shakeel, David A. Meyer, Peter J. Love

Abstract: Quantum Random Walks (QRW) were first defined as one-particle sectors of Quantum Lattice Gas Automata (QLGA). Recently, they have been generalized to include history dependence, either on previous coin (internal, i.e., spin or velocity) states or on previous position states. These models have the goal of studying the transition to classicality, or more generally, changes in the performance of quan… ▽ More Quantum Random Walks (QRW) were first defined as one-particle sectors of Quantum Lattice Gas Automata (QLGA). Recently, they have been generalized to include history dependence, either on previous coin (internal, i.e., spin or velocity) states or on previous position states. These models have the goal of studying the transition to classicality, or more generally, changes in the performance of quantum walks in algorithmic applications. We show that several history dependent QRW can be identified as one-particle sectors of QLGA. This provides a unifying conceptual framework for these models in which the extra degrees of freedom required to store the history information arise naturally as geometrical degrees of freedom on the lattice. △ Less

Submitted 5 May, 2014; originally announced May 2014.

Comments: 18 pages, 3 figures

MSC Class: 81P68 (Primary) 68Q80 (Secondary)

Global Symmetry is Unnecessary for Fast Quantum Search

Authors: Jonatan Janmark, David A. Meyer, Thomas G. Wong

Abstract: Grover's quantum search algorithm can be formulated as a quantum particle randomly walking on the (highly symmetric) complete graph, with one vertex marked by a nonzero potential. From an initial equal superposition, the state evolves in a two-dimensional subspace. Strongly regular graphs have a local symmetry that ensures that the state evolves in a \emph{three}-dimensional subspace, but most hav… ▽ More Grover's quantum search algorithm can be formulated as a quantum particle randomly walking on the (highly symmetric) complete graph, with one vertex marked by a nonzero potential. From an initial equal superposition, the state evolves in a two-dimensional subspace. Strongly regular graphs have a local symmetry that ensures that the state evolves in a \emph{three}-dimensional subspace, but most have no \emph{global} symmetry. Using degenerate perturbation theory, we show that quantum random walk search on known families of strongly regular graphs nevertheless achieves the full quantum speedup of $Θ(\sqrt{N})$, disproving the intuition that fast quantum search requires global symmetry. △ Less

Submitted 19 May, 2014; v1 submitted 10 March, 2014; originally announced March 2014.

Comments: 4 pages, 2 figures

Journal ref: Phys. Rev. Lett. 112, 210502 (2014)

Quantum Search with General Nonlinearities

Authors: David A. Meyer, Thomas G. Wong

Abstract: Evolution by the Gross-Pitaevskii equation, which describes Bose-Einstein condensates under certain conditions, solves the unstructured search problem more efficiently than does the Schrödinger equation, because it includes a cubic nonlinearity, proportional to $|ψ|^2ψ$. This is not the only nonlinearity of the form $f(|ψ|^2)ψ$ that arises in effective equations for the evolution of real quantum p… ▽ More Evolution by the Gross-Pitaevskii equation, which describes Bose-Einstein condensates under certain conditions, solves the unstructured search problem more efficiently than does the Schrödinger equation, because it includes a cubic nonlinearity, proportional to $|ψ|^2ψ$. This is not the only nonlinearity of the form $f(|ψ|^2)ψ$ that arises in effective equations for the evolution of real quantum physical systems, however: The cubic-quintic nonlinear Schrödinger equation describes light propagation in nonlinear Kerr media with defocusing corrections, and the logarithmic nonlinear Schrödinger equation describes Bose liquids under certain conditions. Analysis of computation with such systems yields some surprising results; for example, when time-measurement precision is included in the resource accounting, searching a "database" when there is a single correct answer may be easier than searching when there are multiple correct answers. In each of these cases the nonlinear equation is an effective approximation to a multi-particle Schrödinger equation, for search by which Grover's algorithm is optimal. Thus our results lead to quantum information-theoretic bounds on the physical resources required for these effective nonlinear theories to hold, asymptotically. △ Less

Submitted 12 December, 2013; v1 submitted 27 October, 2013; originally announced October 2013.

Comments: 30 pages, 7 figures

Journal ref: Phys. Rev. A 89, 012312 (2014)

Observation of a low-lying neutron-unbound state in 19C

Authors: M. Thoennessen, S. Mosby, N. S. Badger, T. Baumann, D. Bazin, M. Bennett, J. Brown, G. Christian, P. A. DeYoung, J. E. Finck, M. Gardner, E. A. Hook, B. Luther, D. A. Meyer, M. Mosby, W. F. Rogers, J. K. Smith, A. Spyrou, M. J. Strongman

Abstract: Proton removal reactions from a secondary 22N beam were utilized to populate unbound states in neutron-rich carbon isotopes. Neutrons were measured with the Modular Neutron Array (MoNA) in coincidence with carbon fragments. A resonance with a decay energy of 76(14) keV was observed in the system 18C+n corresponding to a state in 19C at an excitation energy of 653(95)keV. This resonance could corre… ▽ More Proton removal reactions from a secondary 22N beam were utilized to populate unbound states in neutron-rich carbon isotopes. Neutrons were measured with the Modular Neutron Array (MoNA) in coincidence with carbon fragments. A resonance with a decay energy of 76(14) keV was observed in the system 18C+n corresponding to a state in 19C at an excitation energy of 653(95)keV. This resonance could correspond to the first 5/2+ state which was recently speculated to be unbound in order to describe 1n and 2n removal cross section measurements from 20C. △ Less

Submitted 3 May, 2013; originally announced May 2013.

Comments: accepted for publication in Nucl. Phys. A

Search for $^{21}$C and constraints on $^{22}$C

Authors: S. Mosby, N. S. Badger, T. Baumann, D. Bazin, M. Bennett, J. Brown, G. Christian, P. A. DeYoung, J. E. Finck, M. Gardner, J. D. Hinnefeld, E. A. Hook, E. M. Lunderberg, B. Luther, D. A. Meyer, M. Mosby, G. F. Peaslee, W. F. Rogers, J. K. Smith, J. Snyder, A. Spyrou, M. J. Strongman, M. Thoennessen

Abstract: A search for the neutron-unbound nucleus $^{21}$C was performed via the single proton removal reaction from a beam of 22 N at 68 MeV/u. Neutrons were detected with the Modular Neutron Array (MoNA) in coincidence with $^{20}$C fragments. No evidence for a low-lying state was found, and the reconstructed $^{20}$C+n decay energy spectrum could be described with an s-wave line shape with a scattering… ▽ More A search for the neutron-unbound nucleus $^{21}$C was performed via the single proton removal reaction from a beam of 22 N at 68 MeV/u. Neutrons were detected with the Modular Neutron Array (MoNA) in coincidence with $^{20}$C fragments. No evidence for a low-lying state was found, and the reconstructed $^{20}$C+n decay energy spectrum could be described with an s-wave line shape with a scattering length limit of |as| < 2.8 fm, consistent with shell model predictions. A comparison with a renormalized zero-range three-body model suggests that $^{22}$C is bound by less than 70 keV. △ Less

Submitted 16 April, 2013; originally announced April 2013.

Comments: Accepted for publication in Nuclear Physics A

Nonlinear Quantum Search Using the Gross-Pitaevskii Equation

Authors: David A. Meyer, Thomas G. Wong

Abstract: We solve the unstructured search problem in constant time by computing with a physically motivated nonlinearity of the Gross-Pitaevskii type. This speedup comes, however, at the novel expense of increasing the time-measurement precision. Jointly optimizing these resource requirements results in an overall scaling of $N^{1/4}$. This is a significant, but not unreasonable, improvement over the… ▽ More We solve the unstructured search problem in constant time by computing with a physically motivated nonlinearity of the Gross-Pitaevskii type. This speedup comes, however, at the novel expense of increasing the time-measurement precision. Jointly optimizing these resource requirements results in an overall scaling of $N^{1/4}$. This is a significant, but not unreasonable, improvement over the $N^{1/2}$ scaling of Grover's algorithm. Since the Gross-Pitaevskii equation approximates the multi-particle (linear) Schrödinger equation, for which Grover's algorithm is optimal, our result leads to a quantum information-theoretic lower bound on the number of particles needed for this approximation to hold, asymptotically. △ Less

Submitted 13 June, 2013; v1 submitted 2 March, 2013; originally announced March 2013.

Comments: 15 pages, 6 figures

Journal ref: New J. Phys. 15 (2013) 063014

Discrete Quantum Control - State Preparation

Authors: Jon R. Grice, David A. Meyer

Abstract: A discrete-time method for solving problems in optimal quantum control is presented. Controlling the time discretized markovian dynamics of a quantum system can be reduced to a Markov-decision process. We demonstrate this method in this with a class of simple one qubit systems, which are also discretized in space. For the task of state preparation we solve the examples both numerically and analyti… ▽ More A discrete-time method for solving problems in optimal quantum control is presented. Controlling the time discretized markovian dynamics of a quantum system can be reduced to a Markov-decision process. We demonstrate this method in this with a class of simple one qubit systems, which are also discretized in space. For the task of state preparation we solve the examples both numerically and analytically with dynamic programming techniques. △ Less

Submitted 4 June, 2012; v1 submitted 28 April, 2012; originally announced April 2012.

Multi-query quantum sums

Authors: David A. Meyer, James Pommersheim

Abstract: PARITY is the problem of determining the parity of a string $f$ of $n$ bits given access to an oracle that responds to a query $x\in\{0,1,...,n-1\}$ with the $x^{\rm th}$ bit of the string, $f(x)$. Classically, $n$ queries are required to succeed with probability greater than 1/2 (assuming equal prior probabilities for all length $n$ bitstrings), but only $\lceil n/2\rceil$ quantum queries suffice… ▽ More PARITY is the problem of determining the parity of a string $f$ of $n$ bits given access to an oracle that responds to a query $x\in\{0,1,...,n-1\}$ with the $x^{\rm th}$ bit of the string, $f(x)$. Classically, $n$ queries are required to succeed with probability greater than 1/2 (assuming equal prior probabilities for all length $n$ bitstrings), but only $\lceil n/2\rceil$ quantum queries suffice to determine the parity with probability 1. We consider a generalization to strings $f$ of $n$ elements of $\Z_k$ and the problem of determining $\sum f(x)$. By constructing an explicit algorithm, we show that $n-r$ ($n\ge r\in\N$) entangled quantum queries suffice to compute the sum correctly with worst case probability $\min\{\lfloor n/r\rfloor/k,1\}$. This quantum algorithm utilizes the $n-r$ queries sequentially and adaptively, like Grover's algorithm, but in a different way that is not amplitude amplification. △ Less

Submitted 11 July, 2011; originally announced July 2011.

Comments: 11 pages, 1 figure; presented at TQC 2011

On the uselessness of quantum queries

Authors: David A. Meyer, James Pommersheim

Abstract: Given a prior probability distribution over a set of possible oracle functions, we define a number of queries to be useless for determining some property of the function if the probability that the function has the property is unchanged after the oracle responds to the queries. A familiar example is the parity of a uniformly random Boolean-valued function over $\{1,2,...,N\}$, for which $N-1$ cla… ▽ More Given a prior probability distribution over a set of possible oracle functions, we define a number of queries to be useless for determining some property of the function if the probability that the function has the property is unchanged after the oracle responds to the queries. A familiar example is the parity of a uniformly random Boolean-valued function over $\{1,2,...,N\}$, for which $N-1$ classical queries are useless. We prove that if $2k$ classical queries are useless for some oracle problem, then $k$ quantum queries are also useless. For such problems, which include classical threshold secret sharing schemes, our result also gives a new way to obtain a lower bound on the quantum query complexity, even in cases where neither the function nor the property to be determined is Boolean. △ Less

Submitted 8 April, 2010; originally announced April 2010.

Lattice gas simulations of dynamical geometry in two dimensions

Authors: Anna Klales, Donato Cianci, Zachary Needell, David A. Meyer, Peter J. Love

Abstract: We present a hydrodynamic lattice gas model for two-dimensional flows on curved surfaces with dynamical geometry. This model is an extension to two dimensions of the dynamical geometry lattice gas model previously studied in one-dimension. We expand upon a variation of the two-dimensional flat space FHP model created by Frisch, Hasslacher and Pomeau, and independently by Wolfram, and modified by… ▽ More We present a hydrodynamic lattice gas model for two-dimensional flows on curved surfaces with dynamical geometry. This model is an extension to two dimensions of the dynamical geometry lattice gas model previously studied in one-dimension. We expand upon a variation of the two-dimensional flat space FHP model created by Frisch, Hasslacher and Pomeau, and independently by Wolfram, and modified by Boghosian, Love, and Meyer. We define a hydrodynamic lattice gas model on an arbitrary triangulation, whose flat space limit is the FHP model. Rules that change the geometry are constructed using the Pachner moves, which alter the triangulation but not the topology. We present results on the growth of the number of triangles as a function of time. Simulations show that the number of triangles lattice grows with time as the cube root of the number of time steps, in agreement a mean field prediction. We also present preliminary results on the distribution of curvature over a typical triangulation for these simulations. △ Less

Submitted 25 February, 2010; originally announced February 2010.

Single query learning from abelian and non-abelian Hamming distance oracles

Authors: David A. Meyer, James Pommersheim

Abstract: We study the problem of identifying an n-bit string using a single quantum query to an oracle that computes the Hamming distance between the query and hidden strings. The standard action of the oracle on a response register of dimension r is by powers of the cycle (1...r), all of which, of course, commute. We introduce a new model for the action of an oracle--by general permutations in S_r--and… ▽ More We study the problem of identifying an n-bit string using a single quantum query to an oracle that computes the Hamming distance between the query and hidden strings. The standard action of the oracle on a response register of dimension r is by powers of the cycle (1...r), all of which, of course, commute. We introduce a new model for the action of an oracle--by general permutations in S_r--and explore how the success probability depends on r and on the map from Hamming distances to permutations. In particular, we prove that when r = 2, for even n the success probability is 1 with the right choice of the map, while for odd n the success probability cannot be 1 for any choice. Furthermore, for small odd n and r = 3, we demonstrate numerically that the image of the optimal map generates a non-abelian group of permutations. △ Less

Submitted 3 December, 2009; originally announced December 2009.

Comments: 14 pages

Negative Refraction Gives Rise to the Klein Paradox

Authors: Durdu O. Guney, David A. Meyer

Abstract: Electromagnetic negative refraction in metamaterials has attracted increasingly great interest, since its first experimental verification in 2001. It potentially leads to the applications superior to conventional devices including compact antennas for mobile stations, imaging beyond the diffraction limit, and high-resolution radars, not to mention the anamolous wave propagation in fundamental op… ▽ More Electromagnetic negative refraction in metamaterials has attracted increasingly great interest, since its first experimental verification in 2001. It potentially leads to the applications superior to conventional devices including compact antennas for mobile stations, imaging beyond the diffraction limit, and high-resolution radars, not to mention the anamolous wave propagation in fundamental optics. Here, we report how metamaterials could be used to simulate the "negative refraction of spin-zero particles interacting with a strong potential barrier", which gives rise to the Klein paradox--a counterintuitive relativistic process. We address the underlying physics of analogous wave propagation behaviours in those two entirely different domains of quantum and classical. △ Less

Submitted 1 July, 2009; originally announced July 2009.

Comments: 4 journal pages, 2 figures

Journal ref: Phys. Rev. A 79, 063834 (2009)

Faster transport with a directed quantum walk

Authors: Stephan Hoyer, David A. Meyer

Abstract: We give the first example of faster transport with a quantum walk on an inherently directed graph, on the directed line with a variable number of self-loops at each vertex. These self-loops can be thought of as adding a number of small dimensions. This is a discrete time quantum walk using the Fourier transform coin, where the walk proceeds a distance $Θ(1)$ in constant time compared to… ▽ More We give the first example of faster transport with a quantum walk on an inherently directed graph, on the directed line with a variable number of self-loops at each vertex. These self-loops can be thought of as adding a number of small dimensions. This is a discrete time quantum walk using the Fourier transform coin, where the walk proceeds a distance $Θ(1)$ in constant time compared to $Θ(1/n)$ classically, independent of the number of these small dimensions. The analysis proceeds by reducing this walk to a walk with a two dimensional coin. △ Less

Submitted 21 January, 2009; v1 submitted 8 January, 2009; originally announced January 2009.

Comments: 3 pages, 2 figures. To be published in Phys. Rev. A. v2: Minor wording changes. For Mathematica simulation source, see http://panic.berkeley.edu/~shoyer/

Journal ref: Phys. Rev. A 79, 024307 (2009)

Integrated Conditional Teleportation and Readout Circuit Based on a Photonic Crystal Single Chip

Authors: Durdu Ö. Güney, David A. Meyer

Abstract: We demonstrate the design of an integrated conditional quantum teleportation circuit and a readout circuit using a two-dimensional photonic crystal single chip. Fabrication and testing of the proposed quantum circuit can be accomplished with current or near future semiconductor process technology and experimental techniques. The readout part of our device, which has potential for independent use… ▽ More We demonstrate the design of an integrated conditional quantum teleportation circuit and a readout circuit using a two-dimensional photonic crystal single chip. Fabrication and testing of the proposed quantum circuit can be accomplished with current or near future semiconductor process technology and experimental techniques. The readout part of our device, which has potential for independent use as an atomic interferometer, can also be used on its own or integrated with other compatible optical circuits to achieve atomic state detection. Further improvement of the device in terms of compactness and robustness could be achieved by integrating it with sources and detectors in the optical regime. △ Less

Submitted 6 May, 2006; originally announced May 2006.

Comments: 16 pages, 5 figures, submitted to the J. Opt. Soc. Am. B feature issue on Optical Quantum-Information Science

Journal ref: J. Opt. Soc. Am. B 24, 391-397 (2007)

Creation of Entanglement and Implementation of Quantum Logic Gate Operations Using a Three-Dimensional Photonic Crystal Single-Mode Cavity

Authors: Durdu Ö. Güney, David A. Meyer

Abstract: We solve the Jaynes-Cummings Hamiltonian with time-dependent coupling parameters under dipole and rotating-wave approximation for a three-dimensional (3D) photonic crystal (PC) single mode cavity with a sufficiently high quality (Q) factor. We then exploit the results to show how to create a maximally entangled state of two atoms, and how to implement several quantum logic gates: a dual-rail Had… ▽ More We solve the Jaynes-Cummings Hamiltonian with time-dependent coupling parameters under dipole and rotating-wave approximation for a three-dimensional (3D) photonic crystal (PC) single mode cavity with a sufficiently high quality (Q) factor. We then exploit the results to show how to create a maximally entangled state of two atoms, and how to implement several quantum logic gates: a dual-rail Hadamard gate, a dual-rail NOT gate, and a SWAP gate. The atoms in all of these operations are syncronized, which is not the case in previous studies [1,2] in PCs. Our method has the potential for extension to N-atom entanglement, universal quantum logic operations, and the implementation of other useful, cavity QED based quantum information processing tasks. △ Less

Submitted 11 March, 2006; v1 submitted 10 March, 2006; originally announced March 2006.

Comments: 18 pages, 13 figures

Journal ref: J. Opt. Soc. Am. B 24, 283-294 (2007)

Periodicity and Growth in a Lattice Gas with Dynamical Geometry

Authors: Karin Baur, Jeffrey M. Rabin, David A. Meyer

Abstract: We study a one-dimensional lattice gas "dynamical geometry model" in which local reversible interactions of counter-rotating groups of particles on a ring can create or destroy lattice sites. We exhibit many periodic orbits and and show that all other solutions have asymptotically growing lattice length in both directions of time. We explain why the length grows as $\sqrt{t}$ in all cases examin… ▽ More We study a one-dimensional lattice gas "dynamical geometry model" in which local reversible interactions of counter-rotating groups of particles on a ring can create or destroy lattice sites. We exhibit many periodic orbits and and show that all other solutions have asymptotically growing lattice length in both directions of time. We explain why the length grows as $\sqrt{t}$ in all cases examined. We completely solve the dynamics for small numbers of particles with arbitrary initial conditions. △ Less

Submitted 30 June, 2005; originally announced June 2005.

Comments: 18 pages, LaTeX

Journal ref: Phys.Rev.E73:026129,2006

Lattice-gas simulations of dynamical geometry in one dimension

Authors: Peter J. Love, Bruce M. Boghosian, David A. Meyer

Abstract: We present numerical results obtained using a lattice-gas model with dynamical geometry defined by Hasslacher and Meyer (Int. J. Mod. Phys. C. 9 1597 (1998)). The (irreversible) macroscopic behaviour of the geometry (size) of the lattice is discussed in terms of a simple scaling theory and obtained numerically. The emergence of irreversible behaviour from the reversible microscopic lattice-gas r… ▽ More We present numerical results obtained using a lattice-gas model with dynamical geometry defined by Hasslacher and Meyer (Int. J. Mod. Phys. C. 9 1597 (1998)). The (irreversible) macroscopic behaviour of the geometry (size) of the lattice is discussed in terms of a simple scaling theory and obtained numerically. The emergence of irreversible behaviour from the reversible microscopic lattice-gas rules is discussed in terms of the constraint that the macroscopic evolution be reproducible. The average size of the lattice exhibits power law growth with exponent 1/2 at late times. The deviation of the macroscopic behaviour from reproducibility for particular initial conditions (``rogue states'') is investigated as a function of system size. The number of such ``rogue states'' is observed to decrease with increasing system size. Two mean-field analyses of the macroscopic behaviour are also presented. △ Less

Submitted 28 June, 2005; originally announced June 2005.

Journal ref: Phil.Trans.Roy.Soc.Lond. 362 (2004) 1667-1677

Deterministic Entanglement of Assistance and Monogamy Constraints

Authors: Gilad Gour, David A. Meyer, Barry C. Sanders

Abstract: Certain quantum information tasks require entanglement of assistance, namely a reduction of a tripartite entangled state to a bipartite entangled state via local measurements. We establish that 'concurrence of assistance' (CoA) identifies capabilities and limitations to producing pure bipartite entangled states from pure tripartite entangled states and prove that CoA is an entanglement monotone… ▽ More Certain quantum information tasks require entanglement of assistance, namely a reduction of a tripartite entangled state to a bipartite entangled state via local measurements. We establish that 'concurrence of assistance' (CoA) identifies capabilities and limitations to producing pure bipartite entangled states from pure tripartite entangled states and prove that CoA is an entanglement monotone for $(2\times2\times n)$-dimensional pure states. Moreover, if the CoA for the pure tripartite state is at least as large as the concurrence of the desired pure bipartite state, then the former may be transformed to the latter via local operations and classical communication, and we calculate the maximum probability for this transformation when this condition is not met. △ Less

Submitted 12 May, 2005; originally announced May 2005.

Comments: 5 pages, no figures

Journal ref: Phys. Rev. A 72, 042329 (2005)

The geometry of quantum learning

Authors: Markus Hunziker, David A. Meyer, Jihun Park, James Pommersheim, Mitch Rothstein

Abstract: Concept learning provides a natural framework in which to place the problems solved by the quantum algorithms of Bernstein-Vazirani and Grover. By combining the tools used in these algorithms--quantum fast transforms and amplitude amplification--with a novel (in this context) tool--a solution method for geometrical optimization problems--we derive a general technique for quantum concept learning… ▽ More Concept learning provides a natural framework in which to place the problems solved by the quantum algorithms of Bernstein-Vazirani and Grover. By combining the tools used in these algorithms--quantum fast transforms and amplitude amplification--with a novel (in this context) tool--a solution method for geometrical optimization problems--we derive a general technique for quantum concept learning. We name this technique "Amplified Impatient Learning" and apply it to construct quantum algorithms solving two new problems: BATTLESHIP and MAJORITY, more efficiently than is possible classically. △ Less

Submitted 5 September, 2003; originally announced September 2003.

Comments: 20 pages, plain TeX with amssym.tex, related work at http://www.math.uga.edu/~hunziker/ and http://math.ucsd.edu/~dmeyer/

Quantum computing classical physics

Authors: David A. Meyer

Abstract: In the past decade quantum algorithms have been found which outperform the best classical solutions known for certain classical problems as well as the best classical methods known for simulation of certain quantum systems. This suggests that they may also speed up the simulation of some classical systems. I describe one class of discrete quantum algorithms which do so--quantum lattice gas autom… ▽ More In the past decade quantum algorithms have been found which outperform the best classical solutions known for certain classical problems as well as the best classical methods known for simulation of certain quantum systems. This suggests that they may also speed up the simulation of some classical systems. I describe one class of discrete quantum algorithms which do so--quantum lattice gas automata--and show how to implement them efficiently on standard quantum computers. △ Less

Submitted 12 November, 2001; originally announced November 2001.

Comments: 13 pages, plain TeX, 10 PostScript figures included with epsf.tex; for related work see http://math.ucsd.edu/~dmeyer/research.html

Parrondo games as lattice gas automata

Authors: David A. Meyer, Heather Blumer

Abstract: Parrondo games are coin flip** games with the surprising property that alternating plays of two losing games can produce a winning game. We show that this phenomenon can be modelled by probabilistic lattice gas automata. Furthermore, motivated by the recent introduction of quantum coin flip** games, we show that quantum lattice gas automata provide an interesting definition for quantum Parro… ▽ More Parrondo games are coin flip** games with the surprising property that alternating plays of two losing games can produce a winning game. We show that this phenomenon can be modelled by probabilistic lattice gas automata. Furthermore, motivated by the recent introduction of quantum coin flip** games, we show that quantum lattice gas automata provide an interesting definition for quantum Parrondo games. △ Less

Submitted 4 October, 2001; originally announced October 2001.

Comments: 12 pages, plain TeX, 10 PostScript figures included with epsf.tex (ignore the under/overfull \vbox error messages); for related work see http://math.ucsd.edu/~dmeyer/research.html

Global entanglement in multiparticle systems

Authors: David A. Meyer, Nolan R. Wallach

Abstract: We define a polynomial measure of multiparticle entanglement which is scalable, i.e., which applies to any number of spin-1/2 particles. By evaluating it for three particle states, for eigenstates of the one dimensional Heisenberg antiferromagnet and on quantum error correcting code subspaces, we illustrate the extent to which it quantifies global entanglement. We also apply it to track the evol… ▽ More We define a polynomial measure of multiparticle entanglement which is scalable, i.e., which applies to any number of spin-1/2 particles. By evaluating it for three particle states, for eigenstates of the one dimensional Heisenberg antiferromagnet and on quantum error correcting code subspaces, we illustrate the extent to which it quantifies global entanglement. We also apply it to track the evolution of entanglement during a quantum computation. △ Less

Submitted 23 August, 2001; originally announced August 2001.

Comments: 9 pages, plain TeX, 1 PostScript figure included with epsf.tex (ignore the under/overfull \vbox error messages); for related work see http://math.ucsd.edu/~dmeyer/research.html or http://www.math.ucsd.edu/~nwallach/

From gauge transformations to topology computation in quantum lattice gas automata

Authors: David A. Meyer

Abstract: The evolution of a quantum lattice gas automaton (LGA) for a single charged particle is invariant under multiplication of the wave function by a global phase. Requiring invariance under the corresponding local gauge transformations determines the rule for minimal coupling to an arbitrary external electromagnetic field. We develop the Aharonov-Bohm effect in the resulting model into a constant ti… ▽ More The evolution of a quantum lattice gas automaton (LGA) for a single charged particle is invariant under multiplication of the wave function by a global phase. Requiring invariance under the corresponding local gauge transformations determines the rule for minimal coupling to an arbitrary external electromagnetic field. We develop the Aharonov-Bohm effect in the resulting model into a constant time algorithm to distinguish a one dimensional periodic lattice from one with boundaries; any classical deterministic LGA algorithm distinguishing these two spatial topologies would have expected running time on the order of the cardinality of the lattice. △ Less

Submitted 17 May, 2001; originally announced May 2001.

Comments: 8 pages, plain TeX, 1 PostScript figure included with epsf.tex (ignore the under/overfull \vbox error messages); for related work see http://math.ucsd.edu/~dmeyer/research.html

Sophisticated quantum search without entanglement

Authors: David A. Meyer

Abstract: Although entanglement is widely considered to be necessary for quantum algorithms to improve on classical ones, Lloyd has observed recently that Grover's quantum search algorithm can be implemented without entanglement, by replacing multiple particles with a single particle having exponentially many states. We explain that this maneuver removes entanglement from any quantum algorithm. But all ph… ▽ More Although entanglement is widely considered to be necessary for quantum algorithms to improve on classical ones, Lloyd has observed recently that Grover's quantum search algorithm can be implemented without entanglement, by replacing multiple particles with a single particle having exponentially many states. We explain that this maneuver removes entanglement from any quantum algorithm. But all physical resources must be accounted for to quantify algorithm complexity, and this scheme typically incurs exponential costs in some other resource(s). In particular, we demonstrate that a recent experimental realization requires exponentially increasing precision. There is, however, a quantum algorithm which searches a `sophisticated' database (not unlike a Web search engine) with a single query, but which we show does not require entanglement even for multiparticle implementations. △ Less

Submitted 19 July, 2000; originally announced July 2000.

Comments: 8 pages, plain TeX, 2 PostScript figures included with epsf.tex (ignore the under/overfull \vbox error messages); for related work see http://math.ucsd.edu/~dmeyer/research.html

Quantum games and quantum algorithms

Authors: David A. Meyer

Abstract: A quantum algorithm for an oracle problem can be understood as a quantum strategy for a player in a two-player zero-sum game in which the other player is constrained to play classically. I formalize this correspondence and give examples of games (and hence oracle problems) for which the quantum player can do better than would be possible classically. The most remarkable example is the Bernstein-… ▽ More A quantum algorithm for an oracle problem can be understood as a quantum strategy for a player in a two-player zero-sum game in which the other player is constrained to play classically. I formalize this correspondence and give examples of games (and hence oracle problems) for which the quantum player can do better than would be possible classically. The most remarkable example is the Bernstein-Vazirani quantum search algorithm which I show creates no entanglement at any timestep. △ Less

Submitted 3 May, 2000; v1 submitted 24 April, 2000; originally announced April 2000.

Comments: 10 pages, plain TeX; to appear in the AMS Contemporary Mathematics volume: Quantum Computation and Quantum Information Science; revised remarks about other quantum games formalisms; for related work see http://math.ucsd.edu/~dmeyer/research.html

Finite precision measurement nullifies the Kochen-Specker theorem

Authors: David A. Meyer

Abstract: Only finite precision measurements are experimentally reasonable, and they cannot distinguish a dense subset from its closure. We show that the rational vectors, which are dense in S^2, can be colored so that the contradiction with hidden variable theories provided by Kochen-Specker constructions does not obtain. Thus, in contrast to violation of the Bell inequalities, no quantum-over-classical… ▽ More Only finite precision measurements are experimentally reasonable, and they cannot distinguish a dense subset from its closure. We show that the rational vectors, which are dense in S^2, can be colored so that the contradiction with hidden variable theories provided by Kochen-Specker constructions does not obtain. Thus, in contrast to violation of the Bell inequalities, no quantum-over-classical advantage for information processing can be derived from the Kochen-Specker theorem alone. △ Less

Submitted 20 September, 1999; v1 submitted 24 May, 1999; originally announced May 1999.

Comments: 7 pages, plain TeX; minor corrections, interpretation clarified, references updated

Journal ref: Phys.Rev.Lett.83:3751-3754,1999

Projective plane and planar quantum codes

Authors: Michael H. Freedman, David A. Meyer

Abstract: Cellulations of the projective plane RP^2 define single qubit topological quantum error correcting codes since there is a unique essential cycle in H_1(RP^2;Z_2). We construct three of the smallest such codes, show they are inequivalent, and identify one of them as Shor's original 9 qubit repetition code. We observe that Shor's code can be constructed in a planar domain and generalize to planar… ▽ More Cellulations of the projective plane RP^2 define single qubit topological quantum error correcting codes since there is a unique essential cycle in H_1(RP^2;Z_2). We construct three of the smallest such codes, show they are inequivalent, and identify one of them as Shor's original 9 qubit repetition code. We observe that Shor's code can be constructed in a planar domain and generalize to planar constructions of higher genus codes for multiple qubits. △ Less

Submitted 18 October, 1998; originally announced October 1998.

Comments: 7 pages, plain TeX, 5 PostScript figures included with epsf.tex (ignore the under/overfull \vbox error messages)

Statistical mechanics of voting

Authors: David A. Meyer, Thad A. Brown

Abstract: Decision procedures aggregating the preferences of multiple agents can produce cycles and hence outcomes which have been described heuristically as `chaotic'. We make this description precise by constructing an explicit dynamical system from the agents' preferences and a voting rule. The dynamics form a one dimensional statistical mechanics model; this suggests the use of the topological entropy… ▽ More Decision procedures aggregating the preferences of multiple agents can produce cycles and hence outcomes which have been described heuristically as `chaotic'. We make this description precise by constructing an explicit dynamical system from the agents' preferences and a voting rule. The dynamics form a one dimensional statistical mechanics model; this suggests the use of the topological entropy to quantify the complexity of the system. We formulate natural political/social questions about the expected complexity of a voting rule and degree of cohesion/diversity among agents in terms of random matrix models---ensembles of statistical mechanics models---and compute quantitative answers in some representative cases. △ Less

Submitted 29 June, 1998; originally announced June 1998.

Comments: 9 pages, plain TeX, 2 PostScript figures included with epsf.tex (ignore the under/overfull \vbox error messages)

Scale decoherence in inhomogeneous potentials

Authors: David A. Meyer

Abstract: Finite precision measurement factors the Hilbert space of a quantum system into a tensor product $H_{coarse} \otimes H_{fine}$. This is mathematically equivalent to the partition into system and environment which forms the arena for decoherence, so we describe the consequences of the inaccessibility of $H_{fine}$ as scale decoherence. Considering the experimentally important case of a harmonic o… ▽ More Finite precision measurement factors the Hilbert space of a quantum system into a tensor product $H_{coarse} \otimes H_{fine}$. This is mathematically equivalent to the partition into system and environment which forms the arena for decoherence, so we describe the consequences of the inaccessibility of $H_{fine}$ as scale decoherence. Considering the experimentally important case of a harmonic oscillator potential as well as a periodic piecewise constant potential, we show that scale decoherence occurs for inhomogeneous potentials and may explain part of the decoherence observed in recent and proposed experiments on mesoscopic superpositions of quantum states. △ Less

Submitted 13 May, 1998; originally announced May 1998.

Comments: 10 pages, plain TeX, 4 PostScript figures included with epsf.tex (ignore the under/overfull \vbox error messages)

Decoherence in the Dirac equation

Authors: David A. Meyer

Abstract: A Dirac particle is represented by a unitarily evolving state vector in a Hilbert space which factors as $H_{spin} \otimes H_{position}$. Motivated by the similarity to simple models of decoherence consisting of a two state system coupled to an environment, we investigate the occurence of decoherence in the Dirac equation upon tracing over position. We conclude that the physics of this mathemati… ▽ More A Dirac particle is represented by a unitarily evolving state vector in a Hilbert space which factors as $H_{spin} \otimes H_{position}$. Motivated by the similarity to simple models of decoherence consisting of a two state system coupled to an environment, we investigate the occurence of decoherence in the Dirac equation upon tracing over position. We conclude that the physics of this mathematically exact model for decoherence is closely related to Zitterbewegung. △ Less

Submitted 9 April, 1998; originally announced April 1998.

Comments: 8 pages, plain TeX, 6 PostScript figures included with epsf.tex (ignore the under/overfull \vbox error messages)

Quantum strategies

Authors: David A. Meyer

Abstract: We consider game theory from the perspective of quantum algorithms. Strategies in classical game theory are either pure (deterministic) or mixed (probabilistic). We introduce these basic ideas in the context of a simple example, closely related to the traditional Matching Pennies game. While not every two-person zero-sum finite game has an equilibrium in the set of pure strategies, von Neumann s… ▽ More We consider game theory from the perspective of quantum algorithms. Strategies in classical game theory are either pure (deterministic) or mixed (probabilistic). We introduce these basic ideas in the context of a simple example, closely related to the traditional Matching Pennies game. While not every two-person zero-sum finite game has an equilibrium in the set of pure strategies, von Neumann showed that there is always an equilibrium at which each player follows a mixed strategy. A mixed strategy deviating from the equilibrium strategy cannot increase a player's expected payoff. We show, however, that in our example a player who implements a quantum strategy can increase his expected payoff, and explain the relation to efficient quantum algorithms. We prove that in general a quantum strategy is always at least as good as a classical one, and furthermore that when both players use quantum strategies there need not be any equilibrium, but if both are allowed mixed quantum strategies there must be. △ Less

Submitted 2 April, 1998; originally announced April 1998.

Comments: 8 pages, plain TeX, 1 figure

Journal ref: Phys.Rev.Lett. 82 (1999) 1052-1055

Quantum mechanics of lattice gas automata. II. Boundary conditions and other inhomogeneities

Authors: David A. Meyer

Abstract: We continue our analysis of the physics of quantum lattice gas automata (QLGA). Previous work has been restricted to periodic or infinite lattices; simulation of more realistic physical situations requires finite sizes and non-periodic boundary conditions. Furthermore, envisioning a QLGA as a nanoscale computer architecture motivates consideration of inhomogeneities in the `substrate'; this tran… ▽ More We continue our analysis of the physics of quantum lattice gas automata (QLGA). Previous work has been restricted to periodic or infinite lattices; simulation of more realistic physical situations requires finite sizes and non-periodic boundary conditions. Furthermore, envisioning a QLGA as a nanoscale computer architecture motivates consideration of inhomogeneities in the `substrate'; this translates into inhomogeneities in the local evolution rules. Concentrating on the one particle sector of the model, we determine the various boundary conditions and rule inhomogeneities which are consistent with unitary global evolution. We analyze the reflection of plane waves from boundaries, simulate wave packet refraction across inhomogeneities, and conclude by discussing the extension of these results to multiple particles. △ Less

Submitted 23 December, 1997; originally announced December 1997.

Comments: 24 pages, plain TeX, 9 PostScript figures included with epsf.tex (ignore the under/overfull \vbox error messages), 3 additional large figures available upon request or from http://math.ucsd.edu/~dmeyer/papers/papers.html

Journal ref: J.Phys.A31:2321-2340,1998

Towards the global: complexity, topology and chaos in modelling, simulation and computation

Authors: David A. Meyer

Abstract: Topological effects produce chaos in multiagent simulation and distributed computation. We explain this result by develo** three themes concerning complex systems in the natural and social sciences: (i) Pragmatically, a system is complex when it is represented efficiently by different models at different scales. (ii) Nontrivial topology, identifiable as we scale towards the global, induces com… ▽ More Topological effects produce chaos in multiagent simulation and distributed computation. We explain this result by develo** three themes concerning complex systems in the natural and social sciences: (i) Pragmatically, a system is complex when it is represented efficiently by different models at different scales. (ii) Nontrivial topology, identifiable as we scale towards the global, induces complexity in this sense. (iii) Complex systems with nontrivial topology are typically chaotic. △ Less

Submitted 17 October, 1997; v1 submitted 9 October, 1997; originally announced October 1997.

Comments: 12 pages, plain TeX; minor corrections, primarily to references

Quantum lattice gases and their invariants

Authors: David A. Meyer

Abstract: 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… ▽ More 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. △ Less

Submitted 16 March, 1997; originally announced March 1997.

Comments: 19 pages, plain TeX, 11 PostScript figures included with epsf.tex (ignore the under/overfull \vbox error messages)

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

Authors: David A. Meyer

Abstract: 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. Study… ▽ More 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. △ Less

Submitted 4 November, 1996; originally announced November 1996.

Comments: 19 pages, plain TeX, 14 PostScript figures included with epsf.tex (ignore the under/overfull \vbox error messages), two additional large figures available upon request

Unitarity in one dimensional nonlinear quantum cellular automata

Authors: David A. Meyer

Abstract: 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 investi… ▽ More 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. △ Less

Submitted 15 May, 1996; originally announced May 1996.

Comments: 32 pages, plain TeX, 3 PostScript figures included with epsf.tex (ignore the under/overfull \vbox error messages)