提升积码

提升积码（lifted product code，LP）是 Panteleev 与 Kalachev 在 2020 年提出的量子 LDPC 构造：把超图积码校验矩阵中的每个比特元素替换为矩阵环（典型为群代数）中的元素，"提升"到更大的码。它带来首个几乎线性距离的 qLDPC 族——k=Θ(log N)、d=Θ(N/log N)，与 Hastings 纤维丛码、平衡积码同年击穿 √N 屏障；其非阿贝尔版本一年后给出渐近好码，阿贝尔版本则是广义自行车码与 IBM BB 码的母体。

图:张量积复形 $A\otimes B^{\ast }$ 的高层视图($w=8$)与单顶点 $v$ 附近的局部结构——提升积在这个骨架上把系数域换成群代数(来源:QE022)

构造：系数提升的超图积

回顾超图积的分块形式 $H_X=[H_1\otimes I,I\otimes H_2]$。提升积的做法是把 ${\mathbb{F}}_2$ 元素换成某个逐元素交换的矩阵环 $R\subseteq {\mathcal{M}}_{\ell }({\mathbb{F}}_2)$ 的元素（环内任两元素相乘可交换）：取 $A\in {\mathcal{M}}_{m_A\times n_A}(R)$、$B\in {\mathcal{M}}_{m_B\times n_B}(R)$，定义

$$H_X=[A\otimes I_{m_B}{I}_{m_A}\otimes B],H_Z=[I_{n_A}\otimes B^{\ast }{A}^{\ast }\otimes I_{n_B}],$$

其中 $M^{\ast }$ 是分块共轭转置（每块取转置再整体转置）。记得到的码为 $\mathrm{LP}(A,B)$Panteleev & Kalachev 2020 (IEEE-IT)。

正交性一行可验：由混合积法则与逐元素交换性，

$$H_X{H}_Z^{\ast }=(A\otimes I)(I\otimes B^{\ast })+(I\otimes B)(A^{\ast }\otimes I)=A\otimes B^{\ast }+A\otimes B^{\ast }=0$$

（特征 2；非特征 2 的环需在 $H_X$ 中插入负号）。CSS 条件对任意逐元素交换的 $A,B$ 自动成立——这就把”找对易校验”化简为”选环、选矩阵”。

码长与维数：每个环元素展开为 $\ell \times \ell$ 块，故

$$N=\ell (n_A{m}_B+n_B{m}_A).$$

维数一般无闭式，但当两个因子取错落的形状（$m_A<n_A$ 且 $m_B>n_B$）时，数行秩得下界 $K\ge \ell (n_A-m_A)(m_B-n_B)$；方阵情形 $\mathrm{LP}(A,A^{\ast })$ 最干净：$N=\ell (n^2+m^2)$，$A$ 满秩时 $K=\ell (n-m{)}^2$——码率可以任意接近 1。非二元系数（$R={\mathbb{F}}_{2^r}$）对应非二元超图积的二元化，维数放大 $r$ 倍。

群作用视角：为什么叫”提升”

取 $R={\mathbb{F}}_{2}G$（群代数），环元素是 G 的 ℓ 阶正则置换矩阵的线性组合——码在 G 作用下不变，每个”符号”实为一个 G-轨道上的 ℓ 个量子比特。超图积中每个 ${\mathbb{F}}_2$ 元素换成群代数元素，等价于沿群轨道把码提升（lift）ℓ 倍再商掉对角作用；这正是平衡积在自由群作用下的特例（$|G|=1$ 退化为超图积；$A,B$ 取 1×1 环元素时退化为 hyperbicycle/广义自行车码）。GB 码、BB 码都是 LP 的特例——IBM 的双变量自行车码原文即明确指出 QC(A,B) 是 ${\mathbb{Z}}_{\ell }\times {\mathbb{Z}}_m$ 上提升积的特例（见bivariate-bicycle）。

准循环（QC）视角

取循环群环 $R={\mathbb{F}}_2[x]/(x^{\ell }-1)$：每个环元素是 ℓ×ℓ 循环移位矩阵的多项式，LP 码成为准循环 LDPC 码（QC-LDPC）；G 取一般阿贝尔群则得准阿贝尔码。这个视角连接了经典 QC-LDPC 的全部工程积累。Panteleev–Kalachev 证明：用扩展图加随机移位提升，可取到 $\ell =\Omega (N/\log N)$ 的超大提升尺寸，使 $A$ 与 $A^{\mathsf{T}}$ 同时是 $(\alpha ,\beta )$-扩展的准循环矩阵——并顺带证明经典 QC-LDPC 码可达线性距离、循环尺寸 $\Omega (N/\log N)$ 在某种意义下最优Panteleev & Kalachev 2020 (IEEE-IT)。

距离结果与证明骨架

主定理给出几乎线性距离族：$K=\Theta (\log N)$、$D=\Theta (N/\log N)$；配合同调积的维数提升（$N^{\prime \prime }\le 4n^{2}N$、$d_Z^{\prime \prime }\ge d\cdot d_Z$、$d_X^{\prime \prime }\ge d\cdot d_X$），得到折中族（Theorem 2）：

$$K=\Omega (N^{\alpha }\log N),D=\Omega (N^{1-\alpha /2}/\log N),0\le \alpha <1.$$

距离下界的骨架（以 $B=1+x$，即循环重复码校验多项式为例）：任何非简并 Z-逻辑算符 $[u,v]$ 必居其一——(a) $u(1)$ 是 $A(1)$ 定义的经典码的非零码字，重量 $\ge \alpha n\ell$；(b) $[u,v]$ 等价于全 1 向量型 $[0,{\mathrm{j}}_{\ell }{v}^{\prime }]$ 且 $v^{\prime }\notin \mathrm{im}A(1)$，重量 $\ge \gamma \ell$。两条路都撞上线性重量。在 K–d 参数平面上，LP（红）、纤维丛（绿）、超图积（蓝）三族曲线在 polylog 精度内汇合——破 √N 屏障后，三家殊途同归（该对比图见原文 Fig.2）。

阿贝尔天花板与非阿贝尔出路

同一文给出限制：若坚持阿贝尔群，经典码 $\ker A$ 的距离存在系统性上界（原文 Eq.24 一族估计），提升积在阿贝尔群上到不了好码。出路是把群换成非阿贝尔群——非阿贝尔 Cayley 图才有足够的扩展性，这正是 2021 年好码构造的出发点Panteleev & Kalachev 2021 (STOC)（见good-quantum-codes）。后续 LP 家族仍在生长：带可寻址逻辑基（addressable bases）的提升积码用于逻辑光谱学Lee 2026 (arXiv)。

延伸阅读

• hypergraph-product
• balanced-product
• good-quantum-codes
• bivariate-bicycle
• qldpc-overview