Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

A generator of algebraic quantum error correction codes

Ichio Kikuchi, Akihito Kikuchi

Published Mar 9, 2026• 0 citations
Publisher

Abstract

In this article, we report the development of a computer program to build quantum error correction codes (QECC). It enables us to generate a QECC from an algebraic geometry code (AGC). We demonstrate how to incarnate the abstract idea (by which AG codes are extended to QEC codes) into an executable program, which systematically yields QECC over a range of adjustable parameters.

DOI
10.31224/6606

Related papers

Quantum Algebraic Geometry Codes

Zhengyi Han

Quantum error correction is an essential aspect of quantum information theory, providing protection for quantum states against noise and decoherence. This thesis investigates the construction of quantum error correction codes derived from classical algebraic geometry (AG) codes. We present two distinct construction techniques, highlighting the flexibility and self-orthogonality of AG codes, and demonstrate their ability to produce asymptotically good quantum codes. Additionally, we explore strategies to fine-tune the parameters of classical AG codes, ensuring they possess the desired properties for quantum code construction. This work serves as a comprehensive guide to the fundamental concepts and common methodologies underlying quantum algebraic geometry codes.

•Dec 1, 2024•0 citations

A generator of algebraic quantum error correction codes

Akihito Kikuchi

The aim of this project is to generate algebraic quantum error correction codes. This projec contains following files. (1) "algebraic quantum error correction codes.pdf" This article is a description of algorithms. (2) MyLIB3.txt: A beta version of QECC generator. (3) MYLIB3.out.txt: An output of MyLIB3.txt.

•Feb 20, 2026•0 citations

Algebraic Quantum Error-Correction Codes

Ming-Chung Tsai, Pochung Chen, Kuan-Peng Chen +1 more

Based on the group structure of a unitary Lie algebra, a scheme is provided to systematically and exhaustively generate quantum error correction codes, including the additive and nonadditive codes. The syndromes in the process of error-correction distinguished by different orthogonal vector subspaces, the coset subspaces. Moreover, the generated codes can be classified into four types with respect to the spinors in the unitary Lie algebra and a chosen initial quantum state.

arXiv:1310.7514•Oct 28, 2013•0 citations

Verifying Fault-Tolerance of Quantum Error Correction Codes

Kean Chen, Yuhao Liu, Wang Sheng Fang +5 more

Abstract Quantum computers have advanced rapidly in qubit count and gate fidelity. However, large-scale fault-tolerant quantum computing still relies on quantum error correction code (QECC) to suppress noise. Manually or experimentally verifying the fault-tolerance property of complex QECC implementation is impractical due to the vast error combinations. This paper formalizes the fault-tolerance of QECC implementations within the language of quantum programs. By incorporating the techniques of quantum symbolic execution, we provide an automatic verification tool for quantum fault-tolerance. We evaluate and demonstrate the effectiveness of our tool on a universal set of logical operations across different QECCs.

arXiv:2501.14380•Lecture notes in computer science•Jan 1, 2025•7 citations

Algebraic quantum codes: linking quantum mechanics and discrete mathematics

Markus Grassl

We discuss the connection between quantum error-correcting codes (QECCS) and algebraic coding theory. We start with an introduction to the relevant concepts of quantum mechanics, including the general error model. A quantum error-correcting code is a subspace of a complex Hilbert space, and its error-correcting properties are characterized by the Knill-Laflamme conditions. Using the stabilizer formalism, we illustrate how QECCs for can be constructed using techniques from algebraic coding theory. We also sketch how the information obtained via a quantum measurement can be interpreted as syndrome of the related classical code. Additionally, we present secondary constructions for QECCs, leading to propagation rules for the parameters of QECCs. This includes the puncture code by Rains and construction X for quantum codes.

arXiv:2011.06996•International Journal of Computer Mathematics Computer Systems Theory•Nov 17, 2020•21 citations

Graded Quantum Codes

Tony Shaska

This work develops a geometric framework for constructing quantum error-correcting codes from weighted projective and orbifold structures, integrating algebraic geometry, divisor theory, and the CSS stabilizer formalism. Beginning with weighted projective spaces and their associated height and defect structures, the study builds classical AG-codes via evaluation on divisors adapted to orbifold singularities. These classical codes are lifted to quantum codes using self-orthogonality conditions and homological constructions, yielding a class of Quantum Weighted Algebraic Geometric (QWAG) codes. A central contribution is the formulation of a refined Singleton-type bound motivated by orbifold defect terms and effective genus corrections. While the classical quantum Singleton bound is recovered in the smooth case, the orbifold setting suggests additional geometric contributions that may adjust the theoretical distance bound. The refined bound is presented with partial justification under specific geometric hypotheses and framed as a conjectural extension in full generality. The monograph further provides explicit constructions, computational implementations in Sage/Python, and illustrative examples demonstrating how weighted geometry influences code parameters. This work establishes a structured bridge between orbifold geometry and quantum coding theory, outlining both concrete constructions and open problems for further mathematical development.

arXiv:2508.07542•Aug 11, 2025•0 citations
In this article, we report the development of a computer program to build quantum error correction codes (QECC). It enables us to generate a QECC from an algebraic geometry code (AGC). We demonstrate how to incarnate the abstract idea (by which AG codes are extended to QEC codes) into an executable program, which systematically yields QECC over a range of adjustable parameters.
Quantum error correction is an essential aspect of quantum information theory, providing protection for quantum states against noise and decoherence. This thesis investigates the construction of quantum error correction codes derived from classical algebraic geometry (AG) codes. We present two distinct construction techniques, highlighting the flexibility and self-orthogonality of AG codes, and demonstrate their ability to produce asymptotically good quantum codes. Additionally, we explore strategies to fine-tune the parameters of classical AG codes, ensuring they possess the desired properties for quantum code construction. This work serves as a comprehensive guide to the fundamental concepts and common methodologies underlying quantum algebraic geometry codes.
Abstract Quantum computers have advanced rapidly in qubit count and gate fidelity. However, large-scale fault-tolerant quantum computing still relies on quantum error correction code (QECC) to suppress noise. Manually or experimentally verifying the fault-tolerance property of complex QECC implementation is impractical due to the vast error combinations. This paper formalizes the fault-tolerance of QECC implementations within the language of quantum programs. By incorporating the techniques of quantum symbolic execution, we provide an automatic verification tool for quantum fault-tolerance. We evaluate and demonstrate the effectiveness of our tool on a universal set of logical operations across different QECCs.
We discuss the connection between quantum error-correcting codes (QECCS) and algebraic coding theory. We start with an introduction to the relevant concepts of quantum mechanics, including the general error model. A quantum error-correcting code is a subspace of a complex Hilbert space, and its error-correcting properties are characterized by the Knill-Laflamme conditions. Using the stabilizer formalism, we illustrate how QECCs for can be constructed using techniques from algebraic coding theory. We also sketch how the information obtained via a quantum measurement can be interpreted as syndrome of the related classical code. Additionally, we present secondary constructions for QECCs, leading to propagation rules for the parameters of QECCs. This includes the puncture code by Rains and construction X for quantum codes.
This work develops a geometric framework for constructing quantum error-correcting codes from weighted projective and orbifold structures, integrating algebraic geometry, divisor theory, and the CSS stabilizer formalism. Beginning with weighted projective spaces and their associated height and defect structures, the study builds classical AG-codes via evaluation on divisors adapted to orbifold singularities. These classical codes are lifted to quantum codes using self-orthogonality conditions and homological constructions, yielding a class of Quantum Weighted Algebraic Geometric (QWAG) codes. A central contribution is the formulation of a refined Singleton-type bound motivated by orbifold defect terms and effective genus corrections. While the classical quantum Singleton bound is recovered in the smooth case, the orbifold setting suggests additional geometric contributions that may adjust the theoretical distance bound. The refined bound is presented with partial justification under specific geometric hypotheses and framed as a conjectural extension in full generality. The monograph further provides explicit constructions, computational implementations in Sage/Python, and illustrative examples demonstrating how weighted geometry influences code parameters. This work establishes a structured bridge between orbifold geometry and quantum coding theory, outlining both concrete constructions and open problems for further mathematical development.