The past few years have witnessed a remarkable interest in the application of quantum computing for solving problems in quantum chemistry more efficiently than classical computers allow. Very recently, proof-of-principle experimental realizations have been reported. However, so far only the nonrelativistic regime (i.e., the Schr\"odinger equation) has been explored, while it is well known that relativistic effects can be very important in chemistry. We present a quantum algorithm for relativistic computations of molecular energies. We show how to efficiently solve the eigenproblem of the Dirac-Coulomb Hamiltonian on a quantum computer and demonstrate the functionality of the proposed procedure by numerical simulations of computations of the spin-orbit splitting in the SbH molecule. Finally, we propose quantum circuits with three qubits and nine or ten controlled-not (cnot) gates, which implement a proof-of-principle relativistic quantum chemical calculation for this molecule and might be suitable for an experimental realization.
The past few years have witnessed a remarkable interest in the application of quantum computing for solving problems in quantum chemistry more efficiently than classical computers allow. Very recently, proof-of-principle experimental realizations have been reported. However, so far only the nonrelativistic regime (i.e., the Schr"odinger equation) has been explored, while it is well known that relativistic effects can be very important in chemistry. We present a quantum algorithm for relativistic computations of molecular energies. We show how to efficiently solve the eigenproblem of the Dirac-Coulomb Hamiltonian on a quantum computer and demonstrate the functionality of the proposed procedure by numerical simulations of computations of the spin-orbit splitting in the SbH molecule. Finally, we propose quantum circuits with three qubits and nine or ten controlled-not (cnot) gates, which implement a proof-of-principle relativistic quantum chemical calculation for this molecule and might be suitable for an experimental realization.
Quantum chemistry is concerned with solving the Schrodinger equation for chemically relevant systems. This is typically done by making useful and systematic approximations which form the basis for model chemistries. A primary contribution of this dissertation, is taking concrete steps toward establishing a new model chemistry based on quantum computation. Electronic energies of the system can be efficiently obtained to fixed accuracy using quantum algorithms exploiting the ability of quantum computers to efficiently simulate the time evolution of quantum systems. The quantum circuits for simulation of arbitrary electronic Hamiltonians are given using quantum bits associated with single particle basis functions. This model chemistry is applied to hydrogen molecule as a case study where all necessary quantum circuits are clearly laid out. Furthermore, our collaboration to experimentally realize a simplified version of the hydrogen molecule quantum circuit is also included in this thesis. Finally, alternatives to the gate model of quantum computation are pursued by exploring models based on the quantum adiabatic theorem and on the generalization of random walks.
Quantum computers have been proved to be able to mimic quantum systems efficiently in polynomial time. Quantum chemistry problems, such as static molecular energy calculations and dynamical chemical reaction simulations, become very intractable on classical computers with scaling up of the system. Therefore, quantum simulation is a feasible and effective approach to tackle quantum chemistry problems. Proof-of-principle experiments have been implemented on the calculation of the hydrogen molecular energies and one-dimensional chemical isomerization reaction dynamics using nuclear magnetic resonance systems. We conclude that quantum simulation will surpass classical computers for quantum chemistry in the near future.
Determining properties of molecules and materials is one of the premier applications of quantum computing. A major question in the thesis is: how might we use long- and near-term quantum computers to solve problems of chemical interest? First, we give an overview of the standard model in electronic structure theory. Electronic structure methods have been improved significantly in the last decades; however, it is still a non-trivial task to fit experimental results for complex molecular systems. Second, we introduce quantum computation and quantum algorithms as an alternative device to solve the electronic structure problem. In the remaining part of the thesis, we describe the research projects. The thesis covers two (rather different) research directions: software and hardware projects. For the software part, we contribute with two new algorithms: Phase-Estimation Interval Target Energy Readout (PHILTER) and Recursive Variational Series Estimation (RVSE), where both are designed to be run on a quantum digital computer and extract materials and molecular properties. The PHILTER algorithm is a modification of the Quantum Phase Estimation and is designed to compute excited state energies within a target energy-interval for cases where good approximations for the states in the target energy-interval are either unknown or hard to prepare. For the RVSE algorithm, we pose the question: how might we use imperfect near-term quantum computers to solve problems of practical value? In this work, we introduce a method to compute expectation values of general functions of a Hamiltonian with respect to an input state using low depth quantum circuits suitable for noisy intermediate-scale quantum computers. For the hardware part, we propose a new chemical quantum computer by using molecular electronics as a basis for quantum computing. In this work, we pose the question: can scattering of electrons in molecules produce quantum gates? We construct one-qubit gates using one-electron scattering in molecules, and two-qubit controlled-phase gates using electron-electron scattering along metallic leads. We show initial applications of the framework by illustrating one-qubit gates using the molecular electronic structure of molecular hydrogen as a baseline model.
Computational quantum chemistry is a theoretical approach that utilizes the principles of quantum mechanics to perform computations on the electronic structure of molecules and atoms. This method enables the prediction of properties such as molecular structure, energy, electron orbitals, and electron density. In the field of the first principles, or ab initio, which relies solely on computation and not on experimental data, mathematical understanding allows even those without a background in chemistry to perform molecular orbital computations. The computation of quantum chemistry is computationally intensive, making them highly applicable in the field of high-performance computing. However, initiating quantum chemistry can be challenging for newcomers due to the numerous specialized terms and complex equations from quantum mechanics and chemistry. Therefore, this paper aims to provide a clear and accessible compilation of the fundamental and essential algorithm of the Hartree- Fock method, from theory to implementation. The goal is to offer the minimum required knowledge, in an approachable manner, serving as a starting point for those interested in computational quantum chemistry.
Abstract Digital quantum computers provide a computational framework for solving the Schrödinger equation for a variety of many‐particle systems. Quantum computing algorithms for the quantum simulation of these systems have recently witnessed remarkable growth, notwithstanding the limitations of existing quantum hardware, especially as a tool for electronic structure computations in molecules. In this review, we provide a self‐contained introduction to emerging algorithms for the simulation of Hamiltonian dynamics and eigenstates, with emphasis on their applications to the electronic structure in molecular systems. Theoretical foundations and implementation details of the method are discussed, and their strengths, limitations, and recent advances are presented. This article is categorized under: Quantum Computing > Algorithms Electronic Structure Theory > Ab Initio Electronic Structure Methods Quantum Computing > Theory Development
Quantum computation appears to offer significant advantages over classical computation and this has generated a tremendous interest in the field. In this thesis we study the application of quantum computers to computational problems in science and engineering, and to combinatorial optimization problems. We outline the results below. Algorithms for scientific computing require modules, i.e., building blocks, implementing elementary numerical functions that have well-controlled numerical error, are uniformly scalable and reversible, and that can be implemented efficiently. We derive quantum algorithms and circuits for computing square roots, logarithms, and arbitrary fractional powers, and derive worst-case error and cost bounds. We describe a modular approach to quantum algorithm design as a first step towards numerical standards and mathematical libraries for quantum scientific computing. A fundamental but computationally hard problem in physics is to solve the time-independent Schrödinger equation. This is accomplished by computing the eigenvalues of the corresponding Hamiltonian operator. The eigenvalues describe the different energy levels of a system. The cost of classical deterministic algorithms computing these eigenvalues grows exponentially with the number of system degrees of freedom. The number of degrees of freedom is typically proportional to the number of particles in a physical system. We show an efficient quantum algorithm for approximating a constant number of low-order eigenvalues of a Hamiltonian using a perturbation approach. We apply this algorithm to a special case of the Schrödinger equation and show that our algorithm succeeds with high probability, and has cost that scales polynomially with the number of degrees of freedom and the reciprocal of the desired accuracy. This improves and extends earlier results on quantum algorithms for estimating the ground state energy. We consider the simulation of quantum mechanical systems on a quantum computer. We show a novel divide and conquer approach for Hamiltonian simulation. Using the Hamiltonian structure, we can obtain faster simulation algorithms. Considering a sum of Hamiltonians we split them into groups, simulate each group separately, and combine the partial results. Simulation is customized to take advantage of the properties of each group, and hence yield refined bounds to the overall simulation cost. We illustrate our results using the electronic structure problem of quantum chemistry, where we obtain significantly improved cost estimates under mild assumptions. We turn to combinatorial optimization problems. An important open question is whether quantum computers provide advantages for the approximation of classically hard combinatorial problems. A promising recently proposed approach of Farhi et al. is the Quantum Approximate Optimization Algorithm (QAOA). We study the application of QAOA to the Maximum Cut problem, and derive analytic performance bounds for the lowest circuit-depth realization, for both general and special classes of graphs. Along the way, we develop a general procedure for analyzing the performance of QAOA for other problems, and show an example demonstrating the difficulty of obtaining similar results for greater depth. We show a generalization of QAOA and its application to wider classes of combinatorial optimization problems, in particular, problems with feasibility constraints. We introduce the Quantum Alternating Operator Ansatz, which utilizes more general unitary operators than the original QAOA proposal. Our framework facilitates low-resource implementations for many applications which may be particularly suitable for early quantum computers. We specify design criteria, and develop a set of results and tools for mapping diverse problems to explicit quantum circuits. We derive constructions for several important prototypical problems including Maximum Independent Set, Graph Coloring, and the Traveling Salesman problem, and show appealing resource cost estimates for their implementations.