Zb026 · 相位与 2π:单值性、通量量子化、自旋半整数的 4π 周期

guobin ouyang

Published Oct 31, 2026• 0 citations

Abstract

相位在本库有三处出现,本篇把它们统一到"$2\pi$ 的整数倍"这一条上: $$ \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\pi$ 倍。 2. **通量量子化(定理 2.2)**:单值性把磁通量锁定为 $h/q$ 的整数倍。 3. **$4\pi$ 周期(定理 3.2)**:自旋-$\frac12$ 的旋转群是 $SU(2)$,其 $2\pi$ 旋转等于 $-I$,故态向量需要 $4\pi$。 **一处记账**:"波函数单值"是**结构选择(I)**(也可以取多值、双值表示);给定它,三条结论都是定理。 ---

DOI: 10.5281/zenodo.23829762

Related papers

Zb020 · 自旋、交换与不确定性:su(2) 表示、两点张量积的分解、同时可读的判据

guobin ouyang

Oct 31, 20260 citations

Zb025 · 开放系统:完全正、Kraus 表示与 Lindblad 生成元的保迹性

guobin ouyang

Oct 31, 20260 citations

Zb018 · 运动学:态、可观测量与读出计数——Born 比值不是新公理

guobin ouyang

Oct 31, 20260 citations

Zb019 · 时间与演化:幺正生成元、KMS 条件、几何时间与热时间的分工

guobin ouyang

Oct 31, 20260 citations

Zb021 · 测量:效应、无信号、退相干与指针基

guobin ouyang

Oct 31, 20260 citations

Zb059 · 热力学与统计力学的位置:读数、条件与构造三层

guobin ouyang

Oct 31, 20260 citations

Zb026 · 相位与 2π:单值性、通量量子化、自旋半整数的 4π 周期

guobin ouyang

Published Oct 31, 2026• 0 citations

Publisher

Abstract

相位在本库有三处出现,本篇把它们统一到"

2\pi

的整数倍"这一条上:

\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\pi

倍。 2. 通量量子化(定理 2.2):单值性把磁通量锁定为

h/q

的整数倍。 3. $4\pi$ 周期(定理 3.2):自旋-

\frac12

的旋转群是

SU(2)

,其

2\pi

旋转等于

-I

,故态向量需要

4\pi

。 一处记账:"波函数单值"是结构选择(I)(也可以取多值、双值表示);给定它,三条结论都是定理。 ---

DOI: 10.5281/zenodo.23829762

Related papers

Zb020 · 自旋、交换与不确定性:su(2) 表示、两点张量积的分解、同时可读的判据

guobin ouyang

本篇给出三件互相关联的事:自旋的表示、交换的符号、以及"哪些量能同时读准"。 $$ \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

Zb025 · 开放系统:完全正、Kraus 表示与 Lindblad 生成元的保迹性

guobin ouyang

本篇把开放系统的三条代数事实写清: $$ \boxed{\;\begin{aligned} &\textbf{Kraus}:\ \Phi(\rho)=\sum_kM_k\rho M_k^\ast\ \Longrightarrow\ \Phi\ \text{完全正};\\ &\textbf{保迹}:\ \operatorname{tr}\Phi(\rho)=\operatorname{tr}\rho\iff\textstyle\sum_kM_k^\ast M_k=I;\\ &\textbf{Lindblad}:\ \dot\rho=-i[H,\rho]+\sum_k\Bigl(A_k\rho A_k^\ast-\tfrac12\{A_k^\ast A_k,\rho\}\Bigr)\ \text{保迹}. \end{aligned}\;} \tag{0.1} $$ **三条正面结果**: 1. **完全正(定理 1.2)**:任何 Kraus 形式都给出完全正映射,且 Kraus 形式对"系统-环境耦合 + 部分迹"完全等价(Zb023 定理 2.2 的逆命题)。 2. **保迹判据(定理 2.1)**: $\sum_kM_k^\ast M_k=I$ ⟺ 保迹。 3. **Lindblad 保迹(定理 3.2)**:GKSL 生成元逐项保迹,故 $\operatorname{tr}\rho(t)$ 是常数。 **一处记账**:取 GKSL 形式(而不取任意保迹正映射)是**结构选择(I)**——它限制在"马尔可夫、时间齐次"的一支;由它推出的保迹性是定理。 ---本篇把开放系统的三条代数事实写清: $$ \boxed{\;\begin{aligned} &\textbf{Kraus}:\ \Phi(\rho)=\sum_kM_k\rho M_k^\ast\ \Longrightarrow\ \Phi\ \text{完全正};\\ &\textbf{保迹}:\ \operatorname{tr}\Phi(\rho)=\operatorname{tr}\rho\iff\textstyle\sum_kM_k^\ast M_k=I;\\ &\textbf{Lindblad}:\ \dot\rho=-i[H,\rho]+\sum_k\Bigl(A_k\rho A_k^\ast-\tfrac12\{A_k^\ast A_k,\rho\}\Bigr)\ \text{保迹}. \end{aligned}\;} \tag{0.1} $$ **三条正面结果**: 1. **完全正(定理 1.2)**:任何 Kraus 形式都给出完全正映射,且 Kraus 形式对"系统-环境耦合 + 部分迹"完全等价(Zb023 定理 2.2 的逆命题)。 2. **保迹判据(定理 2.1)**:$\sum_kM_k^\ast M_k=I$ ⟺ 保迹。 3. **Lindblad 保迹(定理 3.2)**:GKSL 生成元逐项保迹,故 $\operatorname{tr}\rho(t)$ 是常数。 **一处记账**:取 GKSL 形式(而不取任意保迹正映射)是**结构选择(I)**——它限制在"马尔可夫、时间齐次"的一支;由它推出的保迹性是定理。 ---

Oct 31, 20260 citations

Zb018 · 运动学:态、可观测量与读出计数——Born 比值不是新公理

guobin ouyang

本篇建立量子运动学,并把"概率"的位置说清: $$ \boxed{\;\begin{aligned} &\textbf{可观测量}:\ \text{自伴算子}\ A=A^\ast\ \text{(有限维、实谱)};\\ &\textbf{读出计数}:\ N_k=\operatorname{tr}(\rho P_k);\\ &\textbf{Born 比值}:\ p_k=\frac{\operatorname{tr}(\rho P_k)}{\operatorname{tr}\rho}=\operatorname{tr}(\rho P_k)\quad(\operatorname{tr}\rho=1);\\ &\textbf{记账}:\ p_k\ \text{是}\textbf{计数比},\text{由公理②(不设概率)留给} \text{读出}. \end{aligned}\;} \tag{0.1} $$ **四条正面结果**: 1. **谱定理(定理 1.2)**:有限维自伴算子有实谱与正交本征基,可观测量的"读数"因此是实数。 2. **Born 比值定理(定理 2.2)**:把读数定义为 $\operatorname{tr}(\rho P_k)$ 后,比值自动非负、归一、对正交分解可加——**不需要额外公设**。 3. **纯态的两次方(定理 5.1)**: $\rho=\lvert\psi\rangle\langle\psi\rvert$ 时 $p_k=\lvert\langle k\rvert\psi\rangle\rvert^2$ ,即"振幅的模方"由迹的定义直接给出。 4. **概率从计数测度来(定理 3.1/推论 3.2)**:均匀计数测度在**任意**粗粒化下的推前是概率测度(非负、归一、可加,三行证完)。取"层高"这一粗粒化,推前恰是 Zb047 的层权重 $w_h$ ——故**概率不是公设,是推前**。 **一处记账**:把"读出"实现为投影 $P_k$ 上的迹,是**结构选择(I)**;它的后果(非负、归一、可加)是定理。 ---本篇建立量子运动学,并把"概率"的位置说清: $$ \boxed{\;\begin{aligned} &\textbf{可观测量}:\ \text{自伴算子}\ A=A^\ast\ \text{(有限维、实谱)};\\ &\textbf{读出计数}:\ N_k=\operatorname{tr}(\rho P_k);\\ &\textbf{Born 比值}:\ p_k=\frac{\operatorname{tr}(\rho P_k)}{\operatorname{tr}\rho}=\operatorname{tr}(\rho P_k)\quad(\operatorname{tr}\rho=1);\\ &\textbf{记账}:\ p_k\ \text{是}\textbf{计数比},\text{由公理②(不设概率)留给} \text{读出}. \end{aligned}\;} \tag{0.1} $$ **四条正面结果**: 1. **谱定理(定理 1.2)**:有限维自伴算子有实谱与正交本征基,可观测量的"读数"因此是实数。 2. **Born 比值定理(定理 2.2)**:把读数定义为 $\operatorname{tr}(\rho P_k)$ 后,比值自动非负、归一、对正交分解可加——**不需要额外公设**。 3. **纯态的两次方(定理 5.1)**:$\rho=\lvert\psi\rangle\langle\psi\rvert$ 时 $p_k=\lvert\langle k\rvert\psi\rangle\rvert^2$,即"振幅的模方"由迹的定义直接给出。 4. **概率从计数测度来(定理 3.1/推论 3.2)**:均匀计数测度在**任意**粗粒化下的推前是概率测度(非负、归一、可加,三行证完)。取"层高"这一粗粒化,推前恰是 Zb047 的层权重 $w_h$——故**概率不是公设,是推前**。 **一处记账**:把"读出"实现为投影 $P_k$ 上的迹,是**结构选择(I)**;它的后果(非负、归一、可加)是定理。 ---

Oct 31, 20260 citations

Zb019 · 时间与演化:幺正生成元、KMS 条件、几何时间与热时间的分工

guobin ouyang

本篇给出"演化"的两种时间,并说明它们的分工: $$ \boxed{\;\begin{aligned} &\textbf{幺正演化}:\ \rho(t)=e^{-iHt}\rho e^{iHt},\quad \text{保迹、保正、保谱};\\ &\textbf{KMS}:\ \text{Gibbs 态满足}\ \langle A\,\sigma_{t+i\beta}(B)\rangle_\rho=\langle\sigma_t(B)\,A\rangle_\rho;\\ &\textbf{分工}:\ H\ \text{给几何时间(谁在动)},\ \log\rho\ \text{给热时间(多热)};\ \ \sigma^{\rm mod}_t=\sigma^{\rm geo}_{-\beta t}. \end{aligned}\;} \tag{0.1} $$ **五条正面结果**: 1. **幺正性(定理 1.2)**: $U(t)=e^{-iHt}$ 是单参数幺正群,共轭作用保持态的集合。 2. **KMS 条件(定理 2.2)**:Gibbs 态 $\rho=e^{-\beta H}/Z$ 的模流与 $H$ 生成的演化一致,满足 KMS 关系。 3. **两种时间的关系(命题 3.1)**: $\sigma_t^{\rm mod}(A)=e^{-i\beta Ht}Ae^{i\beta Ht}=\sigma^{\rm geo}_{-\beta t}(A)$ ——模流就是以 $\beta H$ 为生成元的演化,差一个由约定固定的符号。 4. **模流的完整判据(定理 4.3/4.4/4.5)**:非平凡且保代数 ⟺ 块对角 + 块内非标量;不同的态给不同的流;"保持一切忠实态"只在 $H$ 属于中心时发生(那时 $\alpha=\mathrm{id}$ )。 5. **时间箭头(定理 5.1)**: $\sigma_{-t}=\sigma_t^{-1}$ 使模流本身不区分方向;**箭头由 $\rho$ 的本征值序给出**,且 $K=-\ln\rho$ 的谱单调。箭头给方向、熵给大小,两者都来自同一个 $\rho$ 。 **一处记账**:把 $\rho$ 取成 Gibbs 形式 $e^{-\beta H}/Z$ 是**结构选择(I)**;给定它,KMS 是定理。 ---本篇给出"演化"的两种时间,并说明它们的分工: $$ \boxed{\;\begin{aligned} &\textbf{幺正演化}:\ \rho(t)=e^{-iHt}\rho e^{iHt},\quad \text{保迹、保正、保谱};\\ &\textbf{KMS}:\ \text{Gibbs 态满足}\ \langle A\,\sigma_{t+i\beta}(B)\rangle_\rho=\langle\sigma_t(B)\,A\rangle_\rho;\\ &\textbf{分工}:\ H\ \text{给几何时间(谁在动)},\ \log\rho\ \text{给热时间(多热)};\ \ \sigma^{\rm mod}_t=\sigma^{\rm geo}_{-\beta t}. \end{aligned}\;} \tag{0.1} $$ **五条正面结果**: 1. **幺正性(定理 1.2)**:$U(t)=e^{-iHt}$ 是单参数幺正群,共轭作用保持态的集合。 2. **KMS 条件(定理 2.2)**:Gibbs 态 $\rho=e^{-\beta H}/Z$ 的模流与 $H$ 生成的演化一致,满足 KMS 关系。 3. **两种时间的关系(命题 3.1)**:$\sigma_t^{\rm mod}(A)=e^{-i\beta Ht}Ae^{i\beta Ht}=\sigma^{\rm geo}_{-\beta t}(A)$——模流就是以 $\beta H$ 为生成元的演化,差一个由约定固定的符号。 4. **模流的完整判据(定理 4.3/4.4/4.5)**:非平凡且保代数 ⟺ 块对角 + 块内非标量;不同的态给不同的流;"保持一切忠实态"只在 $H$ 属于中心时发生(那时 $\alpha=\mathrm{id}$)。 5. **时间箭头(定理 5.1)**:$\sigma_{-t}=\sigma_t^{-1}$ 使模流本身不区分方向;**箭头由 $\rho$ 的本征值序给出**,且 $K=-\ln\rho$ 的谱单调。箭头给方向、熵给大小,两者都来自同一个 $\rho$。 **一处记账**:把 $\rho$ 取成 Gibbs 形式 $e^{-\beta H}/Z$ 是**结构选择(I)**;给定它,KMS 是定理。 ---

Oct 31, 20260 citations

Zb021 · 测量:效应、无信号、退相干与指针基

guobin ouyang

本篇文章把"测量"拆成三个可证的部分: $$ \boxed{\;\begin{aligned} &\textbf{效应}:\ 0\le E_k\le I,\ \textstyle\sum_kE_k=I\ \Longrightarrow\ \text{计数比}\ p_k=\operatorname{tr}(\rho E_k)\ \text{仍归一};\\ &\textbf{无信号}:\ \operatorname{tr}_B\bigl[(\text{远端任意测量})\bigr]=\operatorname{tr}_B\rho_{AB}\quad(\text{与远端选择无关});\\ &\textbf{退相干}:\ \text{环境正交}\iff\text{系统约化态对角}. \end{aligned}\;} \tag{0.1} $$ **五条正面结果**: 1. **效应(定理 1.2)**:把投影放宽为效应,Born 比值的三条性质全部保留。 2. **无信号(定理 2.2)**:远端测量的选择不改变本地的边缘统计。 3. **退相干(定理 3.2/推论 3.4)**:环境态正交时非对角元精确为零;不正交时每次记录乘 $\kappa_1$ , $N$ 次后 $\mathcal V(N)=\kappa_1^N$ ,半衰期 $N_{1/2}=\ln2/(-\ln\kappa_1)$ ——**有限次记录不能完全退相干**。 4. **Naimark 膨胀(定理 1.4)**:任意 POVM 都可由等距嵌入 $V\lvert\chi\rangle=\sum_i(\sqrt{E_i}\lvert\chi\rangle)\otimes\lvert i\rangle$ 在扩大空间上的**投影**测量实现,故 POVM 不引入新的测量概念。 5. ** $\kappa_1$ 的三重身份(推论 3.5)**:同一个数同时给可见度衰减、半衰期、与环境学到的信息量 $\chi(N)=h\bigl(\frac{1-\kappa_1^N}2\bigr)$ ——退相干与信息泄露是同一件事。 **一处记账**:把"测量"实现为效应族(而不是投影族)是**结构选择(I)**;它放宽了可实现读出的范围,但不改变归一性。 ---本篇文章把"测量"拆成三个可证的部分: $$ \boxed{\;\begin{aligned} &\textbf{效应}:\ 0\le E_k\le I,\ \textstyle\sum_kE_k=I\ \Longrightarrow\ \text{计数比}\ p_k=\operatorname{tr}(\rho E_k)\ \text{仍归一};\\ &\textbf{无信号}:\ \operatorname{tr}_B\bigl[(\text{远端任意测量})\bigr]=\operatorname{tr}_B\rho_{AB}\quad(\text{与远端选择无关});\\ &\textbf{退相干}:\ \text{环境正交}\iff\text{系统约化态对角}. \end{aligned}\;} \tag{0.1} $$ **五条正面结果**: 1. **效应(定理 1.2)**:把投影放宽为效应,Born 比值的三条性质全部保留。 2. **无信号(定理 2.2)**:远端测量的选择不改变本地的边缘统计。 3. **退相干(定理 3.2/推论 3.4)**:环境态正交时非对角元精确为零;不正交时每次记录乘 $\kappa_1$,$N$ 次后 $\mathcal V(N)=\kappa_1^N$,半衰期 $N_{1/2}=\ln2/(-\ln\kappa_1)$——**有限次记录不能完全退相干**。 4. **Naimark 膨胀(定理 1.4)**:任意 POVM 都可由等距嵌入 $V\lvert\chi\rangle=\sum_i(\sqrt{E_i}\lvert\chi\rangle)\otimes\lvert i\rangle$ 在扩大空间上的**投影**测量实现,故 POVM 不引入新的测量概念。 5. **$\kappa_1$ 的三重身份(推论 3.5)**:同一个数同时给可见度衰减、半衰期、与环境学到的信息量 $\chi(N)=h\bigl(\frac{1-\kappa_1^N}2\bigr)$——退相干与信息泄露是同一件事。 **一处记账**:把"测量"实现为效应族(而不是投影族)是**结构选择(I)**;它放宽了可实现读出的范围,但不改变归一性。 ---

Oct 31, 20260 citations

Zb059 · 热力学与统计力学的位置:读数、条件与构造三层

guobin ouyang

本篇把"热力学/统计力学"在 Zero 中的位置分成三层,并给每层判据: $$ \boxed{\;\begin{aligned} &\textbf{读数层}:\ \text{熵 }S(\rho)\text{、能量 }E=\operatorname{Tr}\rho H\text{、模温度 }\beta=1 \ \text{是状态/账本上的读数};\\ &\textbf{条件层}:\ \text{给定 }H\text{ 与状态族,第一/第二定律、系综、配分函数是有限维定理};\\ &\textbf{构造层}:\ \text{热力学极限、真正的相变、连续费米面/多体动力学;本库的账本熵 }H=O(\ln L)\text{,此层不成立}. \end{aligned}\;} \tag{0.1} $$ **三条正面结果**: 1. **读数层(§1–§2)**:账本给分布熵,状态给 von Neumann 熵;二者满足同一个上界 $S\le\ln N$ 。模流给 KMS 的 $\beta=1$ (Zb019),这是 Zero 不靠能量读出就能给出的"温度读数"。 2. **条件层(§3)**:一旦给定能量读出 $H$ ,Gibbs 变分、第一定律、条件第二定律、正则系综与配分函数都是有限维定理; $H$ 与状态族是输入,不是公理。 3. **构造层(§4)**:Zb047 已证账本熵只按 $\ln L$ 增长,故没有广延熵,也没有热力学极限;有限维配分函数是有限个指数之和,故没有真正的相变。要接传统统计力学,必须在条件层显式构造,或在构造层显式加入极限。 **三处记账**:能量读出 $H$ 是**结构选择(I)**;Gibbs 族/系综是**条件构造(I)**;热力学极限是**外部结构(I)**,不是 Zero 的定理。热力学温度 $T=\partial E/\partial S$ 只在给定 $H$ 与状态族时有定义;模温度 $\beta=1$ 是另一件事。 ---本篇把"热力学/统计力学"在 Zero 中的位置分成三层,并给每层判据: $$ \boxed{\;\begin{aligned} &\textbf{读数层}:\ \text{熵 }S(\rho)\text{、能量 }E=\operatorname{Tr}\rho H\text{、模温度 }\beta=1 \ \text{是状态/账本上的读数};\\ &\textbf{条件层}:\ \text{给定 }H\text{ 与状态族,第一/第二定律、系综、配分函数是有限维定理};\\ &\textbf{构造层}:\ \text{热力学极限、真正的相变、连续费米面/多体动力学;本库的账本熵 }H=O(\ln L)\text{,此层不成立}. \end{aligned}\;} \tag{0.1} $$ **三条正面结果**: 1. **读数层(§1–§2)**:账本给分布熵,状态给 von Neumann 熵;二者满足同一个上界 $S\le\ln N$。模流给 KMS 的 $\beta=1$(Zb019),这是 Zero 不靠能量读出就能给出的"温度读数"。 2. **条件层(§3)**:一旦给定能量读出 $H$,Gibbs 变分、第一定律、条件第二定律、正则系综与配分函数都是有限维定理;$H$ 与状态族是输入,不是公理。 3. **构造层(§4)**:Zb047 已证账本熵只按 $\ln L$ 增长,故没有广延熵,也没有热力学极限;有限维配分函数是有限个指数之和,故没有真正的相变。要接传统统计力学,必须在条件层显式构造,或在构造层显式加入极限。 **三处记账**:能量读出 $H$ 是**结构选择(I)**;Gibbs 族/系综是**条件构造(I)**;热力学极限是**外部结构(I)**,不是 Zero 的定理。热力学温度 $T=\partial E/\partial S$ 只在给定 $H$ 与状态族时有定义;模温度 $\beta=1$ 是另一件事。 ---

Oct 31, 20260 citations

相位在本库有三处出现,本篇把它们统一到"

2\pi

的整数倍"这一条上:

\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\pi

倍。 2. 通量量子化(定理 2.2):单值性把磁通量锁定为

h/q

的整数倍。 3. $4\pi$ 周期(定理 3.2):自旋-

\frac12

的旋转群是

SU(2)

,其

2\pi

旋转等于

-I

,故态向量需要

4\pi

。 一处记账:"波函数单值"是结构选择(I)(也可以取多值、双值表示);给定它,三条结论都是定理。 ---

\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)**;由它推出的对称/反对称二择一是定理。 ---

\sum_kM_k^\ast M_k=I

⟺ 保迹。 3. **Lindblad 保迹(定理 3.2)**:GKSL 生成元逐项保迹,故

\operatorname{tr}\rho(t)

是常数。 **一处记账**:取 GKSL 形式(而不取任意保迹正映射)是**结构选择(I)**——它限制在"马尔可夫、时间齐次"的一支;由它推出的保迹性是定理。 ---

\operatorname{tr}(\rho P_k)

后,比值自动非负、归一、对正交分解可加——**不需要额外公设**。 3. **纯态的两次方(定理 5.1)**:

\rho=\lvert\psi\rangle\langle\psi\rvert

时

p_k=\lvert\langle k\rvert\psi\rangle\rvert^2

,即"振幅的模方"由迹的定义直接给出。 4. **概率从计数测度来(定理 3.1/推论 3.2)**:均匀计数测度在**任意**粗粒化下的推前是概率测度(非负、归一、可加,三行证完)。取"层高"这一粗粒化,推前恰是 Zb047 的层权重

w_h

——故**概率不是公设,是推前**。 **一处记账**:把"读出"实现为投影

P_k

上的迹,是**结构选择(I)**;它的后果(非负、归一、可加)是定理。 ---

U(t)=e^{-iHt}

是单参数幺正群,共轭作用保持态的集合。 2. **KMS 条件(定理 2.2)**:Gibbs 态

\rho=e^{-\beta H}/Z

的模流与

H

生成的演化一致,满足 KMS 关系。 3. **两种时间的关系(命题 3.1)**:

\sigma_t^{\rm mod}(A)=e^{-i\beta Ht}Ae^{i\beta Ht}=\sigma^{\rm geo}_{-\beta t}(A)

——模流就是以

\beta H

为生成元的演化,差一个由约定固定的符号。 4. **模流的完整判据(定理 4.3/4.4/4.5)**:非平凡且保代数 ⟺ 块对角 + 块内非标量;不同的态给不同的流;"保持一切忠实态"只在

H

属于中心时发生(那时

\alpha=\mathrm{id}

)。 5. **时间箭头(定理 5.1)**:

\sigma_{-t}=\sigma_t^{-1}

使模流本身不区分方向;**箭头由

\rho

的本征值序给出**,且

K=-\ln\rho

的谱单调。箭头给方向、熵给大小,两者都来自同一个

\rho

。 **一处记账**:把

\rho

取成 Gibbs 形式

e^{-\beta H}/Z

是**结构选择(I)**;给定它,KMS 是定理。 ---

\kappa_1

N

次后

\mathcal V(N)=\kappa_1^N

,半衰期

N_{1/2}=\ln2/(-\ln\kappa_1)

——**有限次记录不能完全退相干**。 4. **Naimark 膨胀(定理 1.4)**:任意 POVM 都可由等距嵌入

V\lvert\chi\rangle=\sum_i(\sqrt{E_i}\lvert\chi\rangle)\otimes\lvert i\rangle

在扩大空间上的**投影**测量实现,故 POVM 不引入新的测量概念。 5. **

\kappa_1

的三重身份(推论 3.5)**:同一个数同时给可见度衰减、半衰期、与环境学到的信息量

\chi(N)=h\bigl(\frac{1-\kappa_1^N}2\bigr)

——退相干与信息泄露是同一件事。 **一处记账**:把"测量"实现为效应族(而不是投影族)是**结构选择(I)**;它放宽了可实现读出的范围,但不改变归一性。 ---

S\le\ln N

。模流给 KMS 的

\beta=1

(Zb019),这是 Zero 不靠能量读出就能给出的"温度读数"。 2. **条件层(§3)**:一旦给定能量读出

H

,Gibbs 变分、第一定律、条件第二定律、正则系综与配分函数都是有限维定理;

H

与状态族是输入,不是公理。 3. **构造层(§4)**:Zb047 已证账本熵只按

\ln L

增长,故没有广延熵,也没有热力学极限;有限维配分函数是有限个指数之和,故没有真正的相变。要接传统统计力学,必须在条件层显式构造,或在构造层显式加入极限。 **三处记账**:能量读出

H

是**结构选择(I)**;Gibbs 族/系综是**条件构造(I)**;热力学极限是**外部结构(I)**,不是 Zero 的定理。热力学温度

T=\partial E/\partial S

只在给定

H

与状态族时有定义;模温度

\beta=1

是另一件事。 ---