-
More buck-per-shot: Why learning trumps mitigation in noisy quantum sensing
Authors:
Aroosa Ijaz,
C. Huerta Alderete,
Frédéric Sauvage,
Lukasz Cincio,
M. Cerezo,
Matthew L. Goh
Abstract:
Quantum sensing is one of the most promising applications for quantum technologies. However, reaching the ultimate sensitivities enabled by the laws of quantum mechanics can be a challenging task in realistic scenarios where noise is present. While several strategies have been proposed to deal with the detrimental effects of noise, these come at the cost of an extra shot budget. Given that shots a…
▽ More
Quantum sensing is one of the most promising applications for quantum technologies. However, reaching the ultimate sensitivities enabled by the laws of quantum mechanics can be a challenging task in realistic scenarios where noise is present. While several strategies have been proposed to deal with the detrimental effects of noise, these come at the cost of an extra shot budget. Given that shots are a precious resource for sensing -- as infinite measurements could lead to infinite precision -- care must be taken to truly guarantee that any shot not being used for sensing is actually leading to some metrological improvement. In this work, we study whether investing shots in error-mitigation, inference techniques, or combinations thereof, can improve the sensitivity of a noisy quantum sensor on a (shot) budget. We present a detailed bias-variance error analysis for various sensing protocols. Our results show that the costs of zero-noise extrapolation techniques outweigh their benefits. We also find that pre-characterizing a quantum sensor via inference techniques leads to the best performance, under the assumption that the sensor is sufficiently stable.
△ Less
Submitted 30 September, 2024;
originally announced October 2024.
-
Pairwise-parallel entangling gates on orthogonal modes in a trapped-ion chain
Authors:
Yingyue Zhu,
Alaina M. Green,
Nhung H. Nguyen,
C. Huerta Alderete,
Elijah Mossman,
Norbert M. Linke
Abstract:
Parallel operations are important for both near-term quantum computers and larger-scale fault-tolerant machines because they reduce execution time and qubit idling. We propose and implement a pairwise-parallel gate scheme on a trapped-ion quantum computer. The gates are driven simultaneously on different sets of orthogonal motional modes of a trapped-ion chain. We demonstrate the utility of this s…
▽ More
Parallel operations are important for both near-term quantum computers and larger-scale fault-tolerant machines because they reduce execution time and qubit idling. We propose and implement a pairwise-parallel gate scheme on a trapped-ion quantum computer. The gates are driven simultaneously on different sets of orthogonal motional modes of a trapped-ion chain. We demonstrate the utility of this scheme by creating a GHZ state in one step using parallel gates with one overlapping qubit. We also show its advantage for circuits by implementing a digital quantum simulation of the dynamics of an interacting spin system, the transverse-field Ising model. This method effectively extends the available gate depth by up to two times with no overhead apart from additional initial cooling when no overlapping qubit is involved. This is because using a set of extra modes as additional quantum degrees of freedom is nearly equivalent to halving the trap heating rate, doubling the laser and qubit coherence time, and extending the controller memory depth by up to a factor of two. This scheme can be easily applied to different trapped-ion qubits and gate schemes, broadly enhancing the capabilities of trapped-ion quantum computers.
△ Less
Submitted 17 February, 2023;
originally announced February 2023.
-
Probing The Unitarity of Quantum Evolution Through Periodic Driving
Authors:
Alaina M. Green,
Tanmoy Pandit,
C. Huerta Alderete,
Norbert M. Linke,
Raam Uzdin
Abstract:
As quantum computers and simulators begin to produce results that cannot be verified classically, it becomes imperative to develop a variety of tools to detect and diagnose experimental errors on these devices. While state or process tomography is a natural way to characterize sources of experimental error, the intense measurement requirements make these strategies infeasible in all but the smalle…
▽ More
As quantum computers and simulators begin to produce results that cannot be verified classically, it becomes imperative to develop a variety of tools to detect and diagnose experimental errors on these devices. While state or process tomography is a natural way to characterize sources of experimental error, the intense measurement requirements make these strategies infeasible in all but the smallest of quantum systems. In this work, we formulate signatures of unitary evolution based on specific properties of periodically driven quantum systems. The absence of these signatures indicates a break either in the unitarity or periodicity condition on the evolution. We experimentally detect incoherent error on a trapped-ion quantum computer using these signatures. Our method is based on repeated measurements of a single observable, making this a low-cost evaluation of error with measurement requirements that scales according to the character of the dynamics, rather than the system size.
△ Less
Submitted 21 December, 2022;
originally announced December 2022.
-
Para-particle oscillator simulations on a trapped ion quantum computer
Authors:
C. Huerta Alderete,
Alaina M. Green,
Nhung H. Nguyen,
Yingyue Zhu,
Norbert M. Linke,
B. M. Rodríguez-Lara
Abstract:
Deformed oscillators allow for a generalization of the standard fermions and bosons, namely, for the description of para-particles. Such particles, while indiscernible in nature, can represent good candidates for descriptions of physical phenomena like topological phases of matter. Here, we report the digital quantum simulation of para-particle oscillators by mapping para-particle states to the st…
▽ More
Deformed oscillators allow for a generalization of the standard fermions and bosons, namely, for the description of para-particles. Such particles, while indiscernible in nature, can represent good candidates for descriptions of physical phenomena like topological phases of matter. Here, we report the digital quantum simulation of para-particle oscillators by mapping para-particle states to the state of a qubit register, which allow us to identify the para-particle oscillator Hamiltonian as an $XY$ model, and further digitize the system onto a universal set of gates. In both instances, the gate depth grows polynomially with the number of qubits used. To establish the validity of our results, we experimentally simulate the dynamics of para-fermions and para-bosons, demonstrating full control of para-particle oscillators on a quantum computer. Furthermore, we compare the overall performance of the digital simulation of dynamics of the driven para-Fermi oscillator to a recent analog quantum simulation result.
△ Less
Submitted 6 July, 2022;
originally announced July 2022.
-
Inference-Based Quantum Sensing
Authors:
C. Huerta Alderete,
Max Hunter Gordon,
Frederic Sauvage,
Akira Sone,
Andrew T. Sornborger,
Patrick J. Coles,
M. Cerezo
Abstract:
In a standard Quantum Sensing (QS) task one aims at estimating an unknown parameter $θ$, encoded into an $n$-qubit probe state, via measurements of the system. The success of this task hinges on the ability to correlate changes in the parameter to changes in the system response $\mathcal{R}(θ)$ (i.e., changes in the measurement outcomes). For simple cases the form of $\mathcal{R}(θ)$ is known, but…
▽ More
In a standard Quantum Sensing (QS) task one aims at estimating an unknown parameter $θ$, encoded into an $n$-qubit probe state, via measurements of the system. The success of this task hinges on the ability to correlate changes in the parameter to changes in the system response $\mathcal{R}(θ)$ (i.e., changes in the measurement outcomes). For simple cases the form of $\mathcal{R}(θ)$ is known, but the same cannot be said for realistic scenarios, as no general closed-form expression exists. In this work we present an inference-based scheme for QS. We show that, for a general class of unitary families of encoding, $\mathcal{R}(θ)$ can be fully characterized by only measuring the system response at $2n+1$ parameters. This allows us to infer the value of an unknown parameter given the measured response, as well as to determine the sensitivity of the scheme, which characterizes its overall performance. We show that inference error is, with high probability, smaller than $δ$, if one measures the system response with a number of shots that scales only as $Ω(\log^3(n)/δ^2)$. Furthermore, the framework presented can be broadly applied as it remains valid for arbitrary probe states and measurement schemes, and, even holds in the presence of quantum noise. We also discuss how to extend our results beyond unitary families. Finally, to showcase our method we implement it for a QS task on real quantum hardware, and in numerical simulations.
△ Less
Submitted 4 August, 2023; v1 submitted 20 June, 2022;
originally announced June 2022.
-
Multi-round QAOA and advanced mixers on a trapped-ion quantum computer
Authors:
Yingyue Zhu,
Zewen Zhang,
Bhuvanesh Sundar,
Alaina M. Green,
C. Huerta Alderete,
Nhung H. Nguyen,
Kaden R. A. Hazzard,
Norbert M. Linke
Abstract:
Combinatorial optimization problems on graphs have broad applications in science and engineering. The Quantum Approximate Optimization Algorithm (QAOA) is a method to solve these problems on a quantum computer by applying multiple rounds of variational circuits. However, there exist several challenges limiting the real-world applications of QAOA. In this paper, we demonstrate on a trapped-ion quan…
▽ More
Combinatorial optimization problems on graphs have broad applications in science and engineering. The Quantum Approximate Optimization Algorithm (QAOA) is a method to solve these problems on a quantum computer by applying multiple rounds of variational circuits. However, there exist several challenges limiting the real-world applications of QAOA. In this paper, we demonstrate on a trapped-ion quantum computer that QAOA results improve with the number of rounds for multiple problems on several arbitrary graphs. We also demonstrate an advanced mixing Hamiltonian that allows sampling of all optimal solutions with predetermined weights. Our results are a step towards applying quantum algorithms to real-world problems.
△ Less
Submitted 28 January, 2022;
originally announced January 2022.
-
Digital Quantum Simulation of the Schwinger Model and Symmetry Protection with Trapped Ions
Authors:
Nhung H. Nguyen,
Minh C. Tran,
Yingyue Zhu,
Alaina M. Green,
C. Huerta Alderete,
Zohreh Davoudi,
Norbert M. Linke
Abstract:
Tracking the dynamics of physical systems in real time is a prime application of digital quantum computers. Using a trapped-ion system with up to six qubits, we simulate the real-time dynamics of a lattice gauge theory in 1+1 dimensions, i.e., the lattice Schwinger model, and demonstrate non-perturbative effects such as pair creation for times much longer than previously accessible. We study the g…
▽ More
Tracking the dynamics of physical systems in real time is a prime application of digital quantum computers. Using a trapped-ion system with up to six qubits, we simulate the real-time dynamics of a lattice gauge theory in 1+1 dimensions, i.e., the lattice Schwinger model, and demonstrate non-perturbative effects such as pair creation for times much longer than previously accessible. We study the gate requirement of two formulations of the model using the Suzuki-Trotter product formula, as well as the trade-off between errors from the ordering of the Hamiltonian terms, the Trotter step size, and experimental imperfections. To mitigate experimental errors, a recent symmetry-protection protocol for suppressing coherent errors and a symmetry-inspired post-selection scheme are applied. This work demonstrates the integrated theoretical, algorithmic, and experimental approach that is essential for efficient simulation of lattice gauge theories and other complex physical systems.
△ Less
Submitted 12 April, 2022; v1 submitted 28 December, 2021;
originally announced December 2021.
-
Experimental Measurement of Out-of-Time-Ordered Correlators at Finite Temperature
Authors:
Alaina M. Green,
A. Elben,
C. Huerta Alderete,
Lata Kh Joshi,
Nhung H. Nguyen,
Torsten V. Zache,
Yingyue Zhu,
Bhuvanesh Sundar,
Norbert M. Linke
Abstract:
Out-of-time-ordered correlators (OTOCs) are a key observable in a wide range of interconnected fields including many-body physics, quantum information science, and quantum gravity. Measuring OTOCs using near-term quantum simulators will extend our ability to explore fundamental aspects of these fields and the subtle connections between them. Here, we demonstrate an experimental method to measure O…
▽ More
Out-of-time-ordered correlators (OTOCs) are a key observable in a wide range of interconnected fields including many-body physics, quantum information science, and quantum gravity. Measuring OTOCs using near-term quantum simulators will extend our ability to explore fundamental aspects of these fields and the subtle connections between them. Here, we demonstrate an experimental method to measure OTOCs at finite temperatures and use the method to study their temperature dependence. These measurements are performed on a digital quantum computer running a simulation of the transverse field Ising model. Our flexible method, based on the creation of a thermofield double state, can be extended to other models and enables us to probe the OTOC's temperature-dependent decay rate. Measuring this decay rate opens up the possibility of testing the fundamental temperature-dependent bounds on quantum information scrambling.
△ Less
Submitted 13 April, 2022; v1 submitted 3 December, 2021;
originally announced December 2021.
-
Quantum computational advantage attested by nonlocal games with the cyclic cluster state
Authors:
Austin K. Daniel,
Yinyue Zhu,
C. Huerta Alderete,
Vikas Buchemmavari,
Alaina M. Green,
Nhung H. Nguyen,
Tyler G. Thurtell,
Andrew Zhao,
Norbert M. Linke,
Akimasa Miyake
Abstract:
We propose a set of Bell-type nonlocal games that can be used to prove an unconditional quantum advantage in an objective and hardware-agnostic manner. In these games, the circuit depth needed to prepare a cyclic cluster state and measure a subset of its Pauli stabilizers on a quantum computer is compared to that of classical Boolean circuits with the same, nearest-neighboring gate connectivity. U…
▽ More
We propose a set of Bell-type nonlocal games that can be used to prove an unconditional quantum advantage in an objective and hardware-agnostic manner. In these games, the circuit depth needed to prepare a cyclic cluster state and measure a subset of its Pauli stabilizers on a quantum computer is compared to that of classical Boolean circuits with the same, nearest-neighboring gate connectivity. Using a circuit-based trapped-ion quantum computer, we prepare and measure a six-qubit cyclic cluster state with an overall fidelity of 60.6% and 66.4%, before and after correcting for measurement-readout errors, respectively. Our experimental results indicate that while this fidelity readily passes conventional (or depth-0) Bell bounds for local hidden-variable models, it is on the cusp of demonstrating a higher probability of success than what is possible by depth-1 classical circuits. Our games offer a practical and scalable set of quantitative benchmarks for quantum computers in the pre-fault-tolerant regime as the number of qubits available increases.
△ Less
Submitted 26 July, 2022; v1 submitted 8 October, 2021;
originally announced October 2021.
-
Experimental realization of para-particle oscillators
Authors:
C. Huerta Alderete,
Alaina M. Green,
Nhung H. Nguyen,
Yingyue Zhu,
B. M. Rodríguez-Lara,
Norbert M. Linke
Abstract:
Para-particles are fascinating because they are neither bosons nor fermions. While unlikely to be found in nature, they might represent accurate descriptions of physical phenomena like topological phases of matter. We report the quantum simulation of para-particle oscillators by tailoring the native couplings of two orthogonal motional modes of a trapped ion. Our system reproduces the dynamics of…
▽ More
Para-particles are fascinating because they are neither bosons nor fermions. While unlikely to be found in nature, they might represent accurate descriptions of physical phenomena like topological phases of matter. We report the quantum simulation of para-particle oscillators by tailoring the native couplings of two orthogonal motional modes of a trapped ion. Our system reproduces the dynamics of para-bosons and para-fermions of even order very accurately. These results represent the first experimental analogy of para-particle dynamics in any physical system and demonstrate full control of para-particle oscillators.
△ Less
Submitted 11 August, 2021;
originally announced August 2021.
-
Cross-Platform Comparison of Arbitrary Quantum Computations
Authors:
Daiwei Zhu,
Ze-Pei Cian,
Crystal Noel,
Andrew Risinger,
Debopriyo Biswas,
Laird Egan,
Yingyue Zhu,
Alaina M. Green,
Cinthia Huerta Alderete,
Nhung H. Nguyen,
Qingfeng Wang,
Andrii Maksymov,
Yunseong Nam,
Marko Cetina,
Norbert M. Linke,
Mohammad Hafezi,
Christopher Monroe
Abstract:
As we approach the era of quantum advantage, when quantum computers (QCs) can outperform any classical computer on particular tasks, there remains the difficult challenge of how to validate their performance. While algorithmic success can be easily verified in some instances such as number factoring or oracular algorithms, these approaches only provide pass/fail information for a single QC. On the…
▽ More
As we approach the era of quantum advantage, when quantum computers (QCs) can outperform any classical computer on particular tasks, there remains the difficult challenge of how to validate their performance. While algorithmic success can be easily verified in some instances such as number factoring or oracular algorithms, these approaches only provide pass/fail information for a single QC. On the other hand, a comparison between different QCs on the same arbitrary circuit provides a lower-bound for generic validation: a quantum computation is only as valid as the agreement between the results produced on different QCs. Such an approach is also at the heart of evaluating metrological standards such as disparate atomic clocks. In this paper, we report a cross-platform QC comparison using randomized and correlated measurements that results in a wealth of information on the QC systems. We execute several quantum circuits on widely different physical QC platforms and analyze the cross-platform fidelities.
△ Less
Submitted 27 July, 2021; v1 submitted 23 July, 2021;
originally announced July 2021.
-
Bounds on the recurrence probability in periodically-driven quantum systems
Authors:
Tanmoy Pandit,
Alaina M. Green,
C. Huerta Alderete,
Norbert M. Linke,
Raam Uzdin
Abstract:
Periodically-driven systems are ubiquitous in science and technology. In quantum dynamics, even a small number of periodically-driven spins leads to complicated dynamics. Hence, it is of interest to understand what constraints such dynamics must satisfy. We derive a set of constraints for each number of cycles. For pure initial states, the observable being constrained is the recurrence probability…
▽ More
Periodically-driven systems are ubiquitous in science and technology. In quantum dynamics, even a small number of periodically-driven spins leads to complicated dynamics. Hence, it is of interest to understand what constraints such dynamics must satisfy. We derive a set of constraints for each number of cycles. For pure initial states, the observable being constrained is the recurrence probability. We use our constraints for detecting undesired coupling to unaccounted environments and drifts in the driving parameters. To illustrate the relevance of these results for modern quantum systems we demonstrate our findings experimentally on a trapped-ion quantum computer, and on various IBM quantum computers. Specifically, we provide two experimental examples where these constraints surpass fundamental bounds associated with known one-cycle constraints. This scheme can potentially be used to detect the effect of the environment in quantum circuits that cannot be classically simulated. Finally, we show that, in practice, testing an $n$-cycle constraint requires executing only $O(\sqrt{n})$ cycles, which makes the evaluation of constraints associated with hundreds of cycles realistic.
△ Less
Submitted 5 April, 2022; v1 submitted 25 May, 2021;
originally announced May 2021.
-
Demonstration of Shor encoding on a trapped-ion quantum computer
Authors:
Nhung H. Nguyen,
Muyuan Li,
Alaina M. Green,
Cinthia Huerta Alderete,
Yingyue Zhu,
Daiwei Zhu,
Kenneth R. Brown,
Norbert M. Linke
Abstract:
Fault-tolerant quantum error correction (QEC) is crucial for unlocking the true power of quantum computers. QEC codes use multiple physical qubits to encode a logical qubit, which is protected against errors at the physical qubit level. Here we use a trapped ion system to experimentally prepare $m$-qubit GHZ states and sample the measurement results to construct $m\times m$ logical states of the…
▽ More
Fault-tolerant quantum error correction (QEC) is crucial for unlocking the true power of quantum computers. QEC codes use multiple physical qubits to encode a logical qubit, which is protected against errors at the physical qubit level. Here we use a trapped ion system to experimentally prepare $m$-qubit GHZ states and sample the measurement results to construct $m\times m$ logical states of the $[[m^2,1,m]]$ Shor code, up to $m=7$. The synthetic logical fidelity shows how deeper encoding can compensate for additional gate errors in state preparation for larger logical states. However, the optimal code size depends on the physical error rate and we find that $m=5$ has the best performance in our system. We further realize the direct logical encoding of the $[[9,1,3]]$ Shor code on nine qubits in a thirteen-ion chain for comparison, with $98.8(1)\%$ and $98.5(1)\%$ fidelity for state $\left\vert\pm\right\rangle_L$, respectively.
△ Less
Submitted 2 April, 2021;
originally announced April 2021.
-
Many Body Thermodynamics on Quantum Computers via Partition Function Zeros
Authors:
Akhil Francis,
D. Zhu,
C. Huerta Alderete,
Sonika Johri,
Xiao Xiao,
J. K. Freericks,
C. Monroe,
N. M. Linke,
A. F. Kemper
Abstract:
Interacting quantum systems illustrate complex phenomena including phase transitions to novel ordered phases. The universal nature of critical phenomena reduces their description to determining only the transition temperature and the critical exponents. Numerically calculating these results for systems in new universality classes is complicated due to critical slowing down, requiring increasing re…
▽ More
Interacting quantum systems illustrate complex phenomena including phase transitions to novel ordered phases. The universal nature of critical phenomena reduces their description to determining only the transition temperature and the critical exponents. Numerically calculating these results for systems in new universality classes is complicated due to critical slowing down, requiring increasing resources near the critical point. An alternative approach analytically continues the calculation onto the complex plane and determines the partition function via its zeros. Here we show how to robustly perform this analysis on noisy intermediate scale trapped ion quantum computers in a scalable manner, using the XXZ model as a prototype. We illustrate the transition from XY-like behavior to Ising-like behavior as a function of the anisotropy. While quantum computers cannot yet scale to the thermodynamic limit, our work provides a pathway to do so as hardware improves, allowing the determination of critical phenomena for systems that cannot be solved otherwise.
△ Less
Submitted 9 September, 2020;
originally announced September 2020.
-
Probing many-body localization on a noisy quantum computer
Authors:
D. Zhu,
S. Johri,
N. H. Nguyen,
C. Huerta Alderete,
K. A. Landsman,
N. M. Linke,
C. Monroe,
A. Y. Matsuura
Abstract:
A disordered system of interacting particles exhibits localized behavior when the disorder is large compared to the interaction strength. Studying this phenomenon on a quantum computer without error correction is challenging because even weak coupling to a thermal environment destroys most signatures of localization. Fortunately, spectral functions of local operators are known to contain features…
▽ More
A disordered system of interacting particles exhibits localized behavior when the disorder is large compared to the interaction strength. Studying this phenomenon on a quantum computer without error correction is challenging because even weak coupling to a thermal environment destroys most signatures of localization. Fortunately, spectral functions of local operators are known to contain features that can survive the presence of noise. In these spectra, discrete peaks and a soft gap at low frequencies compared to the thermal phase indicate localization. Here, we present the computation of spectral functions on a trapped-ion quantum computer for a one-dimensional Heisenberg model with disorder. Further, we design an error-mitigation technique which is effective at removing the noise from the measurement allowing clear signatures of localization to emerge as the disorder increases. Thus, we show that spectral functions can serve as a robust and scalable diagnostic of many-body localization on the current generation of quantum computers.
△ Less
Submitted 22 June, 2020;
originally announced June 2020.
-
Quantum walks and Dirac cellular automata on a programmable trapped-ion quantum computer
Authors:
C. Huerta Alderete,
Shivani Singh,
Nhung H. Nguyen,
Daiwei Zhu,
Radhakrishnan Balu,
Christopher Monroe,
C. M. Chandrashekar,
Norbert M. Linke
Abstract:
The quantum walk formalism is a widely used and highly successful framework for modeling quantum systems, such as simulations of the Dirac equation, different dynamics in both the low and high energy regime, and for developing a wide range of quantum algorithms. Here we present the circuit-based implementation of a discrete-time quantum walk in position space on a five-qubit trapped-ion quantum pr…
▽ More
The quantum walk formalism is a widely used and highly successful framework for modeling quantum systems, such as simulations of the Dirac equation, different dynamics in both the low and high energy regime, and for developing a wide range of quantum algorithms. Here we present the circuit-based implementation of a discrete-time quantum walk in position space on a five-qubit trapped-ion quantum processor. We encode the space of walker positions in particular multi-qubit states and program the system to operate with different quantum walk parameters, experimentally realizing a Dirac cellular automaton with tunable mass parameter. The quantum walk circuits and position state mapping scale favorably to a larger model and physical systems, allowing the implementation of any algorithm based on discrete-time quantum walks algorithm and the dynamics associated with the discretized version of the Dirac equation.
△ Less
Submitted 6 February, 2020;
originally announced February 2020.
-
Quantum circuits for the realization of equivalent forms of one-dimensional discrete-time quantum walks on near-term quantum hardware
Authors:
Shivani Singh,
Cinthia H. Alderete,
Radhakrishnan Balu,
Christopher Monroe,
Norbert M. Linke,
C. M. Chandrashekar
Abstract:
Quantum walks are a promising framework for developing quantum algorithms and quantum simulations. They represent an important test case for the application of quantum computers. Here we present different forms of discrete-time quantum walks (DTQWs) and show their equivalence for physical realizations. Using an appropriate digital mapping of the position space on which a walker evolves to the mult…
▽ More
Quantum walks are a promising framework for developing quantum algorithms and quantum simulations. They represent an important test case for the application of quantum computers. Here we present different forms of discrete-time quantum walks (DTQWs) and show their equivalence for physical realizations. Using an appropriate digital mapping of the position space on which a walker evolves to the multiqubit states of a quantum processor, we present different configurations of quantum circuits for the implementation of DTQWs in one-dimensional position space. We provide example circuits for a five-qubit processor and address scalability to higher dimensions as well as larger quantum processors.
△ Less
Submitted 8 December, 2021; v1 submitted 30 January, 2020;
originally announced January 2020.
-
Dynamical mean field theory algorithm and experiment on quantum computers
Authors:
I. Rungger,
N. Fitzpatrick,
H. Chen,
C. H. Alderete,
H. Apel,
A. Cowtan,
A. Patterson,
D. Munoz Ramo,
Y. Zhu,
N. H. Nguyen,
E. Grant,
S. Chretien,
L. Wossnig,
N. M. Linke,
R. Duncan
Abstract:
The developments of quantum computing algorithms and experiments for atomic scale simulations have largely focused on quantum chemistry for molecules, while their application in condensed matter systems is scarcely explored. Here we present a quantum algorithm to perform dynamical mean field theory (DMFT) calculations for condensed matter systems on currently available quantum computers, and demon…
▽ More
The developments of quantum computing algorithms and experiments for atomic scale simulations have largely focused on quantum chemistry for molecules, while their application in condensed matter systems is scarcely explored. Here we present a quantum algorithm to perform dynamical mean field theory (DMFT) calculations for condensed matter systems on currently available quantum computers, and demonstrate it on two quantum hardware platforms. DMFT is required to properly describe the large class of materials with strongly correlated electrons. The computationally challenging part arises from solving the effective problem of an interacting impurity coupled to a bath, which scales exponentially with system size on conventional computers. An exponential speedup is expected on quantum computers, but the algorithms proposed so far are based on real time evolution of the wavefunction, which requires high-depth circuits and hence very low noise levels in the quantum hardware. Here we propose an alternative approach, which uses the variational quantum eigensolver (VQE) method for ground and excited states to obtain the needed quantities as part of an exact diagonalization impurity solver. We present the algorithm for a two site DMFT system, which we benchmark using simulations on conventional computers as well as experiments on superconducting and trapped ion qubits, demonstrating that this method is suitable for running DMFT calculations on currently available quantum hardware.
△ Less
Submitted 8 January, 2020; v1 submitted 10 October, 2019;
originally announced October 2019.
-
Generation of Thermofield Double States and Critical Ground States with a Quantum Computer
Authors:
D. Zhu,
S. Johri,
N. M. Linke,
K. A. Landsman,
N. H. Nguyen,
C. H. Alderete,
A. Y. Matsuura,
T. H. Hsieh,
C. Monroe
Abstract:
Finite-temperature phases of many-body quantum systems are fundamental to phenomena ranging from condensed-matter physics to cosmology, yet they are generally difficult to simulate. Using an ion trap quantum computer and protocols motivated by the Quantum Approximate Optimization Algorithm (QAOA), we generate nontrivial thermal quantum states of the transverse-field Ising model (TFIM) by preparing…
▽ More
Finite-temperature phases of many-body quantum systems are fundamental to phenomena ranging from condensed-matter physics to cosmology, yet they are generally difficult to simulate. Using an ion trap quantum computer and protocols motivated by the Quantum Approximate Optimization Algorithm (QAOA), we generate nontrivial thermal quantum states of the transverse-field Ising model (TFIM) by preparing thermofield double states at a variety of temperatures. We also prepare the critical state of the TFIM at zero temperature using quantum-classical hybrid optimization. The entanglement structure of thermofield double and critical states plays a key role in the study of black holes, and our work simulates such nontrivial structures on a quantum computer. Moreover, we find that the variational quantum circuits exhibit noise thresholds above which the lowest depth QAOA circuits provide the best results.
△ Less
Submitted 6 February, 2020; v1 submitted 6 June, 2019;
originally announced June 2019.
-
Noise reduction using past causal cones in variational quantum algorithms
Authors:
Omar Shehab,
Isaac H. Kim,
Nhung H. Nguyen,
Kevin Landsman,
Cinthia H. Alderete,
Daiwei Zhu,
C. Monroe,
Norbert M. Linke
Abstract:
We introduce an approach to improve the accuracy and reduce the sample complexity of near term quantum-classical algorithms. We construct a simpler initial parameterized quantum state, or ansatz, based on the past causal cone of each observable, generally yielding fewer qubits and gates. We implement this protocol on a trapped ion quantum computer and demonstrate improvement in accuracy and time-t…
▽ More
We introduce an approach to improve the accuracy and reduce the sample complexity of near term quantum-classical algorithms. We construct a simpler initial parameterized quantum state, or ansatz, based on the past causal cone of each observable, generally yielding fewer qubits and gates. We implement this protocol on a trapped ion quantum computer and demonstrate improvement in accuracy and time-to-solution at an arbitrary point in the variational search space. We report a $\sim 27\%$ improvement in the accuracy of the calculation of the deuteron binding energy and $\sim 40\%$ improvement in the accuracy of the quantum approximate optimization of the MAXCUT problem applied to the dragon graph $T_{3,2}$. When the time-to-solution is prioritized over accuracy, the former requires $\sim 71\%$ fewer measurements and the latter requires $\sim 78\%$ fewer measurements.
△ Less
Submitted 12 June, 2019; v1 submitted 2 June, 2019;
originally announced June 2019.
-
Full-Stack, Real-System Quantum Computer Studies: Architectural Comparisons and Design Insights
Authors:
Prakash Murali,
Norbert Matthias Linke,
Margaret Martonosi,
Ali Javadi Abhari,
Nhung Hong Nguyen,
Cinthia Huerta Alderete
Abstract:
In recent years, Quantum Computing (QC) has progressed to the point where small working prototypes are available for use. Termed Noisy Intermediate-Scale Quantum (NISQ) computers, these prototypes are too small for large benchmarks or even for Quantum Error Correction, but they do have sufficient resources to run small benchmarks, particularly if compiled with optimizations to make use of scarce q…
▽ More
In recent years, Quantum Computing (QC) has progressed to the point where small working prototypes are available for use. Termed Noisy Intermediate-Scale Quantum (NISQ) computers, these prototypes are too small for large benchmarks or even for Quantum Error Correction, but they do have sufficient resources to run small benchmarks, particularly if compiled with optimizations to make use of scarce qubits and limited operation counts and coherence times. QC has not yet, however, settled on a particular preferred device implementation technology, and indeed different NISQ prototypes implement qubits with very different physical approaches and therefore widely-varying device and machine characteristics.
Our work performs a full-stack, benchmark-driven hardware-software analysis of QC systems. We evaluate QC architectural possibilities, software-visible gates, and software optimizations to tackle fundamental design questions about gate set choices, communication topology, the factors affecting benchmark performance and compiler optimizations. In order to answer key cross-technology and cross-platform design questions, our work has built the first top-to-bottom toolflow to target different qubit device technologies, including superconducting and trapped ion qubits which are the current QC front-runners. We use our toolflow, TriQ, to conduct {\em real-system} measurements on 7 running QC prototypes from 3 different groups, IBM, Rigetti, and University of Maryland. From these real-system experiences at QC's hardware-software interface, we make observations about native and software-visible gates for different QC technologies, communication topologies, and the value of noise-aware compilation even on lower-noise platforms. This is the largest cross-platform real-system QC study performed thus far; its results have the potential to inform both QC device and compiler design going forward.
△ Less
Submitted 11 June, 2019; v1 submitted 27 May, 2019;
originally announced May 2019.
-
Squeezed displaced entangled states in the quantum Rabi model
Authors:
F. H. Maldonado-Villamizar,
C. Huerta Alderete,
B. M. Rodríguez-Lara
Abstract:
The quantum Rabi model accepts analytical solutions in the so-called degenerate qubit and relativistic regimes with discrete and continuous spectrum, in that order.We show that solutions in the laboratory frame are the superposition of even and odd displaced number states, in the former, and infinitely squeezed coherent states, in the latter, of the boson field correlated to the internal states of…
▽ More
The quantum Rabi model accepts analytical solutions in the so-called degenerate qubit and relativistic regimes with discrete and continuous spectrum, in that order.We show that solutions in the laboratory frame are the superposition of even and odd displaced number states, in the former, and infinitely squeezed coherent states, in the latter, of the boson field correlated to the internal states of the qubit. We propose a single parameter model that interpolates between these discrete and continuous spectrum regimes to study the spectral statistics for first and second neighbor differences before the so-called spectral collapse. We find two central first neighbor differences that interweave and fluctuate keeping a constant second neighbor separation.
△ Less
Submitted 2 July, 2019; v1 submitted 11 April, 2019;
originally announced April 2019.
-
Training of Quantum Circuits on a Hybrid Quantum Computer
Authors:
D. Zhu,
N. M. Linke,
M. Benedetti,
K. A. Landsman,
N. H. Nguyen,
C. H. Alderete,
A. Perdomo-Ortiz,
N. Korda,
A. Garfoot,
C. Brecque,
L. Egan,
O. Perdomo,
C. Monroe
Abstract:
Generative modeling is a flavor of machine learning with applications ranging from computer vision to chemical design. It is expected to be one of the techniques most suited to take advantage of the additional resources provided by near-term quantum computers. We implement a data-driven quantum circuit training algorithm on the canonical Bars-and-Stripes data set using a quantum-classical hybrid m…
▽ More
Generative modeling is a flavor of machine learning with applications ranging from computer vision to chemical design. It is expected to be one of the techniques most suited to take advantage of the additional resources provided by near-term quantum computers. We implement a data-driven quantum circuit training algorithm on the canonical Bars-and-Stripes data set using a quantum-classical hybrid machine. The training proceeds by running parameterized circuits on a trapped ion quantum computer, and feeding the results to a classical optimizer. We apply two separate strategies, Particle Swarm and Bayesian optimization to this task. We show that the convergence of the quantum circuit to the target distribution depends critically on both the quantum hardware and classical optimization strategy. Our study represents the first successful training of a high-dimensional universal quantum circuit, and highlights the promise and challenges associated with hybrid learning schemes.
△ Less
Submitted 31 October, 2019; v1 submitted 20 December, 2018;
originally announced December 2018.
-
Engineering $\mathrm{SU}(1,1) \otimes \mathrm{SU}(1,1)$ vibrational states
Authors:
C. Huerta Alderete,
M. P. Morales Rodríguez,
B. M. Rodríguez-Lara
Abstract:
We propose an ideal scheme for preparing vibrational $\mathrm{SU(1,1)} \otimes \mathrm{SU(1,1)}$ states in a two-dimensional ion trap using red and blue second sideband resolved driving of two orthogonal vibrational modes. Symmetric and asymmetric driving provide two regimes to realize quantum state engineering of the vibrational modes. In one regime, we show that time evolution synthesizes so-cal…
▽ More
We propose an ideal scheme for preparing vibrational $\mathrm{SU(1,1)} \otimes \mathrm{SU(1,1)}$ states in a two-dimensional ion trap using red and blue second sideband resolved driving of two orthogonal vibrational modes. Symmetric and asymmetric driving provide two regimes to realize quantum state engineering of the vibrational modes. In one regime, we show that time evolution synthesizes so-called $\mathrm{SU}(1,1)$ Perelomov coherent states, that is separable squeezed states and their superposition too. The other regime allows engineering of lossless 50/50 $\mathrm{SU}(2)$ beam splitter states that are entangled states. These ideal dynamics are reversible, thus, the non-classical and entangled states produced by our schemes might be used as resources for interferometry.
△ Less
Submitted 24 February, 2019; v1 submitted 19 October, 2018;
originally announced October 2018.
-
Simulating para-Fermi oscillators
Authors:
C. Huerta Alderete,
B. M. Rodríguez-Lara
Abstract:
Quantum mechanics allows for a consistent formulation of particles that are neither bosons nor fermions. These para-particles are rather indiscernible in nature. Recently, we showed that strong coupling between a qubit and two field modes is required to simulate even order para-Bose oscillators. Here, we show that finite-dimensional representations of even order para-Fermi oscillators are feasible…
▽ More
Quantum mechanics allows for a consistent formulation of particles that are neither bosons nor fermions. These para-particles are rather indiscernible in nature. Recently, we showed that strong coupling between a qubit and two field modes is required to simulate even order para-Bose oscillators. Here, we show that finite-dimensional representations of even order para-Fermi oscillators are feasible of quantum simulation under weak coupling. This opens the door to their potential implementation in different contemporaneous quantum electrodynamics platforms. We emphasize the intrinsic value of para-particles for the quantum state engineering of bichromatic field modes. In particular, we demonstrate that binomial two field mode states result from the evolution of para-Fermi vacuum states in the quantum simulation of these oscillators.
△ Less
Submitted 3 August, 2018; v1 submitted 1 March, 2018;
originally announced March 2018.
-
Nonclassical and semiclassical para-Bose states
Authors:
C. Huerta Alderete,
Liliana Villanueva Vergara,
B. M. Rodríguez-Lara
Abstract:
Motivated by the proposal to simulate para-Bose oscillators in a trapped-ion setup [C. Huerta Alderete and B. M. Rodríguez-Lara, Phys. Rev. A 95, 013820 (2017)], we introduce an overcomplete, nonorthogonal basis for para-Bose Hilbert spaces. The states spanning these bases can be experimentally realized in the trapped-ion simulation via time evolution. The para-Bose states show both nonclassical a…
▽ More
Motivated by the proposal to simulate para-Bose oscillators in a trapped-ion setup [C. Huerta Alderete and B. M. Rodríguez-Lara, Phys. Rev. A 95, 013820 (2017)], we introduce an overcomplete, nonorthogonal basis for para-Bose Hilbert spaces. The states spanning these bases can be experimentally realized in the trapped-ion simulation via time evolution. The para-Bose states show both nonclassical and semiclassical statistics on their Fock state distribution, asymmetric field quadrature variances, and do not minimize the uncertainty relation for the field quadratures. These properties are analytically controlled by the para-Bose order and the evolution time; both parameters might be feasible for fine tuning in the trapped-ion quantum simulation.
△ Less
Submitted 20 April, 2017; v1 submitted 21 February, 2017;
originally announced February 2017.
-
Quantum simulation of driven para-Bose oscillators
Authors:
C. Huerta Alderete,
B. M. Rodríguez-Lara
Abstract:
Quantum mechanics allows paraparticles with mixed Bose-Fermi statistics that have not been experimentally confirmed. We propose a trapped-ion scheme whose effective dynamics are equivalent to a driven para-Bose oscillator of even order. Our mapping suggest highly entangled vibrational and internal ion states as the laboratory equivalent of quantum simulated parabosons. Furthermore, we show the gen…
▽ More
Quantum mechanics allows paraparticles with mixed Bose-Fermi statistics that have not been experimentally confirmed. We propose a trapped-ion scheme whose effective dynamics are equivalent to a driven para-Bose oscillator of even order. Our mapping suggest highly entangled vibrational and internal ion states as the laboratory equivalent of quantum simulated parabosons. Furthermore, we show the generation and reconstruction of coherent oscillations and para-Bose analogs of Gilmore-Perelomov coherent states from population inversion measurements in the laboratory frame. Our proposal, apart from demonstrating an analog quantum simulator of para-Bose oscillators, provides a quantum state engineering tool that foreshadows the potential use of paraparticle dynamics in the design of quantum information systems.
△ Less
Submitted 10 January, 2017; v1 submitted 28 September, 2016;
originally announced September 2016.
-
Cross-cavity quantum Rabi model
Authors:
C. Huerta Alderete,
B. M. Rodríguez-Lara
Abstract:
We introduce the cross-cavity quantum Rabi model describing the interaction of a single two-level system with two orthogonal boson fields and propose its quantum simulation by two-dimensional, bichromatic, first-sideband driving of a single trapped ion. We provide an introductory survey of the model, including its diagonalization in the two-level system basis, numerical spectra and its characteris…
▽ More
We introduce the cross-cavity quantum Rabi model describing the interaction of a single two-level system with two orthogonal boson fields and propose its quantum simulation by two-dimensional, bichromatic, first-sideband driving of a single trapped ion. We provide an introductory survey of the model, including its diagonalization in the two-level system basis, numerical spectra and its characteristics in the weak, ultra strong and deep strong coupling regimes. We also show that the particular case of degenerate field frequencies and balanced couplings allows us to cast the model as two parity deformed oscillators in any given coupling regime.
△ Less
Submitted 13 April, 2016;
originally announced April 2016.