QuadraticForm

class qiskit.circuit.library.QuadraticForm(num_result_qubits=None, quadratic=None, linear=None, offset=None, little_endian=True)

Bases : QuantumCircuit

Met en œuvre une forme quadratique sur des variables binaires encodées dans des registres de qubits.

Une forme quadratique sur les variables binaires est une fonction quadratique $Q$ agissant sur une variable binaire de $n$ bits, $x = x_0 ... x_{n-1}$. Pour une matrice entière $A$, un vecteur entier $b$ et un entier $c$, la fonction peut être écrite comme suit

Si $A$, $b$ ou $c$ contiennent des valeurs scalaires, ce circuit ne calcule qu'une approximation de la forme quadratique.

Muni de $m$ qubits pour coder la valeur, ce circuit calcule $Q(x) \mod 2^m$ en représentation [complémentaire à deux] ( https://stackoverflow.com/questions/1049722/what-is-twos-complement ).

Comme nous utilisons le complément à deux, par exemple la valeur de $Q(x) = 3$ nécessite 2 bits pour représenter la valeur et 1 bit pour le signe : 3 = '011' où le premier 0 indique une valeur positive. En revanche, $Q(x) = -3$ serait -3 = '101', où le premier 1 indique une valeur négative et 01 est le complément à deux de 3.

Si la valeur de $Q(x)$ est trop grande pour être représentée par m qubits, la chaîne de bits résultante est $(Q(x) + 2^m) \mod 2^m)$.

La mise en œuvre de ce circuit est décrite au point [1], Fig. 6.

Références :

[1] Gilliam et al, Grover Adaptive Search for Constrained Polynomial Binary Optimization (Recherche adaptative de Grover pour l'optimisation binaire polynomiale contrainte). arXiv:1912.04088

Paramètres

• num_result_qubits (int | None) – Le nombre de qubits nécessaires pour coder le résultat. Appelée « $m$ » dans la documentation de la classe.
• quadratic (np.ndarray | list[list[float |ParameterExpression]] | None) – Une matrice contenant les coefficients quadratiques, $A$.
• linear (np.ndarray | list[float |ParameterExpression] | None) – Un tableau contenant les coefficients linéaires, $b$.
• offset (float |ParameterExpression | None) – Un décalage constant, $c$.
• little_endian (bool) – Encoder le résultat en peu d'endianness.

Augmentations

• ValueError - Si linear et quadratic ont des tailles différentes.
• ValueError - Si num_result_qubits n'est pas spécifié mais ne peut être déterminé parce que certaines valeurs de la forme quadratique sont paramétrées.

Attributs

name

from qiskit import QuantumCircuit

qc = QuantumCircuit(2, 2, name="my_circuit")
print(qc.name)

my_circuit

Méthodes

required_result_qubits