Three New Classes of Subsystem Codes

: In this paper, we construct three classes of Clifford subsystem maximum distance separable (MDS) codes based on Reed-Solomon codes and extended generalized Reed-Solomon codes over finite fields F q for specific code lengths. Moreover, our Clifford sub‐ system MDS codes are new because their parameters differ from the previously known ones.


Introduction
Subsystem codes protect quantum information by encoding it in a tensor factor of a subspace of the physical state space.They generalize all major quantum error protection schemes, and therefore are exceptionally versatile.
The subsystem codes are constructions of quantum codes combining the features of decoherence-free subspaces, noiseless subsystems, and quantum error-correcting codes.These codes can potentially provide attractive features, including streamlined syndrome calculation and a diverse range of easily implementable fault-tolerant operations.An ((nKRd)) q subsystem code is a KR-dimensional subspace Q of C q n , which is decomposed into a tensor product Q = A ⊗ B of a K-dimensional vector space A and an R-dimensional vector space B such that all errors of weight less than d can be detected by A. The vector spaces A and B are respectively referred to as the subsystem A and the co-subsystem B. We also use bracket notation [[nkrd]] q to write the parameters of an ((nq k q r d)) q subsystem code in more straightforward form.For some background on subsystem codes, see the next section.
Aly et al [1-4] gave various methods to derive subsystem codes from classical codes over binary and non-binary fields and presented subsystem codes families.In Ref. [5], Leng and Ma provided two methods to construct good nonbinary subsystem codes.The first one is derived from quantum codes applied to non-narrow-sense BCH codes.The second one is derived from the technique of defining sets of classical cyclic codes.Recently, Qian and Zhang [6,7] constructed two new classes of subsystem maximum distance separable (MDS) codes using two classes of classical cyclic codes.
Inspired by these works, in this paper, we construct three classes of Clifford subsystem MDS codes based on lin-ear codes, which have parameters as follows: We conclude this introduction with a description of each section in this paper.Section 1 revisits the fundamentals and results of linear codes and subsystem codes.In Section 2 details, we construct three classes of Clifford subsystem MDS codes using Reed-Solomon codes and extended generalized Reed-Solomon codes over F q .In Section 3, we compare the Clifford subsystem codes and give a summary of this work.

Preliminaries
In this section, we first recall some basic concepts and results about linear codes and subsystem codes necessary for the development of this work.We refer to Refs.[1,4,8] for more details.
Throughout this paper, let F q be the finite field with q = p e elements, where p is a prime number and e ≥ 1 is an integer.For a positive integer n, let F n q denote the vector space of all n-tuples over F q .A linear [nk] q code C over F q is a k- dimensional subspace of F n q .The Hamming weight wt(c) of a codeword c Î C is the number of nonzero components of c.The Hamming distance of two codewords c 1 c 2 Î C, is d(c 1 c 2 ) = wt(c 2 -c 1 ).The minimum Hamming distance d(C) of C is the smallest Hamming distance between any two distinct codewords C.An [nkd] q code is an [nk] q linear code with the minimum Hamming distance d.
Let C q n = C q ⊗  ⊗ C q .Let | x be the vectors of an orthonormal basis of C q , where the labels x are elements of F q .Then C q n has the following orthonormal basis {| If S is a set, then | S | denotes the cardinality of the set S. We use the notation (a The symplectic weight of (a | b)Î F 2n q is defined as swt(a | b) ={(a i b i ) ¹ (00):1 ≤ i ≤ n}.The trace-symplectic product of two vectors u = (a | b) and v = (a′| b′) in F 2n q is defined as u| v s = tr q/p (a′ × ba × b′ ), where x × y denotes the dot product and tr q/p represents the trace from F q to the subfield F p , i.e., tr q/p (a) = a + a p +  +a p e -1 .The trace-symplectic dual of a code C Î F 2n q is defined as C ^s ={u Î F 2n q : u| v s = 0 for all v Î C}.
Consider ab Î F q , the unitary linear operators X (a) and Z(b) in C q are defined by X (a) | x = | x + a and Z(b) | x = w tr q/p (bx) | x , respectively, where w = exp(2πi/p) is a primitive p-th root of unity.
is defined as the number of E i which are not equal to identity, and it is denoted by wt(E).We can also associate with E a vector and Z(H) the center of H.As a subspace, the subsystem code Q defined by H is precisely the same as the stabilizer code defined by Z(H).By Ref. [9], Theorem 4, Q can be decomposed as A ⊗ B where dim Since information is stored exclusively on subsystem A, our concern is limited to errors that affect A. An error E in G n is detectable by subsystem A if and only if E is contained in the set E -(HC G n (H) -H).The distance of the subsystem code Q is defined as If HC G n (H) = H, then we define the distance of the subsystem code Q to be wt(H).A distance d subsystem code R = q r .We assert that H is the gauge group of Q and Z(H) is its stabilizer.The gauge group acts trivially on A.
The following theorem, as presented in Ref.
[1], demonstrates the relationship between subsystem codes and classical codes.
Theorem 1 Let C be a classical additive subcode of F 2n q such that C ¹{0} and let D denote its subcode (1) dim A = q n /(xy) 1/2 ; (2 The minimum distance of the subsystem A is given by (2) d = swt(D ^s ) if D ^s = C. Thus, the subsystem A can detect all errors in E of weight less than d, and correct all errors in E of weight ≤ ë û We call codes constructed using Theorem 1 as Clifford subsystem codes.
The subsequent lemma will play an essential role in constructing Clifford subsystem codes, as detailed in Ref. [2].Theorem 2 Let C 1 be an [nk 1 ] q linear code such that subcode Theorem 3 (Singleton Bound for Clifford Subsystem Codes [10] ) Let C be a [[nkrd]] q Clifford subsystem code.
Definition 1 [4] Let C be a [[nkrd]] q Clifford subsystem code.If C attains Singleton bound for Clifford subsystem code, i.e., 2d = n -(k + r) + 2, it is termed a Clifford subsystem MDS code.

Constructions of Clifford Subsystem MDS Codes
In this section, we construct three classes of Clifford subsystem MDS codes employing cyclic codes and generalized Reed-Solomon codes over F q .
Throughout the following, we consistently assume that n is a positive integer.
A linear code of length n over F q is cyclic if the code invariant under the automorphism τ which τ(c 0 c It is well-known that a cyclic code of length n over F q can be identified with an ideal in the residue ring x n -1 via the isomorphism φ: x n -1 given by (a 0 a 1 a n -1 )  a 0 + a 1 x 1 +  + a n -1 x n -1 (mod (x n -1)).From that, the following fact is well-known and straightforward (see Ref. [8]).
Lemma 1 If C is a cyclic code of length n over F q , then there exists Let i be an integer such that 0 ≤ i ≤ n -1, and let l be the smallest positive integer such that iq l º i(mod n).Then C i = {iiqiq l -1 } is the q-cyclotomic coset module n containing i. Since q is coprime with n, the fundamental factors of x n -1 in F q [x] can be described by the q-cyclotomic cosets.Suppose that α be a primitive nth root of unity over some extension field of F q , and let M j (x) be the minimal polynomial of α j concerning F q .Let {s 1 s 2 s t } be a complete set of representatives of q-cyclotomic cosets.Then, the polynomial x n -1 factors uniquely into monic irreducible polyno- The defining set of the cyclic code The defining set Z(C) is a union of some q-cyclotomic co-sets and dim Next, we recall some primary results of generalized Reed-Solomon codes (see Ref. [7]).Let α 1 α n be n distinct elements of F q , and let v 1 v n be n nonzero elements of F q .For k between 1 and n, the generalized Reed-Solomon code GRS k (av) is defined by where av denote the vectors (α 1 α n ) (v 1 v n ), respectively.

Construction 1
Let a ≥ 0 and 1 ≤ k ≤ q -1.A Reed-Solomon code (RS code) is a cyclic code of length q -1 generated by denoted by RS k (na), where α is a primitive element of F q (see Ref. [11]).
Remark 1 It is easy to prove that RS k (na) ^= RS n -k (nn -a + 1).Thus, the defining set of RS k (na) ^ is given by Z(RS k (na) ^) ={na + 1na + 2na + k}.

Lemma 2
Let C be cyclic code with defining set Z(C).Then the defining set of C Ç C ^ is given by Proof According to Ref. [6] (Exercise 239, Chapter 4), we have that Then, there is a Clifford subsystem MDS code with Then, the first element in the defining set of Z(C ^) comes after the last element in This means that Then, by Theorem 2, there exists a Clifford subsystem code

Construction 2
In this subsection, we construct a class of Clifford subsystem MDS codes by using generalized Reed-Solomon codes over F q .
Let n| q -1, and let α be a nth root of unity, that is α n = 1 and α i ¹ 1 for 1 ≤ i < n.Take a 1 = (1αα 2 α n -1 ) and v 1 = 1 with 1 = (111); the generalized Reed-Solomon code GRS k (a 1 v 1 ) have the following generator matrix: The rows of the matrix G GRS n (a 1 v 1 ) under consideration will be denoted by {g 0 g 1 g n -1 }.
Lemma 3 Let C be a code generated by taking k consecutive rows of the matrix G GRS n (a 1 v 1 ) .Then C is an MDS code with parameters [nkn -k + 1] q .
It is a routine to verify the following lemma.
The code C 1 generated by the matrix G 1 is an MDS code with parameters [nkn -k + 1] q by Lemma 3. Taking . Then, by Lemma 4, H 1 is a generator of the matrix of code C 1 with parameters [nn . Then, by k < é ê ê ê ê ê ù ú ú ú ú ú n + 1 2 , the matrix C 2 is a generator matrix for code C 2 .Moreover, the code C 2 is an MDS code with parameters [nk -1n -k + 2] q by Lemma 3. So, the code C 2 is an MDS code with parameters [nn -k + 1k] q .
By Theorem 2, there exists a Clifford subsystem code Q with parameters [[nn -2k + 11k]] q .

Construction 3
In this subsection, we construct a class of Clifford subsystem MDS codes by utilizing the extended code of generalized Reed-Solomon codes over F q .
We note that the extended code of the generalized Reed-Solomon code GRS k (av) given by where f k -1 stands for the coefficient of x k -1 .The following two results can be found in Ref. [7].
Lemma 5 [13] The code GRS k (av¥) is an MDS code with parameters [n + 1kn -k + 2] q .
Then, there is a Clifford subsystem MDS code with parameters [[q + 1q -2k . Then, by Lemma 6, H is a parity-check matrix of the code C = GRS k (av¥).

Comparison and Conclusion
This paper presents three new families of Clifford subsystem MDS codes employing Reed-Solomon codes and extended Reed-Solomon codes over F q .Table 1 gives our general conclusions to compare those known results in Refs.[5][6][7].The results show that the lengths of those known conclusions above Clifford subsystem codes studied in the pieces

Table 1 Clifford subsystem codes comparison
Parameters [[nkrd]] q [[q 2 + 1(q -1) 2 4q of literature are fixed or odd.However, the lengths of a class of Clifford subsystem codes derived from our construction are very flexible.

Lemma 4
Let C be the code with generator matrix G =