Entanglement-assisted quantum error-correcting codes over arbitrary finite fields

TL;DR

This paper extends the theory of entanglement-assisted quantum error-correcting codes (EAQECCs) to arbitrary finite fields, providing formulas, bounds, and constructions applicable beyond binary fields.

Contribution

It generalizes existing EAQECC formulas and bounds to all finite fields and introduces new constructions from punctured self-orthogonal codes.

Findings

Optimal entanglement requirements formula extended to all finite fields

Gilbert-Varshamov bound established for EAQECCs over arbitrary fields

New constructions from punctured self-orthogonal codes

Abstract

We prove that the known formulae for computing the optimal number of maximally entangled pairs required for entanglement-assisted quantum error-correcting codes (EAQECCs) over the binary field hold for codes over arbitrary finite fields as well. We also give a Gilbert-Varshamov bound for EAQECCs and constructions of EAQECCs coming from punctured self-orthogonal linear codes which are valid for any finite field.

Equations

$$\left(\vec{a}|\vec{b}\right){\cdot }_{ts}\left(\overrightarrow{a^{\prime }}|\overrightarrow{b^{\prime }}\right)={\mathrm{tr}}_{q/p}\left(\vec{a}\cdot \overrightarrow{b^{\prime }}-\overrightarrow{a^{\prime }}\cdot \vec{b}\right)\in {\mathbb{F}}_p,$$

$${\mathrm{tr}}_{q/p}(x)=x+x^p+\cdots +x^{p^{m-1}},$$

$$\mathrm{swt}\left(\vec{a}|\vec{b}\right)=\mathrm{card}\left\{i|(a_i,b_i)\ne (0,0),1\le i\le n\right\},$$

$$\left(\vec{a}|\vec{b}\right){\cdot }_s\left(\overrightarrow{a^{\prime }}|\overrightarrow{b^{\prime }}\right)=\left(\vec{a}\cdot \overrightarrow{b^{\prime }}-\overrightarrow{a^{\prime }}\cdot \vec{b}\right)\in {\mathbb{F}}_q,$$

$$M={\left({\mathrm{tr}}_{q/p}({\gamma }_i{\gamma }_j)\right)}_{1\le i\le m;1\le j\le m}$$

$$h:{\mathbb{F}}_p^m\to {\mathbb{F}}_q,h(x_1,x_2,\dots ,x_m)=\sum _{i=1}^m{x}_i{\gamma }_i:=x.$$

$$\varphi :{\mathbb{F}}_p^{2m}={\mathbb{F}}_p^m\times {\mathbb{F}}_p^m⟶{\mathbb{F}}_q^2,$$

$$\varphi \left((x_1,x_2,\dots ,x_m)|(y_1,y_2,\dots ,y_m)\right)$$

$${\varphi }^{-1}(x,y)=\left({\varphi }_1^{-1}(x,y),{\varphi }_2^{-1}(x,y)\right)\in {\mathbb{F}}_p^{2m},$$

$${\varphi }^E:{\mathbb{F}}_p^{2mn}=({\mathbb{F}}_p^m{)}^n\times ({\mathbb{F}}_p^m{)}^n⟶{\mathbb{F}}_q^n\times {\mathbb{F}}_q^n={\mathbb{F}}_q^{2n},$$

$$\begin{gathered} {\varphi }^E\left[\left((a_{11},\dots ,a_{1m}),\dots ,(a_{n1},\dots ,a_{nm})|(b_{11},\dots ,b_{1m}),\dots ,(b_{n1},\dots ,b_{nm})\right)\right]= \\ \left(h(a_{11},\dots ,a_{1m}),\dots ,h(a_{n1},\dots ,a_{nm})|h[(b_{11},\dots ,b_{1m})\Omega ],\dots ,h[(b_{n1},\dots ,b_{nm})\Omega ]\right). \end{gathered}$$

$${\left({\varphi }^E\right)}^{-1}\left(\vec{a}|\vec{b}\right)=\left({\left({\varphi }^E\right)}_1^{-1}\left(\vec{a}|\vec{b}\right)|{\left({\varphi }^E\right)}_2^{-1}\left(\vec{a}|\vec{b}\right)\right),$$

$${\mathrm{tr}}_{q/p}(xy)=\left({\varphi }_1^{-1}(x,y)\right)\cdot \left({\varphi }_2^{-1}(x,y)\right),$$

$$\left(\vec{a}|\vec{b}\right){\cdot }_{st}\left(\overrightarrow{a^{\prime }}|\overrightarrow{b^{\prime }}\right)=\left[{\left({\varphi }^E\right)}_1^{-1}\left(\vec{a}|\vec{b}\right)|{\left({\varphi }^E\right)}_2^{-1}\left(\vec{a}|\vec{b}\right)\right]{\cdot }_s\left[{\left({\varphi }^E\right)}_1^{-1}\left(\overrightarrow{a^{\prime }}|\overrightarrow{b^{\prime }}\right)|{\left({\varphi }^E\right)}_2^{-1}\left(\overrightarrow{a^{\prime }}|\overrightarrow{b^{\prime }}\right)\right],$$

$$2c=\mathrm{rank}\left(H_X{H}_Z^T-H_Z{H}_X^T\right).$$

$$d_s\left(C^{{\perp }_s}\setminus (C\cap C^{{\perp }_s})\right)=\min \left\{\mathrm{swt}\left(\vec{a}|\vec{b}\right)\mid \left(\vec{a}|\vec{b}\right)\in C^{{\perp }_s}\setminus (C\cap C^{{\perp }_s})\right\}.$$

$$\mathrm{rank}\left(H_X{H}_Z^T-H_Z{H}_X^T\right)={\dim }_{{\mathbb{F}}_q}C-{\dim }_{{\mathbb{F}}_q}(C\cap C^{{\perp }_s}).$$

$$\mathrm{rank}\left(H_X{H}_Z^T-H_Z{H}_X^T\right)$$

$$2c=\mathrm{rank}\left(H_X{H}_Z^T-H_Z{H}_X^T\right)={\dim }_{{\mathbb{F}}_q}C-{\dim }_{{\mathbb{F}}_q}\left(C\cap C^{{\perp }_s}\right).$$

$${\dim }_{{\mathbb{F}}_p}{C}_0=m(n-k)=m{\dim }_{{\mathbb{F}}_q}C.$$

$$\begin{gathered} {\dim }_{{\mathbb{F}}_p}{C}_0-{\dim }_{{\mathbb{F}}_p}{C}_0\cap C_0^{{\perp }_s} \\ =m\left({\dim }_{{\mathbb{F}}_q}C-{\dim }_{{\mathbb{F}}_q}(C\cap C^{{\perp }_s})\right). \end{gathered}$$

$$\vec{x}{\cdot }_a\vec{y}={\mathrm{tr}}_{q/p}\left(\frac{\vec{x}\cdot {\vec{y}}^q-{\vec{x}}^q\cdot \vec{y}}{w^{2q}-w^2}\right),$$

$$\left(\vec{a}|\vec{b}\right){\cdot }_{ts}\left(\overrightarrow{a^{\prime }}|\overrightarrow{b^{\prime }}\right)=\phi \left(\vec{a}|\vec{b}\right){\cdot }_a\phi \left(\overrightarrow{a^{\prime }}|\overrightarrow{b^{\prime }}\right).$$

$$\mathrm{rank}(H{H}^{\ast })={\dim }_{{\mathbb{F}}_{q^2}}C-{\dim }_{{\mathbb{F}}_{q^2}}(C\cap C^{{\perp }_h}),$$

$$\mathrm{rank}(H{H}^{\ast })$$

$$c=\mathrm{rank}\left(H{H}^{\ast }\right)={\dim }_{{\mathbb{F}}_{q^2}}C-{\dim }_{{\mathbb{F}}_{q^2}}\left(C\cap C^{{\perp }_h}\right).$$

$$\mathcal{H}=\left(\begin{array}[]{c}\omega H\\ \omega^{q}H\\ \end{array}\right)$$

$$\mathcal{Z}=\left(\begin{array}[]{cc}\omega^{q+1}&\omega^{2}\\ \omega^{2q}&\omega^{q+1}\\ \end{array}\right),$$

$$d_H\left(C^{{\perp }_h}\setminus C^{{\perp }_h}\cap C\right)=d_s\left(C_0^{{\perp }_s}\setminus (C^{{\perp }_s}\cap C_0)\right),$$

$$\mathrm{rank}(H_1{H}_2^T)={\dim }_{{\mathbb{F}}_q}{C}_1-{\dim }_{{\mathbb{F}}_q}(C_1\cap C_2^{\perp }),$$

Full text

Supported by the Spanish Ministry of Economy/FEDER: grants MTM2015-65764-C3-1-P, MTM2015-65764-C3-2-P, MTM2015-69138-REDT and RYC-2016-20208 (AEI/FSE/UE), the University Jaume I: grant UJI-B2018-10, Spanish Junta de CyL: grant VA166G18, and JSPS Grant No. 17K06419.

1. Introduction

The Shor’s proposal of using quantum error correction for reducing decoherence in quantum computation [24] and his polynomial-time algorithms for prime factorization and discrete logarithms on quantum computers [25] clearly illustrate the feasibility and importance of quantum computation and quantum error-correcting.

Most of the quantum error-correcting codes (QECCs) come from classical codes. The first known stabilizer quantum codes were binary [5, 10]. Later, stabilizer codes over any finite field were introduced and studied, they are of particular interest because their utility in fault-tolerant computation. Following [13], one can obtain QECCs of length $n$ over a finite field $\mathbb{F}_{q}$ from additive codes included in $\mathbb{F}_{q}^{2n}$ which are self-orthogonal with respect to a trace symplectic form. Working on this construction, QECCs of length $n$ over $\mathbb{F}_{q}$ can be derived from classical self-orthogonal codes with respect to the Hermitian inner product included in $\mathbb{F}_{q^{2}}^{n}$, and also from codes in $\mathbb{F}_{q}^{n}$ which are self-orthogonal with respect to the Euclidean inner product.

The previously mentioned self-orthogonality conditions (or some similar requirements of inclusion of codes in the dual of others) prevent the usage of many common classical codes for providing quantum codes. Brun, Dvetak and Hsieh in [3] proposed to share entanglement between encoder and decoder to simplify the theory of quantum error-correction and increase the communication capacity. With this new formalism, entanglement-assisted quantum stabilizer codes can be constructed from any classical linear code giving rise to entanglement-assisted quantum error-correcting codes (EAQECCs). A formula to obtain the optimal number of ebits required for a binary entanglement-assisted code of Calderbank-Shor-Steane (CSS) type was showed in [12] and formulae for more general constructions, including the consideration of duality with respect to symplectic forms were given in [26]. In fact, [26] proves that the optimal number $c$ of ebits required for a binary entanglement-assisted quantum error-correcting code with generator matrix $(H_{X}|H_{Z})$ is $\mathrm{rank}(H_{X}H_{Z}^{T}-H_{Z}H_{X}^{T})/2$, where the superindex $T$ means transpose. Remark 1 in that paper states, without a proof, that the same formula holds when considering codes over finite fields $\mathbb{F}_{p}$, $p$ being a prime number, a proof can be found in [18].

Recently, one can find in the literature some papers where the above formula (or formulae derived from it) are used for determining the entanglement corresponding to EAQECCs over arbitrary finite fields (see, for instance [6, 9, 17, 21]). Although it holds for any finite field, we have found no proof in the literature and, thus, this work fills this gap. Therefore, this paper is devoted to prove formulae for the minimum required number $c$ of pairs of maximally entangled quantum states, corresponding to EAQECCs codes obtained from linear codes $C$ over any finite field, by using symplectic forms, or Hermitian or Euclidean inner products. We also show (see Subsection 2.4) that in the Hermitian and Euclidean cases, $c$ is easy to compute when one chooses, as a basis of the linear code $C$ of length $n$, a subset of those vectors giving rise to a geometric decomposition of the coordinate space of dimension $n$ that contains $C$ [22].

In [15], a Gilbert-Varshamov type formula for the existence of binary EAQECCs was presented. Still with the idea of extending the binary case to the general one and with the help of our study of entanglement-assisted codes, we give a Gilbert-Varshamov type formula which is valid for any finite field. Furthermore, we will also provide conditions of existence and parameters of EAQECCs coming from classical self-orthogonal codes (say $C$) over any finite field. Since fewer qudits should be transmitted through a noisy channel, they perform better. Constructions of this type have been considered in the binary case for giving a coding scheme with imperfect e-bits [15].

Theorems 1, 3 and 4 contain our results about the entanglement required for EAQECCs over arbitrary finite fields. Section 2 also explains how, in the Hermitian and Euclidean cases, nice bases of the vector spaces that contain the supporting linear codes allow us to get the corresponding required number $c$. Section 3 is devoted to state the mentioned Gilbert-Varshamov type bound and Section 4 contains our results about EAQECCs coming from QECC by considering symplectic, Hermitian or Euclidean duality.

2. EAQECCs over $\mathbb{F}_{q}$

The first three subsections of this section are devoted to prove formulae for computing the optimal entanglement corresponding to EAQECCs over arbitrary finite fields when considering symplectic forms, or Hermitian or Euclidean inner products.

2.1. The symplectic case

Let $p$ be a prime number and $q$ a positive power $q=p^{m}$. Denote by $\mathbb{F}_{q}$ the finite field with $q$ elements. We also write $\mathbb{C}$ the field of complex numbers and $\mathbb{C}^{r}$, $r$ a positive integer, the $r$-coordinate space over $\mathbb{C}$.

Let $n$ be a positive integer, it is known (see for instance [13, Theorem 13]) that an $((n,K,d))_{q}$ stabilizer quantum code over $\mathbb{F}_{q}$ can be obtained from an additive code $C\subseteq\mathbb{F}_{q}^{2n}$ of size $q^{n}/K$ such that $C\subseteq C^{\perp_{ts}}$, and $\mathrm{swt}(C^{\perp_{ts}}\setminus C)=d$ when $K\geq 1$ and $d=\mathrm{swt}(C)$ otherwise. In the above result, we have considered the following notation which will be used in this paper as well. The symbol $\perp_{ts}$ means dual with respect to the trace-symplectic form on $\mathbb{F}_{q}^{2n}$:

[TABLE]

where $\left(\vec{a}|\vec{b}\right),\left(\vec{a^{\prime}}|\vec{b^{\prime}}\right)\in\mathbb{F}_{q}^{2n}$, $\vec{a}\cdot\vec{b^{\prime}}$ and $\vec{a^{\prime}}\cdot\vec{b}$ are Euclidean products, and $\mathrm{tr}_{q/p}:\mathbb{F}_{q}\rightarrow\mathbb{F}_{p}$,

[TABLE]

is the standard trace map. Also the symplectic weight is defined as

[TABLE]

where $\vec{a}=(a_{1},a_{2},\ldots,a_{n})$ and $\vec{b}=(b_{1},b_{2},\ldots,b_{n})$.

We will also use the symplectic form on $\mathbb{F}_{q}^{2n}$ defined as

[TABLE]

and the corresponding dual space for an $\mathbb{F}_{q}$-linear code $C\subseteq\mathbb{F}_{q}^{2n}$ will be denoted by $C^{\perp_{s}}$.

For the first part of this paper, we fix a trace orthogonal basis of $\mathbb{F}_{q}$ over $\mathbb{F}_{p}$, $B=\{\gamma_{1},\gamma_{2},\ldots,\gamma_{m}\}$. Recall that $B$ is a basis of $\mathbb{F}_{q}$ as a $\mathbb{F}_{p}$-linear space satisfying that the matrix

[TABLE]

is an invertible and diagonal matrix of size $m$ with coefficients in $\mathbb{F}_{p}$. The existence of a basis as $B$ is proved in [23]. We choose a basis as $B$ by convenience, but our results also hold if one considers any other basis. Now consider the $\mathbb{F}_{p}$-linear map

[TABLE]

The map $h$ is an isomorphism of $\mathbb{F}_{p}$-linear spaces and for $x\in\mathbb{F}_{q}$, $h^{-1}(x)$ gives the coordinates of $x$ in the basis $B$.

Denote by $\Omega$ the inverse matrix of $M$, $\Omega$ is a size $m$ diagonal invertible matrix with entries in $\mathbb{F}_{p}$. Let $\omega_{1},\omega_{2},\ldots,\omega_{m}$ be its diagonal and define the map:

[TABLE]

given by

[TABLE]

Taking into account that $\omega_{i}\in\mathbb{F}_{p}$, $B^{\prime}=\{\omega_{i}\gamma_{i}\}_{i=1}^{m}$ is also a trace orthogonal basis of $\mathbb{F}_{q}$ over $\mathbb{F}_{p}$ whose matrix $\left(\mathrm{tr}_{q/p}(\omega_{i}\gamma_{i}\omega_{j}\gamma_{j})\right)_{1\leq i\leq m;\;1\leq j\leq m}$ is $\Omega$.

In sum, $\phi$ is an isomorphism of $\mathbb{F}_{p}$-linear spaces and for $(x,y)\in\mathbb{F}_{q}^{2}$,

[TABLE]

where $\phi^{-1}_{1}$ (respectively, $\phi^{-1}_{2}$) is the first (respectively, second) projection of $\phi^{-1}$ over the first (respectively, second) component of the Cartesian product $\mathbb{F}_{p}^{m}\times\mathbb{F}_{p}^{m}$. One has that $\phi^{-1}(x,y)$ simply gives a pair whose first components are the coordinates of $x$ in the basis $B$ and the second ones are those of $y$ in the basis $B^{\prime}$.

The above map can be extended to products of $n$ copies giving rise to the map

[TABLE]

defined by

[TABLE]

Notice that $\phi^{E}$ is again an isomorphism of $\mathbb{F}_{p}$-linear spaces and

[TABLE]

where $\left(\phi^{E}\right)^{-1}_{1}$ (respectively, $\left(\phi^{E}\right)^{-1}_{2}$) is the first (respectively, second) projection of $\left(\phi^{E}\right)^{-1}_{1}$ over the first (respectively, second) component of the Cartesian product $(\mathbb{F}_{p}^{m})^{n}\times(\mathbb{F}_{p}^{m})^{n}$. One has that $\left(\phi^{E}\right)^{-1}\left(\vec{a}|\vec{b}\right)$ equals the vector of coordinates of the element $\left(\vec{a}|\vec{b}\right)\in\mathbb{F}_{q}^{2n}$ in the basis of $\mathbb{F}_{q}^{2n}$ over $\mathbb{F}_{p}$ given by $\oplus_{n\;\mbox{\footnotesize{times}}}B\bigoplus\oplus_{n\;\mbox{\footnotesize{times}}}B^{\prime}$.

Keeping the above notation, it is easy to deduce the following result in [2].

Proposition 1**.**

The following statements hold:

**a): **

Let $x,y\in\mathbb{F}_{q}$, then

[TABLE]

where $\cdot$ denotes the Euclidean product in $\mathbb{F}_{p}^{m}$.

**b): **

Let $\left(\vec{a}|\vec{b}\right),\left(\vec{a^{\prime}}|\vec{b^{\prime}}\right)\in\mathbb{F}_{q}^{2n}$, then

[TABLE]

where $\cdot_{s}$ denotes the symplectic form in $\mathbb{F}_{p}^{2mn}$.

Our purpose in this section is to determine the optimal required number of pairs of maximally entangled states of the EAQECC over an arbitrary finite field $\mathbb{F}_{q}$ that can be constructed from an $\mathbb{F}_{q}$-linear code $C\subseteq\mathbb{F}_{q}^{2n}$ with dimension $n-k$. Assume that $(H_{X}|H_{Z})$ is an $(n-k)\times 2n$ generator matrix of $C$. The case when $m=1$ (i.e., $q$ is prime) is known (see [26, 18]) and the corresponding result is the following:

Theorem 1**.**

Let $C\subseteq\mathbb{F}_{p}^{2n}$ be an $(n-k)$-dimensional $\mathbb{F}_{p}$-linear space and $H=(H_{X}|H_{Z})$ an $(n-k)\times 2n$ matrix whose row space is $C$. Let $C^{\prime}\subseteq\mathbb{F}_{p}^{2(n+c)}$ be an $\mathbb{F}_{p}$-linear space such that the projection of $C^{\prime}$ to the $1,2,\ldots,n,n+c+1,n+c+2,\ldots,2n+c$-th coordinates is equal to $C$ and $C^{\prime}\subseteq(C^{\prime})^{\perp_{s}}$, where $c$ is the minimum required number of maximally entangled quantum states in $\mathbb{C}^{p}\otimes\mathbb{C}^{p}$. Then,

[TABLE]

The encoding quantum circuit is constructed from $C^{\prime}$, and it encodes $k+c$ logical qudits in $\mathbb{C}^{p}\otimes\cdots(k+c\;\mbox{times})\cdots\otimes\mathbb{C}^{p}$ into $n$ physical qudits using $c$ maximally entangled pairs. The minimum distance is $d:=d_{s}\left(C^{\perp_{s}}\setminus(C\cap C^{\perp_{s}})\right)$, where

[TABLE]

In sum, $C$ provides an $[[n,k+c,d;c]]_{p}$ EAQECC over the field $\mathbb{F}_{p}$.

Theorem 1 states that the required number of maximally entangled quantum states is given by the rank of the matrix $H_{X}H_{Z}^{T}-H_{Z}H_{X}^{T}$. Our next result shows that, even in the case of codes over an arbitrary finite field $\mathbb{F}_{q}$, the above number depends only on the code $C$ and its symplectic dual.

Proposition 2**.**

Let $C\subseteq\mathbb{F}_{q}^{2n}$ be a linear code over $\mathbb{F}_{q}$ and $(H_{X}|H_{Z})$ its $(n-k)\times 2n$ generator matrix. Then,

[TABLE]

Proof.

Consider the $\mathbb{F}_{q}$-linear map $f:\mathbb{F}_{q}^{2n}\rightarrow\mathbb{F}_{q}^{n-k}$ defined by $f\left(\vec{a}|\vec{b}\right)=\vec{a}H_{Z}^{T}-\vec{b}H_{X}^{T}$. Set $\mathrm{row}(H_{X}|H_{Z})$ the row space of the matrix $(H_{X}|H_{Z})$. Then we have

[TABLE]

which concludes the proof. ∎

Next, with the help of the above proposition, we prove that Theorem 1 can be extended to codes over any finite field $\mathbb{F}_{q}$.

Theorem 2**.**

Let $C\subseteq\mathbb{F}_{q}^{2n}$ be an $(n-k)$-dimensional $\mathbb{F}_{q}$-linear space and $H=(H_{X}|H_{Z})$ a matrix whose row space is $C$. Let $C^{\prime}\subseteq\mathbb{F}_{q}^{2(n+c)}$ be an $\mathbb{F}_{q}$-linear space such that its projection to the coordinates $1,2,\ldots,n,n+c+1,n+c+2,\ldots,2n+c$ equals $C$ and $C^{\prime}\subseteq(C^{\prime})^{\perp_{s}}$, where $c$ is the minimum required number of maximally entangled quantum states in $\mathbb{C}^{q}\otimes\mathbb{C}^{q}$. Then,

[TABLE]

The encoding quantum circuit is constructed from $C^{\prime}$, and it encodes $k+c$ logical qudits in $\mathbb{C}^{q}\otimes\cdots(k+c\;\mbox{times})\cdots\otimes\mathbb{C}^{q}$ into $n$ physical qudits using $c$ maximally entangled pairs. The minimum distance is $d:=d_{s}\left(C^{\perp_{s}}\setminus(C\cap C^{\perp_{s}})\right)$, where $d_{s}$ is defined as in Theorem 1. In sum, $C$ provides an $[[n,k+c,d;c]]_{q}$ EAQECC over the field $\mathbb{F}_{q}$.

Proof.

One has that the inclusion $C^{\perp_{s}}\subseteq C^{\perp_{ts}}$ holds since $\mathrm{tr}_{q/p}(0)=0$. In addition, $C^{\perp_{ts}}\subseteq C^{\perp_{s}}$. Indeed, following [2], if $\left(\vec{a}|\vec{b}\right)\in C^{\perp_{ts}}$, then $\left(\vec{a}|\vec{b}\right)\cdot_{ts}\left(\vec{x}|\vec{y}\right)=0$ for all $\left(\vec{x}|\vec{y}\right)\in C$. Taking into account that $\alpha\left(\vec{x}|\vec{y}\right)\in C$ for any $\alpha\in\mathbb{F}_{q}$, then $\mathrm{tr}_{q/p}\left((\vec{a}|\vec{b})\cdot_{s}\alpha(\vec{x}|\vec{y})\right)=0$ for all $\alpha$. This means that $\mathrm{tr}_{q/p}\left(\alpha\left((\vec{a}|\vec{b})\cdot_{s}(\vec{x}|\vec{y})\right)\right)=0$ for all $\alpha$, which proves $\left(\vec{a}|\vec{b}\right)\cdot_{s}\left(\vec{x}|\vec{y}\right)=0$ and, therefore $\left(\vec{a}|\vec{b}\right)\in C^{\perp_{s}}$.

Now, using the same notation as at the beginning of this section, consider the code over the field $\mathbb{F}_{p}$, $C_{0}:=(\phi^{E})^{-1}(C)$. It is clear that $\dim_{\mathbb{F}_{p}}(C_{0})=m(n-k)$, and by Proposition 1 and the equality $C^{\perp_{s}}=C^{\perp_{ts}}$, we have

[TABLE]

Thus,

[TABLE]

This shows that, by Theorem 1, we have an entanglement-assisted quantum code encoding $m(k+c)$ qudits in $\mathbb{C}^{p}$ and consuming $mc$ maximally entangled states in $\mathbb{C}^{p}\otimes\mathbb{C}^{p}$. Using the map $\phi^{E}$ and the fact that $C^{\perp_{s}}=C^{\perp_{ts}}$, we have an entanglement-assisted quantum code encoding $(k+c)$ qudits in $\mathbb{C}^{q}$ and consuming $c$ maximally entangled states in $\mathbb{C}^{q}\otimes\mathbb{C}^{q}$. In fact, one can construct $C^{\prime}_{0}\subseteq\mathbb{F}_{p}^{2m(n+c)}$ in the same way as constructed $C^{\prime}$ from $C$ in Theorem 1. Applying $\phi^{E}$ to the code $C^{\prime}_{0}$, we get the code $C^{\prime}$ in the statement with the claimed properties. The minimum distance follows from [13, Section III]. ∎

2.2. The Hermitian case

In this subsection, we specialize the results in Subsection 2.1 by considering the Hermitian inner product instead of a symplectic form. With the above notation, consider the finite field $\mathbb{F}_{q^{2}}$ and a normal basis $\{w,w^{q}\}$ of $\mathbb{F}_{q^{2}}$ over $\mathbb{F}_{q}$. Fix a positive integer $n$ and, following [13], define a trace-alternating form over $\mathbb{F}_{q^{2}}^{n}$ as

[TABLE]

where $\vec{z}^{q}$, $\vec{z}\in\mathbb{F}_{q^{2}}^{n}$, means the componentwise $q$-power of $\vec{z}$. The map $\varphi:\mathbb{F}_{q}^{2n}\rightarrow\mathbb{F}_{q^{2}}^{n}$ given by $\varphi\left(\vec{a}|\vec{b}\right)=w\vec{a}+w^{q}\vec{b}$ is bijective and isometric because the symplectic and the Hamming weights of $\left(\vec{a}|\vec{b}\right)$ and $\varphi\left(\vec{a}|\vec{b}\right)$ coincide. In addition, for $\left(\vec{a}|\vec{b}\right),\left(\vec{a^{\prime}}|\vec{b^{\prime}}\right)\in\mathbb{F}_{q}^{2n}$, it holds that

[TABLE]

Recall that the Hermitian inner product of two vectors $\vec{x},\vec{y}\in\mathbb{F}_{q^{2}}^{n}$ is defined to be $\vec{x}\cdot_{h}\vec{y}=\vec{x}^{q}\cdot\vec{y}$, where $\cdot$ means Euclidean product, and that, in [13], it is proved that for a $\mathbb{F}_{q^{2}}$-linear code $D$, the dual codes with respect to the products $\cdot_{a}$ and $\cdot_{h}$ coincide. With the above ingredients, we are ready to prove the next proposition which will allow us to state and prove our theorem on EAQECCs over arbitrary finite fields by considering Hermitian inner product.

Proposition 3**.**

Let $C\subseteq\mathbb{F}_{q^{2}}^{n}$ be a code over $\mathbb{F}_{q^{2}}$ of dimension $(n-k)/2$ for some positive integer $k$. Let $H$ be its generator matrix. Then

[TABLE]

where $H^{*}$ is the $q$th power of the transpose matrix of $H$.

Proof.

Define the $\mathbb{F}_{q^{2}}$-linear map $f:\mathbb{F}_{q^{2}}^{n}\rightarrow\mathbb{F}_{q^{2}}^{(n-k)/2}$, given by $f(\vec{a})=\vec{a}H^{*}$. Then,

[TABLE]

∎

Theorem 3**.**

Let $C\subseteq\mathbb{F}_{q^{2}}^{n}$ be an $(n-k)/2$-dimensional code over $\mathbb{F}_{q^{2}}$, for suitable integers $n$ and $k$. Denote by $H$ its generator matrix. Let $C^{\prime}\subseteq\mathbb{F}_{q^{2}}^{(n+c)}$ be an $\mathbb{F}_{q^{2}}$-linear space whose projection to the coordinates $1,2,\ldots,n$ equals $C$ and satisfies $C^{\prime}\subseteq(C^{\prime})^{\perp_{h}}$, where $c$ is the minimum required number of maximally entangled quantum states in $\mathbb{C}^{q}\otimes\mathbb{C}^{q}$. Then,

[TABLE]

The encoding quantum circuit is constructed from $C^{\prime}$, and it encodes $k+c$ logical qudits in $\mathbb{C}^{q}\otimes\cdots(k+c\;\mbox{times})\cdots\otimes\mathbb{C}^{q}$ into $n$ physical qudits using $c$ maximally entangled pairs. The minimum distance is $d:=d_{H}\left(C^{\perp_{h}}\setminus(C\cap C^{\perp_{h}})\right)$, where $d_{H}$ is defined as the minimum Hamming weight of the vectors in the set $C^{\perp_{h}}\setminus\left(C\cap C^{\perp_{h}}\right)$. In sum, $C$ provides an $[[n,k+c,d;c]]_{q}$ EAQECC over the field $\mathbb{F}_{q}$.

Proof.

With the above notation, consider the code $C^{\prime}$ in $\mathbb{F}_{q^{2}}^{n}$ of dimension $n-k$ whose generator matrix is

[TABLE]

and set $C_{0}=\varphi^{-1}(C^{\prime})$ the corresponding code in $\mathbb{F}_{q}^{2n}$. Since $\varphi$ is an isometry, to obtain the value $2c$ corresponding to $C_{0}$, it suffices to compute the rank of the matrix given by the form $\cdot_{a}$ which is $\mathcal{J}=\mathrm{tr}_{q^{2}/q}\left((HH^{*}-H^{q}H^{T})/\lambda\right)$, where $\lambda=\omega^{2q}-\omega^{2}$ and $\mathrm{tr}_{q^{2}/q}$ the trace map from $\mathbb{F}_{q^{2}}$ to $\mathbb{F}_{q}$. Now, setting

[TABLE]

it holds that $\mathcal{J}=(2/\lambda)\left(ZHH^{*}-Z^{T}H^{q}H^{T}\right)$. Performing elementary operations, we get that $\mathrm{rank}(\mathcal{J})=2\>\mathrm{rank}\left(HH^{*}\right)$. Finally, by our previous considerations, $\dim_{\mathbb{F}_{q}}C_{0}=n-k$, $\dim_{\mathbb{F}_{q}}(C_{0}\cap C_{0}^{\perp_{s}})=2c$, and

[TABLE]

which proves our statement by Theorem 2. ∎

The following corollary is an immediate consequence of the above result.

Corollary 1**.**

Let $C$ be an $[n,k,d]_{q^{2}}$ linear code over $\mathbb{F}_{q^{2}}$ and set $H$ a parity check matrix of $C$. Then, there exist an $[[n,2k-n+c,d;c]]_{q}$ EAQECC where $c=\mathrm{rank}(HH^{*})$, $H^{*}$ being the $q$th power of the transpose matrix $H^{T}$.

2.3. The Euclidean case

In this section we will show that EAQECCs over any finite field $\mathbb{F}_{q}$ can be obtained through a CSS construction, where the Euclidean inner product is considered, and carried out with two $\mathbb{F}_{q}$-linear codes $C_{1}$ and $C_{2}$ of length $n$. Assume that $C_{1}$ (respectively, $C_{2}$) has dimension $k_{1}$ and generator matrix $H_{1}$ (respectively, $k_{2}$ and $H_{2}$). Before stating our result, we give the following proposition which will be used in its proof.

Proposition 4**.**

With the above notations, it holds that

[TABLE]

and

[TABLE]

where $\perp$ means Euclidean dual.

Proof.

To prove Equality (1), consider the $\mathbb{F}_{q}$-linear map $f:\mathbb{F}_{q}^{n}\rightarrow\mathbb{F}_{q}^{k_{2}}$ defined by the matrix $H_{2}^{T}$, that is $f(\vec{a})=\vec{a}H_{2}^{T}$. Then

[TABLE]

Equality (2) follows analogously from the map given by $H_{1}^{T}$. ∎

Next we state the main result in this section.

Theorem 4**.**

Let $C_{1}$ and $C_{2}$ be two linear codes over $\mathbb{F}_{q}$ included in $\mathbb{F}_{q}^{n}$ with respective dimensions $k_{1}$ and $k_{2}$ and generator matrices $H_{1}$ and $H_{2}$. Then, the code $C_{0}=C_{1}\times C_{2}\subseteq\mathbb{F}_{q}^{2n}$ gives rise to an EAQECC which encodes $n-k_{1}-k_{2}+c$ logical qudits into $n$ physical qudits using the minimum required of maximally entangled pairs $c$, which is

[TABLE]

The minimum distance of the entanglement-assisted quantum code is larger than or equal to

[TABLE]

In sum, one gets an $[[n,n-k_{1}-k_{2}+c,d;c]]_{q}$ EAQECC.

Proof.

It suffices to notice that $\dim_{\mathbb{F}_{q}}C_{0}=k_{1}+k_{2}$, $C_{0}^{\perp_{s}}=C_{2}^{\perp}\times C_{1}^{\perp}$, and

[TABLE]

By construction, we have that

[TABLE]

and then our statement follows from Theorem 2. ∎

2.4. Geometric decomposition of the coordinate space

In this subsection we consider only the Hermitian and Euclidean cases, and we will explain that the required number of maximally entangled pairs is easy to compute when the generators of the supporting $\mathbb{F}_{q}$-linear code $C$ in $\mathbb{F}_{q}^{n}$ are a subset of a basis of $\mathbb{F}_{q}^{n}$ with a special metric structure and which is said to be compatible with a geometric decomposition of $\mathbb{F}_{q}^{n}$ (see [22]). Notice that, in the Hermitian case, $q$ should be $q^{2}$, however, for simplicity’s sake and only in this subsection, we will use $q$ as a generic symbol which means a power of a prime in the Euclidean case or an even power of a prime in the Hermitian case. For avoiding to repeat notation, again only in this subsection, $\langle\vec{a},\vec{b}\rangle$ will mean either the Hermitian inner product $\vec{a}\cdot_{h}\vec{b}$ or the Euclidean one $\vec{a}\cdot\vec{b}$.

Let us introduce some notation, we say that $\{\vec{v_{1}},\vec{v_{2}}\}$ are geometric generators of a hyperbolic plane if $\langle\vec{v_{1}},\vec{v_{1}}\rangle=\langle\vec{v_{2}},\vec{v_{2}}\rangle=0$ and $\langle\vec{v_{1}},\vec{v_{2}}\rangle=1$. We say that $\{\vec{v_{1}},\vec{v_{2}}\}$ are geometric generators of an elliptic plane if $\langle\vec{v_{1}},\vec{v_{1}}\rangle=0$ and $\langle\vec{v_{2}},\vec{v_{2}}\rangle=\langle\vec{v_{1}},\vec{v_{2}}\rangle=1$. Finally, we say that $\vec{v}$ generates a non-singular space if $\langle\vec{v},\vec{v}\rangle\neq 0$.

Let $C\subseteq\mathbb{F}_{q}^{n}$ and set $\left\{\vec{v_{1}},\vec{v_{2}},\ldots,\vec{v_{n}}\right\}$ a basis of $\mathbb{F}_{q}^{n}$ such that $C$ is generated by $\left\{\vec{v_{i}}\right\}_{i\in I}$ for $I\subseteq\{1,2,\ldots,n\}$. We say that $C$ is compatible with a geometric decomposition of $\mathbb{F}_{q}^{n}$ if

[TABLE]

where the linear spaces from $H_{1}$, generated by $\left\{\vec{v_{1}},\vec{v_{2}}\right\}$, to $H_{r}$, generated by $\left\{\vec{v}_{2r-1},\vec{v_{r}}\right\}$, are hyperbolic planes, being the $\vec{v_{i}}$ geometric generators, and from $L_{1}$, generated by $\vec{v}_{2r+1}$, to $L_{s}$, generated by $\vec{v}_{2r+s}=\vec{v_{n}}$, are non-singular spaces. Then, we say that the vectors $\vec{v_{1}},\vec{v_{2}},\ldots,\vec{v_{r}}$ (and the indexes $1,2,\ldots r$) are asymmetric and the vectors $\vec{v}_{r+1},\vec{v}_{r+2},\ldots,\vec{v}_{n}$ (and the indexes $r+1,r+2,\ldots,n$) are symmetric. Moreover, we also say that $(1,2)$, $\ldots$, $(r-1,r)$ are symmetric pairs.

In [22], for the Euclidean inner product, it was proved that for characteristic different from 2, we can always obtain a basis $\left\{\vec{v_{1}},\vec{v_{2}},\ldots,\vec{v_{n}}\right\}$ of $\mathbb{F}_{q}^{n}$ such that

[TABLE]

with $s\leq 4$. For characteristic equal to 2, we may have a decomposition as in the case with characteristic different from 2, excepting when the vector $(1,1,\ldots,1)$ belongs to the radical (or hull) of $C$, $C\cap C^{\bot}$ . In that particular case, it was given in [22] the following decomposition

[TABLE]

with $s\leq 2$ and where $E$ is an elliptic plane.

Let $M=(\langle\vec{v_{i}},\vec{v_{j}}\rangle)_{1\leq i,j\leq n}$, one has that $M$ has the form

[TABLE]

where $g_{1},\ldots,g_{s}$ are non-zero, except for the case when the characteristic is 2 and $(1,1,\ldots,1)$ belongs to the radical of $C$; then we have that $M$ is equal to

[TABLE]

Now, let $i\in\{1,2,\ldots,n\}$. We define $i^{\prime}$ as

• •

$i+1$ if $\vec{v_{i}}$ is the first generator of a hyperbolic plane $H$,

• •

$i-1$ if $\vec{v_{i}}$ is the second generator of a hyperbolic plane $H$,

• •

$i$ if $\vec{v_{i}}$ generates a one-dimensional linear space $L$,

• •

$i+1$ if $\vec{v_{i}}$ is the first generator of an elliptic plane $E$.

Notice that we do not define $i^{\prime}$ when $\vec{v_{i}}$ is the second geometric generator of an elliptic plane, because in this case, $(1,1,\ldots,1)$ is not in the radical of $C$ [22]. For $I\subseteq\{1,2,\ldots,n\}$ we set $I^{\prime}=\{i^{\prime}:i\in I\}$ and $I^{\bot}=\{1,2,\ldots,n\}\setminus I^{\prime}$. In this way we can compute the dual code $C^{\bot}$ of a linear code $C$ generated by $\left\{\vec{v_{i}}\right\}_{i\in I}$ easily since it is generated by $\left\{\vec{v_{i}}\right\}_{i\in I^{\bot}}$. Moreover, it can also be used to construct QECCs using the CSS construction since $C\subseteq C^{\bot}$ if and only if $I\subseteq I^{\bot}$. These kinds of decomposition arise naturally (i.e., for the usual generators) in some families of evaluation codes as BCH codes, toric codes, $J$-affine variety codes, negacyclic codes, constacylic codes, etc. and the previous approach has been exploited for constructing stabilizer quantum codes, EAQECCs and LCD codes (see [7, 8, 9, 14, 17] for instance).

The above paragraphs allow us to give a practical procedure for computing the value $c$ given in Theorem 3, for the Hermitian product, and in Theorem 4, for the Euclidean product ($C_{1}=C_{2}=C)$. Assume that $C$ is a code generated by $\left\{\vec{v_{i}}\right\}_{i\in I}$ compatible with a geometric decomposition of the corresponding coordinate space and write $I=I_{R}\sqcup I_{L}$ (i.e. $I=I_{R}\cup I_{L}$ and $I_{R}\cap I_{L}=\emptyset$), where the radical of $C$, $C\cap C^{\bot}$, $\bot$ meaning dual with respect to the inner product $\langle\leavevmode\nobreak\ ,\leavevmode\nobreak\ \rangle$, is generated by $\left\{\vec{v_{i}}\right\}_{i\in I_{R}}$. The radical of $C$ can be easily computed in this case: Indeed, given $i\in I$, one has that $i\in I_{R}$ if it holds that: $\vec{v_{i}}$ is the first generator of a hyperbolic plane $H$ and $i+1\not\in I$, $\vec{v_{i}}$ is the second generator of a hyperbolic plane $H$ and $i-1\not\in I$, or $\vec{v_{i}}$ is the first generator of an elliptic plane $E$. Otherwise, $i\in I_{L}$. An equivalent way to characterize $I_{R}$ is the following: $I_{R}$ consists of asymmetric indexes whose pair does not belong to $I$, and $I_{L}$ consists of symmetric indexes and pairs of asymmetric indexes that belong to $I$. Summarizing, one has that when one considers a suitable basis as above, then

[TABLE]

Note that we have an EAQECC with maximal entanglement when $I=I_{L}$, i.e., when $I_{R}=\emptyset$. This fact was used, for instance, in [9].

3. Gilbert-Varshamov-type sufficient condition of existence of entanglement-assisted codes

In this section we give a Gilbert-Varshamov-type bound which is valid for EAQECCs over arbitrary finite fields. A similar bound was stated in [16] for the binary case.

Theorem 5**.**

Assume the existence of positive integers $n$, $k\leq n$, $\delta$, $c\leq(n-k)/2$ such that

[TABLE]

Then there exists an $\mathbb{F}_{q}$-linear code $C\subseteq\mathbb{F}_{q}^{2n}$ such that $\dim_{\mathbb{F}_{q}}C=n-k$, $d_{s}(C^{\perp_{s}}\setminus(C^{\perp_{s}}\cap C))\geq\delta$ and $\dim_{\mathbb{F}_{q}}C-\dim_{\mathbb{F}_{q}}(C^{\perp_{s}}\cap C)=2c$.

Proof.

We will use a close argument to the proof of the Gilbert-Varshamov bound for stabilizer codes [4, 13]. Let $\mathrm{Sp}(q,n)$ be the symplectic group over $\mathbb{F}_{q}^{2n}$ [11, Section 3] and $A(k,c)$ the set of $\mathbb{F}_{q}$-linear spaces $V\subseteq\mathbb{F}_{q}^{2n}$ such that $\dim_{\mathbb{F}_{q}}V=n-k$ and

[TABLE]

For $\vec{0}\neq\vec{e}\in\mathbb{F}_{q}^{2n}$, define

[TABLE]

Taking into account that the symplectic group acts transitively on $\mathbb{F}_{q}^{2n}\setminus\{\vec{0}\}$ [1, 11], it holds that for nonzero $\vec{e}_{1}$, $\vec{e}_{2}\in\mathbb{F}_{q}^{2n}$, there exists $M\in\mathrm{Sp}(q,n)$ such that $\vec{e}_{1}M=\vec{e}_{2}$, and, for $V_{1},V_{2}\in A(k,c)$, there exists $M\in\mathrm{Sp}(q,n)$ such that $V_{1}M=V_{2}$.

Therefore for nonzero elements $\vec{e}_{1},\vec{e}_{2}\in\mathbb{F}_{q}^{2n}$ with $\vec{e}_{1}M_{1}=\vec{e}_{2}\;\left(M_{1}\in\mathrm{Sp}(q,n)\right)$ and some fixed linear space $V_{1}\in A(k,c)$, we have the following chain of equalities:

[TABLE]

For each $V\in A(k,c)$, the number of vectors $\vec{e}$ in $\mathbb{F}_{q}^{2n}$ such that $\vec{e}\in V^{\perp_{s}}\setminus(V^{\perp_{s}}\cap V)$ is

[TABLE]

The number of pairs $(\vec{e}$, $V)$ such that $\vec{0}\neq\vec{e}\in V^{\perp_{s}}\setminus(V^{\perp_{s}}\cap V)$ is

[TABLE]

which implies

[TABLE]

If there exists $V\in A(k,c)$ such that $V\notin B(k,c,\vec{e})$ for all $1\leq\mathrm{swt}(\vec{e})\leq\delta-1$, then there will exist $V$ with the desired properties. The number of vectors $\vec{e}$ such that $1\leq\mathrm{swt}(\vec{e})\leq\delta-1$ is given by

[TABLE]

By combining Equalities (4) and (5), we see that Inequality (3) is a sufficient condition for ensuring the existence of a code $C$ as in our statement. This ends the proof. ∎

To finish this section, we derive an asymptotic form of Theorem 5.

Theorem 6**.**

Let $R$, $\epsilon$ and $\lambda$ be nonnegative real numbers such that $R\leq 1$, $\epsilon<1/2$, and $\lambda\leq(1-R)/2$. Let $h(x):=-x\log_{q}x-(1-x)\log_{q}(x-1)$ be the $q$-ary entropy function. For $n$ sufficiently large, the inequality

[TABLE]

implies the existence of a code $C\subseteq\mathbb{F}_{q}^{2n}$ over $\mathbb{F}_{q}$ such that

[TABLE]

and

[TABLE]

Proof.

It follows from Theorem 5 using a similar reasoning to that in [19, Section III.C]. ∎

4. EAQECCs coming from punctured QECCs

Our final section gives parameters of EAQECCs obtained from punctured codes coming from self-orthogonal codes with respect to symplectic forms, or Hermitian or Euclidean inner products. Since fewer qudits should be transmitted through a noisy channel, they perform better. Let us start with the symplectic case.

4.1. Symplectic form

Let $C\subseteq\mathbb{F}_{q}^{2n}$ be an $\mathbb{F}_{q}$-linear code. The puncturing of $C$ to the coordinate set $\{1$, …, $n-c\}$ is defined as the code of length $2(n-c)$ given by

[TABLE]

In addition, the shortening of $C$ to the coordinate set $\{1$, …, $n-c\}$ is defined as the code

[TABLE]

When we have a stabilizer code given by an $\mathbb{F}_{q}$-linear code $C$ such that $C\subseteq C^{\perp_{s}}\subseteq\mathbb{F}_{q}^{2n}$, we can construct an entanglement-assisted code from $P(C)\subseteq\mathbb{F}_{q}^{2(n-c)}$. By [20], $P(C)^{\perp_{s}}=S(C^{\perp_{s}})$ and we deduce

[TABLE]

The minimum distance of the constructed entanglement-assisted code is $d_{s}(S(C^{\perp_{s}})\setminus S(C))$ which is larger than or equal to $d_{s}(C^{\perp_{s}}\setminus C)$. Following [20], one can prove the following result.

Proposition 5**.**

Assume that a positive integer $c$ satisfies $2c\leq d_{H}(C^{\perp_{s}}\setminus\{\vec{0}\})-1$, then

[TABLE]

Summarizing these observations, we have the following theorem. Notice that a close result has been given in [15] for binary codes.

Theorem 7**.**

Let $C\subseteq\mathbb{F}_{q}^{2n}$ be an $\mathbb{F}_{q}$-linear code with $\dim_{\mathbb{F}_{q}}C=n-k$ and $C\subseteq C^{\perp_{s}}$. Assume that a positive integer $c$ satisfies $2c\leq d_{H}(C^{\perp_{s}}\setminus\{\vec{0}\})-1$, then the punctured code $P(C)$ provides an

[TABLE]

entanglement-assisted code.

Our next two sections are devoted to give similar results but considering Hermitian or Euclidean inner product.

4.2. Hermitian inner product

Let $C\subseteq\mathbb{F}_{q^{2}}^{n}$ an $\mathbb{F}_{q}$-linear code. The $h$-puncturing of $C$ to the coordinate set $\{1,2,\ldots,n-c\}$ is the code of length $n-c$ defined as

[TABLE]

The $h$-shortening of $C$ to the coordinate set $\{1,2,\ldots,n-c\}$ is the code of length $n-c$ defined as

[TABLE]

The above concepts allows us to state the following theorem.

Theorem 8**.**

Let $C\subseteq\mathbb{F}_{q^{2}}^{n}$ be an $\mathbb{F}_{q^{2}}$-linear code with $\dim_{\mathbb{F}_{q^{2}}}C=(n-k)/2$ and suppose that $C\subseteq C^{\perp_{h}}$. Let $c$ be a positive integer such that $c\leq d_{H}(C^{\perp_{h}}\setminus\{\vec{0}\})-1$, then the punctured code $P_{h}(C)$ provides an

[TABLE]

entanglement-assisted code.

Proof.

By the assumption, $\dim_{\mathbb{F}_{q^{2}}}P_{h}(C)=\dim_{\mathbb{F}_{q^{2}}}C$. By a similar argument to that used in Subsection 4.1, we also see that $P_{h}(C)\cap P_{h}(C)^{\perp_{h}}=S_{h}(C)$. Now we have that $c\leq d_{H}(C^{\perp_{h}})-1$, so $\dim_{\mathbb{F}_{q^{2}}}P_{h}(C)=\dim_{\mathbb{F}_{q^{2}}}C$ and $\dim_{\mathbb{F}_{q^{2}}}S_{h}(C)=\dim_{\mathbb{F}_{q^{2}}}C-c$ [20]. It also holds that $d_{H}(P_{h}(C)^{\perp_{h}}\setminus S_{h}(C))\geq d_{H}(C^{\perp_{h}}\setminus C)$ and this concludes the proof by Theorem 3. ∎

4.3. Euclidean inner product

Our result concerning Euclidean duality is the following:

Theorem 9**.**

Let $C_{2}\subseteq C_{1}\subseteq\mathbb{F}_{q}^{n}$ be two $\mathbb{F}_{q}$-linear codes such that $\dim C_{i}=k_{i}$, $1\leq i\leq 2$. The standard construction of CSS codes uses $C_{2}\times C_{1}^{\perp}$ as the stabilizer. Assume that $c$ is a positive integer such that

[TABLE]

then the punctured code $P_{h}(C_{2})\times P_{h}(C_{1}^{\perp})$ provides an

[TABLE]

entanglement-assisted code.

Proof.

The assumption $c\leq\min\left\{d_{H}(C_{2}^{\bot}\setminus\{\vec{0}\}),d_{H}(C_{1}\setminus\{\vec{0}\})\right\}-1$ implies the following two equalities: $\dim_{\mathbb{F}_{q}}P_{h}(C_{2})=\dim_{\mathbb{F}_{q}}C_{2}$ and $\dim_{\mathbb{F}_{q}}P_{h}(C_{1}^{\perp})=\dim_{\mathbb{F}_{q}}C_{1}^{\perp}$. Therefore

[TABLE]

Furthermore it holds that

[TABLE]

Applying Theorem 7 to the code $C_{2}\times C_{1}^{\perp}$, the proof is completed. ∎

Acknowledgments: We thank Francisco R. Fernandes and Ruud Pellikaan for pointing out a mistake in Theorem 6 on an earlier version of this article. We thank Markus Grassl and Hualu Liu for pointing out a mistake in Section 4 on an earlier version of this article.