Zdroje: Quantum Zeitgeist (15. 8. 2026), arXiv preprint 2607.14920 (16. 7. 2026)

Paderbornská univerzita dokázala, že troj-bodová MacWilliamsova identita pro spojité kvantové kódy neporáží dvou-bodovou. GKP mřížkové kódy optimálně saturovaly Burchardsovy meze

V klasické teorii kódování je „více bodů" vždy lepší než „méně bodů". Troj-bodové semidefinitní programování (SDP) zpřesňuje dvou-bodové lineární programování (LP) pro balení v mřížce – to je klasický fakt, na kterém stojí celá architektura moderních kódových mezí. U kvantových kódů se ale dlouho předpokládalo, že stejná logika musí platit i pro spojité (continuous-variable, CV) kvantové kódy – zejména pro GKP (Gottesman–Kitaev–Preskill) kódy, které jsou dnes považovány za jeden z nejdůležitějších stavebních kamenů bosonické opravy chyb na supravodivých, fotonických i iontových platformách. Práce Yinzi Xiaa z katedry informatiky Paderbornské univerzity, zveřejněná 16. července 2026 na arXiv (preprint 2607.14920), tento předpoklad formálně vyvrací – a zároveň ukazuje přesně proč selhává.

MacWilliamsova identita a proč je vůbec důležitá

MacWilliamsova identita je v teorii kódování to, co Fourierova transformace v teorii signálů: dává nám lineární vztah mezi vahami slov v kódu a vahami slov v jeho duálním kódu. V diskrétním případě tvoří základ moderních Plotkinových, Delsarteových a linear-programming bound (LP bound). Ve spojité verzi – vyvinuté Burchardsem a dalšími – je klíčem k tomu, abychom dokázali, že určitý CV kvantový kód (například GKP) nemůže existovat lepší, než jaký máme. Jinými slovy: Burchardsova dvou-bodová LP mez nám dává horní odhad na počet logických qubitů, které lze zakódovat do daného CV nosného režimu.

Přirozenou otázkou je: pomůže troj-bodová (three-point) verze stejně jako v klasickém případě? V klasickém kódování ano – SDP relaxace s troj-bodovou strukturou zpřesňuje LP mez pro balení v mřížce, a to někdy dost výrazně. U CV kvantových kódů ale tato generalizace nikdy nebyla provedena – a nikdo nevěděl, jestli vůbec povede ke zlepšení.

Co Xiao sestrojil

Xiao sestrojil troj-bodovou CV kvantovou MacWilliamsovu identitu – tedy ekvivalent Burchardsovy dvou-bodové verze, ale s dodatečným parametrem troj-bodového „interakčního" jádra. Tato identita má dvě důležité vlastnosti:

  • Její konfigurační prostor nese symplektický invariant bez klasické analogie, který enkóduje GKP kvantizační podmínku i dodatečnou troj-bodovou znaménkovou fázi. Tato fáze v klasickém případě neexistuje – je čistě kvantovým jevem spojeným s komutátorovou strukturou CV prostoru.
  • Její integrální jádro má uzavřenou formu, což umožňuje přímo odvodit semidefinitně-programové meze na dimenzi CV kvantových korektivních kódů.

Tím Xiao zaplnil dlouho otevřenou mezeru v teorii CV kódů – troj-bodová MacWilliamsova identita nyní existuje jako matematicky dobře definovaný objekt.

Dva kolapsové teorémy – hlavní výsledek

Xiao pak dokázal dva „kolapsové teorémy" – tedy výsledky, které ukazují, že dodatečná komplexita troj-bodové struktury nepřináší zlepšení oproti dvou-bodové Burchardsově verzi.

Kolaps č. 1: GKP mřížkové kódy

Pro GKP kódy založené na mřížce (kde se kvantový stav kóduje v periodických strukturách v poloze a hybnosti harmonického oscilátoru) Xiao dokázal, že troj-bodové optimum se identicky rovná Burchardsovu dvou-bodovému LP optimu. To znamená, že známé magické funkce E₈ mřížky a Leechovy mřížky (které kódují 1 logický qubit do 8, resp. 24 fyzických CV modů) svou troj-bodovou SDP mez pouze saturovaly, nepřekonaly. Toto je přesné určení optima – ne aproximace, ne dolní mez – což je v teorii kódování mimořádně silný výsledek.

Kolaps č. 2: Obecné bosonic kódy

Pro obecné bosonic kódy (libovolné kódování do CV nosného prostoru, ne nutně mřížkové) je situace podobná, ale s jiným mechanismem. Pomocí úplně pozitivní reformulace (completely-positive reformulation) Xiao obešel překážku pozitivity, která brání přirozeným factored-form konstrukcím. Výsledkem je, že fázově-znaménková podmínka dohromady s Choi positivitou vynucuje vymizení troj-bodového členu. Xiao certifikoval tento kolaps numericky pro radiální Choi formy na prvních osmi Laguerrových hladinách v jednom módu. Plný trace-class kužel zůstává otevřený – ale důkaz na prvních osmi hladinách silně naznačuje, že kolaps je strukturální.

Code projector: viník bez klasické analogie

Co je na této práci opravdu krásné, je identifikace společné příčiny obou kolapsů. Xiao ukazuje, že oba kolapsy mají jednoho společného „původce", který v klasickém balení nemá obdoby: code projector.

Code projector je operátor, který projektuje stav na kódový podprostor. V klasickém kódování se v bounds typicky používá jako projektor na kódované symboly – a má plnou positivitu, která pohání troj-bodové zlepšení. V kvantovém případě ale code projector orientuje bound správným směrem, ale zároveň odebírá plnou positivitu, která je v klasickém případě motorem troj-bodového zlepšení. To je čistě kvantový jev – nemá protějšek v klasickém balení v mřížce.

Jinými slovy: v kvantovém případě „projektor na kód" pracuje proti nám. Nemůžeme ho jednoduše nahradit něčím pozitivnějším, protože bychom ztratili schopnost ohraničit skutečné kódy. Toto je hluboký strukturální výsledek, který mění způsob, jakým budeme přemýšlet o SDP bounds v bosonických kódech.

Praktické důsledky

Na první pohled se může zdát, že „kolaps" je špatná zpráva – troj-bodová technika nepomáhá. Ale opak je pravdou:

  1. E₈ a Leech magické kódy jsou optimální. Toto je zásadní certifikace kvality – tyto kódy nejenže dosahují vysoké účinnosti (velký počet logických qubitů na fyzický mód), ale zároveň saturovaly nejlepší známou SDP mez. To je vzácné a důležité pro důvěru v bosonické kódy jako cestu k fault-tolerant výpočtům.
  2. Hledání lepších bounds musí jít jinudy. Pokud troj-bodové SDP nepomáhá, další zlepšení musí přijít z úplně jiných struktur – například z kódů s větší konexivitou (qLDPC), z nových algebraických struktur, nebo z kombinování GKP s diskrétními kódy (concatenované schéma). Xiaova práce uzavírá jednu výzkumnou linii a otevírá prostor pro nové.
  3. Certifikace strukturální povahy kolapsu na prvních osmi Laguerrových hladinách poskytuje numerický důkaz, že kolaps není náhodný – a dává teoretikům pevný základ pro další práci.

Co bude dál

Xiao v závěru explicitně nechává otevřený plný trace-class kužel pro obecné bosonic kódy – to je jasná výzva pro komunitu. Je možné, že v plném trace-class kuželi existují kódy, kde troj-bodová technika přece jen pomůže, ale tyto kódy budou mít nejaký velmi specifický charakter (nebudou radiální, nebudou mít jednoduchou Choi strukturu). To je přesně typ výsledku, který posouvá celé pole – a v kombinaci s nedávnými experimentálními milníky (Clavina, kvazi-deterministická příprava GKP stavů na fotonických čipech) dává teoretikům i experimentátorům jasnou mapu toho, kde leží skutečné hranice bosonických kvantových korektivních kódů.

Pro středoevropskou komunitu kolem quantum-computing.cz je tato práce důležitá ještě z jednoho důvodu: Paderbornská univerzita (kde Xiao působí) je jedním z mála evropských pracovišť, které systematicky budují teorii CV kvantových kódů. Jejich výsledky mají přímý dopad na evropské kvantové programy (Quantum Flagship, EuroQCI), kde bosonické kódy hrají roli v několika klíčových platformách.

Shrnutí pro rychlé čtenáře

  • Kdo: Yinzi Xiao, katedra informatiky Paderbornské univerzity.
  • Co: Sestrojení troj-bodové CV kvantové MacWilliamsovy identity a důkaz dvou kolapsových teorémů.
  • Hlavní výsledek 1: Pro GKP mřížkové kódy je troj-bodové optimum identické s Burchardsovým dvou-bodovým LP optimem – E₈ a Leech magické kódy saturovaly SDP mez.
  • Hlavní výsledek 2: Pro obecné bosonic kódy Choi positivita + znaménková podmínka vynucuje vymizení troj-bodového členu (certifikováno na 8 Laguerrových hladinách).
  • Společná příčina: Code projector – kvantový efekt bez klasické analogie.
  • Co to znamená: E₈ a Leech magické kódy jsou certifikovaně optimální. Další zlepšení bosonických kódů musí přijít z jiných struktur.
  • Co bude dál: Otevřený trace-class kužel pro obecné bosonic kódy; kombinace s qLDPC a concatenovanými kódy.

Zdroje: