© 2026 Aqora Quantum S.A.S.

Terms Privacy Legal Notice

arXiv:0712.3605

Logic Functions and Quantum Error Correcting Codes

XU Ya-jie, Zhi Ma, Chunyuan Zhang, Xin Lü

Published Dec 21, 2007• 0 citations

Abstract

In this paper, based on the relationship between logic functions and quantum error correcting codes(QECCs), we unify the construction of QECCs via graphs, projectors and logic functions. A construction of QECCs over a prime field GF(p) is given, and one of the results given by Ref[8] can be viewed as a corollary of one theorem in this paper. With the help of Boolean functions, we give a clear proof of the existence of a graphical QECC in mathematical view, and find that the existence of an [[n,k,d]] QECC over GF(p) requires similar conditions with that depicted in Ref[9]. The result that under the correspondence defined in Ref[17], every [[n,0,d]] QECC over GF(2) corresponding to a simple undirected graph has a Boolean basis state, which is closely related to the adjacency matrix of the graph, is given. After a modification of the definition of operators, we find that some QECCs constructed via projectors depicted in Ref[11] can have Boolean basis states. A necessary condition for a Boolean function being used in the construction via projectors is given. We also give some examples to illustrate our results.

DOI: 10.48550/arxiv.0712.3605

Related papers

A ZX-Calculus Approach for the Construction of Graph Codes

Zipeng Wu, Song Cheng, Bei Zeng

Quantum Error-Correcting Codes (QECCs) play a crucial role in enhancing the robustness of quantum computing and communication systems against errors. Within the realm of QECCs, stabilizer codes, and specifically graph codes, stand out for their distinct attributes and promising utility in quantum technologies. This study underscores the significance of devising expansive QECCs and adopts the ZX-calculus a graphical language adept at quantum computational reasoning-to depict the encoders of graph codes effectively. Through the integration of ZX-calculus with established encoder frameworks, we present a nuanced approach that leverages this graphical representation to facilitate the construction of large-scale QECCs. Our methodology is rigorously applied to examine the intricacies of concatenated graph codes and the development of holographic codes, thus demonstrating the practicality of our graphical approach in addressing complex quantum error correction challenges. This research contributes to the theoretical understanding of quantum error correction and offers practical tools for its application, providing objective advancements in the field of quantum computing.

arXiv:2304.08363•Apr 17, 2023•0 citations

Boolean Functions, Projection Operators, and Quantum Error Correcting Codes

Vaneet Aggarwal, A.R. Calderbank

This paper describes a fundamental correspondence between Boolean functions and projection operators in Hilbert space. The correspondence is widely applicable, and it is used in this paper to provide a common mathematical framework for the design of both additive and nonadditive quantum error correcting codes. The new framework leads to the construction of a variety of codes including an infinite class of codes that extend the original ((5, 6, 2)) code found by Rains It also extends to operator quantum error correcting codes.

arXiv:cs/0610159•IEEE Transactions on Information Theory•Mar 27, 2008•24 citations

Quantum error-correcting codes associated with graphs

Dirk-M. Schlingemann, Reinhard F. Werner

We present a construction for quantum error correcting codes. The basic ingredients are a graph and a finite Abelian group, from which the code can explicitly be obtained. We prove necessary and sufficient conditions for the graph such that the resulting code corrects a certain number of errors. This allows a simple verification of the one-error correcting property of codes of length 5 in any dimension. As examples, we construct a large class of maximum distance separable codes, i.e. codes saturating the Singleton bound, as well as a code of length 10 detecting three errors.

arXiv:quant-ph/0012111•Physical Review A•Dec 11, 2001•406 citations

Stabilizer quantum codes: A unified view based on Forney-style factor graphs

Pascal O. Vontobel

Quantum error-correction codes (QECCs) are a vital ingredient of quantum computation and communication systems. In that context it is highly desirable to design QECCs that can be represented by graphical models which possess a structure that enables efficient and close-to-optimal iterative decoding. In this paper we focus on stabilizer QECCs, a class of QECCs whose construction is rendered non-trivial by the fact that the stabilizer label code, a code that is associated with a stabilizer QECC, has to satisfy a certain self-orthogonality condition. In order to design graphical models of stabilizer label codes that satisfy this condition, we extend a duality result for Forney-style factor graphs (FFGs) to the stabilizer label code framework. This allows us to formulate a simple FFG design rule for constructing stabilizer label codes, a design rule that unifies several earlier stabilizer label code constructions.

arXiv:0807.3566•International Symposium on Turbo Codes and Iterative Information Processing•Sep 1, 2008•3 citations

Boolean Functions, Projection Operators and Quantum Error Correcting Codes

Vaneet Aggarwal, A. Robert Calderbank

This paper describes a common mathematical framework for the design of additive and non-additive Quantum Error Correcting Codes. It is based on a correspondence between boolean functions and projection operators. The new framework extends to operator quantum error correcting codes.

IEEE International Symposium on Information Theory (ISIT)•Jun 1, 2007•7 citations

Logical network implementation for graph codes and cluster states

Dirk-M. Schlingemann

In a previous paper a straight forward construction method for quantum error correcting codes, based on graphs, has been presented. These graph codes are directly related to cluster states which have been introduced by Briegel and Raussendorf. We show that the preparation of a cluster state as well as the coding operation for a graph code, can be implemented by a logical network by only using one type of two-qubit gate, e.g. CNOT or controlled Phase, and one type of one-qubit gate, e.g. the Hadamard transform. Concerning the qubit case each vertex corresponds to an Hadamard gate and each edge corresponds to a controlled not gate.

Quantum Information and Computation•Jan 1, 2003•18 citations

In this paper, based on the relationship between logic functions and quantum error correcting codes(QECCs), we unify the construction of QECCs via graphs, projectors and logic functions. A construction of QECCs over a prime field GF(p) is given, and one of the results given by Ref[8] can be viewed as a corollary of one theorem in this paper. With the help of Boolean functions, we give a clear proof of the existence of a graphical QECC in mathematical view, and find that the existence of an [[n,k,d]] QECC over GF(p) requires similar conditions with that depicted in Ref[9]. The result that under the correspondence defined in Ref[17], every [[n,0,d]] QECC over GF(2) corresponding to a simple undirected graph has a Boolean basis state, which is closely related to the adjacency matrix of the graph, is given. After a modification of the definition of operators, we find that some QECCs constructed via projectors depicted in Ref[11] can have Boolean basis states. A necessary condition for a Boolean function being used in the construction via projectors is given. We also give some examples to illustrate our results.

Quantum Error-Correcting Codes (QECCs) play a crucial role in enhancing the robustness of quantum computing and communication systems against errors. Within the realm of QECCs, stabilizer codes, and specifically graph codes, stand out for their distinct attributes and promising utility in quantum technologies. This study underscores the significance of devising expansive QECCs and adopts the ZX-calculus a graphical language adept at quantum computational reasoning-to depict the encoders of graph codes effectively. Through the integration of ZX-calculus with established encoder frameworks, we present a nuanced approach that leverages this graphical representation to facilitate the construction of large-scale QECCs. Our methodology is rigorously applied to examine the intricacies of concatenated graph codes and the development of holographic codes, thus demonstrating the practicality of our graphical approach in addressing complex quantum error correction challenges. This research contributes to the theoretical understanding of quantum error correction and offers practical tools for its application, providing objective advancements in the field of quantum computing.

This paper describes a fundamental correspondence between Boolean functions and projection operators in Hilbert space. The correspondence is widely applicable, and it is used in this paper to provide a common mathematical framework for the design of both additive and nonadditive quantum error correcting codes. The new framework leads to the construction of a variety of codes including an infinite class of codes that extend the original ((5, 6, 2)) code found by Rains It also extends to operator quantum error correcting codes.

We present a construction for quantum error correcting codes. The basic ingredients are a graph and a finite Abelian group, from which the code can explicitly be obtained. We prove necessary and sufficient conditions for the graph such that the resulting code corrects a certain number of errors. This allows a simple verification of the one-error correcting property of codes of length 5 in any dimension. As examples, we construct a large class of maximum distance separable codes, i.e. codes saturating the Singleton bound, as well as a code of length 10 detecting three errors.

Quantum error-correction codes (QECCs) are a vital ingredient of quantum computation and communication systems. In that context it is highly desirable to design QECCs that can be represented by graphical models which possess a structure that enables efficient and close-to-optimal iterative decoding. In this paper we focus on stabilizer QECCs, a class of QECCs whose construction is rendered non-trivial by the fact that the stabilizer label code, a code that is associated with a stabilizer QECC, has to satisfy a certain self-orthogonality condition. In order to design graphical models of stabilizer label codes that satisfy this condition, we extend a duality result for Forney-style factor graphs (FFGs) to the stabilizer label code framework. This allows us to formulate a simple FFG design rule for constructing stabilizer label codes, a design rule that unifies several earlier stabilizer label code constructions.

In a previous paper a straight forward construction method for quantum error correcting codes, based on graphs, has been presented. These graph codes are directly related to cluster states which have been introduced by Briegel and Raussendorf. We show that the preparation of a cluster state as well as the coding operation for a graph code, can be implemented by a logical network by only using one type of two-qubit gate, e.g. CNOT or controlled Phase, and one type of one-qubit gate, e.g. the Hadamard transform. Concerning the qubit case each vertex corresponds to an Hadamard gate and each edge corresponds to a controlled not gate.