Evolving Quantum Error-Correcting Encodings for Molecular Simulation
📄 arXiv:2606.25870 · 📥 PDF · 2026-06-24 · quant-ph
Authors: Kenny Heitritter [arXiv · scholar] , James Brown [arXiv · scholar] , Tarini Hardikar [arXiv · scholar]
🕰 Orloj analysis
Tento článek zkoumá LLM-řízenou evoluční syntézu programů pro objevování kvantových kódů opravujících chyby (GSE) pro molekulární simulace. Metoda dosáhla vyšších kódových vzdáleností (až 5 nebo 6) a lepší efektivity zdrojů ve srovnání s předchozími přístupy pro mapování fermionů na qubity.
💡 Tento článek představuje novou aplikaci evolučního vyhledávání řízeného LLM k objevení účinnějších kvantových kódů opravujících chyby, což demonstruje praktická zlepšení v kódové vzdálenosti a využití zdrojů pro molekulární simulace.
Categories:
MET-4
INF-3
MET-1
INF-2
INF-1
✓ falsifiable, modest_claims, limit_reductions, code_available
⚠ Tvrzení o zlepšené kódové vzdálenosti jsou specifická pro 'testované molekulární instance' a 'jednu 20-modovou instanci', nikoli obecný důkaz., Srovnání výkonu jsou uvedena za specifických podmínek (např. 'srovnání paměti s kapacitou kódu při p=10^-3', 'tabulky dekódování s konečnou váhou')., Uznávaný nedostatek výhody na úrovni obvodu pro toleranci chyb nebo Trotterovy náklady omezuje okamžitou širší použitelnost.
📄 Abstract
Useful quantum algorithms require many coupled discrete design choices. We study LLM-driven evolutionary program synthesis -- a language model edits a program, an external verifier scores the result, and high-scoring programs are retained and re-mutated -- as a tool for quantum-computing research. As a case study, we apply this loop to the Generalized Superfast Encoding (GSE), a fermion-to-qubit encoding whose prior molecular constructions reach code distance $3$. The search discovered interpretable constructor programs whose codes have \emph{exact} distance $5$ on the molecular instances tested, and distance $6$ on one $20$-mode instance, under strict stabilizer-coset semantics. To our knowledge these are the first GSE/superfast encodings beyond distance $3$ for dense molecular Hamiltonians. A second search, guided by verifier analysis of the first artifact, found a circulant constructor that reaches a five-qubits-per-mode floor on the tested $12$-, $14$-, $16$-, and $20$-mode instances, with certified dense-rule fallback at the failing $18$-mode case. As secondary resource descriptors, in a code-capacity \emph{memory} comparison at $p=10^{-3}$ the resulting encodings use $4.2$--$5.0\times$ fewer data qubits than a scoped per-mode Jordan--Wigner $+$ $[[25,1,5]]$ surface route and have $3.4$--$8.2\times$ lower logical-failure rates under finite-weight decoding tables with explicit truncation brackets; we claim no circuit-level fault-tolerance or Trotter-cost advantage. The search trajectory illustrates a general operating lesson: rewarding distance alone selects trivial dense graphs, whereas holding verified distance fixed and rewarding compression selects structured rules.