Mise en œuvre optimale des portes quantiques avec deux contrôles

Nous fournissons une preuve détaillée d'un théorème bien connu en informatique quantique. Le théorème caractérise le nombre de portes à deux qubits nécessaires pour implémenter des portes quantiques à trois qubits avec deux contrôles. Par exemple, le théorème implique que cinq portes à 2 qubits sont nécessaires pour implémenter la porte de Toffoli. Aucune preuve détaillée n'était disponible auparavant.