-
Optimal Coherent Quantum Phase Estimation via Tapering
Authors:
Dhrumil Patel,
Shi Jie Samuel Tan,
Yigit Subasi,
Andrew T. Sornborger
Abstract:
Quantum phase estimation is one of the fundamental primitives that underpins many quantum algorithms, including quantum amplitude estimation, the HHL algorithm for solving linear systems of equations, and quantum principal component analysis. Due to its significance as a subroutine, in this work, we study the coherent version of the phase estimation problem, where given an arbitrary input state an…
▽ More
Quantum phase estimation is one of the fundamental primitives that underpins many quantum algorithms, including quantum amplitude estimation, the HHL algorithm for solving linear systems of equations, and quantum principal component analysis. Due to its significance as a subroutine, in this work, we study the coherent version of the phase estimation problem, where given an arbitrary input state and black-box access to unitaries $U$ and controlled-$U$, the goal is to estimate the phases of $U$ in superposition. Unlike most existing phase estimation algorithms, which employ intermediary measurements steps that inevitably destroy coherence, only a couple of algorithms, including the well-known standard quantum phase estimation algorithm, consider this coherent setting. In this work, we propose an improved version of this standard algorithm that utilizes tapering/window functions. Our algorithm, which we call tapered quantum phase estimation algorithm, achieves the optimal query complexity (total number of calls to $U$ and controlled-$U$) without requiring the use of a computationally expensive quantum sorting network for median computation, which the standard algorithm uses to boost the success probability arbitrarily close to one. We also show that the tapering functions that we use are optimal by formulating optimization problems with different optimization criteria. Beyond the asymptotic regime, we also provide non-asymptotic query complexity of our algorithm, as it is crucial for practical implementation. Finally, we also propose an efficient algorithm that prepares the quantum state corresponding to the optimal tapering function.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
Quantum Tensor Product Decomposition from Choi State Tomography
Authors:
Refik Mansuroglu,
Arsalan Adil,
Michael J. Hartmann,
Zoë Holmes,
Andrew T. Sornborger
Abstract:
The Schmidt decomposition is the go-to tool for measuring bipartite entanglement of pure quantum states. Similarly, it is possible to study the entangling features of a quantum operation using its operator-Schmidt, or tensor product decomposition. While quantum technological implementations of the former are thoroughly studied, entangling properties on the operator level are harder to extract in t…
▽ More
The Schmidt decomposition is the go-to tool for measuring bipartite entanglement of pure quantum states. Similarly, it is possible to study the entangling features of a quantum operation using its operator-Schmidt, or tensor product decomposition. While quantum technological implementations of the former are thoroughly studied, entangling properties on the operator level are harder to extract in the quantum computational framework because of the exponential nature of sample complexity. Here we present an algorithm for unbalanced partitions into a small subsystem and a large one (the environment) to compute the tensor product decomposition of a unitary whose effect on the small subsystem is captured in classical memory while the effect on the environment is accessible as a quantum resource. This quantum algorithm may be used to make predictions about operator non-locality, effective open quantum dynamics on a subsystem, as well as for finding low-rank approximations and low-depth compilations of quantum circuit unitaries. We demonstrate the method and its applications on a time-evolution unitary of an isotropic Heisenberg model in two dimensions.
△ Less
Submitted 18 June, 2024; v1 submitted 7 February, 2024;
originally announced February 2024.
-
The cost of solving linear differential equations on a quantum computer: fast-forwarding to explicit resource counts
Authors:
David Jennings,
Matteo Lostaglio,
Robert B. Lowrie,
Sam Pallister,
Andrew T. Sornborger
Abstract:
How well can quantum computers simulate classical dynamical systems? There is increasing effort in develo** quantum algorithms to efficiently simulate dynamics beyond Hamiltonian simulation, but so far exact resource estimates are not known. In this work, we provide two significant contributions. First, we give the first non-asymptotic computation of the cost of encoding the solution to general…
▽ More
How well can quantum computers simulate classical dynamical systems? There is increasing effort in develo** quantum algorithms to efficiently simulate dynamics beyond Hamiltonian simulation, but so far exact resource estimates are not known. In this work, we provide two significant contributions. First, we give the first non-asymptotic computation of the cost of encoding the solution to general linear ordinary differential equations into quantum states -- either the solution at a final time, or an encoding of the whole history within a time interval. Second, we show that the stability properties of a large class of classical dynamics allow their fast-forwarding, making their quantum simulation much more time-efficient. From this point of view, quantum Hamiltonian dynamics is a boundary case that does not allow this form of stability-induced fast-forwarding. In particular, we find that the history state can always be output with complexity $O(T^{1/2})$ for any stable linear system. We present a range of asymptotic improvements over state-of-the-art in various regimes. We illustrate our results with a family of dynamics including linearized collisional plasma problems, coupled, damped, forced harmonic oscillators and dissipative nonlinear problems. In this case the scaling is quadratically improved, and leads to significant reductions in the query counts after inclusion of all relevant constant prefactors.
△ Less
Submitted 15 March, 2024; v1 submitted 14 September, 2023;
originally announced September 2023.
-
Mixed Quantum-Semiclassical Simulation
Authors:
Javier Gonzalez-Conde,
Andrew T. Sornborger
Abstract:
We study the quantum simulation of mixed quantum-semiclassical (MQS) systems, of fundamental interest in many areas of physics, such as molecular scattering and gravitational backreaction. A basic question for these systems is whether quantum algorithms of MQS systems would be valuable at all, when one could instead study the full quantum-quantum system. We study MQS simulations in the context whe…
▽ More
We study the quantum simulation of mixed quantum-semiclassical (MQS) systems, of fundamental interest in many areas of physics, such as molecular scattering and gravitational backreaction. A basic question for these systems is whether quantum algorithms of MQS systems would be valuable at all, when one could instead study the full quantum-quantum system. We study MQS simulations in the context where a semiclassical system is encoded in a Koopman-von Neumann (KvN) Hamiltonian and a standard quantum Hamiltonian describes the quantum system. In this case, because KvN and quantum Hamiltonians are constructed with the same operators on a Hilbert space, standard theorems guaranteeing simulation efficiency apply. We show that, in this context, $\textit{many-body}$ MQS particle simulations give only nominal improvements in qubit resources over quantum-quantum simulations due to logarithmic scaling in the ratio, $S_q/S_c$, of actions between quantum and semiclassical systems. However, $\textit{field}$ simulations can give improvements proportional to the ratio of quantum to semiclassical actions, $S_q/S_c$. Of particular note, due to the ratio $S_q/S_c \sim 10^{-18}$ of particle and gravitational fields, this approach could be important for semiclassical gravity. We demonstrate our approach in a model of gravitational interaction, where a harmonic oscillator mediates the interaction between two spins. In particular, we demonstrate a lack of distillable entanglement generation between spins due to classical mediators, a distinct difference in dynamics relative to the fully quantum case.
△ Less
Submitted 30 August, 2023;
originally announced August 2023.
-
Robust design under uncertainty in quantum error mitigation
Authors:
Piotr Czarnik,
Michael McKerns,
Andrew T. Sornborger,
Lukasz Cincio
Abstract:
Error mitigation techniques are crucial to achieving near-term quantum advantage. Classical post-processing of quantum computation outcomes is a popular approach for error mitigation, which includes methods such as Zero Noise Extrapolation, Virtual Distillation, and learning-based error mitigation. However, these techniques have limitations due to the propagation of uncertainty resulting from a fi…
▽ More
Error mitigation techniques are crucial to achieving near-term quantum advantage. Classical post-processing of quantum computation outcomes is a popular approach for error mitigation, which includes methods such as Zero Noise Extrapolation, Virtual Distillation, and learning-based error mitigation. However, these techniques have limitations due to the propagation of uncertainty resulting from a finite shot number of the quantum measurement. To overcome this limitation, we propose general and unbiased methods for quantifying the uncertainty and error of error-mitigated observables by sampling error mitigation outcomes. These methods are applicable to any post-processing-based error mitigation approach. In addition, we present a systematic approach for optimizing the performance and robustness of these error mitigation methods under uncertainty, building on our proposed uncertainty quantification methods. To illustrate the effectiveness of our methods, we apply them to Clifford Data Regression in the ground state of the XY model simulated using IBM's Toronto noise model.
△ Less
Submitted 11 July, 2023;
originally announced July 2023.
-
Efficient quantum linear solver algorithm with detailed running costs
Authors:
David Jennings,
Matteo Lostaglio,
Sam Pallister,
Andrew T Sornborger,
Yiğit Subaşı
Abstract:
As we progress towards physical implementation of quantum algorithms it is vital to determine the explicit resource costs needed to run them. Solving linear systems of equations is a fundamental problem with a wide variety of applications across many fields of science, and there is increasing effort to develop quantum linear solver algorithms. Here we introduce a quantum linear solver algorithm co…
▽ More
As we progress towards physical implementation of quantum algorithms it is vital to determine the explicit resource costs needed to run them. Solving linear systems of equations is a fundamental problem with a wide variety of applications across many fields of science, and there is increasing effort to develop quantum linear solver algorithms. Here we introduce a quantum linear solver algorithm combining ideas from adiabatic quantum computing with filtering techniques based on quantum signal processing. We give a closed formula for the non-asymptotic query complexity $Q$ -- the exact number of calls to a block-encoding of the linear system matrix -- as a function of condition number $κ$, error tolerance $ε$ and block-encoding scaling factor $α$. Our protocol reduces the cost of quantum linear solvers over state-of-the-art close to an order of magnitude for early implementations. The asymptotic scaling is $O(κ\log(κ/ε))$, slightly looser than the $O(κ\log(1/ε))$ scaling of the asymptotically optimal algorithm of Costa et al. However, our algorithm outperforms the latter for all condition numbers up to $κ\approx 10^{32}$, at which point $Q$ is comparably large, and both algorithms are anyway practically unfeasible. The present optimized analysis is both problem-agnostic and architecture-agnostic, and hence can be deployed in any quantum algorithm that uses linear solvers as a subroutine.
△ Less
Submitted 18 May, 2023;
originally announced May 2023.
-
Learning linear optical circuits with coherent states
Authors:
T. J. Volkoff,
Andrew T. Sornborger
Abstract:
We analyze the energy and training data requirements for supervised learning of an $M$-mode linear optical circuit by minimizing an empirical risk defined solely from the action of the circuit on coherent states. When the linear optical circuit acts non-trivially only on $k<M$ unknown modes (i.e., a linear optical $k$-junta), we provide an energy-efficient, adaptive algorithm that identifies the j…
▽ More
We analyze the energy and training data requirements for supervised learning of an $M$-mode linear optical circuit by minimizing an empirical risk defined solely from the action of the circuit on coherent states. When the linear optical circuit acts non-trivially only on $k<M$ unknown modes (i.e., a linear optical $k$-junta), we provide an energy-efficient, adaptive algorithm that identifies the junta set and learns the circuit. We compare two schemes for allocating a total energy, $E$, to the learning algorithm. In the first scheme, each of the $T$ random training coherent states has energy $E/T$. In the second scheme, a single random $MT$-mode coherent state with energy $E$ is partitioned into $T$ training coherent states. The latter scheme exhibits a polynomial advantage in training data size sufficient for convergence of the empirical risk to the full risk due to concentration of measure on the $(2MT-1)$-sphere. Specifically, generalization bounds for both schemes are proven, which indicate the sufficiency of $O(E^{1/2}M)$ training states ($O(E^{1/3}M^{1/3})$ training states) in the first (second) scheme.
△ Less
Submitted 31 March, 2023;
originally announced April 2023.
-
Large-scale simulations of Floquet physics on near-term quantum computers
Authors:
Timo Eckstein,
Refik Mansuroglu,
Piotr Czarnik,
Jian-Xin Zhu,
Michael J. Hartmann,
Lukasz Cincio,
Andrew T. Sornborger,
Zoë Holmes
Abstract:
Quantum systems subject to periodic driving exhibit a diverse set of phenomena both of fundamental and technological interest. However, such dynamical systems are more challenging to simulate classically than their equilibrium counterparts. Here, we introduce the Quantum High Frequency Floquet Simulation (QHiFFS) algorithm as a method for simulating the dynamics of fast-driven Floquet systems on q…
▽ More
Quantum systems subject to periodic driving exhibit a diverse set of phenomena both of fundamental and technological interest. However, such dynamical systems are more challenging to simulate classically than their equilibrium counterparts. Here, we introduce the Quantum High Frequency Floquet Simulation (QHiFFS) algorithm as a method for simulating the dynamics of fast-driven Floquet systems on quantum hardware. Central to QHiFFS is the concept of a kick operator which transforms the system into a basis where the dynamics is governed by a time-independent effective Hamiltonian. This allows prior methods for time-independent Hamiltonian simulation to be lifted to the simulation of Floquet systems. We use the periodically driven biaxial next-nearest neighbor Ising (BNNNI) model as a case study to illustrate our algorithm. This oft-studied model is a natural test bed for quantum frustrated magnetism and criticality. We successfully implemented a 20-qubit simulation of the driven two-dimensional BNNNI model on Quantinuum's trapped ion quantum computer. This is complemented with an analysis of QHiFFS algorithmic errors. Our study indicates that the algorithm exhibits not only a cubic scaling advantage in driving frequency $ω$ but also a linear one in simulation time $t$ compared to Trotterisation, making it an interesting avenue to push towards near-term quantum advantage.
△ Less
Submitted 3 March, 2023;
originally announced March 2023.
-
Quantum Mixed State Compiling
Authors:
Nic Ezzell,
Elliott M. Ball,
Aliza U. Siddiqui,
Mark M. Wilde,
Andrew T. Sornborger,
Patrick J. Coles,
Zoë Holmes
Abstract:
The task of learning a quantum circuit to prepare a given mixed state is a fundamental quantum subroutine. We present a variational quantum algorithm (VQA) to learn mixed states which is suitable for near-term hardware. Our algorithm represents a generalization of previous VQAs that aimed at learning preparation circuits for pure states. We consider two different ansätze for compiling the target s…
▽ More
The task of learning a quantum circuit to prepare a given mixed state is a fundamental quantum subroutine. We present a variational quantum algorithm (VQA) to learn mixed states which is suitable for near-term hardware. Our algorithm represents a generalization of previous VQAs that aimed at learning preparation circuits for pure states. We consider two different ansätze for compiling the target state; the first is based on learning a purification of the state and the second on representing it as a convex combination of pure states. In both cases, the resources required to store and manipulate the compiled state grow with the rank of the approximation. Thus, by learning a lower rank approximation of the target state, our algorithm provides a means of compressing a state for more efficient processing. As a byproduct of our algorithm, one effectively learns the principal components of the target state, and hence our algorithm further provides a new method for principal component analysis. We investigate the efficacy of our algorithm through extensive numerical implementations, showing that typical random states and thermal states of many body systems may be learnt this way. Additionally, we demonstrate on quantum hardware how our algorithm can be used to study hardware noise-induced states.
△ Less
Submitted 1 May, 2023; v1 submitted 1 September, 2022;
originally announced September 2022.
-
Inference-Based Quantum Sensing
Authors:
C. Huerta Alderete,
Max Hunter Gordon,
Frederic Sauvage,
Akira Sone,
Andrew T. Sornborger,
Patrick J. Coles,
M. Cerezo
Abstract:
In a standard Quantum Sensing (QS) task one aims at estimating an unknown parameter $θ$, encoded into an $n$-qubit probe state, via measurements of the system. The success of this task hinges on the ability to correlate changes in the parameter to changes in the system response $\mathcal{R}(θ)$ (i.e., changes in the measurement outcomes). For simple cases the form of $\mathcal{R}(θ)$ is known, but…
▽ More
In a standard Quantum Sensing (QS) task one aims at estimating an unknown parameter $θ$, encoded into an $n$-qubit probe state, via measurements of the system. The success of this task hinges on the ability to correlate changes in the parameter to changes in the system response $\mathcal{R}(θ)$ (i.e., changes in the measurement outcomes). For simple cases the form of $\mathcal{R}(θ)$ is known, but the same cannot be said for realistic scenarios, as no general closed-form expression exists. In this work we present an inference-based scheme for QS. We show that, for a general class of unitary families of encoding, $\mathcal{R}(θ)$ can be fully characterized by only measuring the system response at $2n+1$ parameters. This allows us to infer the value of an unknown parameter given the measured response, as well as to determine the sensitivity of the scheme, which characterizes its overall performance. We show that inference error is, with high probability, smaller than $δ$, if one measures the system response with a number of shots that scales only as $Ω(\log^3(n)/δ^2)$. Furthermore, the framework presented can be broadly applied as it remains valid for arbitrary probe states and measurement schemes, and, even holds in the presence of quantum noise. We also discuss how to extend our results beyond unitary families. Finally, to showcase our method we implement it for a QS task on real quantum hardware, and in numerical simulations.
△ Less
Submitted 4 August, 2023; v1 submitted 20 June, 2022;
originally announced June 2022.
-
Dynamical simulation via quantum machine learning with provable generalization
Authors:
Joe Gibbs,
Zoë Holmes,
Matthias C. Caro,
Nicholas Ezzell,
Hsin-Yuan Huang,
Lukasz Cincio,
Andrew T. Sornborger,
Patrick J. Coles
Abstract:
Much attention has been paid to dynamical simulation and quantum machine learning (QML) independently as applications for quantum advantage, while the possibility of using QML to enhance dynamical simulations has not been thoroughly investigated. Here we develop a framework for using QML methods to simulate quantum dynamics on near-term quantum hardware. We use generalization bounds, which bound t…
▽ More
Much attention has been paid to dynamical simulation and quantum machine learning (QML) independently as applications for quantum advantage, while the possibility of using QML to enhance dynamical simulations has not been thoroughly investigated. Here we develop a framework for using QML methods to simulate quantum dynamics on near-term quantum hardware. We use generalization bounds, which bound the error a machine learning model makes on unseen data, to rigorously analyze the training data requirements of an algorithm within this framework. This provides a guarantee that our algorithm is resource-efficient, both in terms of qubit and data requirements. Our numerics exhibit efficient scaling with problem size, and we simulate 20 times longer than Trotterization on IBMQ-Bogota.
△ Less
Submitted 6 September, 2022; v1 submitted 21 April, 2022;
originally announced April 2022.
-
Out-of-distribution generalization for learning quantum dynamics
Authors:
Matthias C. Caro,
Hsin-Yuan Huang,
Nicholas Ezzell,
Joe Gibbs,
Andrew T. Sornborger,
Lukasz Cincio,
Patrick J. Coles,
Zoë Holmes
Abstract:
Generalization bounds are a critical tool to assess the training data requirements of Quantum Machine Learning (QML). Recent work has established guarantees for in-distribution generalization of quantum neural networks (QNNs), where training and testing data are drawn from the same data distribution. However, there are currently no results on out-of-distribution generalization in QML, where we req…
▽ More
Generalization bounds are a critical tool to assess the training data requirements of Quantum Machine Learning (QML). Recent work has established guarantees for in-distribution generalization of quantum neural networks (QNNs), where training and testing data are drawn from the same data distribution. However, there are currently no results on out-of-distribution generalization in QML, where we require a trained model to perform well even on data drawn from a different distribution to the training distribution. Here, we prove out-of-distribution generalization for the task of learning an unknown unitary. In particular, we show that one can learn the action of a unitary on entangled states having trained only product states. Since product states can be prepared using only single-qubit gates, this advances the prospects of learning quantum dynamics on near term quantum hardware, and further opens up new methods for both the classical and quantum compilation of quantum circuits.
△ Less
Submitted 9 July, 2023; v1 submitted 21 April, 2022;
originally announced April 2022.
-
Improving the efficiency of learning-based error mitigation
Authors:
Piotr Czarnik,
Michael McKerns,
Andrew T. Sornborger,
Lukasz Cincio
Abstract:
Error mitigation will play an important role in practical applications of near-term noisy quantum computers. Current error mitigation methods typically concentrate on correction quality at the expense of frugality (as measured by the number of additional calls to quantum hardware). To fill the need for highly accurate, yet inexpensive techniques, we introduce an error mitigation scheme that builds…
▽ More
Error mitigation will play an important role in practical applications of near-term noisy quantum computers. Current error mitigation methods typically concentrate on correction quality at the expense of frugality (as measured by the number of additional calls to quantum hardware). To fill the need for highly accurate, yet inexpensive techniques, we introduce an error mitigation scheme that builds on Clifford data regression (CDR). The scheme improves the frugality by carefully choosing the training data and exploiting the symmetries of the problem. We test our approach by correcting long range correlators of the ground state of XY Hamiltonian on IBM Toronto quantum computer. We find that our method is an order of magnitude cheaper while maintaining the same accuracy as the original CDR approach. The efficiency gain enables us to obtain a factor of $10$ improvement on the unmitigated results with the total budget as small as $2\cdot10^5$ shots.
△ Less
Submitted 14 April, 2022;
originally announced April 2022.
-
Koopman von Neumann mechanics and the Koopman representation: A perspective on solving nonlinear dynamical systems with quantum computers
Authors:
Yen Ting Lin,
Robert B. Lowrie,
Denis Aslangil,
Yiğit Subaşı,
Andrew T. Sornborger
Abstract:
A number of recent studies have proposed that linear representations are appropriate for solving nonlinear dynamical systems with quantum computers, which fundamentally act linearly on a wave function in a Hilbert space. Linear representations, such as the Koopman representation and Koopman von Neumann mechanics, have regained attention from the dynamical-systems research community. Here, we aim t…
▽ More
A number of recent studies have proposed that linear representations are appropriate for solving nonlinear dynamical systems with quantum computers, which fundamentally act linearly on a wave function in a Hilbert space. Linear representations, such as the Koopman representation and Koopman von Neumann mechanics, have regained attention from the dynamical-systems research community. Here, we aim to present a unified theoretical framework, currently missing in the literature, with which one can compare and relate existing methods, their conceptual basis, and their representations. We also aim to show that, despite the fact that quantum simulation of nonlinear classical systems may be possible with such linear representations, a necessary projection into a feasible finite-dimensional space will in practice eventually induce numerical artifacts which can be hard to eliminate or even control. As a result a practical, reliable and accurate way to use quantum computation for solving general nonlinear dynamical systems is still an open problem.
△ Less
Submitted 6 February, 2022; v1 submitted 4 February, 2022;
originally announced February 2022.
-
On nonlinear transformations in quantum computation
Authors:
Zoë Holmes,
Nolan Coble,
Andrew T. Sornborger,
Yiğit Subaşı
Abstract:
While quantum computers are naturally well-suited to implementing linear operations, it is less clear how to implement nonlinear operations on quantum computers. However, nonlinear subroutines may prove key to a range of applications of quantum computing from solving nonlinear equations to data processing and quantum machine learning. Here we develop a series of basic subroutines for implementing…
▽ More
While quantum computers are naturally well-suited to implementing linear operations, it is less clear how to implement nonlinear operations on quantum computers. However, nonlinear subroutines may prove key to a range of applications of quantum computing from solving nonlinear equations to data processing and quantum machine learning. Here we develop a series of basic subroutines for implementing nonlinear transformations of input quantum states. Our algorithms are framed around the concept of a weighted state, a mathematical entity describing the output of an operational procedure involving both quantum circuits and classical post-processing.
△ Less
Submitted 15 February, 2023; v1 submitted 22 December, 2021;
originally announced December 2021.
-
Binary Operations on Neuromorphic Hardware with Application to Linear Algebraic Operations and Stochastic Equations
Authors:
Oleksandr Iaroshenko,
Andrew T. Sornborger
Abstract:
Non-von Neumann computational hardware, based on neuron-inspired, non-linear elements connected via linear, weighted synapses -- so-called neuromorphic systems -- is a viable computational substrate. Since neuromorphic systems have been shown to use less power than CPUs for many applications, they are of potential use in autonomous systems such as robots, drones, and satellites, for which power re…
▽ More
Non-von Neumann computational hardware, based on neuron-inspired, non-linear elements connected via linear, weighted synapses -- so-called neuromorphic systems -- is a viable computational substrate. Since neuromorphic systems have been shown to use less power than CPUs for many applications, they are of potential use in autonomous systems such as robots, drones, and satellites, for which power resources are at a premium. The power used by neuromorphic systems is approximately proportional to the number of spiking events produced by neurons on-chip. However, typical information encoding on these chips is in the form of firing rates that unarily encode information. That is, the number of spikes generated by a neuron is meant to be proportional to an encoded value used in a computation or algorithm. Unary encoding is less efficient (produces more spikes) than binary encoding. For this reason, here we present neuromorphic computational mechanisms for implementing binary two's complement operations. We use the mechanisms to construct a neuromorphic, binary matrix multiplication algorithm that may be used as a primitive for linear differential equation integration, deep networks, and other standard calculations. We also construct a random walk circuit and apply it in Brownian motion simulations. We study how both algorithms scale in circuit size and iteration time.
△ Less
Submitted 16 March, 2021;
originally announced March 2021.
-
Absence of Barren Plateaus in Quantum Convolutional Neural Networks
Authors:
Arthur Pesah,
M. Cerezo,
Samson Wang,
Tyler Volkoff,
Andrew T. Sornborger,
Patrick J. Coles
Abstract:
Quantum neural networks (QNNs) have generated excitement around the possibility of efficiently analyzing quantum data. But this excitement has been tempered by the existence of exponentially vanishing gradients, known as barren plateau landscapes, for many QNN architectures. Recently, Quantum Convolutional Neural Networks (QCNNs) have been proposed, involving a sequence of convolutional and poolin…
▽ More
Quantum neural networks (QNNs) have generated excitement around the possibility of efficiently analyzing quantum data. But this excitement has been tempered by the existence of exponentially vanishing gradients, known as barren plateau landscapes, for many QNN architectures. Recently, Quantum Convolutional Neural Networks (QCNNs) have been proposed, involving a sequence of convolutional and pooling layers that reduce the number of qubits while preserving information about relevant data features. In this work we rigorously analyze the gradient scaling for the parameters in the QCNN architecture. We find that the variance of the gradient vanishes no faster than polynomially, implying that QCNNs do not exhibit barren plateaus. This provides an analytical guarantee for the trainability of randomly initialized QCNNs, which highlights QCNNs as being trainable under random initialization unlike many other QNN architectures. To derive our results we introduce a novel graph-based method to analyze expectation values over Haar-distributed unitaries, which will likely be useful in other contexts. Finally, we perform numerical simulations to verify our analytical results.
△ Less
Submitted 1 November, 2021; v1 submitted 5 November, 2020;
originally announced November 2020.
-
Barren plateaus preclude learning scramblers
Authors:
Zoë Holmes,
Andrew Arrasmith,
Bin Yan,
Patrick J. Coles,
Andreas Albrecht,
Andrew T. Sornborger
Abstract:
Scrambling processes, which rapidly spread entanglement through many-body quantum systems, are difficult to investigate using standard techniques, but are relevant to quantum chaos and thermalization. In this Letter, we ask if quantum machine learning (QML) could be used to investigate such processes. We prove a no-go theorem for learning an unknown scrambling process with QML, showing that any va…
▽ More
Scrambling processes, which rapidly spread entanglement through many-body quantum systems, are difficult to investigate using standard techniques, but are relevant to quantum chaos and thermalization. In this Letter, we ask if quantum machine learning (QML) could be used to investigate such processes. We prove a no-go theorem for learning an unknown scrambling process with QML, showing that any variational ansatz is highly probable to have a barren plateau landscape, i.e., cost gradients that vanish exponentially in the system size. This implies that the required resources scale exponentially even when strategies to avoid such scaling (e.g., from ansatz-based barren plateaus or No-Free-Lunch theorems) are employed. Furthermore, we numerically and analytically extend our results to approximate scramblers. Hence, our work places generic limits on the learnability of unitaries when lacking prior information.
△ Less
Submitted 19 October, 2021; v1 submitted 30 September, 2020;
originally announced September 2020.
-
Variational Consistent Histories as a Hybrid Algorithm for Quantum Foundations
Authors:
Andrew Arrasmith,
Lukasz Cincio,
Andrew T. Sornborger,
Wojciech H. Zurek,
Patrick J. Coles
Abstract:
Although quantum computers are predicted to have many commercial applications, less attention has been given to their potential for resolving foundational issues in quantum mechanics. Here we focus on quantum computers' utility for the Consistent Histories formalism, which has previously been employed to study quantum cosmology, quantum paradoxes, and the quantum-to-classical transition. We presen…
▽ More
Although quantum computers are predicted to have many commercial applications, less attention has been given to their potential for resolving foundational issues in quantum mechanics. Here we focus on quantum computers' utility for the Consistent Histories formalism, which has previously been employed to study quantum cosmology, quantum paradoxes, and the quantum-to-classical transition. We present a variational hybrid quantum-classical algorithm for finding consistent histories, which should revitalize interest in this formalism by allowing classically impossible calculations to be performed. In our algorithm, the quantum computer evaluates the decoherence functional (with exponential speedup in both the number of qubits and the number of times in the history), and a classical optimizer adjusts the history parameters to improve consistency. We implement our algorithm on a cloud quantum computer to find consistent histories for a spin in a magnetic field, and on a simulator to observe the emergence of classicality for a chiral molecule.
△ Less
Submitted 12 August, 2019; v1 submitted 27 December, 2018;
originally announced December 2018.
-
Quantum-assisted quantum compiling
Authors:
Sumeet Khatri,
Ryan LaRose,
Alexander Poremba,
Lukasz Cincio,
Andrew T. Sornborger,
Patrick J. Coles
Abstract:
Compiling quantum algorithms for near-term quantum computers (accounting for connectivity and native gate alphabets) is a major challenge that has received significant attention both by industry and academia. Avoiding the exponential overhead of classical simulation of quantum dynamics will allow compilation of larger algorithms, and a strategy for this is to evaluate an algorithm's cost on a quan…
▽ More
Compiling quantum algorithms for near-term quantum computers (accounting for connectivity and native gate alphabets) is a major challenge that has received significant attention both by industry and academia. Avoiding the exponential overhead of classical simulation of quantum dynamics will allow compilation of larger algorithms, and a strategy for this is to evaluate an algorithm's cost on a quantum computer. To this end, we propose a variational hybrid quantum-classical algorithm called quantum-assisted quantum compiling (QAQC). In QAQC, we use the overlap between a target unitary $U$ and a trainable unitary $V$ as the cost function to be evaluated on the quantum computer. More precisely, to ensure that QAQC scales well with problem size, our cost involves not only the global overlap ${\rm Tr} (V^\dagger U)$ but also the local overlaps with respect to individual qubits. We introduce novel short-depth quantum circuits to quantify the terms in our cost function, and we prove that our cost cannot be efficiently approximated with a classical algorithm under reasonable complexity assumptions. We present both gradient-free and gradient-based approaches to minimizing this cost. As a demonstration of QAQC, we compile various one-qubit gates on IBM's and Rigetti's quantum computers into their respective native gate alphabets. Furthermore, we successfully simulate QAQC up to a problem size of 9 qubits, and these simulations highlight both the scalability of our cost function as well as the noise resilience of QAQC. Future applications of QAQC include algorithm depth compression, black-box compiling, noise mitigation, and benchmarking.
△ Less
Submitted 7 May, 2019; v1 submitted 2 July, 2018;
originally announced July 2018.
-
Learning the quantum algorithm for state overlap
Authors:
Lukasz Cincio,
Yiğit Subaşı,
Andrew T. Sornborger,
Patrick J. Coles
Abstract:
Short-depth algorithms are crucial for reducing computational error on near-term quantum computers, for which decoherence and gate infidelity remain important issues. Here we present a machine-learning approach for discovering such algorithms. We apply our method to a ubiquitous primitive: computing the overlap ${\rm Tr}(ρσ)$ between two quantum states $ρ$ and $σ$. The standard algorithm for this…
▽ More
Short-depth algorithms are crucial for reducing computational error on near-term quantum computers, for which decoherence and gate infidelity remain important issues. Here we present a machine-learning approach for discovering such algorithms. We apply our method to a ubiquitous primitive: computing the overlap ${\rm Tr}(ρσ)$ between two quantum states $ρ$ and $σ$. The standard algorithm for this task, known as the Swap Test, is used in many applications such as quantum support vector machines, and, when specialized to $ρ= σ$, quantifies the Renyi entanglement. Here, we find algorithms that have shorter depths than the Swap Test, including one that has a constant depth (independent of problem size). Furthermore, we apply our approach to the hardware-specific connectivity and gate sets used by Rigetti's and IBM's quantum computers and demonstrate that the shorter algorithms that we derive significantly reduce the error - compared to the Swap Test - on these computers.
△ Less
Submitted 16 November, 2018; v1 submitted 12 March, 2018;
originally announced March 2018.
-
A Multitaper, Causal Decomposition for Stochastic, Multivariate Time Series: Application to High-Frequency Calcium Imaging Data
Authors:
Andrew T. Sornborger,
James D. Lauderdale
Abstract:
Neural data analysis has increasingly incorporated causal information to study circuit connectivity. Dimensional reduction forms the basis of most analyses of large multivariate time series. Here, we present a new, multitaper-based decomposition for stochastic, multivariate time series that acts on the covariance of the time series at all lags, $C(τ)$, as opposed to standard methods that decompose…
▽ More
Neural data analysis has increasingly incorporated causal information to study circuit connectivity. Dimensional reduction forms the basis of most analyses of large multivariate time series. Here, we present a new, multitaper-based decomposition for stochastic, multivariate time series that acts on the covariance of the time series at all lags, $C(τ)$, as opposed to standard methods that decompose the time series, $\mathbf{X}(t)$, using only information at zero-lag. In both simulated and neural imaging examples, we demonstrate that methods that neglect the full causal structure may be discarding important dynamical information in a time series.
△ Less
Submitted 15 March, 2017;
originally announced March 2017.
-
A Pulse-Gated, Predictive Neural Circuit
Authors:
Yuxiu Shao,
Andrew T. Sornborger,
Louis Tao
Abstract:
Recent evidence suggests that neural information is encoded in packets and may be flexibly routed from region to region. We have hypothesized that neural circuits are split into sub-circuits where one sub-circuit controls information propagation via pulse gating and a second sub-circuit processes graded information under the control of the first sub-circuit. Using an explicit pulse-gating mechanis…
▽ More
Recent evidence suggests that neural information is encoded in packets and may be flexibly routed from region to region. We have hypothesized that neural circuits are split into sub-circuits where one sub-circuit controls information propagation via pulse gating and a second sub-circuit processes graded information under the control of the first sub-circuit. Using an explicit pulse-gating mechanism, we have been able to show how information may be processed by such pulse-controlled circuits and also how, by allowing the information processing circuit to interact with the gating circuit, decisions can be made. Here, we demonstrate how Hebbian plasticity may be used to supplement our pulse-gated information processing framework by implementing a machine learning algorithm. The resulting neural circuit has a number of structures that are similar to biological neural systems, including a layered structure and information propagation driven by oscillatory gating with a complex frequency spectrum.
△ Less
Submitted 15 March, 2017;
originally announced March 2017.
-
Cusps Enable Line Attractors for Neural Computation
Authors:
Zhuocheng Xiao,
Jiwei Zhang,
Andrew T. Sornborger,
Louis Tao
Abstract:
Line attractors in neuronal networks have been suggested to be the basis of many brain functions, such as working memory, oculomotor control, head movement, locomotion, and sensory processing. In this paper, we make the connection between line attractors and pulse-gating in feedforward neuronal networks. In this context, because of their neutral stability along a one-dimensional manifold, line att…
▽ More
Line attractors in neuronal networks have been suggested to be the basis of many brain functions, such as working memory, oculomotor control, head movement, locomotion, and sensory processing. In this paper, we make the connection between line attractors and pulse-gating in feedforward neuronal networks. In this context, because of their neutral stability along a one-dimensional manifold, line attractors are associated with a time-translational invariance that allows graded information to be propagated from one neuronal population to the next. To understand how pulse-gating manifests itself in a high-dimensional, non-linear, feedforward integrate-and-fire network, we use a Fokker-Planck approach to analyze system dynamics. We make a connection between pulse-gated propagation in the Fokker-Planck and population-averaged mean-field (firing rate) models, then identify an approximate line attractor in state space as the essential structure underlying graded information propagation. An analysis of the line attractor shows that it consists of three fixed points: a central saddle with an unstable manifold along the line and stable manifolds orthogonal to the line, which is surrounded on either side by stable fixed points. Along the manifold defined by the fixed points, slow dynamics give rise to a ghost. We show that this line attractor arises at a cusp catastrophe, where a fold bifurcation develops as a function of synaptic noise; and that the ghost dynamics near the fold of the cusp underly the robustness of the line attractor. Understanding the dynamical aspects of this cusp catastrophe allows us to show how line attractors can persist in biologically realistic neuronal networks and how the interplay of pulse gating, synaptic coupling and neuronal stochasticity can be used to enable attracting one-dimensional manifolds and thus, dynamically control the processing of graded information.
△ Less
Submitted 29 November, 2017; v1 submitted 21 February, 2017;
originally announced February 2017.
-
Towards Quantum Simulation of Chemical Dynamics with Prethreshold Superconducting Qubits
Authors:
P. C. Stancil,
H. You,
A. Cook,
A. T. Sornborger,
M. R. Geller
Abstract:
The single excitation subspace (SES) method for universal quantum simulation is investigated for a number of diatomic molecular collision complexes. Assuming a system of $n$ tunably-coupled, and fully-connected superconducting qubits, computations are performed in the $n$-dimensional SES which maps directly to an $n$-channel collision problem within a diabatic molecular wave function representatio…
▽ More
The single excitation subspace (SES) method for universal quantum simulation is investigated for a number of diatomic molecular collision complexes. Assuming a system of $n$ tunably-coupled, and fully-connected superconducting qubits, computations are performed in the $n$-dimensional SES which maps directly to an $n$-channel collision problem within a diabatic molecular wave function representation. Here we outline the approach on a classical computer to solve the time-dependent Schrödinger equation in an $n$-dimensional molecular basis - the so-called semiclassical molecular-orbital close-coupling (SCMOCC) method - and extend the treatment beyond the straight-line, constant-velocity approximation which is restricted to large kinetic energies ($\gtrsim 0.1$ keV/u). We explore various multichannel potential averaging schemes and an Ehrenfest symmetrization approach to allow for the application of the SCMOCC method to much lower collision energies (approaching 1 eV/u). In addition, a computational efficiency study for various propagators is performed to speed-up the calculations on classical computers. These computations are repeated for the simulation of the SES approach assuming typical parameters for realistic pretheshold superconducting quantum computing hardware. The feasibility of applying future SES processors to the quantum dynamics of large molecular collision systems is briefly discussed.
△ Less
Submitted 29 January, 2016;
originally announced February 2016.
-
Quantum Simulation of Molecular Collisions in the Time-Dependent Formulation
Authors:
Andrew T. Sornborger,
Phillip Stancil,
Michael Geller
Abstract:
Quantum particle simulations have largely been based on time-independent, split-operator schemes in which kinetic and potential operators are interwoven to provide accurate approximations to system dynamics. These simulations can be very expensive in terms of the number of gates required, although individual cases, such as tunneling, have been found where prethreshold simulations are possible. By…
▽ More
Quantum particle simulations have largely been based on time-independent, split-operator schemes in which kinetic and potential operators are interwoven to provide accurate approximations to system dynamics. These simulations can be very expensive in terms of the number of gates required, although individual cases, such as tunneling, have been found where prethreshold simulations are possible. By prethreshold, we mean a quantum computation or simulation with an existing architecture and not requiring error correction. In the case of molecular collisions, switching to a time-dependent formulation can reduce the system dimensionality significantly and provide an opportunity for pre-threshold simulation. Here, we study the efficiency of gate-based quantum simulation of a set of molecular collisions of increasing complexity. We show that prethreshold quantum simulation of such systems is feasible up to Hilbert space dimension 8, but beyond that error correction would be required.
△ Less
Submitted 24 January, 2016;
originally announced January 2016.
-
A Fokker-Planck approach to graded information propagation in pulse-gated feedforward neuronal networks
Authors:
Cong Wang,
Zhuocheng Xiao,
Zhou Wang,
Andrew T. Sornborger,
Louis Tao
Abstract:
Information transmission is a key element for information processing in the brain. A number of mechanisms have been proposed for transferring volleys of spikes between layers of a feedforward neural circuit. Many of these mechanisms use synchronous activity to provide windows in time when spikes may be transferred more easily from layer to layer. Recently, we have demonstrated that a pulse-gating…
▽ More
Information transmission is a key element for information processing in the brain. A number of mechanisms have been proposed for transferring volleys of spikes between layers of a feedforward neural circuit. Many of these mechanisms use synchronous activity to provide windows in time when spikes may be transferred more easily from layer to layer. Recently, we have demonstrated that a pulse-gating mechanism can transfer graded information between layers in a feedforward neuronal network. Our transfer mechanism resulted in a time-translationally invariant firing rate and synaptic current waveforms of arbitrary amplitude, thus providing exact, graded information transfer between layers. In this paper, we apply a Fokker-Planck approach to understand how this translational invariance manifests itself in a high-dimensional, non-linear feedforward integrate-and-fire network. We show that there is good correspondence in spiking probabilities between the Fokker-Planck solutions and our previous mean-field solutions. We identify an approximate line attractor in state space as the essential structure underlying the time-translational invariance of our solutions. This approach has enabled us to better understand the role played by the synaptic coupling, gating pulse and the membrane potential probability density function in information transfer.
△ Less
Submitted 1 December, 2015;
originally announced December 2015.
-
Graded, Dynamically Routable Information Processing with Synfire-Gated Synfire Chains
Authors:
Zhou Wang,
Andrew T Sornborger,
Louis Tao
Abstract:
Coherent neural spiking and local field potentials are believed to be signatures of the binding and transfer of information in the brain. Coherent activity has now been measured experimentally in many regions of mammalian cortex. Synfire chains are one of the main theoretical constructs that have been appealed to to describe coherent spiking phenomena. However, for some time, it has been known tha…
▽ More
Coherent neural spiking and local field potentials are believed to be signatures of the binding and transfer of information in the brain. Coherent activity has now been measured experimentally in many regions of mammalian cortex. Synfire chains are one of the main theoretical constructs that have been appealed to to describe coherent spiking phenomena. However, for some time, it has been known that synchronous activity in feedforward networks asymptotically either approaches an attractor with fixed waveform and amplitude, or fails to propagate. This has limited their ability to explain graded neuronal responses. Recently, we have shown that pulse-gated synfire chains are capable of propagating graded information coded in mean population current or firing rate amplitudes. In particular, we showed that it is possible to use one synfire chain to provide gating pulses and a second, pulse-gated synfire chain to propagate graded information. We called these circuits synfire-gated synfire chains (SGSCs). Here, we present SGSCs in which graded information can rapidly cascade through a neural circuit, and show a correspondence between this type of transfer and a mean-field model in which gating pulses overlap in time. We show that SGSCs are robust in the presence of variability in population size, pulse timing and synaptic strength. Finally, we demonstrate the computational capabilities of SGSC-based information coding by implementing a self-contained, spike-based, modular neural circuit that is triggered by, then reads in streaming input, processes the input, then makes a decision based on the processed information and shuts itself down.
△ Less
Submitted 26 October, 2015;
originally announced October 2015.
-
Universal quantum simulation with prethreshold superconducting qubits: Single-excitation subspace method
Authors:
Michael R. Geller,
John M. Martinis,
Andrew T. Sornborger,
Phillip C. Stancil,
Emily J. Pritchett,
Hao You,
Andrei Galiautdinov
Abstract:
Current quantum computing architectures lack the size and fidelity required for universal fault-tolerant operation, limiting the practical implementation of key quantum algorithms to all but the smallest problem sizes. In this work we propose an alternative method for general-purpose quantum computation that is ideally suited for such "prethreshold" superconducting hardware. Computations are perfo…
▽ More
Current quantum computing architectures lack the size and fidelity required for universal fault-tolerant operation, limiting the practical implementation of key quantum algorithms to all but the smallest problem sizes. In this work we propose an alternative method for general-purpose quantum computation that is ideally suited for such "prethreshold" superconducting hardware. Computations are performed in the n-dimensional single-excitation subspace (SES) of a system of n tunably coupled superconducting qubits. The approach is not scalable, but allows many operations in the unitary group SU(n) to be implemented by a single application of the Hamiltonian, bypassing the need to decompose a desired unitary into elementary gates. This feature makes large, nontrivial quantum computations possible within the available coherence time. We show how to use a programmable SES chip to perform fast amplitude amplification and phase estimation, two versatile quantum subalgorithms. We also show that an SES processor is well suited for Hamiltonian simulation, specifically simulation of the Schrodinger equation with a real but otherwise arbitrary nxn Hamiltonian matrix. We discuss the utility and practicality of such a universal quantum simulator, and propose its application to the study of realistic atomic and molecular collisions.
△ Less
Submitted 15 September, 2015; v1 submitted 19 May, 2015;
originally announced May 2015.
-
A Unified Framework for Information Coding: Oscillations, Memory, and Zombie Modes
Authors:
Andrew T. Sornborger,
Louis Tao
Abstract:
Synchronous neural activity can improve neural processing and is believed to mediate neuronal interaction by providing temporal windows during which information is more easily transferred. We demonstrate a pulse gating mechanism in a feedforward network that can exactly propagate graded information through a multilayer circuit. Based on this mechanism, we present a unified framework wherein neural…
▽ More
Synchronous neural activity can improve neural processing and is believed to mediate neuronal interaction by providing temporal windows during which information is more easily transferred. We demonstrate a pulse gating mechanism in a feedforward network that can exactly propagate graded information through a multilayer circuit. Based on this mechanism, we present a unified framework wherein neural information coding and processing can be considered as a product of linear maps under the active control of a pulse generator. Distinct control and processing components combine to form the basis for the binding, propagation, and processing of dynamically routed information within neural pathways. Using our framework, we construct example neural circuits to 1) maintain a short-term memory, 2) compute time-windowed Fourier transforms, and 3) perform spatial rotations. We postulate that such circuits, with stereotyped control and processing of information, are the neural correlates of Crick and Koch's zombie modes.
△ Less
Submitted 5 October, 2014;
originally announced October 2014.
-
Exact, Dynamically Routable Current Propagation in Pulse-Gated Synfire Chains
Authors:
Andrew T. Sornborger,
Louis Tao
Abstract:
Neural oscillations can enhance feature recognition, modulate interactions between neurons, and improve learning and memory. Simulational studies have shown that coherent oscillations give rise to windows in time during which information transfer can be enhanced in neuronal networks. Unanswered questions are: 1) What is the transfer mechanism? And 2) how well can a transfer be executed? Here, we p…
▽ More
Neural oscillations can enhance feature recognition, modulate interactions between neurons, and improve learning and memory. Simulational studies have shown that coherent oscillations give rise to windows in time during which information transfer can be enhanced in neuronal networks. Unanswered questions are: 1) What is the transfer mechanism? And 2) how well can a transfer be executed? Here, we present a pulse-based mechanism by which graded current amplitudes may be exactly propagated from one neuronal population to another. The mechanism relies on the downstream gating of mean synaptic current amplitude from one population of neurons to another via a pulse. Because transfer is pulse-based, information may be dynamically routed through a neural circuit. We demonstrate the amplitude transfer mechanism in a realistic network of spiking neurons and show that it is robust to noise in the form of pulse timing inaccuracies, random synaptic strengths and finite size effects. In finding an exact, analytical solution to a fundamental problem of information coding in the brain, graded information transfer, we have isolated a basic mechanism that may be used as a building block for fast, complex information processing in neural circuits.
△ Less
Submitted 5 October, 2014;
originally announced October 2014.
-
Universal quantum simulation with pre-threshold superconducting qubits: Single-excitation subspace method
Authors:
Michael R. Geller,
John M. Martinis,
Andrew T. Sornborger,
Phillip C. Stancil,
Emily J. Pritchett,
Andrei Galiautdinov
Abstract:
We propose a method for general-purpose quantum computation and simulation that is well suited for today's pre-threshold-fidelity superconducting qubits. This approach makes use of the $n$-dimensional single-excitation subspace (SES) of a system of $n$ tunably coupled qubits. It can be viewed as a nonscalable special case of the standard gate-based quantum computing model, but allows many operatio…
▽ More
We propose a method for general-purpose quantum computation and simulation that is well suited for today's pre-threshold-fidelity superconducting qubits. This approach makes use of the $n$-dimensional single-excitation subspace (SES) of a system of $n$ tunably coupled qubits. It can be viewed as a nonscalable special case of the standard gate-based quantum computing model, but allows many operations in the unitary group SU($n$) to be implemented by a single application of the Hamiltonian. Our approach bypasses the need to decompose the evolution operator into elementary gates, making large, nontrivial computations possible without error correction. The method is especially well suited for universal quantum simulation, specifically simulation of the Schrödinger equation with a real but otherwise arbitrary $n \times n$ Hamiltonian. We argue that a 1000-qubit SES processor, which would require no known improvements in superconducting device technology and which could be built today, should be capable of achieving quantum speedup relative to a petaflop supercomputer. We speculate on the utility and practicality of such a universal quantum simulator.
△ Less
Submitted 15 September, 2015; v1 submitted 18 October, 2012;
originally announced October 2012.
-
Quantum Simulation of Tunneling in Small Systems
Authors:
Andrew T. Sornborger
Abstract:
A number of quantum algorithms have been performed on small quantum computers; these include Shor's prime factorization algorithm, error correction, Grover's search algorithm and a number of analog and digital quantum simulations. Because of the number of gates and qubits necessary, however, digital quantum particle simulations remain untested. A contributing factor to the system size required is…
▽ More
A number of quantum algorithms have been performed on small quantum computers; these include Shor's prime factorization algorithm, error correction, Grover's search algorithm and a number of analog and digital quantum simulations. Because of the number of gates and qubits necessary, however, digital quantum particle simulations remain untested. A contributing factor to the system size required is the number of ancillary qubits needed to implement matrix exponentials of the potential operator. Here, we show that a set of tunneling problems may be investigated with no ancillary qubits and a cost of one single-qubit operator per time step for the potential evolution. We show that physically interesting simulations of tunneling using 2 qubits (i.e. on 4 lattice point grids) may be performed with 40 single and two-qubit gates. Approximately 70 to 140 gates are needed to see interesting tunneling dynamics in three-qubit (8 lattice point) simulations.
△ Less
Submitted 7 February, 2012;
originally announced February 2012.
-
Quantum Simulation of Molecular Collisions with Superconducting Qubits
Authors:
Emily J. Pritchett,
Colin Benjamin,
Andrei Galiautdinov,
Michael R. Geller,
Andrew T. Sornborger,
Phillip C. Stancil,
John M. Martinis
Abstract:
We introduce a protocol for the fast simulation of $n$-dimensional quantum systems on $n$-qubit quantum computers with tunable couplings. A map** is given between the control parameters of the quantum computer and the matrix elements of $H_{\rm s}(t)$, an arbitrary, real, time-dependent $n\times n$ dimensional Hamiltonian that is simulated in the $n$-dimensional `single excitation' subspace of t…
▽ More
We introduce a protocol for the fast simulation of $n$-dimensional quantum systems on $n$-qubit quantum computers with tunable couplings. A map** is given between the control parameters of the quantum computer and the matrix elements of $H_{\rm s}(t)$, an arbitrary, real, time-dependent $n\times n$ dimensional Hamiltonian that is simulated in the $n$-dimensional `single excitation' subspace of the quantum computer. A time-dependent energy/time rescaling minimizes the simulation time on hardware having a fixed coherence time. We demonstrate how three tunably coupled phase qubits simulate a three-channel molecular collision using this protocol, then study the simulation's fidelity as a function of total simulation time.
△ Less
Submitted 4 August, 2010;
originally announced August 2010.
-
Quantum computing with superconductors I: Architectures
Authors:
Michael R. Geller,
Emily J. Pritchett,
Andrew T. Sornborger,
F. K. Wilhelm
Abstract:
Josephson junctions have demonstrated enormous potential as qubits for scalable quantum computing architectures. Here we discuss the current approaches for making multi-qubit circuits and performing quantum information processing with them.
Josephson junctions have demonstrated enormous potential as qubits for scalable quantum computing architectures. Here we discuss the current approaches for making multi-qubit circuits and performing quantum information processing with them.
△ Less
Submitted 24 March, 2006;
originally announced March 2006.
-
Superconducting Phase Qubit Coupled to a Nanomechanical Resonator: Beyond the Rotating-Wave Approximation
Authors:
Andrew T. Sornborger,
Andrew N. Cleland,
Michael R. Geller
Abstract:
We consider a simple model of a Josephson junction phase qubit coupled to a solid-state nanoelectromechanical resonator. This and many related qubit-resonator models are analogous to an atom in an electromagnetic cavity. When the systems are weakly coupled and nearly resonant, the dynamics is accurately described by the rotating-wave approximation (RWA) or the Jaynes-Cummings model of quantum op…
▽ More
We consider a simple model of a Josephson junction phase qubit coupled to a solid-state nanoelectromechanical resonator. This and many related qubit-resonator models are analogous to an atom in an electromagnetic cavity. When the systems are weakly coupled and nearly resonant, the dynamics is accurately described by the rotating-wave approximation (RWA) or the Jaynes-Cummings model of quantum optics. However, the desire to develop faster quantum-information-processing protocols necessitates approximate, yet analytic descriptions that are valid for more strongly coupled qubit-resonator systems. Here we present a simple theoretical technique, using a basis of dressed states, to perturbatively account for the leading-order corrections to the RWA. By comparison with exact numerical results, we demonstrate that the method is accurate for moderately strong coupling, and provides a useful theoretical tool for describing fast quantum information processing. The method applies to any quantum two-level system linearly coupled to a harmonic oscillator or single-mode boson field.
△ Less
Submitted 14 July, 2004;
originally announced July 2004.
-
Higher Order Methods for Simulations on Quantum Computers
Authors:
A. T. Sornborger,
E. D. Stewart
Abstract:
To efficiently implement many-qubit gates for use in quantum simulations on quantum computers we develop and present methods reexpressing exp[-i (H_1 + H_2 + ...) Δt] as a product of factors exp[-i H_1 Δt], exp[-i H_2 Δt], ... which is accurate to 3rd or 4th order in Δt. The methods we derive are an extended form of symplectic method and can also be used for the integration of classical Hamilton…
▽ More
To efficiently implement many-qubit gates for use in quantum simulations on quantum computers we develop and present methods reexpressing exp[-i (H_1 + H_2 + ...) Δt] as a product of factors exp[-i H_1 Δt], exp[-i H_2 Δt], ... which is accurate to 3rd or 4th order in Δt. The methods we derive are an extended form of symplectic method and can also be used for the integration of classical Hamiltonians on classical computers. We derive both integral and irrational methods, and find the most efficient methods in both cases.
△ Less
Submitted 15 March, 1999;
originally announced March 1999.
-
Higher-Order Methods for Quantum Simulations
Authors:
A. T. Sornborger,
E. D. Stewart
Abstract:
To efficiently implement many-particle quantum simulations on quantum computers we develop and present methods for inverting the Campbell-Baker-Hausdorff lemma to 3rd and 4th order in the commutator. That is, we reexpress exp{-i(H_1 + H_2 + ...)dt} as a product of factors exp(-i H_1 dt), exp(-i H_2 dt), ... which is accurate to 3rd or 4th order in dt.
To efficiently implement many-particle quantum simulations on quantum computers we develop and present methods for inverting the Campbell-Baker-Hausdorff lemma to 3rd and 4th order in the commutator. That is, we reexpress exp{-i(H_1 + H_2 + ...)dt} as a product of factors exp(-i H_1 dt), exp(-i H_2 dt), ... which is accurate to 3rd or 4th order in dt.
△ Less
Submitted 4 September, 1998;
originally announced September 1998.
-
Domain Wall Production During Inflationary Reheating
Authors:
M. F. Parry,
A. T. Sornborger
Abstract:
We numerically investigate the decay, via parametric resonance, of the inflaton with an m^2 phi^2 potential into a scalar matter field with a symmetry breaking potential. We consider the case where symmetry breaking takes place during inflation. We show that when expansion is not taken into account symmetry restoration and non-thermal defect production during reheating is possible. However in an…
▽ More
We numerically investigate the decay, via parametric resonance, of the inflaton with an m^2 phi^2 potential into a scalar matter field with a symmetry breaking potential. We consider the case where symmetry breaking takes place during inflation. We show that when expansion is not taken into account symmetry restoration and non-thermal defect production during reheating is possible. However in an expanding universe the fields do not spend sufficient time in the instability bands; thus symmetry restoration and subsequent domain wall production do not occur.
△ Less
Submitted 3 May, 1998;
originally announced May 1998.
-
High-Resolution Analysis of Cold and Hot Dark Matter in Cosmic String Wakes
Authors:
Andrew T. Sornborger
Abstract:
We study the accretion of cold and hot dark matter onto a cosmic string wake using a high-resolution numerical simulation. We verify previous analytical calculations predicting the radius of bound matter around wakes and inflow velocities of the dark matter, as well as assumptions about the self-similarity of the solution. In cold wakes, we show that self-similarity is approached quickly after a…
▽ More
We study the accretion of cold and hot dark matter onto a cosmic string wake using a high-resolution numerical simulation. We verify previous analytical calculations predicting the radius of bound matter around wakes and inflow velocities of the dark matter, as well as assumptions about the self-similarity of the solution. In cold wakes, we show that self-similarity is approached quickly after a `binding' transition. Hot wakes approach self-similarity rapidly once the free streaming `pressure' falls below a critical value and accretion begins. We also analytically calculate the size of the overdensity in wakes with cold dark matter and compare the results to simulations. We remark that the results derived may be used in testing gravitational numerical codes in the non-linear regime.
△ Less
Submitted 4 February, 1997;
originally announced February 1997.
-
A Semi-Analytical Analysis of Texture Collapse
Authors:
Andrew T. Sornborger
Abstract:
This study presents a simplified approach to studying the dynamics of global texture collapse. We derive equations of motion for a spherically symmetric field configuration using a two parameter ansatz. Then we analyse the effective potential for the resulting theory to understand possible trajectories of the field configuration in the parameter space of the ansatz. Numerical results are given f…
▽ More
This study presents a simplified approach to studying the dynamics of global texture collapse. We derive equations of motion for a spherically symmetric field configuration using a two parameter ansatz. Then we analyse the effective potential for the resulting theory to understand possible trajectories of the field configuration in the parameter space of the ansatz. Numerical results are given for critical winding and collapse time in spatially flat non-expanding, and flat expanding universes. In addition, the open non-expanding and open-expanding cases are studied.
△ Less
Submitted 10 March, 1993;
originally announced March 1993.
-
Gamma Ray Bursts from Ordinary Cosmic Strings
Authors:
R. H. Brandenberger,
A. T. Sornborger,
M. Trodden
Abstract:
We give an upper estimate for the number of gamma ray bursts from ordinary (non-superconducting) cosmic strings expected to be observed at terrestrial detectors. Assuming that cusp annihilation is the mechanism responsible for the bursts we consider strings arising at a GUT phase transition and compare our estimate with the recent BATSE results. Further we give a lower limit for the effective ar…
▽ More
We give an upper estimate for the number of gamma ray bursts from ordinary (non-superconducting) cosmic strings expected to be observed at terrestrial detectors. Assuming that cusp annihilation is the mechanism responsible for the bursts we consider strings arising at a GUT phase transition and compare our estimate with the recent BATSE results. Further we give a lower limit for the effective area of future detectors designed to detect the cosmic string induced flux of gamma ray bursts.
△ Less
Submitted 11 February, 1993;
originally announced February 1993.