论文标题
关于量子编码理论的清洁引理
On the Cleaning Lemma of Quantum Coding Theory
论文作者
论文摘要
“清洁引理”一词是指在量子编码理论中使用的类似命题的家族，以根据其长度和维度来估计代码的最小距离。我们表明，数学核心是内部产品空间线性代数的简单事实。此外，它承认进一步减少了组合晶格理论水平。清洁引理的几种混凝土变体和一些其他命题是作为拟议方法的推论而得出的。
The term "Cleaning Lemma" refers to a family of similar propositions that have been used in Quantum Coding Theory to estimate the minimum distance of a code in terms of its length and dimension. We show that the mathematical core is a simple fact of linear algebra of inner product spaces; moreover, it admits a further reduction to a combinatorial, lattice-theoretical level. Several concrete variants of the Cleaning Lemma and some additional propositions are derived as corollaries of the proposed approach.
