Ir al contenido principal

Diccionario de Computación Cuántica

En este artículo vamos a listar los conceptos clave para poder incorporar la computación cuántica a nuestro lenguaje. Lo haremos utilizando cinco bloques diferenciados.

El bloque de Mecánica Cuántica pretende resumir aquello que hay que saber sobre las leyes física que gobiernan estos sistemas. 

Álgebra Lineal se centra en el lenguaje matemático utilizado para describir los sistemas, tanto a nivel de estados como a nivel de interacción y evolución. 

Información Cuántica describe los aspectos teóricos acerca de la representación, transformación y protección de información en un sistema cuántico. 

Computación Cuántica hace lo propio pero en este caso con los modelos y mecanismos que posibilitan la computación en un sistema cuántico. 

En último lugar, Implementación Física lista las estrategias viables para materializar cúbits físicamente, así como para controlar su preparación, evolución y medida.

A por ello.

Mecánica Cuántica

Función de onda

Forma de expresar un estado cuántico como una distribución de amplitudes sobre el espacio de posibles resultados. El módulo al cuadrado de dichas amplitudes da la densidad de probabilidad.

$$\begin{equation}\psi(x,t), \quad|\psi(x,t)|^2\end{equation}\tag{1}$$

Ecuación de Schrödinger

Ecuación fundamental que gobierna la evolución temporal de un sistema cuántico. Determina la evolución del estado a lo largo del tiempo.\begin{equation} i\hbar \frac{\partial}{\partial t}\psi(x,t) = H \psi(x,t) \tag{2} \end{equation}

Superposición

Principio según el cual un sistema puede existir en combinación lineal de estados posibles. Es la base de la interferencia cuántica.\begin{equation} \ket{\psi} = \alpha \ket{\psi_1} + \beta \ket{\psi_2} \tag{3} \end{equation}

Regla de Born

Establece que la probabilidad de obtener un resultado de medida viene dada por el módulo al cuadrado de la amplitud asociada a dicho resultado.\begin{equation} P(a) = \bra{\psi} P_a \ket{\psi} \tag{4} \end{equation}

Colapso de la función de onda

Tras una medición, el sistema se proyecta a un estado compatible con el resultado observado. Este proceso no es reversible, y hay discusión en la comunidad científica al respecto de su interpretación física.  \begin{equation} \ket{\psi} \to \frac{P_a \ket{\psi}}{\sqrt{\bra{\psi} P_a \ket{\psi}}} \tag{5} \end{equation}

Principio de incertidumbre

Establece un límite fundamental a la precisión simultánea de ciertas magnitudes físicas. Surge de la no conmutatividad de operadores.\begin{equation} \sigma_A \sigma_B \ge \frac{1}{2} |\langle [A,B] \rangle| \tag{6} \end{equation}

Dualidad onda-partícula

Los sistemas cuánticos exhiben propiedades que obedecen a una naturaleza corpuscular u ondulatoria según el experimento. \begin{equation} \lambda = \frac{h}{p} \tag{7} \end{equation}

Principio de exclusión de Pauli

Dos fermiones idénticos (spin semientero) no pueden ocupar el mismo estado cuántico. Es consecuencia de la antisimetría del estado total bajo intercambio de partículas.\begin{equation} \psi(x_1,x_2) = -\psi(x_2,x_1) \tag{8} \end{equation}

Estadística de Bose–Einstein

Describe el comportamiento de partículas indistinguibles con spin entero (bosones), cuyos estados son simétricos bajo intercambio, permitiendo que múltiples partículas ocupen el mismo estado cuántico.\begin{equation} \psi(x_1,x_2) = \psi(x_2,x_1) \tag{9} \end{equation}

Superconductividad

Fenómeno por el cual ciertos materiales conducen electricidad sin resistencia a bajas temperaturas, debido a la formación de pares de electrones (pares de Cooper) que se comportan colectivamente como bosones.\begin{equation} E_k = \sqrt{(\epsilon_k - \mu)^2 + \Delta^2} \tag{10} \end{equation}

Entrelazamiento

Correlación cuántica en la que el estado global no se puede descomponer en estados independientes. No tiene análogo clásico.\begin{equation} \ket{\psi} \neq \ket{\psi_A} \otimes \ket{\psi_B} \tag{11} \end{equation}

Decoherencia

Proceso por el cual la interacción con el entorno destruye la coherencia de fase, haciendo que el sistema parezca clásico.\begin{equation} \rho \to \mathcal{E}(\rho) \tag{12} \end{equation}

Álgebra Lineal

Espacio de Hilbert

Espacio vectorial complejo con producto interno donde se representan los estados cuánticos. Permite definir estructura geométrica completa.\begin{equation} \mathcal{H} = \mathbb{C}^n \tag{13} \end{equation}

Producto interno

Aplicación que asigna un número complejo a dos vectores, permitiendo definir norma y ortogonalidad. Es central en la interpretación probabilística.\begin{equation} \langle \phi | \psi \rangle \tag{14} \end{equation}

Norma y normalización

La norma mide la “longitud” de un estado y se fija a uno para garantizar una interpretación probabilística consistente.\begin{equation} \|\psi\| = \sqrt{\langle \psi | \psi \rangle} = 1 \tag{15} \end{equation}

Base ortonormal

Conjunto de vectores ortogonales y normalizados que generan el espacio. Permite representar cualquier estado de forma única.\begin{equation} \langle e_i | e_j \rangle = \delta_{ij} \tag{16} \end{equation}

Operador lineal

Aplicación lineal sobre el espacio de Hilbert que modela transformaciones físicas o matemáticas.\begin{equation} A: \mathcal{H} \to \mathcal{H} \tag{17} \end{equation}

Operador hermítico

Operador igual a su adjunto, con autovalores reales. Representa magnitudes físicas observables.\begin{equation} A = A^\dagger \tag{18} \end{equation}

Operador unitario

Transformación que preserva la norma y describe evoluciones reversibles.\begin{equation} U^\dagger U = I \tag{19} \end{equation}

Autovalores y autovectores

Estados que permanecen invariantes bajo un operador salvo un factor escalar. Definen resultados de medida.\begin{equation} A \ket{a} = a \ket{a} \tag{20} \end{equation}

Descomposición espectral

Expresa un operador hermítico como suma de proyectores ponderados por sus autovalores.\begin{equation} A = \sum_a a \ket{a}\bra{a} \tag{21} \end{equation}

Conmutador

Mide la no conmutatividad entre operadores, clave para determinar la incompatibilidad entre observables.\begin{equation} [A,B] = AB - BA \tag{22} \end{equation}

Información Cuántica

Cúbit

Unidad básica de información cuántica, capaz de existir en superposición de estados base. Generaliza el bit clásico.\begin{equation} \ket{\psi} = \alpha \ket{0} + \beta \ket{1} \tag{23} \end{equation}

Estado puro y mixto

Un estado puro describe máxima información; uno mixto incorpora incertidumbre clásica o interacción con el entorno.\begin{equation} \rho = \sum_i p_i \ket{\psi_i}\bra{\psi_i} \tag{24} \end{equation}

Entropía de von Neumann

Medida de la incertidumbre de un estado cuántico, análoga a la entropía de Shannon.\begin{equation} S(\rho) = -\mathrm{Tr}(\rho \log \rho) \tag{25} \end{equation}

Fidelidad

Cuantifica la similitud entre estados cuánticos, útil para evaluar procesos físicos.\begin{equation} F(\rho,\sigma) = \left(\mathrm{Tr}\sqrt{\sqrt{\rho}\sigma\sqrt{\rho}}\right)^2 \tag{26} \end{equation}

Canal cuántico

Transformación que describe evolución en presencia de ruido, manteniendo propiedades físicas del estado.\begin{equation} \rho \to \sum_i K_i \rho K_i^\dagger \tag{27} \end{equation}

Traza parcial

Permite obtener el estado de un subsistema ignorando el resto.\begin{equation} \rho_A = \mathrm{Tr}_B(\rho_{AB}) \tag{28} \end{equation}

Destilación de entrelazamiento

Proceso que transforma múltiples copias ruidosas de estados entrelazados en un subconjunto de mayor fidelidad usando solo operaciones locales y comunicación clásica. Es clave para comunicación cuántica robusta.\begin{equation} \rho^{\otimes n} \rightarrow \Phi^+ \tag{29} \end{equation}

Dilución de entrelazamiento

Proceso inverso a la destilación, donde estados maximálmente entrelazados se convierten en estados con menor entrelazamiento adaptados a una tarea concreta. Permite gestionar recursos cuánticos.\begin{equation} \Phi^+ \rightarrow \rho \tag{30} \end{equation}

Criptografía post-quantum (PQC)

Conjunto de algoritmos criptográficos clásicos diseñados para ser seguros frente a atacantes con capacidad cuántica, evitando problemas vulnerables como la factorización (RSA) o curvas elípticas (ECC).

QKD (Distribución Cuántica de Claves)

Protocolo que permite generar claves secretas detectando cualquier intento de interceptación mediante el uso de bases incompatibles y la regla de Born.\begin{equation} \ket{\psi} \in \{\text{bases incompatibles}\} \tag{31} \end{equation}

Corrección de errores cuánticos

Técnicas que protegen información cuántica distribuyéndola en varios cúbits físicos y detectando errores sin medir directamente el estado lógico.\begin{equation} \ket{\psi_L} \rightarrow E_i \ket{\psi_L} \rightarrow \ket{\psi_L} \tag{32} \end{equation}

Cúbit lógico

Codificación redundante de un cúbit en múltiples cúbits físicos para hacerlo resistente a errores de decoherencia o control.\begin{equation} \ket{\psi_L} = \alpha \ket{0_L} + \beta \ket{1_L}, \quad \ket{0_L} = \ket{000}, \; \ket{1_L} = \ket{111} \tag{33} \end{equation}

Ancilla (cúbit auxiliar)

Cúbit adicional utilizado para extraer información sobre errores o facilitar operaciones sin perturbar directamente el estado lógico.\begin{equation} \ket{\psi} \otimes \ket{0} \tag{34} \end{equation}

Síndrome de error

Resultado de medir operadores auxiliares que indica qué error ha ocurrido sin revelar el estado lógico, permitiendo su corrección.\begin{equation} s_i = \pm 1 \tag{35} \end{equation}

Estabilizadores

Conjunto de operadores que definen el subespacio del código como aquellos estados que son autovectores con autovalor +1. Si una medida da −1, indica que ha ocurrido un error en esa región del sistema.\begin{equation} S_i \ket{\psi_L} = \ket{\psi_L} \tag{36} \end{equation}

Código de superficie

Código de corrección de errores basado en una red 2D de cúbits donde estabilizadores locales detectan errores mediante síndromes ±1, permitiendo localizar y corregir fallos sin medir el estado lógico. Es el estándar de facto actual.\begin{equation} A_v \ket{\psi_L} = \ket{\psi_L}, \quad B_p \ket{\psi_L} = \ket{\psi_L} \tag{37} \end{equation}

Computación Cuántica

Puerta cuántica

Operador unitario que implementa una operación lógica sobre cúbits. Es el bloque básico de los circuitos cuánticos.\begin{equation} \ket{\psi'} = U \ket{\psi}, \quad U^\dagger U = I \tag{38} \end{equation}

Puertas de Pauli

Conjunto de operadores fundamentales que generan el espacio de transformaciones sobre un cúbit.\begin{equation} X=\begin{pmatrix}0&1\\1&0\end{pmatrix},\; Y=\begin{pmatrix}0&-i\\i&0\end{pmatrix},\; Z=\begin{pmatrix}1&0\\0&-1\end{pmatrix} \tag{39} \end{equation}

Puerta Hadamard

Genera superposición uniforme a partir de estados base, habilitando interferencia.\begin{equation} H = \frac{1}{\sqrt{2}}\begin{pmatrix}1&1\\1&-1\end{pmatrix} \tag{40} \end{equation}

Puerta S (fase π/2)

Aplica una rotación de fase de π/2, siendo la raíz cuadrada de Z.\begin{equation} S = \begin{pmatrix}1 & 0 \\ 0 & i\end{pmatrix} \tag{41} \end{equation}

Puerta T (fase π/4)

Rotación de fase de π/4, clave para universalidad cuando se combina con Clifford.\begin{equation} T = \begin{pmatrix}1 & 0 \\ 0 & e^{i\pi/4}\end{pmatrix} \tag{42} \end{equation}

Puerta de fase general

Generaliza las rotaciones de fase en el eje Z.\begin{equation} R_z(\theta) = \begin{pmatrix}1 & 0 \\ 0 & e^{i\theta}\end{pmatrix} \tag{43} \end{equation}

Puerta de rotación

Rotación de un cúbit alrededor de un eje de la esfera de Bloch.\begin{equation} R_n(\theta) = e^{-i \theta \, \hat{n} \cdot \vec{\sigma} / 2} \tag{44} \end{equation}

Puerta CZ (Controlled-Z)

Aplica un cambio de fase condicionado al estado del cúbit de control.\begin{equation} \ket{c,t} \rightarrow (-1)^{c \cdot t} \ket{c,t} \tag{45} \end{equation}

Puerta CNOT

Puerta de dos cúbits que permite generar entrelazamiento, base de la computación universal.\begin{equation} \ket{c,t} \rightarrow \ket{c, t \oplus c} \tag{46} \end{equation}

Puerta Toffoli (CCNOT)

Puerta de tres cúbits que invierte el tercero solo si los dos primeros están en ∣1⟩. Es universal para computación clásica reversible.\begin{equation} \ket{a,b,c} \rightarrow \ket{a,b, c \oplus (a \cdot b)} \tag{47} \end{equation}

Puerta SWAP

Intercambia el estado de dos cúbits.\begin{equation} \ket{a,b} \rightarrow \ket{b,a} \tag{48} \end{equation}

Grupo de Clifford

Conjunto de operaciones que transforman operadores de Pauli en otros operadores de Pauli mediante conjugación. Incluye puertas como H, S y CNOT, y es fundamental en corrección de errores y simulación eficiente.\begin{equation} U P U^\dagger \in \{ \pm X, \pm Y, \pm Z \} \tag{49} \end{equation}

Teorema de no clonación

Establece que no es posible copiar un estado cuántico arbitrario de forma perfecta. Es una consecuencia de la linealidad.\begin{equation} U\ket{\psi}\ket{0} \neq \ket{\psi}\ket{\psi} \tag{50} \end{equation}

Interferencia cuántica

Fenómeno por el cual amplitudes complejas se combinan constructiva o destructivamente, permitiendo amplificar soluciones correctas.\begin{equation} P = \left| \alpha + \beta \right|^2 \tag{51} \end{equation}

Computación cuántica de propósito general

Modelo en el que un conjunto universal de puertas permite aproximar cualquier operación unitaria con precisión arbitraria.\begin{equation} U \approx \prod_i U_i \tag{52} \end{equation}

Universalidad cuántica

Propiedad por la cual un conjunto finito de puertas permite construir cualquier circuito cuántico.\begin{equation} \{H, T, \text{CNOT}\} \;\text{es universal} \tag{53} \end{equation}

Algoritmos cuánticos

Procedimientos que explotan superposición, interferencia y entrelazamiento para obtener ventajas computacionales en problemas específicos.\begin{equation} \ket{\psi} \xrightarrow{U} \ket{\psi'} \xrightarrow{\text{medida}} \text{resultado} \tag{54} \end{equation}

Algoritmo de Shor

Algoritmo cuántico que permite factorizar enteros y resolver logaritmos discretos en tiempo polinómico, comprometiendo sistemas criptográficos clásicos.\begin{equation} O\!\left(e^{(\log N)^{1/3}}\right) \;\rightarrow\; O\!\left((\log N)^k\right) \tag{55} \end{equation}

Algoritmo de Grover

Algoritmo cuántico que acelera la búsqueda no estructurada, reduciendo complejidad cuadráticamente respecto a algoritmos clásicos.\begin{equation} O(N) \rightarrow O(\sqrt{N}) \tag{56} \end{equation}

Transformada de Fourier Cuántica (QFT)

Transformación clave en muchos algoritmos cuánticos que permite extraer periodicidades de forma eficiente.\begin{equation} \ket{x} \rightarrow \frac{1}{\sqrt{N}} \sum_{k=0}^{N-1} e^{2\pi i x k / N} \ket{k} \tag{57} \end{equation}

Estimación de fase

Algoritmo que permite estimar autovalores de operadores unitarios, base de múltiples aplicaciones cuánticas.\begin{equation} U \ket{\psi} = e^{2\pi i \phi} \ket{\psi} \tag{58} \end{equation}

Optimización cuántica (QAOA)

Algoritmo híbrido que combina circuitos cuánticos y optimización clásica para resolver problemas combinatorios.\begin{equation} \ket{\psi(\gamma,\beta)} = e^{-i\beta H_B} e^{-i\gamma H_C} \ket{+}^{\otimes n} \tag{59} \end{equation}

Variational Quantum Algorithms (VQA)

Familia de algoritmos híbridos que utilizan circuitos parametrizados optimizados clásicamente. Son clave en dispositivos NISQ.\begin{equation} \min_{\theta} \bra{\psi(\theta)} H \ket{\psi(\theta)} \tag{60} \end{equation}

Simulación cuántica

Uso de sistemas cuánticos para simular otros sistemas cuánticos, especialmente útil en química y física de materiales.\begin{equation} e^{-i(H_1 + H_2)t} \approx e^{-iH_1 t} e^{-iH_2 t} \tag{61} \end{equation}

Implementación Física

Cúbit superconductor

Circuito basado en uniones Josephson que define dos niveles efectivos mediante no linealidad. Se controla con microondas y permite integración a gran escala.\begin{equation} H = 4E_C (n-n_g)^2 - E_J \cos\phi \tag{62} \end{equation}

Cúbit de iones atrapados

Iones confinados mediante campos electromagnéticos y manipulados con láseres, con tiempos de coherencia largos y operaciones de alta fidelidad.\begin{equation} H \sim \omega a^\dagger a + \Omega (\sigma^+ e^{i\phi} + h.c.) \tag{63} \end{equation}

Cúbit fotónico

Codificación de información en grados de libertad de fotones (polarización, fase), ideal para comunicación por su baja interacción con el entorno.\begin{equation} \ket{\psi} = \alpha \ket{H} + \beta \ket{V} \tag{64} \end{equation}

Cúbit de espín (semiconductores)

Basado en el espín de electrones o núcleos en materiales sólidos, compatible con tecnologías CMOS y potencialmente escalable.\begin{equation} \ket{\uparrow},\; \ket{\downarrow} \tag{65} \end{equation}

Cúbit neutro (átomos fríos)

Átomos neutros atrapados en redes ópticas y manipulados con láseres, permitiendo arrays regulares con alta conectividad.\begin{equation} V(x) = V_0 \sin^2(kx) \tag{66} \end{equation}

Cúbit topológico

Implementación basada en estados globales protegidos frente a perturbaciones locales, donde la información se codifica de forma no local.\begin{equation} \ket{\psi} \equiv \ket{\psi'} \;\; \text{si difieren por operaciones locales} \tag{67} \end{equation}

Resonador (lectura superconductora)

Elemento acoplado al cúbit que permite inferir su estado mediante desplazamientos en frecuencia o fase del sistema resonante.\begin{equation} \omega_r \rightarrow \omega_r \pm \chi \tag{68} \end{equation}

Control cuántico

Técnicas para manipular estados mediante pulsos externos cuidadosamente diseñados en frecuencia, fase y amplitud.\begin{equation} H(t) = H_0 + \sum_i u_i(t) H_i \tag{69} \end{equation}

Fidelidad de puerta

Métrica que cuantifica la cercanía entre una operación física real y la operación ideal, clave para evaluar la viabilidad de cómputo fiable.\begin{equation} F(U_{\text{real}}, U_{\text{ideal}}) \tag{70} \end{equation}

Tiempo de coherencia

Escalas temporales que limitan cuánto tiempo puede mantenerse la información cuántica antes de degradarse por interacción con el entorno.\begin{equation} \rho_{11}(t) = \rho_{11}(0)\, e^{-t/T_1}, \quad \rho_{01}(t) = \rho_{01}(0)\, e^{-t/T_2} \tag{71} \end{equation}

Comentarios

Entradas populares de este blog

Fate of Atlantis, la mayor aventura de nuestra vida

Existe bastante consenso respecto a que las aventuras gráficas que Lucasarts lanzó al mercado entre finales de los 80 y principios de los 90 son las mejores del género. La verdad es que el talento creativo que se reunió en aquella época fue un auténtico espectáculo.  Nombres como Dave Grossman , Tim Schafer y, sobre todo, Ron Gilbert marcaron la industria con títulos inolvidables. A todos nos vienen a la cabeza sin pensarlo mucho los  Maniac Mansion , The Secret of Monkey Island 1 y 2 o Day of the Tentacle . Sin embargo, y aunque adoro los juegos arriba citados, hay otro que en mi opinión se sitúa por encima de estos y constituye la referencia absoluta del género. Me estoy refiriendo por supuesto a Indiana Jones and the Fate of Atlantis . Hal Barwood y Noah Falstein se sacaron de la manga un guión de película -bastante mejor de hecho que el de la última entrega de la franquicia- y clavaron una aventura ambiciosa que brilla con luz propia en todos sus aparta...

Rabia contra la agonía de la luz

Me gustaría poder decir otra cosa; pero lo cierto es que no fue hasta Bloodborne , bien entrado el año 2015, que me metí de lleno en la obra de Hidetaka Miyazaki . Recuerdo el boca a boca de Demon's Souls , recuerdo lo que me costó hacerme con mi copia para PS3  en 2010, y también recuerdo como lo dejé de lado tras muy poco tiempo, frustrado y convencido de que se trataba de un juego mecánicamente roto y totalmente injusto con el jugador. Una suerte de obra de nicho para masoquistas; pero no algo que yo pudiera apreciar y mucho menos disfrutar. Con estas premisas no fue raro que pasara olímpicamente de Dark Souls . Simplemente el juego no entraba en mis planes. En aquella época Skyrim y, sobre todo, Battlefield 3  centraban mi atención. Como digo, hubo que esperar a 2015, con cambio generacional incluido, para que volviera a interesarme por el trabajo de From Software . Fue tangencialmente. No seguí el desarrollo de Project Beast. Tampoco estuve pegado a youtube viendo pr...

Rage against the dying of the light

I would like to tell a different story, but it was not until Bloodborne , in 2015, that I really started enjoying Hidetaka Miyazaki 's games. I remember the word of mouth with Demon's Souls , I also remember how difficult it was to get my copy for PS3 , and on top of all that, I do perfectly remember me putting the game aside, frustrated and convinced that it was mechanically broken, totally unfair with the player. Some short of niche title for super hardcore players, but not something I could appreciate, not to mention enjoy. With these premises it was not strange that I didn't care about Dark Souls. It simply was not in my agenda. By that time Skyrim and Battlefield 3 were my principal focus. As I've said, I had to wait until 2015, with a new generation of consoles in between, before playing again a game from From Software . I was not super fascinated about Project Beast at the beginning, I did not follow the development, someday it was just released and I told mys...