<p>Quantum error correction (QEC) is essential for protecting quantum information against noise, yet understanding the structure of the Knill-Laflamme (KL) coefficients <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\left\{{\lambda }_{ij}\right\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfenced close="}" open="{"> <mrow> <msub> <mrow> <mi>λ</mi> </mrow> <mrow> <mi>i</mi> <mi>j</mi> </mrow> </msub> </mrow> </mfenced> </math></EquationSource> </InlineEquation> from the condition <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(P{E}_{i}^{\dagger }{E}_{j}P={\lambda }_{ij}P\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <msubsup> <mrow> <mi>E</mi> </mrow> <mrow> <mi>i</mi> </mrow> <mrow> <mo>†</mo> </mrow> </msubsup> <msub> <mrow> <mi>E</mi> </mrow> <mrow> <mi>j</mi> </mrow> </msub> <mi>P</mi> <mo>=</mo> <msub> <mrow> <mi>λ</mi> </mrow> <mrow> <mi>i</mi> <mi>j</mi> </mrow> </msub> <mi>P</mi> </mrow> </math></EquationSource> </InlineEquation> remains challenging, particularly for nonadditive codes. In this work, we introduce the signature vector <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\overrightarrow{\lambda }(P)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mrow> <mi>λ</mi> </mrow> <mo>→</mo> </mover> <mrow> <mo>(</mo> <mrow> <mi>P</mi> </mrow> <mo>)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, composed of the off-diagonal KL coefficients <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\left\{{\lambda }_{ij}\right\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfenced close="}" open="{"> <mrow> <msub> <mrow> <mi>λ</mi> </mrow> <mrow> <mi>i</mi> <mi>j</mi> </mrow> </msub> </mrow> </mfenced> </math></EquationSource> </InlineEquation>, where each coefficient corresponds to equivalence classes of errors counted only once. We define its Euclidean norm <i>λ</i><sup>*</sup>(<i>P</i>) as a scalar measure representing the total strength of error correlations within the code subspace defined by the projector <i>P</i>. We parameterize <i>P</i> on a Stiefel manifold and formulate an optimization problem based on the KL conditions to systematically explore possible values of <i>λ</i><sup>*</sup>. Moreover, we show that, for ((<i>n</i>, <i>K</i>, <i>d</i>)) codes, <i>λ</i><sup>*</sup> is invariant under local unitary transformations. Applying our approach to the ((6, 2, 3)) quantum code, we find that <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({\lambda }_{\min }^{* }=\sqrt{0.6}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mrow> <mi>λ</mi> </mrow> <mrow> <mi>min</mi> </mrow> <mrow> <mo>*</mo> </mrow> </msubsup> <mo>=</mo> <msqrt> <mrow> <mn>0.6</mn> </mrow> </msqrt> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({\lambda }_{\max }^{* }=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mrow> <mi>λ</mi> </mrow> <mrow> <mi>max</mi> </mrow> <mrow> <mo>*</mo> </mrow> </msubsup> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, with <i>λ</i><sup>*</sup> = 1 corresponding to a known degenerate stabilizer code. We construct continuous families of new nonadditive codes parameterized by vectors in <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\({{\mathbb{R}}}^{5}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mn>5</mn> </mrow> </msup> </math></EquationSource> </InlineEquation>, with <i>λ</i><sup>*</sup> varying over the interval <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\([\sqrt{0.6},1]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>[</mo> <mrow> <msqrt> <mrow> <mn>0.6</mn> </mrow> </msqrt> <mo>,</mo> <mn>1</mn> </mrow> <mo>]</mo> </mrow> </math></EquationSource> </InlineEquation>. For the ((7, 2, 3)) code, we identify <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\({\lambda }_{\min }^{* }=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mrow> <mi>λ</mi> </mrow> <mrow> <mi>min</mi> </mrow> <mrow> <mo>*</mo> </mrow> </msubsup> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> (corresponding to the non-degenerate Steane code) and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\({\lambda }_{\max }^{* }=\sqrt{7}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mrow> <mi>λ</mi> </mrow> <mrow> <mi>max</mi> </mrow> <mrow> <mo>*</mo> </mrow> </msubsup> <mo>=</mo> <msqrt> <mrow> <mn>7</mn> </mrow> </msqrt> </mrow> </math></EquationSource> </InlineEquation> (corresponding to the permutation-invariant code by Pollatsek and Ruskai), and we demonstrate continuous paths connecting these extremes via cyclic codes characterized solely by <i>λ</i><sup>*</sup>. Our findings provide new insights into the structure of quantum codes, advance the theoretical foundations of QEC, and open new avenues for investigating intricate relationships between code subspaces and error correlations.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Characterizing quantum codes via the coefficients in Knill-Laflamme conditions

  • Mengxin Du,
  • Chao Zhang,
  • Yiu Tung Poon,
  • Bei Zeng

摘要

Quantum error correction (QEC) is essential for protecting quantum information against noise, yet understanding the structure of the Knill-Laflamme (KL) coefficients \(\left\{{\lambda }_{ij}\right\}\) λ i j from the condition \(P{E}_{i}^{\dagger }{E}_{j}P={\lambda }_{ij}P\) P E i E j P = λ i j P remains challenging, particularly for nonadditive codes. In this work, we introduce the signature vector \(\overrightarrow{\lambda }(P)\) λ ( P ) , composed of the off-diagonal KL coefficients \(\left\{{\lambda }_{ij}\right\}\) λ i j , where each coefficient corresponds to equivalence classes of errors counted only once. We define its Euclidean norm λ*(P) as a scalar measure representing the total strength of error correlations within the code subspace defined by the projector P. We parameterize P on a Stiefel manifold and formulate an optimization problem based on the KL conditions to systematically explore possible values of λ*. Moreover, we show that, for ((n, K, d)) codes, λ* is invariant under local unitary transformations. Applying our approach to the ((6, 2, 3)) quantum code, we find that \({\lambda }_{\min }^{* }=\sqrt{0.6}\) λ min * = 0.6 and \({\lambda }_{\max }^{* }=1\) λ max * = 1 , with λ* = 1 corresponding to a known degenerate stabilizer code. We construct continuous families of new nonadditive codes parameterized by vectors in \({{\mathbb{R}}}^{5}\) R 5 , with λ* varying over the interval \([\sqrt{0.6},1]\) [ 0.6 , 1 ] . For the ((7, 2, 3)) code, we identify \({\lambda }_{\min }^{* }=0\) λ min * = 0 (corresponding to the non-degenerate Steane code) and \({\lambda }_{\max }^{* }=\sqrt{7}\) λ max * = 7 (corresponding to the permutation-invariant code by Pollatsek and Ruskai), and we demonstrate continuous paths connecting these extremes via cyclic codes characterized solely by λ*. Our findings provide new insights into the structure of quantum codes, advance the theoretical foundations of QEC, and open new avenues for investigating intricate relationships between code subspaces and error correlations.