-
Employing an operator form of the Rodrigues formula to calculate wavefunctions without differential equations
Authors:
Joseph R. Noonan,
Maaz ur Rehman Shah,
Luogen Xu,
James. K. Freericks
Abstract:
The factorization method of Schrodinger shows us how to determine the energy eigenstates without needing to determine the wavefunctions in position or momentum space. A strategy to convert the energy eigenstates to wavefunctions is well known for the one-dimensional simple harmonic oscillator by employing the Rodrigues formula for the Hermite polynomials in position or momentum space. In this work…
▽ More
The factorization method of Schrodinger shows us how to determine the energy eigenstates without needing to determine the wavefunctions in position or momentum space. A strategy to convert the energy eigenstates to wavefunctions is well known for the one-dimensional simple harmonic oscillator by employing the Rodrigues formula for the Hermite polynomials in position or momentum space. In this work, we illustrate how to generalize this approach in a representation-independent fashion to find the wavefunctions of other problems in quantum mechanics that can be solved by the factorization method. We examine three problems in detail: (i) the one-dimensional simple harmonic oscillator; (ii) the three-dimensional isotropic harmonic oscillator; and (iii) the three-dimensional Coulomb problem. This approach can be used in either undergraduate or graduate classes in quantum mechanics.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
Computational projects with the Landau-Zener problem in the quantum mechanics classroom
Authors:
Livia A. J. Guttieres,
Marko D. Petrovic,
James K. Freericks
Abstract:
The Landau-Zener problem, where a minimum energy separation is passed with constant rate in a two-state quantum-mechanical system, is an excellent model quantum system for a computational project. It requires a low-level computational effort, but has a number of complex numerical and algorithmic issues that can be resolved through dedicated work. It can be used to teach computational concepts such…
▽ More
The Landau-Zener problem, where a minimum energy separation is passed with constant rate in a two-state quantum-mechanical system, is an excellent model quantum system for a computational project. It requires a low-level computational effort, but has a number of complex numerical and algorithmic issues that can be resolved through dedicated work. It can be used to teach computational concepts such as accuracy, discretization, and extrapolation, and it reinforces quantum concepts of time-evolution via a time-ordered product and of extrapolation to infinite time via time-dependent perturbation theory. In addition, we discuss the concept of compression algorithms, which are employed in many advanced quantum computing strategies, and easy to illustrate with the Landau-Zener problem.
△ Less
Submitted 20 June, 2023;
originally announced June 2023.
-
Focus on conceptual ideas in quantum mechanics for teacher training
Authors:
J. K. Freericks
Abstract:
In this work, we describe strategies and provide case-study activities that can be used to examine the properties of superposition, entanglement, tagging, complementarity, and measurement in quantum curricula geared for teacher training. Having a solid foundation in these conceptual ideas is critical for educators who will be adopting quantum ideas within the classroom. Yet they are some of the mo…
▽ More
In this work, we describe strategies and provide case-study activities that can be used to examine the properties of superposition, entanglement, tagging, complementarity, and measurement in quantum curricula geared for teacher training. Having a solid foundation in these conceptual ideas is critical for educators who will be adopting quantum ideas within the classroom. Yet they are some of the most difficult concepts to master. We show how one can systematically develop these conceptual foundations with thought experiments on light and with thought experiments that employ the Stern-Gerlach experiment. We emphasize the importance of computer animations in aiding the instruction on these concepts.
△ Less
Submitted 1 May, 2023;
originally announced May 2023.
-
Should we trade off higher-level mathematics for abstraction to improve student understanding of quantum mechanics?
Authors:
James K. Freericks,
Leanne Doughty
Abstract:
Undergraduate quantum mechanics focuses on teaching through a wavefunction approach in the position-space representation. This leads to a differential equation perspective for teaching the material. However, we know that abstract representation-independent approaches often work better with students, by comparing student reactions to learning the series solution of the harmonic oscillator versus th…
▽ More
Undergraduate quantum mechanics focuses on teaching through a wavefunction approach in the position-space representation. This leads to a differential equation perspective for teaching the material. However, we know that abstract representation-independent approaches often work better with students, by comparing student reactions to learning the series solution of the harmonic oscillator versus the abstract operator method. Because one can teach all of the solvable quantum problems using a similar abstract method, it brings up the question, which is likely to lead to a better student understanding? In work at Georgetown University and with edX, we have been teaching a class focused on an operator-forward viewpoint, which we like to call operator mechanics. It teaches quantum mechanics in a representation-independent fashion and allows for most of the math to be algebraic, rather than based on differential equations. It relies on four fundamental operator identities -- (i) the Leibniz rule for commutators; (ii) the Hadamard lemma; (iii) the Baker-Campbell-Hausdorff formula; and (iv) the exponential disentangling identity. These identities allow one to solve eigenvalues, eigenstates and wavefunctions for all analytically solvable problems (including some not often included in undergraduate curricula, such as the Morse potential or the Poschl-Teller potential). It also allows for more advanced concepts relevant for quantum sensing, such as squeezed states, to be introduced in a simpler format than is conventionally done. In this paper, we illustrate the three approaches of matrix mechanics, wave mechanics, and operator mechanics, we show how one organizes a class in this new format, we summarize the experiences we have had with teaching quantum mechanics in this fashion and we describe how it allows us to focus the quantum curriculum on more modern 21st century topics appropriate for the
△ Less
Submitted 28 April, 2023;
originally announced May 2023.
-
Free expansion of a Gaussian wavepacket using operator manipulations
Authors:
Alessandro M. Orjuela,
J. K. Freericks
Abstract:
The free expansion of a Gaussian wavepacket is a problem commonly discussed in undergraduate quantum classes by directly solving the time-dependent Schrodinger equation as a differential equation. In this work, we provide an alternative way to calculate the free expansion by recognizing that the Gaussian wavepacket can be thought of as the ground state of a harmonic oscillator with its frequency a…
▽ More
The free expansion of a Gaussian wavepacket is a problem commonly discussed in undergraduate quantum classes by directly solving the time-dependent Schrodinger equation as a differential equation. In this work, we provide an alternative way to calculate the free expansion by recognizing that the Gaussian wavepacket can be thought of as the ground state of a harmonic oscillator with its frequency adjusted to give the initial width of the Gaussian, and the time evolution, given by the free-particle Hamiltonian, being the same as the application of a time-dependent squeezing operator to the harmonic oscillator ground state. Operator manipulations alone (including the Hadamard lemma and the exponential disentangling identity) then allow us to directly solve the problem. As quantum instruction evolves to include more quantum information science applications, reworking this well known problem using a squeezing formalism will help students develop intuition for how squeezed states are used in quantum sensing.
△ Less
Submitted 28 April, 2023;
originally announced May 2023.
-
How to measure the momentum of single quanta
Authors:
J. K. Freericks
Abstract:
The von Neumann theory of measurement, based on an entanglement of the quantum observable with a classical machine followed by decoherence or collapse, does not readily apply to most measurements of momentum. Indeed, how we measure the momentum of a quantum particle is not even discussed in most quantum mechanics textbooks. Instead, we often teach the lore that position and momentum cannot be meas…
▽ More
The von Neumann theory of measurement, based on an entanglement of the quantum observable with a classical machine followed by decoherence or collapse, does not readily apply to most measurements of momentum. Indeed, how we measure the momentum of a quantum particle is not even discussed in most quantum mechanics textbooks. Instead, we often teach the lore that position and momentum cannot be measured at the same time. Yet, most ways to measure momentum actually involve measuring position to infer momentum. In this tutorial review, I examine real experiments that measure momentum and describe how one can improve our teaching of the theory of measurement when we focus on real experiments, rather than abstract mathematical models of measurement.
△ Less
Submitted 23 February, 2023;
originally announced February 2023.
-
Continuum energy eigenstates via the factorization method
Authors:
James K. Freericks,
W. N. Mathews Jr
Abstract:
The factorization method was introduced by Schroedinger in 1940. Its use in bound-state problems is widely known, including in supersymmetric quantum mechanics; one can create a factorization chain, which simultaneously solves a sequence of auxiliary Hamiltonians that share common eigenvalues with their adjacent Hamiltonians in the chain, except for the lowest eigenvalue. In this work, we generali…
▽ More
The factorization method was introduced by Schroedinger in 1940. Its use in bound-state problems is widely known, including in supersymmetric quantum mechanics; one can create a factorization chain, which simultaneously solves a sequence of auxiliary Hamiltonians that share common eigenvalues with their adjacent Hamiltonians in the chain, except for the lowest eigenvalue. In this work, we generalize the factorization method to continuum energy eigenstates. Here, one does not generically have a factorization chain -- instead all energies are solved using a "single-shot factorization," enabled by writing the superpotential in a form that includes the logarithmic derivative of a confluent hypergeometric function. The single-shot factorization approach is an alternative to the conventional method of "deriving a differential equation and looking up its solution," but it does require some working knowledge of confluent hypergeometric functions. This can also be viewed as a method for solving the Ricatti equation needed to construct the superpotential.
△ Less
Submitted 20 February, 2023;
originally announced February 2023.
-
A linear response framework for simulating bosonic and fermionic correlation functions illustrated on quantum computers
Authors:
Efekan Kökcü,
Heba A. Labib,
J. K. Freericks,
Alexander F. Kemper
Abstract:
Response functions are a fundamental aspect of physics; they represent the link between experimental observations and the underlying quantum many-body state. However, this link is often under-appreciated, as the Lehmann formalism for obtaining response functions in linear response has no direct link to experiment. Within the context of quantum computing, and by using a linear response framework, w…
▽ More
Response functions are a fundamental aspect of physics; they represent the link between experimental observations and the underlying quantum many-body state. However, this link is often under-appreciated, as the Lehmann formalism for obtaining response functions in linear response has no direct link to experiment. Within the context of quantum computing, and by using a linear response framework, we restore this link by making the experiment an inextricable part of the quantum simulation. This method can be frequency- and momentum-selective, avoids limitations on operators that can be directly measured, and is ancilla-free. As prototypical examples of response functions, we demonstrate that both bosonic and fermionic Green's functions can be obtained, and apply these ideas to the study of a charge-density-wave material on ibm_auckland. The linear response method provides a robust framework for using quantum computers to study systems in physics and chemistry. It also provides new paradigms for computing response functions on classical computers.
△ Less
Submitted 20 February, 2023;
originally announced February 2023.
-
Efficient application of the factorized form of the unitary coupled-cluster ansatz for the variational quantum eigensolver algorithm by using linear combination of unitaries
Authors:
Luogen Xu,
James K. Freericks
Abstract:
The variational quantum eigensolver is one of the most promising algorithms for near-term quantum computers. It has the potential to solve quantum chemistry problems involving strongly correlated electrons, which are otherwise difficult to solve on classical computers. The variational eigenstate is constructed from a number of factorized unitary coupled-cluster terms applied onto an initial (singl…
▽ More
The variational quantum eigensolver is one of the most promising algorithms for near-term quantum computers. It has the potential to solve quantum chemistry problems involving strongly correlated electrons, which are otherwise difficult to solve on classical computers. The variational eigenstate is constructed from a number of factorized unitary coupled-cluster terms applied onto an initial (single-reference) state. Current algorithms for applying one of these operators to a quantum state require a number of operations that scales exponentially with the rank of the operator. We exploit a hidden SU($2$) symmetry to allow us to employ the linear combination of unitaries approach, Our \textsc{Prepare} subroutine uses $n+2$ ancilla qubits for a rank-$n$ operator. Our \textsc{Select}($\hat U$) scheme uses $\mathcal{O}(n)$ \textsc{Cnot} gates. This results in an full algorithm that scales like the cube of the rank of the operator $n^3$, a significant reduction in complexity for rank five or higher operators. This approach, when combined with other algorithms for lower-rank operators (when compared to the standard implementation, will make the factorized form of the unitary coupled-cluster approach much more efficient to implement on all types of quantum computers.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
The Laplace method for energy eigenvalue problems in quantum mechanics
Authors:
Jeremy Canfield,
Anna Galler,
James K. Freericks
Abstract:
Quantum mechanics has about a dozen exactly solvable potentials. Normally, the time-independent Schroedinger equation for them is solved by using a generalized series solution for the bound states (using the Froebenius method) and then an analytic continuation for the continuum states (if present). In this work, we present an alternative way to solve these problems, based on the Laplace method. Th…
▽ More
Quantum mechanics has about a dozen exactly solvable potentials. Normally, the time-independent Schroedinger equation for them is solved by using a generalized series solution for the bound states (using the Froebenius method) and then an analytic continuation for the continuum states (if present). In this work, we present an alternative way to solve these problems, based on the Laplace method. This technique uses a similar procedure for the bound states and for the continuum states. It was originally used by Schroedinger when he solved for the wavefunctions of hydrogen. Dirac advocated using this method too. We discuss why it is a powerful approach for graduate students to learn and describe how it can be employed to solve all problems whose wavefunctions are represented in terms of confluent hypergeometric functions.
△ Less
Submitted 15 August, 2022;
originally announced August 2022.
-
Robust measurements of $n$-point correlation functions of driven-dissipative quantum systems on a digital quantum computer
Authors:
Lorenzo Del Re,
Brian Rost,
Michael Foss-Feig,
A. F. Kemper,
J. K. Freericks
Abstract:
We propose and demonstrate a unified hierarchical method to measure $n$-point correlation functions that can be applied to driven, dissipative, or otherwise open or non-equilibrium quantum systems. In this method, the time evolution of the system is repeatedly interrupted by interacting an ancilla qubit with the system through a controlled operation, and measuring the ancilla immediately afterward…
▽ More
We propose and demonstrate a unified hierarchical method to measure $n$-point correlation functions that can be applied to driven, dissipative, or otherwise open or non-equilibrium quantum systems. In this method, the time evolution of the system is repeatedly interrupted by interacting an ancilla qubit with the system through a controlled operation, and measuring the ancilla immediately afterwards. We discuss the robustness of this method as compared to other ancilla-based interferometric techniques (such as the Hadamard test), and highlight its advantages for near-term quantum simulations of open quantum systems. We implement the method on a quantum computer in order to measure single-particle Green's functions of a driven-dissipative fermionic system. This work shows that dynamical correlation functions for driven-dissipative systems can be robustly measured with near-term quantum computers.
△ Less
Submitted 28 February, 2024; v1 submitted 26 April, 2022;
originally announced April 2022.
-
Theoretical description of time-resolved photoemission in charge-density-wave materials out to long times
Authors:
Marko D. Petrovic,
Manuel Weber,
James K. Freericks
Abstract:
We describe coupled electron-phonon systems semiclassically - Ehrenfest dynamics for the phonons and quantum mechanics for the electrons - using a classical Monte Carlo approach that determines the nonequilibrium response to a large pump field. The semiclassical approach is quite accurate, because the phonons are excited to average energies much higher than the phonon frequency, eliminating the ne…
▽ More
We describe coupled electron-phonon systems semiclassically - Ehrenfest dynamics for the phonons and quantum mechanics for the electrons - using a classical Monte Carlo approach that determines the nonequilibrium response to a large pump field. The semiclassical approach is quite accurate, because the phonons are excited to average energies much higher than the phonon frequency, eliminating the need for a quantum description. The numerical efficiency of this method allows us to perform a self-consistent time evolution out to very long times (tens of picoseconds) enabling us to model pump-probe experiments of a charge density wave (CDW) material. Our system is a half-filled, one-dimensional (1D) Holstein chain that exhibits CDW ordering due to a Peierls transition. The chain is subjected to a time-dependent electromagnetic pump field that excites it out of equilibrium, and then a second probe pulse is applied after a time delay. By evolving the system to long times, we capture the complete process of lattice excitation and subsequent relaxation to a new equilibrium, due to an exchange of energy between the electrons and the lattice, leading to lattice relaxation at finite temperatures. We employ an indirect (impulsive) driving mechanism of the lattice by the pump pulse due to the driving of the electrons by the pump field. We identify two driving regimes, where the pump can either cause small perturbations or completely invert the initial CDW order. Our work successfully describes the ringing of the amplitude mode in CDW systems that has long been seen in experiment, but never successfully explained by microscopic theory.
△ Less
Submitted 22 March, 2022;
originally announced March 2022.
-
Quantum number towers for the Hubbard and Holstein models
Authors:
Janes K. Freericks
Abstract:
In 1989, Elliott Lieb published a Physical Review Letter proving two theorems about the Hubbard model. This paper used the concept of spin-reflection positivity to prove that the ground state of the attractive Hubbard model was always a nondegenerate spin singlet and to also prove that the ground state for the repulsive model on a bipartite lattice had spin ||Λ_A|-|Λ_B||/2, corresponding to the di…
▽ More
In 1989, Elliott Lieb published a Physical Review Letter proving two theorems about the Hubbard model. This paper used the concept of spin-reflection positivity to prove that the ground state of the attractive Hubbard model was always a nondegenerate spin singlet and to also prove that the ground state for the repulsive model on a bipartite lattice had spin ||Λ_A|-|Λ_B||/2, corresponding to the difference in number of lattice sites for the two sublattices. In addition, this work relates to quantum number towers -- where the minimal energy state with a given quantum number, such as spin, or pseudospin, is ordered, according to the spin or pseudospin values. It was followed up in 1995 by a second paper that extended some of these results to the Holstein model (and more general electron-phonon models). These works prove results about the quantum numbers of these many-body models in condensed matter physics and have been very influential. In this chapter, I will discuss the context for these proofs, what they mean, and the remaining open questions related to the original work. In addition, I will briefly discuss some of the additional work that this methodology inspired.
△ Less
Submitted 4 February, 2022;
originally announced February 2022.
-
Operator relationship between conventional coupled cluster and unitary coupled cluster
Authors:
James K. Freericks
Abstract:
The chemistry community has long sought the exact relationship between the conventional and the unitary coupled cluster ansatz for a single-reference system, especially given the interest in performing quantum chemistry on quantum computers. In this work, we show how one can use the operator manipulations given by the exponential disentangling identity and the Hadamard lemma to relate the factoriz…
▽ More
The chemistry community has long sought the exact relationship between the conventional and the unitary coupled cluster ansatz for a single-reference system, especially given the interest in performing quantum chemistry on quantum computers. In this work, we show how one can use the operator manipulations given by the exponential disentangling identity and the Hadamard lemma to relate the factorized form of the unitary coupled-cluster approximation to a factorized form of the conventional coupled cluster approximation (the factorized form is required, because some amplitudes are operator-valued and do not commute with other terms). By employing the Trotter product formula, one can then relate the factorized form to the standard form of the unitary coupled cluster ansatz. The operator dependence of the factorized form of the coupled cluster approximation can also be removed at the expense of requiring even more higher-rank operators, finally yielding the conventional coupled cluster. The algebraic manipulations of this approach are daunting to carry out by hand, but can be automated on a computer for small enough systems.
△ Less
Submitted 27 January, 2022;
originally announced January 2022.
-
Cartesian operator factorization method for Hydrogen
Authors:
Xinliang Lyu,
Christina Daniel,
James K. Freericks
Abstract:
We generalize Schroedinger's factorization method for Hydrogen from the conventional separation into angular and radial coordinates to a Cartesian-based factorization. Unique to this approach, is the fact that the Hamiltonian is represented as a sum over factorizations in terms of coupled operators that depend on the coordinates and momenta in each Cartesian direction. We determine the eigenstates…
▽ More
We generalize Schroedinger's factorization method for Hydrogen from the conventional separation into angular and radial coordinates to a Cartesian-based factorization. Unique to this approach, is the fact that the Hamiltonian is represented as a sum over factorizations in terms of coupled operators that depend on the coordinates and momenta in each Cartesian direction. We determine the eigenstates and energies, the wavefunctions in both coordinate and momentum space, and we also illustrate how this technique can be employed to develop the conventional confluent hypergeometric equation approach. The methodology developed here could potentially be employed for other Hamiltonians that can be represented as the sum over coupled Schroedinger factorizations.
△ Less
Submitted 5 January, 2022;
originally announced January 2022.
-
Determining ground-state phase diagrams on quantum computers via a generalized application of adiabatic state preparation
Authors:
Akhil Francis,
Ephrata Zelleke,
Ziyue Zhang,
Alexander F. Kemper,
J. K. Freericks
Abstract:
Quantum phase transitions materialize as level crossings in the ground-state energy when the parameters of the Hamiltonian are varied. The resulting ground-state phase diagrams are straightforward to determine by exact diagonalization on classical computers, but are challenging on quantum computers because of the accuracy needed and the near degeneracy of competing states close to the level crossi…
▽ More
Quantum phase transitions materialize as level crossings in the ground-state energy when the parameters of the Hamiltonian are varied. The resulting ground-state phase diagrams are straightforward to determine by exact diagonalization on classical computers, but are challenging on quantum computers because of the accuracy needed and the near degeneracy of competing states close to the level crossings. In this work, we use a local adiabatic ramp for state preparation to allow us to directly compute ground-state phase diagrams on a quantum computer via time evolution. This methodology is illustrated by examining the ground states of the XY model with a magnetic field in the z-direction in one dimension. We are able to calculate an accurate phase diagram on both two and three site systems using IBM quantum machines.
△ Less
Submitted 8 December, 2021;
originally announced December 2021.
-
A physicist's guide to the solution of Kummer's equation and confluent hypergeometric functions
Authors:
W. N. Mathews Jr.,
M. A. Esrick,
Z. Y. Teoh,
J. K. Freericks
Abstract:
The confluent hypergeometric equation, also known as Kummer's equation, is one of the most important differential equations in physics, chemistry, and engineering. Its two power series solutions are the Kummer function, M(a,b,z), often referred to as the confluent hypergeometric function of the first kind, and z^{1-b}M(1+a-b,2-b,z), where a and b are parameters that appear in the differential equa…
▽ More
The confluent hypergeometric equation, also known as Kummer's equation, is one of the most important differential equations in physics, chemistry, and engineering. Its two power series solutions are the Kummer function, M(a,b,z), often referred to as the confluent hypergeometric function of the first kind, and z^{1-b}M(1+a-b,2-b,z), where a and b are parameters that appear in the differential equation. A third function, the Tricomi function, U(a,b,z), sometimes referred to as the confluent hypergeometric function of the second kind, is also a solution of the confluent hypergeometric equation that is routinely used. All three of these functions must be considered in a search for two linearly independent solutions of the confluent hypergeometric equation. There are situations, when a, b, and a - b are integers, where one of these functions is not defined, or two of the functions are not linearly independent, or one of the linearly independent solutions of the differential equation is different from these three functions. Many of these special cases correspond precisely to cases needed to solve physics problems. This leads to significant confusion about how to work with confluent hypergeometric equations, in spite of authoritative references such as the NIST Digital Library of Mathematical Functions. Here, we carefully describe all of the different cases one has to consider and what the explicit formulas are for the two linearly independent solutions of the confluent hypergeometric equation. Our results are summarized in Table I in Section 3. As an example, we use these solutions to study the bound states of the hydrogenic atom, going beyond the standard treatment in textbooks. We also briefly consider the cutoff Coulomb potential. We hope that this guide will aid physics instruction that involves the confluent hypergeometric differential equation.
△ Less
Submitted 12 October, 2022; v1 submitted 8 November, 2021;
originally announced November 2021.
-
Decomposition of high-rank factorized unitary coupled-cluster operators using ancilla and multi-qubit controlled low-rank counterparts
Authors:
Luogen Xu,
Joseph T. Lee,
J. K. Freericks
Abstract:
The factorized form of the unitary coupled-cluster approximation is one of the most promising methodologies to prepare trial states for strongly correlated systems within the variational quantum eigensolver framework. The factorized form of the UCC ansatz can be systematically applied to a reference state to generate the desired entanglement. The difficulty associated with such an approach is the…
▽ More
The factorized form of the unitary coupled-cluster approximation is one of the most promising methodologies to prepare trial states for strongly correlated systems within the variational quantum eigensolver framework. The factorized form of the UCC ansatz can be systematically applied to a reference state to generate the desired entanglement. The difficulty associated with such an approach is the requirement of simultaneously entangling a growing number of qubits, which quickly exceeds the hardware limitations of today's quantum machines. In particular, while circuits for singles and double excitations can be performed on current hardware, higher-rank excitations require too many gate operations. In this work, we propose a set of new schemes that trade off using extra qubits for a reduced gate depth to decompose high-rank UCC excitation operators into significantly lower depth circuits. These results will remain useful even when fault-tolerant machines are available to reduce the overall state-preparation circuit depth.
△ Less
Submitted 3 November, 2021;
originally announced November 2021.
-
Low-Depth Unitary Coupled Cluster Theory for Quantum Computation
Authors:
Jia Chen,
Hai-** Cheng,
James K. Freericks
Abstract:
The unitary coupled cluster (UCC) approximation is one of the more promising wave-function ansätze for electronic structure calculations on quantum computers via the variational quantum eigensolver algorithm. However, for large systems with many orbitals, the required number of UCC factors still leads to very deep quantum circuits, which can be challenging to implement. Based on the observation th…
▽ More
The unitary coupled cluster (UCC) approximation is one of the more promising wave-function ansätze for electronic structure calculations on quantum computers via the variational quantum eigensolver algorithm. However, for large systems with many orbitals, the required number of UCC factors still leads to very deep quantum circuits, which can be challenging to implement. Based on the observation that most UCC amplitudes are small for weakly correlated molecules, we devise an algorithm that employs a Taylor expansion in the small amplitudes, trading off circuit depth for extra measurements. Strong correlations can be taken into account by performing the expansion about a small set of UCC factors, which are treated exactly. Near equilibrium, the Taylor series expansion often works well without the need to include any exact factors; as the molecule is stretched and correlations increase, we find only a small number of factors need to be treated exactly.
△ Less
Submitted 28 September, 2021;
originally announced September 2021.
-
Flexibility of the factorized form of the unitary coupled cluster ansatz
Authors:
Jia Chen,
Hai-** Cheng,
J. K. Freericks
Abstract:
The factorized form of the unitary coupled cluster ansatz is a popular state preparation ansatz for electronic structure calculations of molecules on quantum computers. It often is viewed as an approximation (based on the Trotter product formula) for the conventional unitary coupled cluster operator. In this work, we show that the factorized form is quite flexible, allowing one to range from conve…
▽ More
The factorized form of the unitary coupled cluster ansatz is a popular state preparation ansatz for electronic structure calculations of molecules on quantum computers. It often is viewed as an approximation (based on the Trotter product formula) for the conventional unitary coupled cluster operator. In this work, we show that the factorized form is quite flexible, allowing one to range from conventional configuration interaction, to conventional unitary coupled cluster, to efficient approximations that lie in between these two. The variational minimization of the energy often allows simpler factorized unitary coupled cluster approximations to achieve high accuracy, even if they do not accurately approximate the Trotter product formula. This is similar to how quantum approximate optimization algorithms can achieve high accuracy with a small number of levels.
△ Less
Submitted 27 September, 2021;
originally announced September 2021.
-
What do the two times in two-time correlation functions mean for interpreting tr-ARPES?
Authors:
J. K. Freericks,
Alexander F. Kemper
Abstract:
Time-resolved angle-resolved photoemission spectroscopy is one of the most powerful pump-probe measurements of materials driven far from equilibrium. Unlike the linear-response regime, where the frequency-dependent response function is independent of time, in a far-from-equilibrium experiment, the response function depends on two times in the time domain. In this work, we describe how one can use…
▽ More
Time-resolved angle-resolved photoemission spectroscopy is one of the most powerful pump-probe measurements of materials driven far from equilibrium. Unlike the linear-response regime, where the frequency-dependent response function is independent of time, in a far-from-equilibrium experiment, the response function depends on two times in the time domain. In this work, we describe how one can use time-dependent frequency response functions and how they involve contributions from times that are near to each other. This implies that they should not be thought of as a frequency-dependent response at a single definite time. Instead, the Fourier uncertainty relations show that they involve contributions from ranges of times and must be interpreted in this light. We use this insight to help understand what time-resolved photoemission measurements actually measure.
△ Less
Submitted 27 September, 2021;
originally announced September 2021.
-
Real-time evolution of static electron-phonon models in time-dependent electric fields
Authors:
Manuel Weber,
James K. Freericks
Abstract:
We present an exact Monte Carlo method to simulate the nonequilibrium dynamics of electron-phonon models in the adiabatic limit of zero phonon frequency. The classical nature of the phonons allows us to sample the equilibrium phonon distribution and efficiently evolve the electronic subsystem in a time-dependent electromagnetic field for each phonon configuration. We demonstrate that our approach…
▽ More
We present an exact Monte Carlo method to simulate the nonequilibrium dynamics of electron-phonon models in the adiabatic limit of zero phonon frequency. The classical nature of the phonons allows us to sample the equilibrium phonon distribution and efficiently evolve the electronic subsystem in a time-dependent electromagnetic field for each phonon configuration. We demonstrate that our approach is particularly useful for charge-density-wave systems experiencing pulsed electric fields, as they appear in pump-probe experiments. For the half-filled Holstein model in one and two dimensions, we calculate the out-of-equilibrium response of the current and the energy after a pulse is applied as well as the photoemission spectrum before and after the pump. Finite-size effects are under control for chains of $162$ sites (in one dimension) or $16\times 16$ square lattices (in two dimensions).
△ Less
Submitted 11 August, 2021;
originally announced August 2021.
-
Nonequilibrium spectral moment sum rules of the Holstein-Hubbard model
Authors:
Khadijeh Najafi,
J. Alexander Jacoby,
R. D. Nesselrodt,
J. K. Freericks
Abstract:
We derive a general procedure for evaluating the ${\rm n}$th derivative of a time-dependent operator in the Heisenberg representation and employ this approach to calculate the zeroth to third spectral moment sum rules of the retarded electronic Green's function and self-energy for a system described by the Holstein-Hubbard model allowing for arbitrary spatial and time variation of all parameters (…
▽ More
We derive a general procedure for evaluating the ${\rm n}$th derivative of a time-dependent operator in the Heisenberg representation and employ this approach to calculate the zeroth to third spectral moment sum rules of the retarded electronic Green's function and self-energy for a system described by the Holstein-Hubbard model allowing for arbitrary spatial and time variation of all parameters (including spatially homogeneous electric fields and parameter quenches). For a translationally invariant (but time-dependent) Hamiltonian, we also provide sum rules in momentum space. The sum rules can be applied to various different phenomena like time-resolved angle-resolved photoemission spectroscopy and benchmarking the accuracy of numerical many-body calculations. This work also corrects some errors found in earlier work on simpler models.
△ Less
Submitted 7 August, 2021;
originally announced August 2021.
-
Algebraic Compression of Quantum Circuits for Hamiltonian Evolution
Authors:
Efekan Kökcü,
Daan Camps,
Lindsay Bassman,
James K. Freericks,
Wibe A. de Jong,
Roel Van Beeumen,
Alexander F. Kemper
Abstract:
Unitary evolution under a time dependent Hamiltonian is a key component of simulation on quantum hardware. Synthesizing the corresponding quantum circuit is typically done by breaking the evolution into small time steps, also known as Trotterization, which leads to circuits whose depth scales with the number of steps. When the circuit elements are limited to a subset of SU(4) -- or equivalently, w…
▽ More
Unitary evolution under a time dependent Hamiltonian is a key component of simulation on quantum hardware. Synthesizing the corresponding quantum circuit is typically done by breaking the evolution into small time steps, also known as Trotterization, which leads to circuits whose depth scales with the number of steps. When the circuit elements are limited to a subset of SU(4) -- or equivalently, when the Hamiltonian may be mapped onto free fermionic models -- several identities exist that combine and simplify the circuit. Based on this, we present an algorithm that compresses the Trotter steps into a single block of quantum gates. This results in a fixed depth time evolution for certain classes of Hamiltonians. We explicitly show how this algorithm works for several spin models, and demonstrate its use for adiabatic state preparation of the transverse field Ising model.
△ Less
Submitted 20 August, 2021; v1 submitted 6 August, 2021;
originally announced August 2021.
-
Long-Time Error-Mitigating Simulation of Open Quantum Systems on Near Term Quantum Computers
Authors:
Brian Rost,
Lorenzo Del Re,
Nathan Earnest,
Alexander F. Kemper,
Barbara Jones,
James K. Freericks
Abstract:
We study an open quantum system simulation on quantum hardware, which demonstrates robustness to hardware errors even with deep circuits containing up to two thousand entangling gates. We simulate two systems of electrons coupled to an infinite thermal bath: 1) a system of dissipative free electrons in a driving electric field; and 2) the thermalization of two interacting electrons in a single orb…
▽ More
We study an open quantum system simulation on quantum hardware, which demonstrates robustness to hardware errors even with deep circuits containing up to two thousand entangling gates. We simulate two systems of electrons coupled to an infinite thermal bath: 1) a system of dissipative free electrons in a driving electric field; and 2) the thermalization of two interacting electrons in a single orbital in a magnetic field -- the Hubbard atom. These problems are solved using IBM quantum computers, showing no signs of decreasing fidelity at long times. Our results demonstrate that algorithms for simulating open quantum systems are able to far outperform similarly complex non-dissipative algorithms on noisy hardware. Our two examples show promise that the driven-dissipative quantum many-body problem can eventually be solved on quantum computers.
△ Less
Submitted 5 June, 2024; v1 submitted 2 August, 2021;
originally announced August 2021.
-
Electronic Mechanism that Quenches Field-Driven Heating as Illustrated with the Static Holstein Model
Authors:
Manuel Weber,
James K. Freericks
Abstract:
Time-dependent driving of quantum systems has emerged as a powerful tool to engineer exotic phases far from thermal equilibrium, but in the presence of many-body interactions it also leads to runaway heating, so that generic systems are believed to heat up until they reach a featureless infinite-temperature state. Understanding the mechanisms by which such a heat death can be slowed down or even a…
▽ More
Time-dependent driving of quantum systems has emerged as a powerful tool to engineer exotic phases far from thermal equilibrium, but in the presence of many-body interactions it also leads to runaway heating, so that generic systems are believed to heat up until they reach a featureless infinite-temperature state. Understanding the mechanisms by which such a heat death can be slowed down or even avoided is a major goal -- one such mechanism is to drive toward an even distribution of electrons in momentum space. Here we show how such a mechanism avoids runaway heating for an interacting charge-density-wave chain with a macroscopic number of conserved quantities when driven by a strong dc electric field; minibands with nontrivial distribution functions develop as the current is prematurely driven to zero. Moreover, when approaching a zero-temperature resonance, the field strength can tune between positive, negative, or close-to-infinite effective temperatures for each miniband. Our results suggest that nontrivial metastable distribution functions should be realized in the prethermal regime of quantum systems coupled to slow bosonic modes.
△ Less
Submitted 30 June, 2023; v1 submitted 8 July, 2021;
originally announced July 2021.
-
Making squeezed-coherent states concrete by determining their wavefunction
Authors:
Eduardo Munguia-Gonzalez,
Sheldon Rego,
J. K. Freericks
Abstract:
With the successes of the Laser Interferometer Gravitational-wave Observatory, we anticipate increased interest in working with squeezed states in the undergraduate and graduate quantum-mechanics classroom. Because squeezed-coherent states are minimum uncertainty states, their wavefunctions in position and momentum space must be Gaussians. But this result is rarely discussed in treatments of squee…
▽ More
With the successes of the Laser Interferometer Gravitational-wave Observatory, we anticipate increased interest in working with squeezed states in the undergraduate and graduate quantum-mechanics classroom. Because squeezed-coherent states are minimum uncertainty states, their wavefunctions in position and momentum space must be Gaussians. But this result is rarely discussed in treatments of squeezed states in quantum textbooks or quantum optics textbooks. In this work, we show three different ways to construct the wavefunction for squeezed-coherent states: (i) a differential equation-based approach; (ii) an approach that uses an expansion in terms of the simple-harmonic oscillator wavefunctions; and (iii) a fully operator-based approach. We do this to illustrate that the concept of the wavefunction can be introduced no matter what methodology an instructor wishes to use. We hope that working with the wavefunction will help demystify the concept of a squeezed-coherent state.
△ Less
Submitted 22 April, 2021;
originally announced April 2021.
-
Fixed Depth Hamiltonian Simulation via Cartan Decomposition
Authors:
Efekan Kökcü,
Thomas Steckmann,
Yan Wang,
J. K. Freericks,
Eugene F. Dumitrescu,
Alexander F. Kemper
Abstract:
Simulating quantum dynamics on classical computers is challenging for large systems due to the significant memory requirements. Simulation on quantum computers is a promising alternative, but fully optimizing quantum circuits to minimize limited quantum resources remains an open problem. We tackle this problem presenting a constructive algorithm, based on Cartan decomposition of the Lie algebra ge…
▽ More
Simulating quantum dynamics on classical computers is challenging for large systems due to the significant memory requirements. Simulation on quantum computers is a promising alternative, but fully optimizing quantum circuits to minimize limited quantum resources remains an open problem. We tackle this problem presenting a constructive algorithm, based on Cartan decomposition of the Lie algebra generated by the Hamiltonian, that generates quantum circuits with time-independent depth. We highlight our algorithm for special classes of models, including Anderson localization in one dimensional transverse field XY model, where a O(n^2)-gate circuits naturally emerge. Compared to product formulas with significantly larger gate counts, our algorithm drastically improves simulation precision. In addition to providing exact circuits for a broad set of spin and fermionic models, our algorithm provides broad analytic and numerical insight into optimal Hamiltonian simulations.
△ Less
Submitted 29 June, 2022; v1 submitted 1 April, 2021;
originally announced April 2021.
-
Exact solution of two simple non-equilibrium electron-phonon and electron-electron coupled systems: the atomic limit of the Holstein-Hubbard model and the generalized Hatsugai-Komoto model
Authors:
R. D. Nesselrodt,
J. K. Freericks
Abstract:
One of the challenges in many-body physics is determining the effects of phonons on strongly correlated electrons. The difficulty arises from strong correlations at differing energy scales -- for band metals, Migdal-Eliashberg theory accurately determines electron-phonon coupling effects due to the absence of vertex corrections -- but strongly correlated electrons require a more complex descriptio…
▽ More
One of the challenges in many-body physics is determining the effects of phonons on strongly correlated electrons. The difficulty arises from strong correlations at differing energy scales -- for band metals, Migdal-Eliashberg theory accurately determines electron-phonon coupling effects due to the absence of vertex corrections -- but strongly correlated electrons require a more complex description and the standard Migdal-Eliashberg approach does not necessarily apply. In this work, we solve for the atomic limit Green's function of the Holstein-Hubbard model with both time-dependent electron-electron and electron-phonon couplings. We then examine the photoemission spectra (PES) of this model in and out of equilibrium. Next we use similar methods to exactly solve an extended version of the Hatsugai-Komoto model, and examine its behavior in and out of equilibrium. These calculations lead us to propose using the first moment of the photoemission spectra to signal non-equilibrium changes in electron-electron and electron-phonon couplings.
△ Less
Submitted 20 September, 2021; v1 submitted 26 March, 2021;
originally announced March 2021.
-
Native multiqubit Toffoli gates on ion trap quantum computers
Authors:
Nilesh Goel,
J. K. Freericks
Abstract:
We examine the detailed scenario for implementing n-control-qubit Toffoli gates and select gates on ion-trap quantum computers, especially those that shuttle ions into interaction zones. We determine expected performance of these gates with realistic parameters for an ion-trap quantum computer and taking into account the time variation of the exchange integrals. This allows us to estimate the erro…
▽ More
We examine the detailed scenario for implementing n-control-qubit Toffoli gates and select gates on ion-trap quantum computers, especially those that shuttle ions into interaction zones. We determine expected performance of these gates with realistic parameters for an ion-trap quantum computer and taking into account the time variation of the exchange integrals. This allows us to estimate the errors due to spin-phonon entanglement as well. While there are challenges with implementing these gates, because their performance always has some degree of error, they should be feasible on current hardware, but they may be too slow to be used efficiently in quantum codes on noisy intermediate scale quantum computers.
△ Less
Submitted 28 February, 2021;
originally announced March 2021.
-
Robust measurement of wave function topology on NISQ quantum computers
Authors:
Xiao Xiao,
J. K. Freericks,
A. F. Kemper
Abstract:
Topological quantum phases of quantum materials are defined through their topological invariants. These topological invariants are quantities that characterize the global geometrical properties of the quantum wave functions and thus are immune to local noise. Here, we present a strategy to measure topological invariants on quantum computers. We show that our strategy can be easily integrated with…
▽ More
Topological quantum phases of quantum materials are defined through their topological invariants. These topological invariants are quantities that characterize the global geometrical properties of the quantum wave functions and thus are immune to local noise. Here, we present a strategy to measure topological invariants on quantum computers. We show that our strategy can be easily integrated with the variational quantum eigensolver (VQE) so that the topological properties of generic quantum many-body states can be characterized on current quantum hardware. We demonstrate the robust nature of the method by measuring topological invariants for both non-interacting and interacting models, and map out interacting quantum phase diagrams on quantum simulators and IBM quantum hardware.
△ Less
Submitted 24 April, 2023; v1 submitted 18 January, 2021;
originally announced January 2021.
-
A pedagogical derivation of dynamical susceptibilities
Authors:
R. D. Nesselrodt,
J. K. Freericks
Abstract:
Dynamical two-particle susceptibilites are important for a wide range of different experiments in condensed-matter physics and beyond. Nevertheless, most textbooks avoid describing how to derive such response functions, perhaps because they are viewed as too complex. In the literature, most derivations work with generalized susceptibilities, which are more general, but require an even higher layer…
▽ More
Dynamical two-particle susceptibilites are important for a wide range of different experiments in condensed-matter physics and beyond. Nevertheless, most textbooks avoid describing how to derive such response functions, perhaps because they are viewed as too complex. In the literature, most derivations work with generalized susceptibilities, which are more general, but require an even higher layer of complexity. In this work, we show a more direct derivation in the context of model Hamiltonians which can be mapped directly onto an impurity model. We also present an alternative derivation for the irreducible vertex in the context of the Falicov-Kimball model.
△ Less
Submitted 12 April, 2021; v1 submitted 13 January, 2021;
originally announced January 2021.
-
Bridging the Gap Between the Transient and the Steady State of a Nonequilibrium Quantum System
Authors:
Herbert F. Fotso,
Eric Dohner,
Alexander Kemper,
James K. Freericks
Abstract:
Many-body quantum systems in nonequilibrium remain one of the frontiers of many-body physics. While there has been significant advances in describing the short-time evolution of these systems using a variety of different numerical algorithms, it has been quite difficult to evolve a system from an equilibrium state prior to the application of a driving field, to the long-time steady (or periodicall…
▽ More
Many-body quantum systems in nonequilibrium remain one of the frontiers of many-body physics. While there has been significant advances in describing the short-time evolution of these systems using a variety of different numerical algorithms, it has been quite difficult to evolve a system from an equilibrium state prior to the application of a driving field, to the long-time steady (or periodically oscillating) state. These dynamics are complex: the retarded quantities tend to approach their long-time limit much faster than the lesser (or greater) quantities. Recent work on strongly correlated electrons in DC electric fields illustrated that the system may evolve through successive quasi-thermal states obeying an effective fluctuation-dissipation theorem in time. We demonstrate an extrapolation scheme that uses the short-time transient calculation to obtain the retarded quantities and to extract how the lesser/greater quantities vary with time and then extend the numerical solutions all the way to the steady state, with minimal additional computational cost. Our approach focuses on extrapolating the electronic self-energy and then employing that to determine the Green's function and various experimentally relevant expectation values.
△ Less
Submitted 4 January, 2021;
originally announced January 2021.
-
Sparse-Hamiltonian approach to the time evolution of molecules on quantum computers
Authors:
Christina Daniel,
Diksha Dhawan,
Dominika Zgid,
James K. Freericks
Abstract:
Quantum chemistry has been viewed as one of the potential early applications of quantum computing. Two techniques have been proposed for electronic structure calculations: (i) the variational quantum eigensolver and (ii) the phase-estimation algorithm. In both cases, the complexity of the problem increases for basis sets where either the Hamiltonian is not sparse, or it is sparse, but many orbital…
▽ More
Quantum chemistry has been viewed as one of the potential early applications of quantum computing. Two techniques have been proposed for electronic structure calculations: (i) the variational quantum eigensolver and (ii) the phase-estimation algorithm. In both cases, the complexity of the problem increases for basis sets where either the Hamiltonian is not sparse, or it is sparse, but many orbitals are required to accurately describe the molecule of interest. In this work, we explore the possibility of map** the molecular problem onto a sparse Hubbard-like Hamiltonian, which allows a Green's-function-based approach to electronic structure via a hybrid quantum-classical algorithm. We illustrate the time-evolution aspect of this methodology with a simple four-site hydrogen ring.
△ Less
Submitted 26 September, 2020;
originally announced September 2020.
-
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.
-
Schrodinger's original quantum-mechanical solution for hydrogen
Authors:
Anna Galler,
Jeremy Canfield,
James K. Freericks
Abstract:
In 1926, Erwin Schrodinger wrote a series of papers that invented wave mechanics and set the foundation for much of the single-particle quantum mechanics that we teach today. In his first paper, he solved the Schrodinger equation using the Laplace method, which is a technique that is quite powerful, but rarely taught. This is unfortunate, because it opens the door to examining quantum mechanics fr…
▽ More
In 1926, Erwin Schrodinger wrote a series of papers that invented wave mechanics and set the foundation for much of the single-particle quantum mechanics that we teach today. In his first paper, he solved the Schrodinger equation using the Laplace method, which is a technique that is quite powerful, but rarely taught. This is unfortunate, because it opens the door to examining quantum mechanics from a complex-analysis perspective. Gaining this experience with complex analysis is a useful notion to consider when teaching quantum mechanics, as these techniques can be widely used outside of quantum mechanics, unlike the standard Frobenius summation method, which is normally taught, but rarely used elsewhere. The Laplace method strategy is subtle and no one has carefully gone through the arguments that Schrodinger did in this first paper, instead it is often just stated that the solution was adopted from Schlesinger's famous differential equation textbook. In this work, we show how the Laplace method can be used to solve for the quantum-mechanical energy eigenfunctions of the hydrogen atom, following Schrodinger's original solution, with all the necessary details, and illustrate how it can be taught in advanced instruction; it does require familiarity with intermediate-level complex analysis, which we also briefly review.
△ Less
Submitted 24 July, 2020;
originally announced July 2020.
-
Algebraic derivation of Kramers-Pasternack relations based on the Schrodinger factorization method
Authors:
Tomasz Szymanski,
J. K. Freericks
Abstract:
The Kramers-Pasternack relations are used to compute the moments of r (both positive and negative) for all radial energy eigenfunctions of hydrogenic atoms. They consist of two algebraic recurrence relations, one for positive powers and one for negative. Most derivations employ the Feynman-Hellman theorem or a brute-force integration to determine the second inverse moment, which is needed to compl…
▽ More
The Kramers-Pasternack relations are used to compute the moments of r (both positive and negative) for all radial energy eigenfunctions of hydrogenic atoms. They consist of two algebraic recurrence relations, one for positive powers and one for negative. Most derivations employ the Feynman-Hellman theorem or a brute-force integration to determine the second inverse moment, which is needed to complete the recurrence relations for negative moments. In this work, we show both how to derive the recurrence relations algebraically and how to determine the second inverse moment algebraically, which removes the pedagogical confusion associated with differentiating the Hamiltonian with respect to the angular momentum quantum number l in order to find the inverse second moment.
△ Less
Submitted 21 July, 2020;
originally announced July 2020.
-
Converting translation operators into plane polar and spherical coordinates and their use in determining quantum-mechanical wavefunctions in a representation-independent fashion
Authors:
Michael Rushka,
Mark Esrick,
Wesley N. Mathews Jr.,
J. K. Freericks
Abstract:
Quantum mechanics is often developed in the position representation, but this is not necessary, and one can perform calculations in a representation-independent fashion, even for wavefunctions. In this work, we illustrate how one can determine wavefunctions, aside from normalization, using only operators and how those operators act on state vectors. To do this in plane polar and spherical coordina…
▽ More
Quantum mechanics is often developed in the position representation, but this is not necessary, and one can perform calculations in a representation-independent fashion, even for wavefunctions. In this work, we illustrate how one can determine wavefunctions, aside from normalization, using only operators and how those operators act on state vectors. To do this in plane polar and spherical coordinates requires one to convert the translation operator into those coordinates. As examples of this approach, we illustrate the solution of the Coulomb problem in two and three dimensions without needing to express any operators in position space.
△ Less
Submitted 6 July, 2020;
originally announced July 2020.
-
Determining quantum phase diagrams of topological Kitaev-inspired models on NISQ quantum hardware
Authors:
Xiao Xiao,
J. K. Freericks,
A. F. Kemper
Abstract:
Topological protection is employed in fault-tolerant error correction and in develo** quantum algorithms with topological qubits. But, topological protection intrinsic to models being simulated, also robustly protects calculations, even on NISQ hardware. We leverage it by simulating Kitaev-inspired models on IBM quantum computers and accurately determining their phase diagrams. This requires con…
▽ More
Topological protection is employed in fault-tolerant error correction and in develo** quantum algorithms with topological qubits. But, topological protection intrinsic to models being simulated, also robustly protects calculations, even on NISQ hardware. We leverage it by simulating Kitaev-inspired models on IBM quantum computers and accurately determining their phase diagrams. This requires constructing conventional quantum circuits for Majorana braiding to prepare the ground states of Kitaev-inspired models. The entanglement entropy is then measured to calculate the quantum phase boundaries. We show how maintaining particle-hole symmetry when sampling through the Brillouin zone is critical to obtaining high accuracy. This work illustrates how topological protection intrinsic to a quantum model can be employed to perform robust calculations on NISQ hardware, when one measures the appropriate protected quantum properties. It opens the door for further simulation of topological quantum models on quantum hardware available today.
△ Less
Submitted 24 September, 2021; v1 submitted 9 June, 2020;
originally announced June 2020.
-
Characterizing the Nonequilibrium Dynamics of Field-Driven Correlated Quantum Systems
Authors:
Herbert F. Fotso,
James K. Freericks
Abstract:
Recent experimental advances in ultrafast phenomena have triggered renewed interest in the dynamics of correlated quantum systems away from equilibrium. We review nonequilibrium dynamical mean-field theory studies of both the transient and the steady states of a DC field-driven correlated quantum system. In particular, we focus on the nonequilibrium behavior and how it relates to the fluctuation-d…
▽ More
Recent experimental advances in ultrafast phenomena have triggered renewed interest in the dynamics of correlated quantum systems away from equilibrium. We review nonequilibrium dynamical mean-field theory studies of both the transient and the steady states of a DC field-driven correlated quantum system. In particular, we focus on the nonequilibrium behavior and how it relates to the fluctuation-dissipation theorem. The fluctuation-dissipation theorem emerges as an indicator for how the system thermalizes and for how it reaches a steady state. When the system thermalizes in an infinite temperature steady state it can pass through a succession of quasi-thermal states that approximately obey the fluctuation-dissipation theorem. We also discuss the Wigner distribution and what its evolution tells us about the nonequilibrium many-body problem.
△ Less
Submitted 22 May, 2020;
originally announced May 2020.
-
Test of the unitary coupled-cluster variational quantum eigensolver for a simple strongly correlated condensed-matter system
Authors:
Luogen Xu,
Joseph T. Lee,
J. K. Freericks
Abstract:
The variational quantum eigensolver has been proposed as a low-depth quantum circuit that can be employed to examine strongly correlated systems on today's noisy intermediate-scale quantum computers. We examine details associated with the factorized form of the unitary coupled-cluster variant of this algorithm. We apply it to a simple strongly correlated condensed-matter system with nontrivial beh…
▽ More
The variational quantum eigensolver has been proposed as a low-depth quantum circuit that can be employed to examine strongly correlated systems on today's noisy intermediate-scale quantum computers. We examine details associated with the factorized form of the unitary coupled-cluster variant of this algorithm. We apply it to a simple strongly correlated condensed-matter system with nontrivial behavior---the four-site Hubbard model at half filling. This work show some of the subtle issues one needs to take into account when applying this algorithm in practice, especially to condensed-matter systems.
△ Less
Submitted 19 January, 2020;
originally announced January 2020.
-
A completely algebraic solution of the simple harmonic oscillator
Authors:
M. Rushka,
J. K. Freericks
Abstract:
We present a full algebraic derivation of the wavefunctions of the simple harmonic oscillator in coordinate and momentum space. This derivation illustrates the abstract approach to the simple harmonic oscillator by completing the derivation of the representation-dependent wavefunctions from the representation-independent energy eigenfunctions. It is simple to incorporate into the undergraduate and…
▽ More
We present a full algebraic derivation of the wavefunctions of the simple harmonic oscillator in coordinate and momentum space. This derivation illustrates the abstract approach to the simple harmonic oscillator by completing the derivation of the representation-dependent wavefunctions from the representation-independent energy eigenfunctions. It is simple to incorporate into the undergraduate and graduate curricula. This new derivation begins with the standard approach that was first presented by Dirac in 1947 (and is modified slightly here in the spirit of the Schroedinger factorization method), and then supplements it by employing the translation (or boost) operator to determine the wavefunctions algebraically, without any derivatives. In addition, we provide a summary of the history of this approach, which seems to have been neglected by most historians of quantum mechanics, until now.
△ Less
Submitted 17 December, 2019;
originally announced December 2019.
-
Driven-dissipative quantum mechanics on a lattice: Simulating a fermionic reservoir on a quantum computer
Authors:
Lorenzo Del Re,
Brian Rost,
A. F. Kemper,
J. K. Freericks
Abstract:
The driven-dissipative many-body problem remains one of the most challenging unsolved problems in quantum mechanics. The advent of quantum computers may provide a unique platform for efficiently simulating such driven-dissipative systems. But there are many choices for how one can engineer the reservoir. One can simply employ ancilla qubits to act as a reservoir and then digitally simulate them vi…
▽ More
The driven-dissipative many-body problem remains one of the most challenging unsolved problems in quantum mechanics. The advent of quantum computers may provide a unique platform for efficiently simulating such driven-dissipative systems. But there are many choices for how one can engineer the reservoir. One can simply employ ancilla qubits to act as a reservoir and then digitally simulate them via algorithmic cooling. A more attractive approach, which allows one to simulate an infinite reservoir, is to integrate out the bath degrees of freedom and describe the driven-dissipative system via a master equation, that can also be simulated on a quantum computer. In this work, we consider the particular case of non-interacting electrons on a lattice driven by an electric field and coupled to a fermionic thermostat. Then, we provide two different quantum circuits: the first one reconstructs the full dynamics of the system using Trotter steps, while the second one dissipatively prepares the final non-equilibrium steady state in a single step. We run both circuits on the IBM quantum experience. For circuit (i), we achieved up to 5 Trotter steps. When partial resets become available on quantum computers, we expect that the maximum simulation time can be significantly increased. The methods developed here suggest generalizations that can be applied to simulating interacting driven-dissipative systems.
△ Less
Submitted 17 August, 2020; v1 submitted 17 December, 2019;
originally announced December 2019.
-
Quantum computation of magnon spectra
Authors:
Akhil Francis,
J. K. Freericks,
A. F. Kemper
Abstract:
We demonstrate quantum computation of two-point correlation functions for a Heisenberg spin chain. Using the IBM Q 20 quantum machines, we find that for two sites the correlation functions produce the exact results reliably. For four sites, results from the IBM Q 20 Tokyo quantum computer are noisy due to read out errors and decoherence. Nevertheless, the correlation functions retain the correct s…
▽ More
We demonstrate quantum computation of two-point correlation functions for a Heisenberg spin chain. Using the IBM Q 20 quantum machines, we find that for two sites the correlation functions produce the exact results reliably. For four sites, results from the IBM Q 20 Tokyo quantum computer are noisy due to read out errors and decoherence. Nevertheless, the correlation functions retain the correct spectral information. This is illustrated in the frequency domain by accurately extracting the magnon energies from peaks in the spectral function.
△ Less
Submitted 8 February, 2020; v1 submitted 12 September, 2019;
originally announced September 2019.
-
An introduction to many-body Green's functions in and out of equilibrium
Authors:
J. K. Freericks
Abstract:
This is an introductory chapter on how to calculate nonequilibrium Green's functions via dynamical mean-field theory for the Autumn School on Correlated Electrons: Many-Body Methods for Real Materials, 16-20 September 2019, Forschungszentrum Juelich. It is appropriate for graduate students with a solid state physics and advanced quantum mechanics background.
This is an introductory chapter on how to calculate nonequilibrium Green's functions via dynamical mean-field theory for the Autumn School on Correlated Electrons: Many-Body Methods for Real Materials, 16-20 September 2019, Forschungszentrum Juelich. It is appropriate for graduate students with a solid state physics and advanced quantum mechanics background.
△ Less
Submitted 25 July, 2019;
originally announced July 2019.
-
Comparison Between the f-Electron and Conduction-Electron Density of States in the Falicov-Kimball Model at Low Temperature
Authors:
R. D. Nesselrodt,
J. Canfield,
J. K. Freericks
Abstract:
The spinless Falicov-Kimball model is one of the simplest models of many-body physics. While the conduction-electron density of states is temperature independent in the normal state, the f-electron density of states is strongly temperature dependent---it has an orthogonality catastrophe singularity in the metallic phase and is gapped in the insulating phase. The question we address here is whether…
▽ More
The spinless Falicov-Kimball model is one of the simplest models of many-body physics. While the conduction-electron density of states is temperature independent in the normal state, the f-electron density of states is strongly temperature dependent---it has an orthogonality catastrophe singularity in the metallic phase and is gapped in the insulating phase. The question we address here is whether the spectral gap is the same for both electron species as T->0. We find strong evidence to indicate that the answer is affirmative.
△ Less
Submitted 25 July, 2019;
originally announced July 2019.
-
Proving the existence of bound states for attractive potentials in 1-d and 2-d without calculus
Authors:
J. Alexander Jacoby,
Maurice Curran,
David R. Wolf,
James K. Freericks
Abstract:
Schroedinger developed an operator method for solving quantum mechanics. While this technique is overshadowed by his more familiar differential equation approach, it has found wide application as an illustration of supersymmetric quantum mechanics. One reason for the reticence in its usage for conventional quantum instruction is that the approach for simple problems like the particle-in-a-box is m…
▽ More
Schroedinger developed an operator method for solving quantum mechanics. While this technique is overshadowed by his more familiar differential equation approach, it has found wide application as an illustration of supersymmetric quantum mechanics. One reason for the reticence in its usage for conventional quantum instruction is that the approach for simple problems like the particle-in-a-box is much more complicated than the differential equation approach, making it appear to be less useful for pedagogy. We argue that the approach is still quite attractive because it employs only algebraic methods, and thereby has a much lower level of math background needed to use it. We show how Schroedinger's operator method can be streamlined for these particle-in-a-box problems greatly reducing the complexity of the solution and making it much more accessible. As an application, we illustrate how this approach can be used to prove an important result, the existence of bound states for one- and two-dimensional attractive potentials, using only algebraic methods. The approach developed here can be employed in undergraduate classes and possibly even high school classes because it employs only algebra and requires essentially no calculus.
△ Less
Submitted 8 February, 2019;
originally announced June 2019.
-
Bang-bang shortcut to adiabaticity in the Dicke model as realized in a Penning trap experiment
Authors:
J. Cohn,
A. Safavi-Naini,
R. J. Lewis-Swan,
J. G. Bohnet,
M. Garttner,
K. A. Gilmore,
E. Jordan,
A. M. Rey,
J. J. Bollinger,
J. K. Freericks
Abstract:
We introduce a bang-bang shortcut to adiabaticity for the Dicke model, which we implement via a 2-D array of trapped ions in a Penning trap with a spin-dependent force detuned close to the center-of-mass drumhead mode. Our focus is on employing this shortcut to create highly entangled states that can be used in high-precision metrology. We highlight that the performance of the bang-bang approach i…
▽ More
We introduce a bang-bang shortcut to adiabaticity for the Dicke model, which we implement via a 2-D array of trapped ions in a Penning trap with a spin-dependent force detuned close to the center-of-mass drumhead mode. Our focus is on employing this shortcut to create highly entangled states that can be used in high-precision metrology. We highlight that the performance of the bang-bang approach is comparable to standard preparation methods, but can be applied over a much shorter time frame. We compare these theoretical ideas with experimental data which serve as a first step towards realizing this theoretical procedure for generating multi-partite entanglement.
△ Less
Submitted 8 February, 2019;
originally announced February 2019.
-
Theory for Time-Resolved Resonant Inelastic X-ray Scattering
Authors:
Yuan Chen,
Yao Wang,
Chun**g Jia,
Brian Moritz,
Andrij M. Shvaika,
James K. Freericks,
Thomas P. Devereaux
Abstract:
Time-resolved measurements of materials provide a wealth of information on quasiparticle dynamics, and have been the focus of optical studies for decades. In this paper, we develop a theory for explicitly evaluating time-resolved resonant inelastic X-ray scattering (tr-RIXS). We apply the theory to a non-interacting electronic system and reveal the particle-hole spectrum and its evolution during t…
▽ More
Time-resolved measurements of materials provide a wealth of information on quasiparticle dynamics, and have been the focus of optical studies for decades. In this paper, we develop a theory for explicitly evaluating time-resolved resonant inelastic X-ray scattering (tr-RIXS). We apply the theory to a non-interacting electronic system and reveal the particle-hole spectrum and its evolution during the pump pulse. With a high-frequency pump, the frequency and amplitude dependence analysis of the spectra agrees well with the steady-state assumptions and Floquet excitations. When the pump frequency is low, the spectrum extracts real-time dynamics of the particle-hole continuum in momentum space. These results verify the correctness of our theory and demonstrate the breadth of physical problems that tr-RIXS could shed light on.
△ Less
Submitted 14 March, 2019; v1 submitted 31 January, 2019;
originally announced January 2019.
-
Minimal Effective Gibbs Ansatz (MEGA): A simple protocol for extracting an accurate thermal representation for quantum simulation
Authors:
Jeffrey Cohn,
Khadijeh Sona Najafi,
Forest Yang,
Barbara Jones,
James K. Freericks
Abstract:
Quantum Gibbs state sampling algorithms generally suffer from either scaling exponentially with system size or requiring specific knowledge of spectral properties \textit{a priori}. Also, these algorithms require a large overhead of bath or scratch/ancilla qubits. We propose a method, termed the minimal effective Gibbs ansatz (MEGA), which uses a quantum computer to determine a minimal ensemble of…
▽ More
Quantum Gibbs state sampling algorithms generally suffer from either scaling exponentially with system size or requiring specific knowledge of spectral properties \textit{a priori}. Also, these algorithms require a large overhead of bath or scratch/ancilla qubits. We propose a method, termed the minimal effective Gibbs ansatz (MEGA), which uses a quantum computer to determine a minimal ensemble of pure states that accurately reproduce thermal averages of typical observables. This technique employs properties of correlation functions that can be split into a lesser and greater part; here, we primarily focus on single-particle Green's functions. When properly measured, these correlation functions provide a simple test to indicate how close a given pure state or ensemble of pure states are to providing accurate thermal expectation values. Further, we show that when properties such as the eigenstate thermalization hypothesis hold, this approach leads to accurate results with a sparse ensemble of pure states; sometimes only one suffices. We illustrate the ansatz using exact diagonalization simulations on small clusters for the Fermi-Hubbard and Hubbard-like models. Even if MEGA becomes as computationally complex as other Gibbs state samplers, it still gains an advantage due to its ease of implementation without any \textit{a priori} information about the Hamiltonian and in the efficient allocation of available qubits by eliminating bath qubits and using a minimal number of ancilla.
△ Less
Submitted 9 December, 2018;
originally announced December 2018.