HOME

TheInfoList



OR:

In
quantum computing Quantum computing is a type of computation whose operations can harness the phenomena of quantum mechanics, such as superposition, interference, and entanglement. Devices that perform quantum computations are known as quantum computers. Though ...
, the variational quantum eigensolver (VQE) is a
quantum algorithm In quantum computing, a quantum algorithm is an algorithm which runs on a realistic model of quantum computation, the most commonly used model being the quantum circuit model of computation. A classical (or non-quantum) algorithm is a finite sequ ...
for
quantum chemistry Quantum chemistry, also called molecular quantum mechanics, is a branch of physical chemistry focused on the application of quantum mechanics to chemical systems, particularly towards the quantum-mechanical calculation of electronic contributions ...
, quantum simulations and optimization problems. It is a hybrid algorithm that uses both classical computers and quantum computers to find the
ground state The ground state of a quantum-mechanical system is its stationary state of lowest energy; the energy of the ground state is known as the zero-point energy of the system. An excited state is any state with energy greater than the ground state. ...
of a given physical system. Given a guess or
ansatz In physics and mathematics, an ansatz (; , meaning: "initial placement of a tool at a work piece", plural Ansätze ; ) is an educated guess or an additional assumption made to help solve a problem, and which may later be verified to be part of the ...
, the quantum processor calculates the expectation value of the system with respect to an
observable In physics, an observable is a physical quantity that can be measured. Examples include position and momentum. In systems governed by classical mechanics, it is a real-valued "function" on the set of all possible system states. In quantum ph ...
, often the Hamiltonian, and a classical optimizer is used to improve the guess. The algorithm is based on
variational method The calculus of variations (or Variational Calculus) is a field of mathematical analysis that uses variations, which are small changes in functions and functionals, to find maxima and minima of functionals: mappings from a set of functions t ...
of quantum mechanics. It was originally proposed in 2013, with corresponding authors Alberto Peruzzo,
Alán Aspuru-Guzik Alán Aspuru-Guzik is a professor of chemistry, computer science, chemical engineering and materials science at the University of Toronto. His research group, the matter lab, studies quantum chemistry, AI for chemical and materials discovery, ...
and
Jeremy O'Brien Jeremy O'Brien (born 1975, Australia) is a physicist who researches in quantum optics, optical quantum metrology and quantum information science. He co-founded and serves as CEO of the quantum computing firm PsiQuantum. Formerly, he was Profes ...
. The algorithm has also found applications in
quantum machine learning Quantum machine learning is the integration of quantum algorithms within machine learning programs. The most common use of the term refers to machine learning algorithms for the analysis of classical data executed on a quantum computer, i.e. quan ...
and has been further substantiated by general hybrid algorithms between quantum and classical computers. It is an example of a noisy intermediate-scale quantum (NISQ) algorithm.


Description


Pauli encoding

The objective of the VQE is to find a set of quantum operations that prepares the lowest energy state (or minima) of a close approximation to some target quantity or observable. While the only strict requirement for the representation of an observable be that it is efficient to estimate its expectation values, it is often simplest if that operator has a compact or simple expression in terms of Pauli operators or tensor products of Pauli operators. For a fermionic system, it is often most convenient to qubitize: that is to write the many-body
Hamiltonian Hamiltonian may refer to: * Hamiltonian mechanics, a function that represents the total energy of a system * Hamiltonian (quantum mechanics), an operator corresponding to the total energy of that system ** Dyall Hamiltonian, a modified Hamiltonian ...
of the system using
second quantization Second quantization, also referred to as occupation number representation, is a formalism used to describe and analyze quantum many-body systems. In quantum field theory, it is known as canonical quantization, in which the fields (typically as t ...
, and then use a mapping to write the creation-anhiliation operators in terms of Pauli operators. Common schemes for fermions include
Jordan–Wigner transformation The Jordan–Wigner transformation is a transformation that maps spin operators onto fermionic creation and annihilation operators. It was proposed by Pascual Jordan and Eugene Wigner for one-dimensional lattice models, but now two-dimensional ana ...
, Bravyi-Kitaev transformation and parity transformation. Once the Hamiltonian \hat is written in terms of Pauli operators and irrelevant states are discarded (finite-dimensional space), it would consist of a linear combination of Pauli strings \hat_i consisting of tensor products of Pauli operators, such that :\hat=\sum_\alpha_i \hat_i, where \alpha_i are numerical coefficients. Based on the coefficients, the number of Pauli strings can be reduced in order to optimize the calculation. The VQE can be adapted to other optimization problems by adapting the Hamiltonian to be a cost function.


Ansatz and initial trial function

The choice of ansatz state depends on the system of interest. In gate-based quantum computing, the ansatz is given by a parametrized
quantum circuit In quantum information theory, a quantum circuit is a model for quantum computation, similar to classical circuits, in which a computation is a sequence of quantum gates, measurements, initializations of qubits to known values, and possibly othe ...
, whose parameters can be updated after each run. The ansatz has to be adaptable enough to not miss the desired state. A common method to obtain a valid ansatz is given by the unitary coupled cluster (UCC) framework and its extensions. If the ansatz is not chosen adequately the procedure may halt at suboptimal parameters that do not correspond to a minima. In this situation the algorithm is said to have reached a 'barren plateau'. The ansatz can be set to an initial trial function to start the algorithm. For example, for a molecular system, one can use the
Hartree–Fock method In computational physics and chemistry, the Hartree–Fock (HF) method is a method of approximation for the determination of the wave function and the energy of a quantum many-body system in a stationary state. The Hartree–Fock method often a ...
to provide a starting state that is close to the real ground-state.


Measurement

The expectation value of a given state , \psi(\theta_1,\cdots,\theta_N)\rangle with parameters \_^N, has a expectation value of the energy or cost function given by :E(\theta_1,\cdots,\theta_n)=\langle\hat\rangle=\sum_\alpha_i \langle\psi(\theta_1,\cdots,\theta_N), \hat_i, \psi(\theta_1,\cdots,\theta_N)\rangle so in order to obtain the expectation value of the energy, one can measure the expectation value of each Pauli string (number of count for a given value over the total number of counts). This step correspond to measuring each qubit in the axis of provided by the Pauli string. For example, for the string X\otimes Y\otimes Y, the first qubit is to be measured in the ''x''-axis, while the last two are to be measured in the ''y''-axis of the
Bloch sphere In quantum quantum mechanics, mechanics and Quantum computing, computing, the Bloch sphere is a geometrical representation of the pure state space of a two-level system, two-level quantum mechanical system (qubit), named after the physicist Felix ...
. If measurement in the ''z''-axis are only possible, then
Clifford gates In quantum computing and quantum information theory, the Clifford gates are the elements of the Clifford group, a set of mathematical transformations which normalize the ''n''-qubit Pauli group, i.e., map tensor products of Pauli matrices to te ...
can be used to transform between axes. If two Pauli strings commute, then they can be both measured simultaneously using the same circuit and interpreting the result according to the Pauli algebra.


Variational method and optimization

Given a parametrized ansatz for the ground state eigenstate, with parameters that can be modified, one is sure to find the parametrized state that is closes to the ground state based on the variational method of quantum mechanics. Using classical algorithms in a digital computer, the parameters of the ansatz can be optimized. For this minimization it is necessary to find the minima of a multivariable function. Classical optimizers using
gradient descent In mathematics, gradient descent (also often called steepest descent) is a first-order iterative optimization algorithm for finding a local minimum of a differentiable function. The idea is to take repeated steps in the opposite direction of the ...
can be used for this purpose. By running the circuit many times and constantly updating the parameters to find the global minima of the expectation value of the desired observable, one can approach the ground state of the given system and store it in a quantum processors as a series of
quantum gate In quantum computing and specifically the quantum circuit model of computation, a quantum logic gate (or simply quantum gate) is a basic quantum circuit operating on a small number of qubits. They are the building blocks of quantum circuits, lik ...
instructions.


Use


In chemistry

As of 2022, the variational quantum eigensolver can only simulate small molecules like the
helium hydride ion The helium hydride ion or hydridohelium(1+) ion or helonium is a cation (positively charged ion) with chemical formula HeH+. It consists of a helium atom bonded to a hydrogen atom, with one electron removed. It can also be viewed as protonated h ...
or the
beryllium hydride Beryllium hydride (systematically named poly eryllane(2)and beryllium dihydride) is an inorganic compound with the chemical formula ()''n'' (also written ()''n'' or ). This alkaline earth hydride is a colourless solid that is insoluble in solv ...
molecule. Larger molecules can be simulated by taking into account symmetry considerations. In 2020, a 12 qubit simulation of a hydrogen chain (H12) was demonstrated using
Google's Google LLC () is an American Multinational corporation, multinational technology company focusing on Search Engine, search engine technology, online advertising, cloud computing, software, computer software, quantum computing, e-commerce, ar ...
Sycamore quantum processor.


See also

*
Quantum optimization algorithms Quantum optimization algorithms are quantum algorithms that are used to solve optimization problems. Mathematical optimization deals with finding the best solution to a problem (according to some criteria) from a set of possible solutions. Mostly ...


Notes


References

{{Quantum information Quantum algorithms