Annealing cuántico vs compuertas: ¿qué puede cada uno?
TL;DR. El annealing cuántico y la computación cuántica de compuertas comparten la palabra "cuántico" y poco más que le sirva a un comprador para decidir. Un annealer es un algoritmo fijo construido como máquina física: relaja hacia estados de baja energía de un problema de Ising que escribes en sus acopladores — 4.400+ qubits físicos a la venta hoy (D-Wave Advantage2, disponibilidad general 20-may-2025). Un computador de compuertas es una máquina programable: corre circuitos arbitrarios — Shor, Grover, química — con 100–1.121 qubits físicos. El teorema de equivalencia que se cita ("adiabático = modelo de compuertas") cubre a un primo idealizado del annealing, no al hardware que se vende. Ningún paradigma tiene ventaja end-to-end medida en un problema útil a septiembre 2026 — y el dato fresco más filoso es que la propia empresa del annealing empezó este año a construir una máquina de compuertas.
Estado a: 1 de septiembre de 2026.
¿Qué es el annealing cuántico?
El annealing cuántico lo propusieron Kadowaki y Nishimori en 1998 (Phys. Rev. E 58, 5355): arrancar un sistema de Ising con campo transversal en una superposición fácil, y luego encender lentamente los acoplamientos del problema mientras se apaga el campo transversal, dejando que las fluctuaciones cuánticas ayuden al sistema a asentarse en una configuración de baja energía. La máquina no ejecuta instrucciones — la física ES el algoritmo, fundido en hardware una sola vez, en tiempo de diseño.
Eso tiene dos consecuencias inmediatas. Primera: el formato de entrada es fijo. Un annealer acepta exactamente un tipo de pregunta — minimizar una función de energía Ising/QUBO — así que todo problema de negocio debe traducirse antes a esa forma, con los costos de traducción y las trampas de la perilla de penalización que cubrimos en nuestro explicador del Hamiltoniano. Segunda: la corrida es analógica. No hay pasos discretos que verificar, no hay circuito que auditar en vuelo, y — a diferencia del modelo de compuertas — no existe esquema demostrado para corregir errores en una corrida de annealing. Los vendors mitigan con lecturas múltiples, transformadas de inversión de spin y calibración, pero nada equivalente a un qubit lógico existe hoy para el annealing analógico (Albash & Lidar, Rev. Mod. Phys. 90, 015002, 2018).
¿Qué es el modelo de compuertas?
El modelo de compuertas es el análogo cuántico de un procesador programable: los qubits guardan amplitudes, y un circuito — una secuencia de compuertas elegida por problema — rota esas amplitudes para que las respuestas incorrectas se cancelen por interferencia (nuestro post fundacional del qubit cubre la mecánica). Cada algoritmo con nombre y speedup probado — Shor, Grover, simulación cuántica, la lista corta honesta — es un programa del modelo de compuertas. También lo es la ruta a la tolerancia a fallos: qubits lógicos armados de físicos, con el ratio físico:lógico mejorando por demostración medida. Nada de esa biblioteca corre en un annealer, porque un annealer no tiene conjunto de instrucciones donde correrla.
¿Pero el annealing no es probadamente equivalente a las compuertas?
Aquí es donde el marketing y la matemática se separan, así que merece precisión. El teorema célebre EXISTE: Aharonov et al. (SIAM J. Comput. 37, 166, 2007) probaron que la computación cuántica adiabática — evolucionar lo bastante lento, quedarse en el estado base — puede simular cualquier circuito cuántico con sobrecosto polinomial. Universal, punto.
Pero la máquina del teorema no es la máquina que se vende. Tres brechas, cada una documentada en las referencias estándar:
| El teorema asume | El hardware provee | Fuente |
|---|---|---|
| Hamiltonianos generales (no estocuásticos) — la construcción de universalidad necesita términos de acoplamiento más allá del Ising con campo transversal | Solo Ising estocuástico de campo transversal | Aharonov et al. 2007; Bravyi et al. 2006 |
| Un sistema cerrado que evoluciona lo bastante lento para seguir el estado base, con la brecha espectral protegiendo la corrida | Un sistema abierto a temperatura finita, con schedules fijos y sin garantía de brecha | Albash & Lidar 2018 |
| Sobrecosto polinomial medido contra la brecha — que puede cerrarse exponencialmente en instancias duras | Las mismas brechas que se cierran exponencialmente, ahora con ruido encima | Albash & Lidar 2018 |
La restricción estocuástica es la palabra que carga el peso. Los Hamiltonianos estocuásticos (Bravyi, DiVincenzo, Oliveira & Terhal, arXiv:quant-ph/0606140, 2006) no tienen "problema del signo", que es exactamente la propiedad que permite a los métodos clásicos de Monte Carlo cuántico seguirlos con eficiencia en muchos regímenes — una razón estructural de por qué el lado clásico sigue alcanzando a los claims de annealing. Un annealer de Ising con campo transversal vive entero dentro de esa clase restringida. El resumen honesto: la computación adiabática ideal es universal; los annealers que puedes rentar, no. Cuando un pitch cita el teorema en nombre del hardware, está citando el diploma de otra máquina.
¿Qué puede hacer cada máquina hoy?
| Pregunta | Annealer (D-Wave Advantage2) | Compuertas (IBM, Quantinuum, otros) | Fuente |
|---|---|---|---|
| ¿Qué programas corren? | Uno: muestrear estados de baja energía de un Ising/QUBO | Cualquier circuito cuántico: Shor, Grover, simulación, lazos variacionales | Kadowaki & Nishimori 1998; Aharonov et al. 2007 |
| Qubits físicos a la venta | 4.400+, topología Zephyr, conectividad de 20 vías (GA 20-may-2025) | ~100–1.121 según vendor (mapa de métricas) | Comunicado D-Wave may-2025 |
| Corrección de errores | Ninguna demostrada para annealing analógico; solo mitigación | Qubits lógicos demostrados; 101:1 físico:lógico es el mejor publicado | Albash & Lidar 2018 |
| ¿Computador universal? | No — Ising estocuástico, schedule fijo | Sí, en principio; la tolerancia a fallos aún se construye | Bravyi et al. 2006; Aharonov et al. 2007 |
| Ventaja end-to-end medida en problema útil | 0 — el claim insignia de spin-glass está en disputa abierta | 0 — las victorias clase supremacía son tareas sintéticas | King et al. 2025; Tindall et al. 2026 |
| Fortaleza honesta hoy | Muestreador físico rápido de estados Ising de baja energía a escala real | La biblioteca completa de algoritmos probados, más la única ruta medida de corrección de errores | docs D-Wave; refs arriba |
La comparación de conteos de qubits merece su propia advertencia: 4.400 qubits de annealing y 1.121 de compuertas no son la misma unidad. Los de annealing cargan un patrón fijo de interacción a precisión analógica; los de compuertas cargan programas arbitrarios a profundidad de circuito. Comparar los dos números de titular es exactamente la trampa de métricas de vendor que esta serie viene marcando.
¿Qué dice el registro medido?
Tres entradas, cada una con su letra chica. Primera, el claim de annealing más fuerte del registro: King et al. (Science, marzo 2025) reportaron ganarle a la simulación clásica en dinámica de spin-glass — simulación cuántica de materiales magnéticos, no optimización. Métodos clásicos de redes tensoriales igualaron partes sustanciales en una laptop en días, como preprint, publicado en Science 392, 868 el 21-jul-2026; D-Wave publicó una respuesta detallada ("Result Stands", 26-may-2026) sosteniendo que las instancias más duras y los observables de mayor orden siguen fuera del alcance clásico. La disputa está abierta — la re-chequeamos esta semana y no encontramos adjudicación en ningún sentido a 1-sep-2026. Ambos lados quedan linkeados abajo; nuestro post de reproducibilidad recorre el episodio. Nada de esto es una acusación: el claim publicó sus datos, el contraataque corrió sobre ellos y la réplica es pública — el sistema funcionando como debe.
Segunda, el número de optimización por annealing más fuerte de 2025: un estudio de benchmarking (Kim et al., npj Quantum Information, 2025) reporta un pipeline híbrido de annealing resolviendo un QUBO denso de 10.000 variables en 0,0855 s donde un baseline de simulated annealing tomó 561 s — unas 6.561×. Lee la letra chica de los propios autores antes de repetir el número: el solver ganador es un híbrido cuyo componente clásico es propietario y no divulgado, el annealing puro "tiene dificultades con problemas grandes y densos" (traducción propia), y la medición de tiempo excluye el overhead de cola. Un speedup atribuido a una caja negra que es en parte clásica es un claim sobre la caja, no todavía sobre el paradigma cuántico adentro — la misma regla de auditoría de siempre: baseline clásico más fuerte, misma instancia, mismas reglas.
Tercera, la línea de base larga: cuando se impuso una metodología neutral al hardware de annealing (Rønnow et al., Science 345, 420, 2014 — "Defining and detecting quantum speedup"), la ventaja de escalamiento medida desapareció al controlar selección de instancias y presupuesto. Y en trabajo aplicado de ruteo, los solvers clásicos maduros siguen adelante en problemas con forma de producción. El marcador que esta serie mantiene no se mueve: ventaja end-to-end medida en problema útil, cualquiera de los dos paradigmas, cero.
El dato más fresco: la empresa del annealing construye una máquina de compuertas
El 1 de junio de 2026, D-Wave — la única empresa que apostó puro al annealing — publicó un roadmap de modelo de compuertas: qubits superconductores dual-rail, 17 físicos en 2026, 49 en 2027, 181 en 2028, 10 qubits lógicos como meta a 2030 y 100 lógicos a 2032, con una meta declarada de factor de supresión de error Λ = 10. Cada fecha de ahí es un roadmap, y un roadmap es la meta optimista del interesado — el historial de esas fechas no es malo: está vacío. Pero la asignación de capital en sí es dato del mejor tipo: el vendor con más expertise de annealing del planeta concluyó que la biblioteca universal de algoritmos requiere una máquina de compuertas. Esa es la respuesta más limpia disponible a la pregunta de este post, dicha por la parte con menos incentivo para decirla — y es una estrategia que cualquier observador puede leer de comunicados públicos, no una filtración.
Qué sabemos / qué no sabemos
Sabemos: que annealing y compuertas son máquinas distintas con descripciones de puesto distintas — un algoritmo analógico fijo versus un conjunto de instrucciones programable (Kadowaki & Nishimori 1998; Aharonov et al. 2007). Que el teorema de universalidad no se transfiere al hardware estocuástico de sistema abierto (Bravyi et al. 2006; Albash & Lidar 2018). Que las escalas a la venta son 4.400+ qubits de annealing y ~100–1.121 de compuertas, con demos de qubit lógico solo del lado de compuertas. Que ningún paradigma tiene victoria end-to-end medida en problema útil, y que la propia D-Wave ahora construye ambos.
No sabemos: si el annealing retiene alguna ventaja de escalamiento en sus problemas nativos cuando la disputa de spin-glass se resuelva — está abierta, y "abierto" es un estado, no un veredicto. Si diseños no estocuásticos o diabáticos de annealing pueden escapar de la ventana de simulabilidad clásica — investigación activa, sin hardware a la venta. Si speedups híbridos como el de 6.561× sobreviven a la divulgación del componente clásico propietario y a un baseline más fuerte con presupuesto emparejado. Si alguna de las fechas dual-rail de D-Wave aterriza — ninguna fecha de roadmap de esta industria ha sido calificada todavía. Y no existe protocolo compartido para benchmarkear un annealer y una máquina de compuertas sobre la misma instancia con las mismas reglas — así que hasta la comparación de este post hereda las métricas propias de cada lado.
Nuestras corridas selladas (la serie V-0012) son simulaciones QAOA del paradigma de compuertas y quantum walks; no tenemos mediciones en hardware de annealing y no reclamamos ninguna aquí.
Fuentes
- Kadowaki & Nishimori, Phys. Rev. E 58, 5355 (1998)
- Aharonov et al., SIAM J. Comput. 37, 166 (2007)
- Albash & Lidar, Rev. Mod. Phys. 90, 015002 (2018)
- Bravyi, DiVincenzo, Oliveira & Terhal, arXiv:quant-ph/0606140 (2006)
- D-Wave, disponibilidad general de Advantage2 (20-may-2025)
- The Quantum Insider, roadmap de compuertas de D-Wave (1-jun-2026)
- King et al., Science (mar-2025)
- Tindall et al., Science 392, 868 (21-jul-2026)
- D-Wave, "Result Stands" (26-may-2026)
- Kim et al., npj Quantum Information (2025), arXiv:2504.06201
- Rønnow et al., Science 345, 420 (2014)
Rosetta Q publica veredictos con datos crudos reproducibles. Esto es contenido educativo, no un claim de producto.