qiskit.algorithms.VQE
class VQE(ansatz=None, optimizer=None, initial_point=None, gradient=None, expectation=None, include_custom=False, max_evals_grouped=1, callback=None, quantum_instance=None)
The Variational Quantum Eigensolver algorithm.
VQE is a quantum algorithm that uses a variational technique to find the minimum eigenvalue of the Hamiltonian of a given system.
An instance of VQE requires defining two algorithmic sub-components: a trial state (a.k.a. ansatz) which is a QuantumCircuit
, and one of the classical optimizers
. The ansatz is varied, via its set of parameters, by the optimizer, such that it works towards a state, as determined by the parameters applied to the ansatz, that will result in the minimum expectation value being measured of the input operator (Hamiltonian).
An optional array of parameter values, via the initial_point, may be provided as the starting point for the search of the minimum eigenvalue. This feature is particularly useful such as when there are reasons to believe that the solution point is close to a particular point. As an example, when building the dissociation profile of a molecule, it is likely that using the previous computed optimal solution as the starting initial point for the next interatomic distance is going to reduce the number of iterations necessary for the variational algorithm to converge. It provides an initial point tutorial detailing this use case.
The length of the initial_point list value must match the number of the parameters expected by the ansatz being used. If the initial_point is left at the default of None
, then VQE will look to the ansatz for a preferred value, based on its given initial state. If the ansatz returns None
, then a random point will be generated within the parameter bounds set, as per above. If the ansatz provides None
as the lower bound, then VQE will default it to ; similarly, if the ansatz returns None
as the upper bound, the default value will be .
The VQE stores the parameters of ansatz
sorted by name to map the values provided by the optimizer to the circuit. This is done to ensure reproducible results, for example such that running the optimization twice with same random seeds yields the same result. Also, the optimal_point
of the result object can be used as initial point of another VQE run by passing it as initial_point
to the initializer.
Parameters
- ansatz (
Optional
[QuantumCircuit
]) – A parameterized circuit used as Ansatz for the wave function. - optimizer (
Optional
[Optimizer
]) – A classical optimizer. - initial_point (
Optional
[ndarray
]) – An optional initial point (i.e. initial parameter values) for the optimizer. IfNone
then VQE will look to the ansatz for a preferred point and if not will simply compute a random one. - gradient (
Union
[GradientBase
,Callable
,None
]) – An optional gradient function or operator for optimizer. - expectation (
Optional
[ExpectationBase
]) – The Expectation converter for taking the average value of the Observable over the ansatz state function. WhenNone
(the default) anExpectationFactory
is used to select an appropriate expectation based on the operator and backend. When using Aer qasm_simulator backend, with paulis, it is however much faster to leverage custom Aer function for the computation but, although VQE performs much faster with it, the outcome is ideal, with no shot noise, like using a state vector simulator. If you are just looking for the quickest performance when choosing Aer qasm_simulator and the lack of shot noise is not an issue then set include_custom parameter here toTrue
(defaults toFalse
). - include_custom (
bool
) – When expectation parameter here is None setting this toTrue
will allow the factory to include the custom Aer pauli expectation. - max_evals_grouped (
int
) – Max number of evaluations performed simultaneously. Signals the given optimizer that more than one set of parameters can be supplied so that potentially the expectation values can be computed in parallel. Typically this is possible when a finite difference gradient is used by the optimizer such that multiple points to compute the gradient can be passed and if computed in parallel improve overall execution time. Deprecated if a gradient operator or function is given. - callback (
Optional
[Callable
[[int
,ndarray
,float
,float
],None
]]) – a callback that can access the intermediate data during the optimization. Four parameter values are passed to the callback as follows during each evaluation by the optimizer for its current set of parameters as it works towards the minimum. These are: the evaluation count, the optimizer parameters for the ansatz, the evaluated mean and the evaluated standard deviation.` - quantum_instance (
Union
[Backend
,BaseBackend
,QuantumInstance
,None
]) – Quantum Instance or Backend
__init__
__init__(ansatz=None, optimizer=None, initial_point=None, gradient=None, expectation=None, include_custom=False, max_evals_grouped=1, callback=None, quantum_instance=None)
Parameters
- ansatz (
Optional
[QuantumCircuit
]) – A parameterized circuit used as Ansatz for the wave function. - optimizer (
Optional
[Optimizer
]) – A classical optimizer. - initial_point (
Optional
[ndarray
]) – An optional initial point (i.e. initial parameter values) for the optimizer. IfNone
then VQE will look to the ansatz for a preferred point and if not will simply compute a random one. - gradient (
Union
[GradientBase
,Callable
,None
]) – An optional gradient function or operator for optimizer. - expectation (
Optional
[ExpectationBase
]) – The Expectation converter for taking the average value of the Observable over the ansatz state function. WhenNone
(the default) anExpectationFactory
is used to select an appropriate expectation based on the operator and backend. When using Aer qasm_simulator backend, with paulis, it is however much faster to leverage custom Aer function for the computation but, although VQE performs much faster with it, the outcome is ideal, with no shot noise, like using a state vector simulator. If you are just looking for the quickest performance when choosing Aer qasm_simulator and the lack of shot noise is not an issue then set include_custom parameter here toTrue
(defaults toFalse
). - include_custom (
bool
) – When expectation parameter here is None setting this toTrue
will allow the factory to include the custom Aer pauli expectation. - max_evals_grouped (
int
) – Max number of evaluations performed simultaneously. Signals the given optimizer that more than one set of parameters can be supplied so that potentially the expectation values can be computed in parallel. Typically this is possible when a finite difference gradient is used by the optimizer such that multiple points to compute the gradient can be passed and if computed in parallel improve overall execution time. Deprecated if a gradient operator or function is given. - callback (
Optional
[Callable
[[int
,ndarray
,float
,float
],None
]]) – a callback that can access the intermediate data during the optimization. Four parameter values are passed to the callback as follows during each evaluation by the optimizer for its current set of parameters as it works towards the minimum. These are: the evaluation count, the optimizer parameters for the ansatz, the evaluated mean and the evaluated standard deviation.` - quantum_instance (
Union
[Backend
,BaseBackend
,QuantumInstance
,None
]) – Quantum Instance or Backend
Methods
__init__ ([ansatz, optimizer, initial_point, …]) | type ansatzOptional [QuantumCircuit ] |
cleanup_parameterized_circuits () | set parameterized circuits to None |
compute_minimum_eigenvalue (operator[, …]) | Computes minimum eigenvalue. |
construct_circuit (parameter, operator) | Return the circuits used to compute the expectation value. |
construct_expectation (parameter, operator) | Generate the ansatz circuit and expectation value measurement, and return their runnable composition. |
find_minimum ([initial_point, ansatz, …]) | Optimize to find the minimum cost value. |
get_optimal_circuit () | Get the circuit with the optimal parameters. |
get_optimal_cost () | Get the minimal cost or energy found by the VQE. |
get_optimal_vector () | Get the simulation outcome of the optimal circuit. |
get_prob_vector_for_params (…[, …]) | Helper function to get probability vectors for a set of params |
get_probabilities_for_counts (counts) | get probabilities for counts |
print_settings () | Preparing the setting of VQE into a string. |
supports_aux_operators () | Whether computing the expectation value of auxiliary operators is supported. |
Attributes
ansatz | Returns the ansatz |
expectation | The expectation value algorithm used to construct the expectation measurement from the observable. |
initial_point | Returns initial point |
optimal_params | The optimal parameters for the ansatz. |
optimizer | Returns optimizer |
quantum_instance | Returns quantum instance. |
setting | Prepare the setting of VQE as a string. |
ansatz
Returns the ansatz
Return type
Optional
[QuantumCircuit
]
cleanup_parameterized_circuits
cleanup_parameterized_circuits()
set parameterized circuits to None
compute_minimum_eigenvalue
compute_minimum_eigenvalue(operator, aux_operators=None)
Computes minimum eigenvalue. Operator and aux_operators can be supplied here and if not None will override any already set into algorithm so it can be reused with different operators. While an operator is required by algorithms, aux_operators are optional. To ‘remove’ a previous aux_operators array use an empty list here.
Parameters
- operator (
OperatorBase
) – Qubit operator of the Observable - aux_operators (
Optional
[List
[Optional
[OperatorBase
]]]) – Optional list of auxiliary operators to be evaluated with the eigenstate of the minimum eigenvalue main result and their expectation values returned. For instance in chemistry these can be dipole operators, total particle count operators so we can get values for these at the ground state.
Return type
MinimumEigensolverResult
Returns
MinimumEigensolverResult
construct_circuit
construct_circuit(parameter, operator)
Return the circuits used to compute the expectation value.
Parameters
- parameter (
Union
[List
[float
],List
[Parameter
],ndarray
]) – Parameters for the ansatz circuit. - operator (
OperatorBase
) – Qubit operator of the Observable
Return type
List
[QuantumCircuit
]
Returns
A list of the circuits used to compute the expectation value.
construct_expectation
construct_expectation(parameter, operator)
Generate the ansatz circuit and expectation value measurement, and return their runnable composition.
Parameters
- parameter (
Union
[List
[float
],List
[Parameter
],ndarray
]) – Parameters for the ansatz circuit. - operator (
OperatorBase
) – Qubit operator of the Observable
Return type
OperatorBase
Returns
The Operator equalling the measurement of the ansatz StateFn
by the Observable’s expectation StateFn
.
Raises
AlgorithmError – If no operator has been provided.
expectation
The expectation value algorithm used to construct the expectation measurement from the observable.
Return type
ExpectationBase
find_minimum
find_minimum(initial_point=None, ansatz=None, cost_fn=None, optimizer=None, gradient_fn=None)
Optimize to find the minimum cost value.
Parameters
- initial_point (
Optional
[ndarray
]) – If not None will be used instead of any initial point supplied via constructor. If None and None was supplied to constructor then a random point will be used if the optimizer requires an initial point. - ansatz (
Optional
[QuantumCircuit
]) – If not None will be used instead of any ansatz supplied via constructor. - cost_fn (
Optional
[Callable
]) – If not None will be used instead of any cost_fn supplied via constructor. - optimizer (
Optional
[Optimizer
]) – If not None will be used instead of any optimizer supplied via constructor. - gradient_fn (
Optional
[Callable
]) – Optional gradient function for optimizer
Returns
Optimized variational parameters, and corresponding minimum cost value.
Return type
dict
Raises
ValueError – invalid input
get_optimal_circuit
get_optimal_circuit()
Get the circuit with the optimal parameters.
Return type
QuantumCircuit
get_optimal_cost
get_optimal_cost()
Get the minimal cost or energy found by the VQE.
Return type
float
get_optimal_vector
get_optimal_vector()
Get the simulation outcome of the optimal circuit.
Return type
Union
[List
[float
], Dict
[str
, int
]]
get_prob_vector_for_params
get_prob_vector_for_params(construct_circuit_fn, params_s, quantum_instance, construct_circuit_args=None)
Helper function to get probability vectors for a set of params
get_probabilities_for_counts
get_probabilities_for_counts(counts)
get probabilities for counts
initial_point
Returns initial point
Return type
Optional
[ndarray
]
optimal_params
The optimal parameters for the ansatz.
Return type
List
[float
]
optimizer
Returns optimizer
Return type
Optional
[Optimizer
]
print_settings
print_settings()
Preparing the setting of VQE into a string.
Returns
the formatted setting of VQE
Return type
str
quantum_instance
Returns quantum instance.
Return type
Optional
[QuantumInstance
]
setting
Prepare the setting of VQE as a string.
supports_aux_operators
classmethod supports_aux_operators()
Whether computing the expectation value of auxiliary operators is supported.
If the minimum eigensolver computes an eigenstate of the main operator then it can compute the expectation value of the aux_operators for that state. Otherwise they will be ignored.
Return type
bool
Returns
True if aux_operator expectations can be evaluated, False otherwise