FourierChecking

class qiskit.circuit.library.FourierChecking(f, g)

Bases : QuantumCircuit

Circuit de vérification de Fourier.

Le circuit de l'algorithme de vérification de Fourier, présenté au point [1], comprend une couche de Hadamards, la fonction $f$, une autre couche de Hadamards, la fonction $g$, suivie d'une dernière couche de Hadamards. Les fonctions $f$ et $g$ sont des fonctions classiques réalisées comme des oracles de phase (opérateurs diagonaux avec {-1, 1} sur la diagonale).

La probabilité d'observer la chaîne de tous les zéros est de $p(f,g)$. L'algorithme résout le problème de vérification de la promesse de Fourier, qui détermine si f est corrélé avec la transformée de Fourier de g, en testant si $p(f,g) <= 0.01$ ou $p(f,g) >= 0.05$, en promettant que l'un ou l'autre est vrai.

Les fonctions $f$ et $g$ sont actuellement mises en œuvre à partir de leurs tables de vérité, mais elles pourraient être représentées de manière concise et mises en œuvre efficacement pour des classes spéciales de fonctions.

La vérification de Fourier est un cas particulier de $k$ -fold pour la relation [2.]

Références :

[1] S. Aaronson, BQP and the Polynomial Hierarchy, 2009 (Section 3.2 ). arXiv:0910.4698

[2] S. Aaronson, A. Ambainis, Forrelation : a problem that optimally separates quantum from classical computing, 2014. arXiv:1411.5729

Créer un circuit de vérification de Fourier.

Paramètres

• f (Sequence[int]) – table de vérité pour f, longueur 2**n liste de {1,-1}.
• g (Sequence[int]) – table de vérité pour g, longueur 2**n liste de {1,-1}.

Augmentations

CircuitError – si les données d'entrée f et g ne sont pas valides.

Circuit de référence :

Attributs

name

from qiskit import QuantumCircuit

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

my_circuit