-
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.
-
Limitations for Quantum Algorithms to Solve Turbulent and Chaotic Systems
Authors:
Dylan Lewis,
Stephan Eidenbenz,
Balasubramanya Nadiga,
Yiğit Subaşı
Abstract:
We investigate the limitations of quantum computers for solving nonlinear dynamical systems. In particular, we tighten the worst-case bounds of the quantum Carleman linearisation (QCL) algorithm [Liu et al., PNAS 118, 2021] answering one of their open questions. We provide a further significant limitation for any quantum algorithm that aims to output a quantum state that approximates the normalize…
▽ More
We investigate the limitations of quantum computers for solving nonlinear dynamical systems. In particular, we tighten the worst-case bounds of the quantum Carleman linearisation (QCL) algorithm [Liu et al., PNAS 118, 2021] answering one of their open questions. We provide a further significant limitation for any quantum algorithm that aims to output a quantum state that approximates the normalized solution vector. Given a natural choice of coordinates for a dynamical system with one or more positive Lyapunov exponents and solutions that grow sub-exponentially, we prove that any such algorithm has complexity scaling at least exponentially in the integration time. As such, an efficient quantum algorithm for simulating chaotic systems or regimes is likely not possible.
△ Less
Submitted 13 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.
-
A near-term quantum algorithm for solving linear systems of equations based on the Woodbury identity
Authors:
Daniel O'Malley,
Jessie M. Henderson,
Elijah Pelofske,
Sarah Greer,
Yigit Subasi,
John K. Golden,
Robert Lowrie,
Stephan Eidenbenz
Abstract:
Quantum algorithms for solving linear systems of equations have generated excitement because of the potential speed-ups involved and the importance of solving linear equations in many applications. However, applying these algorithms can be challenging. The Harrow-Hassidim-Lloyd algorithm and improvements thereof require complex subroutines suitable for fault-tolerant hardware such as Hamiltonian s…
▽ More
Quantum algorithms for solving linear systems of equations have generated excitement because of the potential speed-ups involved and the importance of solving linear equations in many applications. However, applying these algorithms can be challenging. The Harrow-Hassidim-Lloyd algorithm and improvements thereof require complex subroutines suitable for fault-tolerant hardware such as Hamiltonian simulation, making it ill-suited to current hardware. Variational algorithms, on the other hand, involve expensive optimization loops, which can be prone to barren plateaus and local optima. We describe a quantum algorithm for solving linear systems of equations that avoids these problems. Our algorithm is based on the Woodbury identity, which analytically describes the inverse of a matrix that is a low-rank modification of another (easily-invertible) matrix. This approach only utilizes basic quantum subroutines like the Hadamard test or the swap test, so it is well-suited to current hardware. There is no optimization loop, so barren plateaus and local optima do not present a problem. The low-rank aspect of the identity enables us to efficiently transfer information to and from the quantum computer. This approach can produce accurate results on current hardware. As evidence of this, we estimate an inner product involving the solution of a system of more than 16 million equations with 2% error using IBM's Auckland quantum computer. To our knowledge, no system of equations this large has previously been solved to this level of accuracy on a quantum computer.
△ Less
Submitted 25 June, 2024; v1 submitted 2 May, 2022;
originally announced May 2022.
-
Quantum algorithms from fluctuation theorems: Thermal-state preparation
Authors:
Zoe Holmes,
Gopikrishnan Muraleedharan,
Rolando D. Somma,
Yigit Subasi,
Burak Şahinoğlu
Abstract:
Fluctuation theorems provide a correspondence between properties of quantum systems in thermal equilibrium and a work distribution arising in a non-equilibrium process that connects two quantum systems with Hamiltonians $H_0$ and $H_1=H_0+V$. Building upon these theorems, we present a quantum algorithm to prepare a purification of the thermal state of $H_1$ at inverse temperature $β\ge 0$ starting…
▽ More
Fluctuation theorems provide a correspondence between properties of quantum systems in thermal equilibrium and a work distribution arising in a non-equilibrium process that connects two quantum systems with Hamiltonians $H_0$ and $H_1=H_0+V$. Building upon these theorems, we present a quantum algorithm to prepare a purification of the thermal state of $H_1$ at inverse temperature $β\ge 0$ starting from a purification of the thermal state of $H_0$. The complexity of the quantum algorithm, given by the number of uses of certain unitaries, is $\tilde {\cal O}(e^{β(Δ\! A- w_l)/2})$, where $Δ\! A$ is the free-energy difference between $H_1$ and $H_0,$ and $w_l$ is a work cutoff that depends on the properties of the work distribution and the approximation error $ε>0$. If the non-equilibrium process is trivial, this complexity is exponential in $β\|V\|$, where $\|V\|$ is the spectral norm of $V$. This represents a significant improvement of prior quantum algorithms that have complexity exponential in $β\|H_1\|$ in the regime where $\|V\|\ll \|H_1\|$. The dependence of the complexity in $ε$ varies according to the structure of the quantum systems. It can be exponential in $1/ε$ in general, but we show it to be sublinear in $1/ε$ if $H_0$ and $H_1$ commute, or polynomial in $1/ε$ if $H_0$ and $H_1$ are local spin systems. The possibility of applying a unitary that drives the system out of equilibrium allows one to increase the value of $w_l$ and improve the complexity even further. To this end, we analyze the complexity for preparing the thermal state of the transverse field Ising model using different non-equilibrium unitary processes and see significant complexity improvements.
△ Less
Submitted 22 September, 2022; v1 submitted 16 March, 2022;
originally announced March 2022.
-
Ancilla-free continuous-variable SWAP test
Authors:
T. J. Volkoff,
Yiğit Subaşı
Abstract:
We propose a continuous-variable (CV) SWAP test that requires no ancilla register, thereby generalizing the ancilla-free SWAP test for qubits. In this ancilla-free CV SWAP test, the computational basis measurement is replaced by photon number-resolving measurement, and we calculate an upper bound on the error of the overlap estimate obtained from a finite Fock cutoff in the detector. As an example…
▽ More
We propose a continuous-variable (CV) SWAP test that requires no ancilla register, thereby generalizing the ancilla-free SWAP test for qubits. In this ancilla-free CV SWAP test, the computational basis measurement is replaced by photon number-resolving measurement, and we calculate an upper bound on the error of the overlap estimate obtained from a finite Fock cutoff in the detector. As an example, we show that estimation of the overlap of pure, centered, single-mode Gaussian states of energy $E$ and squeezed in opposite quadratures can be obtained to error $ε$ using photon statistics below a Fock basis cutoff $O(E\ln ε^{-1})$. This cutoff is greatly reduced to $E + O(\sqrt{E}\ln ε^{-1})$ when the states have rapidly decaying Fock tails, such as coherent states. We show how the ancilla-free CV SWAP test can be extended to many modes and applied to quantum algorithms such as variational compiling and entanglement spectroscopy in the CV setting. For the latter we also provide a new algorithm which does not have an analog in qubit systems. The ancilla-free CV SWAP test is implemented on Xanadu's 8-mode photonic processor in order to estimate the vacuum probability of a two-mode squeezed state.
△ Less
Submitted 6 September, 2022; v1 submitted 20 February, 2022;
originally announced February 2022.
-
Challenges for quantum computation of nonlinear dynamical systems using linear representations
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 8 July, 2024; 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.
-
Dissipative dynamics of a particle coupled to field via internal degrees of freedom
Authors:
Kanupriya Sinha,
Adrián Ezequiel Rubio López,
Yiğit Subaşı
Abstract:
We study the non-equilibrium dissipative dynamics of the center of mass of a particle coupled to a field via its internal degrees of freedom. We model the internal and external degrees of freedom of the particle as quantum harmonic oscillators in 1+1 D, with the internal oscillator coupled to a scalar quantum field at the center of mass position. Such a coupling results in a nonlinear interaction…
▽ More
We study the non-equilibrium dissipative dynamics of the center of mass of a particle coupled to a field via its internal degrees of freedom. We model the internal and external degrees of freedom of the particle as quantum harmonic oscillators in 1+1 D, with the internal oscillator coupled to a scalar quantum field at the center of mass position. Such a coupling results in a nonlinear interaction between the three pertinent degrees of freedom -- the center of mass, internal degree of freedom, and the field. It is typically assumed that the internal dynamics is decoupled from that of the center of mass owing to their disparate characteristic time scales. Here we use an influence functional approach that allows one to account for the self-consistent backaction of the different degrees of freedom on each other, including the coupled non-equilibrium dynamics of the internal degree of freedom and the field, and their influence on the dissipation and noise of the center of mass. Considering a weak nonlinear interaction term, we employ a perturbative generating functional approach to derive a second order effective action and a corresponding quantum Langevin equation describing the non-equilibrium dynamics of the center of mass. We analyze the resulting dissipation and noise arising from the field and the internal degree of freedom as a composite environment. Furthermore, we establish a generalized fluctuation-dissipation relation for the late-time dissipation and noise kernels. Our results are pertinent to open quantum systems that possess intermediary degrees of freedom between system and environment, such as in the case of optomechanical interactions.
△ Less
Submitted 18 January, 2021;
originally announced January 2021.
-
Qubit-efficient entanglement spectroscopy using qubit resets
Authors:
Justin Yirka,
Yigit Subasi
Abstract:
One strategy to fit larger problems on NISQ devices is to exploit a tradeoff between circuit width and circuit depth. Unfortunately, this tradeoff still limits the size of tractable problems since the increased depth is often not realizable before noise dominates. Here, we develop qubit-efficient quantum algorithms for entanglement spectroscopy which avoid this tradeoff. In particular, we develop…
▽ More
One strategy to fit larger problems on NISQ devices is to exploit a tradeoff between circuit width and circuit depth. Unfortunately, this tradeoff still limits the size of tractable problems since the increased depth is often not realizable before noise dominates. Here, we develop qubit-efficient quantum algorithms for entanglement spectroscopy which avoid this tradeoff. In particular, we develop algorithms for computing the trace of the n-th power of the density operator of a quantum system, $Tr(ρ^n)$, (related to the Rényi entropy of order n) that use fewer qubits than any previous efficient algorithm while achieving similar performance in the presence of noise, thus enabling spectroscopy of larger quantum systems on NISQ devices. Our algorithms, which require a number of qubits independent of n, are variants of previous algorithms with width proportional to n, an asymptotic difference. The crucial ingredient in these new algorithms is the ability to measure and reinitialize subsets of qubits in the course of the computation, allowing us to reuse qubits and increase the circuit depth without suffering the usual noisy consequences. We also introduce the notion of effective circuit depth as a generalization of standard circuit depth suitable for circuits with qubit resets. This tool helps explain the noise-resilience of our qubit-efficient algorithms and should aid in designing future algorithms. We perform numerical simulations to compare our algorithms to the original variants and show they perform similarly when subjected to noise. Additionally, we experimentally implement one of our qubit-efficient algorithms on the Honeywell System Model H0, estimating $Tr(ρ^n)$ for larger n than possible with previous algorithms.
△ Less
Submitted 27 August, 2021; v1 submitted 6 October, 2020;
originally announced October 2020.
-
Complexity of quantum state verification in the quantum linear systems problem
Authors:
Rolando D. Somma,
Yigit Subasi
Abstract:
We analyze the complexity of quantum state verification in the context of solving systems of linear equations of the form $A \vec x = \vec b$. We show that any quantum operation that verifies whether a given quantum state is within a constant distance from the solution of the quantum linear systems problem requires $q=Ω(κ)$ uses of a unitary that prepares a quantum state $\left| b \right>$, propor…
▽ More
We analyze the complexity of quantum state verification in the context of solving systems of linear equations of the form $A \vec x = \vec b$. We show that any quantum operation that verifies whether a given quantum state is within a constant distance from the solution of the quantum linear systems problem requires $q=Ω(κ)$ uses of a unitary that prepares a quantum state $\left| b \right>$, proportional to $\vec b$, and its inverse in the worst case. Here, $κ$ is the condition number of the matrix $A$. For typical instances, we show that $q=Ω(\sqrt κ)$ with high probability. These lower bounds are almost achieved if quantum state verification is performed using known quantum algorithms for the quantum linear systems problem. We also analyze the number of copies of $\left| b \right>$ required by verification procedures of the prepare and measure type. In this case, the lower bounds are quadratically worse, being $Ω(κ^2)$ in the worst case and $Ω(κ)$ in typical instances with high probability. We discuss the implications of our results to known variational and related approaches to this problem, where state preparation, gate, and measurement errors will need to decrease rapidly with $κ$ for worst-case and typical instances if error correction is not used, and present some open problems.
△ Less
Submitted 23 February, 2021; v1 submitted 30 July, 2020;
originally announced July 2020.
-
Computing partition functions in the one clean qubit model
Authors:
Anirban N. Chowdhury,
Rolando D. Somma,
Yigit Subasi
Abstract:
We present a method to approximate partition functions of quantum systems using mixed-state quantum computation. For positive semi-definite Hamiltonians, our method has expected running-time that is almost linear in $(M/(ε_{\rm rel}\mathcal{Z} ))^2$, where $M$ is the dimension of the quantum system, $\mathcal{Z}$ is the partition function, and $ε_{\rm rel}$ is the relative precision. It is based o…
▽ More
We present a method to approximate partition functions of quantum systems using mixed-state quantum computation. For positive semi-definite Hamiltonians, our method has expected running-time that is almost linear in $(M/(ε_{\rm rel}\mathcal{Z} ))^2$, where $M$ is the dimension of the quantum system, $\mathcal{Z}$ is the partition function, and $ε_{\rm rel}$ is the relative precision. It is based on approximations of the exponential operator as linear combinations of certain operators related to block-encoding of Hamiltonians or Hamiltonian evolutions. The trace of each operator is estimated using a standard algorithm in the one clean qubit model. For large values of $\mathcal{Z}$, our method may run faster than exact classical methods, whose complexities are polynomial in $M$. We also prove that a version of the partition function estimation problem within additive error is complete for the so-called DQC1 complexity class, suggesting that our method provides a super-polynomial speedup for certain parameter values. To attain a desired relative precision, we develop a classical procedure based on a sequence of approximations within predetermined additive errors that may be of independent interest.
△ Less
Submitted 25 September, 2020; v1 submitted 25 October, 2019;
originally announced October 2019.
-
Quantum Brownian Motion of a particle from Casimir-Polder Interactions
Authors:
Kanupriya Sinha,
Yigit Subasi
Abstract:
We study the fluctuation-induced dissipative dynamics of the quantized center of mass motion of a polarizable dielectric particle trapped near a surface. The particle's center of mass is treated as an open quantum system coupled to the electromagnetic field acting as its environment, with the resulting system dynamics described by a quantum Brownian motion master equation. The dissipation and deco…
▽ More
We study the fluctuation-induced dissipative dynamics of the quantized center of mass motion of a polarizable dielectric particle trapped near a surface. The particle's center of mass is treated as an open quantum system coupled to the electromagnetic field acting as its environment, with the resulting system dynamics described by a quantum Brownian motion master equation. The dissipation and decoherence of the particle's center of mass are characterized by the modified spectral density of the electromagnetic field that depends on surface losses and the strength of the classical trap field. Our results are relevant to experiments with levitated dielectric particles near surfaces, illustrating potential ways of mitigating fluctuation-induced decoherence while preparing such systems in macroscopic quantum states.
△ Less
Submitted 3 October, 2019;
originally announced October 2019.
-
Variational Quantum Linear Solver
Authors:
Carlos Bravo-Prieto,
Ryan LaRose,
M. Cerezo,
Yigit Subasi,
Lukasz Cincio,
Patrick J. Coles
Abstract:
Previously proposed quantum algorithms for solving linear systems of equations cannot be implemented in the near term due to the required circuit depth. Here, we propose a hybrid quantum-classical algorithm, called Variational Quantum Linear Solver (VQLS), for solving linear systems on near-term quantum computers. VQLS seeks to variationally prepare $|x\rangle$ such that…
▽ More
Previously proposed quantum algorithms for solving linear systems of equations cannot be implemented in the near term due to the required circuit depth. Here, we propose a hybrid quantum-classical algorithm, called Variational Quantum Linear Solver (VQLS), for solving linear systems on near-term quantum computers. VQLS seeks to variationally prepare $|x\rangle$ such that $A|x\rangle\propto|b\rangle$. We derive an operationally meaningful termination condition for VQLS that allows one to guarantee that a desired solution precision $ε$ is achieved. Specifically, we prove that $C \geq ε^2 / κ^2$, where $C$ is the VQLS cost function and $κ$ is the condition number of $A$. We present efficient quantum circuits to estimate $C$, while providing evidence for the classical hardness of its estimation. Using Rigetti's quantum computer, we successfully implement VQLS up to a problem size of $1024\times1024$. Finally, we numerically solve non-trivial problems of size up to $2^{50}\times2^{50}$. For the specific examples that we consider, we heuristically find that the time complexity of VQLS scales efficiently in $ε$, $κ$, and the system size $N$.
△ Less
Submitted 21 November, 2023; v1 submitted 12 September, 2019;
originally announced September 2019.
-
Entanglement spectroscopy with a depth-two quantum circuit
Authors:
Yigit Subasi,
Lukasz Cincio,
Patrick J. Coles
Abstract:
Noisy intermediate-scale quantum (NISQ) computers have gate errors and decoherence, limiting the depth of circuits that can be implemented on them. A strategy for NISQ algorithms is to reduce the circuit depth at the expense of increasing the qubit count. Here, we exploit this trade-off for an application called entanglement spectroscopy, where one computes the entanglement of a state…
▽ More
Noisy intermediate-scale quantum (NISQ) computers have gate errors and decoherence, limiting the depth of circuits that can be implemented on them. A strategy for NISQ algorithms is to reduce the circuit depth at the expense of increasing the qubit count. Here, we exploit this trade-off for an application called entanglement spectroscopy, where one computes the entanglement of a state $| ψ\rangle$ on systems $AB$ by evaluating the Rényi entropy of the reduced state $ρ_A = {\rm Tr}_B(| ψ\rangle \langle ψ|)$. For a $k$-qubit state $ρ(k)$, the Rényi entropy of order $n$ is computed via ${\rm Tr}(ρ(k)^{n})$, with the complexity growing exponentially in $k$ for classical computers. Johri, Steiger, and Troyer [PRB 96, 195136 (2017)] introduced a quantum algorithm that requires $n$ copies of $| ψ\rangle$ and whose depth scales linearly in $k*n$. Here, we present a quantum algorithm requiring twice the qubit resources ($2n$ copies of $| ψ\rangle$) but with a depth that is independent of both $k$ and $n$. Surprisingly this depth is only two gates. Our numerical simulations show that this short depth leads to an increased robustness to noise.
△ Less
Submitted 7 January, 2019; v1 submitted 22 June, 2018;
originally announced June 2018.
-
Quantum algorithms for systems of linear equations inspired by adiabatic quantum computing
Authors:
Yigit Subasi,
Rolando D. Somma,
Davide Orsucci
Abstract:
We present two quantum algorithms based on evolution randomization, a simple variant of adiabatic quantum computing, to prepare a quantum state $\vert x \rangle$ that is proportional to the solution of the system of linear equations $A \vec{x}=\vec{b}$. The time complexities of our algorithms are $O(κ^2 \log(κ)/ε)$ and $O(κ\log(κ)/ε)$, where $κ$ is the condition number of $A$ and $ε$ is the precis…
▽ More
We present two quantum algorithms based on evolution randomization, a simple variant of adiabatic quantum computing, to prepare a quantum state $\vert x \rangle$ that is proportional to the solution of the system of linear equations $A \vec{x}=\vec{b}$. The time complexities of our algorithms are $O(κ^2 \log(κ)/ε)$ and $O(κ\log(κ)/ε)$, where $κ$ is the condition number of $A$ and $ε$ is the precision. Both algorithms are constructed using families of Hamiltonians that are linear combinations of products of $A$, the projector onto the initial state $\vert b \rangle$, and single-qubit Pauli operators. The algorithms are conceptually simple and easy to implement. They are not obtained from equivalences between the gate model and adiabatic quantum computing. They do not use phase estimation or variable-time amplitude amplification, and do not require large ancillary systems. We discuss a gate-based implementation via Hamiltonian simulation and prove that our second algorithm is almost optimal in terms of $κ$. Like previous methods, our techniques yield an exponential quantum speedup under some assumptions. Our results emphasize the role of Hamiltonian-based models of quantum computing for the discovery of important algorithms.
△ Less
Submitted 29 November, 2018; v1 submitted 26 May, 2018;
originally announced May 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.
-
Improved implementation of reflection operators
Authors:
Anirban Narayan Chowdhury,
Yigit Subasi,
Rolando D. Somma
Abstract:
Quantum algorithms for diverse problems, including search and optimization problems, require the implementation of a reflection operator over a target state. Commonly, such reflections are approximately implemented using phase estimation. Here we use a linear combination of unitaries and a version of amplitude amplification to approximate reflection operators over eigenvectors of unitary operators…
▽ More
Quantum algorithms for diverse problems, including search and optimization problems, require the implementation of a reflection operator over a target state. Commonly, such reflections are approximately implemented using phase estimation. Here we use a linear combination of unitaries and a version of amplitude amplification to approximate reflection operators over eigenvectors of unitary operators using exponentially less ancillary qubits in terms of a precision parameter. The gate complexity of our method is also comparable to that of the phase estimation approach in a certain limit of interest. Like phase estimation, our method requires the implementation of controlled unitary operations. We then extend our results to the Hamiltonian case where the target state is an eigenvector of a Hamiltonian whose matrix elements can be queried. Our results are useful in that they reduce the resources required by various quantum algorithms in the literature. Our improvements also rely on an efficient quantum algorithm to prepare a quantum state with Gaussian-like amplitudes that may be of independent interest. We also provide a lower bound on the query complexity of implementing approximate reflection operators on a quantum computer.
△ Less
Submitted 6 March, 2018;
originally announced March 2018.
-
Hardware-efficient fermionic simulation with a cavity-QED system
Authors:
Guanyu Zhu,
Yigit Subasi,
James D. Whitfield,
Mohammad Hafezi
Abstract:
In digital quantum simulation of fermionic models with qubits, non-local maps for encoding are often encountered. Such maps require linear or logarithmic overhead in circuit depth which could render the simulation useless, for a given decoherence time. Here we show how one can use a cavity-QED system to perform digital quantum simulation of fermionic models. In particular, we show that highly nonl…
▽ More
In digital quantum simulation of fermionic models with qubits, non-local maps for encoding are often encountered. Such maps require linear or logarithmic overhead in circuit depth which could render the simulation useless, for a given decoherence time. Here we show how one can use a cavity-QED system to perform digital quantum simulation of fermionic models. In particular, we show that highly nonlocal Jordan-Wigner or Bravyi-Kitaev transformations can be efficiently implemented through a hardware approach. The key idea is using ancilla cavity modes, which are dispersively coupled to a qubit string, to collectively manipulate and measure qubit states. Our scheme reduces the circuit depth in each Trotter step of the Jordan-Wigner encoding by a factor of $N^2$, comparing to the scheme for a device with only local connectivity, where $N$ is the number of orbitals for a generic two-body Hamiltonian. Additional analysis for the Fermi-Hubbard model on an $N\times N$ square lattice results in a similar reduction. We also discuss a detailed implementation of our scheme with superconducting qubits and cavities.
△ Less
Submitted 26 March, 2018; v1 submitted 15 July, 2017;
originally announced July 2017.
-
Quantum thermodynamics from the nonequilibrium dynamics of open systems: energy, heat capacity and the third law
Authors:
Jen-Tsung Hsiang,
C. H. Chou,
Y. Subaşi,
B. L. Hu
Abstract:
We take the perspective of open quantum systems and examine from their nonequilibrium dynamics the conditions when the physical quantities, their relations and the laws of thermodynamics become well defined and viable for quantum many body systems. We first describe how an open system nonequilibrium dynamics (ONEq) approach is different from the closed combined system + environment in a global the…
▽ More
We take the perspective of open quantum systems and examine from their nonequilibrium dynamics the conditions when the physical quantities, their relations and the laws of thermodynamics become well defined and viable for quantum many body systems. We first describe how an open system nonequilibrium dynamics (ONEq) approach is different from the closed combined system + environment in a global thermal state (CGTs) setup. Only after the open system equilibrates will it be amenable to conventional thermodynamics descriptions, thus quantum thermodynamics (QTD) comes at the end rather than assumed in the beginning. We see the open system approach having the advantage of dealing with nonequilibrium processes as many experiments in the near future will call for. Because it spells out the conditions of QTD's existence it can also aid us in addressing the basic issues in quantum thermodynamics from first principles in a systematic way. We then study one broad class of open quantum systems where the full nonequilibrium dynamics can be solved exactly, that of the quantum Brownian motion of $N$ strongly coupled harmonic oscillators, interacting strongly with a scalar field environment. Here we focus on the internal energy, heat capacity and the Third Law. We show for this class of physical models, amongst other findings, the extensive property of the internal energy, the positivity of the heat capacity and the validity of the Third Law from the perspective of the behavior of the heat capacity toward zero temperature. These conclusions obtained from exact solutions and quantitative analysis clearly disprove claims of negative specific heat in such systems and dispel allegations that in such systems the validity of the Third Law of thermodynamics relies on quantum entanglement.
△ Less
Submitted 28 January, 2018; v1 submitted 15 March, 2017;
originally announced March 2017.
-
Fast forward to the classical adiabatic invariant
Authors:
Christopher Jarzynski,
Sebastian Deffner,
Ayoti Patra,
Yiğit Subaşı
Abstract:
We show how the classical action, an adiabatic invariant, can be preserved under non-adiabatic conditions. Specifically, for a time-dependent Hamiltonian $H = p^2/2m + U(q,t)$ in one degree of freedom, and for an arbitrary choice of action $I_0$, we construct a "fast-forward" potential energy function $V_{\rm FF}(q,t)$ that, when added to $H$, guides all trajectories with initial action $I_0$ to e…
▽ More
We show how the classical action, an adiabatic invariant, can be preserved under non-adiabatic conditions. Specifically, for a time-dependent Hamiltonian $H = p^2/2m + U(q,t)$ in one degree of freedom, and for an arbitrary choice of action $I_0$, we construct a "fast-forward" potential energy function $V_{\rm FF}(q,t)$ that, when added to $H$, guides all trajectories with initial action $I_0$ to end with the same value of action. We use this result to construct a local dynamical invariant $J(q,p,t)$ whose value remains constant along these trajectories. We illustrate our results with numerical simulations. Finally, we sketch how our classical results may be used to design approximate quantum shortcuts to adiabaticity.
△ Less
Submitted 19 November, 2016;
originally announced November 2016.
-
Simulating highly nonlocal Hamiltonians with less nonlocal Hamiltonians
Authors:
Yigit Subasi,
Christopher Jarzynski
Abstract:
The need for Hamiltonians with many-body interactions arises in various applications of quantum computing. However, interactions beyond two-body are difficult to realize experimentally. Perturbative gadgets were introduced to obtain arbitrary many-body effective interactions using Hamiltonians with two-body interactions only. Although valid for arbitrary $k$-body interactions, their use is limited…
▽ More
The need for Hamiltonians with many-body interactions arises in various applications of quantum computing. However, interactions beyond two-body are difficult to realize experimentally. Perturbative gadgets were introduced to obtain arbitrary many-body effective interactions using Hamiltonians with two-body interactions only. Although valid for arbitrary $k$-body interactions, their use is limited to small $k$ because the strength of interaction is $k$'th order in perturbation theory. In this paper we develop a nonperturbative technique for obtaining effective $k$-body interactions using Hamiltonians consisting of at most $l$-body interactions with $l<k$. This technique works best for Hamiltonians with a few interactions with very large $k$ and can be used together with perturbative gadgets to embed Hamiltonians of considerable complexity in proper subspaces of two-local Hamiltonians. We describe how our technique can be implemented in a hybrid (gate-based and adiabatic) as well as solely adiabatic quantum computing scheme.
△ Less
Submitted 12 January, 2016;
originally announced January 2016.
-
Local convertibility of the ground state of the perturbed Toric code
Authors:
Siddhartha Santra,
Alioscia Hamma,
Lukasz Cincio,
Yigit Subasi,
Paolo Zanardi,
Luigi Amico
Abstract:
We present analytical and numerical studies of the behaviour of the $α$-Renyi entropies in the Toric code in presence of several types of perturbations aimed at studying the simulability of these perturbations to the parent Hamiltonian using local operations and classical communications (LOCC) - a property called local-convertibility. In particular, the derivatives, with respect to the perturbatio…
▽ More
We present analytical and numerical studies of the behaviour of the $α$-Renyi entropies in the Toric code in presence of several types of perturbations aimed at studying the simulability of these perturbations to the parent Hamiltonian using local operations and classical communications (LOCC) - a property called local-convertibility. In particular, the derivatives, with respect to the perturbation parameter, present different signs for different values of $α$ within the topological phase. From the information-theoretic point of view, this means that such ground states cannot be continuously deformed within the topological phase by means of catalyst assisted local operations and classical communications (LOCC). Such LOCC differential convertibility is on the other hand always possible in the trivial disordered phase. The non-LOCC convertibility is remarkable because it can be computed on a system whose size is independent of correlation length. This method can therefore constitute an experimentally feasible witness of topological order.
△ Less
Submitted 13 January, 2015; v1 submitted 24 October, 2013;
originally announced October 2013.
-
Macroscopic Quantum Phenomena from the Coupling Pattern and Entanglement Structure Perspective
Authors:
C H Chou,
Y Subasi,
B L Hu
Abstract:
We explore in this paper ways to qualify and quantify the quantum entanglement $E(M)$ between two macroscopic objects by way of model studies. Knowing that a macroscopic object is a composite, how does one determine $E(M)$ in terms of the entanglements between its micro-constituents $E(μ)$? We assert that the notion of `levels of structure', the coupling strength between constituents in different…
▽ More
We explore in this paper ways to qualify and quantify the quantum entanglement $E(M)$ between two macroscopic objects by way of model studies. Knowing that a macroscopic object is a composite, how does one determine $E(M)$ in terms of the entanglements between its micro-constituents $E(μ)$? We assert that the notion of `levels of structure', the coupling strength between constituents in different levels, and the use of collective variables in each level are all pertinent factors. We consider two types of coupling, each constituent particle is coupled to only one other particle (1-to-1) versus it coupled to all particles (1-to-all). In the 1-1 case with pairwise interactions of equal strength, the entanglement is independent of the number of constituent particles $N$ in the macroscopic object. In the 1-to-all case the relative coordinates are decoupled and the center of mass (CoM) coupling scales with $N$. We provide a proof of the conditions whereby the CoM variable decouples, a cause for the special role the CoM variable plays in the entanglement between the two such macroscopic objects. This qualitative behavior is largely not affected by fluctuations in the interaction strength. We also analyzed the entanglement pattern of 4 coupled oscillators in two pairs, representing the two objects A and B (or two adjacent levels of structure), each with two constituents. By assigning different coupling strengths we can investigate the interplay of inter-level entanglement with intra- level interactions. From the entanglement dynamics of the 4-oscillator system with varying coupling strength we see the entanglement between constituents meeting sudden death while the CoM variables may sustain over longer times. This offers another way to determine under what conditions quantum entanglement between macroscopic objects can persist.
△ Less
Submitted 20 August, 2013;
originally announced August 2013.
-
Pathways toward understanding Macroscopic Quantum Phenomena
Authors:
B. L. Hu,
Y. Subasi
Abstract:
Macroscopic quantum phenomena refer to quantum features in objects of `large' sizes, systems with many components or degrees of freedom, organized in ways where they can be identified as macroscopic objects. This emerging field is ushered in by several categories of definitive experiments in superconductivity, electromechanical systems, Bose-Einstein condensates and others. Yet this new field whic…
▽ More
Macroscopic quantum phenomena refer to quantum features in objects of `large' sizes, systems with many components or degrees of freedom, organized in ways where they can be identified as macroscopic objects. This emerging field is ushered in by several categories of definitive experiments in superconductivity, electromechanical systems, Bose-Einstein condensates and others. Yet this new field which is rich in open issues at the foundation of quantum and statistical physics remains little explored theoretically [1]. This talk summarizes our thoughts on attempting a systematic investigation into its foundation, with the goal of ultimately revealing or building a viable theoretical framework. Three major themes discussed in three intended essays are the large N expansion [2], the correlation hierarchy [3] and quantum entanglement [4]. We give a sketch of the first two themes and then discuss several key issues in the consideration of macro and quantum, namely, a) recognition that in a composite body there exist many 'levels of structure' characterized by collective variables. The quantum features of a macroscopic object can be captured by understanding how these collective variables function; b) 'quantum entanglement', an exclusively quantum feature [5], is known to persist to high temperatures [6] and large scales [7] under certain conditions, and may actually decrease with increased connectivity in a quantum network [8]. Here we use entanglement as a measure of quantumness and pick out these somewhat counter-intuitive examples to show that there are blind spots worthy of our attention and issues which we need to analyze closer. Our purpose is to try to remove the stigma that quantum only pertains to micro, in order to make way for deeper probes into the conditions whereby quantum features of macroscopic systems manifest.
△ Less
Submitted 29 April, 2013;
originally announced April 2013.
-
The equilibrium states of open quantum systems in the strong coupling regime
Authors:
Y. Subasi,
C. H. Fleming,
J. M. Taylor,
B. L. Hu
Abstract:
In this work we investigate the late-time stationary states of open quantum systems coupled to a thermal reservoir in the strong coupling regime. In general such systems do not necessarily relax to a Boltzmann distribution if the coupling to the thermal reservoir is non-vanishing or equivalently if the relaxation timescales are finite. Using a variety of non-equilibrium formalisms valid for non-Ma…
▽ More
In this work we investigate the late-time stationary states of open quantum systems coupled to a thermal reservoir in the strong coupling regime. In general such systems do not necessarily relax to a Boltzmann distribution if the coupling to the thermal reservoir is non-vanishing or equivalently if the relaxation timescales are finite. Using a variety of non-equilibrium formalisms valid for non-Markovian processes, we show that starting from a product state of the closed system = system + environment, with the environment in its thermal state, the open system which results from coarse graining the environment will evolve towards an equilibrium state at late-times. This state can be expressed as the reduced state of the closed system thermal state at the temperature of the environment. For a linear (harmonic) system and environment, which is exactly solvable, we are able to show in a rigorous way that all multi-time correlations of the open system evolve towards those of the closed system thermal state. Multi-time correlations are especially relevant in the non-Markovian regime, since they cannot be generated by the dynamics of the single-time correlations. For more general systems, which cannot be exactly solved, we are able to provide a general proof that all single-time correlations of the open system evolve to those of the closed system thermal state, to first order in the relaxation rates. For the special case of a zero-temperature reservoir, we are able to explicitly construct the reduced closed system thermal state in terms of the environmental correlations.
△ Less
Submitted 12 June, 2012;
originally announced June 2012.
-
Quantum and classical fluctuation theorems from a decoherent histories, open-system analysis
Authors:
Y. Subasi,
B. L. Hu
Abstract:
In this paper we present a first-principles analysis of the nonequilibrium work distribution and the free energy difference of a quantum system interacting with a general environment (with arbitrary spectral density and for all temperatures) based on a well-understood micro-physics (quantum Brownian motion) model under the conditions stipulated by the Jarzynski equality [C. Jarzynski, Phys. Rev. L…
▽ More
In this paper we present a first-principles analysis of the nonequilibrium work distribution and the free energy difference of a quantum system interacting with a general environment (with arbitrary spectral density and for all temperatures) based on a well-understood micro-physics (quantum Brownian motion) model under the conditions stipulated by the Jarzynski equality [C. Jarzynski, Phys. Rev. Lett. 78, 2690 (1997)] and Crooks' fluctuation theorem [G. E. Crooks, Phys. Rev. E 60, 2721 (1999)] (in short FTs). We use the decoherent history conceptual framework to explain how the notion of trajectories in a quantum system can be made viable and use the environment-induced decoherence scheme to assess the strength of noise which could provide sufficient decoherence to warrant the use of trajectories to define work in open quantum systems. From the solutions to the Langevin equation governing the stochastic dynamics of such systems we were able to produce formal expressions for these quantities entering in the FTs, and from them prove explicitly the validity of the FTs at the high temperature limit. At low temperatures our general results would enable one to identify the range of parameters where FTs may not hold or need be expressed differently. We explain the relation between classical and quantum FTs and the advantage of this micro-physics open-system approach over the phenomenological modeling and energy-level calculations for substitute closed quantum systems.
△ Less
Submitted 2 January, 2012; v1 submitted 29 September, 2011;
originally announced September 2011.
-
Macroscopic Quantum Phenomena from the Correlation, Coupling and Criticality Perspectives
Authors:
C H Chou,
B L Hu,
Y Subasi
Abstract:
In this sequel paper we explore how macroscopic quantum phenomena can be measured or understood from the behavior of quantum correlations which exist in a quantum system of many particles or components and how the interaction strengths change with energy or scale, under ordinary situations and when the system is near its critical point. We use the nPI (master) effective action related to the Boltz…
▽ More
In this sequel paper we explore how macroscopic quantum phenomena can be measured or understood from the behavior of quantum correlations which exist in a quantum system of many particles or components and how the interaction strengths change with energy or scale, under ordinary situations and when the system is near its critical point. We use the nPI (master) effective action related to the Boltzmann-BBGKY / Schwinger-Dyson hierarchy of equations as a tool for systemizing the contributions of higher order correlation functions to the dynamics of lower order correlation functions. Together with the large N expansion discussed in our first paper(MQP1) we explore 1) the conditions whereby an H-theorem is obtained, which can be viewed as a signifier of the emergence of macroscopic behavior in the system. We give two more examples from past work: 2) the nonequilibrium dynamics of N atoms in an optical lattice under the large $\cal N$ (field components), 2PI and second order perturbative expansions, illustrating how N and $\cal N$ enter in these three aspects of quantum correlations, coherence and coupling strength. 3) the behavior of an interacting quantum system near its critical point, the effects of quantum and thermal fluctuations and the conditions under which the system manifests infrared dimensional reduction. We also discuss how the effective field theory concept bears on macroscopic quantum phenomena: the running of the coupling parameters with energy or scale imparts a dynamical-dependent and an interaction-sensitive definition of `macroscopia'.
△ Less
Submitted 15 July, 2011;
originally announced July 2011.
-
Macroscopic quantum phenomena from the large N perspective
Authors:
C H Chou,
B L Hu,
Y Subasi
Abstract:
Macroscopic quantum phenomena (MQP) is a relatively new research venue, with exciting ongoing experiments and bright prospects, yet with surprisingly little theoretical activity. What makes MQP intellectually stimulating is because it is counterpoised against the traditional view that macroscopic means classical. In this series of papers we report on a systematic investigation into some key founda…
▽ More
Macroscopic quantum phenomena (MQP) is a relatively new research venue, with exciting ongoing experiments and bright prospects, yet with surprisingly little theoretical activity. What makes MQP intellectually stimulating is because it is counterpoised against the traditional view that macroscopic means classical. In this series of papers we report on a systematic investigation into some key foundational issues of MQP, with the hope of constructing a viable theoretical framework for this new endeavour. The three major themes discussed in these three essays are the large N expansion, the correlation hierarchy and quantum entanglement for systems of `large' sizes, with many components or degrees of freedom. In this paper we use different theories in a variety of contexts to examine the conditions or criteria whereby a macroscopic quantum system may take on classical attributes, and, more interestingly, that it keeps some of its quantum features. The theories we consider here are, the O(N) quantum mechanical model, semiclassical stochastic gravity and gauge / string theories; the contexts include that of a `quantum roll' in inflationary cosmology, entropy generation in quantum Vlasov equation for plasmas, the leading order and next-to-leading order large N behaviour, and hydrodynamic / thermodynamic limits. By examining different representative systems where detailed theoretical analysis has been carried out, we find that there is no a priori good reason why quantum phenomena in macroscopic objects cannot exist.
△ Less
Submitted 2 June, 2011;
originally announced June 2011.