Sugiero mirar los protocolos de estimación de valores propios / vectores propios. Hay mucha flexibilidad para hacer que el problema sea tan fácil o difícil como desee.
Comience eligiendo dos parámetros, y k . Desea diseñar una unidad n unitaria, U que tenga valores propios de la forma e - 2 π i q / 2 k para enteros q . Asegúrese de que al menos uno de esos valores propios sea único y llámelo ω . También asegúrese de que un estado del producto simple, digamos | 0 ⟩ ⊗ n , tiene no nulo solapamiento con el vector propio de valor propio ω .nknUe−2πiq/2kqω|0⟩⊗nω
El objetivo sería implementar un algoritmo de estimación de fase en esto, recibir el valor y la tarea de generar un vector | Psi ⟩ que es el vector propio correspondiente al valor propio ω . En general, esto comprenderá un circuito de n + k qubits (a menos que necesite ancillas para implementar U controlado ).k|ψ⟩ωn+kU
Esto funciona de la siguiente manera:
configure dos registros, uno de qubits y el otro de n qubits. ( uso de registros cuánticos )kn
cada qubit se inicializa en el estado . ( inicialización de registros cuánticos )|0⟩
aplicar un Hadamard a cada qubit en el primer registro ( compuertas de un solo qubit )
de qubit en el primer registro, aplicar controlada U 2 r , la orientación del segundo registro ( multi-qubit controlada puertas )rU2r
aplique la transformada inversa de Fourier en el primer registro y mida cada qubit del primer registro en la base estándar. Estos se pueden combinar, implementando la transformada de Fourier semiclásica . ( medición y avance de datos clásicos )
para el resultado de medición correcto, el segundo registro está en el estado deseado .|ψ⟩
Para simplificar, puede elegir , k = 1 , por lo que necesita una matriz unitaria 4 × 4 con valores propios ± 1 . Usaría algo como ( U 1 ⊗ U 2 ) C ( U † 1 ⊗ U † 2 ) ,
donde C denota el NOT controlado. Solo hay un vector propio con valor propio -1, que es | Psi ⟩ = ( U 1 ⊗ U 2n=2k=14×4±1
(U1⊗U2)C(U†1⊗U†2),
C , y puede meterse con las opciones de
U1y
U2para explorar la implementación de
Uusando la descomposición en términos de un conjunto de compuerta universal (probablemente establecería esto como un problema preliminar). Luego, la
Ucontroladase implementa fácilmente simplemente reemplazando la puerta controlada-NO por una puerta controlada-controlada-NO (Toffoli). Finalmente, la transformada inversa de Fourier es solo una puerta de Hadamard.
|ψ⟩=(U1⊗U2)|1⟩⊗(|0⟩−|1⟩)/2–√U1U2UU
k=3C
⎛⎝⎜⎜⎜⎜⎜1000012√i2√00i2√12√00001⎞⎠⎟⎟⎟⎟⎟
ω=e±iπ/4|ψ⟩=(U1⊗U2)(|01⟩±|10⟩)/2–√