Relative Hulls and Quantum Codes

• Published in: IEEE transactions on information theory Vol. 70; no. 5; pp. 3190 - 3201
• Main Authors: Anderson, Sarah E., Camps-Moreno, Eduardo, Lopez, Hiram H., Matthews, Gretchen L., Ruano, Diego, Soprunov, Ivan
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.05.2024; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Codes; CSS construction; entanglement-assisted quantum error-correcting codes; Equivalence; Error correcting codes; Error correction; Error correction codes; Hull; Hulls; Linear codes; quantum codes; Quantum entanglement; Upper bound; Vectors
• ISSN: 0018-9448; 1557-9654
• DOI: 10.1109/TIT.2024.3373550

Given two <inline-formula> <tex-math notation="LaTeX">q </tex-math></inline-formula>-ary codes <inline-formula> <tex-math notation="LaTeX">C_{1} </tex-math></inline-formula> and <inline-formula> <tex-math notation="LaTeX">C_{2} </tex-math></inline-formula>, the relative hull of <inline-formula> <tex-math notation="LaTeX">C_{1} </tex-math></inline-formula> with respect to <inline-formula> <tex-math notation="LaTeX">C_{2} </tex-math></inline-formula> is the intersection <inline-formula> <tex-math notation="LaTeX">C_{1}\cap C_{2}^{\perp} </tex-math></inline-formula>. We prove that when <inline-formula> <tex-math notation="LaTeX">q>2 </tex-math></inline-formula>, the relative hull dimension can be repeatedly reduced by one, down to a certain bound, by replacing either of the two codes with an equivalent one. The reduction of the relative hull dimension applies to hulls taken with respect to the <inline-formula> <tex-math notation="LaTeX">e </tex-math></inline-formula>-Galois inner product, which has as special cases both the Euclidean and Hermitian inner products. We give conditions under which the relative hull dimension can be increased by one via equivalent codes when <inline-formula> <tex-math notation="LaTeX">q>2 </tex-math></inline-formula>. We study some consequences of the relative hull properties on entanglement-assisted quantum error-correcting codes and prove the existence of new entanglement-assisted quantum error-correcting maximum distance separable codes, meaning those whose parameters satisfy the quantum Singleton bound.