Impact Factor 3.560 | CiteScore 3.1
More on impact ›

ORIGINAL RESEARCH article

Front. Phys., 19 March 2021 | https://doi.org/10.3389/fphy.2021.546538

A Comparison of Three Ways to Measure Time-Dependent Densities With Quantum Simulators

Jun Yang, James Brown and James Daniel Whitfield*
  • Department of Physics and Astronomy, Dartmouth College, Hanover, NH, United States

Quantum algorithms are touted as a way around some classically intractable problems such as the simulation of quantum mechanics. At the end of all quantum algorithms is a quantum measurement whereby classical data is extracted and utilized. In fact, many of the modern hybrid-classical approaches are essentially quantum measurements of states with short quantum circuit descriptions. Here, we compare and examine three methods of extracting the time-dependent one-particle probability density from a quantum simulation: direct Z-measurement, Bayesian phase estimation, and harmonic inversion. We have tested these methods in the context of the potential inversion problem of time-dependent density functional theory. Our test results suggest that direct measurement is the preferable method. We also highlight areas where the other two methods may be useful and report on tests using Rigetti's quantum virtual device. This study provides a starting point for imminent applications of quantum computing.

1. Introduction

The real time simulation of quantum systems on a classical computer is a difficult problem even for a supercomputer due to the fact that the Hilbert space grows exponentially with the system size [1]. A universal quantum computer is believed to be the solution of the difficulty, where it is known that a wide class of physical systems can be simulated efficiently on a quantum computer [16]. But running a practically meaningful quantum algorithm may require a large amount of qubits, e.g., factoring 2,048 bit RSA integers may take up to 20 millions qubits [7], which is far beyond the capacity of the current best 53-qubit quantum computer [8]. So the current quantum technology works best when paired with classical algorithms. We have been studying the application of such a hybrid algorithm in quantum chemistry. The primary example is the time-dependent density functional theory (TDDFT) [9]. To utilize quantum technology in classical algorithms, quantum measurement are necessary, here we measured the density operator on Rigetti's quantum device and then utilized the density to perform the potential inversion within the framework of TDDFT.

Density functional theory (DFT) is a powerful tool in modeling condensed matter systems [10]. In the framework of DFT, a non-interacting system with a self-consistently determined potential is constructed to replace the interacting system. The additional potential term in the non-interacting system is known as the Kohn-Sham potential. Such a system with non-interacting particles is the Kohn-Sham(K-S) system. In the K-S system, the calculation of an exchange-correlation term is required. However, the exact form of the exchange-correlation potential is not yet known. This term is usually obtained with some approximation methods [1114], machine learning methods [15, 16]. In fact, the utilization of a quantum computer can help generate an accurate exchange-correlation potential. This idea is mentioned in the article [17], where a hybrid method of generating exchange-correlation potential for classical DFT calculation is proposed.

The time dependent counterpart of DFT, time-dependent density functional theory (TDDFT) is widely used in finding the dynamics of the system when a time-dependent potential is present. Similar to DFT, TDDFT uses the time dependent K-S system where a time-dependent K-S potential is required. We call the task of constructing such a K-S potential when given the time-evolution of the on-site probability density, the K-S potential inversion problem. In article [18], a scheme of solving the K-S potential inversion problem utilizing a quantum computer was proposed. We have recently returned to this proposal with improved numerical methods for inverting the potential [19]. To obtain the K-S potential, we need to get the density of the time evolved many-particle system using a quantum computer.

In this paper, we will present three different methods of measuring the density operator on a quantum computer and compare the performance of the methods.

An outline for the remainder of the article is as follows: first, we discuss the phase estimation approach to measurement. Then we describe the circuit implementation for measuring the on-site fermionic density. Qubit descriptions for the fermionic operator are explained in the next part followed by the illustration of a two-electron test. Finally, three schemes for extracting the density are tested numerically and compared.

2. Methods

2.1. Phase Estimation

Quantum phase estimation [20, 21] plays an important role in the quantum algorithm zoo [22], it is a key sub module of many quantum algorithms [2325]. It is also an important procedure to measure the on-site density operator in our work.

We'll next describe the general picture of doing the measurement of an arbitrary operator and how quantum phase estimation plays a role in our work. To implement the measurement of an arbitrary observable, we will consider the circuit as shown in Figure 1. The circuit has two parts, the part before the dashed line is for evolving the initial state at time t under a fixed fermionic Hamiltonian of chemical interests.

FIGURE 1
www.frontiersin.org

Figure 1. The circuit for measuring the density matrix. The half before the dashed line is used for evolving the state to time t, the half after is used for doing the measurement of an observable at time t via phase estimation.

The system of the most chemical interests is the interacting electron system. The Hamiltonian of a many-body interacting system is given by

H=iN[-i22+Vext(ri)+12jN1|ri-rj|]    (1)

where Vext(ri) is the external potential energy consists of the interaction between the electrons and the external field.

The second quantized form of the above many-body Hamiltonian is given by

H=pqhpqapaq+12pqrshpqrsapaqaras    (2)

where the fermionic operators {ap,ap} satisfy aqap+apaq=δpq,apaq=-aqap and apaq=-aqap. Given the basis set {χp(r)}, the coefficients hpq, hpqrs are given by

hpq=drχp(r)(-122+Vext(r))χq(r)    (3)
hpqrs=dr1dr2χp(r1)χq(r2)χr(r2)χs(r1)|r2-r1|    (4)

The latter half is a phase estimation circuit where UO(τ)=e-iOτ where O is the observable to be measured.

For a general state |ψ〉, we can expand it in the eigenspace of the operator O. To be precise, for a general state |ψ=kck|k, where Ok and |k〉 are the eigenvalue and eigenvector of the operator O. Thus, the probability of measuring zero on the top register is given by

P(0|τ,t)=12+14[ψ(t,τ)|ψ(t)+ψ(t)|ψ(t,τ)]                  =k|ck(t)|2cos2(Okτ2)                  =12+14k|ck(t)|2(eiOkτ+e-iOkτ)    (5)

where ck(t) = 〈k|U(t)|ψ〉.

In this article, we only consider O=nj=ajaj in order to measure the local on-site density at site j. This is because the inverse potential is determined by the on-site density and its first and second order derivatives [18, 19].

The eigenvalues of nj=ajaj are 0 and 1, so the wave function after the unitary evolution U(t) is given by |ψ(t)〉 = c0(t)|ψnj = 0〉+c1(t)|ψnj = 1〉. Thus, the expectation value of the density is given by,

nj(t)=ψ(t)|ajaj|ψ(t)=|c1(t)|2    (6)

2.2. Qubit Encoding

To implement the evolution and phase estimation algorithm on a quantum computer, we need to encode the Hamiltonian into qubits. A standard way is to use Jordan-Wigner (JW) transformation, which encodes a fermionic system of M orbitals into M qubits.

ap=12(Xp+iYp)Z1Z2Zp-1    (7)
ap=12(Xp-iYp)Z1Z2Zp-1    (8)

With the above transformation, the fermionic Hamiltonian can be encoded into qubit representation. Thus the Hamiltonian can be written as H=ihi, where all the hi's are tensor product of Pauli operators.

There is not an easy way to construct arbitrary unitary operators on a quantum computer [26]. A pragmatic way to simulate the propagator U(t) = eiHt is applying the Trotter decomposition.

U(t)=e-iHt(e-ih1t/Ne-ih2t/Ne-ihnt/N)N    (9)

Each individual term in the decomposition above can be simulated efficiently on a quantum computer [27].

3. Results and Discussion

We tested our methods on two different Hamiltonians, one is the 4-orbital HeH+ model, the other is the 8-orbital HeH+. For the 4-orbital model, the basis set used to examine the HeH+ molecule is that given in [28] which results in four spin orbitals. The interatomic distance is 1.401 Bohr. The basis functions are orthogonalized and then transformed such that the one-body Coulomb matrix is diagonal. This transformation was chosen so that a corresponding scalar time-dependent Kohn-Sham potential could be calculated using for this system using the method of [19].

For the larger case, we used HeH+ at the same geometry but in the 6-31G basis set [29]. This resulted in twice the number of basis functions as the minimal example. The integrals in the 6–31 basis were computed using Pis4 [30].

The basis functions are orthogonalized and then transformed such that the one-body Coulomb matrix is diagonal. This transformation was chosen so that a corresponding time-dependent Kohn-Sham potential could be calculated using for this system using the method of [19]. In both models, the initial state at t = 0 places two electrons in the first two modes of opposite spin. This state is obtained by employing two X-gates to prepare |ψ(0)〉 = |1100〉 in the 4-orbital model and |ψ(0)〉 = |11000000〉 in the 8-orbital model.

Using Rigetti's quantum virtual machine [31], we then evolve the system under its Hamiltonian for times less than three atomic units. The propagation is implemented via the first-order Trotterization with Trotter step equal to three. To reduce the Trotter error in evolution, either a shorter Trotter step or a higher order Trotter approximation must be used [32]. This means more quantum gates are needed, making it harder to be implemented on a near term device. Additional sources of error are associated with finite sampling from the binomial distribution and the error associated with the inference steps. To make the virtual machine slightly closer to a real quantum computer, in all methods below, measurement noise was added into the system, giving 1% probability of flipping the qubit. It should be noted that the quantum noise found on the actual device was much higher, so we will not present the results from the actual quantum device.

In Figures 2A,C,D,F, we used 3,000 quantum measurement samples per time-point. For harmonic inversion, a total of 120,000 quantum measurements occur for extracting the density at each time point. This is because there were 40 equally spaced τ-points and 3,000 quantum measurements were used per fixed τ. A comparison between the measuring results, the exact solution of the original Hamiltonian and the exact solution of the Trotterized Hamiltonian are compared in Figure 2. In each subfigure, the dark green dots are the result from measurement result, the red dashed line is the solution of the Trotterized Hamiltonian, the black solid line is the solution of the original Hamiltonian.

FIGURE 2
www.frontiersin.org

Figure 2. The expectation value of a1a1 is measured via (A,D) direct Z-basis measurement, (B,E) harmonic inversion, and (C,F) Bayesian inference. The upper panel are the results of 4-orbital model, the lower panel are the results of the 8-orbital model. All of the data points are plotted against the exact Trotter solution depicted in as a continuous line. In (C,F), the first point shows a large deviation from the Trotter solution typical of the behavior of Bayesian inference whenever the exact density's value is close to one. Error bars shown in (A,C,D,F) are two standard deviations about the mean. The harmonic inversion does not have error bars because the error comes from two sources: from the sampling error at different time τ and from the reconstruction of the density using harmonic inversion.

3.1. Method 1: Z-Basis Measurement

In the first method, we rely on the fact that the Jordan-Wigner transformation of the on-site density operator has a simple form apap=(1-Zp)/2. Thus, we can directly measure the local density operator by measuring Zp without passing in the phase estimation circuit after the dotted line in Figure 1.

For an arbitrary wave function |ψ(t)〉 = c0(t)|ψnp = 0〉 + c1(t)|ψnp = 1〉, where ψnp denotes the state projected into the subspace where the p-th qubit is in state np. Given the fact that Zp(t)=|c0(t)|2-|c1(t)|2 and |c0(t)|2+|c1(t)|2=1, both amplitudes |c0(t)|2 and |c1(t)|2 can be obtained from the measurement.

By repeating the measurement at each time step in the time range 0 ≤ t ≤ 3, we obtain the expectation value of the density. The results based on 15 equally spaced time-points with 3,000 measurements at each fixed time are shown in Figures 2A,D. The exact time evolution of the density is also shown in the figure for comparison along with error bars of 2σ reflective of the N = 3, 000 sample variance of the binomial distribution.

The simplicity of this measurement approach reduces the classical runtime to the lowest of the three methods compared, and the convergence of the error bars is faster than the Bayesian measurement discussed later.

3.2. Method 2: Harmonic Inversion

Harmonic inversion is a technique of extracting the amplitudes Aj, frequencies fj, phases ϕj, and exponential decay constants αj out of a signal,

f(τ)=jAje-i(2πfjτ-ϕj)-αjτ    (10)

which is evenly sampled [33, 34]. The signal reconstructed from harmonic inversion has the same form as the probability P(0|τ) except for the decaying term which is negligible when the decoherence is not considered. By comparing the form of the reconstructed signal with the probability, we can obtain the density from the reconstructed signal.

The results of density measurement through harmonic inversion are shown in Figures 2B,E. Each point in Figures 2B,E was computed through harmonic inversion using the HarmInv package [35]. Because the local density operator apap only has eigenvalues zero and one, the measurement outcome has a simple form

P(0|τ,t)=A0(t)+A1(t)(e-i2πfτ+ei2πfτ)    (11)

where A0(t)=12(2-|c1(t)|2), A1(t)=|c1(t)|2/4, and f = 1/2π.

3.3. Method 3: Bayesian Inference

Bayesian inference can be used to estimate the density as well. As a powerful tool of making inferences, Bayesian inference has wide applications. We applied Bayesian inference to infer the unknown parameters in a quantum system which, in our case, is the on-site density. The density estimation was implemented via sequential Monte Carlo (SMC) [36]. This method requires the most communication between the classical and quantum processors since the SMC suggests each τ-point based on the previous outcomes. The Bayesian experimental design is based on the implementation found in the QInfer package [37]. Bayesian inference gives the probability distribution of a parameter over the parameter space. The final decision is made according to the posterior probability P(θ|d1, d2dN), where θ is the parameter we want to estimate, di's are the outcome of each measurement. In the present application, θ ≡ 〈nj(t)〉.

Recall the Bayesian rule, the posterior probability is updated by carrying out experiments sequentially,

P(θ|d1,d2,dN)i=1NP(di|θ)P(θ)    (12)

where P(θ) is the prior probability, P(di|θ) is the likelihood function.

The likelihood function contains the information about the parameters before conducting any experiments. Since we know nothing before the experiment, we can initialize the prior with a uniform distribution over the parameter space. For the phase estimation circuit of Figure 1, the likelihood function is given by

P(d|nj(t);τ)=12+(-1)d4ψ(t)|{UO(τ)+UO(τ)}|ψ(t)    (13)

where UO(τ)=exp(-iτajaj) and d = 0or1. Note, when d = 0 we recover Equation (5).

With this we can rewrite the likelihood function as

P(d|nj(t);τ)=δd,0+(-1)d2(cosτ-1)nj(t)    (14)

This can be compared with Equation (5) in the case that d = 0.

The results of Bayesian inference are shown in Figures 2C,F. Bayesian inference has good performance within a wide range of the time domain except at the boundary of the estimate domain e.g., when the density is one or zero. This is based on numerical evidence since the majority of the points at or near the boundary of the estimation domain needed to be discarded when cleaning the data as discussed below.

Unlike harmonic inversion, τ in the phase estimation circuit is not required to be evenly spaced. Another advantage of Bayesian inference is that we do not need to know the exact form of the function to be estimated a priori. Bayesian inference could also be applied to estimate more general parameters.

3.3.1. Comparison

To quantify the accuracy of these density extraction methods, we employ the L1 norm to measure the deviation from the Trotter solution. For discrete data points, the deviation is given by the loss function on the density at the first site: L=kN|n˜1(tk)n1(tk))|/N, where ñ1(tk) is the outcome of the measurement at time tk, n1(tk) is the solution of the Trotterized Hamiltonian.

Figure 3 shows how the loss function scales with the number of trials for each of the three approaches. The convergence rate for determining the bias of a coin would be 0.5 but here additional measurement error has been introduced into the model which prevents L = 0 situation even with an infinite number of samples. Further, in our implementation, the Bayesian and harmonic inversion techniques sometimes reported anomalously poor estimates of the density at a given time. A single fluctuation of this type along the time trace of the density entirely dominates the loss function. For the sake of comparison, we did not include the data points that are 5σ away from the exact solution in all three methods. This led to more stable results when the number of trials is small. Another benefit of filtering the data is that for the Bayesian inference, estimates close to the boundary of the domain are subject to large fluctuations giving poor estimates. So we can exclude the wrong data points by setting a 5σ window. Although the discarding procedure is ad hoc and requires knowing the exact answer, we have tested our data at various levels of cutoff finding that at any fixed cutoff harmonic inversion had the most points discarded and consistently displayed marginally faster convergence rates.

FIGURE 3
www.frontiersin.org

Figure 3. Loss function vs. number of measurements of the quantum computer (trials) in both 4-orbital model and 8-orbital model. Red diamonds, black triangles, and blue circles are drawn from harmonic inversion, Bayesian inference and Z-basis measurement respectively. (A) 2 Electron 4 orbital case. (B) 2 Electron 8 orbital case.

Figure 3A shows the scaling of loss function of the 4-orbital model. The slope of the fitting lines are −0.4961, −0.3747, and −0.4103, respectively. Points 5σ away from the exact density under the Trotter approximation are not used for calculating the loss function. This resulted in 73.87, 87.26, and 90.07% of points used in the plotted data, respectively.

Figure 3B shows the scaling of loss function of the 8-orbital model. The slope of the fitting lines are −0.4346, −0.4595, and −0.4184, respectively. Points 5σ away from the exact density under the Trotter approximation are not used for calculating the loss function. This resulted in 80.53, 84.40, and 93.20% of points used in the plotted data, respectively.

Harmonic inversion measures 40 times more than the other two methods, so the actual data and fitting line should be shifted to the right by 40 times the number of measurements showing in the figure.

Regardless of the possible improvement in convergence, it should be reminded that the harmonic inversion technique uses many quantum computer queries to estimate P(0|τ, t) at variable τ before inferring the density at a fixed time t. In comparing the three methods, all require time evolution of the system wave function to time t. In the harmonic inversion and Bayesian estimation techniques, additional gates are needed for the τ propagation under the observable for density. The difference between queries in harmonic inversion and Bayesian inference is the selection of the τ parameter in UO(τ).

While the convergence rates are all approximately the same, it is clear that the Z-basis measurement has the best performance in terms of the number of queries of the quantum computer. In the case considered here, the direct Z measurements are convenient for the Jordan-Wigner encoding. In other circumstances with different fermion-to-spin transforms, the direct measurement technique may not be as fruitful. For existing and near-term quantum devices, the constraints of low circuit depth suggests direct measurement of the Z operators as the best path forward when using a Jordan-Winger transformed qubit Hamiltonian.

The runtime of these three methods also varies. Since direct Z-measurements are the simplest from an inference point of view, the classical computation time is also the least. Bayesian inference requires many steps for the sequential Monte Carlo to converge [36]. Consequently, this method used the longest amount of classical computational time. Although harmonic inversion uses 40 times more measurement per time-point, it is interesting to note that it only took an intermediate amount of classical processing time.

4. Conclusions

We have tested three different methods of measuring the on-site density operator for a toy model inspired by TDDFT. We were able to conclude that direct Z measurements obtains the best estimates of the on-site density for a given number of quantum computer queries. This is based on the use of the Jordan-Wigner transform and simulated measurement noise. Of course, we could have considered other fermion-to-spin transforms which lead to different encodings of the aiai.

For improving our noise models, we can do no better than testing our circuits on current and future quantum devices. We tested our circuits on Rigetti's quantum device but found that the loss function depends heavily on which qubits are used as well as the permutation of qubit labels within the circuit. Time evolution under the full Hamiltonian did not return any signal even when using only one first-order Trotter step. We therefore resorted to using a truncated Hamiltonian which included the one-body Hamiltonian and only the Coulomb-like (hijji) terms of the two-body Hamiltonian. After encoding and exponentiation, this Hamiltonian results in 66 universal gates and compiled non-deterministically using the PyQuil package PyQuil to approximately 200 allowable gates on the Rigetti device. Due to decoherence, only a weak signal was present where amplitudes recovered were between three and twenty percent of the exact solution. The recovered amplitude depended mostly on qubit selection but also changed run-to-run. The frequency and sinusoidal shape of the signal was recovered more reliably. In our present study, the eigenenergies were not interesting but we suspect that problems that depend on the frequencies may be more successfully calculated on the current Rigetti device.

We plan to continue our inquiry into the TDDFT potential inversion problem using existing and forthcoming quantum technology. Tasks that avoid QMA-hard [38] state preparation problems will continue to be of interest to those looking for new applied areas of quantum computation.

Data Availability Statement

The raw data supporting the conclusions of this article will be made available by the authors, without undue reservation.

Author Contributions

JY and JW designed the model and the computational framework. JY and JB performed the calculations. JY, JB, and JW wrote the manuscript with input from all authors.

Funding

JY, JB, and JW were supported by the U.S. Department of Energy, Office of Science, Office of Advanced Scientific Computing Research, under the Quantum Computing Application Teams program (Award 1979657). JW was also supported by the NSF (Grant 1820747) and additional funding from the DOE (Award A053685). Calculations were performed using Dartmouth's Discovery Linux HPC Cluster.

Conflict of Interest

The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.

References

1. Georgescu IM, Ashhab S, Nori F. Quantum simulation. Rev Mod Phys. (2014) 86:153–85. doi: 10.1103/RevModPhys.86.153

CrossRef Full Text | Google Scholar

2. Lloyd S. Universal quantum simulators. Science. (1996) 273:1073–8. doi: 10.1126/science.273.5278.1073

CrossRef Full Text | Google Scholar

3. Gilyén A, Su Y, Low GH, Wiebe N. Quantum singular value transformation and beyond: exponential improvements for quantum matrix arithmetics. In: Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, STOC 2019. New York, NY: Association for Computing Machinery (2019). p. 193–204.

Google Scholar

4. Cao Y, Romero J, Olson JP, Degroote M, Johnson PD, Kieferová M, et al. Quantum chemistry in the age of quantum computing. Chem Rev. (2019) 119:10856–915. doi: 10.1021/acs.chemrev.8b00803

PubMed Abstract | CrossRef Full Text | Google Scholar

5. Berry DW, Ahokas G, Cleve R, Sanders BC. Efficient quantum algorithms for simulating sparse Hamiltonians. Commun Math Phys. (2007) 270:359–71. doi: 10.1007/s00220-006-0150-x

CrossRef Full Text | Google Scholar

6. Nielsen MA, Bremner MJ, Dodd JL, Childs AM, Dawson CM. Universal simulation of Hamiltonian dynamics for quantum systems with finite-dimensional state spaces. Phys Rev A. (2002) 66:022317. doi: 10.1103/PhysRevA.66.022317

CrossRef Full Text | Google Scholar

7. Gidney C, Eker M. How to factor 2048 bit RSA integers in 8 hours using 20 million noisy qubits. arXiv [Preprint]. (2019) arXiv:1905.09749.

Google Scholar

8. Arute F, Arya K, Babbush R, Bacon D, Bardin JC, Barends R, et al. Quantum supremacy using a programmable superconducting processor. Nature. (2019) 574:505–10. doi: 10.1038/s41586-019-1666-5

PubMed Abstract | CrossRef Full Text | Google Scholar

9. Runge E, Gross EKU. Density-functional theory for time-dependent systems. Phys Rev Lett. (1984) 52:997–1000. doi: 10.1103/PhysRevLett.52.997

CrossRef Full Text | Google Scholar

10. Hohenberg P, Kohn W. Inhomogeneous electron gas. Phys Rev. (1964) 136:B864–71. doi: 10.1103/PhysRev.136.B864

CrossRef Full Text | Google Scholar

11. Slater JC. A Simplification of the Hartree-Fock Method. Phys Rev. (1951) 81:385–90. doi: 10.1103/PhysRev.81.385

CrossRef Full Text | Google Scholar

12. Perdew JP, Burke K, Ernzerhof M. Generalized gradient approximation made simple. Phys Rev Lett. (1996) 77:3865–8. doi: 10.1103/PhysRevLett.77.3865

CrossRef Full Text | Google Scholar

13. von Barth U, Hedin L. A local exchange-correlation potential for the spin polarized case. I. J Phys C. (1972) 5:1629–42. doi: 10.1088/0022-3719/5/13/012

CrossRef Full Text | Google Scholar

14. Rajagopal AK, Callaway J. Inhomogeneous electron gas. Phys Rev B. (1973) 7:1912–9. doi: 10.1103/PhysRevB.7.1912

CrossRef Full Text | Google Scholar

15. Snyder JC, Rupp M, Hansen K, Müller KR, Burke K. Finding density functionals with machine learning. Phys Rev Lett. (2012) 108:253002. doi: 10.1103/PhysRevLett.108.253002

PubMed Abstract | CrossRef Full Text | Google Scholar

16. Nagai R, Akashi R, Sugino O. Completing density functional theory by machine learning hidden messages from molecules. NPJ Comput Mater. (2020) 6:43. doi: 10.1038/s41524-020-0310-0

CrossRef Full Text | Google Scholar

17. Hatcher R, Kittl JA, Bowen C. A Method to calculate correlation for density functional theory on a quantum processor. arXiv [Preprint]:1903.05550. (2019).

Google Scholar

18. Whitfield JD, Yung MH, Tempel DG, Boixo S, Aspuru-Guzik A. Computational complexity of time-dependent density functional theory. New J Phys. (2014) 16:083035. doi: 10.1088/1367-2630/16/8/083035

CrossRef Full Text | Google Scholar

19. Brown J, Yang J, Whitfield JD. Solver for the electronic V-representation problem of time-dependent density functional theory. J Chem Theory Comput. (2020) 16:6014–26. doi: 10.1021/acs.jctc.9b00583

PubMed Abstract | CrossRef Full Text | Google Scholar

20. Kitaev AY. Quantum measurements and the Abelian stabilizer problem. arXiv [Preprint]. (1995) arXiv:quant-ph/9511026.

Google Scholar

21. Cleve R, Ekert A, Macchiavello C, Mosca M. Quantum algorithms revisited. Proc R Soc Lond Ser A Math Phys Eng Sci. (1998) 454:339–54. doi: 10.1098/rspa.1998.0164

CrossRef Full Text | Google Scholar

22. Jordan S. Quantum Algorithm Zoo. (2019). Available online at: https://quantumalgorithmzoo.org/

Google Scholar

23. Harrow AW, Hassidim A, Lloyd S. Quantum Algorithm for linear systems of equations. Phys Rev Lett. (2009) 103:150502. doi: 10.1103/PhysRevLett.103.150502

PubMed Abstract | CrossRef Full Text | Google Scholar

24. Shor PW. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J Comput. (1997) 26:1484–509. doi: 10.1137/S0097539795293172

CrossRef Full Text | Google Scholar

25. Shor P. Algorithms for quantum computation: Discrete logarithms and factoring. In: Proceedings of the 35th Annual IEEE Symposium on Foundations of Computer Science (1994). p. 124–34.

Google Scholar

26. Kim J, Lee JS, Lee S. Implementing unitary operators in quantum computation. Phys Rev A. (2000) 61:032312. doi: 10.1103/PhysRevA.61.032312

CrossRef Full Text | Google Scholar

27. Whitfield JD, Biamonte J, Aspuru-Guzik A. Simulation of electronic structure Hamiltonians using quantum computers. Mol Phys. (2011) 109:735–50. doi: 10.1080/00268976.2011.552441

CrossRef Full Text | Google Scholar

28. Szabo A, Ostlund N. Modern quantum chemistry: introduction to advanced electronic structure theory. In: Dover Books on Chemistry. Dover Publications (1996).

Google Scholar

29. Ditchfield R, Hehre WJ, Pople JA. Self-Consistent Molecular-Orbital Methods. IX. An extended Gaussian-type basis for molecular-orbital studies of organic molecules. J Chem Phys. (1971) 54:724–8. doi: 10.1063/1.1674902

CrossRef Full Text | Google Scholar

30. Smith DGA, Burns LA, Simmonett AC, Parrish RM, Schieber MC, Galvelis R, et al. PSI4 1.4: Open-source software for high-throughput quantum chemistry. J Chem Phys. (2020) 152:184108. doi: 10.26434/chemrxiv.11930031.v1

PubMed Abstract | CrossRef Full Text | Google Scholar

31. Smith RS, Curtis MJ, Zeng WJ. A Practical quantum instruction set architecture. arXiv [Preprint]:160803355. (2016).

Google Scholar

32. Hatano N, Suzuki M. Finding Exponential Product Formulas of Higher Orders. Lecture Notes in Physics (2005). p. 37–68. doi: 10.1007/11526216_2

CrossRef Full Text | Google Scholar

33. Mandelshtam VA, Taylor HS. Harmonic inversion of time signals and its applications. J Chem Phys. (1997) 107:6756–69. doi: 10.1063/1.475324

CrossRef Full Text | Google Scholar

34. Mandelshtam VA. FDM: the filter diagonalization method for data processing in NMR experiments. Prog Nucl Mag Res Sp. (2001) 38:159–96. doi: 10.1016/S0079-6565(00)00032-7

CrossRef Full Text | Google Scholar

35. Johnson SG. Harmonic Inversion of Time Signals by the Filter Diagonalization Method. GitHub (2005).

PubMed Abstract | Google Scholar

36. Granade CE, Ferrie C, Wiebe N, Cory DG. Robust online Hamiltonian learning. New J Phys. (2012) 14:103013. doi: 10.1088/1367-2630/14/10/103013

CrossRef Full Text | Google Scholar

37. Granade C, Ferrie C, Hincks I, Casagrande S, Alexander T, Gross J, et al. QInfer: Statistical inference software for quantum applications. Quantum. (2017) 1:5. doi: 10.22331/q-2017-04-25-5

CrossRef Full Text | Google Scholar

38. Gharibian S, Huang Y, Landau Z, Shin SW. Quantum Hamiltonian complexity. Found Trends Theor Comput Sci. (2015) 10:159–282. doi: 10.1561/0400000066

CrossRef Full Text | Google Scholar

Keywords: quantum measurement, TDDFT, Bayesian inference, harmonic inversion, potential inversion

Citation: Yang J, Brown J and Whitfield JD (2021) A Comparison of Three Ways to Measure Time-Dependent Densities With Quantum Simulators. Front. Phys. 9:546538. doi: 10.3389/fphy.2021.546538

Received: 28 March 2020; Accepted: 22 February 2021;
Published: 19 March 2021.

Edited by:

Travis S. Humble, Oak Ridge National Laboratory (DOE), United States

Reviewed by:

Marcos César de Oliveira, State University of Campinas, Brazil
Pavel Dub, Los Alamos National Laboratory (DOE), United States
Titus Morris, Oak Ridge National Laboratory (DOE), United States

Copyright © 2021 Yang, Brown and Whitfield. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.

*Correspondence: James Daniel Whitfield, james.d.whitfield@dartmouth.edu