-
Large-scale quantum reservoir learning with an analog quantum computer
Authors:
Milan Kornjača,
Hong-Ye Hu,
Chen Zhao,
Jonathan Wurtz,
Phillip Weinberg,
Majd Hamdan,
Andrii Zhdanov,
Sergio H. Cantu,
Hengyun Zhou,
Rodrigo Araiza Bravo,
Kevin Bagnall,
James I. Basham,
Joseph Campo,
Adam Choukri,
Robert DeAngelo,
Paige Frederick,
David Haines,
Julian Hammett,
Ning Hsu,
Ming-Guang Hu,
Florian Huber,
Paul Niklas Jepsen,
Ningyuan Jia,
Thomas Karolyshyn,
Minho Kwon
, et al. (28 additional authors not shown)
Abstract:
Quantum machine learning has gained considerable attention as quantum technology advances, presenting a promising approach for efficiently learning complex data patterns. Despite this promise, most contemporary quantum methods require significant resources for variational parameter optimization and face issues with vanishing gradients, leading to experiments that are either limited in scale or lac…
▽ More
Quantum machine learning has gained considerable attention as quantum technology advances, presenting a promising approach for efficiently learning complex data patterns. Despite this promise, most contemporary quantum methods require significant resources for variational parameter optimization and face issues with vanishing gradients, leading to experiments that are either limited in scale or lack potential for quantum advantage. To address this, we develop a general-purpose, gradient-free, and scalable quantum reservoir learning algorithm that harnesses the quantum dynamics of neutral-atom analog quantum computers to process data. We experimentally implement the algorithm, achieving competitive performance across various categories of machine learning tasks, including binary and multi-class classification, as well as timeseries prediction. Effective and improving learning is observed with increasing system sizes of up to 108 qubits, demonstrating the largest quantum machine learning experiment to date. We further observe comparative quantum kernel advantage in learning tasks by constructing synthetic datasets based on the geometric differences between generated quantum and classical data kernels. Our findings demonstrate the potential of utilizing classically intractable quantum correlations for effective machine learning. We expect these results to stimulate further extensions to different quantum hardware and machine learning paradigms, including early fault-tolerant hardware and generative machine learning tasks.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Search by Lackadaisical Quantum Walk with Symmetry Breaking
Authors:
Jacob Rapoza,
Thomas G. Wong
Abstract:
The lackadaisical quantum walk is a lazy version of a discrete-time, coined quantum walk, where each vertex has a weighted self-loop that permits the walker to stay put. They have been used to speed up spatial search on a variety of graphs, including periodic lattices, strongly regular graphs, Johnson graphs, and the hypercube. In these prior works, the weights of the self-loops preserved the symm…
▽ More
The lackadaisical quantum walk is a lazy version of a discrete-time, coined quantum walk, where each vertex has a weighted self-loop that permits the walker to stay put. They have been used to speed up spatial search on a variety of graphs, including periodic lattices, strongly regular graphs, Johnson graphs, and the hypercube. In these prior works, the weights of the self-loops preserved the symmetries of the graphs. In this paper, we show that the self-loops can break all the symmetries of vertex-transitive graphs while providing the same computational speedups. Only the weight of the self-loop at the marked vertex matters, and the remaining self-loop weights can be chosen randomly, as long as they are small compared to the degree of the graph.
△ Less
Submitted 29 November, 2021; v1 submitted 31 August, 2021;
originally announced August 2021.
-
Implementing Quantum Gates Using Length-3 Dynamic Quantum Walks
Authors:
Ibukunoluwa A. Adisa,
Thomas G. Wong
Abstract:
It is well-known that any quantum gate can be decomposed into the universal gate set {T, H, CNOT}, and recent results have shown that each of these gates can be implemented using a dynamic quantum walk, which is a continuous-time quantum walk on a sequence of graphs. This procedure for converting a quantum gate into a dynamic quantum walk, however, can result in long sequences of graphs. To allevi…
▽ More
It is well-known that any quantum gate can be decomposed into the universal gate set {T, H, CNOT}, and recent results have shown that each of these gates can be implemented using a dynamic quantum walk, which is a continuous-time quantum walk on a sequence of graphs. This procedure for converting a quantum gate into a dynamic quantum walk, however, can result in long sequences of graphs. To alleviate this, in this paper, we develop a length-3 dynamic quantum walk that implements any single-qubit gate. Furthermore, we extend this result to give length-3 dynamic quantum walks that implement any single-qubit gate controlled by any number of qubits. Using these, we implement Draper's quantum addition circuit, which is based on the quantum Fourier transform, using a dynamic quantum walk.
△ Less
Submitted 30 September, 2021; v1 submitted 2 August, 2021;
originally announced August 2021.
-
Equivalent Laplacian and Adjacency Quantum Walks on Irregular Graphs
Authors:
Thomas G. Wong,
Joshua Lockhart
Abstract:
The continuous-time quantum walk is a particle evolving by Schrödinger's equation in discrete space. Encoding the space as a graph of vertices and edges, the Hamiltonian is proportional to the discrete Laplacian. In some physical systems, however, the Hamiltonian is proportional to the adjacency matrix instead. It is well-known that these quantum walks are equivalent when the graph is regular, i.e…
▽ More
The continuous-time quantum walk is a particle evolving by Schrödinger's equation in discrete space. Encoding the space as a graph of vertices and edges, the Hamiltonian is proportional to the discrete Laplacian. In some physical systems, however, the Hamiltonian is proportional to the adjacency matrix instead. It is well-known that these quantum walks are equivalent when the graph is regular, i.e., when each vertex has the same number of neighbors. If the graph is irregular, however, the quantum walks evolve differently. In this paper, we show that for some irregular graphs, if the particle is initially localized at a certain vertex, the probability distributions of the two quantum walks are identical, even though the amplitudes differ. We analytically prove this for a graph with five vertices and a graph with six vertices. By simulating the walks on all 1,018,689,568 simple, connected, irregular graphs with eleven vertices or less, we found sixty-four graphs with this notion of equivalence. We also give eight infinite families of graphs supporting these equivalent walks.
△ Less
Submitted 4 October, 2021; v1 submitted 12 July, 2021;
originally announced July 2021.
-
Simplifying Continuous-Time Quantum Walks on Dynamic Graphs
Authors:
Rebekah Herrman,
Thomas G. Wong
Abstract:
A continuous-time quantum walk on a dynamic graph evolves by Schrödinger's equation with a sequence of Hamiltonians encoding the edges of the graph. This process is universal for quantum computing, but in general, the dynamic graph that implements a quantum circuit can be quite complicated. In this paper, we give six scenarios under which a dynamic graph can be simplified, and they exploit commuti…
▽ More
A continuous-time quantum walk on a dynamic graph evolves by Schrödinger's equation with a sequence of Hamiltonians encoding the edges of the graph. This process is universal for quantum computing, but in general, the dynamic graph that implements a quantum circuit can be quite complicated. In this paper, we give six scenarios under which a dynamic graph can be simplified, and they exploit commuting graphs, identical graphs, perfect state transfer, complementary graphs, isolated vertices, and uniform mixing on the hypercube. As examples, we simplify dynamic graphs, in some instances allowing single-qubit gates to be implemented in parallel.
△ Less
Submitted 3 January, 2022; v1 submitted 10 June, 2021;
originally announced June 2021.
-
Unstructured Search by Random and Quantum Walk
Authors:
Thomas G. Wong
Abstract:
The task of finding an entry in an unsorted list of $N$ elements famously takes $O(N)$ queries to an oracle for a classical computer and $O(\sqrt{N})$ queries for a quantum computer using Grover's algorithm. Reformulated as a spatial search problem, this corresponds to searching the complete graph, or all-to-all network, for a marked vertex by querying an oracle. In this tutorial, we derive how di…
▽ More
The task of finding an entry in an unsorted list of $N$ elements famously takes $O(N)$ queries to an oracle for a classical computer and $O(\sqrt{N})$ queries for a quantum computer using Grover's algorithm. Reformulated as a spatial search problem, this corresponds to searching the complete graph, or all-to-all network, for a marked vertex by querying an oracle. In this tutorial, we derive how discrete- and continuous-time (classical) random walks and quantum walks solve this problem in a thorough and pedagogical manner, providing an accessible introduction to how random and quantum walks can be used to search spatial regions. Some of the results are already known, but many are new. For large $N$, the random walks converge to the same evolution, both taking $N \ln(1/ε)$ time to reach a success probability of $1-ε$. In contrast, the discrete-time quantum walk asymptotically takes $π\sqrt{N}/2\sqrt{2}$ timesteps to reach a success probability of $1/2$, while the continuous-time quantum walk takes $π\sqrt{N}/2$ time to reach a success probability of $1$.
△ Less
Submitted 18 October, 2021; v1 submitted 29 November, 2020;
originally announced November 2020.
-
Search on Vertex-Transitive Graphs by Lackadaisical Quantum Walk
Authors:
Mason L. Rhodes,
Thomas G. Wong
Abstract:
The lackadaisical quantum walk is a discrete-time, coined quantum walk on a graph with a weighted self-loop at each vertex. It uses a generalized Grover coin and the flip-flop shift, which makes it equivalent to Szegedy's quantum Markov chain. It has been shown that a lackadaisical quantum walk can improve spatial search on the complete graph, discrete torus, cycle, and regular complete bipartite…
▽ More
The lackadaisical quantum walk is a discrete-time, coined quantum walk on a graph with a weighted self-loop at each vertex. It uses a generalized Grover coin and the flip-flop shift, which makes it equivalent to Szegedy's quantum Markov chain. It has been shown that a lackadaisical quantum walk can improve spatial search on the complete graph, discrete torus, cycle, and regular complete bipartite graph. In this paper, we observe that these are all vertex-transitive graphs, and when there is a unique marked vertex, the optimal weight of the self-loop equals the degree of the loopless graph divided by the total number of vertices. We propose that this holds for all vertex-transitive graphs with a unique marked vertex. We present a number of numerical simulations supporting this hypothesis, including search on periodic cubic lattices of arbitrary dimension, strongly regular graphs, Johnson graphs, and the hypercube.
△ Less
Submitted 20 August, 2020; v1 submitted 25 February, 2020;
originally announced February 2020.
-
Isolated Vertices in Continuous-Time Quantum Walks on Dynamic Graphs
Authors:
Thomas G. Wong
Abstract:
It was recently shown that continuous-time quantum walks on dynamic graphs, i.e., sequences of static graphs whose edges change at specific times, can implement a universal set of quantum gates. This result treated all isolated vertices as having self-loops, so they all evolved by a phase under the quantum walk. In this paper, we permit isolated vertices to be loopless or looped, and loopless isol…
▽ More
It was recently shown that continuous-time quantum walks on dynamic graphs, i.e., sequences of static graphs whose edges change at specific times, can implement a universal set of quantum gates. This result treated all isolated vertices as having self-loops, so they all evolved by a phase under the quantum walk. In this paper, we permit isolated vertices to be loopless or looped, and loopless isolated vertices do not evolve at all under the quantum walk. Using this distinction, we construct simpler dynamic graphs that implement the Pauli gates and a set of universal quantum gates consisting of the Hadamard, $T$, and CNOT gates, and these gates are easily extended to multi-qubit systems. For example, the $T$ gate is simplified from a sequence of six graphs to a single graph, and the number of vertices is reduced by a factor of four. We also construct a generalized phase gate, of which $Z$, $S$, and $T$ are specific instances. Finally, we validate our implementations by numerically simulating a quantum circuit consisting of layers of one- and two-qubit gates, similar to those in recent quantum supremacy experiments, using a quantum walk.
△ Less
Submitted 29 October, 2019; v1 submitted 1 August, 2019;
originally announced August 2019.
-
Search by Lackadaisical Quantum Walk with Nonhomogeneous Weights
Authors:
Mason L. Rhodes,
Thomas G. Wong
Abstract:
The lackadaisical quantum walk, which is a quantum walk with a weighted self-loop at each vertex, has been shown to speed up dispersion on the line and improve spatial search on the complete graph and periodic square lattice. In these investigations, each self-loop had the same weight, owing to each graph's vertex-transitivity. In this paper, we propose lackadaisical quantum walks where the self-l…
▽ More
The lackadaisical quantum walk, which is a quantum walk with a weighted self-loop at each vertex, has been shown to speed up dispersion on the line and improve spatial search on the complete graph and periodic square lattice. In these investigations, each self-loop had the same weight, owing to each graph's vertex-transitivity. In this paper, we propose lackadaisical quantum walks where the self-loops have different weights. We investigate spatial search on the complete bipartite graph, which can be irregular with $N_1$ and $N_2$ vertices in each partite set, and this naturally leads to self-loops in each partite set having different weights $l_1$ and $l_2$, respectively. We analytically prove that for large $N_1$ and $N_2$, if the $k$ marked vertices are confined to, say, the first partite set, then with the typical initial uniform state over the vertices, the success probability is improved from its non-lackadaisical value when $l_1 = kN_2/2N_1$ and $N_2 > (3 - 2\sqrt{2}) N_1$, regardless of $l_2$. When the initial state is stationary under the quantum walk, however, then the success probability is improved when $l_1 = kN_2/2N_1$, now without a constraint on the ratio of $N_1$ and $N_2$, and again independent of $l_2$. Next, when marked vertices lie in both partite sets, then for either initial state, there are many configurations for which the self-loops yield no improvement in quantum search, no matter what weights they take.
△ Less
Submitted 10 September, 2019; v1 submitted 14 May, 2019;
originally announced May 2019.
-
Quantum Walk Search on the Complete Bipartite Graph
Authors:
Mason L. Rhodes,
Thomas G. Wong
Abstract:
The coined quantum walk is a discretization of the Dirac equation of relativistic quantum mechanics, and it is the basis of many quantum algorithms. We investigate how it searches the complete bipartite graph of $N$ vertices for one of $k$ marked vertices with different initial states. We prove intriguing dependence on the number of marked and unmarked vertices in each partite set. For example, wh…
▽ More
The coined quantum walk is a discretization of the Dirac equation of relativistic quantum mechanics, and it is the basis of many quantum algorithms. We investigate how it searches the complete bipartite graph of $N$ vertices for one of $k$ marked vertices with different initial states. We prove intriguing dependence on the number of marked and unmarked vertices in each partite set. For example, when the graph is irregular and the initial state is the typical uniform superposition over the vertices, then the success probability can vary greatly from one timestep to the next, even alternating between 0 and 1, so the precise time at which measurement occurs is crucial. When the initial state is a uniform superposition over the edges, however, the success probability evolves smoothly. As another example, if the complete bipartite graph is regular, then the two initial states are equivalent. Then if two marked vertices are in the same partite set, the success probability reaches 1/2, but if they are in different partite sets, it instead reaches $1$. This differs from the complete graph, which is the quantum walk formulation of Grover's algorithm, where the success probability with two marked vertices is 8/9. This reveals a contrast to the continuous-time quantum walk, whose evolution is governed by Schrödinger's equation, which asymptotically searches the regular complete bipartite graph with any arrangement of marked vertices in the same manner as the complete graph.
△ Less
Submitted 6 February, 2019; v1 submitted 14 December, 2018;
originally announced December 2018.
-
Optimal Quantum Walk Search on Kronecker Graphs with Dominant or Fixed Regular Initiators
Authors:
Adam Glos,
Thomas G. Wong
Abstract:
In network science, graphs obtained by taking the Kronecker or tensor power of the adjacency matrix of an initiator graph are used to construct complex networks. In this paper, we analytically prove sufficient conditions under which such Kronecker graphs can be searched by a continuous-time quantum walk in optimal $Θ(\sqrt{N})$ time. First, if the initiator is regular and its adjacency matrix has…
▽ More
In network science, graphs obtained by taking the Kronecker or tensor power of the adjacency matrix of an initiator graph are used to construct complex networks. In this paper, we analytically prove sufficient conditions under which such Kronecker graphs can be searched by a continuous-time quantum walk in optimal $Θ(\sqrt{N})$ time. First, if the initiator is regular and its adjacency matrix has a dominant principal eigenvalue, meaning its unique largest eigenvalue asymptotically dominates the other eigenvalues in magnitude, then the Kronecker graphs generated by this initiator can be quantum searched with probability 1 in $π\sqrt{N}/2$ time, asymptotically, and we give the critical jum** rate of the walk that enables this. Second, for any fixed initiator that is regular, non-bipartite, and connected, the Kronecker graphs generated by it are quantum searched in $Θ(\sqrt{N})$ time. This greatly extends the number of Kronecker graphs on which quantum walks are known to optimally search. If the fixed, regular, connected initiator is bipartite, however, then search on its Kronecker powers is not optimal, but is still better than classical computer's $O(N)$ runtime if the initiator has more than two vertices.
△ Less
Submitted 6 December, 2018; v1 submitted 4 September, 2018;
originally announced September 2018.
-
Quantum Walk Search on Kronecker Graphs
Authors:
Thomas G. Wong,
Konstantin Wünscher,
Joshua Lockhart,
Simone Severini
Abstract:
Kronecker graphs, obtained by repeatedly performing the Kronecker product of the adjacency matrix of an "initiator" graph with itself, have risen in popularity in network science due to their ability to generate complex networks with real-world properties. In this paper, we explore spatial search by continuous-time quantum walk on Kronecker graphs. Specifically, we give analytical proofs for quant…
▽ More
Kronecker graphs, obtained by repeatedly performing the Kronecker product of the adjacency matrix of an "initiator" graph with itself, have risen in popularity in network science due to their ability to generate complex networks with real-world properties. In this paper, we explore spatial search by continuous-time quantum walk on Kronecker graphs. Specifically, we give analytical proofs for quantum search on first-, second-, and third-order Kronecker graphs with the complete graph as the initiator, showing that search takes Grover's $O(\sqrt{N})$ time. Numerical simulations indicate that higher-order Kronecker graphs with the complete initiator also support optimal quantum search.
△ Less
Submitted 16 July, 2018; v1 submitted 27 April, 2018;
originally announced April 2018.
-
Faster Search by Lackadaisical Quantum Walk
Authors:
Thomas G. Wong
Abstract:
In the typical model, a discrete-time coined quantum walk searching the 2D grid for a marked vertex achieves a success probability of $O(1/\log N)$ in $O(\sqrt{N \log N})$ steps, which with amplitude amplification yields an overall runtime of $O(\sqrt{N} \log N)$. We show that making the quantum walk lackadaisical or lazy by adding a self-loop of weight $4/N$ to each vertex speeds up the search, c…
▽ More
In the typical model, a discrete-time coined quantum walk searching the 2D grid for a marked vertex achieves a success probability of $O(1/\log N)$ in $O(\sqrt{N \log N})$ steps, which with amplitude amplification yields an overall runtime of $O(\sqrt{N} \log N)$. We show that making the quantum walk lackadaisical or lazy by adding a self-loop of weight $4/N$ to each vertex speeds up the search, causing the success probability to reach a constant near $1$ in $O(\sqrt{N \log N})$ steps, thus yielding an $O(\sqrt{\log N})$ improvement over the typical, loopless algorithm. This improved runtime matches the best known quantum algorithms for this search problem. Our results are based on numerical simulations since the algorithm is not an instance of the abstract search algorithm.
△ Less
Submitted 6 February, 2018; v1 submitted 21 June, 2017;
originally announced June 2017.
-
Coined Quantum Walks on Weighted Graphs
Authors:
Thomas G. Wong
Abstract:
We define a discrete-time, coined quantum walk on weighted graphs that is inspired by Szegedy's quantum walk. Using this, we prove that many lackadaisical quantum walks, where each vertex has $l$ integer self-loops, can be generalized to a quantum walk where each vertex has a single self-loop of real-valued weight $l$. We apply this real-valued lackadaisical quantum walk to two problems. First, we…
▽ More
We define a discrete-time, coined quantum walk on weighted graphs that is inspired by Szegedy's quantum walk. Using this, we prove that many lackadaisical quantum walks, where each vertex has $l$ integer self-loops, can be generalized to a quantum walk where each vertex has a single self-loop of real-valued weight $l$. We apply this real-valued lackadaisical quantum walk to two problems. First, we analyze it on the line or one-dimensional lattice, showing that it is exactly equivalent to a continuous deformation of the three-state Grover walk with faster ballistic dispersion. Second, we generalize Grover's algorithm, or search on the complete graph, to have a weighted self-loop at each vertex, yielding an improved success probability when $l < 3 + 2\sqrt{2} \approx 5.828$.
△ Less
Submitted 14 September, 2017; v1 submitted 29 March, 2017;
originally announced March 2017.
-
Equivalence of Szegedy's and Coined Quantum Walks
Authors:
Thomas G. Wong
Abstract:
Szegedy's quantum walk is a quantization of a classical random walk or Markov chain, where the walk occurs on the edges of the bipartite double cover of the original graph. To search, one can simply quantize a Markov chain with absorbing vertices. Recently, Santos proposed two alternative search algorithms that instead utilize the sign-flip oracle in Grover's algorithm rather than absorbing vertic…
▽ More
Szegedy's quantum walk is a quantization of a classical random walk or Markov chain, where the walk occurs on the edges of the bipartite double cover of the original graph. To search, one can simply quantize a Markov chain with absorbing vertices. Recently, Santos proposed two alternative search algorithms that instead utilize the sign-flip oracle in Grover's algorithm rather than absorbing vertices. In this paper, we show that these two algorithms are exactly equivalent to two algorithms involving coined quantum walks, which are walks on the vertices of the original graph with an internal degree of freedom. The first scheme is equivalent to a coined quantum walk with one walk-step per query of Grover's oracle, and the second is equivalent to a coined quantum walk with two walk-steps per query of Grover's oracle. These equivalences lie outside the previously known equivalence of Szegedy's quantum walk with absorbing vertices and the coined quantum walk with the negative identity operator as the coin for marked vertices, whose precise relationships we also investigate.
△ Less
Submitted 15 July, 2017; v1 submitted 7 November, 2016;
originally announced November 2016.
-
Exceptional Quantum Walk Search on the Cycle
Authors:
Thomas G. Wong,
Raqueline A. M. Santos
Abstract:
Quantum walks are standard tools for searching graphs for marked vertices, and they often yield quadratic speedups over a classical random walk's hitting time. In some exceptional cases, however, the system only evolves by sign flips, staying in a uniform probability distribution for all time. We prove that the one-dimensional periodic lattice or cycle with any arrangement of marked vertices is su…
▽ More
Quantum walks are standard tools for searching graphs for marked vertices, and they often yield quadratic speedups over a classical random walk's hitting time. In some exceptional cases, however, the system only evolves by sign flips, staying in a uniform probability distribution for all time. We prove that the one-dimensional periodic lattice or cycle with any arrangement of marked vertices is such an exceptional configuration. Using this discovery, we construct a search problem where the quantum walk's random sampling yields an arbitrary speedup in query complexity over the classical random walk's hitting time. In this context, however, the mixing time to prepare the initial uniform state is a more suitable comparison than the hitting time, and then the speedup is roughly quadratic.
△ Less
Submitted 26 January, 2017; v1 submitted 19 October, 2016;
originally announced October 2016.
-
Stationary States in Quantum Walk Search
Authors:
Krišjānis Prūsis,
Jevgēnijs Vihrovs,
Thomas G. Wong
Abstract:
When classically searching a database, having additional correct answers makes the search easier. For a discrete-time quantum walk searching a graph for a marked vertex, however, additional marked vertices can make the search harder by causing the system to approximately begin in a stationary state, so the system fails to evolve. In this paper, we completely characterize the stationary states, or…
▽ More
When classically searching a database, having additional correct answers makes the search easier. For a discrete-time quantum walk searching a graph for a marked vertex, however, additional marked vertices can make the search harder by causing the system to approximately begin in a stationary state, so the system fails to evolve. In this paper, we completely characterize the stationary states, or 1-eigenvectors, of the quantum walk search operator for general graphs and configurations of marked vertices by decomposing their amplitudes into uniform and flip states. This infinitely expands the number of known stationary states and gives an optimization procedure to find the stationary state closest to the initial uniform state of the walk. We further prove theorems on the existence of stationary states, with them conditionally existing if the marked vertices form a bipartite connected component and always existing if non-bipartite. These results utilize the standard oracle in Grover's algorithm, but we show that a different type of oracle prevents stationary states from interfering with the search algorithm.
△ Less
Submitted 8 September, 2016; v1 submitted 30 July, 2016;
originally announced August 2016.
-
Full Characterization of Oscillatory Localization of Quantum Walks
Authors:
Andris Ambainis,
Krišjānis Prūsis,
Jevgēnijs Vihrovs,
Thomas G. Wong
Abstract:
Discrete-time quantum walks are well-known for exhibiting localization, a quantum phenomenon where the walker remains at its initial location with high probability. In companion with a joint Letter, we introduce oscillatory localization, where the walker alternates between two states. The walk is given by the flip-flop shift, which is easily defined on non-lattice graphs, and the Grover coin. Extr…
▽ More
Discrete-time quantum walks are well-known for exhibiting localization, a quantum phenomenon where the walker remains at its initial location with high probability. In companion with a joint Letter, we introduce oscillatory localization, where the walker alternates between two states. The walk is given by the flip-flop shift, which is easily defined on non-lattice graphs, and the Grover coin. Extremely simple examples of the localization exist, such as a walker jum** back and forth between two vertices of the complete graph. We show that only two kinds of states, called flip states and uniform states, exhibit exact oscillatory localization. So the projection of an arbitrary state onto these gives a lower bound on the extent of oscillatory localization. Thus we completely characterize the states that oscillate under the quantum walk.
△ Less
Submitted 6 July, 2016; v1 submitted 7 June, 2016;
originally announced June 2016.
-
Oscillatory Localization of Quantum Walks Analyzed by Classical Electric Circuits
Authors:
Andris Ambainis,
Krišjānis Prūsis,
Jevgēnijs Vihrovs,
Thomas G. Wong
Abstract:
We examine an unexplored quantum phenomenon we call oscillatory localization, where a discrete-time quantum walk with Grover's diffusion coin jumps back and forth between two vertices. We then connect it to the power dissipation of a related electric network. Namely, we show that there are only two kinds of oscillating states, called uniform states and flip states, and that the projection of an ar…
▽ More
We examine an unexplored quantum phenomenon we call oscillatory localization, where a discrete-time quantum walk with Grover's diffusion coin jumps back and forth between two vertices. We then connect it to the power dissipation of a related electric network. Namely, we show that there are only two kinds of oscillating states, called uniform states and flip states, and that the projection of an arbitrary state onto a flip state is bounded by the power dissipation of an electric circuit. By applying this framework to states along a single edge of a graph, we show that low effective resistance implies oscillatory localization of the quantum walk. This reveals that oscillatory localization occurs on a large variety of regular graphs, including edge-transitive, expander, and high degree graphs. As a corollary, high edge-connectivity also implies localization of these states, since it is closely related to electric resistance.
△ Less
Submitted 16 November, 2016; v1 submitted 7 June, 2016;
originally announced June 2016.
-
Engineering the Success of Quantum Walk Search Using Weighted Graphs
Authors:
Thomas G. Wong,
Pascal Philipp
Abstract:
Continuous-time quantum walks are natural tools for spatial search, where one searches for a marked vertex in a graph. Sometimes, the structure of the graph causes the walker to get trapped, such that the probability of finding the marked vertex is limited. We give an example with two linked cliques, proving that the captive probability can be liberated by increasing the weights of the links. This…
▽ More
Continuous-time quantum walks are natural tools for spatial search, where one searches for a marked vertex in a graph. Sometimes, the structure of the graph causes the walker to get trapped, such that the probability of finding the marked vertex is limited. We give an example with two linked cliques, proving that the captive probability can be liberated by increasing the weights of the links. This allows the search to succeed with probability 1 without increasing the energy scaling of the algorithm. Further increasing the weights, however, slows the runtime, so the optimal search requires weights that are neither too weak nor too strong.
△ Less
Submitted 16 May, 2016;
originally announced May 2016.
-
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.
-
Quantum Walk Search on Johnson Graphs
Authors:
Thomas G. Wong
Abstract:
The Johnson graph $J(n,k)$ is defined by $n$ symbols, where vertices are $k$-element subsets of the symbols, and vertices are adjacent if they differ in exactly one symbol. In particular, $J(n,1)$ is the complete graph $K_n$, and $J(n,2)$ is the strongly regular triangular graph $T_n$, both of which are known to support fast spatial search by continuous-time quantum walk. In this paper, we prove t…
▽ More
The Johnson graph $J(n,k)$ is defined by $n$ symbols, where vertices are $k$-element subsets of the symbols, and vertices are adjacent if they differ in exactly one symbol. In particular, $J(n,1)$ is the complete graph $K_n$, and $J(n,2)$ is the strongly regular triangular graph $T_n$, both of which are known to support fast spatial search by continuous-time quantum walk. In this paper, we prove that $J(n,3)$, which is the $n$-tetrahedral graph, also supports fast search. In the process, we show that a change of basis is needed for degenerate perturbation theory to accurately describe the dynamics. This method can also be applied to general Johnson graphs $J(n,k)$ with fixed $k$.
△ Less
Submitted 12 April, 2016; v1 submitted 16 January, 2016;
originally announced January 2016.
-
Laplacian versus Adjacency Matrix in Quantum Walk Search
Authors:
Thomas G. Wong,
Luís Tarrataca,
Nikolay Nahimov
Abstract:
A quantum particle evolving by Schrödinger's equation contains, from the kinetic energy of the particle, a term in its Hamiltonian proportional to Laplace's operator. In discrete space, this is replaced by the discrete or graph Laplacian, which gives rise to a continuous-time quantum walk. Besides this natural definition, some quantum walk algorithms instead use the adjacency matrix to effect the…
▽ More
A quantum particle evolving by Schrödinger's equation contains, from the kinetic energy of the particle, a term in its Hamiltonian proportional to Laplace's operator. In discrete space, this is replaced by the discrete or graph Laplacian, which gives rise to a continuous-time quantum walk. Besides this natural definition, some quantum walk algorithms instead use the adjacency matrix to effect the walk. While this is equivalent to the Laplacian for regular graphs, it is different for non-regular graphs, and is thus an inequivalent quantum walk. We algorithmically explore this distinction by analyzing search on the complete bipartite graph with multiple marked vertices, using both the Laplacian and adjacency matrix. The two walks differ qualitatively and quantitatively in their required jum** rate, runtime, sampling of marked vertices, and in what constitutes a natural initial state. Thus the choice of the Laplacian or adjacency matrix to effect the walk has important algorithmic consequences.
△ Less
Submitted 20 June, 2016; v1 submitted 17 December, 2015;
originally announced December 2015.
-
Doubling the Success of Quantum Walk Search Using Internal-State Measurements
Authors:
Krišjānis Prūsis,
Jevgēnijs Vihrovs,
Thomas G. Wong
Abstract:
In typical discrete-time quantum walk algorithms, one measures the position of the walker while ignoring its internal spin/coin state. Rather than neglecting the information in this internal state, we show that additionally measuring it doubles the success probability of many quantum spatial search algorithms. For example, this allows Grover's unstructured search problem to be solved with certaint…
▽ More
In typical discrete-time quantum walk algorithms, one measures the position of the walker while ignoring its internal spin/coin state. Rather than neglecting the information in this internal state, we show that additionally measuring it doubles the success probability of many quantum spatial search algorithms. For example, this allows Grover's unstructured search problem to be solved with certainty, rather than with probability 1/2 if only the walker's position is measured, so the additional measurement yields a search algorithm that is twice as fast as without it, on average. Thus the internal state of discrete-time quantum walks holds valuable information that can be utilized to improve algorithms. Furthermore, we determine conditions for which spatial search problems on regular graphs are amenable to this doubling of the success probability, and this involves diagrammatically analyzing search using degenerate perturbation theory and deriving a useful formula for how the quantum walk acts in its reduced subspace.
△ Less
Submitted 23 September, 2016; v1 submitted 12 November, 2015;
originally announced November 2015.
-
Quantum Walk on the Line through Potential Barriers
Authors:
Thomas G. Wong
Abstract:
Quantum walks are well-known for their ballistic dispersion, traveling $Θ(t)$ away in $t$ steps, which is quadratically faster than a classical random walk's diffusive spreading. In physical implementations of the walk, however, the particle may need to tunnel through a potential barrier to hop, and a naive calculation suggests this could eliminate the ballistic transport. We show by explicit calc…
▽ More
Quantum walks are well-known for their ballistic dispersion, traveling $Θ(t)$ away in $t$ steps, which is quadratically faster than a classical random walk's diffusive spreading. In physical implementations of the walk, however, the particle may need to tunnel through a potential barrier to hop, and a naive calculation suggests this could eliminate the ballistic transport. We show by explicit calculation, however, that such a loss does not occur. Rather, the $Θ(t)$ dispersion is retained, with only the coefficient changing, which additionally gives a way to detect and quantify the hop** errors in experiments.
△ Less
Submitted 7 December, 2015; v1 submitted 23 September, 2015;
originally announced September 2015.
-
Faster Quantum Walk Search on a Weighted Graph
Authors:
Thomas G. Wong
Abstract:
A randomly walking quantum particle evolving by Schrödinger's equation searches for a unique marked vertex on the "simplex of complete graphs" in time $Θ(N^{3/4})$. In this paper, we give a weighted version of this graph that preserves vertex-transitivity, and we show that the time to search on it can be reduced to nearly $Θ(\sqrt{N})$. To prove this, we introduce two novel extensions to degenerat…
▽ More
A randomly walking quantum particle evolving by Schrödinger's equation searches for a unique marked vertex on the "simplex of complete graphs" in time $Θ(N^{3/4})$. In this paper, we give a weighted version of this graph that preserves vertex-transitivity, and we show that the time to search on it can be reduced to nearly $Θ(\sqrt{N})$. To prove this, we introduce two novel extensions to degenerate perturbation theory: an adjustment that distinguishes the weights of the edges, and a method to determine how precisely the jum** rate of the quantum walk must be chosen.
△ Less
Submitted 27 July, 2015;
originally announced July 2015.
-
Nonlinear Quantum Search
Authors:
Thomas G. Wong
Abstract:
Although quant mech is linear, there are nevertheless quant sys with multiple interacting particles in which the effective evo of a single particle is governed by a nonlinear eq. This includes Bose-Einstein condensates, which are gov by the Gross-Pitaevskii eq (GPE), which is a cubic nonlin Schrodinger eq (NLSE) with a term propto $|ψ|^2ψ$. Evo by this eq solves the unstruct search prob in const t…
▽ More
Although quant mech is linear, there are nevertheless quant sys with multiple interacting particles in which the effective evo of a single particle is governed by a nonlinear eq. This includes Bose-Einstein condensates, which are gov by the Gross-Pitaevskii eq (GPE), which is a cubic nonlin Schrodinger eq (NLSE) with a term propto $|ψ|^2ψ$. Evo by this eq solves the unstruct search prob in const time, but at the novel expense of increasing the time-measurement precision. Jointly optimizing these resources results in an overall scaling of $N^{1/4}$, which is a significant, but not unreasonable, improvement over the $N^{1/2}$ scaling of Grover's algo. Since the GPE effectively approx the multi-particle Schrodinger eq, for which Grover's algo is optimal, our result leads to a quant info-theoretic bound on the num of particles needed for this approx to hold, asymp. The GPE is not the only nonlin of the form $f(|ψ|^2)ψ$ that arises in effective eqs for the evo of real quant phys sys, however: The cubic-quintic NLSE describes light propagation in nonlin Kerr media with defocusing corrections, and the log NLSE describes Bose liquids under certain cond. Analysis of comput with such sys yields some surprising results; e.g., when time-measurement precision is included in the resource accounting, searching a "database" when there is a single correct ans may be easier than searching when there are multiple correct ans. These results lead to quant info-theoretic bounds on the phys resources required for these effective nonlin theories to hold, asymp. Further, strongly reg graphs, which have no global sym, are sufficiently complete for quant search on them to asymp behave like unstruct search. Certain suff complete graphs retain the improved runtime and resource scalings for some nonlin, so our scheme for nonlin, analog quant comput retains its benefits even when some struct is introduced.
△ Less
Submitted 14 June, 2015;
originally announced June 2015.
-
Correcting for Potential Barriers in Quantum Walk Search
Authors:
Andris Ambainis,
Thomas G. Wong
Abstract:
A randomly walking quantum particle searches in Grover's $Θ(\sqrt{N})$ iterations for a marked vertex on the complete graph of $N$ vertices by repeatedly querying an oracle that flips the amplitude at the marked vertex, scattering by a "coin" flip, and hop**. Physically, however, potential energy barriers can hinder the hop and cause the search to fail, even when the amplitude of not hop** dec…
▽ More
A randomly walking quantum particle searches in Grover's $Θ(\sqrt{N})$ iterations for a marked vertex on the complete graph of $N$ vertices by repeatedly querying an oracle that flips the amplitude at the marked vertex, scattering by a "coin" flip, and hop**. Physically, however, potential energy barriers can hinder the hop and cause the search to fail, even when the amplitude of not hop** decreases with $N$. We correct for these errors by interpreting the quantum walk search as an amplitude amplification algorithm and modifying the phases applied by the coin flip and oracle such that the amplification recovers the $Θ(\sqrt{N})$ runtime.
△ Less
Submitted 15 July, 2015; v1 submitted 8 May, 2015;
originally announced May 2015.
-
Quantum Walk Search with Time-Reversal Symmetry Breaking
Authors:
Thomas G. Wong
Abstract:
We formulate Grover's unstructured search algorithm as a chiral quantum walk, where transitioning in one direction has a phase conjugate to transitioning in the opposite direction. For small phases, this breaking of time-reversal symmetry is too small to significantly affect the evolution: the system still approximately evolves in its ground and first excited states, rotating to the marked vertex…
▽ More
We formulate Grover's unstructured search algorithm as a chiral quantum walk, where transitioning in one direction has a phase conjugate to transitioning in the opposite direction. For small phases, this breaking of time-reversal symmetry is too small to significantly affect the evolution: the system still approximately evolves in its ground and first excited states, rotating to the marked vertex in time $π\sqrt{N} / 2$. Increasing the phase does not change the runtime, but rather changes the support for the 2D subspace, so the system evolves in its first and second excited states, or its second and third excited states, and so forth. Apart from the critical phases corresponding to these transitions in the support, which become more frequent as the phase grows, this reveals that our model of quantum search is robust against time-reversal symmetry breaking.
△ Less
Submitted 15 July, 2015; v1 submitted 28 April, 2015;
originally announced April 2015.
-
Quantum Walk Search through Potential Barriers
Authors:
Thomas G. Wong
Abstract:
An ideal quantum walk transitions from one vertex to another with perfect fidelity, but in physical systems, the particle may be hindered by potential energy barriers. Then the particle has some amplitude of tunneling through the barriers, and some amplitude of staying put. We investigate the algorithmic consequence of such barriers for the quantum walk formulation of Grover's algorithm. We prove…
▽ More
An ideal quantum walk transitions from one vertex to another with perfect fidelity, but in physical systems, the particle may be hindered by potential energy barriers. Then the particle has some amplitude of tunneling through the barriers, and some amplitude of staying put. We investigate the algorithmic consequence of such barriers for the quantum walk formulation of Grover's algorithm. We prove that the failure amplitude must scale as $O(1/\sqrt{N})$ for search to retain its quantum $O(\sqrt{N})$ runtime; otherwise, it searches in classical $O(N)$ time. Thus searching larger "databases" requires increasingly reliable hop operations or error correction. This condition holds for both discrete- and continuous-time quantum walks.
△ Less
Submitted 20 September, 2016; v1 submitted 23 March, 2015;
originally announced March 2015.
-
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.
-
Quantum Search with Multiple Walk Steps per Oracle Query
Authors:
Thomas G. Wong,
Andris Ambainis
Abstract:
We identify a key difference between quantum search by discrete- and continuous-time quantum walks: a discrete-time walk typically performs one walk step per oracle query, whereas a continuous-time walk can effectively perform multiple walk steps per query while only counting query time. As a result, we show that continuous-time quantum walks can outperform their discrete-time counterparts, even t…
▽ More
We identify a key difference between quantum search by discrete- and continuous-time quantum walks: a discrete-time walk typically performs one walk step per oracle query, whereas a continuous-time walk can effectively perform multiple walk steps per query while only counting query time. As a result, we show that continuous-time quantum walks can outperform their discrete-time counterparts, even though both achieve quadratic speedups over their corresponding classical random walks. To provide greater equity, we allow the discrete-time quantum walk to also take multiple walk steps per oracle query while only counting queries. Then it matches the continuous-time algorithm's runtime, but such that it is a cubic speedup over its corresponding classical random walk. This yields the first example of a greater-than-quadratic speedup for quantum search over its corresponding classical random walk.
△ Less
Submitted 22 July, 2015; v1 submitted 16 February, 2015;
originally announced February 2015.
-
Grover Search with Lackadaisical Quantum Walks
Authors:
Thomas G. Wong
Abstract:
The lazy random walk, where the walker has some probability of staying put, is a useful tool in classical algorithms. We propose a quantum analogue, the lackadaisical quantum walk, where each vertex is given $l$ self-loops, and we investigate its effects on Grover's algorithm when formulated as search for a marked vertex on the complete graph of $N$ vertices. For the discrete-time quantum walk usi…
▽ More
The lazy random walk, where the walker has some probability of staying put, is a useful tool in classical algorithms. We propose a quantum analogue, the lackadaisical quantum walk, where each vertex is given $l$ self-loops, and we investigate its effects on Grover's algorithm when formulated as search for a marked vertex on the complete graph of $N$ vertices. For the discrete-time quantum walk using the phase flip coin, adding a self-loop to each vertex boosts the success probability from 1/2 to 1. Additional self-loops, however, decrease the success probability. Using instead the Ambainis, Kempe, and Rivosh (2005) coin, adding self-loops simply slows down the search. These coins also differ in that the first is faster than classical when $l$ scales less than $N$, while the second requires that $l$ scale less than $N^2$. Finally, continuous-time quantum walks differ from both of these discrete-time examples---the self-loops make no difference at all. These behaviors generalize to multiple marked vertices.
△ Less
Submitted 25 September, 2017; v1 submitted 16 February, 2015;
originally announced February 2015.
-
Spatial Search by Continuous-Time Quantum Walk with Multiple Marked Vertices
Authors:
Thomas G. Wong
Abstract:
In the typical spatial search problems solved by continuous-time quantum walk, changing the location of the marked vertices does not alter the search problem. In this paper, we consider search when this is no longer true. In particular, we analytically solve search on the "simplex of $K_M$ complete graphs" with all configurations of two marked vertices, two configurations of $M+1$ marked vertices,…
▽ More
In the typical spatial search problems solved by continuous-time quantum walk, changing the location of the marked vertices does not alter the search problem. In this paper, we consider search when this is no longer true. In particular, we analytically solve search on the "simplex of $K_M$ complete graphs" with all configurations of two marked vertices, two configurations of $M+1$ marked vertices, and two configurations of $2(M+1)$ marked vertices, showing that the location of the marked vertices can dramatically influence the required jum** rate of the quantum walk, such that using the wrong configuration's value can cause the search to fail. This sensitivity to the jum** rate is an issue unique to continuous-time quantum walks that does not affect discrete-time ones.
△ Less
Submitted 24 September, 2015; v1 submitted 28 January, 2015;
originally announced January 2015.
-
Diagrammatic Approach to Quantum Search
Authors:
Thomas G. Wong
Abstract:
We introduce a simple diagrammatic approach for estimating how a randomly walking quantum particle searches on a graph in continuous-time, which involves sketching small weighted graphs with self-loops and considering degenerate perturbation theory's effects on them. Using this method, we give the first example of degenerate perturbation theory solving search on a graph whose evolution occurs in a…
▽ More
We introduce a simple diagrammatic approach for estimating how a randomly walking quantum particle searches on a graph in continuous-time, which involves sketching small weighted graphs with self-loops and considering degenerate perturbation theory's effects on them. Using this method, we give the first example of degenerate perturbation theory solving search on a graph whose evolution occurs in a subspace whose dimension grows with $N$.
△ Less
Submitted 9 February, 2015; v1 submitted 27 October, 2014;
originally announced October 2014.
-
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.
-
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.
-
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.
-
Algebraic techniques in designing quantum synchronizable codes
Authors:
Yuichiro Fujiwara,
Vladimir D. Tonchev,
Tony W. H. Wong
Abstract:
Quantum synchronizable codes are quantum error-correcting codes that can correct the effects of quantum noise as well as block synchronization errors. We improve the previously known general framework for designing quantum synchronizable codes through more extensive use of the theory of finite fields. This makes it possible to widen the range of tolerable magnitude of block synchronization errors…
▽ More
Quantum synchronizable codes are quantum error-correcting codes that can correct the effects of quantum noise as well as block synchronization errors. We improve the previously known general framework for designing quantum synchronizable codes through more extensive use of the theory of finite fields. This makes it possible to widen the range of tolerable magnitude of block synchronization errors while giving mathematical insight into the algebraic mechanism of synchronization recovery. Also given are families of quantum synchronizable codes based on punctured Reed-Muller codes and their ambient spaces.
△ Less
Submitted 6 June, 2013; v1 submitted 1 April, 2013;
originally announced April 2013.
-
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.
-
Two-polariton bound states in the Jaynes-Cummings-Hubbard model
Authors:
M. T. C. Wong,
C. K. Law
Abstract:
We examine the eigenstates of the one-dimensional Jaynes-Cummings-Hubbard (JCH) model in the two-excitation subspace. We discover that two-excitation bound states emerge when the ratio of vacuum Rabi frequency to the tunneling rate between cavities exceeds a critical value. We determine the critical ratio as a function of the quasi-momentum quantum number, and indicate that the bound states carry…
▽ More
We examine the eigenstates of the one-dimensional Jaynes-Cummings-Hubbard (JCH) model in the two-excitation subspace. We discover that two-excitation bound states emerge when the ratio of vacuum Rabi frequency to the tunneling rate between cavities exceeds a critical value. We determine the critical ratio as a function of the quasi-momentum quantum number, and indicate that the bound states carry a strong correlation in which the two polaritons appear to be spatially confined together.
△ Less
Submitted 7 January, 2011;
originally announced January 2011.
-
Scattering of short laser pulses from trapped fermions
Authors:
T. Wong,
Ozgur Mustecaplioglu,
L. You,
M. Lewenstein
Abstract:
We investigate the scattering of intense short laser pulses off trapped cold fermionic atoms. We discuss the sensitivity of the scattered light to the quantum statistics of the atoms. The temperature dependence of the scattered light spectrum is calculated. Comparisons are made with a system of classical atoms who obey Maxwell-Boltzmann statistics. We find the total scattering increases as the f…
▽ More
We investigate the scattering of intense short laser pulses off trapped cold fermionic atoms. We discuss the sensitivity of the scattered light to the quantum statistics of the atoms. The temperature dependence of the scattered light spectrum is calculated. Comparisons are made with a system of classical atoms who obey Maxwell-Boltzmann statistics. We find the total scattering increases as the fermions become cooler but eventually tails off at very low temperatures (far below the Fermi temperature). At these low temperatures the fermionic degeneracy plays an important role in the scattering as it inhibits spontaneous emission into occupied energy levels below the Fermi surface. We demonstrate temperature dependent qualitative changes in the differential and total spectrum can be utilized to probe quantum degeneracy of trapped Fermi gas when the total number of atoms are sufficiently large $(\geq 10^6)$. At smaller number of atoms, incoherent scattering dominates and it displays weak temperature dependence.
△ Less
Submitted 28 March, 2000; v1 submitted 13 October, 1999;
originally announced October 1999.
-
Generic model of an atom laser
Authors:
B. Kneer,
T. Wong,
K. Vogel,
W. P. Schleich,
D. F. Walls
Abstract:
We present a generic model of an atom laser by including a pump and loss term in the Gross-Pitaevskii equation. We show that there exists a threshold for the pump above which the mean matter field assumes a non-vanishing value in steady-state. We study the transient regime of this atom laser and find oscillations around the stationary solution even in the presence of a loss term. These oscillati…
▽ More
We present a generic model of an atom laser by including a pump and loss term in the Gross-Pitaevskii equation. We show that there exists a threshold for the pump above which the mean matter field assumes a non-vanishing value in steady-state. We study the transient regime of this atom laser and find oscillations around the stationary solution even in the presence of a loss term. These oscillations are damped away when we introduce a position dependent loss term. For this case we present a modified Thomas-Fermi solution that takes into account the pump and loss. Our generic model of an atom laser is analogous to the semi-classical theory of the laser.
△ Less
Submitted 20 August, 1998; v1 submitted 24 June, 1998;
originally announced June 1998.
-
Phase preparation by atom counting of Bose-Einstein condensates in mixed states
Authors:
R. Graham,
T. Wong,
M. J. Collett,
S. M. Tan,
D. F. Walls
Abstract:
We study the build up of quantum coherence between two Bose-Einstein condensates which are initially in mixed states. We consider in detail the two cases where each condensate is initially in a thermal or a Poisson distribution of atom number. Although initially there is no relative phase between the condensates, a sequence of spatial atom detections produces an interference pattern with arbitra…
▽ More
We study the build up of quantum coherence between two Bose-Einstein condensates which are initially in mixed states. We consider in detail the two cases where each condensate is initially in a thermal or a Poisson distribution of atom number. Although initially there is no relative phase between the condensates, a sequence of spatial atom detections produces an interference pattern with arbitrary but fixed relative phase. The visibility of this interference pattern is close to one for the Poisson distribution of two condensates with equal counting rates but it becomes a stochastic variable in the thermal case, where the visibility will vary from run to run around an average visibility of $π/4.$ In both cases, the variance of the phase distribution is inversely proportional to the number of atom detections in the regime where this number is large compared to one but small compared with the total number of atoms in the condensates.
△ Less
Submitted 17 April, 1997;
originally announced April 1997.
-
Tests of Bose-broken Symmetry in Atomic Bose-Einstein Condensates
Authors:
T. Wong,
M. J. Collett,
S. M. Tan,
D. F. Walls,
E. M. Wright
Abstract:
We present an elementary model of the collapses and revivals in the visibility of the interference between two atomic Bose-Einstein condensates. We obtain different predictions of the revival times whether we conserve or break atom number conservation from the outset. The validity of Bose-broken symmetry can be tested by observations of these collapses and revivals.
We present an elementary model of the collapses and revivals in the visibility of the interference between two atomic Bose-Einstein condensates. We obtain different predictions of the revival times whether we conserve or break atom number conservation from the outset. The validity of Bose-broken symmetry can be tested by observations of these collapses and revivals.
△ Less
Submitted 13 November, 1996;
originally announced November 1996.
