Le canal quantique qui ne cède pas express
En 1996, des physiciens se sont demandé : combien de bruit un canal quantique peut-il supporter avant de cesser de transmettre de l'information ? Une conversation téléphonique où un mot sur trois est remplacé par un bruit aléatoire reste compréhensible. Jusqu'à quel niveau d'interférence l'interlocuteur saisit-il le sens ? Pour les canaux quantiques, ce seuil a été recherché pendant près de trente ans, et toutes les estimations précédentes reposaient sur des calculs informatiques en virgule flottante, c'est-à-dire sur des approximations.
Ce nouveau travail fournit pour la première fois une preuve rigoureuse. Les auteurs ont construit un état explicite de 45 qubits (équivalents quantiques des bits) qui conserve sa capacité à transmettre de l'information avec une erreur de 6,5 % par qubit. C'est moins bon que ce que l'on pensait auparavant, mais désormais ce n'est plus une estimation, c'est un fait prouvé. Tout le calcul se réduit à une liste finie de comparaisons de grands entiers, et n'importe qui peut le vérifier avec un court programme.
Le plus étonnant : les auteurs n'ont pas seulement trouvé un état fonctionnel, ils ont aussi strictement ordonné deux états concurrents qui n'étaient comparés que numériquement auparavant. Il s'avère que leurs limites de survie sont séparées par un intervalle de plus de 1/25000 — c'est comme si deux coureurs franchissaient la ligne d'arrivée avec une différence d'un millième de seconde, et que nous avions maintenant une photo-finish.
L'utilité pratique réside dans la confiance. Le calcul quantique et la communication exigent des garanties précises, pas des « on a vérifié sur ordinateur, ça semble marcher ». Désormais, pour une classe importante de canaux, ces garanties existent et sont reproductibles : toutes les données et tous les programmes sont disponibles en accès libre.
Résumé original
tel que rédigé par les auteurs, en anglais 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.
La vérification de tous les calculs de l'article prend moins d'une minute sur un ordinateur portable ordinaire, alors que les calculs eux-mêmes ont nécessité des mois de travail.