Researcher-in-the-Loop Evolutionary Discovery of Entanglement-Assisted Quantum Code Families
Auteurs : Jae-Hyun Baek, Byung-Sun Won, Jon-Lark Kim
Résumé scientifique
LLM-guided program evolution can produce mathematical constructions, but validity, generality, and reproducibility require distinct evidence. We develop a researcher-in-the-loop discovery pipeline that combines program evolution, exact evaluation, mathematical generalization, certified nonexistence checks, and formal proof checking. We apply it to entanglement-assisted quantum error-correcting codes (EAQECCs). Starting from tasks that did not specify a family formula, evolved programs produced finite qubit constructions whose structure researchers generalized to the family $[[n,1,n-1;n-q-1]]_q$ for prime powers $q\ge3$ at $n\ge2q+1$ and for $q=2$ at odd $n\ge5$. Lean checks the algebraic certificate underlying this family. Together with entanglement lifting, the family closes 54 gaps in archived EAQECC tables. The released evidence includes 115 verified code records, ten nonexistence results with checked DRAT proofs, family implementations, and preserved search programs for exact checks and seeded replay. In a controlled cohort of eight paired generation blocks, validation-selected iterative programs achieve success in 46.1% and 31.6% of held-out executions at unseen lengths $n=13,15$, compared with 19.5% and 3.1% for independently generated programs. In this setting, program evolution and researcher analysis turn finite computational discoveries into a proved family with independently checkable evidence.
Les articles autour de lui, par date et par proximité
Plus haut, c’est plus proche de cet article ; à gauche, c’est plus ancien. Les traits relient les articles proches entre eux : les groupes de traits sont des sous-thèmes. Sélectionnez un point pour voir pourquoi il est là. Retour au résumé de cet article
Les articles autour de celui-ci
Classés selon la proximité de leur titre et de leur résumé avec ceux de cet article. Sélectionnez-en pour les lire ensemble.
Les articles les plus proches
-
Quantum Error Correction via Noise Guessing DecodingDiogo Cruz, Francisco A. Monteiro, Bruno C. Coutinho · 2022 · Quantum Physics · cité 23 fois · Résumé IA disponible
Quantum Error Correction via Noise Guessing Decoding construit et décode des codes quantiques pour optimiser les performances à longueur finie, tandis que l’article établit une famille EAQECC.
Résumé scientifique
Quantum error correction codes (QECCs) play a central role both in quantum communications and in quantum computation, given how error-prone quantum technologies are. Practical quantum error correction codes, such as stabilizer codes, are generally structured to suit a specific use, and present rigid code lengths and code rates, limiting their adaptability to changing requirements. This paper shows that it is possible to both construct and decode QECCs that can attain the maximum performance of the finite blocklength regime, for any chosen code length and when the code rate is sufficiently high. A recently proposed strategy for decoding classical codes called GRAND (guessing random additive n…
-
Implementation of quantum imaginary-time evolution method on NISQ devices: Nonlocal approximationHirofumi Nishi, Taichi Kosugi, Yu-ichiro Matsushita · 2020 · npj Quantum Inf 7, 85 (2021) · cité 103 fois · Résumé IA disponible
Implementation of quantum imaginary-time evolution method on NISQ devices: Nonlocal approximation réduit la profondeur des circuits QITE, sans étudier la construction de codes correcteurs.
Résumé scientifique
The imaginary-time evolution method is widely known to be efficient for obtaining the ground state in quantum many-body problems on a classical computer. A recently proposed quantum imaginary-time evolution method (QITE) faces problems of deep circuit depth and difficulty in the implementation on noisy intermediate-scale quantum (NISQ) devices. In this study, a nonlocal approximation is developed to tackle this difficulty. We found that by removing the locality condition or local approximation (LA), which was imposed when the imaginary-time evolution operator is converted to a unitary operator, the quantum circuit depth is significantly reduced. We propose two-step approximation methods base…
-
Logical Error Rates for a [[4,2,2]]-Encoded Variational Quantum Eigensolver AnsatzMeenambika Gowrishankar, Daniel Claudino, Jerimiah Wright et al. · 2024 · Quantum Physics · cité 9 fois · Pas encore résumé
Logical Error Rates for a [[4,2,2]]-Encoded Variational Quantum Eigensolver Ansatz mesure l’effet d’un code de détection sur une application VQE, plutôt que de découvrir une famille de codes.
Résumé scientifique
Application benchmarks that run on noisy, intermediate-scale quantum (NISQ) computing devices require techniques for mitigating errors to improve accuracy and precision. Quantum error detection codes offer a framework by which to encode quantum computations and identify when errors occur. However, the subsequent logical error rate depends on the encoded application circuit as well as the underlying noise. Here, we quantify how the [[4,2,2]] quantum error detection code improves the logical error rate, accuracy, and precision of an encoded variational quantum eigensolver (VQE) application. We benchmark the performance of the encoded VQE for estimating the energy of the hydrogen molecule with …
-
Code Evolution Graphs: Understanding Large Language Model Driven Design of AlgorithmsNiki van Stein, Anna V. Kononova, Lars Kotthoff et al. · 2025 · Neural and Evolutionary Computing · cité 21 fois · Résumé IA disponible
Code Evolution Graphs analyse l’évolution de programmes générés par LLM pour concevoir des algorithmes, comme l’évolution de programmes employée ici pour découvrir des codes.
Résumé scientifique
Large Language Models (LLMs) have demonstrated great promise in generating code, especially when used inside an evolutionary computation framework to iteratively optimize the generated algorithms. However, in some cases they fail to generate competitive algorithms or the code optimization stalls, and we are left with no recourse because of a lack of understanding of the generation process and generated codes. We present a novel approach to mitigate this problem by enabling users to analyze the generated codes inside the evolutionary process and how they evolve over repeated prompting of the LLM. We show results for three benchmark problem classes and demonstrate novel insights. In particular…
-
Bridging Entanglement and Magic Resources through Operator SpaceNeil Dowling, Kavan Modi, Gregory A. L. White · 2025 · Quantum Physics · cité 35 fois · Résumé IA disponible
Bridging Entanglement and Magic Resources through Operator Space relie l’intrication des opérateurs aux ressources de magie, un sujet distinct des codes EAQECC étudiés ici.
Résumé scientifique
Local operator entanglement (LOE) dictates the complexity of simulating Heisenberg evolution using tensor network methods, and serves as strong dynamical signature of quantum chaos. We show that LOE is also sensitive to how non-Clifford a unitary is: its magic resources. In particular, we prove that LOE is always upper-bound by three distinct magic monotones: $T$-count, unitary nullity, and operator stabilizer Rényi entropy. Moreover, in the average case for large, random circuits, LOE and magic monotones approximately coincide. Our results imply that an operator evolution that is expensive to simulate using tensor network methods must also be inefficient using both stabilizer and Pauli trun…
-
Determining eigenstates and thermal states on a quantum computer using quantum imaginary time evolutionMario Motta, Chong Sun, Adrian Teck Keng Tan et al. · 2019 · Nature Physics 16, 205-210 (2020) · cité 866 fois · Résumé IA disponible
Determining eigenstates and thermal states on a quantum computer using quantum imaginary time evolution propose une méthode d’évolution en temps imaginaire, sans traiter les codes correcteurs.
Résumé scientifique
The accurate computation of Hamiltonian ground, excited, and thermal states on quantum computers stands to impact many problems in the physical and computer sciences, from quantum simulation to machine learning. Given the challenges posed in constructing large-scale quantum computers, these tasks should be carried out in a resource-efficient way. In this regard, existing techniques based on phase estimation or variational algorithms display potential disadvantages; phase estimation requires deep circuits with ancillae, that are hard to execute reliably without error correction, while variational algorithms, while flexible with respect to circuit depth, entail additional high-dimensional clas…
-
Quantum eigenvalue processingGuang Hao Low, Yuan Su · 2024 · Quantum Physics · cité 60 fois · Résumé IA disponible
Quantum eigenvalue processing présente des transformations et estimations de valeurs propres pour opérateurs non normaux, sans lien direct avec la découverte de familles de codes.
Résumé scientifique
Many problems in linear algebra -- such as those arising from non-Hermitian physics and differential equations -- can be solved on a quantum computer by processing eigenvalues of the non-normal input matrices. However, the existing Quantum Singular Value Transformation (QSVT) framework is ill-suited to this task, as eigenvalues and singular values are different in general. We present a Quantum EigenValue Transformation (QEVT) framework for applying arbitrary polynomial transformations on eigenvalues of block-encoded non-normal operators, and a related Quantum EigenValue Estimation (QEVE) algorithm for operators with real spectra. QEVT has query complexity to the block encoding nearly recover…
-
Benchmarking highly entangled states on a 60-atom analog quantum simulatorAdam L. Shaw, Zhuo Chen, Joonhee Choi et al. · 2023 · Quantum Physics · cité 107 fois · Résumé IA disponible
Benchmarking highly entangled states on a 60-atom analog quantum simulator estime l’intrication d’états sur un simulateur analogique, plutôt que de construire des codes quantiques.
Résumé scientifique
Quantum systems have entered a competitive regime where classical computers must make approximations to represent highly entangled quantum states. However, in this beyond-classically-exact regime, fidelity comparisons between quantum and classical systems have so far been limited to digital quantum devices, and it remains unsolved how to estimate the actual entanglement content of experiments. Here we perform fidelity benchmarking and mixed-state entanglement estimation with a 60-atom analog Rydberg quantum simulator, reaching a high entanglement entropy regime where exact classical simulation becomes impractical. Our benchmarking protocol involves extrapolation from comparisons against many…
Aller plus loin
Comment ces articles sont-ils trouvés ?
Nous comparons le titre et le résumé de cet article avec ceux de tous les articles résumés sur ce site, et avec les articles que Semantic Scholar recommande, ceux qu’il cite et ceux qui le citent (pour un article très cité, ses citations les plus récentes et, depuis OpenAlex, les plus citées). Parmi les travaux antérieurs et les suites, les articles qui s’utilisent en profondeur, une méthode qu’il utilise et les suites très citées remontent un peu. Les niveaux (très proche, proche, apparenté) viennent de la similarité des textes, pas d’un jugement de qualité ; * signale un article sans résumé, comparé par son titre. La phrase sous un article est écrite par une IA à partir des deux résumés : vérifiez-la dans les articles. Un article jugé hors sujet par trois lecteurs quitte la liste.
Mis à jour le 2 novembre 2026.