This application claims priority to EP 21305788.8, filed on Jun. 9, 2021, which is incorporated by reference herein in its entirety.
This disclosure pertains to the field of methods for finding an optimal quantum state minimizing the energy of a Hamiltonian operator with a quantum processor by using a Variational Quantum Eigensolver, VQE, method, which can be used for determining a quantum state of a chemical compound or for determining physical quantum properties of materials.
Currently, the performance of the quantum programs that can be executed on quantum processors is severely limited by their duration and complexity, in part due to the quantum noise affecting the quantum processors and the important depths of the quantum circuits implementing the quantum program. In particular, quantum programs used to compute the minimum of a cost function need to be tailored to respect the noise constraints to avoid a large accuracy loss. Existing methods require quantum circuit depths that are usually incompatible with the quantum processors noise constraints leading to poor accuracies in the determination of the minimum of a cost function.
Some methods have been developed in order to compute the minimum of a cost function, expressed as the expectation value of a Hamiltonian operator over a variational state, by using a variational method known as Variational Quantum Eigensolver (VQE) method. Generally speaking, this method is used to estimate the quantum ground state of a given Hamiltonian operator. The computing of the VQE method starts from a trial quantum state constructed using a quantum circuit defined by a set of parameters such as rotation gates' angles. The energy associated with the Hamiltonian operator is computed for this given instance of the trial circuit. Then, a classical minimizer proposes new values for the circuit's parameters. The process goes on with updated parameters being proposed by the classical minimizer based on the energy evaluations provided by the quantum computer until hopefully the minimal energy is returned. For this method to succeed, the trial quantum circuit must be expressive enough (typically, the more parametrized gates the quantum circuit encompasses, the more expressive it is), the minimization procedure must be feasible (the more parameters in the set of parameters of the quantum circuit, the harder the minimization) and the trial quantum state preparation and energy measurement must be accurate. However, on noisy quantum processors, the actual trial quantum state that is prepared departs from the expected perfect quantum state due to quantum noise, such that the measurement of its energy may also be altered, resulting in speed and accuracy problems in the convergence of the VQE methods.
Another method called PermVQE has been developed in the non-patent literature Correlation-Informed Permutation of Qubits for Reducing Ansatz Depth in VQE, Tkachenko et al arXiv preprint arXiv:2009.04996, 2020. In this paper, it is proposed to add an optimization loop to the VQE method that permutes qubits in order to solve for the qubit Hamiltonian that minimizes long-range correlations in the quantum ground state. The qubits are originally represented in an initial orbital basis, which is permuted in the optimization loop by the permutation of the qubits. The choice of permutations is based on mutual information, which is a measure of interaction between electrons in spin-orbitals. Encoding strongly interacting spin-orbitals into proximal qubits on a quantum processor with a nearest-neighbor connectivity (as is the case for e.g superconducting processors) naturally reduces the circuit depth needed to prepare the trial quantum state, as it does not require the insertion of additional SWAP gates (or other qubit routing methods) to satisfy the connectivity constraints.
It is also known from the numerous classical quantum chemistry and condensed-matter approaches how to exploit the freedom in selecting the basis in which the qubits are represented for improving the speed and/or accuracy of their algorithms. The prior art Quantum Theory of Many-Particle Systems. I. Physical Interpretations by Means of Density Matrices, Natural Spin-Orbitals, and Convergence Problems in the Method of Configurational Interaction, Physical Review volume 97 number 6, Mar. 15, 1955, Per-Olov Lödwin, describes the concept of natural orbital basis to designate the basis in which the representation of a quantum state is the simplest, i.e. the basis that necessitates the least number of Slater determinants to represent the quantum state. In quantum mechanics, a Slater determinant is an expression that describes the wave function of a non-interacting multi-fermionic system. It satisfies anti-symmetry requirements, and consequently the Pauli principle, by changing sign upon exchange of two fermions. What is interesting from a quantum computing standpoint is that a Slater determinant is a state of the computational basis, i.e. a state that can be described with a single state on the qubits. As the number of Slater determinants in the representation of a quantum state dictates the complexity of the quantum circuit required to prepare it, minimizing it is crucial. However, the method is applicable only with classical processors, i.e. non-quantum processors. Moreover, the natural orbital basis one is interested in going to depends on the quantum ground state, which is not known since it is precisely what one is searching for. The natural orbital basis can thus be computed only a posteriori.
The invention at least partially remedies the shortcuts of the prior arts and optimizes the minimization of the energy associated with a Hamiltonian operator with a quantum processor.
According to a first aspect, it is proposed a method for finding an optimal quantum state minimizing the energy associated with a Hamiltonian operator with a quantum processor by using a Variational Quantum Eigensolver, VQE, method, the quantum processor comprising a predetermined quantum circuit for producing trial quantum states for the Hamiltonian operator, said predetermined quantum circuit comprising at least parametric quantum gates associated with one or more parameters to be optimized, the method comprising:
providing the Hamiltonian operator in an orbital basis and iteratively, until a predefined stopping criterion is satisfied:
wherein, when the predefined stopping criterion is satisfied, the method further comprises returning, as the optimal quantum state minimizing the energy associated with the Hamiltonian operator, the intermediate quantum state which minimizes the most the energy associated with the Hamiltonian operator.
Therefore, the VQE method is performed iteratively with an additional phase during which the orbital basis in which the Hamiltonian operator is provided gets updated based on the intermediate optimal quantum state determined by the VQE method. By iteratively determining an intermediate optimal quantum state and updating the orbital basis, the orbital basis progressively approaches the natural orbital basis, thereby progressively enhancing the expressivity of the quantum circuit used for preparing trial quantum states. The transformation of the minimization problem to the natural orbital basis endows the method with a guarantee that the minimization of the energy associated with the Hamiltonian operator is in fine performed in the most economical basis, enabling to compromise between the size of the quantum circuit used to prepare trial quantum states and its expressivity in the orbital basis.
The method enables for quantum circuits, preferably of low-depth, that may not be expressive enough in the initial orbital basis, to become more and more expressive as the method converges to the natural orbital basis. At the same time, since these predetermined quantum circuits may be of limited depth, they are robust to noise, thereby enhancing the accuracy of the minimization.
In another aspect, it is proposed a method for determining a quantum state of a chemical compound, such as a molecule, comprising a method for finding an optimal quantum state minimizing the energy associated with a Hamiltonian operator with a quantum processor, wherein an expectation value of the Hamiltonian operator over a given quantum state corresponds to the energy of said quantum state.
In another aspect, it is proposed a method for determining physical properties of materials comprising a method for finding an optimal quantum state by minimizing the energy associated with a Hamiltonian operator with a quantum processor.
The following features, can be optionally implemented, separately or in combination one with the others:
the step of applying the VQE method is an iterative scheme in which the quantum processor is used in conjunction with a classical processor, the quantum processor preparing a trial quantum state for the Hamiltonian operator and performing measurements representative of the energy associated with the Hamiltonian operator for said trial quantum state, and the classical processor updating values of the parameters of the parametric quantum gates of the predetermined quantum circuit based on the measurements performed by the quantum processor, the iterative scheme being executed until a second predefined stopping criterion is satisfied, the VQE method returning the optimized values of the parameters;
the predetermined quantum circuit is a product quantum circuit comprising only one-qubit quantum gates in the form of rotations, or a quantum circuit comprising fSim quantum gates or a Low-Depth Circuit Ansatz, LDCA, quantum circuit;
a physical quantum state is encoded into a qubit state by means of the Jordan-Wigner transformation from which the Hamiltonian operator is decomposed accordingly in terms of qubit observables
the method is applied on a Hubbard model for which the Hamiltonian operator is provided;
the Hubbard model is a Hubbard model at half-filling;
the Hamiltonian operator is a second-quantized Hamiltonian;
the Hamiltonian operator represents an energy of a molecule, the optimal quantum state corresponding to the eigenvector associated the lowest eigenvalue;
the molecule is a H2, LiH and/or H2O molecule;
the number of qubits in the predetermined quantum circuit corresponds to a number of spin-orbitals used to describe the molecule;
the predefined stopping criterion is a maximum number of iterations and/or a minimum change of a variance between the minimums of the energy associated with the Hamiltonian operator obtained after two consecutive iterations;
the parametric quantum gates comprise rotation quantum gates, and wherein the parameters associated with said rotation quantum gates comprise values of angles.
Other features, details and advantages will be shown in the following detailed description and on the figures, on which:
It is now referred to
At step S1, a predetermined quantum circuit Uθ, or simply “quantum circuit Uθ” in the following specification, for providing trial quantum states |ψθ is provided. In the field of quantum mechanics, the quantum circuit Uθ can be referred to as an ansatz quantum circuit. The quantum circuit Uθ comprises at least parametric quantum gates associated with parameters θ to be optimized. The trial quantum states can be expressed as |ψθ=Uθ|0⊗M where |0⊗M is the initial quantum state of the M-qubit quantum processor.
In an embodiment, the parametric quantum gates of the quantum circuit Uθ comprise, for instance, quantum rotation gates, the parameters θ to be optimized comprising, for instance, angles of the quantum rotation gates.
In an embodiment, the method is computed on a Noisy Intermediate Scale Quantum (NISQ) processor, which is a quantum processing unit (QPU), comprising only a few tens of qubits and operating with relatively high error rates. Due to their limited capacity, NISQ processors are generally used in conjunction with classical processors (CPUs), for instance to minimize a cost function. The predetermined quantum circuit should comply with the constraints of the NISQ processor. In particular, the quantum circuit Uθ that is used to prepare the trial quantum state |ψθ=Uθ|0⊗M (with M the number of qubits) should fulfill the connectivity and gateset constraints of the quantum processor, and more importantly be compatible with its decoherence properties. On the other hand, the quantum circuit Uθ needs to contain enough quantum gates so that the quantum state |ψθ it prepares can approximate with sufficient accuracy the expected quantum ground state, also called the optimal quantum state, to be found.
In an embodiment, the quantum circuit Uθ may be a “product” quantum circuit, comprising only one-qubit gates in the form of rotations as illustrated on
The product quantum circuit only produces product quantum states, also known as Slater determinants, and is adapted only to non-interacting Hamiltonian operators expressed in their diagonal basis.
The fSim quantum gates of the fSim quantum circuit conserve the number of excitations of a given quantum state.
The LDCA circuit was introduced in the following piece of literature Low-depth circuit ansatz for preparing correlated fermionic states on a quantum computer, Pierre-Luc Dallaire-Demers, Jonathan Romero, Libor Veis, Sukin Sim, Alan Aspuru-Guzik, Jan. 4, 2018.
It should be noted that other types of quantum circuits may be used for preparing the trial quantum states, and the choice of specific type of quantum circuit corresponds to a specific embodiment of the present disclosure.
In an embodiment, the type of quantum gates, and the order of the qubits of the quantum circuit Uθ may be fixed, such that a qubit expressed in a scheme is always associated to the same qubit in the hardware, while the quantum circuit Uθ comprises at least parametric quantum gates which are tuned by the parameters θ to be optimized.
In another embodiment, the quantum circuit Uθ may comprise parametric quantum gates, as well as non-parametric quantum gates.
In yet another embodiment, only some of the parametric quantum gates may be tuned by the parameters θ to be optimized, while some other parametric quantum gates are associated with parameters which may not change during the implementation of the method.
At step S2, the Hamiltonian operator is provided in an orbital basis. In other words, the Hamiltonian operator is expressed in said orbital basis. The orbital basis in which the Hamiltonian operator is initially expressed is referred to as original orbital basis in the sequel.
In an embodiment, the Hamiltonian operator H is a second-quantized Hamiltonian written as:
with p, q, r, sϵM4, M being the number of spin-orbitals.
In this embodiment, the Hamiltonian operator may represent the energy of an electronic system, such as a cloud of electrons in the field of an atomic potential in a molecule, with cp† and cq the creation and annihilation operators in the original orbital basis ϕp(r), hpq the overlap of atomic orbitals of a molecule and hpqrs the collision of two orbitals.
In this embodiment, the original orbital basis in which the Hamiltonian operator is expressed initially is the local orbital basis, i.e. the orbital basis that is centered on the atoms.
A generic cost function may be expressed as the expectation value over a quantum state of some quantum observable.
In this embodiment, the cost function to be minimized is the energy associated with the Hamiltonian operator, which is defined as:
E
θ
(k)=ψ(θ)|H(k)|ψ(θ)
Mathematically, Eθ(k) may then be expressed as
with Ppq=ψ(θ)|cp†cq|ψ(θ), Ppqrs=ψ(θ)|cp†cq†crcs|ψ(θ) and where Ppq and Ppqrs can be obtained from measurements with the quantum processor.
However, the Hamiltonian operator can be expressed differently, depending on the physical or chemical entity to be studied, without modifying the steps of the method for finding an optimal quantum state minimizing the energy associated with a Hamiltonian operator.
In particular, the Hamiltonian operator may be expressed with a form more general than the one used in this embodiment, which may be specific to chemistry and physics problems. A generic Hamiltonian would contain terms of higher order in the creation and annihilation operators cp† and cq. Moreover, according to the system to be described with the cost function, the parameters hpq and hpqrs of the Hamiltonian may take different expressions.
Finally, step S2 may also comprise the initialization of the parameters hpq and hpqrs such that hpq(k=0)=hpq and hpqrs(k=0)=hpqrs, with k being the current iteration, for the Hamiltonian operator H(k=0) expressed in the original orbital basis (with cp†(k=0)=cp† and cq(k=0)=cq).
The order of steps S1 and S2 is purely illustrative.
Steps S3 to S5 are then performed iteratively until a first predefined stopping criterion is met. The first predefined stopping criterion may be satisfied when a maximum number of iterations is performed and/or when the minimum energy associated with the Hamiltonian operator calculated during successive iterations no longer varies.
During steps S3 to S5, the VQE method is applied to find optimized values θ*(k) of the parameters θ that yield an intermediate optimal quantum state which minimizes the energy Eθ(k)=ψ(θ)|H(k)|ψ(θ) associated with the Hamiltonian operator H(k) in the current orbital basis, with |ψ(θ)=U(θ)|0.
More specifically, the quantum processor (QPU on
As visible on
In an embodiment, the second predefined stopping criterion may be satisfied when a maximum number of iterations is performed and/or when the optimized values θ*(k) of the parameters θ updated during successive iterations no longer varies.
At step S6, the VQE method scheme returns the optimized values θ*(k) of the parameters which yield and intermediate optimal quantum state |ψ(θ*(k)) minimizing the energy associated with the Hamiltonian operator in the current orbital basis, and transmits it to perform the diagonalization step illustrated on
At step S7, a one particle reduced density matrix Dij(k), also called 1-RDM, associated to the intermediate optimal quantum state |ψ(θ*(k))is measured on the quantum processor (QPU on
c
i
†(k)=Σp[Vpi(k−1)]cp†(k−1)
c
j
(k)=Σp[Vpj(k−1)]*cp(k−1)
At step S8, the classical processor (CPU on
At step S9, the parameters hpq(k) and hpqrs(k) of the Hamiltonian operator are modified, for instance by the CPU, to hpq(k+1) and hpqrs(k+1) using the transformation matrix V(k) such that:
The method is then iteratively processed to step S3 with the new parameters hpq(k+1) and hpqrs(k+1) which are used to compute the Hamiltonian operator H(k+1) expressed in the updated orbital basis (wherein the updated orbital basis at the end of iteration k is referred to as current orbital basis at the beginning of iteration k+1), used for the subsequent VQE method iteration, until the first predefined stopping criterion is satisfied (step S11).
When the first predefined stopping criterion (step S11) is satisfied, the minimum value of the energy associated with the Hamiltonian operator is considered to have been found and the optimal quantum state, which corresponds to one of the intermediate quantum states obtained, is returned.
In an embodiment, the optimal quantum state corresponds to the last intermediate optimal quantum state determined.
In another embodiment, the optimal quantum state is the intermediate quantum state which minimizes the most the energy associated with the Hamiltonian, among all the intermediate quantum states obtained during the implementation of the method.
Eventually, by performing the method iteratively, the updated orbital basis, in which the Hamiltonian operator is expressed, will come closer and closer to the natural orbital basis relative to the Hamiltonian's quantum ground state, allowing to reach this quantum ground state while limiting the number of gates in the quantum state preparation circuit. The main property of the natural orbital basis in quantum chemistry is that it is the orbital basis in which the description of a quantum state is the simplest, i.e. the basis that necessitates the least number of Slater determinants to represent the quantum state.
By representing the Hamiltonian operator in an orbital basis that is closer and closer to its natural orbital basis, at each iteration, it results in a higher and higher expressivity of the quantum circuit Uθ. In other words, the transformation of the minimization problem to the natural orbital basis endows the method with a guarantee that the problem is placed in the most economical basis, due to the property that the natural orbital basis associated with the Hamiltonian's ground state is the basis in which it can be expressed in a minimal fashion.
As a consequence, the quantum circuit Uθ may not perform well in the initial orbital basis but it will perform better and better as the method iteratively converges to the natural orbital basis. Moreover, since the quantum circuit Uθ may be shallow, the minimization is robust to noise. Thus, the method allows using shallow quantum circuits, such as a product quantum circuit, or an fSim quantum circuit or a LDCA quantum circuit, as illustrated on
Mathematically, given a Hamiltonian H and a quantum state |Ψ, the natural orbital basis NO is defined as the basis that diagonalizes the one-particle reduced density matrix Dpq 1-RDM Dpq≡Ψ|cp†cq|Ψ, with cp† and cq the creation and annihilation operators in the original orbital basis ϕp(r).
More specifically, if
Dpq=VpαnαVαq†, the natural orbitals are defined as {tilde over (c)}α†≡ΣpVpαcp†.
The main property of the NO basis is that it is the basis where the quantum state |Ψ can be represented as a linear combination of the least number of Slater determinants, or, in quantum computing terms, of computational basis quantum states.
These quantum states are defined, in terms of creation operators, as
The quantum state |Ψ can be represented either in the original basis, {|n1, n2, . . . , nM}:
Or in the natural orbital basis
The above-mentioned property means that the number of nonzero coefficients in this expansion is minimal for the natural orbital basis:
As a consequence, the quantum circuit to prepare the quantum state |Ψ is simpler in the natural orbital basis than in the original orbital basis.
The Hubbard model is a model used in the field of condensed-matter physics to describe phase transitions in so-called correlated materials, for instance the transition between conducting and insulating systems, such as metals and Mott insulators.
In these specific and non-limiting examples, the method is used to study a chemical compound such as a molecule. The molecule may be a H2, LiH or H20 molecules.
The method further comprises providing an encoding scheme (step S2 of
In an exemplary embodiment, this mapping is achieved through the Jordan-Wigner transformation.
Once the transformation is chosen, the Hamiltonian operator is decomposed accordingly in terms of qubit observables. The quantum circuit Uθ is also provided.
In an embodiment, the number of qubits in the quantum circuit Uθ is equal to the number of orbitals of the molecule.
In an embodiment, the number of quantum gates in the quantum circuit Uθ is also proportional to the number of qubits. For example, if a fSim quantum circuit is used, the number of gates scales as O(Ml), with M the number of qubits in the circuit and 1 the number of fSim layers (l=1 in the non-limiting example provided). If a product quantum circuit is used, the number of quantum gates is M, M being the number of qubits in the circuit. If a LDCA quantum circuit is used, the number of gates scales as O(Ml), with M the number of qubits in the circuit and 1 the number of layers of the LDCA routine employed (l=1 in the example provided).
It can be seen from
The LDCA circuit reaches the expected energy value for U=0 and U=1 and at each step of the method. This is because the LDCA circuit is very expressive and is numerically able to reach the expected energy value for the size of this circuit.
The fSim circuit is intermediate with respect to the product circuit and LDCA circuit in terms of expressivity. After a few steps, the obtained energy value is closer to the expected energy value as the orbital basis is rotated closer to the natural orbital basis.
The illustrated performances show that the observations made with regards to
Since noise is going to penalize long circuits, going to the orbital basis that requires the shortest circuits will be advantageous.
It can be seen from
More precisely, both product and fSim quantum circuits retain their high accuracy at U=0 (
The observations made with reference to
In an embodiment (not shown), the method can be applied for a Hubbard model at half-filling for three sites.
Number | Date | Country | Kind |
---|---|---|---|
21305788.8 | Jun 2021 | EP | regional |