Showing 1–40 of 40 results for author: Jordan, S P

Optimization by Decoded Quantum Interferometry

Authors: Stephen P. Jordan, Noah Shutty, Mary Wootters, Adam Zalcman, Alexander Schmidhuber, Robbie King, Sergei V. Isakov, Tanuj Khattar, Ryan Babbush

Abstract: Whether quantum computers can achieve exponential speedups in optimization has been a major open question in quantum algorithms since the field began. Here we introduce a quantum algorithm called Decoded Quantum Interferometry (DQI), which uses the quantum Fourier transform to reduce optimization problems to decoding problems. For approximating optimal polynomial fits to data over finite fields, D… ▽ More Whether quantum computers can achieve exponential speedups in optimization has been a major open question in quantum algorithms since the field began. Here we introduce a quantum algorithm called Decoded Quantum Interferometry (DQI), which uses the quantum Fourier transform to reduce optimization problems to decoding problems. For approximating optimal polynomial fits to data over finite fields, DQI efficiently achieves a better approximation ratio than any polynomial time classical algorithm known to us, thus suggesting exponential quantum speedup. Sparse unstructured optimization problems such as max-k-XORSAT are reduced to decoding of LDPC codes. We prove a theorem which allows the performance of DQI to be calculated instance-by-instance based on the empirical performance of classical decoders. We use this to construct an instance of max-XORSAT for which DQI finds an approximate optimum that cannot be found by simulated annealing or any of the other general-purpose classical heuristics that we tried, unless given five orders of magnitude more compute time than the decoding problem requires. Although we subsequently design a tailored classical solver that beats DQI within reasonable runtime, our results nevertheless demonstrate that the combination of quantum Fourier transforms with powerful decoding primitives provides a promising new approach to finding quantum speedups for hard optimization problems. △ Less

Submitted 21 May, 2025; v1 submitted 15 August, 2024; originally announced August 2024.

Comments: v4: added quantitative resource requirements and an additional author

Efficiently constructing a quantum uniform superposition over bit strings near a binary linear code

Authors: Edward Farhi, Stephen P. Jordan

Abstract: We demonstrate that a high fidelity approximation to $| Ψ_b \rangle$, the quantum superposition over all bit strings within Hamming distance $b$ of the codewords of a dimension-$k$ linear code over $\mathbb{Z}_2^n$, can be efficiently constructed by a quantum circuit for large values of $n$, $b$ and $k$ which we characterize. We do numerical experiments at $n=1000$ which back up our claims. The ac… ▽ More We demonstrate that a high fidelity approximation to $| Ψ_b \rangle$, the quantum superposition over all bit strings within Hamming distance $b$ of the codewords of a dimension-$k$ linear code over $\mathbb{Z}_2^n$, can be efficiently constructed by a quantum circuit for large values of $n$, $b$ and $k$ which we characterize. We do numerical experiments at $n=1000$ which back up our claims. The achievable radius $b$ is much larger than the distance out to which known classical algorithms can efficiently find the nearest codeword. Hence, these states cannot be prepared by quantum constuctions that require uncomputing to find the codeword nearest a string. Unlike the analogous states for lattices in $\mathbb{R}^n$, $|Ψ_b \rangle$ is not a useful resource for bounded distance decoding because the relevant overlap falls off too quickly with distance and known classical algorithms do better. Furthermore the overlap calculation can be dequantized. Perhaps these states could be used to solve other code problems. The technique used to construct these states is of interest and hopefully will have applications beyond codes. △ Less

Submitted 24 April, 2024; originally announced April 2024.

Comments: 32 pages, 9 figures

Variational quantum simulation of critical Ising model with symmetry averaging

Authors: Troy J. Sewell, Ning Bao, Stephen P. Jordan

Abstract: Here, we investigate the use of deep multi-scale entanglement renormalization (DMERA) circuits as a variational ansatz for ground states of gapless systems. We use the exactly-solvable one-dimensional critical transverse-field Ising model as a testbed. Numerically exact simulation of the ansatz can in this case be carried out to hundreds of qubits by exploiting efficient classical algorithms for s… ▽ More Here, we investigate the use of deep multi-scale entanglement renormalization (DMERA) circuits as a variational ansatz for ground states of gapless systems. We use the exactly-solvable one-dimensional critical transverse-field Ising model as a testbed. Numerically exact simulation of the ansatz can in this case be carried out to hundreds of qubits by exploiting efficient classical algorithms for simulating matchgate circuits. We find that, for this system, DMERA strongly outperforms a standard QAOA-style ansatz, and that a major source of systematic error in correlation functions approximated using DMERA is the breaking of the translational and Kramers-Wannier symmetries of the transverse-field Ising model. We are able to reduce this error by up to four orders of magnitude by symmetry averaging, without incurring additional cost in qubits or circuit depth. We propose that this technique for mitigating systematic error could be applied to NISQ simulations of physical systems with other symmetries. △ Less

Submitted 28 April, 2023; v1 submitted 26 October, 2022; originally announced October 2022.

Comments: 10 pages, 6 figures. Updated version with some text additions and figure reformatting after publication in PRA

Journal ref: Phys. Rev. A 107, 042620 (2023)

Preparing Renormalization Group Fixed Points on NISQ Hardware

Authors: Troy J. Sewell, Stephen P. Jordan

Abstract: Noisy intermediate-scale quantum (NISQ) hardware is typically limited to low-depth quantum circuits to limit the number of opportunities for introduction of error by unreliable quantum gates. A less-explored alternative approach is to repeatedly apply a quantum channel with a desired quantum state as a stable fixed point. Increased circuit depth can in this case be beneficial rather than harmful d… ▽ More Noisy intermediate-scale quantum (NISQ) hardware is typically limited to low-depth quantum circuits to limit the number of opportunities for introduction of error by unreliable quantum gates. A less-explored alternative approach is to repeatedly apply a quantum channel with a desired quantum state as a stable fixed point. Increased circuit depth can in this case be beneficial rather than harmful due to dissipative self-correction. The quantum channels constructed from MERA circuits can be interpreted in terms of the renormalization group(RG), and their fixed points are RG fixed points, i.e. scale-invariant systems such as conformal field theories. Here, building upon the theoretical proposal of Kim and Swingle, we numerically and experimentally study the robust preparation of the ground state of the critical Ising model using circuits adapted from the work of Evenbly and White. The experimental implementation exhibits self-correction through renormalization seen in the convergence and stability of local observables, and makes essential use of the ability to measure and reset individual qubits afforded by the "quantum CCD" architecture of the Honeywell ion-trap. We also numerically test error mitigation by zero-noise extrapolation schemes specially adapted for renormalization circuits, which are able to outperform typical extrapolation schemes using lower gate overhead. △ Less

Submitted 20 September, 2021; originally announced September 2021.

Comments: 21 pages, 11 figures

Automated Design of Pulse Sequences for Magnetic Resonance Fingerprinting using Physics-Inspired Optimization

Authors: Stephen P. Jordan, Siyuan Hu, Ignacio Rozada, Debra F. McGivney, Rasim Boyacioglu, Darryl C. Jacob, Sherry Huang, Michael Beverland, Helmut G. Katzgraber, Matthias Troyer, Mark A. Griswold, Dan Ma

Abstract: Magnetic Resonance Fingerprinting (MRF) is a method to extract quantitative tissue properties such as T1 and T2 relaxation rates from arbitrary pulse sequences using conventional magnetic resonance imaging hardware. MRF pulse sequences have thousands of tunable parameters which can be chosen to maximize precision and minimize scan time. Here we perform de novo automated design of MRF pulse sequenc… ▽ More Magnetic Resonance Fingerprinting (MRF) is a method to extract quantitative tissue properties such as T1 and T2 relaxation rates from arbitrary pulse sequences using conventional magnetic resonance imaging hardware. MRF pulse sequences have thousands of tunable parameters which can be chosen to maximize precision and minimize scan time. Here we perform de novo automated design of MRF pulse sequences by applying physics-inspired optimization heuristics. Our experimental data suggests systematic errors dominate over random errors in MRF scans under clinically-relevant conditions of high undersampling. Thus, in contrast to prior optimization efforts, which focused on statistical error models, we use a cost function based on explicit first-principles simulation of systematic errors arising from Fourier undersampling and phase variation. The resulting pulse sequences display features qualitatively different from previously used MRF pulse sequences and achieve fourfold shorter scan time than prior human-designed sequences of equivalent precision in T1 and T2. Furthermore, the optimization algorithm has discovered the existence of MRF pulse sequences with intrinsic robustness against shading artifacts due to phase variation. △ Less

Submitted 10 January, 2022; v1 submitted 8 June, 2021; originally announced June 2021.

Comments: Journal version. 15 pages plus 30 pages for appendices and references

Journal ref: PNAS 118(40):e2020516118, 2021

Approximate optimization of MAXCUT with a local spin algorithm

Authors: Aniruddha Bapat, Stephen P. Jordan

Abstract: Local tensor methods are a class of optimization algorithms that was introduced in [Hastings,arXiv:1905.07047v2][1] as a classical analogue of the quantum approximate optimization algorithm (QAOA). These algorithms treat the cost function as a Hamiltonian on spin degrees of freedom and simulate the relaxation of the system to a low energy configuration using local update rules on the spins. Wherea… ▽ More Local tensor methods are a class of optimization algorithms that was introduced in [Hastings,arXiv:1905.07047v2][1] as a classical analogue of the quantum approximate optimization algorithm (QAOA). These algorithms treat the cost function as a Hamiltonian on spin degrees of freedom and simulate the relaxation of the system to a low energy configuration using local update rules on the spins. Whereas the emphasis in [1] was on theoretical worst-case analysis, we here investigate performance in practice through benchmarking experiments on instances of the MAXCUT problem.Through heuristic arguments we propose formulas for choosing the hyperparameters of the algorithm which are found to be in good agreement with the optimal choices determined from experiment. We observe that the local tensor method is closely related to gradient descent on a relaxation of maxcut to continuous variables, but consistently outperforms gradient descent in all instances tested. We find time to solution achieved by the local tensor method is highly uncorrelated with that achieved by a widely used commercial optimization package; on some MAXCUT instances the local tensor method beats the commercial solver in time to solution by up to two orders of magnitude and vice-versa. Finally, we argue that the local tensor method closely follows discretized, imaginary-time dynamics of the system under the problem Hamiltonian. △ Less

Submitted 13 August, 2020; originally announced August 2020.

Comments: 12 pages, 9 figures, 2 tables

Journal ref: Phys. Rev. A 103, 052413 (2021)

Site-by-site quantum state preparation algorithm for preparing vacua of fermionic lattice field theories

Authors: Ali Hamed Moosavian, James R. Garrison, Stephen P. Jordan

Abstract: Answering whether quantum computers can efficiently simulate quantum field theories has both theoretical and practical motivation. From the theoretical point of view, it answers the question of whether a hypothetical computer that utilizes quantum field theory would be more powerful than other quantum computers. From the practical point of view, when reliable quantum computers are eventually built… ▽ More Answering whether quantum computers can efficiently simulate quantum field theories has both theoretical and practical motivation. From the theoretical point of view, it answers the question of whether a hypothetical computer that utilizes quantum field theory would be more powerful than other quantum computers. From the practical point of view, when reliable quantum computers are eventually built, these algorithms can help us better understand the underlying physics that govern our world. In the best known quantum algorithms for simulating quantum field theories, the time scaling is dominated by initial state preparation. In this paper, we exclusively focus on state preparation and present a heuristic algorithm that can prepare the vacuum of fermionic systems in more general cases and more efficiently than previous methods. With our method, state preparation is no longer the bottleneck, as its runtime has the same asymptotic scaling with the desired precision as the remainder of the simulation algorithm. We numerically demonstrate the effectiveness of our proposed method for the 1+1 dimensional Gross-Neveu model. △ Less

Submitted 8 November, 2019; originally announced November 2019.

Comments: 10 pages, 6 figures

Polynomial Time Algorithms for Estimating Spectra of Adiabatic Hamiltonians

Authors: Jacob Bringewatt, William Dorland, Stephen P. Jordan

Abstract: Much research regarding quantum adiabatic optimization has focused on stoquastic Hamiltonians with Hamming symmetric potentials, such as the well studied "spike" example. Due to the large amount of symmetry in these potentials such problems are readily open to analysis both analytically and computationally. However, more realistic potentials do not have such a high degree of symmetry and may have… ▽ More Much research regarding quantum adiabatic optimization has focused on stoquastic Hamiltonians with Hamming symmetric potentials, such as the well studied "spike" example. Due to the large amount of symmetry in these potentials such problems are readily open to analysis both analytically and computationally. However, more realistic potentials do not have such a high degree of symmetry and may have many local minima. Here we present a somewhat more realistic class of problems consisting of many individually Hamming symmetric potential wells. For two or three such wells we demonstrate that such a problem can be solved exactly in time polynomial in the number of qubits and wells. For greater than three wells, we present a tight binding approach with which to efficiently analyze the performance of such Hamiltonians in an adiabatic computation. We provide several basic examples designed to highlight the usefulness of this toy model and to give insight into using the tight binding approach to examining it, including: (1) adiabatic unstructured search with a transverse field driver and a prior guess to the marked item and (2) a scheme for adiabatically simulating the ground states of small collections of strongly interacting spins, with an explicit demonstration for an Ising model Hamiltonian. △ Less

Submitted 1 October, 2020; v1 submitted 17 May, 2019; originally announced May 2019.

Comments: 12 pages, 9 figures, v3: update to be consistent with Phys. Rev. A version

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

Diffusion Monte Carlo approach versus adiabatic computation for local Hamiltonians

Authors: Jacob Bringewatt, William Dorland, Stephen P. Jordan, Alan Mink

Abstract: Most research regarding quantum adiabatic optimization has focused on stoquastic Hamiltonians, whose ground states can be expressed with only real, nonnegative amplitudes. This raises the question of whether classical Monte Carlo algorithms can efficiently simulate quantum adiabatic optimization with stoquastic Hamiltonians. Recent results have given counterexamples in which path integral and diff… ▽ More Most research regarding quantum adiabatic optimization has focused on stoquastic Hamiltonians, whose ground states can be expressed with only real, nonnegative amplitudes. This raises the question of whether classical Monte Carlo algorithms can efficiently simulate quantum adiabatic optimization with stoquastic Hamiltonians. Recent results have given counterexamples in which path integral and diffusion Monte Carlo fail to do so. However, most adiabatic optimization algorithms, such as for solving MAX-k-SAT problems, use k-local Hamiltonians, whereas our previous counterexample for diffusion Monte Carlo involved n-body interactions. Here we present a new 6-local counterexample which demonstrates that even for these local Hamiltonians there are cases where diffusion Monte Carlo cannot efficiently simulate quantum adiabatic optimization. Furthermore, we perform empirical testing of diffusion Monte Carlo on a standard well-studied class of permutation-symmetric tunneling problems and similarly find large advantages for quantum optimization over diffusion Monte Carlo. △ Less

Submitted 19 February, 2018; v1 submitted 12 September, 2017; originally announced September 2017.

Comments: 7 pages, 5 figures, updated organization, typos, journal reference added (results unchanged)

Journal ref: Phys. Rev. A 97, 022323 (2018)

BQP-completeness of Scattering in Scalar Quantum Field Theory

Authors: Stephen P. Jordan, Hari Krovi, Keith S. M. Lee, John Preskill

Abstract: Recent work has shown that quantum computers can compute scattering probabilities in massive quantum field theories, with a run time that is polynomial in the number of particles, their energy, and the desired precision. Here we study a closely related quantum field-theoretical problem: estimating the vacuum-to-vacuum transition amplitude, in the presence of spacetime-dependent classical sources,… ▽ More Recent work has shown that quantum computers can compute scattering probabilities in massive quantum field theories, with a run time that is polynomial in the number of particles, their energy, and the desired precision. Here we study a closely related quantum field-theoretical problem: estimating the vacuum-to-vacuum transition amplitude, in the presence of spacetime-dependent classical sources, for a massive scalar field theory in (1+1) dimensions. We show that this problem is BQP-hard; in other words, its solution enables one to solve any problem that is solvable in polynomial time by a quantum computer. Hence, the vacuum-to-vacuum amplitude cannot be accurately estimated by any efficient classical algorithm, even if the field theory is very weakly coupled, unless BQP=BPP. Furthermore, the corresponding decision problem can be solved by a quantum computer in a time scaling polynomially with the number of bits needed to specify the classical source fields, and this problem is therefore BQP-complete. Our construction can be regarded as an idealized architecture for a universal quantum computer in a laboratory system described by massive phi^4 theory coupled to classical spacetime-dependent sources. △ Less

Submitted 4 January, 2018; v1 submitted 1 March, 2017; originally announced March 2017.

Comments: 41 pages, 7 figures. Corrected typo in footer

Journal ref: Quantum 2, 44 (2018)

Fast quantum computation at arbitrarily low energy

Authors: Stephen P. Jordan

Abstract: One version of the energy-time uncertainty principle states that the minimum time $T_{\perp}$ for a quantum system to evolve from a given state to any orthogonal state is $h/(4 ΔE)$ where $ΔE$ is the energy uncertainty. A related bound called the Margolus-Levitin theorem states that $T_{\perp} \geq h/(2 E)$ where E is the expectation value of energy and the ground energy is taken to be zero. Many… ▽ More One version of the energy-time uncertainty principle states that the minimum time $T_{\perp}$ for a quantum system to evolve from a given state to any orthogonal state is $h/(4 ΔE)$ where $ΔE$ is the energy uncertainty. A related bound called the Margolus-Levitin theorem states that $T_{\perp} \geq h/(2 E)$ where E is the expectation value of energy and the ground energy is taken to be zero. Many subsequent works have interpreted $T_{\perp}$ as defining a minimal time for an elementary computational operation and correspondingly a fundamental limit on clock speed determined by a system's energy. Here we present local time-independent Hamiltonians in which computational clock speed becomes arbitrarily large relative to E and $ΔE$ as the number of computational steps goes to infinity. We argue that energy considerations alone are not sufficient to obtain an upper bound on computational speed, and that additional physical assumptions such as limits to information density and information transmission speed are necessary to obtain such a bound. △ Less

Submitted 6 March, 2017; v1 submitted 4 January, 2017; originally announced January 2017.

Comments: Added ref 36. Published version

Journal ref: Phys. Rev. A 95, 032305 (2017)

Adiabatic optimization versus diffusion Monte Carlo

Authors: Michael Jarret, Stephen P. Jordan, Brad Lackey

Abstract: Most experimental and theoretical studies of adiabatic optimization use stoquastic Hamiltonians, whose ground states are expressible using only real nonnegative amplitudes. This raises a question as to whether classical Monte Carlo methods can simulate stoquastic adiabatic algorithms with polynomial overhead. Here, we analyze diffusion Monte Carlo algorithms. We argue that, based on differences be… ▽ More Most experimental and theoretical studies of adiabatic optimization use stoquastic Hamiltonians, whose ground states are expressible using only real nonnegative amplitudes. This raises a question as to whether classical Monte Carlo methods can simulate stoquastic adiabatic algorithms with polynomial overhead. Here, we analyze diffusion Monte Carlo algorithms. We argue that, based on differences between L1 and L2 normalized states, these algorithms suffer from certain obstructions preventing them from efficiently simulating stoquastic adiabatic evolution in generality. In practice however, we obtain good performance by introducing a method that we call Substochastic Monte Carlo. In fact, our simulations are good classical optimization algorithms in their own right, competitive with the best previously known heuristic solvers for MAX-k-SAT at k=2,3,4. △ Less

Submitted 31 October, 2016; v1 submitted 12 July, 2016; originally announced July 2016.

Comments: 13 pages plus appendices. Published version

Journal ref: Phys. Rev. A 94, 042318 (2016)

Grover search and the no-signaling principle

Authors: Ning Bao, Adam Bouland, Stephen P. Jordan

Abstract: Two of the key properties of quantum physics are the no-signaling principle and the Grover search lower bound. That is, despite admitting stronger-than-classical correlations, quantum mechanics does not imply superluminal signaling, and despite a form of exponential parallelism, quantum mechanics does not imply polynomial-time brute force solution of NP-complete problems. Here, we investigate the… ▽ More Two of the key properties of quantum physics are the no-signaling principle and the Grover search lower bound. That is, despite admitting stronger-than-classical correlations, quantum mechanics does not imply superluminal signaling, and despite a form of exponential parallelism, quantum mechanics does not imply polynomial-time brute force solution of NP-complete problems. Here, we investigate the degree to which these two properties are connected. We examine four classes of deviations from quantum mechanics, for which we draw inspiration from the literature on the black hole information paradox. We show that in these models, the physical resources required to send a superluminal signal scale polynomially with the resources needed to speed up Grover's algorithm. Hence the no-signaling principle is equivalent to the inability to solve NP-hard problems efficiently by brute force within the classes of theories analyzed. △ Less

Submitted 2 November, 2016; v1 submitted 2 November, 2015; originally announced November 2015.

Comments: Minor edits and clarifications. Results unchanged. 33 pages

Journal ref: Phys. Rev. Lett. 117, 120501 (2016)

Yang-Baxter operators need quantum entanglement to distinguish knots

Authors: Gorjan Alagic, Michael Jarret, Stephen P. Jordan

Abstract: Any solution to the Yang-Baxter equation yields a family of representations of braid groups. Under certain conditions, identified by Turaev, the appropriately normalized trace of these representations yields a link invariant. Any Yang-Baxter solution can be interpreted as a two-qudit quantum gate. Here we show that if this gate is non-entangling, then the resulting invariant of knots is trivial. W… ▽ More Any solution to the Yang-Baxter equation yields a family of representations of braid groups. Under certain conditions, identified by Turaev, the appropriately normalized trace of these representations yields a link invariant. Any Yang-Baxter solution can be interpreted as a two-qudit quantum gate. Here we show that if this gate is non-entangling, then the resulting invariant of knots is trivial. We thus obtain a general connection between topological entanglement and quantum entanglement, as suggested by Kauffman et al. △ Less

Submitted 21 July, 2015; originally announced July 2015.

Comments: 12 pages, 2 figures

Journal ref: Journal of Physics A, 49 075203 (2016)

Modulus of continuity eigenvalue bounds for homogeneous graphs and convex subgraphs with applications to quantum Hamiltonians

Authors: Michael Jarret, Stephen P. Jordan

Abstract: We adapt modulus of continuity estimates to the study of spectra of combinatorial graph Laplacians, as well as the Dirichlet spectra of certain weighted Laplacians. The latter case is equivalent to stoquastic Hamiltonians and is of current interest in both condensed matter physics and quantum computing. In particular, we introduce a new technique which bounds the spectral gap of such Laplacians (H… ▽ More We adapt modulus of continuity estimates to the study of spectra of combinatorial graph Laplacians, as well as the Dirichlet spectra of certain weighted Laplacians. The latter case is equivalent to stoquastic Hamiltonians and is of current interest in both condensed matter physics and quantum computing. In particular, we introduce a new technique which bounds the spectral gap of such Laplacians (Hamiltonians) by studying the limiting behavior of the oscillations of their eigenvectors when introduced into the heat equation. Our approach is based on recent advances in the PDE literature, which include a proof of the fundamental gap theorem by Andrews and Clutterbuck. △ Less

Submitted 17 April, 2017; v1 submitted 28 June, 2015; originally announced June 2015.

Comments: 22 pages, corrected citations, corrected compiler errors

Journal ref: Journal of Mathematical Analysis and Applications, Vol. 452, No. 2, pg. 1269-1290 (2017)

Adiabatic optimization without local minima

Authors: Michael Jarret, Stephen P. Jordan

Abstract: Several previous works have investigated the circumstances under which quantum adiabatic optimization algorithms can tunnel out of local energy minima that trap simulated annealing or other classical local search algorithms. Here we investigate the even more basic question of whether adiabatic optimization algorithms always succeed in polynomial time for trivial optimization problems in which ther… ▽ More Several previous works have investigated the circumstances under which quantum adiabatic optimization algorithms can tunnel out of local energy minima that trap simulated annealing or other classical local search algorithms. Here we investigate the even more basic question of whether adiabatic optimization algorithms always succeed in polynomial time for trivial optimization problems in which there are no local energy minima other than the global minimum. Surprisingly, we find a counterexample in which the potential is a single basin on a graph, but the eigenvalue gap is exponentially small as a function of the number of vertices. In this counterexample, the ground state wavefunction consists of two "lobes" separated by a region of exponentially small amplitude. Conversely, we prove if the ground state wavefunction is single-peaked then the eigenvalue gap scales at worst as one over the square of the number of vertices. △ Less

Submitted 15 August, 2014; v1 submitted 29 May, 2014; originally announced May 2014.

Comments: 20 pages, 1 figure. Journal version

Journal ref: Quantum Information and Computation, Vol. 15 No. 3/4 pg. 181-199 (2015)

Quantum Algorithms for Fermionic Quantum Field Theories

Authors: Stephen P. Jordan, Keith S. M. Lee, John Preskill

Abstract: Extending previous work on scalar field theories, we develop a quantum algorithm to compute relativistic scattering amplitudes in fermionic field theories, exemplified by the massive Gross-Neveu model, a theory in two spacetime dimensions with quartic interactions. The algorithm introduces new techniques to meet the additional challenges posed by the characteristics of fermionic fields, and its ru… ▽ More Extending previous work on scalar field theories, we develop a quantum algorithm to compute relativistic scattering amplitudes in fermionic field theories, exemplified by the massive Gross-Neveu model, a theory in two spacetime dimensions with quartic interactions. The algorithm introduces new techniques to meet the additional challenges posed by the characteristics of fermionic fields, and its run time is polynomial in the desired precision and the energy. Thus, it constitutes further progress towards an efficient quantum algorithm for simulating the Standard Model of particle physics. △ Less

Submitted 28 April, 2014; originally announced April 2014.

Comments: 29 pages

The Fundamental Gap for a Class of Schrödinger Operators on Path and Hypercube Graphs

Authors: Michael Jarret, Stephen P. Jordan

Abstract: We consider the difference between the two lowest eigenvalues (the fundamental gap) of a Schrödinger operator acting on a class of graphs. In particular, we derive tight bounds for the gap of Schrödinger operators with convex potentials acting on the path graph. Additionally, for the hypercube graph, we derive a tight bound for the gap of Schrödinger operators with convex potentials dependent only… ▽ More We consider the difference between the two lowest eigenvalues (the fundamental gap) of a Schrödinger operator acting on a class of graphs. In particular, we derive tight bounds for the gap of Schrödinger operators with convex potentials acting on the path graph. Additionally, for the hypercube graph, we derive a tight bound for the gap of Schrödinger operators with convex potentials dependent only upon vertex Hamming weight. Our proof makes use of tools from the literature of the fundamental gap theorem as proved in the continuum combined with techniques unique to the discrete case. We prove the tight bound for the hypercube graph as a corollary to our path graph results. △ Less

Submitted 6 March, 2014; originally announced March 2014.

Comments: 24 pages, 1 figure

Journal ref: J. Math. Phys. 55, 052104 (2014)

Strong equivalence of reversible circuits is coNP-complete

Authors: Stephen P. Jordan

Abstract: It is well-known that deciding equivalence of logic circuits is a coNP-complete problem. As a corollary, the problem of deciding weak equivalence of reversible circuits, i.e. ignoring the ancilla bits, is also coNP-complete. The complexity of deciding strong equivalence, including the ancilla bits, is less obvious and may depend on gate set. Here we use Barrington's theorem to show that deciding s… ▽ More It is well-known that deciding equivalence of logic circuits is a coNP-complete problem. As a corollary, the problem of deciding weak equivalence of reversible circuits, i.e. ignoring the ancilla bits, is also coNP-complete. The complexity of deciding strong equivalence, including the ancilla bits, is less obvious and may depend on gate set. Here we use Barrington's theorem to show that deciding strong equivalence of reversible circuits built from the Fredkin gate is coNP-complete. This implies coNP-completeness of deciding strong equivalence for other commonly used universal reversible gate sets, including any gate set that includes the Toffoli or Fredkin gate. △ Less

Submitted 2 July, 2013; originally announced July 2013.

Comments: 5 pages

Report number: Quantum Information and Computation 14(15/16):1302-1307, 2014

Partial-indistinguishability obfuscation using braids

Authors: Gorjan Alagic, Stacey Jeffery, Stephen P. Jordan

Abstract: An obfuscator is an algorithm that translates circuits into functionally-equivalent similarly-sized circuits that are hard to understand. Efficient obfuscators would have many applications in cryptography. Until recently, theoretical progress has mainly been limited to no-go results. Recent works have proposed the first efficient obfuscation algorithms for classical logic circuits, based on a noti… ▽ More An obfuscator is an algorithm that translates circuits into functionally-equivalent similarly-sized circuits that are hard to understand. Efficient obfuscators would have many applications in cryptography. Until recently, theoretical progress has mainly been limited to no-go results. Recent works have proposed the first efficient obfuscation algorithms for classical logic circuits, based on a notion of indistinguishability against polynomial-time adversaries. In this work, we propose a new notion of obfuscation, which we call partial-indistinguishability. This notion is based on computationally universal groups with efficiently computable normal forms, and appears to be incomparable with existing definitions. We describe universal gate sets for both classical and quantum computation, in which our definition of obfuscation can be met by polynomial-time algorithms. We also discuss some potential applications to testing quantum computers. We stress that the cryptographic security of these obfuscators, especially when composed with translation from other gate sets, remains an open question. △ Less

Submitted 21 August, 2014; v1 submitted 27 December, 2012; originally announced December 2012.

Comments: 21 pages,Proceedings of TQC 2014

Journal ref: Proceedings of the 9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014), p. 141-160

Testing quantum expanders is co-QMA-complete

Authors: Adam D. Bookatz, Stephen P. Jordan, Yi-Kai Liu, Pawel Wocjan

Abstract: A quantum expander is a unital quantum channel that is rapidly mixing, has only a few Kraus operators, and can be implemented efficiently on a quantum computer. We consider the problem of estimating the mixing time (i.e., the spectral gap) of a quantum expander. We show that this problem is co-QMA-complete. This has applications to testing randomized constructions of quantum expanders, and studyin… ▽ More A quantum expander is a unital quantum channel that is rapidly mixing, has only a few Kraus operators, and can be implemented efficiently on a quantum computer. We consider the problem of estimating the mixing time (i.e., the spectral gap) of a quantum expander. We show that this problem is co-QMA-complete. This has applications to testing randomized constructions of quantum expanders, and studying thermalization of open quantum systems. △ Less

Submitted 31 May, 2013; v1 submitted 2 October, 2012; originally announced October 2012.

Journal ref: Quantum nonexpander problem is quantum-Merlin-Arthur-complete, Phys. Rev. A 87, 042317 (2013)

Quantum Computation of Scattering in Scalar Quantum Field Theories

Authors: Stephen P. Jordan, Keith S. M. Lee, John Preskill

Abstract: Quantum field theory provides the framework for the most fundamental physical theories to be confirmed experimentally and has enabled predictions of unprecedented precision. However, calculations of physical observables often require great computational complexity and can generally be performed only when the interaction strength is weak. A full understanding of the foundations and rich consequence… ▽ More Quantum field theory provides the framework for the most fundamental physical theories to be confirmed experimentally and has enabled predictions of unprecedented precision. However, calculations of physical observables often require great computational complexity and can generally be performed only when the interaction strength is weak. A full understanding of the foundations and rich consequences of quantum field theory remains an outstanding challenge. We develop a quantum algorithm to compute relativistic scattering amplitudes in massive phi-fourth theory in spacetime of four and fewer dimensions. The algorithm runs in a time that is polynomial in the number of particles, their energy, and the desired precision, and applies at both weak and strong coupling. Thus, it offers exponential speedup over existing classical methods at high precision or strong coupling. △ Less

Submitted 2 January, 2019; v1 submitted 20 December, 2011; originally announced December 2011.

Comments: Journal Version. Expansion of arXiv:1111.3633 with additional material

Journal ref: Quantum Information and Computation 14, 1014-1080 (2014)

Achieving perfect completeness in classical-witness quantum Merlin-Arthur proof systems

Authors: Stephen P. Jordan, Hirotada Kobayashi, Daniel Nagaj, Harumichi Nishimura

Abstract: This paper proves that classical-witness quantum Merlin-Arthur proof systems can achieve perfect completeness. That is, QCMA = QCMA1. This holds under any gate set with which the Hadamard and arbitrary classical reversible transformations can be exactly implemented, e.g., {Hadamard, Toffoli, NOT}. The proof is quantumly nonrelativizing, and uses a simple but novel quantum technique that additively… ▽ More This paper proves that classical-witness quantum Merlin-Arthur proof systems can achieve perfect completeness. That is, QCMA = QCMA1. This holds under any gate set with which the Hadamard and arbitrary classical reversible transformations can be exactly implemented, e.g., {Hadamard, Toffoli, NOT}. The proof is quantumly nonrelativizing, and uses a simple but novel quantum technique that additively adjusts the success probability, which may be of independent interest. △ Less

Submitted 3 February, 2012; v1 submitted 22 November, 2011; originally announced November 2011.

Comments: 10 pages. Added two more authors and a new proof technique, which requires only a fixed finite gate set

Journal ref: Quantum Information and Computation Vol. 12 No. 5/6 pg. 461-471 (2012)

Quantum Algorithms for Quantum Field Theories

Authors: Stephen P. Jordan, Keith S. M. Lee, John Preskill

Abstract: Quantum field theory reconciles quantum mechanics and special relativity, and plays a central role in many areas of physics. We develop a quantum algorithm to compute relativistic scattering probabilities in a massive quantum field theory with quartic self-interactions (phi-fourth theory) in spacetime of four and fewer dimensions. Its run time is polynomial in the number of particles, their energy… ▽ More Quantum field theory reconciles quantum mechanics and special relativity, and plays a central role in many areas of physics. We develop a quantum algorithm to compute relativistic scattering probabilities in a massive quantum field theory with quartic self-interactions (phi-fourth theory) in spacetime of four and fewer dimensions. Its run time is polynomial in the number of particles, their energy, and the desired precision, and applies at both weak and strong coupling. In the strong-coupling and high-precision regimes, our quantum algorithm achieves exponential speedup over the fastest known classical algorithm. △ Less

Submitted 21 November, 2011; v1 submitted 15 November, 2011; originally announced November 2011.

Comments: v2: appendix added (15 pages + 25-page appendix)

Journal ref: Science 336, 1130-1133 (2012)

Approximating the Turaev-Viro Invariant of Mapping Tori is Complete for One Clean Qubit

Authors: Stephen P. Jordan, Gorjan Alagic

Abstract: The Turaev-Viro invariants are scalar topological invariants of three-dimensional manifolds. Here we show that the problem of estimating the Fibonacci version of the Turaev-Viro invariant of a mapping torus is a complete problem for the one clean qubit complexity class (DQC1). This complements a previous result showing that estimating the Turaev-Viro invariant for arbitrary manifolds presented as… ▽ More The Turaev-Viro invariants are scalar topological invariants of three-dimensional manifolds. Here we show that the problem of estimating the Fibonacci version of the Turaev-Viro invariant of a mapping torus is a complete problem for the one clean qubit complexity class (DQC1). This complements a previous result showing that estimating the Turaev-Viro invariant for arbitrary manifolds presented as Heegaard splittings is a complete problem for the standard quantum computation model (BQP). We also discuss a beautiful analogy between these results and previously known results on the computational complexity of approximating the Jones polynomial. △ Less

Submitted 31 May, 2011; v1 submitted 25 May, 2011; originally announced May 2011.

Comments: 16 pages, 8 figures, presented at TQC '11. Added references

Journal ref: Proceedings of the 6th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2011), p. 53-72

On the degeneracy of $SU(3)_k$ topological phases

Authors: Stephen P. Jordan, Toufik Mansour, Simone Severini

Abstract: The ground state degeneracy of an $SU(N)_k$ topological phase with $n$ quasiparticle excitations is relevant quantity for quantum computation, condensed matter physics, and knot theory. It is an open question to find a closed formula for this degeneracy for any $N > 2$. Here we present the problem in an explicit combinatorial way and analyze the case N=3. While not finding a complete closed-form s… ▽ More The ground state degeneracy of an $SU(N)_k$ topological phase with $n$ quasiparticle excitations is relevant quantity for quantum computation, condensed matter physics, and knot theory. It is an open question to find a closed formula for this degeneracy for any $N > 2$. Here we present the problem in an explicit combinatorial way and analyze the case N=3. While not finding a complete closed-form solution, we obtain generating functions and solve some special cases. △ Less

Submitted 1 September, 2010; originally announced September 2010.

Comments: 5 pages

Approximating Turaev-Viro 3-manifold invariants is universal for quantum computation

Authors: Gorjan Alagic, Stephen P. Jordan, Robert Koenig, Ben W. Reichardt

Abstract: The Turaev-Viro invariants are scalar topological invariants of compact, orientable 3-manifolds. We give a quantum algorithm for additively approximating Turaev-Viro invariants of a manifold presented by a Heegaard splitting. The algorithm is motivated by the relationship between topological quantum computers and (2+1)-D topological quantum field theories. Its accuracy is shown to be nontrivial,… ▽ More The Turaev-Viro invariants are scalar topological invariants of compact, orientable 3-manifolds. We give a quantum algorithm for additively approximating Turaev-Viro invariants of a manifold presented by a Heegaard splitting. The algorithm is motivated by the relationship between topological quantum computers and (2+1)-D topological quantum field theories. Its accuracy is shown to be nontrivial, as the same algorithm, after efficient classical preprocessing, can solve any problem efficiently decidable by a quantum computer. Thus approximating certain Turaev-Viro invariants of manifolds presented by Heegaard splittings is a universal problem for quantum computation. This establishes a novel relation between the task of distinguishing non-homeomorphic 3-manifolds and the power of a general quantum computer. △ Less

Submitted 3 March, 2010; originally announced March 2010.

Comments: 4 pages, 3 figures

Journal ref: Phys. Rev. A 82, 040302(R) (2010)

Efficient quantum processing of ideals in finite rings

Authors: Pawel M. Wocjan, Stephen P. Jordan, Hamed Ahmadi, Joseph P. Brennan

Abstract: Suppose we are given black-box access to a finite ring R, and a list of generators for an ideal I in R. We show how to find an additive basis representation for I in poly(log |R|) time. This generalizes a quantum algorithm of Arvind et al. which finds a basis representation for R itself. We then show that our algorithm is a useful primitive allowing quantum computers to rapidly solve a wide variet… ▽ More Suppose we are given black-box access to a finite ring R, and a list of generators for an ideal I in R. We show how to find an additive basis representation for I in poly(log |R|) time. This generalizes a quantum algorithm of Arvind et al. which finds a basis representation for R itself. We then show that our algorithm is a useful primitive allowing quantum computers to rapidly solve a wide variety of problems regarding finite rings. In particular we show how to test whether two ideals are identical, find their intersection, find their quotient, prove whether a given ring element belongs to a given ideal, prove whether a given element is a unit, and if so find its inverse, find the additive and multiplicative identities, compute the order of an ideal, solve linear equations over rings, decide whether an ideal is maximal, find annihilators, and test the injectivity and surjectivity of ring homomorphisms. These problems appear to be hard classically. △ Less

Submitted 5 July, 2023; v1 submitted 31 July, 2009; originally announced August 2009.

Comments: 10 pages

Permutational Quantum Computing

Authors: Stephen P. Jordan

Abstract: In topological quantum computation the geometric details of a particle trajectory are irrelevant; only the topology matters. Taking this one step further, we consider a model of computation that disregards even the topology of the particle trajectory, and computes by permuting particles. Whereas topological quantum computation requires anyons, permutational quantum computation can be performed w… ▽ More In topological quantum computation the geometric details of a particle trajectory are irrelevant; only the topology matters. Taking this one step further, we consider a model of computation that disregards even the topology of the particle trajectory, and computes by permuting particles. Whereas topological quantum computation requires anyons, permutational quantum computation can be performed with ordinary spin-1/2 particles, using a variant of the spin-network scheme of Marzuoli and Rasetti. We do not know whether permutational computation is universal. It may represent a new complexity class within BQP. Nevertheless, permutational quantum computers can in polynomial time approximate matrix elements of certain irreducible representations of the symmetric group and simulate certain processes in the Ponzano-Regge spin foam model of quantum gravity. No polynomial time classical algorithms for these problems are known. △ Less

Submitted 13 June, 2009; originally announced June 2009.

Comments: 25 pages, 8 figures

Journal ref: Quantum Information and Computation Vol. 10 pg. 470 (2010)

QMA-complete problems for stoquastic Hamiltonians and Markov matrices

Authors: Stephen P. Jordan, David Gosset, Peter J. Love

Abstract: We show that finding the lowest eigenvalue of a 3-local symmetric stochastic matrix is QMA-complete. We also show that finding the highest energy of a stoquastic Hamiltonian is QMA-complete and that adiabatic quantum computation using certain excited states of a stoquastic Hamiltonian is universal. We also show that adiabatic evolution in the ground state of a stochastic frustration free Hamiltoni… ▽ More We show that finding the lowest eigenvalue of a 3-local symmetric stochastic matrix is QMA-complete. We also show that finding the highest energy of a stoquastic Hamiltonian is QMA-complete and that adiabatic quantum computation using certain excited states of a stoquastic Hamiltonian is universal. We also show that adiabatic evolution in the ground state of a stochastic frustration free Hamiltonian is universal. Our results give a new QMA-complete problem arising in the classical setting of Markov chains, and new adiabatically universal Hamiltonians that arise in many physical systems. △ Less

Submitted 29 March, 2010; v1 submitted 28 May, 2009; originally announced May 2009.

Comments: 11 pages. Contains several new results not present in version 1.

Report number: MIT-CTP 4134

Journal ref: Phys. Rev. A 81(3), 032331 (2010)

Efficient quantum circuits for arbitrary sparse unitaries

Authors: Stephen P. Jordan, Pawel Wocjan

Abstract: Arbitrary exponentially large unitaries cannot be implemented efficiently by quantum circuits. However, we show that quantum circuits can efficiently implement any unitary provided it has at most polynomially many nonzero entries in any row or column, and these entries are efficiently computable. One can formulate a model of computation based on the composition of sparse unitaries which includes… ▽ More Arbitrary exponentially large unitaries cannot be implemented efficiently by quantum circuits. However, we show that quantum circuits can efficiently implement any unitary provided it has at most polynomially many nonzero entries in any row or column, and these entries are efficiently computable. One can formulate a model of computation based on the composition of sparse unitaries which includes the quantum Turing machine model, the quantum circuit model, anyonic models, permutational quantum computation, and discrete time quantum walks as special cases. Thus we obtain a simple unified proof that these models are all contained in BQP. Furthermore our general method for implementing sparse unitaries simplifies several existing quantum algorithms. △ Less

Submitted 10 February, 2010; v1 submitted 14 April, 2009; originally announced April 2009.

Comments: 4 pages. Substantially expanded since v1

Journal ref: Phys. Rev. A 80, 062301 (2009)

Fast quantum algorithms for approximating some irreducible representations of groups

Authors: Stephen P. Jordan

Abstract: We consider the quantum complexity of estimating matrix elements of unitary irreducible representations of groups. For several finite groups including the symmetric group, quantum Fourier transforms yield efficient solutions to this problem. Furthermore, quantum Schur transforms yield efficient solutions for certain irreducible representations of the unitary group. Beyond this, we obtain poly(n)… ▽ More We consider the quantum complexity of estimating matrix elements of unitary irreducible representations of groups. For several finite groups including the symmetric group, quantum Fourier transforms yield efficient solutions to this problem. Furthermore, quantum Schur transforms yield efficient solutions for certain irreducible representations of the unitary group. Beyond this, we obtain poly(n)-time quantum algorithms for approximating matrix elements from all the irreducible representations of the alternating group A_n, and all the irreducible representations of polynomial highest weight of U(n), SU(n), and SO(n). These quantum algorithms offer exponential speedup in worst case complexity over the fastest known classical algorithms. On the other hand, we show that average case instances are classically easy, and that the techniques analyzed here do not offer a speedup over classical computation for the estimation of group characters. △ Less

Submitted 21 April, 2009; v1 submitted 4 November, 2008; originally announced November 2008.

Comments: added simplified algorithms using quantum Schur and Fourier transforms

Quantum Computation Beyond the Circuit Model

Authors: Stephen P. Jordan

Abstract: The quantum circuit model is the most widely used model of quantum computation. It provides both a framework for formulating quantum algorithms and an architecture for the physical construction of quantum computers. However, several other models of quantum computation exist which provide useful alternative frameworks for both discovering new quantum algorithms and devising new physical implement… ▽ More The quantum circuit model is the most widely used model of quantum computation. It provides both a framework for formulating quantum algorithms and an architecture for the physical construction of quantum computers. However, several other models of quantum computation exist which provide useful alternative frameworks for both discovering new quantum algorithms and devising new physical implementations of quantum computers. In this thesis, I first present necessary background material for a general physics audience and discuss existing models of quantum computation. Then, I present three results relating to various models of quantum computation: a scheme for improving the intrinsic fault tolerance of adiabatic quantum computers using quantum error detecting codes, a proof that a certain problem of estimating Jones polynomials is complete for the one clean qubit complexity class, and a generalization of perturbative gadgets which allows k-body interactions to be directly simulated using 2-body interactions. Lastly, I discuss general principles regarding quantum computation that I learned in the course of my research, and using these principles I propose directions for future research. △ Less

Submitted 12 September, 2008; originally announced September 2008.

Comments: Ph.D. thesis. MIT, May 2008. 144 Pages

Estimating Jones and HOMFLY polynomials with One Clean Qubit

Authors: Stephen P. Jordan, Pawel Wocjan

Abstract: The Jones and HOMFLY polynomials are link invariants with close connections to quantum computing. It was recently shown that finding a certain approximation to the Jones polynomial of the trace closure of a braid at the fifth root of unity is a complete problem for the one clean qubit complexity class. This is the class of problems solvable in polynomial time on a quantum computer acting on an i… ▽ More The Jones and HOMFLY polynomials are link invariants with close connections to quantum computing. It was recently shown that finding a certain approximation to the Jones polynomial of the trace closure of a braid at the fifth root of unity is a complete problem for the one clean qubit complexity class. This is the class of problems solvable in polynomial time on a quantum computer acting on an initial state in which one qubit is pure and the rest are maximally mixed. Here we generalize this result by showing that one clean qubit computers can efficiently approximate the Jones and single-variable HOMFLY polynomials of the trace closure of a braid at any root of unity. △ Less

Submitted 21 October, 2008; v1 submitted 29 July, 2008; originally announced July 2008.

Comments: 22 pages, 11 figures, revised in response to referee comments

Journal ref: Quantum Information and Computation Vol. 9 pg. 264 (2009)

Perturbative Gadgets at Arbitrary Orders

Authors: Stephen P. Jordan, Edward Farhi

Abstract: Adiabatic quantum algorithms are often most easily formulated using many-body interactions. However, experimentally available interactions are generally two-body. In 2004, Kempe, Kitaev, and Regev introduced perturbative gadgets, by which arbitrary three-body effective interactions can be obtained using Hamiltonians consisting only of two-body interactions. These three-body effective interactions… ▽ More Adiabatic quantum algorithms are often most easily formulated using many-body interactions. However, experimentally available interactions are generally two-body. In 2004, Kempe, Kitaev, and Regev introduced perturbative gadgets, by which arbitrary three-body effective interactions can be obtained using Hamiltonians consisting only of two-body interactions. These three-body effective interactions arise from the third order in perturbation theory. Since their introduction, perturbative gadgets have become a standard tool in the theory of quantum computation. Here we construct generalized gadgets so that one can directly obtain arbitrary k-body effective interactions from two-body Hamiltonians. These effective interactions arise from the kth order in perturbation theory. △ Less

Submitted 31 January, 2012; v1 submitted 13 February, 2008; originally announced February 2008.

Comments: Corrected an error: U dagger vs. U inverse

Journal ref: Phys. Rev. A 77, 062329 (2008)

Polynomial-time quantum algorithm for the simulation of chemical dynamics

Authors: Ivan Kassal, Stephen P. Jordan, Peter J. Love, Masoud Mohseni, Alán Aspuru-Guzik

Abstract: The computational cost of exact methods for quantum simulation using classical computers grows exponentially with system size. As a consequence, these techniques can only be applied to small systems. By contrast, we demonstrate that quantum computers could exactly simulate chemical reactions in polynomial time. Our algorithm uses the split-operator approach and explicitly simulates all electron-… ▽ More The computational cost of exact methods for quantum simulation using classical computers grows exponentially with system size. As a consequence, these techniques can only be applied to small systems. By contrast, we demonstrate that quantum computers could exactly simulate chemical reactions in polynomial time. Our algorithm uses the split-operator approach and explicitly simulates all electron-nuclear and inter-electronic interactions in quadratic time. Surprisingly, this treatment is not only more accurate than the Born-Oppenheimer approximation, but faster and more efficient as well, for all reactions with more than about four atoms. This is the case even though the entire electronic wavefunction is propagated on a grid with appropriately short timesteps. Although the preparation and measurement of arbitrary states on a quantum computer is inefficient, here we demonstrate how to prepare states of chemical interest efficiently. We also show how to efficiently obtain chemically relevant observables, such as state-to-state transition probabilities and thermal reaction rates. Quantum computers using these techniques could outperform current classical computers with one hundred qubits. △ Less

Submitted 17 December, 2008; v1 submitted 18 January, 2008; originally announced January 2008.

Comments: 9 pages, 3 figures. Updated version as appears in PNAS

Journal ref: Proc. Natl. Acad. Sci. 105, 18681(2008)

Estimating Jones polynomials is a complete problem for one clean qubit

Authors: Peter W. Shor, Stephen P. Jordan

Abstract: It is known that evaluating a certain approximation to the Jones polynomial for the plat closure of a braid is a BQP-complete problem. That is, this problem exactly captures the power of the quantum circuit model. The one clean qubit model is a model of quantum computation in which all but one qubit starts in the maximally mixed state. One clean qubit computers are believed to be strictly weaker… ▽ More It is known that evaluating a certain approximation to the Jones polynomial for the plat closure of a braid is a BQP-complete problem. That is, this problem exactly captures the power of the quantum circuit model. The one clean qubit model is a model of quantum computation in which all but one qubit starts in the maximally mixed state. One clean qubit computers are believed to be strictly weaker than standard quantum computers, but still capable of solving some classically intractable problems. Here we show that evaluating a certain approximation to the Jones polynomial at a fifth root of unity for the trace closure of a braid is a complete problem for the one clean qubit complexity class. That is, a one clean qubit computer can approximate these Jones polynomials in time polynomial in both the number of strands and number of crossings, and the problem of simulating a one clean qubit computer is reducible to approximating the Jones polynomial of the trace closure of a braid. △ Less

Submitted 1 February, 2008; v1 submitted 18 July, 2007; originally announced July 2007.

Comments: 29 pages, 12 figures. Improved presentation and removed typos

Journal ref: Quantum Information and Computation Vol. 8 pg. 681 (2008)

Discrete-query quantum algorithm for NAND trees

Authors: Andrew M. Childs, Richard Cleve, Stephen P. Jordan, David Yonge-Mallo

Abstract: Recently, Farhi, Goldstone, and Gutmann gave a quantum algorithm for evaluating NAND trees that runs in time O(sqrt(N log N)) in the Hamiltonian query model. In this note, we point out that their algorithm can be converted into an algorithm using O(N^{1/2 + epsilon}) queries in the conventional quantum query model, for any fixed epsilon > 0. Recently, Farhi, Goldstone, and Gutmann gave a quantum algorithm for evaluating NAND trees that runs in time O(sqrt(N log N)) in the Hamiltonian query model. In this note, we point out that their algorithm can be converted into an algorithm using O(N^{1/2 + epsilon}) queries in the conventional quantum query model, for any fixed epsilon > 0. △ Less

Submitted 6 September, 2019; v1 submitted 16 February, 2007; originally announced February 2007.

Comments: 2 pages. v2: updated name of one author

Journal ref: Theory of Computing, Vol. 5 (2009) 119-123

Error correcting codes for adiabatic quantum computation

Authors: Stephen P. Jordan, Edward Farhi, Peter W. Shor

Abstract: Recently, there has been growing interest in using adiabatic quantum computation as an architecture for experimentally realizable quantum computers. One of the reasons for this is the idea that the energy gap should provide some inherent resistance to noise. It is now known that universal quantum computation can be achieved adiabatically using 2-local Hamiltonians. The energy gap in these Hamilt… ▽ More Recently, there has been growing interest in using adiabatic quantum computation as an architecture for experimentally realizable quantum computers. One of the reasons for this is the idea that the energy gap should provide some inherent resistance to noise. It is now known that universal quantum computation can be achieved adiabatically using 2-local Hamiltonians. The energy gap in these Hamiltonians scales as an inverse polynomial in the problem size. Here we present stabilizer codes which can be used to produce a constant energy gap against 1-local and 2-local noise. The corresponding fault-tolerant universal Hamiltonians are 4-local and 6-local respectively, which is the optimal result achievable within this framework. △ Less

Submitted 10 October, 2006; v1 submitted 20 December, 2005; originally announced December 2005.

Comments: Errors corrected

Journal ref: Phys. Rev. A 74, 052322 (2006)

Fast quantum algorithm for numerical gradient estimation

Authors: Stephen P. Jordan

Abstract: Given a blackbox for f, a smooth real scalar function of d real variables, one wants to estimate the gradient of f at a given point with n bits of precision. On a classical computer this requires a minimum of d+1 blackbox queries, whereas on a quantum computer it requires only one query regardless of d. The number of bits of precision to which f must be evaluated matches the classical requiremen… ▽ More Given a blackbox for f, a smooth real scalar function of d real variables, one wants to estimate the gradient of f at a given point with n bits of precision. On a classical computer this requires a minimum of d+1 blackbox queries, whereas on a quantum computer it requires only one query regardless of d. The number of bits of precision to which f must be evaluated matches the classical requirement in the limit of large n. △ Less

Submitted 2 January, 2005; v1 submitted 25 May, 2004; originally announced May 2004.

Comments: additional references and minor clarifications and corrections to version 1

Journal ref: Phys. Rev. Lett. 95, 050501 (2005)