¿Sobrevive el claim de "doped Clifford" de IBM al contraataque clásico?
Estado a: 28 de agosto de 2026.
Ni refutado ni intacto. El 13 de agosto — día 14 del claim — Manabe, Gu & Pan computaron amplitudes exactas de los 2.051 lotes de bitstrings publicados por IBM en 37,3 minutos sobre 256 GPUs, y en vez de tumbar el experimento, confirmaron independientemente su cota de fidelidad: su estimación de log-XEB, 0,35, queda por encima del ≥0,284 certificado por IBM. Lo que se debilitó es la otra mitad del claim — la dureza clásica: la geometría cuasi-unidimensional de la instancia admite computar amplitudes barato, y el tensor más grande salió 256× por debajo de la estimación de IBM. Nadie ha reproducido clásicamente la tarea de muestreo en sí. El claim sigue en pie, más angosto que como se publicó.
Este es el seguimiento que nuestro post del checklist de credibilidad dejó abierto el 25 de agosto: el contraataque había aterrizado, y la pregunta era qué mostraba en realidad. Aquí va la respuesta al día 15 del contraataque, componente por componente.
¿Qué afirmó IBM exactamente?
El paper (Martiel et al., arXiv:2607.25941, publicado el 28 de julio; anunciado por IBM el 30 de julio) reporta muestreo de circuitos "doped Clifford" — un andamiaje Clifford dopado con 468 compuertas T — codificados en un código detector de errores: 70 qubits lógicos sobre 97 físicos a profundidad 70, con supresión de error de compuerta de aproximadamente 10× por la codificación. El punto estructural de la construcción es que la fidelidad se vuelve certificable desde la estructura del circuito y los síndromes del código medidos: el paper certifica una cota inferior de fidelidad de 0,284 al 95% de confianza.
Leído como claim, tiene dos mitades. Mitad uno: el experimento corrió a fidelidad verificablemente alta — el 0,284 certificado fue la cota cuantitativa más fuerte de los tres claims de julio, y por eso nuestro post del checklist lo puntuó como la mejor respuesta del campo a "¿hay una cota de error cuantitativa?". Mitad dos: la distribución muestreada está fuera del alcance clásico práctico — la mitad de dureza, apoyada en una estimación de costo clásico.
Separar las mitades no es pedantería. A 28 de agosto, llevan trayectorias opuestas.
¿Qué hizo el contraataque en realidad?
Manabe, Gu & Pan (arXiv:2608.13110, 13 de agosto) construyeron una contracción transversal determinística de redes tensoriales para circuitos brickwork cuasi-1D: para un circuito de n qubits y profundidad d, amplitudes exactas con ancho de contracción ⌈d/2⌉. Dos hechos estructurales hacen el trabajo. La instancia tiene geometría cuasi-unidimensional abierta, y sus compuertas entrelazantes tienen rango de Schmidt de operador 2 — lo que en conjunto admite una contracción de ancho bajo. Y en su método, el número y la ubicación de las compuertas T no cambia el costo en absoluto: el "dopaje" que da nombre al experimento le sale gratis a este ataque.
El resultado: los 2.051 lotes de amplitudes correspondientes a los bitstrings de salida publicados por IBM, computados exactos en 37,3 minutos sobre 32 nodos de 8 GPUs NVIDIA H100 cada uno. El tensor intermedio más grande necesitó 256 GiB — en sus palabras, 256 veces menos que la estimación de IBM. De esas amplitudes exactas computaron una estimación de log-XEB de 0,35034, IC 95% [0,298, 0,403], que califican de "numéricamente compatible con la cota inferior de fidelidad reportada independientemente por IBM" (traducción propia).
Lo que NO hicieron importa igual: no muestrearon. Computar la probabilidad de bitstrings que un dispositivo cuántico ya produjo es una tarea distinta de producir muestras con fidelidad equivalente — y para esta familia de circuitos, nadie ha hecho públicamente lo segundo. Su propio encuadre es explícito: el método es "un diagnóstico práctico para salidas experimentales y una herramienta cuantitativa para diseñar futuros experimentos de muestreo doped Clifford" (traducción propia). Ese no es el lenguaje de una refutación, y lo leemos tal cual.
¿Diagnóstico o refutación? Pásalo por el árbol
Nuestro checklist del lector hace cinco preguntas en orden; este episodio es la cuarta y la quinta interactuando en tiempo real. La cuarta — ¿hay una cota de error cuantitativa? — era donde el claim de IBM estaba más fuerte, y el contraataque la fortaleció: la mejor evidencia independiente a la fecha de que la máquina de IBM hizo lo que IBM dijo es el ataque clásico en su contra. Esa frase es rara, y es el dato más citable del episodio.
La quinta — ¿cuánto sobrevive el claim al contacto con los métodos clásicos? — es donde aterrizó el daño, y aterrizó sobre la estimación, no sobre el experimento. La mitad de dureza descansaba en una proyección de costo clásico que no anticipó una contracción transversal explotando la geometría abierta y los entrelazadores de rango 2. Esa proyección quedó 256× arriba en memoria de tensores para esta instancia. Es la lección del baseline débil con abrigo nuevo: el lado clásico de todo claim de ventaja es un baseline en movimiento, y la estimación que publicas es una foto de los métodos que conocías.
Nada de esto es una acusación. La estimación de costo de IBM se hizo honestamente contra los métodos conocidos al publicar, los bitstrings se publicaron precisamente para que otros los atacaran, y los autores del ataque eligieron lenguaje medido, sin triunfalismo. Este es el sistema funcionando como fue diseñado — en público, sobre artefactos, en 14 días.
El claim, componente por componente
| Componente | IBM publicó (28-jul) | El contraataque mostró (13-ago) | Estado a 28-ago | Fuente |
|---|---|---|---|---|
| Fidelidad | cota inferior 0,284 al 95%, certificada vía síndromes | log-XEB 0,35 [0,30–0,40] de amplitudes exactas — compatible, por encima de la cota | confirmada independientemente | arXiv:2607.25941 · arXiv:2608.13110 |
| Dureza de amplitudes | costo clásico estimado grande | contracción de ancho ⌈d/2⌉; 2.051 lotes en 37,3 min; tensor máx. 256 GiB (256× bajo la estimación) | más angosta para esta geometría | arXiv:2608.13110 |
| Dureza de muestreo | la tarea reclamada | no intentada — amplitudes ≠ muestras | abierta, sin probar | arXiv:2608.13110 |
| Próximas instancias | instancia publicada fija | mapa de simulabilidad: bordes periódicos, entrelazadores de rango 4, más profundidad escapan al método | espacio de diseño mapeado | arXiv:2608.13110 §6 · arXiv:2608.15963 |
¿Qué viene ahora?
La sección más constructiva del contraataque es un mapa de simulabilidad clásica: las características que pondrían una instancia de próxima generación fuera del alcance de la contracción transversal son concretas — condiciones de borde periódicas en vez de abiertas, compuertas entrelazantes de rango de Schmidt de operador 4 en vez de 2, más profundidad (su ancho escala con ⌈d/2⌉, así que el costo crece exponencialmente en la profundidad). El próximo experimento doped Clifford puede diseñarse fuera del mapa, y los autores del mapa lo publicaron para que así sea.
La conversación de diseño ya se está moviendo: el 16 de agosto, tres días después del contraataque, una propuesta aparte (Yan, arXiv:2608.15963) sugirió esconder la propia estructura Clifford vía ofuscación, inyectando recursos no-estabilizadores contra exactamente las estrategias de ingeniería inversa y simulación directa que este episodio exhibió.
De IBM: a 28 de agosto no encontramos v2 del paper ni respuesta pública al contraataque — 15 días después de su publicación. La ausencia de respuesta no es concesión, y 15 días es poco; la regla de nuestro propio checklist aplica para ambos lados: "abierto" es un estado, no un veredicto. Todo el episodio, nótese, corrió sobre artefactos publicados — IBM liberó los bitstrings que fueron atacados. Eso es la reproducibilidad radical haciendo exactamente su trabajo, al día 14 en vez de los meses que tomó con claims anteriores.
Qué sabemos / qué no sabemos
Qué sabemos, con fuentes: la cota de fidelidad está ahora confirmada independientemente por las amplitudes exactas de los atacantes (arXiv:2608.13110 vs. arXiv:2607.25941); las amplitudes de todas las salidas publicadas se computan en 37,3 minutos sobre 256 H100; la estimación de memoria de tensores de IBM quedó 256× arriba para la geometría de esta instancia; no se han producido muestras clásicas de fidelidad equivalente; y a 28 de agosto no había aparecido respuesta de IBM.
Qué no sabemos: si la tarea de muestreo en sí — no la evaluación de amplitudes — es igualable clásicamente para esta familia de circuitos, que es la pregunta técnica de la que ahora cuelga el debate; si la traducción log-XEB→fidelidad se sostiene exacta, porque se apoya en los supuestos de Porter–Thomas y ruido revuelto que ambos lados comparten; si IBM responde con una réplica o con una instancia de próxima generación construida fuera del mapa de simulabilidad; y si el Quantum Advantage Tracker adjudica formalmente este episodio — al cierre no encontramos adjudicación en ningún sentido. Nuestros conteos de días son aritmética directa sobre las fechas de publicación citadas; no tenemos mediciones propias en esta clase de problema y no reclamamos ninguna.
Rosetta Q publica veredictos con datos crudos reproducibles. Esto es contenido educativo, no un claim de producto.