Vibrational structure problem
Overview
We seek the energy eigenstates (or thermal states) of the Hamiltonian that describes the vibrations of the nuclei in a molecule around their equilibrium positions. This Hamiltonian contains the kinetic energy of the nuclei and the effective potential that they move on, which is determined by the electronic potential energy surface (i.e. the electronic energy expressed as a function of the nuclear coordinates).
Actual end-to-end problem(s) solved
Solving the Schrodinger equation while treating electrons and nuclei on an equal footing has prohibitively high computational cost for all but the smallest systems. For systems where it is valid to separate the electronic and nuclear motions (the Born–Oppenheimer approximation), we can imagine the nuclei moving on the electronic potential energy surface (PES). For molecules composed of light atoms (where relativistic effects can be neglected) the vibrations of the nuclei around their equilibrium positions provide a first-order correction to the electronic energies, and influence photo-emission/absorption properties. For a system with \(G\) classical nuclei at equilibrium positions \(\{R_I\}\) the vibrational Hamiltonian can be written as
where \(V_e(\{ R_I \})\) denotes the nuclear potential determined by the electronic potential energy surface, obtained by first solving the electronic structure problem for a range of nuclear positions. The vibrational structure problem can be made classically tractable by modelling \(V_e\) as a harmonic potential, which reduces the problem to solving a number of coupled quantum harmonic oscillators. In order to accurately describe nonrigid molecules or highly excited vibrational states, additional anharmonic terms are required in the potential. These can be obtained by expanding the potential \(V_e\) to degree \(d\). Obtaining accurate solutions of this Hamiltonian is prohibitively costly for many systems of interest. We seek to prepare eigenstates (or thermal states) of this anharmonic vibrational Hamiltonian, and then measure the expectation values of observables with respect to these states. Properties of interest include:
- The vibrational energy at the minimum of the PES, which provides a first-order correction to the electronic energies (for calculating excitation energies, determining stable molecular structures, or finding reaction pathways and rates).
- Determining transition probabilities between states, and transition dipole moments (for calculating infrared/Raman spectra between vibrational levels of the same electronic state, or vibronic spectra between vibrational levels of different electronic states).
Thermal states are often of greater interest in the vibrational case than in the electronic case: the differences between vibrational energy levels are smaller than the differences between electronic energy levels, and as a result, excited vibrational states are populated even at room temperature. This can be contrasted with the electronic structure problem, where the larger electronic energy gaps of many molecules mean that ground states are typically of primary interest at room temperature.
Dominant resource cost/complexity
A molecule with \(G\) atoms has \(M= 3G - 6\) (\(M=3G-5\) for linear molecules) vibrational modes. Each vibrational mode is treated as distinguishable and is considered to be in one of \(N\) vibrational energy levels of the harmonic oscillator Hamiltonian (one can also work in different basis sets). We thus require \(M\log(N)\) qubits to represent the problem, where the energy level of each vibrational mode is encoded in binary (or an equivalent representation, such as the Gray code [1]).
Preparing the desired eigenstate or thermal state can be achieved using the methods introduced for the electronic structure problem, although the costs of most of these methods have not yet been determined for the vibrational problem. For example, energy eigenstates can be prepared using quantum phase estimation (QPE), given a state with sufficient overlap with the target state. Methods for preparing eigenstates depend polynomially on either the overlap between an initial state and the desired eigenstate (e.g. QPE or quantum singular-value transformation (QSVT)-based eigenstate filtering [2]), or on the minimum energy gap along an adiabatic path from the initial to desired state (e.g., [3]). The complexities of subroutines to prepare eigenstates and extract observables are determined by the following observations:
- All methods scale as \(\Omega(1/\epsilon)\) to measure the desired observable to an error of \(\pm \epsilon\). For the energy, we typically seek \(\epsilon \sim (1 - 10)\) cm\(^{-1}\) \(\approx (4.56 \times 10^{-6}) - (4.56 \times 10^{-5})~\mathrm{Hartree}\) (due to the close historical ties with spectroscopy, in vibrational chemistry it is common to see energies expressed as wavenumbers. Interconversion can be performed using the Planck relation). For comparison, the largest matrix elements in the vibrational Hamiltonian (the harmonic couplings) are typically on the order of 1000 cm\(^{-1}\), and there are \(\mathcal{O}\left( M \right)\) such terms [4]. As such, the ratio \(\nrm{H}_1 / \epsilon\) that features multiplicatively in the complexity of quantum phase estimation (at least, variants based on qubitization) can be on the order of \(10^4\) (or larger) for modest system sizes with \(M \approx 100\).
- To date, only product-formula-based methods have been considered for providing coherent access to the vibrational Hamiltonian. These methods scale with the number of Pauli terms in the Hamiltonian, which grows as \(\mathcal{O}\left( M^d N^{2d} \right)\) for a degree \(d\) of anharmonic terms considered in the Hamiltonian (often at least 4th order).
Existing error corrected resource estimates
To date, there have been no error corrected resource estimates for the vibrational structure problem. In terms of initial steps in this direction, [1] considered the resources required to map vibrational operators to qubit operators, while [4] compared the number of terms (and their magnitudes) in vibrational Hamiltonians to those in electronic structure Hamiltonians.
Caveats
Both classical and quantum algorithms for the vibrational structure problem require the availability of a high-accuracy electronic PES, from classical calculations. For a grid-based interpolation of the multidimensional PES with \(h\) points per dimension, we require \(\mathcal{O}\left( h^M \right)\) PES evaluations. Nevertheless, a number of interpolation techniques and adaptive methods have been developed to obtain high-accuracy PESs, at lower costs. Moreover, a number of molecules with classically challenging vibrational spectra have been identified with classically easy electronic structures [4].
There has been less work on the number of vibrational basis states required to achieve a given accuracy than in the electronic case. While rigorous results exist for more simple bosonic Hamiltonians [5], the truncation level \(N\) has not yet been established for anharmonic potentials.
When calculating overlaps between the vibrational states belonging to different electronic energy levels (vibronic transitions), the Hamiltonians are expressed in different coordinates, and so one must either transform the state or the Hamiltonian using the Duschinsky transformation (see, e.g., [6, 7] for a discussion of this issue).
Comparable classical complexity and challenging instance sizes
A hierarchy of classical methods has been developed for the vibrational structure problem, which trade increased accuracy for increased cost. Vibrational states with a multireference nature (which are required to describe vibrational resonances that arise due to near-degeneracies between different vibrational eigenstates, resulting from anharmonicities in the PES) require more accurate (and thus costly) methods. Moreover, nonrigid molecules require a higher degree approximation of the PES, leading to an increased cost for classical methods (and potentially increasing the complexity of the resulting eigenstates). For such challenging systems, accurate classical results have been obtained for molecules with \(G=20\)–\(30\) atoms [8, 9, 10, 11].
Speedup
In order to achieve superpolynomial speedup over classical methods for preparing a given eigenstate we require:
- Polynomially scaling classical methods to grow their approximation parameter exponentially as the system size increases.
- The ability to prepare an initial state with nonexponentially vanishing overlap with the desired state, in polynomial time.
There exist spectroscopy calculations in which the initial state is easy to prepare for both quantum and classical computers, but certain excited states may be difficult to prepare, due to their small overlap with this initial state. However, in such calculations this can be exploited as a feature, rather than a bug. For example in [12] it was proposed to use quantum phase estimation to project from the initial state into other eigenstates with probability given by the squared overlap between the states. This corresponds to the transition probability measured in the desired spectrum. We note that whereas a single (exponentially costly) classical diagonalization of the vibrational Hamiltonian would provide complete access to the entire vibrational absorption/emission spectrum, a large number of repetitions of the quantum algorithm would be required to reconstruct the spectrum. Even if quantum algorithms do not provide an exponential speedup, they may still provide polynomial speedups over exact (and approximate) classical methods.
NISQ implementations
There have been proposals to apply variational algorithms to solve the vibrational structure problem [7, 13, 1, 4], but it seems unlikely that sufficiently deep circuits can be implemented to surpass classical methods. There have also been a number of analog quantum simulations that map the vibrational structure problem onto bosonic modes such as photons [14, 6, 15]. Nevertheless, it appears challenging to scale these simulations to sufficiently large system sizes, due to the decoherence present in the simulation platforms.
Outlook
Further work is required to identify target systems that are challenging to simulate classically, but that may be amenable to quantum algorithms. In addition, existing quantum algorithms need to be further optimized for the accuracy required in vibrational structure problems and the form of the vibrational Hamiltonian. This will enable resource estimates for end-to-end applications, such as estimating vibrational spectra.
Bibliography
-
Nicolas PD Sawaya, Tim Menke, Thi Ha Kyaw, Sonika Johri, Alán Aspuru-Guzik, and Gian Giacomo Guerreschi. Resource-efficient digital quantum simulation of d-level systems for photonic, vibrational, and spin-s hamiltonians. npj Quantum Information, 6(1):1–13, 2020. arXiv: https://arxiv.org/abs/1909.12847. doi:https://doi.org/10.1038/s41534-020-0278-0.
-
Lin Lin and Yu Tong. Near-optimal ground state preparation. Quantum, 4:372, 2020. arXiv: https://arxiv.org/abs/2002.12508. doi:10.22331/q-2020-12-14-372.
-
Kianna Wan and Isaac Kim. Fast digital methods for adiabatic state preparation. arXiv: https://arxiv.org/abs/2004.04164, 2020.
-
Nicolas P. D. Sawaya, Francesco Paesani, and Daniel P. Tabor. Near- and long-term quantum algorithmic approaches for vibrational spectroscopy. Physical Review A, 104:062419, 12 2021. arXiv: https://arxiv.org/abs/2009.05066. URL: https://link.aps.org/doi/10.1103/PhysRevA.104.062419, doi:10.1103/PhysRevA.104.062419.
-
Yu Tong, Victor V. Albert, Jarrod R. McClean, John Preskill, and Yuan Su. Provably accurate simulation of gauge theories and bosonic systems. Quantum, 6:816, 9 2022. arXiv: https://arxiv.org/abs/2110.06942. URL: https://doi.org/10.22331/q-2022-09-22-816, doi:10.22331/q-2022-09-22-816.
-
Joonsuk Huh, Gian Giacomo Guerreschi, Borja Peropadre, Jarrod R. McClean, and Alán Aspuru-Guzik. Boson sampling for molecular vibronic spectra. Nature Photonics, 9(9):615–620, 9 2015. arXiv: https://arxiv.org/abs/1412.8427. doi:10.1038/nphoton.2015.153.
-
Sam McArdle, Alexander Mayorov, Xiao Shan, Simon Benjamin, and Xiao Yuan. Digital quantum simulation of molecular vibrations. Chemical Science, 10:5725–5735, 2019. arXiv: https://arxiv.org/abs/1811.04069. URL: http://dx.doi.org/10.1039/C9SC01313J, doi:10.1039/C9SC01313J.
-
Tucker Carrington Jr. Perspective: computing (ro-) vibrational spectra of molecules with more than four atoms. The Journal of Chemical Physics, 146(12):120902, 2017. doi:https://doi.org/10.1063/1.4979117.
-
Alberto Baiardi, Christopher J Stein, Vincenzo Barone, and Markus Reiher. Vibrational density matrix renormalization group. Journal of Chemical Theory and Computation, 13(8):3764–3777, 2017. arXiv: https://arxiv.org/abs/1703.09313. doi:10.1021/acs.jctc.7b00329.
-
Phillip S Thomas, Tucker Carrington Jr, Jay Agarwal, and Henry F Schaefer III. Using an iterative eigensolver and intertwined rank reduction to compute vibrational spectra of molecules with more than a dozen atoms: uracil and naphthalene. The Journal of Chemical Physics, 149(6):064108, 2018. doi:https://doi.org/10.1063/1.5039147.
-
Vincenzo Barone, Silvia Alessandrini, Malgorzata Biczysko, James R. Cheeseman, David C. Clary, Anne B. McCoy, Ryan J. DiRisio, Frank Neese, Mattia Melosso, and Cristina Puzzarini. Computational molecular spectroscopy. Nature Reviews Methods Primers, 1(1):38, 5 2021. URL: https://doi.org/10.1038/s43586-021-00034-1, doi:10.1038/s43586-021-00034-1.
-
Nicolas P. D. Sawaya and Joonsuk Huh. Quantum algorithm for calculating molecular vibronic spectra. The Journal of Physical Chemistry Letters, 10(13):3586–3591, 2019. arXiv: https://arxiv.org/abs/1812.10495. URL: https://doi.org/10.1021/acs.jpclett.9b01117, arXiv:https://doi.org/10.1021/acs.jpclett.9b01117, doi:10.1021/acs.jpclett.9b01117.
-
Pauline J. Ollitrault, Alberto Baiardi, Markus Reiher, and Ivano Tavernelli. Hardware efficient quantum algorithms for vibrational structure calculations. Chemical Science, 11:6842–6855, 2020. arXiv: https://arxiv.org/abs/2003.12578. URL: http://dx.doi.org/10.1039/D0SC01908A, doi:10.1039/D0SC01908A.
-
Chris Sparrow, Enrique Martín-López, Nicola Maraviglia, Alex Neville, Christopher Harrold, Jacques Carolan, Yogesh N. Joglekar, Toshikazu Hashimoto, Nobuyuki Matsuda, Jeremy L. O'Brien, David P. Tew, and Anthony Laing. Simulating the vibrational quantum dynamics of molecules using photonics. Nature, 557(7707):660–667, 5 2018. URL: https://doi.org/10.1038/s41586-018-0152-9, doi:10.1038/s41586-018-0152-9.
-
Christopher S. Wang, Jacob C. Curtis, Brian J. Lester, Yaxing Zhang, Yvonne Y. Gao, Jessica Freeze, Victor S. Batista, Patrick H. Vaccaro, Isaac L. Chuang, Luigi Frunzio, Liang Jiang, S. M. Girvin, and Robert J. Schoelkopf. Efficient multiphoton sampling of molecular vibronic spectra on a superconducting bosonic processor. Physical Review X, 10:021060, 6 2020. arXiv: https://arxiv.org/abs/1908.03598. URL: https://link.aps.org/doi/10.1103/PhysRevX.10.021060, doi:10.1103/PhysRevX.10.021060.