-
Tensor Network Computations That Capture Strict Variationality, Volume Law Behavior, and the Efficient Representation of Neural Network States
Authors:
Wen-Yuan Liu,
Si-**g Du,
Ruo**g Peng,
Johnnie Gray,
Garnet Kin-Lic Chan
Abstract:
We introduce a change of perspective on tensor network states that is defined by the computational graph of the contraction of an amplitude. The resulting class of states, which we refer to as tensor network functions, inherit the conceptual advantages of tensor network states while removing computational restrictions arising from the need to converge approximate contractions. We use tensor networ…
▽ More
We introduce a change of perspective on tensor network states that is defined by the computational graph of the contraction of an amplitude. The resulting class of states, which we refer to as tensor network functions, inherit the conceptual advantages of tensor network states while removing computational restrictions arising from the need to converge approximate contractions. We use tensor network functions to compute strict variational estimates of the energy on loopy graphs, analyze their expressive power for ground-states, show that we can capture aspects of volume law time evolution, and provide a map** of general feed-forward neural nets onto efficient tensor network functions. Our work expands the realm of computable tensor networks to ones where accurate contraction methods are not available, and opens up new avenues to use tensor networks.
△ Less
Submitted 21 May, 2024; v1 submitted 6 May, 2024;
originally announced May 2024.
-
Tensor network influence functionals in the continuous-time limit: connections to quantum embedding, bath discretization, and higher-order time propagation
Authors:
Gunhee Park,
Nathan Ng,
David R. Reichman,
Garnet Kin-Lic Chan
Abstract:
We describe two developments of tensor network influence functionals (in particular, influence functional matrix product states (IF-MPS)) for quantum impurity dynamics within the fermionic setting of the Anderson impurity model. The first provides the correct extension of the IF-MPS to continuous time by introducing a related mathematical object, the boundary influence functional MPS. The second c…
▽ More
We describe two developments of tensor network influence functionals (in particular, influence functional matrix product states (IF-MPS)) for quantum impurity dynamics within the fermionic setting of the Anderson impurity model. The first provides the correct extension of the IF-MPS to continuous time by introducing a related mathematical object, the boundary influence functional MPS. The second connects the dynamics described by a compressed IF-MPS to that of a quantum embedding method with a time-dependent effective bath undergoing nonunitary dynamics. Using these concepts, we implement higher-order time propagators for the quench dynamics of the Anderson impurity model within the boundary IF-MPS formalism. The calculations illustrate the ability of the current formulation to efficiently remove the time step error in standard discrete-time IF-MPS implementations as well as to interface with state vector propagation techniques. They also show the advantages of IF-MPS dynamics, with its associated highly compact effective bath dynamics, over state vector propagation with a static bath discretization.
△ Less
Submitted 2 July, 2024; v1 submitted 22 January, 2024;
originally announced January 2024.
-
Fast emulation of fermionic circuits with matrix product states
Authors:
Justin Provazza,
Klaas Gunst,
Huanchen Zhai,
Garnet K. -L. Chan,
Toru Shiozaki,
Nicholas C. Rubin,
Alec F. White
Abstract:
We describe a matrix product state (MPS) extension for the Fermionic Quantum Emulator (FQE) software library. We discuss the theory behind symmetry adapted matrix product states for approximating many-body wavefunctions of spin-1/2 fermions, and we present an open-source, MPS-enabled implementation of the FQE interface (MPS-FQE). The software uses the open-source pyblock3 and block2 libraries for…
▽ More
We describe a matrix product state (MPS) extension for the Fermionic Quantum Emulator (FQE) software library. We discuss the theory behind symmetry adapted matrix product states for approximating many-body wavefunctions of spin-1/2 fermions, and we present an open-source, MPS-enabled implementation of the FQE interface (MPS-FQE). The software uses the open-source pyblock3 and block2 libraries for most elementary tensor operations, and it can largely be used as a drop-in replacement for FQE that allows for more efficient, but approximate, emulation of larger fermionic circuits. Finally, we show several applications relevant to both near-term and fault-tolerant quantum algorithms where approximate emulation of larger systems is expected to be useful: characterization of state preparation strategies for quantum phase estimation, the testing of different variational quantum eigensolver Ansätze, the numerical evaluation of Trotter errors, and the simulation of general quantum dynamics problems. In all these examples, approximate emulation with MPS-FQE allows us to treat systems that are significantly larger than those accessible with a full statevector emulator.
△ Less
Submitted 24 April, 2024; v1 submitted 29 December, 2023;
originally announced December 2023.
-
Fast and converged classical simulations of evidence for the utility of quantum computing before fault tolerance
Authors:
Tomislav Begušić,
Johnnie Gray,
Garnet Kin-Lic Chan
Abstract:
A recent quantum simulation of observables of the kicked Ising model on 127 qubits implemented circuits that exceed the capabilities of exact classical simulation. We show that several approximate classical methods, based on sparse Pauli dynamics and tensor network algorithms, can simulate these observables orders of magnitude faster than the quantum experiment, and can also be systematically conv…
▽ More
A recent quantum simulation of observables of the kicked Ising model on 127 qubits implemented circuits that exceed the capabilities of exact classical simulation. We show that several approximate classical methods, based on sparse Pauli dynamics and tensor network algorithms, can simulate these observables orders of magnitude faster than the quantum experiment, and can also be systematically converged beyond the experimental accuracy. Our most accurate technique combines a mixed Schrödinger and Heisenberg tensor network representation with the Bethe free entropy relation of belief propagation to compute expectation values with an effective wavefunction-operator sandwich bond dimension >16,000,000, achieving an absolute accuracy, without extrapolation, in the observables of <0.01, which is converged for many practical purposes. We thereby identify inaccuracies in the experimental extrapolations and suggest how future experiments can be implemented to increase the classical hardness.
△ Less
Submitted 26 January, 2024; v1 submitted 9 August, 2023;
originally announced August 2023.
-
Adiabatic quantum imaginary time evolution
Authors:
Kasra Hejazi,
Mario Motta,
Garnet Kin-Lic Chan
Abstract:
We introduce an adiabatic state preparation protocol which implements quantum imaginary time evolution under the Hamiltonian of the system. Unlike the original quantum imaginary time evolution algorithm, adiabatic quantum imaginary time evolution does not require quantum state tomography during its runtime, and unlike standard adiabatic state preparation, the final Hamiltonian is not the system Ha…
▽ More
We introduce an adiabatic state preparation protocol which implements quantum imaginary time evolution under the Hamiltonian of the system. Unlike the original quantum imaginary time evolution algorithm, adiabatic quantum imaginary time evolution does not require quantum state tomography during its runtime, and unlike standard adiabatic state preparation, the final Hamiltonian is not the system Hamiltonian. Instead, the algorithm obtains the adiabatic Hamiltonian by integrating a classical differential equation that ensures that one follows the imaginary time evolution state trajectory. We introduce some heuristics that allow this protocol to be implemented on quantum architectures with limited resources. We explore the performance of this algorithm via classical simulations in a one-dimensional spin model and highlight essential features that determine its cost, performance, and implementability for longer times, and compare to the original quantum imaginary time evolution for ground-state preparation. More generally, our algorithm expands the range of states accessible to adiabatic state preparation methods beyond those that are expressed as ground-states of simple explicit Hamiltonians.
△ Less
Submitted 22 April, 2024; v1 submitted 7 August, 2023;
originally announced August 2023.
-
Fast classical simulation of evidence for the utility of quantum computing before fault tolerance
Authors:
Tomislav Begušić,
Garnet Kin-Lic Chan
Abstract:
We show that a classical algorithm based on sparse Pauli dynamics can efficiently simulate quantum circuits studied in a recent experiment on 127 qubits of IBM's Eagle processor [Nature 618, 500 (2023)]. Our classical simulations on a single core of a laptop are orders of magnitude faster than the reported walltime of the quantum simulations, as well as faster than the estimated quantum hardware r…
▽ More
We show that a classical algorithm based on sparse Pauli dynamics can efficiently simulate quantum circuits studied in a recent experiment on 127 qubits of IBM's Eagle processor [Nature 618, 500 (2023)]. Our classical simulations on a single core of a laptop are orders of magnitude faster than the reported walltime of the quantum simulations, as well as faster than the estimated quantum hardware runtime without classical processing, and are in good agreement with the zero-noise extrapolated experimental results.
△ Less
Submitted 28 June, 2023;
originally announced June 2023.
-
Fermionic reduced density low-rank matrix completion, noise filtering, and measurement reduction in quantum simulations
Authors:
Linqing Peng,
Xing Zhang,
Garnet Kin-Lic Chan
Abstract:
Fermionic reduced density matrices summarize the key observables in fermionic systems. In electronic systems, the two-particle reduced density matrix (2-RDM) is sufficient to determine the energy and most physical observables of interest. Here, we consider the possibility of using matrix completion to reconstruct the two-particle reduced density matrix to chemical accuracy from partial information…
▽ More
Fermionic reduced density matrices summarize the key observables in fermionic systems. In electronic systems, the two-particle reduced density matrix (2-RDM) is sufficient to determine the energy and most physical observables of interest. Here, we consider the possibility of using matrix completion to reconstruct the two-particle reduced density matrix to chemical accuracy from partial information. We consider the case of noiseless matrix completion, where the partial information corresponds to a subset of the 2-RDM elements, as well as noisy completion, where the partial information corresponds to both a subset of elements, as well as statistical noise in their values. Through experiments on a set of 24 molecular systems, we find that the 2-RDM can be efficiently reconstructed from a reduced amount of information. In the case of noisy completion, this results in multiple orders of magnitude reduction in the number of measurements needed to determine the 2-RDM to chemical accuracy. These techniques can be readily applied to both classical and quantum algorithms for quantum simulations.
△ Less
Submitted 8 June, 2023;
originally announced June 2023.
-
Simulating quantum circuit expectation values by Clifford perturbation theory
Authors:
Tomislav Begušić,
Kasra Hejazi,
Garnet Kin-Lic Chan
Abstract:
The classical simulation of quantum circuits is of central importance for benchmarking near-term quantum devices. The fact that gates belonging to the Clifford group can be simulated efficiently on classical computers has motivated a range of methods that scale exponentially only in the number of non-Clifford gates. Here, we consider the expectation value problem for circuits composed of Clifford…
▽ More
The classical simulation of quantum circuits is of central importance for benchmarking near-term quantum devices. The fact that gates belonging to the Clifford group can be simulated efficiently on classical computers has motivated a range of methods that scale exponentially only in the number of non-Clifford gates. Here, we consider the expectation value problem for circuits composed of Clifford gates and non-Clifford Pauli rotations, and introduce a heuristic perturbative approach based on the truncation of the exponentially growing sum of Pauli terms in the Heisenberg picture. Numerical results are shown on a Quantum Approximate Optimization Algorithm (QAOA) benchmark for the E3LIN2 problem and we also demonstrate how this method can be used to quantify coherent and incoherent errors of local observables in Clifford circuits. Our results indicate that this systematically improvable perturbative method offers a viable alternative to exact methods for approximating expectation values of large near-Clifford circuits.
△ Less
Submitted 11 July, 2023; v1 submitted 7 June, 2023;
originally announced June 2023.
-
Hierarchical Clifford transformations to reduce entanglement in quantum chemistry wavefunctions
Authors:
Ryan V. Mishmash,
Tanvi P. Gujarati,
Mario Motta,
Huanchen Zhai,
Garnet Kin-Lic Chan,
Antonio Mezzacapo
Abstract:
The performance of computational methods for many-body physics and chemistry is strongly dependent on the choice of basis used to cast the problem; hence, the search for better bases and similarity transformations is important for progress in the field. So far, tools from theoretical quantum information have been not thoroughly explored for this task. Here we take a step in this direction by prese…
▽ More
The performance of computational methods for many-body physics and chemistry is strongly dependent on the choice of basis used to cast the problem; hence, the search for better bases and similarity transformations is important for progress in the field. So far, tools from theoretical quantum information have been not thoroughly explored for this task. Here we take a step in this direction by presenting efficiently computable Clifford similarity transformations for quantum chemistry Hamiltonians, which expose bases with reduced entanglement in the corresponding molecular ground states. These transformations are constructed via block diagonalization of a hierarchy of truncated molecular Hamiltonians, preserving the full spectrum of the original problem. We show that the bases introduced here allow for more efficient classical and quantum computation of ground state properties. First, we find a systematic reduction of bipartite entanglement in molecular ground states as compared to standard problem representations. This entanglement reduction has implications in classical numerical methods such as ones based on the density matrix renormalization group. Then, we develop variational quantum algorithms that exploit the structure in the new bases, showing again improved results when the hierarchical Clifford transformations are used.
△ Less
Submitted 18 January, 2023;
originally announced January 2023.
-
Towards Neural Variational Monte Carlo That Scales Linearly with System Size
Authors:
Or Sharir,
Garnet Kin-Lic Chan,
Anima Anandkumar
Abstract:
Quantum many-body problems are some of the most challenging problems in science and are central to demystifying some exotic quantum phenomena, e.g., high-temperature superconductors. The combination of neural networks (NN) for representing quantum states, coupled with the Variational Monte Carlo (VMC) algorithm, has been shown to be a promising method for solving such problems. However, the run-ti…
▽ More
Quantum many-body problems are some of the most challenging problems in science and are central to demystifying some exotic quantum phenomena, e.g., high-temperature superconductors. The combination of neural networks (NN) for representing quantum states, coupled with the Variational Monte Carlo (VMC) algorithm, has been shown to be a promising method for solving such problems. However, the run-time of this approach scales quadratically with the number of simulated particles, constraining the practically usable NN to - in machine learning terms - minuscule sizes (<10M parameters). Considering the many breakthroughs brought by extreme NN in the +1B parameters scale to other domains, lifting this constraint could significantly expand the set of quantum systems we can accurately simulate on classical computers, both in size and complexity. We propose a NN architecture called Vector-Quantized Neural Quantum States (VQ-NQS) that utilizes vector-quantization techniques to leverage redundancies in the local-energy calculations of the VMC algorithm - the source of the quadratic scaling. In our preliminary experiments, we demonstrate VQ-NQS ability to reproduce the ground state of the 2D Heisenberg model across various system sizes, while reporting a significant reduction of about ${\times}10$ in the number of FLOPs in the local-energy calculation.
△ Less
Submitted 21 December, 2022;
originally announced December 2022.
-
Arithmetic circuit tensor networks, multivariable function representation, and high-dimensional integration
Authors:
Ruo**g Peng,
Johnnie Gray,
Garnet Kin-Lic Chan
Abstract:
Many computational problems can be formulated in terms of high-dimensional functions. Simple representations of such functions and resulting computations with them typically suffer from the "curse of dimensionality", an exponential cost dependence on dimension. Tensor networks provide a way to represent certain classes of high-dimensional functions with polynomial memory. This results in computati…
▽ More
Many computational problems can be formulated in terms of high-dimensional functions. Simple representations of such functions and resulting computations with them typically suffer from the "curse of dimensionality", an exponential cost dependence on dimension. Tensor networks provide a way to represent certain classes of high-dimensional functions with polynomial memory. This results in computations where the exponential cost is ameliorated or in some cases, removed, if the tensor network representation can be obtained. Here, we introduce a direct map** from the arithmetic circuit of a function to arithmetic circuit tensor networks, avoiding the need to perform any optimization or functional fit. We demonstrate the power of the circuit construction in examples of multivariable integration on the unit hypercube in up to 50 dimensions, where the complexity of integration can be understood from the circuit structure. We find very favorable cost scaling compared to quasi-Monte-Carlo integration for these cases, and further give an example where efficient quasi-Monte-Carlo cannot be theoretically performed without knowledge of the underlying tensor network circuit structure.
△ Less
Submitted 16 August, 2022;
originally announced September 2022.
-
Is there evidence for exponential quantum advantage in quantum chemistry?
Authors:
Seunghoon Lee,
Joonho Lee,
Huanchen Zhai,
Yu Tong,
Alexander M. Dalzell,
Ashutosh Kumar,
Phillip Helms,
Johnnie Gray,
Zhi-Hao Cui,
Wenyuan Liu,
Michael Kastoryano,
Ryan Babbush,
John Preskill,
David R. Reichman,
Earl T. Campbell,
Edward F. Valeev,
Lin Lin,
Garnet Kin-Lic Chan
Abstract:
The idea to use quantum mechanical devices to simulate other quantum systems is commonly ascribed to Feynman. Since the original suggestion, concrete proposals have appeared for simulating molecular and materials chemistry through quantum computation, as a potential ``killer application''. Indications of potential exponential quantum advantage in artificial tasks have increased interest in this ap…
▽ More
The idea to use quantum mechanical devices to simulate other quantum systems is commonly ascribed to Feynman. Since the original suggestion, concrete proposals have appeared for simulating molecular and materials chemistry through quantum computation, as a potential ``killer application''. Indications of potential exponential quantum advantage in artificial tasks have increased interest in this application, thus, it is critical to understand the basis for potential exponential quantum advantage in quantum chemistry. Here we gather the evidence for this case in the most common task in quantum chemistry, namely, ground-state energy estimation. We conclude that evidence for such an exponential advantage across chemical space has yet to be found. While quantum computers may still prove useful for quantum chemistry, it may be prudent to assume exponential speedups are not generically available for this problem.
△ Less
Submitted 14 November, 2022; v1 submitted 3 August, 2022;
originally announced August 2022.
-
The chromium dimer: closing a chapter of quantum chemistry
Authors:
Henrik R. Larsson,
Huanchen Zhai,
C. J. Umrigar,
Garnet Kin-Lic Chan
Abstract:
The complex electronic structure and unusual potential energy curve of the chromium dimer have fascinated scientists for decades, with agreement between theory and experiment so far elusive. Here, we present a new ab initio simulation of the potential energy curve and vibrational spectrum that significantly improves on all earlier estimates. Our data support a shift in earlier experimental assignm…
▽ More
The complex electronic structure and unusual potential energy curve of the chromium dimer have fascinated scientists for decades, with agreement between theory and experiment so far elusive. Here, we present a new ab initio simulation of the potential energy curve and vibrational spectrum that significantly improves on all earlier estimates. Our data support a shift in earlier experimental assignments of a cluster of vibrational frequencies by one quantum number. The new vibrational assignment yields an experimentally derived potential energy curve in quantitative agreement with theory across all bond lengths and across all measured frequencies. By solving this long-standing problem, our results raise the possibility of quantitative quantum chemical modeling of transition metal clusters with spectroscopic accuracy.
△ Less
Submitted 24 August, 2022; v1 submitted 21 June, 2022;
originally announced June 2022.
-
Hyper-optimized approximate contraction of tensor networks with arbitrary geometry
Authors:
Johnnie Gray,
Garnet Kin-Lic Chan
Abstract:
Tensor network contraction is central to problems ranging from many-body physics to computer science. We describe how to approximate tensor network contraction through bond compression on arbitrary graphs. In particular, we introduce a hyper-optimization over the compression and contraction strategy itself to minimize error and cost. We demonstrate that our protocol outperforms both hand-crafted c…
▽ More
Tensor network contraction is central to problems ranging from many-body physics to computer science. We describe how to approximate tensor network contraction through bond compression on arbitrary graphs. In particular, we introduce a hyper-optimization over the compression and contraction strategy itself to minimize error and cost. We demonstrate that our protocol outperforms both hand-crafted contraction strategies in the literature as well as recently proposed general contraction algorithms on a variety of synthetic and physical problems on regular lattices and random regular graphs. We further showcase the power of the approach by demonstrating approximate contraction of tensor networks for frustrated three-dimensional lattice partition functions, dimer counting on random regular graphs, and to access the hardness transition of random tensor network models, in graphs with many thousands of tensors.
△ Less
Submitted 5 October, 2023; v1 submitted 14 June, 2022;
originally announced June 2022.
-
Simulating challenging correlated molecules and materials on the Sycamore quantum processor
Authors:
Ruslan N. Tazhigulov,
Shi-Ning Sun,
Reza Haghshenas,
Huanchen Zhai,
Adrian T. K. Tan,
Nicholas C. Rubin,
Ryan Babbush,
Austin J. Minnich,
Garnet Kin-Lic Chan
Abstract:
Simulating complex molecules and materials is an anticipated application of quantum devices. With strong quantum advantage demonstrated in artificial tasks, we examine how such advantage translates into modeling physical problems of correlated electronic structure. We simulate static and dynamical electronic structure on a superconducting quantum processor derived from Google's Sycamore architectu…
▽ More
Simulating complex molecules and materials is an anticipated application of quantum devices. With strong quantum advantage demonstrated in artificial tasks, we examine how such advantage translates into modeling physical problems of correlated electronic structure. We simulate static and dynamical electronic structure on a superconducting quantum processor derived from Google's Sycamore architecture for two representative correlated electron problems: the nitrogenase iron-sulfur molecular clusters, and $α$-ruthenium trichloride, a proximate spin-liquid material. To do so, we simplify the electronic structure into low-energy spin models that fit on the device. With extensive error mitigation and assistance from classically simulated data, we achieve quantitatively meaningful results deploying about 1/5 of the gate resources used in artificial quantum advantage experiments on a similar architecture. This increases to over 1/2 of the gate resources when choosing a model that suits the hardware. Our work serves to convert artificial measures of quantum advantage into a physically relevant setting.
△ Less
Submitted 29 March, 2022;
originally announced March 2022.
-
Holographic simulation of correlated electrons on a trapped ion quantum processor
Authors:
Daoheng Niu,
Reza Haghshenas,
Yuxuan Zhang,
Michael Foss-Feig,
Garnet Kin-Lic Chan,
Andrew C. Potter
Abstract:
We develop holographic quantum simulation techniques to prepare correlated electronic ground states in quantum matrix product state (qMPS) form, using far fewer qubits than the number of orbitals represented. Our approach starts with a holographic technique to prepare a compressed approximation to electronic mean-field ground-states, known as fermionic Gaussian matrix product states (GMPS), with a…
▽ More
We develop holographic quantum simulation techniques to prepare correlated electronic ground states in quantum matrix product state (qMPS) form, using far fewer qubits than the number of orbitals represented. Our approach starts with a holographic technique to prepare a compressed approximation to electronic mean-field ground-states, known as fermionic Gaussian matrix product states (GMPS), with a polynomial reduction in qubit- and (in select cases gate-) resources compared to existing techniques. Correlations are then introduced by augmenting the GMPS circuits in a variational technique which we denote GMPS+X. We demonstrate this approach on Quantinuum's System Model H1 trapped-ion quantum processor for 1$d$ models of correlated metal and Mott insulating states. Focusing on the $1d$ Fermi-Hubbard chain as a benchmark, we show that GMPS+X methods faithfully capture the physics of correlated electron states, including Mott insulators and correlated Luttinger liquid metals, using considerably fewer parameters than problem-agnostic variational circuits.
△ Less
Submitted 12 September, 2022; v1 submitted 20 December, 2021;
originally announced December 2021.
-
Realizing symmetry-protected topological phases in a spin-1/2 chain with next-nearest neighbor hop** on superconducting qubits
Authors:
Adrian T. K. Tan,
Shi-Ning Sun,
Ruslan N. Tazhigulov,
Garnet Kin-Lic Chan,
Austin J. Minnich
Abstract:
The realization of novel phases of matter on quantum simulators is a topic of intense interest. Digital quantum computers offer a route to prepare topological phases with interactions that do not naturally arise in analog quantum simulators. Here, we report the realization of symmetry-protected topological (SPT) phases of a spin-{1/2} Hamiltonian with next-nearest-neighbor hop** on up to 11 qubi…
▽ More
The realization of novel phases of matter on quantum simulators is a topic of intense interest. Digital quantum computers offer a route to prepare topological phases with interactions that do not naturally arise in analog quantum simulators. Here, we report the realization of symmetry-protected topological (SPT) phases of a spin-{1/2} Hamiltonian with next-nearest-neighbor hop** on up to 11 qubits on a programmable superconducting quantum processor. We observe clear signatures of the two distinct SPT phases, such as excitations localized to specific edges and finite string order parameters. Our work advances ongoing efforts to realize novel states of matter with exotic interactions on digital near-term quantum computers.
△ Less
Submitted 19 December, 2021;
originally announced December 2021.
-
Matrix product states with large sites
Authors:
Henrik R. Larsson,
Huanchen Zhai,
Klaas Gunst,
Garnet Kin-Lic Chan
Abstract:
We explore various ways to group orbitals into clusters in a matrix product state (MPS). We explain how a generic cluster MPS can often lead to an increase in computational cost and instead propose a special cluster structure, involving only the first and last orbitals/sites, with a wider scope for computational advantage. This structure is a natural formalism to describe correlated multireference…
▽ More
We explore various ways to group orbitals into clusters in a matrix product state (MPS). We explain how a generic cluster MPS can often lead to an increase in computational cost and instead propose a special cluster structure, involving only the first and last orbitals/sites, with a wider scope for computational advantage. This structure is a natural formalism to describe correlated multireference (MR) theories. We demonstrate the flexibility and usefulness of this approach by implementing various uncontracted MR configuration interaction, perturbation and linearized coupled cluster theories using an MPS with large cluster sites. Applications to the nitrogen dimer, the chromium dimer, and benzene, including up to triple excitations in the external space, demonstrate the utility of an MPS with up to two large sites. We use our results to analyze the quality of different multireference approximations.
△ Less
Submitted 21 January, 2022; v1 submitted 22 September, 2021;
originally announced September 2021.
-
The Variational Power of Quantum Circuit Tensor Networks
Authors:
Reza Haghshenas,
Johnnie Gray,
Andrew C. Potter,
Garnet Kin-Lic Chan
Abstract:
We characterize the variational power of quantum circuit tensor networks in the representation of physical many-body ground-states. Such tensor networks are formed by replacing the dense block unitaries and isometries in standard tensor networks by local quantum circuits. We explore both quantum circuit matrix product states and the quantum circuit multi-scale entanglement renormalization ansatz,…
▽ More
We characterize the variational power of quantum circuit tensor networks in the representation of physical many-body ground-states. Such tensor networks are formed by replacing the dense block unitaries and isometries in standard tensor networks by local quantum circuits. We explore both quantum circuit matrix product states and the quantum circuit multi-scale entanglement renormalization ansatz, and introduce an adaptive method to optimize the resulting circuits to high fidelity with more than $10^4$ parameters. We benchmark their expressiveness against standard tensor networks, as well as other common circuit architectures, for the 1D/2D Heisenberg and 1D Fermi-Hubbard models. We find quantum circuit tensor networks to be substantially more expressive than other quantum circuits for these problems, and that they can even be more compact than standard tensor networks. Extrapolating to circuit depths which can no longer be emulated classically, this suggests a region of advantage in quantum expressiveness in the representation of physical ground-states.
△ Less
Submitted 5 November, 2021; v1 submitted 2 July, 2021;
originally announced July 2021.
-
The Fermionic Quantum Emulator
Authors:
Nicholas C. Rubin,
Klaas Gunst,
Alec White,
Leon Freitag,
Kyle Throssell,
Garnet Kin-Lic Chan,
Ryan Babbush,
Toru Shiozaki
Abstract:
The fermionic quantum emulator (FQE) is a collection of protocols for emulating quantum dynamics of fermions efficiently taking advantage of common symmetries present in chemical, materials, and condensed-matter systems. The library is fully integrated with the OpenFermion software package and serves as the simulation backend. The FQE reduces memory footprint by exploiting number and spin symmetry…
▽ More
The fermionic quantum emulator (FQE) is a collection of protocols for emulating quantum dynamics of fermions efficiently taking advantage of common symmetries present in chemical, materials, and condensed-matter systems. The library is fully integrated with the OpenFermion software package and serves as the simulation backend. The FQE reduces memory footprint by exploiting number and spin symmetry along with custom evolution routines for sparse and dense Hamiltonians, allowing us to study significantly larger quantum circuits at modest computational cost when compared against qubit state vector simulators. This release paper outlines the technical details of the simulation methods and key advantages.
△ Less
Submitted 19 October, 2021; v1 submitted 28 April, 2021;
originally announced April 2021.
-
Constructing Tensor Network Influence Functionals for General Quantum Dynamics
Authors:
Erika Ye,
Garnet Kin-Lic Chan
Abstract:
We describe an iterative formalism to compute influence functionals that describe the general quantum dynamics of a subsystem beyond the assumption of linear coupling to a quadratic bath. We use a space-time tensor network representation of the influence functional and investigate its approximability in terms of the bond dimensions and time-like entanglement in the tensor network description. We s…
▽ More
We describe an iterative formalism to compute influence functionals that describe the general quantum dynamics of a subsystem beyond the assumption of linear coupling to a quadratic bath. We use a space-time tensor network representation of the influence functional and investigate its approximability in terms of the bond dimensions and time-like entanglement in the tensor network description. We study two numerical models, the spin-boson model and a model of interacting hard-core bosons in a 1D harmonic trap. We find that the influence functional and the intermediates involved in its construction can be efficiently approximated by low bond dimension tensor networks in certain dynamical regimes, which allows the quantum dynamics to be accurately computed for longer times than with direct time evolution methods. However, as one iteratively integrates out the bath, the correlations in the influence functional can first increase before decreasing, indicating that the final compressibility of the influence functional is achieved via non-trivial cancellation.
△ Less
Submitted 25 July, 2021; v1 submitted 14 January, 2021;
originally announced January 2021.
-
Quantum Computation of Finite-Temperature Static and Dynamical Properties of Spin Systems Using Quantum Imaginary Time Evolution
Authors:
Shi-Ning Sun,
Mario Motta,
Ruslan N. Tazhigulov,
Adrian T. K. Tan,
Garnet Kin-Lic Chan,
Austin J. Minnich
Abstract:
Develo** scalable quantum algorithms to study finite-temperature physics of quantum many-body systems has attracted considerable interest due to recent advancements in quantum hardware. However, such algorithms in their present form require resources that exceed the capabilities of current quantum computers except for a limited range of system sizes and observables. Here, we report calculations…
▽ More
Develo** scalable quantum algorithms to study finite-temperature physics of quantum many-body systems has attracted considerable interest due to recent advancements in quantum hardware. However, such algorithms in their present form require resources that exceed the capabilities of current quantum computers except for a limited range of system sizes and observables. Here, we report calculations of finite-temperature properties including energies, static and dynamical correlation functions, and excitation spectra of spin Hamiltonians with up to four sites on five-qubit IBM Quantum devices. These calculations are performed using the quantum imaginary time evolution (QITE) algorithm and made possible by several algorithmic improvements, including a method to exploit symmetries that reduces the quantum resources required by QITE, circuit optimization procedures to reduce circuit depth, and error mitigation techniques to improve the quality of raw hardware data. Our work demonstrates that the ansatz-independent QITE algorithm is capable of computing diverse finite-temperature observables on near-term quantum devices.
△ Less
Submitted 8 September, 2020;
originally announced September 2020.
-
Numerical continuum tensor networks in two dimensions
Authors:
Reza Haghshenas,
Zhi-Hao Cui,
Garnet Kin-Lic Chan
Abstract:
We describe the use of tensor networks to numerically determine wave functions of interacting two-dimensional fermionic models in the continuum limit. We use two different tensor network states: one based on the numerical continuum limit of fermionic projected entangled pair states obtained via a tensor network formulation of multi-grid, and another based on the combination of the fermionic projec…
▽ More
We describe the use of tensor networks to numerically determine wave functions of interacting two-dimensional fermionic models in the continuum limit. We use two different tensor network states: one based on the numerical continuum limit of fermionic projected entangled pair states obtained via a tensor network formulation of multi-grid, and another based on the combination of the fermionic projected entangled pair state with layers of isometric coarse-graining transformations. We first benchmark our approach on the two-dimensional free Fermi gas then proceed to study the two-dimensional interacting Fermi gas with an attractive interaction in the unitary limit, using tensor networks on grids with up to 1000 sites.
△ Less
Submitted 24 August, 2020;
originally announced August 2020.
-
Quantum algorithms for quantum chemistry and quantum materials science
Authors:
Bela Bauer,
Sergey Bravyi,
Mario Motta,
Garnet Kin-Lic Chan
Abstract:
As we begin to reach the limits of classical computing, quantum computing has emerged as a technology that has captured the imagination of the scientific world. While for many years, the ability to execute quantum algorithms was only a theoretical possibility, recent advances in hardware mean that quantum computing devices now exist that can carry out quantum computation on a limited scale. Thus i…
▽ More
As we begin to reach the limits of classical computing, quantum computing has emerged as a technology that has captured the imagination of the scientific world. While for many years, the ability to execute quantum algorithms was only a theoretical possibility, recent advances in hardware mean that quantum computing devices now exist that can carry out quantum computation on a limited scale. Thus it is now a real possibility, and of central importance at this time, to assess the potential impact of quantum computers on real problems of interest. One of the earliest and most compelling applications for quantum computers is Feynman's idea of simulating quantum systems with many degrees of freedom. Such systems are found across chemistry, physics, and materials science. The particular way in which quantum computing extends classical computing means that one cannot expect arbitrary simulations to be sped up by a quantum computer, thus one must carefully identify areas where quantum advantage may be achieved. In this review, we briefly describe central problems in chemistry and materials science, in areas of electronic structure, quantum statistical mechanics, and quantum dynamics, that are of potential interest for solution on a quantum computer. We then take a detailed snapshot of current progress in quantum algorithms for ground-state, dynamics, and thermal state simulation, and analyze their strengths and weaknesses for future developments.
△ Less
Submitted 10 July, 2020; v1 submitted 10 January, 2020;
originally announced January 2020.
-
A simplified and improved approach to tensor network operators in two dimensions
Authors:
Matthew J. O'Rourke,
Garnet Kin-Lic Chan
Abstract:
Matrix product states (MPS) and matrix product operators (MPOs) are one dimensional tensor networks that underlie the modern density matrix renormalization group (DMRG) algorithm. The use of MPOs accounts for the high level of generality and wide range of applicability of DMRG. However, current algorithms for two dimensional (2D) tensor network states, known as projected entangled-pair states (PEP…
▽ More
Matrix product states (MPS) and matrix product operators (MPOs) are one dimensional tensor networks that underlie the modern density matrix renormalization group (DMRG) algorithm. The use of MPOs accounts for the high level of generality and wide range of applicability of DMRG. However, current algorithms for two dimensional (2D) tensor network states, known as projected entangled-pair states (PEPS), rarely employ the associated 2D tensor network operators, projected entangled-pair operators (PEPOs), due to their computational cost and conceptual complexity. To lower these two barriers, we describe how to reformulate a PEPO into a set of tensor network operators that resemble MPOs by considering the different sets of local operators that are generated from sequential bipartitions of the 2D system. The expectation value of a PEPO can then be evaluated on-the-fly using only the action of MPOs and generalized MPOs at each step of the approximate contraction of the 2D tensor network. This technique allows for the simpler construction and more efficient energy evaluation of 2D Hamiltonians that contain finite-range interactions, and provides an improved strategy to encode long-range interactions that is orders of magnitude more accurate and efficient than existing schemes.
△ Less
Submitted 11 November, 2019;
originally announced November 2019.
-
Ground-state properties of the hydrogen chain: insulator-to-metal transition, dimerization, and magnetic phases
Authors:
Mario Motta,
Claudio Genovese,
Fengjie Ma,
Zhi-Hao Cui,
Randy Sawaya,
Garnet Kin-Lic Chan,
Natalia Chepiga,
Phillip Helms,
Carlos Jimenez-Hoyos,
Andrew J. Millis,
Ushnish Ray,
Enrico Ronca,
Hao Shi,
Sandro Sorella,
Edwin M. Stoudenmire,
Steven R. White,
Shiwei Zhang
Abstract:
Accurate and predictive computations of the quantum-mechanical behavior of many interacting electrons in realistic atomic environments are critical for the theoretical design of materials with desired properties, and require solving the grand-challenge problem of the many-electron Schrodinger equation. An infinite chain of equispaced hydrogen atoms is perhaps the simplest realistic model for a bul…
▽ More
Accurate and predictive computations of the quantum-mechanical behavior of many interacting electrons in realistic atomic environments are critical for the theoretical design of materials with desired properties, and require solving the grand-challenge problem of the many-electron Schrodinger equation. An infinite chain of equispaced hydrogen atoms is perhaps the simplest realistic model for a bulk material, embodying several central themes of modern condensed matter physics and chemistry, while retaining a connection to the paradigmatic Hubbard model. Here we report a combined application of cutting-edge computational methods to determine the properties of the hydrogen chain in its quantum-mechanical ground state. Varying the separation between the nuclei leads to a rich phase diagram, including a Mott phase with quasi long-range antiferromagnetic order, electron density dimerization with power-law correlations, an insulator-to-metal transition and an intricate set of intertwined magnetic orders.
△ Less
Submitted 13 July, 2020; v1 submitted 4 November, 2019;
originally announced November 2019.
-
Exact Parameterization of Fermionic Wave Functions via Unitary Coupled Cluster Theory
Authors:
Francesco A. Evangelista,
Garnet Kin-Lic Chan,
Gustavo E. Scuseria
Abstract:
A formal analysis is conducted on the exactness of various forms of unitary coupled cluster (UCC) theory based on particle-hole excitation and de-excitation operators. Both the conventional single exponential UCC parameterization and a disentangled (factorized) version are considered. We formulate a differential cluster analysis to determine the UCC amplitudes corresponding to a general quantum st…
▽ More
A formal analysis is conducted on the exactness of various forms of unitary coupled cluster (UCC) theory based on particle-hole excitation and de-excitation operators. Both the conventional single exponential UCC parameterization and a disentangled (factorized) version are considered. We formulate a differential cluster analysis to determine the UCC amplitudes corresponding to a general quantum state. The exactness of conventional UCC (ability to represent any state) is explored numerically and it is formally shown to be determined by the structure of the critical points of the UCC exponential map**. A family of disentangled UCC wave functions are shown to exactly parameterize any state, thus showing how to construct Trotter-error-free parameterizations of UCC for applications in quantum computing. From these results, we derive an exact disentangled UCC parameterization that employs an infinite sequence of particle-hole or general one- and two-body substitution operators.
△ Less
Submitted 22 October, 2019;
originally announced October 2019.
-
On the generalization of the exponential basis for tensor network representations of long-range interactions in two and three dimensions
Authors:
Zhendong Li,
Matthew J. O'Rourke,
Garnet Kin-Lic Chan
Abstract:
In one dimension (1D), a general decaying long-range interaction can be fit to a sum of exponential interactions $e^{-λr_{ij}}$ with varying exponents $λ$, each of which can be represented by a simple matrix product operator (MPO) with bond dimension $D=3$. Using this technique, efficient and accurate simulations of 1D quantum systems with long-range interactions can be performed using matrix prod…
▽ More
In one dimension (1D), a general decaying long-range interaction can be fit to a sum of exponential interactions $e^{-λr_{ij}}$ with varying exponents $λ$, each of which can be represented by a simple matrix product operator (MPO) with bond dimension $D=3$. Using this technique, efficient and accurate simulations of 1D quantum systems with long-range interactions can be performed using matrix product states (MPS). However, the extension of this construction to higher dimensions is not obvious. We report how to generalize the exponential basis to 2D and 3D by defining the basis functions as the Green's functions of the discretized Helmholtz equation for different Helmholtz parameters $λ$, a construction which is valid for lattices of any spatial dimension. Compact tensor network representations can then be found for the discretized Green's functions, by expressing them as correlation functions of auxiliary fermionic fields with nearest neighbor interactions via Grassmann Gaussian integration. Interestingly, this analytic construction in 3D yields a $D=4$ tensor network representation of correlation functions which (asymptotically) decay as the inverse distance ($r^{-1}_{ij}$), thus generating the (screened) Coulomb potential on a cubic lattice. These techniques will be useful in tensor network simulations of realistic materials.
△ Less
Submitted 13 July, 2019;
originally announced July 2019.
-
Dynamical phase behavior of the single- and multi-lane asymmetric simple exclusion process via matrix product states
Authors:
Phillip Helms,
Ushnish Ray,
Garnet Kin-Lic Chan
Abstract:
We analyze the dynamical phases of the current-biased 1D and multi-lane open asymmetric simple exclusion processes (ASEP), using matrix product states and the density matrix renormalization group (DMRG) algorithm. In the 1D ASEP, we present a systematic numerical study of the current cumulant generating function and its derivatives, which serve as dynamical phase order parameters. We further chara…
▽ More
We analyze the dynamical phases of the current-biased 1D and multi-lane open asymmetric simple exclusion processes (ASEP), using matrix product states and the density matrix renormalization group (DMRG) algorithm. In the 1D ASEP, we present a systematic numerical study of the current cumulant generating function and its derivatives, which serve as dynamical phase order parameters. We further characterize the microscopic structure of the phases from local observables and the entanglement spectrum. In the multi-lane ASEP, which may be viewed as finite width 2D strip, we use the same approach and find the longitudinal current-biased dynamical phase behavior to be sensitive to transverse boundary conditions. Our results serve to illustrate the potential of tensor networks in the simulation of classical nonequilibrium statistical models.
△ Less
Submitted 15 April, 2019;
originally announced April 2019.
-
Conversion of projected entangled pair states into a canonical form
Authors:
R. Haghshenas,
Matthew J. O'Rourke,
Garnet Kin-Lic Chan
Abstract:
We propose an algorithm to convert a projected entangled pair state (PEPS) into a canonical form, analogous to the well-known canonical form of a matrix product state. Our approach is based on a variational gauging ansatz for the QR tensor decomposition of PEPS columns into a matrix product operator and a finite depth circuit of unitaries and isometries. We describe a practical initialization sche…
▽ More
We propose an algorithm to convert a projected entangled pair state (PEPS) into a canonical form, analogous to the well-known canonical form of a matrix product state. Our approach is based on a variational gauging ansatz for the QR tensor decomposition of PEPS columns into a matrix product operator and a finite depth circuit of unitaries and isometries. We describe a practical initialization scheme that leads to rapid convergence in the QR optimization. We explore the performance and stability of the variational gauging algorithm in norm calculations for the transverse-field Ising and Heisenberg models on a square lattice. We also demonstrate energy optimization within the PEPS canonical form for the transverse-field Ising and Heisenberg models. We expect this canonical form to open up improved analytical and numerical approaches for PEPS.
△ Less
Submitted 14 August, 2019; v1 submitted 9 March, 2019;
originally announced March 2019.
-
Determining eigenstates and thermal states on a quantum computer using quantum imaginary time evolution
Authors:
Mario Motta,
Chong Sun,
Adrian Teck Keng Tan,
Matthew J. O' Rourke,
Erika Ye,
Austin J. Minnich,
Fernando G. S. L. Brandao,
Garnet Kin-Lic Chan
Abstract:
The accurate computation of Hamiltonian ground, excited, and thermal states on quantum computers stands to impact many problems in the physical and computer sciences, from quantum simulation to machine learning. Given the challenges posed in constructing large-scale quantum computers, these tasks should be carried out in a resource-efficient way. In this regard, existing techniques based on phase…
▽ More
The accurate computation of Hamiltonian ground, excited, and thermal states on quantum computers stands to impact many problems in the physical and computer sciences, from quantum simulation to machine learning. Given the challenges posed in constructing large-scale quantum computers, these tasks should be carried out in a resource-efficient way. In this regard, existing techniques based on phase estimation or variational algorithms display potential disadvantages; phase estimation requires deep circuits with ancillae, that are hard to execute reliably without error correction, while variational algorithms, while flexible with respect to circuit depth, entail additional high-dimensional classical optimization. Here, we introduce the quantum imaginary time evolution and quantum Lanczos algorithms, which are analogues of classical algorithms for finding ground and excited states. Compared to their classical counterparts, they require exponentially less space and time per iteration, and can be implemented without deep circuits and ancillae, or high-dimensional optimization. We furthermore discuss quantum imaginary time evolution as a subroutine to generate Gibbs averages through an analog of minimally entangled typical thermal states. Finally, we demonstrate the potential of these algorithms via an implementation using exact classical emulation as well as through prototype circuits on the Rigetti quantum virtual machine and Aspen-1 quantum processing unit.
△ Less
Submitted 16 February, 2020; v1 submitted 22 January, 2019;
originally announced January 2019.
-
Electronic landscape of the P-cluster of nitrogenase as revealed through many-electron quantum wavefunctions
Authors:
Zhendong Li,
Sheng Guo,
Qiming Sun,
Garnet Kin-Lic Chan
Abstract:
The electronic structure of the nitrogenase metal cofactors is central to nitrogen fixation. However, the P-cluster and iron molybdenum cofactor, each containing eight irons, have resisted detailed characterization of their electronic properties. Through exhaustive many-electron wavefunction simulations enabled by new theoretical methods, we report on the low-energy electronic states of the P-clus…
▽ More
The electronic structure of the nitrogenase metal cofactors is central to nitrogen fixation. However, the P-cluster and iron molybdenum cofactor, each containing eight irons, have resisted detailed characterization of their electronic properties. Through exhaustive many-electron wavefunction simulations enabled by new theoretical methods, we report on the low-energy electronic states of the P-cluster in three oxidation states. The energy scales of orbital and spin excitations overlap, yielding a dense spectrum with features we trace to the underlying atomic states and recouplings. The clusters exist in superpositions of spin configurations with non-classical spin correlations, complicating interpretation of magnetic spectroscopies, while the charges are mostly localized from reorganization of the cluster and its surroundings. Upon oxidation, the opening of the P-cluster significantly increases the density of states, which is intriguing given its proposed role in electron transfer. These results demonstrate that many-electron simulations stand to provide new insights into the electronic structure of the nitrogenase cofactors.
△ Less
Submitted 13 May, 2019; v1 submitted 24 October, 2018;
originally announced October 2018.
-
The electronic complexity of the ground-state of the FeMo cofactor of nitrogenase as relevant to quantum simulations
Authors:
Zhendong Li,
Junhao Li,
Nikesh S. Dattani,
C. J. Umrigar,
Garnet Kin-Lic Chan
Abstract:
We report that a recent active space model of the nitrogenase FeMo cofactor, proposed in the context of quantum simulations, is not representative of the electronic structure of the FeMo cofactor ground-state. Although quantum resource estimates, outside of the cost of adiabatic state preparation, will not be much affected, conclusions should not be drawn from the complexity of classical simulatio…
▽ More
We report that a recent active space model of the nitrogenase FeMo cofactor, proposed in the context of quantum simulations, is not representative of the electronic structure of the FeMo cofactor ground-state. Although quantum resource estimates, outside of the cost of adiabatic state preparation, will not be much affected, conclusions should not be drawn from the complexity of classical simulations of the electronic structure of this system in this active space. We provide a different model active space for the FeMo cofactor that contains the basic open-shell qualitative character, which may be useful as a benchmark system for making classical and quantum resource estimates.
△ Less
Submitted 26 September, 2018;
originally announced September 2018.
-
Low rank representations for quantum simulation of electronic structure
Authors:
Mario Motta,
Erika Ye,
Jarrod R. McClean,
Zhendong Li,
Austin J. Minnich,
Ryan Babbush,
Garnet Kin-Lic Chan
Abstract:
The quantum simulation of quantum chemistry is a promising application of quantum computers. However, for N molecular orbitals, the $\mathcal{O}(N^4)$ gate complexity of performing Hamiltonian and unitary Coupled Cluster Trotter steps makes simulation based on such primitives challenging. We substantially reduce the gate complexity of such primitives through a two-step low-rank factorization of th…
▽ More
The quantum simulation of quantum chemistry is a promising application of quantum computers. However, for N molecular orbitals, the $\mathcal{O}(N^4)$ gate complexity of performing Hamiltonian and unitary Coupled Cluster Trotter steps makes simulation based on such primitives challenging. We substantially reduce the gate complexity of such primitives through a two-step low-rank factorization of the Hamiltonian and cluster operator, accompanied by truncation of small terms. Using truncations that incur errors below chemical accuracy, we are able to perform Trotter steps of the arbitrary basis electronic structure Hamiltonian with $\mathcal{O}(N^3)$ gate complexity in small simulations, which reduces to $\mathcal{O}(N^2 \log N)$ gate complexity in the asymptotic regime, while our unitary Coupled Cluster Trotter step has $\mathcal{O}(N^3)$ gate complexity as a function of increasing basis size for a given molecule. In the case of the Hamiltonian Trotter step, these circuits have $\mathcal{O}(N^2)$ depth on a linearly connected array, an improvement over the $\mathcal{O}(N^3)$ scaling assuming no truncation. As a practical example, we show that a chemically accurate Hamiltonian Trotter step for a 50 qubit molecular simulation can be carried out in the molecular orbital basis with as few as 4,000 layers of parallel nearest-neighbor two-qubit gates, consisting of fewer than 100,000 non-Clifford rotations. We also apply our algorithm to iron-sulfur clusters relevant for elucidating the mode of action of metalloenzymes.
△ Less
Submitted 9 August, 2018; v1 submitted 8 August, 2018;
originally announced August 2018.
-
Quantum Simulation of Electronic Structure with Linear Depth and Connectivity
Authors:
Ian D. Kivlichan,
Jarrod McClean,
Nathan Wiebe,
Craig Gidney,
Alán Aspuru-Guzik,
Garnet Kin-Lic Chan,
Ryan Babbush
Abstract:
As physical implementations of quantum architectures emerge, it is increasingly important to consider the cost of algorithms for practical connectivities between qubits. We show that by using an arrangement of gates that we term the fermionic swap network, we can simulate a Trotter step of the electronic structure Hamiltonian in exactly $N$ depth and with $N^2/2$ two-qubit entangling gates, and pr…
▽ More
As physical implementations of quantum architectures emerge, it is increasingly important to consider the cost of algorithms for practical connectivities between qubits. We show that by using an arrangement of gates that we term the fermionic swap network, we can simulate a Trotter step of the electronic structure Hamiltonian in exactly $N$ depth and with $N^2/2$ two-qubit entangling gates, and prepare arbitrary Slater determinants in at most $N/2$ depth, all assuming only a minimal, linearly connected architecture. We conjecture that no explicit Trotter step of the electronic structure Hamiltonian is possible with fewer entangling gates, even with arbitrary connectivities. These results represent significant practical improvements on the cost of most Trotter based algorithms for both variational and phase estimation based simulation of quantum chemistry.
△ Less
Submitted 2 February, 2018; v1 submitted 13 November, 2017;
originally announced November 2017.
-
Low Depth Quantum Simulation of Electronic Structure
Authors:
Ryan Babbush,
Nathan Wiebe,
Jarrod McClean,
James McClain,
Hartmut Neven,
Garnet Kin-Lic Chan
Abstract:
Quantum simulation of the electronic structure problem is one of the most researched applications of quantum computing. The majority of quantum algorithms for this problem encode the wavefunction using $N$ Gaussian orbitals, leading to Hamiltonians with ${\cal O}(N^4)$ second-quantized terms. We avoid this overhead and extend methods to the condensed phase by utilizing a dual form of the plane wav…
▽ More
Quantum simulation of the electronic structure problem is one of the most researched applications of quantum computing. The majority of quantum algorithms for this problem encode the wavefunction using $N$ Gaussian orbitals, leading to Hamiltonians with ${\cal O}(N^4)$ second-quantized terms. We avoid this overhead and extend methods to the condensed phase by utilizing a dual form of the plane wave basis which diagonalizes the potential operator, leading to a Hamiltonian representation with ${\cal O}(N^2)$ second-quantized terms. Using this representation we can implement single Trotter steps of the Hamiltonians with linear gate depth on a planar lattice. Properties of the basis allow us to deploy Trotter and Taylor series based simulations with respective circuit depths of ${\cal O}(N^{7/2})$ and $\widetilde{\cal O}(N^{8/3})$ for fixed charge densities - both are large asymptotic improvements over all prior results. Variational algorithms also require significantly fewer measurements to find the mean energy in this basis, ameliorating a primary challenge of that approach. We conclude with a proposal to simulate the uniform electron gas (jellium) using a low depth variational ansatz realizable on near-term quantum devices. From these results we identify simulations of low density jellium as a promising first setting to explore quantum supremacy in electronic structure.
△ Less
Submitted 14 January, 2018; v1 submitted 31 May, 2017;
originally announced June 2017.
-
Towards the solution of the many-electron problem in real materials: equation of state of the hydrogen chain with state-of-the-art many-body methods
Authors:
Mario Motta,
David M. Ceperley,
Garnet Kin-Lic Chan,
John A. Gomez,
Emanuel Gull,
Sheng Guo,
Carlos Jimenez-Hoyos,
Tran Nguyen Lan,
Jia Li,
Fengjie Ma,
Andrew J. Millis,
Nikolay V. Prokof'ev,
Ushnish Ray,
Gustavo E. Scuseria,
Sandro Sorella,
Edwin M. Stoudenmire,
Qiming Sun,
Igor S. Tupitsyn,
Steven R. White,
Dominika Zgid,
Shiwei Zhang
Abstract:
We present numerical results for the equation of state of an infinite chain of hydrogen atoms. A variety of modern many-body methods are employed, with exhaustive cross-checks and validation. Approaches for reaching the continuous space limit and the thermodynamic limit are investigated, proposed, and tested. The detailed comparisons provide a benchmark for assessing the current state of the art i…
▽ More
We present numerical results for the equation of state of an infinite chain of hydrogen atoms. A variety of modern many-body methods are employed, with exhaustive cross-checks and validation. Approaches for reaching the continuous space limit and the thermodynamic limit are investigated, proposed, and tested. The detailed comparisons provide a benchmark for assessing the current state of the art in many-body computation, and for the development of new methods. The ground-state energy per atom in the linear chain is accurately determined versus bondlength, with a confidence bound given on all uncertainties.
△ Less
Submitted 6 November, 2017; v1 submitted 1 May, 2017;
originally announced May 2017.
-
Matrix Product Operators, Matrix Product States, and ab initio Density Matrix Renormalization Group algorithms
Authors:
Garnet Kin-Lic Chan,
Anna Keselman,
Naoki Nakatani,
Zhendong Li,
Steven R. White
Abstract:
Current descriptions of the ab initio DMRG algorithm use two superficially different languages: an older language of the renormalization group and renormalized operators, and a more recent language of matrix product states and matrix product operators. The same algorithm can appear dramatically different when written in the two different vocabularies. In this work, we carefully describe the transl…
▽ More
Current descriptions of the ab initio DMRG algorithm use two superficially different languages: an older language of the renormalization group and renormalized operators, and a more recent language of matrix product states and matrix product operators. The same algorithm can appear dramatically different when written in the two different vocabularies. In this work, we carefully describe the translation between the two languages in several contexts. First, we describe how to efficiently implement the ab-initio DMRG sweep using a matrix product operator based code, and the equivalence to the original renormalized operator implementation. Next we describe how to implement the general matrix product operator/matrix product state algebra within a pure renormalized operator-based DMRG code. Finally, we discuss two improvements of the ab initio DMRG sweep algorithm motivated by matrix product operator language: Hamiltonian compression, and a sum over operators representation that allows for perfect computational parallelism. The connections and correspondences described here serve to link the future developments with the past, and are important in the efficient implementation of continuing advances in ab initio DMRG and related algorithms.
△ Less
Submitted 18 June, 2016; v1 submitted 9 May, 2016;
originally announced May 2016.
-
The Thouless theorem for matrix product states and subsequent post-density matrix renormalization group methods
Authors:
Sebastian Wouters,
Naoki Nakatani,
Dimitri Van Neck,
Garnet Kin-Lic Chan
Abstract:
The similarities between Hartree-Fock (HF) theory and the density-matrix renormalization group (DMRG) are explored. Both methods can be formulated as the variational optimization of a wave-function ansatz. Linearization of the time-dependent variational principle near a variational minimum allows to derive the random phase approximation (RPA). We show that the non-redundant parametrization of the…
▽ More
The similarities between Hartree-Fock (HF) theory and the density-matrix renormalization group (DMRG) are explored. Both methods can be formulated as the variational optimization of a wave-function ansatz. Linearization of the time-dependent variational principle near a variational minimum allows to derive the random phase approximation (RPA). We show that the non-redundant parametrization of the matrix product state (MPS) tangent space [J. Haegeman et al., Phys. Rev. Lett. 107, 070601 (2011)] leads to the Thouless theorem for MPS, i.e. an explicit non-redundant parametrization of the entire MPS manifold, starting from a specific MPS reference. Excitation operators are identified, which extends the analogy between HF and DMRG to the Tamm-Dancoff approximation (TDA), the configuration interaction (CI) expansion, and coupled cluster theory. For a small one-dimensional Hubbard chain, we use a CI-MPS ansatz with single and double excitations to improve on the ground state and to calculate low-lying excitation energies. For a symmetry-broken ground state of this model, we show that RPA-MPS allows to retrieve the Goldstone mode. We also discuss calculations of the RPA-MPS correlation energy. With the long-range quantum chemical Pariser-Parr-Pople Hamiltonian, low-lying TDA-MPS and RPA-MPS excitation energies for polyenes are obtained.
△ Less
Submitted 19 July, 2013; v1 submitted 8 May, 2013;
originally announced May 2013.
-
Density matrix embedding: A strong-coupling quantum embedding theory
Authors:
Gerald Knizia,
Garnet Kin-Lic Chan
Abstract:
We extend our density matrix embedding theory (DMET) [Phys. Rev. Lett. 109 186404 (2012)] from lattice models to the full chemical Hamiltonian. DMET allows the many-body embedding of arbitrary fragments of a quantum system, even when such fragments are open systems and strongly coupled to their environment (e.g., by covalent bonds). In DMET, empirical approaches to strong coupling, such as link at…
▽ More
We extend our density matrix embedding theory (DMET) [Phys. Rev. Lett. 109 186404 (2012)] from lattice models to the full chemical Hamiltonian. DMET allows the many-body embedding of arbitrary fragments of a quantum system, even when such fragments are open systems and strongly coupled to their environment (e.g., by covalent bonds). In DMET, empirical approaches to strong coupling, such as link atoms or boundary regions, are replaced by a small, rigorous quantum bath designed to reproduce the entanglement between a fragment and its environment. We describe the theory and demonstrate its feasibility in strongly correlated hydrogen ring and grid models; these are not only beyond the scope of traditional embeddings, but even challenge conventional quantum chemistry methods themselves. We find that DMET correctly describes the notoriously difficult symmetric dissociation of a 4x3 hydrogen atom grid, even when the treated fragments are as small as single hydrogen atoms. We expect that DMET will open up new ways of treating of complex strongly coupled, strongly correlated systems in terms of their individual fragments.
△ Less
Submitted 11 December, 2012;
originally announced December 2012.
-
Excited States, Dynamic Correlation Functions and Spectral Properties from Full Configuration Interaction Quantum Monte Carlo
Authors:
George H. Booth,
Garnet Kin-Lic Chan
Abstract:
In this communication, we propose a method for obtaining isolated excited states within the Full Configuration Interaction Quantum Monte Carlo framework. This method allows for stable sampling with respect to collapse to lower energy states and requires no uncontrolled approximations. In contrast with most previous methods to extract excited state information from Quantum Monte Carlo methods, this…
▽ More
In this communication, we propose a method for obtaining isolated excited states within the Full Configuration Interaction Quantum Monte Carlo framework. This method allows for stable sampling with respect to collapse to lower energy states and requires no uncontrolled approximations. In contrast with most previous methods to extract excited state information from Quantum Monte Carlo methods, this results from a modification to the underlying propagator, and does not require explicit orthogonalization, analytic continuation, transient estimators or restriction of the Hilbert space via a trial wavefunction. Furthermore, we show that the propagator can directly yield frequency-domain correlation functions and spectral functions such as the density of states which are difficult to obtain within a traditional Quantum Monte Carlo framework. We demonstrate this approach with pilot applications to the neon atom and beryllium dimer.
△ Less
Submitted 5 October, 2012;
originally announced October 2012.
-
Analytic Time Evolution, Random Phase Approximation, and Green Functions for Matrix Product States
Authors:
Jesse M. Kinder,
Claire C. Ralph,
Garnet Kin-Lic Chan
Abstract:
Drawing on similarities in Hartree-Fock theory and the theory of matrix product states (MPS), we explore extensions to time evolution, response theory, and Green functions. We derive analytic equations of motion for MPS from the least action principle, which describe optimal evolution in the small time-step limit. We further show how linearized equations of motion yield a MPS random phase approxim…
▽ More
Drawing on similarities in Hartree-Fock theory and the theory of matrix product states (MPS), we explore extensions to time evolution, response theory, and Green functions. We derive analytic equations of motion for MPS from the least action principle, which describe optimal evolution in the small time-step limit. We further show how linearized equations of motion yield a MPS random phase approximation, from which one obtains response functions and excitations. Finally we analyze the structure of site-based Green functions associated with MPS, as well as the structure of correlations introduced via the fluctuation-dissipation theorem.
△ Less
Submitted 10 March, 2011;
originally announced March 2011.
-
Tensor factorizations of local second-order Møller Plesset theory
Authors:
Jun Yang,
Yuki Kurashige,
Frederick R. Manby,
Garnet K. L. Chan
Abstract:
Efficient electronic structure methods can be built around efficient tensor representations of the wavefunction. Here we describe a general view of tensor factorization for the compact representation of electronic wavefunctions. We use these ideas to construct low-complexity representations of the doubles amplitudes in local second order Møller-Plesset perturbation theory. We introduce two approxi…
▽ More
Efficient electronic structure methods can be built around efficient tensor representations of the wavefunction. Here we describe a general view of tensor factorization for the compact representation of electronic wavefunctions. We use these ideas to construct low-complexity representations of the doubles amplitudes in local second order Møller-Plesset perturbation theory. We introduce two approximations - the direct orbital specific virtual approximation and the full orbital specific virtual approximation. In these approximations, each occupied orbital is associated with a small set of correlating virtual orbitals. Conceptually, the representation lies between the projected atomic orbital representation in Pulay-Saebø local correlation theories and pair natural orbital correlation theories. We have tested the orbital specific virtual approximations on a variety of systems and properties including total energies, reaction energies, and potential energy curves. Compared to the Pulay-Saebø ansatz, we find that these approximations exhibit favourable accuracy and computational times, while yielding smooth potential energy curves.
△ Less
Submitted 29 August, 2010;
originally announced August 2010.