Researcher-in-the-Loop Evolutionary Discovery of Entanglement-Assisted Quantum Code Families
What it is
This paper presents a discovery pipeline that combines LLM-guided program evolution with researcher analysis, exact evaluation, and formal proof checking to find new quantum error-correcting codes. It applies this method to entanglement-assisted quantum error-correcting codes (EAQECCs), using evolved programs to generate finite constructions that researchers generalize into a proved family, verified by Lean.
The problem it solves
LLM-guided program evolution can produce mathematical constructions, but lacks mechanisms to ensure validity, generality, and reproducibility without distinct evidence like formal proofs and generalization.
What you could use it for
- Discovering new families of entanglement-assisted quantum error-correcting codes
- Generating mathematical constructions via LLM-guided program evolution
- Closing gaps in archived quantum code tables using certified nonexistence checks
Why it matters
It demonstrates a reproducible method for turning finite computational discoveries into formally proved mathematical families, bridging the gap between heuristic AI search and rigorous mathematical validity.
Read the source ↗Back to the library →
Summary written by an AI model from the source; check the source before you rely on it.