Oráculo
Un oráculo es una subrutina de caja negra, implementada como un operador unitario, que permite a un algoritmo cuántico evaluar una función f(x) — incluso sobre entradas en superposición — mientras su funcionamiento interno se trata como desconocido.
Qué significa
Muchos algoritmos cuánticos se analizan en el modelo de oráculo (caja negra): el algoritmo accede a una función f solo mediante consultas a un unitario Uf, definido comúnmente por Uf|x⟩|y⟩ = |x⟩|y ⊕ f(x)⟩, donde ⊕ es la suma módulo 2.Esta construcción mantiene intacto el registro de entrada |x⟩ y escribe f(x) de forma reversible en el registro de salida — algo necesario porque todas las operaciones cuánticas (salvo la medición) deben ser unitarias y, por tanto, reversibles.El poder de un oráculo cuántico está en que puede consultarse sobre una superposición de entradas: aplicar Uf a Σₓ αₓ|x⟩|y⟩ evalúa f coherentemente en todas las ramas con una sola consulta.Crucialmente, esto por sí solo no te entrega todos los valores de f — leerlos colapsaría el estado.Algoritmos como Deutsch–Jozsa y la búsqueda de Grover combinan consultas al oráculo con interferencia para extraer una propiedad global de f (o amplificar un elemento marcado) usando muchas menos consultas que cualquier estrategia clásica.La complejidad de consultas — el número de llamadas al oráculo necesarias — es la forma estándar de enunciar y demostrar estas aceleraciones.Una variante común es el oráculo de fase, que invierte el signo de los estados marcados: Uf|x⟩ = (−1)^f(x)|x⟩.Analogía cotidiana
Errores comunes
- Consultar un oráculo sobre la superposición de todas las entradas NO revela todos los valores de f — medir justo después de una consulta da un único par entrada-salida aleatorio. La ventaja solo se materializa cuando se usa la interferencia para extraer una propiedad global de f.
- Un oráculo no es un dispositivo misterioso que alguien te regala — en un programa real es un circuito reversible concreto que debes construir, y su coste en puertas cuenta para el tiempo de ejecución real aunque el modelo de consultas lo trate como un solo paso.
- Las separaciones por oráculo no demuestran automáticamente aceleraciones en el mundo real: una ventaja en complejidad de consultas es relativa al acceso de caja negra, por lo que estos resultados se enuncian con cuidado y no como afirmaciones generales sobre todo cómputo.
Puntos clave
- El oráculo estándar (de volteo de bit) es el unitario Uf|x⟩|y⟩ = |x⟩|y ⊕ f(x)⟩, que evalúa f de forma reversible sin destruir la entrada.
- Los oráculos pueden consultarse sobre superposiciones, evaluando f coherentemente en todas las ramas con una sola llamada.
- La complejidad de consultas — cuántas llamadas al oráculo se necesitan — es la vara de medir de las aceleraciones cuánticas basadas en oráculos (por ejemplo, Deutsch–Jozsa, Grover).
- La variante de oráculo de fase Uf|x⟩ = (−1)^f(x)|x⟩ marca las soluciones en el signo de la amplitud, listas para la amplificación basada en interferencia.
Comprueba tu comprensión
En el oráculo estándar Uf|x⟩|y⟩ = |x⟩|y ⊕ f(x)⟩, ¿por qué f(x) se escribe en un registro separado usando XOR en lugar de simplemente reemplazar la entrada por f(x)?
- A.Para que el circuito se ejecute más rápido
- B.Porque las operaciones cuánticas deben ser unitarias (reversibles), y sobrescribir la entrada sería irreversible para una f no invertible
- C.Porque los qubits no pueden almacenar valores de funciones
- D.Para evitar que el oráculo sea consultado dos veces
Ver la respuesta
Respuesta: B. Porque las operaciones cuánticas deben ser unitarias (reversibles), y sobrescribir la entrada sería irreversible para una f no invertible
Por qué: Todas las puertas cuánticas son unitarias y por tanto reversibles. Si f no es inyectiva, mapear |x⟩ directamente a |f(x)⟩ fusionaría entradas distintas y no podría deshacerse. La construcción XOR conserva |x⟩ y hace que Uf sea su propio inverso, garantizando la reversibilidad para cualquier f.
Se apoya en
Fuente primaria: Nielsen & Chuang, Quantum Computation and Quantum Information (2010), doi:10.1017/CBO9780511976667
Graded 2026-07-10 (human sign-off): established — oracle (black-box) model and query complexity per Nielsen & Chuang (2010) §1.4.3–§1.4.4 and §6.1 (Grover), and Preskill Ph219. Pending human grading.
Apréndelo con la práctica
Este concepto forma parte de un plan de 46 niveles, con un simulador interactivo y Lumen, un tutor cuyas respuestas se verifican antes de mostrarse. Los niveles 1–5 son gratuitos.