El canal cuántico que no se rinde exprés
En 1996, los físicos se preguntaron: ¿cuánto ruido puede soportar un canal cuántico antes de dejar de transmitir información? Una conversación telefónica en la que cada tercera palabra se sustituye por ruido aleatorio aún puede entenderse. ¿Hasta qué nivel de interferencia captará el interlocutor el sentido? Para los canales cuánticos, ese umbral se buscó durante casi treinta años, y todas las estimaciones anteriores se basaban en cálculos computacionales de coma flotante, es decir, en aproximaciones.
El nuevo trabajo ofrece por primera vez una demostración rigurosa. Los autores construyeron un estado explícito de 45 cúbits (equivalentes cuánticos de los bits) que conserva la capacidad de transmitir información con un error del 6,5% por cúbit. Esto es peor de lo que se pensaba, pero ahora no es una estimación, sino un hecho demostrado. Todo el cálculo se reduce a una lista finita de comparaciones de números enteros grandes, y cualquiera puede verificarlo con un programa corto.
Lo más sorprendente: los autores no solo encontraron un estado funcional, sino que ordenaron rigurosamente dos estados en competencia que antes solo se comparaban numéricamente. Resulta que sus límites de supervivencia están separados por un intervalo de más de 1/25000, como si dos corredores cruzaran la meta con una diferencia de una milésima de segundo y ahora tuviéramos una foto finish.
La utilidad práctica está en la confianza. La computación y la comunicación cuánticas requieren garantías precisas, no un «lo comprobamos en la computadora, parece que funciona». Ahora, para una clase importante de canales, esas garantías existen y son reproducibles: todos los datos y programas están disponibles públicamente.
Resumen original
tal como lo escribieron los autores, en inglés arXiv:2608.15870v1
The noise threshold below which the qubit depolarizing channel retains positive quantum capacity has been studied since 1996. The classic constructions come with exact finite formulae, but in every reported threshold to date -- most recently the record of Agarwal et al. -- the final step, the sign of the coherent information at the reported point, is a floating-point evaluation. We give the first exact-arithmetic, independently machine-checkable positivity proofs in this regime: an explicit 45-copy rank-two input state $$A$$, published as a 1,472-byte witness, with certified $$I_c > 0$$ at the exact rational $$p = 16239/250000 = 0.064956$$ (per-Pauli convention; total error rate $$3p = 0.194868$$) -- beyond both the best value printed in the Agarwal et al. paper ($$0.064657$$) and the strongest state in the same authors' public repository ($$\approx 0.064911$$), both numerical. Because the depolarizing family is a semigroup under composition, fixed-input coherent information is nonincreasing in $$p$$ on $$[0,1/4]$$, so a single certified point extends to the entire interval below it. The same machinery confines the positivity boundaries of $$A$$ and of the strongest public state of Agarwal et al. to disjoint rational intervals separated by more than $$1/25000$$ -- to our knowledge the first proven ordering of the positivity boundaries of two explicit competing code states. Every computational claim in the paper reduces to a finite list of big-integer comparisons, checkable by a dependency-free few-hundred-line verifier whose soundness rests on three self-contained half-page lemmas. Payloads, certificates, and verifier accompany the paper as a supplementary artifact.
Verificar todos los cálculos del artículo toma menos de un minuto en una computadora portátil normal, aunque los cálculos en sí requirieron meses de trabajo.