-
Fault-tolerant quantum simulation of materials using Bloch orbitals
Authors:
Nicholas C. Rubin,
Dominic W. Berry,
Fionn D. Malone,
Alec F. White,
Tanuj Khattar,
A. Eugene DePrince III,
Sabrina Sicolo,
Michael Kühn,
Michael Kaicher,
Joonho Lee,
Ryan Babbush
Abstract:
The simulation of chemistry is among the most promising applications of quantum computing. However, most prior work exploring algorithms for block-encoding, time-evolving, and sampling in the eigenbasis of electronic structure Hamiltonians has either focused on modeling finite-sized systems, or has required a large number of plane wave basis functions. In this work, we extend methods for quantum s…
▽ More
The simulation of chemistry is among the most promising applications of quantum computing. However, most prior work exploring algorithms for block-encoding, time-evolving, and sampling in the eigenbasis of electronic structure Hamiltonians has either focused on modeling finite-sized systems, or has required a large number of plane wave basis functions. In this work, we extend methods for quantum simulation with Bloch orbitals constructed from symmetry-adapted atom-centered orbitals so that one can model periodic \textit{ab initio} Hamiltonians using only a modest number of basis functions. We focus on adapting existing algorithms based on combining qubitization with tensor factorizations of the Coulomb operator. Significant modifications of those algorithms are required to obtain an asymptotic speedup leveraging translational (or, more broadly, Abelian) symmetries. We implement block encodings using known tensor factorizations and a new Bloch orbital form of tensor hypercontraction. Finally, we estimate the resources required to deploy our algorithms to classically challenging model materials relevant to the chemistry of Lithium Nickel Oxide battery cathodes within the surface code.
△ Less
Submitted 10 February, 2023;
originally announced February 2023.
-
Quantum-enhanced quantum Monte Carlo: an industrial view
Authors:
Maximilian Amsler,
Peter Deglmann,
Matthias Degroote,
Michael P. Kaicher,
Matthew Kiser,
Michael Kühn,
Chandan Kumar,
Andreas Maier,
Georgy Samsonidze,
Anna Schroeder,
Michael Streif,
Davide Vodola,
Christopher Wever
Abstract:
In this work, we test a recently developed method to enhance classical auxiliary-field quantum Monte Carlo (AFQMC) calculations with quantum computers against examples from chemistry and material science, representatives of classes of industry-relevant systems. As molecular test cases, we calculate the energy curve of H4 and relative energies of ozone and singlet molecular oxygen with respect to t…
▽ More
In this work, we test a recently developed method to enhance classical auxiliary-field quantum Monte Carlo (AFQMC) calculations with quantum computers against examples from chemistry and material science, representatives of classes of industry-relevant systems. As molecular test cases, we calculate the energy curve of H4 and relative energies of ozone and singlet molecular oxygen with respect to triplet molecular oxygen, which are industrially relevant in organic oxidation reactions. We find that trial wave functions beyond single Slater determinants improve the performance of AFQMC and allow to generate energies close to chemical accuracy compared to full configuration interaction (FCI) or experimental results. As a representative for material science we study a quasi-1D Fermi-Hubbard model derived from CuBr2, a compound displaying electronic structure properties analogous to cuprates. We find that trial wave functions with both, significantly larger fidelities and lower energies over a Hartree-Fock solution, do not necessarily lead to better AFQMC results.
△ Less
Submitted 27 January, 2023;
originally announced January 2023.
-
Study of the long-range transverse field Ising model with fermionic Gaussian states
Authors:
Michael P. Kaicher,
Davide Vodola,
Simon B. Jäger
Abstract:
We numerically study the one-dimensional long-range Transverse Field Ising Model (TFIM) in the antiferromagnetic (AFM) regime at zero temperature using Generalized Hartree-Fock (GHF) theory. The spin-spin interaction extends to all spins in the lattice and decays as $1/r^α$, where $r$ denotes the distance between two spins and $α$ is a tunable exponent. We map the spin operators to Majorana operat…
▽ More
We numerically study the one-dimensional long-range Transverse Field Ising Model (TFIM) in the antiferromagnetic (AFM) regime at zero temperature using Generalized Hartree-Fock (GHF) theory. The spin-spin interaction extends to all spins in the lattice and decays as $1/r^α$, where $r$ denotes the distance between two spins and $α$ is a tunable exponent. We map the spin operators to Majorana operators and approximate the ground state of the Hamiltonian with a Fermionic Gaussian State (FGS). Using this approximation, we calculate the ground state energy and the entanglement entropy which allows us to map the phase diagram for different values of $α$. In addition, we compute the scaling behavior of the entanglement entropy with the system size to determine the central charge at criticality for the case of $α>1$. For $α<1$ we find a logarithmic divergence of the entanglement entropy even far away from the critical point, a feature of systems with long-range interactions. We provide a detailed comparison of our results to outcomes of Density Matrix Renormalization Group (DMRG) and the Linked Cluster Expansion (LCE) methods. In particular, we find excellent agreement of GHF with DMRG and LCE in the weak long-range regime $α\geq 1$, and qualitative agreement with DMRG in the strong-long range regime $α\leq 1$. Our results highlight the power of the computationally efficient GHF method in simulating interacting quantum systems.
△ Less
Submitted 7 January, 2023;
originally announced January 2023.
-
Low-rank decomposition for quantum simulations with complex basis functions
Authors:
Michael P. Kaicher
Abstract:
Low-rank decompositions to reduce the Coulomb operator to a pairwise form suitable for its quantum simulation are well-known in quantum chemistry, where the underlying basis functions are real-valued. We generalize the result of Motta \textit{et al.} [arXiv:1808.02625] to \textit{complex} basis functions $ψ_p(\mathbf r)\in\mathds C$ by means of the Schur decomposition and decomposing matrices into…
▽ More
Low-rank decompositions to reduce the Coulomb operator to a pairwise form suitable for its quantum simulation are well-known in quantum chemistry, where the underlying basis functions are real-valued. We generalize the result of Motta \textit{et al.} [arXiv:1808.02625] to \textit{complex} basis functions $ψ_p(\mathbf r)\in\mathds C$ by means of the Schur decomposition and decomposing matrices into their symmetric and anti-symmetric components. This allows the application of low-rank decomposition strategies to general basis sets.
△ Less
Submitted 20 September, 2021;
originally announced September 2021.
-
Algorithm for initializing a generalized fermionic Gaussian state on a quantum computer
Authors:
Michael P. Kaicher,
Simon B. Jäger,
Frank K. Wilhelm
Abstract:
We present explicit expressions for the central piece of a variational method developed by Shi et al. which extends variational wave functions that are efficiently computable on classical computers beyond mean-field to generalized Gaussian states [1]. In particular, we derive iterative analytical expressions for the evaluation of expectation values of products of fermionic creation and annihilatio…
▽ More
We present explicit expressions for the central piece of a variational method developed by Shi et al. which extends variational wave functions that are efficiently computable on classical computers beyond mean-field to generalized Gaussian states [1]. In particular, we derive iterative analytical expressions for the evaluation of expectation values of products of fermionic creation and annihilation operators in a Grassmann variable-free representation. Using this result we find a closed expression for the energy functional and its gradient of a general fermionic quantum many-body Hamiltonian. We present a simple gradient-descent-based algorithm that can be used as an optimization subroutine in combination with imaginary time evolution, which by construction guarantees a monotonic decrease of the energy in each iteration step. Due to the simplicity of the quantum circuit implementing the variational state Ansatz, the results of the algorithms discussed here and in [1] could serve as an improved, beyond mean-field initial state in quantum computation.
[1] Tao Shi, Eugene Demler, and J. Ignacio Cirac. Variational study of fermionic and bosonic systems with non-gaussian states: Theory and applications. Annals of Physics, 390: 245-302, 2018.
△ Less
Submitted 3 August, 2021; v1 submitted 27 May, 2021;
originally announced May 2021.
-
Roadmap for quantum simulation of the fractional quantum Hall effect
Authors:
Michael Kaicher,
Simon Balthasar Jäger,
Pierre-Luc Dallaire-Demers,
Frank Wilhelm
Abstract:
A major motivation for building a quantum computer is that it provides a tool to efficiently simulate strongly correlated quantum systems. In this work, we present a detailed roadmap on how to simulate a two-dimensional electron gas---cooled to absolute zero and pierced by a strong transversal magnetic field---on a quantum computer. This system describes the setting of the Fractional Quantum Hall…
▽ More
A major motivation for building a quantum computer is that it provides a tool to efficiently simulate strongly correlated quantum systems. In this work, we present a detailed roadmap on how to simulate a two-dimensional electron gas---cooled to absolute zero and pierced by a strong transversal magnetic field---on a quantum computer. This system describes the setting of the Fractional Quantum Hall Effect (FQHE), one of the pillars of modern condensed matter theory. We give analytical expressions for the two-body integrals that allow for mixing between $N$ Landau levels at a cutoff $M$ in angular momentum and give gate count estimates for the efficient simulation of the energy spectrum of the Hamiltonian on an error-corrected quantum computer. We then focus on studying efficiently preparable initial states and their overlap with the exact ground state for noisy as well as error-corrected quantum computers. By performing an imaginary time evolution of the covariance matrix we find the generalized Hartree-Fock solution to the many-body problem and study how a multi-reference state expansion affects the state overlap. We perform small-system numerical simulations to study the quality of the two initial state Ansätze in the Lowest Landau Level (LLL) approximation.
△ Less
Submitted 5 March, 2020;
originally announced March 2020.
-
Benchmarking non-simulable quantum processes via symmetry conservation
Authors:
Tobias Chasseur,
Felix Motzoi,
Michael Kaicher,
Pierre-Luc Dallaire-Demers,
Frank K. Wilhelm
Abstract:
As quantum devices scale up, many-body quantum gates and algorithms begin to surpass what is possible to simulate classically. Validation methods which rely on such classical simulation, such as process tomography and randomized benchmarking, cannot efficiently check correctness of most of the processes involved. In particular non-Clifford gates are a requirement for not only universal quantum com…
▽ More
As quantum devices scale up, many-body quantum gates and algorithms begin to surpass what is possible to simulate classically. Validation methods which rely on such classical simulation, such as process tomography and randomized benchmarking, cannot efficiently check correctness of most of the processes involved. In particular non-Clifford gates are a requirement for not only universal quantum computation but for any algorithm or quantum simulation that yields fundamental speedup in comparison with its classical counterpart. We show that it is in fact still possible to validate such non-simulable processes by taking advantage of expected or engineered conservations laws in the system, combined with a unitary one-design strategy to randomize errors over the computational Hilbert space. We show that in the context of (fault-tolerant) quantum error correction, we can construct a one-design using the logically encoded Clifford group over the engineered error-free stabilizer subspace to obtain average error for arbitrary logically-encoded gates and algorithms. In the case of benchmarking simulation of physical systems, these can have various exotic symmetries over which one-design strategies can nonetheless be constructed. We give examples for fermionic systems which conserve particle number, as well as for the Fermi-Hubbard model. The symmetry benchmarking method preserves robustness to state preparation and measurement imperfections.
△ Less
Submitted 12 October, 2017;
originally announced October 2017.
-
Linear and logarithmic time compositions of quantum many-body operators
Authors:
Felix Motzoi,
Michael Kaicher,
Frank Wilhelm
Abstract:
We develop a generalized framework for constructing many-body-interaction operations either in linear time, or in logarithmic time with a linear number of ancilla qubits. Exact gate decompositions are given in particular for Pauli strings, many-control Toffoli gates, number-~and parity-conserving interactions, Unitary Coupled Cluster operations, and sparse matrix generators. We provide a linear ti…
▽ More
We develop a generalized framework for constructing many-body-interaction operations either in linear time, or in logarithmic time with a linear number of ancilla qubits. Exact gate decompositions are given in particular for Pauli strings, many-control Toffoli gates, number-~and parity-conserving interactions, Unitary Coupled Cluster operations, and sparse matrix generators. We provide a linear time protocol that works by creating a superposition of exponentially many different possible operator strings and then uses dynamical decoupling methodology to undo all the unwanted terms. A logarithmic time protocol overcomes the speed limit of the first by using ancilla registers to condition evolution to the support of the desired many-body interaction before using parallel chaining operations to expand the string length. The two techniques improve substantially on current strategies (reductions in time and space can range from linear to exponential), are applicable to different physical interaction mechanisms such as CNOT, $XX$, and $XX+YY$, and generalize to a wide range of many-body operators.
△ Less
Submitted 30 May, 2017;
originally announced May 2017.