[论文解读] Algebraic geometric construction of a quantum stabilizer code

Ryutaroh Matsumoto|arXiv (Cornell University)|Jul 26, 2001

Quantum Computing Algorithms and Architecture参考文献 18被引用 25

一句话总结

本文提出了一种利用有限域上函数域的自同构，通过代数几何方法构造二元量子稳定码的新方法。通过利用来自代数曲线的自正交子空间，该方法生成了一类渐近性能优良的 $[[n,k,d]]$ 代码序列，其关键速率与最小距离之间的权衡优于先前的界限（如Ashikhmin-Litsyn-Tsfasman界限），并提升了量子码的渐近性能。

ABSTRACT

The stabilizer code is the most general algebraic construction of quantum error-correcting codes proposed so far. A stabilizer code can be constructed from a self-orthogonal subspace of a symplectic space over a finite field. We propose a construction method of such a self-orthogonal space using an algebraic curve. By using the proposed method we construct an asymptotically good sequence of binary stabilizer codes. As a byproduct we improve the Ashikhmin-Litsyn-Tsfasman bound of quantum codes. The main results in this paper can be understood without knowledge of quantum mechanics.

研究动机与目标

• 开发一种系统化、代数几何化的量子稳定码构造方法，其渐近参数具有可证明的良好性能。
• 解决高效构造长距离、高码率量子纠错码的挑战，避免依赖穷举搜索。
• 通过利用曲线自同构和自正交子空间，改进二元量子码的码率-距离权衡的渐近界限。
• 通过更高效地利用代数曲线上点的数量，改进并超越Ashikhmin-Litsyn-Tsfasman界限。

提出的方法

• 利用有限域 $\mathbb{F}_q$ 上的代数函数域 $F/\mathbb{F}_q$ 及其二阶自同构 $\sigma$，在 $\mathbb{F}_q$ 上的辛空间中构造一个自正交子空间。
• 通过固定域 $F^\sigma$ 和除子 $G_0$ 定义黎曼-罗赫空间 $L(G_0 + jP_\infty)$，该空间生成一个经典码。
• 通过代码 $C(G_0 + jP_\infty)$ 在 $\mathbb{F}_{2^{2m}}$ 上的自正交性，实现辛对偶条件 $C \supseteq C^{\perp_s}$。
• 利用Calderbank、Shor、Steane和Gottesman的稳定码构造方法，从经典码的维数和最小距离推导出量子码参数。
• 利用黎曼-罗赫定理和 $n_i/g_i \to (2^m - 1)/2$ 的渐近分析，推导出极限码率和距离参数。
• 通过充分利用曲线上全部 $N_i$ 个点，而非如早期工作那样丢弃 $g_i$ 个点，改进了先前的构造方法。

实验结果

研究问题

• RQ1 能否从函数域及其自同构出发，系统地推导出量子稳定码的代数几何构造？
• RQ2 与现有界限相比，该构造可实现的渐近码率-距离权衡为何？
• RQ3 如何通过代数曲线和除子理论在辛空间中实现自正交性条件？
• RQ4 能否通过更优地利用曲线上点的数量，改进Ashikhmin-Litsyn-Tsfasman构造？
• RQ5 基于具有自同构的代数曲线构造的二元量子码，其最优渐近性能为何？

主要发现

• 该构造生成了一类渐近性能优良的二元 $[[n_i, k_i, d_i]]$ 稳定码序列，满足 $\liminf_{i\to\infty} k_i/n_i \geq R^{(1)}(\delta)$ 且 $\liminf_{i\to\infty} d_i/n_i \geq \delta$，其中 $R^{(1)}(\delta)$ 被显式定义。
• 码率函数 $R^{(1)}(\delta)$ 在 $\frac{2^{m-1}}{(2^m-1)(2^{m+1}-1)} \leq \delta \leq \frac{2^{m-2}}{(2^{m-1}-1)(2^m-1)}$ 的 $\delta$ 范围内，实现了高于Ashikhmin-Litsyn-Tsfasman界限的渐近码率。
• 通过利用曲线上全部 $N_i$ 个点而非丢弃 $g_i$ 个点，该方法将渐近码率提升至 $R_m^{(\text{ALT})}(\delta) = 1 - \frac{10}{3}m\delta - \frac{2}{2^m - 1}$，该值在 $[2]$ 中的原始界限之上。
• 改进后的界限 $R^{(\text{ALT})}(\delta)$ 在 $\delta$ 的区间 $\left[\frac{3 \cdot 2^m}{5(2^m-1)(2^{m+1}-1)}, \min\left\{\frac{5}{84}, \frac{3 \cdot 2^{m-1}}{5(2^{m-1}-1)(2^m-1)}\right\} \right]$ 内有效，表现出更优的性能。
• 该构造无需量子力学知识，仅依赖有限域和代数几何。
• 该方法提供了一套系统化、代数几何化的框架，用于生成高码率、高距离的量子码，其显式的渐近参数由曲线的亏格和点数推导得出。