-
Hamiltonian simulation in Zeno subspaces
Authors:
Kasra Rajabzadeh Dizaji,
Ariq Haqq,
Alicia B. Magann,
Christian Arenz
Abstract:
We investigate the quantum Zeno effect as a framework for designing and analyzing quantum algorithms for Hamiltonian simulation. We show that frequent projective measurements of an ancilla qubit register can be used to simulate quantum dynamics on a target qubit register with a circuit complexity similar to randomized approaches. The classical sampling overhead in the latter approaches is traded f…
▽ More
We investigate the quantum Zeno effect as a framework for designing and analyzing quantum algorithms for Hamiltonian simulation. We show that frequent projective measurements of an ancilla qubit register can be used to simulate quantum dynamics on a target qubit register with a circuit complexity similar to randomized approaches. The classical sampling overhead in the latter approaches is traded for ancilla qubit overhead in Zeno-based approaches. A second-order Zeno sequence is developed to improve scaling and implementations through unitary kicks are discussed. We show that the circuits over the combined register can be identified as a subroutine commonly used in post-Trotter Hamiltonian simulation methods. We build on this observation to reveal connections between different Hamiltonian simulation algorithms.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Requirements for building effective Hamiltonians using quantum-enhanced density matrix downfolding
Authors:
Shivesh Pathak,
Antonio E. Russo,
Stefan Seritan,
Alicia B. Magann,
Eric Bobrow,
Andrew J. Landahl,
Andrew D. Baczewski
Abstract:
Density matrix downfolding (DMD) is a technique for regressing low-energy effective Hamiltonians from quantum many-body Hamiltonians. One limiting factor in the accuracy of classical implementations of DMD is the presence of difficult-to-quantify systematic errors attendant to sampling the observables of quantum many-body systems on an approximate low-energy subspace. We propose a hybrid quantum-c…
▽ More
Density matrix downfolding (DMD) is a technique for regressing low-energy effective Hamiltonians from quantum many-body Hamiltonians. One limiting factor in the accuracy of classical implementations of DMD is the presence of difficult-to-quantify systematic errors attendant to sampling the observables of quantum many-body systems on an approximate low-energy subspace. We propose a hybrid quantum-classical protocol for circumventing this limitation, relying on the prospective ability of quantum computers to efficiently prepare and sample from states in well-defined low-energy subspaces with systematically improvable accuracy. We introduce three requirements for when this is possible, including a notion of compressibility that quantifies features of Hamiltonians and low-energy subspaces thereof for which quantum DMD might be efficient. Assuming that these requirements are met, we analyze design choices for our protocol and provide resource estimates for implementing quantum-enhanced DMD on both the doped 2-D Fermi-Hubbard model and an ab initio model of a cuprate superconductor.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Spectral gaps of two- and three-dimensional many-body quantum systems in the thermodynamic limit
Authors:
Illya V. Lukin,
Andrii G. Sotnikov,
Jacob M. Leamer,
Alicia B. Magann,
Denys I. Bondar
Abstract:
We present an expression for the spectral gap, opening up new possibilities for performing and accelerating spectral calculations of quantum many-body systems. We develop and demonstrate one such possibility in the context of tensor network simulations. Our approach requires only minor modifications of the widely used simple update method and is computationally lightweight relative to other approa…
▽ More
We present an expression for the spectral gap, opening up new possibilities for performing and accelerating spectral calculations of quantum many-body systems. We develop and demonstrate one such possibility in the context of tensor network simulations. Our approach requires only minor modifications of the widely used simple update method and is computationally lightweight relative to other approaches. We validate it by computing spectral gaps of the 2D and 3D transverse-field Ising models and find strong agreement with previously reported perturbation theory results.
△ Less
Submitted 8 May, 2024; v1 submitted 25 January, 2024;
originally announced January 2024.
-
HamLib: A library of Hamiltonians for benchmarking quantum algorithms and hardware
Authors:
Nicolas PD Sawaya,
Daniel Marti-Dafcik,
Yang Ho,
Daniel P Tabor,
David E Bernal Neira,
Alicia B Magann,
Shavindra Premaratne,
Pradeep Dubey,
Anne Matsuura,
Nathan Bishop,
Wibe A de Jong,
Simon Benjamin,
Ojas D Parekh,
Norm Tubman,
Katherine Klymko,
Daan Camps
Abstract:
In order to characterize and benchmark computational hardware, software, and algorithms, it is essential to have many problem instances on-hand. This is no less true for quantum computation, where a large collection of real-world problem instances would allow for benchmarking studies that in turn help to improve both algorithms and hardware designs. To this end, here we present a large dataset of…
▽ More
In order to characterize and benchmark computational hardware, software, and algorithms, it is essential to have many problem instances on-hand. This is no less true for quantum computation, where a large collection of real-world problem instances would allow for benchmarking studies that in turn help to improve both algorithms and hardware designs. To this end, here we present a large dataset of qubit-based quantum Hamiltonians. The dataset, called HamLib (for Hamiltonian Library), is freely available online and contains problem sizes ranging from 2 to 1000 qubits. HamLib includes problem instances of the Heisenberg model, Fermi-Hubbard model, Bose-Hubbard model, molecular electronic structure, molecular vibrational structure, MaxCut, Max-$k$-SAT, Max-$k$-Cut, QMaxCut, and the traveling salesperson problem. The goals of this effort are (a) to save researchers time by eliminating the need to prepare problem instances and map them to qubit representations, (b) to allow for more thorough tests of new algorithms and hardware, and (c) to allow for reproducibility and standardization across research studies.
△ Less
Submitted 15 February, 2024; v1 submitted 22 June, 2023;
originally announced June 2023.
-
Feedback-based quantum algorithms for ground state preparation
Authors:
James B. Larsen,
Matthew D. Grace,
Andrew D. Baczewski,
Alicia B. Magann
Abstract:
The ground state properties of quantum many-body systems are a subject of interest across chemistry, materials science, and physics. Thus, algorithms for finding ground states can have broad impacts. Variational quantum algorithms are one class of ground state algorithms that has received significant attention in recent years. These algorithms utilize a hybrid quantum-classical computing framework…
▽ More
The ground state properties of quantum many-body systems are a subject of interest across chemistry, materials science, and physics. Thus, algorithms for finding ground states can have broad impacts. Variational quantum algorithms are one class of ground state algorithms that has received significant attention in recent years. These algorithms utilize a hybrid quantum-classical computing framework to prepare ground states on quantum computers. However, this requires solving a classical optimization problem that can become prohibitively expensive in high dimensions. Here, we develop formulations of feedback-based quantum algorithms for ground state preparation that can be used to address this challenge for two broad classes of Hamiltonians: Fermi-Hubbard Hamiltonians, and molecular Hamiltonians represented in second quantization. Feedback-based quantum algorithms are optimization-free; in place of classical optimization, quantum circuit parameters are set according to a deterministic feedback law derived from quantum Lyapunov control principles. This feedback law guarantees a monotonic improvement in solution quality with respect to the depth of the quantum circuit. A variety of numerical illustrations are provided that analyze the convergence and robustness of feedback-based quantum algorithms for these problem classes.
△ Less
Submitted 26 September, 2023; v1 submitted 6 March, 2023;
originally announced March 2023.
-
Spectral Gaps via Imaginary Time
Authors:
Jacob M. Leamer,
Alicia B. Magann,
Andrew D. Baczewski,
Gerard McCaul,
Denys I. Bondar
Abstract:
The spectral gap occupies a role of central importance in many open problems in physics. We present an approach for evaluating the spectral gap of a Hamiltonian from a simple ratio of two expectation values, both of which are evaluated using a quantum state that is evolved in imaginary time. In principle, the only requirement is that the initial state is supported on both the ground and first exci…
▽ More
The spectral gap occupies a role of central importance in many open problems in physics. We present an approach for evaluating the spectral gap of a Hamiltonian from a simple ratio of two expectation values, both of which are evaluated using a quantum state that is evolved in imaginary time. In principle, the only requirement is that the initial state is supported on both the ground and first excited states. We demonstrate this approach for the Fermi-Hubbard and transverse field Ising models through numerical simulation.
△ Less
Submitted 3 March, 2023;
originally announced March 2023.
-
Quantum tracking control of the orientation of symmetric top molecules
Authors:
Alicia B. Magann,
Tak-San Ho,
Christian Arenz,
Herschel A. Rabitz
Abstract:
The goal of quantum tracking control is to identify shaped fields to steer observable expectation values along designated time-dependent tracks. The fields are determined via an iteration-free procedure, which is based on inverting the underlying dynamical equations governing the controlled observables. In this article, we generalize the ideas in Phys. Rev. A 98, 043429 (2018) to the task of orien…
▽ More
The goal of quantum tracking control is to identify shaped fields to steer observable expectation values along designated time-dependent tracks. The fields are determined via an iteration-free procedure, which is based on inverting the underlying dynamical equations governing the controlled observables. In this article, we generalize the ideas in Phys. Rev. A 98, 043429 (2018) to the task of orienting symmetric top molecules in 3D. To this end, we derive equations for the control fields capable of directly tracking the expected value of the 3D dipole orientation vector along a desired path in time. We show this framework can be utilized for tracking the orientation of linear molecules as well, and present numerical illustrations of these principles for symmetric top tracking control problems.
△ Less
Submitted 10 January, 2023;
originally announced January 2023.
-
Randomized adaptive quantum state preparation
Authors:
Alicia B. Magann,
Sophia E. Economou,
Christian Arenz
Abstract:
We develop an adaptive method for quantum state preparation that utilizes randomness as an essential component and that does not require classical optimization. Instead, a cost function is minimized to prepare a desired quantum state through an adaptively constructed quantum circuit, where each adaptive step is informed by feedback from gradient measurements in which the associated tangent space d…
▽ More
We develop an adaptive method for quantum state preparation that utilizes randomness as an essential component and that does not require classical optimization. Instead, a cost function is minimized to prepare a desired quantum state through an adaptively constructed quantum circuit, where each adaptive step is informed by feedback from gradient measurements in which the associated tangent space directions are randomized. We provide theoretical arguments and numerical evidence that convergence to the target state can be achieved for almost all initial states. We investigate different randomization procedures and develop lower bounds on the expected cost function change, which allows for drawing connections to barren plateaus and for assessing the applicability of the algorithm to large-scale problems.
△ Less
Submitted 6 October, 2023; v1 submitted 10 January, 2023;
originally announced January 2023.
-
Self-healing of Trotter error in digital adiabatic state preparation
Authors:
Lucas K. Kovalsky,
Fernando A. Calderon-Vargas,
Matthew D. Grace,
Alicia B. Magann,
James B. Larsen,
Andrew D. Baczewski,
Mohan Sarovar
Abstract:
Adiabatic time evolution can be used to prepare a complicated quantum many-body state from one that is easier to synthesize and Trotterization can be used to implement such an evolution digitally. The complex interplay between non-adiabaticity and digitization influences the infidelity of this process. We prove that the first-order Trotterization of a complete adiabatic evolution has a cumulative…
▽ More
Adiabatic time evolution can be used to prepare a complicated quantum many-body state from one that is easier to synthesize and Trotterization can be used to implement such an evolution digitally. The complex interplay between non-adiabaticity and digitization influences the infidelity of this process. We prove that the first-order Trotterization of a complete adiabatic evolution has a cumulative infidelity that scales as $\mathcal O(T^{-2} δt^2)$ instead of $\mathcal O(T^2 δt^2)$ expected from general Trotter error bounds, where $δt$ is the time step and $T$ is the total time. This result suggests a self-healing mechanism and explains why, despite increasing $T$, infidelities for fixed-$δt$ digitized evolutions still decrease for a wide variety of Hamiltonians. It also establishes a correspondence between the Quantum Approximate Optimization Algorithm (QAOA) and digitized quantum annealing.
△ Less
Submitted 10 August, 2023; v1 submitted 13 September, 2022;
originally announced September 2022.
-
Lyapunov control-inspired strategies for quantum combinatorial optimization
Authors:
Alicia B. Magann,
Kenneth M. Rudinger,
Matthew D. Grace,
Mohan Sarovar
Abstract:
The prospect of using quantum computers to solve combinatorial optimization problems via the quantum approximate optimization algorithm (QAOA) has attracted considerable interest in recent years. However, a key limitation associated with QAOA is the need to classically optimize over a set of quantum circuit parameters. This classical optimization can have significant associated costs and challenge…
▽ More
The prospect of using quantum computers to solve combinatorial optimization problems via the quantum approximate optimization algorithm (QAOA) has attracted considerable interest in recent years. However, a key limitation associated with QAOA is the need to classically optimize over a set of quantum circuit parameters. This classical optimization can have significant associated costs and challenges. Here, we provide an expanded description of Lyapunov control-inspired strategies for quantum optimization, as presented in [Magann et al., Phys. Rev. Lett. 129, 250502 (2022)], that do not require any classical optimization effort. Instead, these strategies utilize feedback from qubit measurements to assign values to the quantum circuit parameters in a deterministic manner, such that the combinatorial optimization problem solution improves monotonically with the quantum circuit depth. Numerical analyses are presented that investigate the utility of these strategies towards MaxCut on weighted and unweighted 3-regular graphs, both in ideal implementations and also in the presence of measurement noise. We also discuss how how these strategies compare with QAOA, how they may be used to seed QAOA optimizations in order to improve performance for near-term applications, and explore connections to quantum annealing.
△ Less
Submitted 4 January, 2023; v1 submitted 12 August, 2021;
originally announced August 2021.
-
Progress toward favorable landscapes in quantum combinatorial optimization
Authors:
Juneseo Lee,
Alicia B. Magann,
Herschel A. Rabitz,
Christian Arenz
Abstract:
The performance of variational quantum algorithms relies on the success of using quantum and classical computing resources in tandem. Here, we study how these quantum and classical components interrelate. In particular, we focus on algorithms for solving the combinatorial optimization problem MaxCut, and study how the structure of the classical optimization landscape relates to the quantum circuit…
▽ More
The performance of variational quantum algorithms relies on the success of using quantum and classical computing resources in tandem. Here, we study how these quantum and classical components interrelate. In particular, we focus on algorithms for solving the combinatorial optimization problem MaxCut, and study how the structure of the classical optimization landscape relates to the quantum circuit used to evaluate the MaxCut objective function. In order to analytically characterize the impact of quantum features on the critical points of the landscape, we consider a family of quantum circuit ansätze composed of mutually commuting elements. We identify multiqubit operations as a key resource and show that overparameterization allows for obtaining favorable landscapes. Namely, we prove that an ansatz from this family containing exponentially many variational parameters yields a landscape free of local optima for generic graphs. However, we further prove that these ansätze do not offer superpolynomial advantages over purely classical MaxCut algorithms. We then present a series of numerical experiments illustrating that noncommutativity and entanglement are important features for improving algorithm performance.
△ Less
Submitted 2 September, 2021; v1 submitted 3 May, 2021;
originally announced May 2021.
-
Feedback-based quantum optimization
Authors:
Alicia B. Magann,
Kenneth M. Rudinger,
Matthew D. Grace,
Mohan Sarovar
Abstract:
It is hoped that quantum computers will offer advantages over classical computers for combinatorial optimization. Here, we introduce a feedback-based strategy for quantum optimization, where the results of qubit measurements are used to constructively assign values to quantum circuit parameters. We show that this procedure results in an estimate of the combinatorial optimization problem solution t…
▽ More
It is hoped that quantum computers will offer advantages over classical computers for combinatorial optimization. Here, we introduce a feedback-based strategy for quantum optimization, where the results of qubit measurements are used to constructively assign values to quantum circuit parameters. We show that this procedure results in an estimate of the combinatorial optimization problem solution that improves monotonically with the depth of the quantum circuit. Importantly, the measurement-based feedback enables approximate solutions to the combinatorial optimization problem without the need for any classical optimization effort, as would be required for the quantum approximate optimization algorithm (QAOA). We experimentally demonstrate this feedback-based protocol on a superconducting quantum processor for the graph-partitioning problem MaxCut, and present a series of numerical analyses that further investigate the protocol's performance.
△ Less
Submitted 4 January, 2023; v1 submitted 15 March, 2021;
originally announced March 2021.
-
Sequential optical response suppression for chemical mixture characterization
Authors:
Alicia B. Magann,
Gerard McCaul,
Herschel A. Rabitz,
Denys I. Bondar
Abstract:
The characterization of mixtures of non-interacting, spectroscopically similar quantum components has important applications in chemistry, biology, and materials science. We introduce an approach based on quantum tracking control that allows for determining the relative concentrations of constituents in a quantum mixture, using a single pulse which enhances the distinguishability of components of…
▽ More
The characterization of mixtures of non-interacting, spectroscopically similar quantum components has important applications in chemistry, biology, and materials science. We introduce an approach based on quantum tracking control that allows for determining the relative concentrations of constituents in a quantum mixture, using a single pulse which enhances the distinguishability of components of the mixture and has a length that scales linearly with the number of mixture constituents. To illustrate the method, we consider two very distinct model systems: mixtures of diatomic molecules in the gas phase, as well as solid-state materials composed of a mixture of components. A set of numerical analyses are presented, showing strong performance in both settings.
△ Less
Submitted 12 January, 2022; v1 submitted 26 October, 2020;
originally announced October 2020.
-
From pulses to circuits and back again: A quantum optimal control perspective on variational quantum algorithms
Authors:
Alicia B. Magann,
Christian Arenz,
Matthew D. Grace,
Tak-San Ho,
Robert L. Kosut,
Jarrod R. McClean,
Herschel A. Rabitz,
Mohan Sarovar
Abstract:
The last decade has witnessed remarkable progress in the development of quantum technologies. Although fault-tolerant devices likely remain years away, the noisy intermediate-scale quantum devices of today may be leveraged for other purposes. Leading candidates are variational quantum algorithms (VQAs), which have been developed for applications including chemistry, optimization, and machine learn…
▽ More
The last decade has witnessed remarkable progress in the development of quantum technologies. Although fault-tolerant devices likely remain years away, the noisy intermediate-scale quantum devices of today may be leveraged for other purposes. Leading candidates are variational quantum algorithms (VQAs), which have been developed for applications including chemistry, optimization, and machine learning, but whose implementations on quantum devices have yet to demonstrate improvements over classical capabilities. In this Perspective, we propose a variety of ways that the performance of VQAs could be informed by quantum optimal control theory. To set the stage, we identify VQAs and quantum optimal control as formulations of variational optimization at the circuit level and pulse level, respectively, where these represent just two levels in a broader hierarchy of abstractions that we consider. In this unified picture, we suggest several ways that the different levels of abstraction may be connected, in order to facilitate the application of quantum optimal control theory to VQA challenges associated with ansatz selection, optimization landscapes, noise, and robustness. A major theme throughout is the need for sufficient control resources in VQA implementations; we discuss different ways this need can manifest, outline a variety of open questions, and conclude with a look to the future.
△ Less
Submitted 13 January, 2021; v1 submitted 14 September, 2020;
originally announced September 2020.
-
Digital quantum simulation of molecular dynamics and control
Authors:
Alicia B. Magann,
Matthew D. Grace,
Herschel A. Rabitz,
Mohan Sarovar
Abstract:
Optimally-shaped electromagnetic fields have the capacity to coherently control the dynamics of quantum systems and thus offer a promising means for controlling molecular transformations relevant to chemical, biological, and materials applications. Currently, advances in this area are hindered by the prohibitive cost of the quantum dynamics simulations needed to explore the principles and possibil…
▽ More
Optimally-shaped electromagnetic fields have the capacity to coherently control the dynamics of quantum systems and thus offer a promising means for controlling molecular transformations relevant to chemical, biological, and materials applications. Currently, advances in this area are hindered by the prohibitive cost of the quantum dynamics simulations needed to explore the principles and possibilities of molecular control. However, the emergence of nascent quantum-computing devices suggests that efficient simulations of quantum dynamics may be on the horizon. In this article, we study how quantum computers could be employed to design optimally-shaped fields to control molecular systems. We introduce a hybrid algorithm that utilizes a quantum computer for simulating the field-induced quantum dynamics of a molecular system in polynomial time, in combination with a classical optimization approach for updating the field. Qubit encoding methods relevant for molecular control problems are described, and procedures for simulating the quantum dynamics and obtaining the simulation results are discussed. Numerical illustrations are then presented that explicitly treat paradigmatic vibrational and rotational control problems, and also consider how optimally-shaped fields could be used to elucidate the mechanisms of energy transfer in light-harvesting complexes. Resource estimates, as well as a numerical assessment of the impact of hardware noise and the prospects of near-term hardware implementations, are provided for the latter task.
△ Less
Submitted 3 June, 2021; v1 submitted 27 February, 2020;
originally announced February 2020.
-
Optimal control of interacting quantum systems based on the first-order Magnus approximation: Application to multiple dipole-dipole coupled molecular rotors
Authors:
Andrew Ma,
Alicia B. Magann,
Tak-San Ho,
Herschel Rabitz
Abstract:
We develop a methodology for performing approximate optimal control simulations for quantum systems with multiple interacting degrees of freedom. The quantum dynamics are modeled using the first-order Magnus approximation in the interaction picture, where the interactions between different degrees of freedom are treated as the perturbation. We present a numerical procedure for implementing this ap…
▽ More
We develop a methodology for performing approximate optimal control simulations for quantum systems with multiple interacting degrees of freedom. The quantum dynamics are modeled using the first-order Magnus approximation in the interaction picture, where the interactions between different degrees of freedom are treated as the perturbation. We present a numerical procedure for implementing this approximation, which leverages the separability of the zeroth-order time evolution operator and the pairwise nature of common interactions for a reduced computational cost. This formulation of the first-order Magnus approximation is suitable to be combined with gradient-free methods for control field optimization; to this end, we adopt a Stochastic Hill Climbing algorithm. The associated computational costs are analyzed and compared with those of the exact simulation in the large N limit. For numerical illustrations, we perform approximate optimal control simulations for systems of two and three dipole-dipole coupled molecular rotors under the influence of a global control field. For the two rotor system, we optimize fields for both orientation and entanglement control objectives. For the three rotor system, we optimize fields for orienting rotors in the same direction as well as in opposite directions.
△ Less
Submitted 30 November, 2018;
originally announced November 2018.