本篇给出三件互相关联的事:自旋的表示、交换的符号、以及"哪些量能同时读准"。 $$ \boxed{\;\begin{aligned} &\textbf{自旋}:\ [J_i,J_j]=i\varepsilon_{ijk}J_k\ \Longrightarrow\ \text{谱}\ j(j+1),\ \dim=2j+1;\\ &\textbf{两点分解}:\ \mathbb C^2\otimes\mathbb C^2=\operatorname{Sym}^2\oplus\Lambda^2=3\oplus1;\\ &\textbf{不确定性}:\ \Delta A\,\Delta B\ge\tfrac12\bigl|\langle[A,B]\rangle\bigr|;\\ &\textbf{双覆盖}:\ e^{2\pi iJ_3}=(-1)^{2j}\mathbf 1;\qquad \textbf{正则对易}:\ [X,P]=i\mathbf 1\ \text{在有限维无解}. \end{aligned}\;} \tag{0.1} $$ **八条正面结果**: 1. **表示定理(定理 1.2)**: $\mathfrak{su}(2)$ 的不可约表示由 $j\in\frac12\mathbb Z_{\ge0}$ 标号,维数 $2j+1$ 。 2. **两点分解(定理 3.3)**:两自旋- $\frac12$ 的空间分解为三重态(对称, $j=1$ )与单态(反对称, $j=0$ )——**自旋越大越对称**,这是自旋-统计关联的有限维版本。 3. **交换与转动(命题 3.5/3.6)**:交换 $=$ 相对坐标上逐点的 $\pi$ 转动,两次 $=$ $2\pi$ ,在自旋上给 $(-1)^{2s}$ ;Pauli(定理 3.9)与自旋-统计的有限维形式(定理 3.10)由此得出。 4. **双覆盖(定理 1.4)**:转 $2\pi$ 给出 $(-1)^{2j}$ ,故整数/半整数二分是 $J_3$ 谱的推论。 5. **矩阵因子由逆序逼出(命题 1.5)**:循环移位 + 取反给出**交换**群 $\mathbb Z_L\times\mathbb Z_2$ ,其群代数全是 $\mathbb C$ ,**不含** $M_2(\mathbb C)$ ;加入取向反转( $D_L$ )才有 $M_2$ 。故"载体"与"旋量"是两个对象。 6. **Schrödinger–Robertson(定理 2.3)**:不确定性除对易子外还有协方差项。 7. **正则对易无解(定理 2.4)**:有限维上 $[X,P]=i\mathbf 1$ 无解,一行迹论证。 8. **同时可读判据(定理 4.2)**:两个可观测量可同时精确读出,当且仅当它们交换。 **一处记账**:「粒子全同」意味着可观测量的交换在物理态上平凡,这是**结构选择(I)**;由它推出的对称/反对称二择一是定理。 ---本篇给出三件互相关联的事:自旋的表示、交换的符号、以及"哪些量能同时读准"。 $$ \boxed{\;\begin{aligned} &\textbf{自旋}:\ [J_i,J_j]=i\varepsilon_{ijk}J_k\ \Longrightarrow\ \text{谱}\ j(j+1),\ \dim=2j+1;\\ &\textbf{两点分解}:\ \mathbb C^2\otimes\mathbb C^2=\operatorname{Sym}^2\oplus\Lambda^2=3\oplus1;\\ &\textbf{不确定性}:\ \Delta A\,\Delta B\ge\tfrac12\bigl|\langle[A,B]\rangle\bigr|;\\ &\textbf{双覆盖}:\ e^{2\pi iJ_3}=(-1)^{2j}\mathbf 1;\qquad \textbf{正则对易}:\ [X,P]=i\mathbf 1\ \text{在有限维无解}. \end{aligned}\;} \tag{0.1} $$ **八条正面结果**: 1. **表示定理(定理 1.2)**:$\mathfrak{su}(2)$ 的不可约表示由 $j\in\frac12\mathbb Z_{\ge0}$ 标号,维数 $2j+1$。 2. **两点分解(定理 3.3)**:两自旋-$\frac12$ 的空间分解为三重态(对称,$j=1$)与单态(反对称,$j=0$)——**自旋越大越对称**,这是自旋-统计关联的有限维版本。 3. **交换与转动(命题 3.5/3.6)**:交换 $=$ 相对坐标上逐点的 $\pi$ 转动,两次 $=$ $2\pi$,在自旋上给 $(-1)^{2s}$;Pauli(定理 3.9)与自旋-统计的有限维形式(定理 3.10)由此得出。 4. **双覆盖(定理 1.4)**:转 $2\pi$ 给出 $(-1)^{2j}$,故整数/半整数二分是 $J_3$ 谱的推论。 5. **矩阵因子由逆序逼出(命题 1.5)**:循环移位 + 取反给出**交换**群 $\mathbb Z_L\times\mathbb Z_2$,其群代数全是 $\mathbb C$,**不含** $M_2(\mathbb C)$;加入取向反转($D_L$)才有 $M_2$。故"载体"与"旋量"是两个对象。 6. **Schrödinger–Robertson(定理 2.3)**:不确定性除对易子外还有协方差项。 7. **正则对易无解(定理 2.4)**:有限维上 $[X,P]=i\mathbf 1$ 无解,一行迹论证。 8. **同时可读判据(定理 4.2)**:两个可观测量可同时精确读出,当且仅当它们交换。 **一处记账**:「粒子全同」意味着可观测量的交换在物理态上平凡,这是**结构选择(I)**;由它推出的对称/反对称二择一是定理。 ---

Oct 31, 20260 citations

BB84プロトコルの鍵レートを最大にするビット送信確率(一般:情報通信基礎サブソサイエティ合同研究会)

ソニールンバントルアン, 隆太郎松本, 友彦植松

India Software Engineering ConferenceFeb 25, 20100 citations

Zb028 · 载体与局域性:张量积结构、局域代数生成全代数、场作为每点的纤维

guobin ouyang

本篇给出"场"的代数定义,并证明两个定量事实: $$ \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)**;给定它,三条结论都是定理。 ---本篇给出"场"的代数定义,并证明两个定量事实: $$ \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)**;给定它,三条结论都是定理。 ---

Oct 31, 20260 citations

BB84プロトコルの鍵レートを最大にするビット送信確率

ルンバントルソニー, 隆太郎松本, Ryutaroh Matsumoto +2 more

Mar 1, 20100 citations

10.27 量子纠错码的编码轨道几何:量子比特根源与稳定子判据

guobin ouyang

在共扼谱几何框架内重建量子纠错码的定义层。三组既有结构提供接口:定理 10.13.3.01(二能级定理)给出量子比特的几何源头——几何最大纠缠对的低能激发空间恰好 2 维;1.1 编码轨道与 1.2 扇区-因子绑定给出"编码"与"张量积分解"的几何概念;定理 10.18.1.01(时间纠缠判据)给出"共享像素 = 纠缠"的图论判据。核心结果为命题 10.27.1.01(量子比特的 Clifford 根源): $\mathrm{Cl}(3)$ 的偶子代数同构于四元数体 $\mathbb{H}$ ,其复化即单量子比特算符代数 $\mathrm{Mat}(2,\mathbb{C})$ ,实 Pauli 代数由 $\mathbb{H}$ 虚单位在复化中的实现直接给出——量子比特是 $\mathrm{Cl}(3)$ 偶部复化的必然结构,不依赖物理映射层约定。定理 10.27.1.03 给出二能级基的显式构造(关联测地线大圆上的 $\ell=1$ 模式)与 Pauli 算符的反射实现;定理 10.27.3.04 给出几何 Knill-Laflamme 判据;§5 列出开放问题。在共扼谱几何框架内重建量子纠错码的定义层。三组既有结构提供接口:定理 10.13.3.01(二能级定理)给出量子比特的几何源头——几何最大纠缠对的低能激发空间恰好 2 维;1.1 编码轨道与 1.2 扇区-因子绑定给出"编码"与"张量积分解"的几何概念;定理 10.18.1.01(时间纠缠判据)给出"共享像素 = 纠缠"的图论判据。核心结果为命题 10.27.1.01(量子比特的 Clifford 根源):$\mathrm{Cl}(3)$ 的偶子代数同构于四元数体 $\mathbb{H}$,其复化即单量子比特算符代数 $\mathrm{Mat}(2,\mathbb{C})$,实 Pauli 代数由 $\mathbb{H}$ 虚单位在复化中的实现直接给出——量子比特是 $\mathrm{Cl}(3)$ 偶部复化的必然结构,不依赖物理映射层约定。定理 10.27.1.03 给出二能级基的显式构造(关联测地线大圆上的 $\ell=1$ 模式)与 Pauli 算符的反射实现;定理 10.27.3.04 给出几何 Knill-Laflamme 判据;§5 列出开放问题。

Aug 8, 20260 citations

\mathfrak{su}(2)

的不可约表示由

j\in\frac12\mathbb Z_{\ge0}

标号,维数

2j+1

。 2. **两点分解(定理 3.3)**:两自旋-

\frac12

的空间分解为三重态(对称,

j=1

)与单态(反对称,

j=0

)——**自旋越大越对称**,这是自旋-统计关联的有限维版本。 3. **交换与转动(命题 3.5/3.6)**:交换

=

相对坐标上逐点的

\pi

转动,两次

=

2\pi

,在自旋上给

(-1)^{2s}

;Pauli(定理 3.9)与自旋-统计的有限维形式(定理 3.10)由此得出。 4. **双覆盖(定理 1.4)**:转

2\pi

给出

(-1)^{2j}

,故整数/半整数二分是

J_3

谱的推论。 5. **矩阵因子由逆序逼出(命题 1.5)**:循环移位 + 取反给出**交换**群

\mathbb Z_L\times\mathbb Z_2

,其群代数全是

\mathbb C

,**不含**

M_2(\mathbb C)

;加入取向反转(

D_L

)才有

M_2

。故"载体"与"旋量"是两个对象。 6. **Schrödinger–Robertson(定理 2.3)**:不确定性除对易子外还有协方差项。 7. **正则对易无解(定理 2.4)**:有限维上

[X,P]=i\mathbf 1

无解,一行迹论证。 8. **同时可读判据(定理 4.2)**:两个可观测量可同时精确读出,当且仅当它们交换。 **一处记账**:「粒子全同」意味着可观测量的交换在物理态上平凡,这是**结构选择(I)**;由它推出的对称/反对称二择一是定理。 ---

\mathrm{Cl}(3)

的偶子代数同构于四元数体

\mathbb{H}

,其复化即单量子比特算符代数

\mathrm{Mat}(2,\mathbb{C})

,实 Pauli 代数由

\mathbb{H}

虚单位在复化中的实现直接给出——量子比特是

\mathrm{Cl}(3)

偶部复化的必然结构,不依赖物理映射层约定。定理 10.27.1.03 给出二能级基的显式构造(关联测地线大圆上的

\ell=1

模式)与 Pauli 算符的反射实现;定理 10.27.3.04 给出几何 Knill-Laflamme 判据;§5 列出开放问题。