10.27 将量子纠错码的定义层锚定到编码轨道几何:五比特码(
n=5,双饱和唯一)、Steane(
n=7=23−1,方向空间完备性)、Shor(
n=9=3×3,素三分解)。本文推进三条扩展线,为模拟程序的比特数与速度提供定理基础。(1) **完备方向码系列**(定理 10.28.1.02):方向空间完备性(命题 10.27.3.14 的核心)迭代为
m 参数系列
{[[2m−1,2m−1−2m,3]]}m≥3——
m=3 即 Steane,
m=4 给出
[[15,7,3]],每增一方向维数码长翻倍;唯一性由 Hamming 上界与
GL(m,F2) 等价类给出,
d=3 由射影几何
PG(m−1,2) 的直线枚举验证(命题 10.28.1.03:
m=3 回到 7 条 Fano 线,
m=4 为 35 条)。(2) **刚度分层**(定理 10.28.2.02):刚度比
κ=λ2eff/λ1eff≈151.7(定理 10.27.1.04(ii))从压制比推进为检测率下界
1−Aκ−1——错误验证可按扇区分层,通道类错误成本被
κ 压制(依赖定量假说 H1,明确标注,推论链已程序检验,见 §6 O6;
A 的第一性测定开放,§6 O2)。(3) **Clifford 轨道与谱平权**(定理 10.28.3.02、10.28.3.03):stabilizer 态沿一切二分的约化密度矩阵谱平权(本征值
∈{0,2∣SA∣−∣A∣})——谱刚性(定理 10.17.0.05)的量子信息形态;完整纠错循环(编码、Pauli 错误、syndrome、恢复、Clifford 逻辑门)保持在谱平权子流形内,态表示
O(n2)——混合模拟(默认 stabilizer 表示、按需展开态矢量)的几何分界(推论 10.28.3.04;
O(n2) 承诺已程序验证,§6 O7——方向完备系列 4.0s 全部通过)。§5 检验素分解路径:
15=24−1=5×3 的汇合为数值巧合(命题 10.28.4.01:不存在
[[3,1,3]]),
[[15,7,3]] 的唯一几何来源是完备方向
m=4。§6 列出开放问题与程序接口(
PG(3,2) 验证、刚度分层采样、stabilizer 模拟器均已完成)。
相位在本库有三处出现,本篇把它们统一到"
2π 的整数倍"这一条上: $$ \boxed{\;\begin{aligned} &\textbf{单值性}:\ \psi\ \text{单值}\iff\oint\nabla\theta\cdot d\ell=2\pi n\ (n\in\mathbb Z);\\ &\textbf{通量}:\ \partial_\mu\theta=\tfrac q\hbar A_\mu+\cdots\ \Longrightarrow\ \Phi=\frac{2\pi\hbar}{q}\,n=\frac{h}{q}\,n;\\ &\textbf{半整数}:\ \text{自旋-}\tfrac12\ \text{绕轴转}\ 2\pi\ \text{给}\ -I,\quad 4\pi\ \text{才给}\ +I . \end{aligned}\;} \tag{0.1} $$ **三条正面结果**: 1. **单值性(定理 1.2)**:绕闭合回路一周相位必须整
2π 倍。 2. **通量量子化(定理 2.2)**:单值性把磁通量锁定为
h/q 的整数倍。 3. **
4π 周期(定理 3.2)**:自旋-
21 的旋转群是
SU(2),其
2π 旋转等于
−I,故态向量需要
4π。 **一处记账**:"波函数单值"是**结构选择(I)**(也可以取多值、双值表示);给定它,三条结论都是定理。 ---
本篇给出"场"的代数定义,并证明两个定量事实: $$ \boxed{\;\begin{aligned} &\textbf{纤维}:\ \mathcal H=\bigotimes_{x\in\Gamma}\mathcal H_x,\qquad \dim\mathcal H=\prod_x\dim\mathcal H_x;\\ &\textbf{局域代数}:\ \bigotimes_xM_{d_x}\cong M_{\prod_xd_x}\quad(\text{维数}\ \textstyle\prod_xd_x^2);\\ &\textbf{局域性}:\ [\mathcal A_x,\mathcal A_y]=0\ (x\ne y). \end{aligned}\;} \tag{0.1} $$ **三条正面结果**: 1. **维数公式(定理 1.2)**:全空间维数是各点维数之积。 2. **局域代数生成全代数(定理 2.2)**:张量积的局域代数同构于全矩阵代数——"局域算子够用"这句话因此是定理而非口号。 3. **局域交换(定理 3.1)**:不同点的算子交换,故不同点的读数互不干扰(与 Zb023 定理 1.2 一致)。 **一处记账**:"每点一个纤维、全局取张量积"是**结构选择(I)**;给定它,三条结论都是定理。 ---