Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Zb062 · 相变与临界:有限系统没有真正的相变

guobin ouyang

Published Oct 31, 2026• 0 citations
Publisher

Abstract

本篇把"相变"与"有限系统"的关系写成两条定理: $$ \boxed{\;\begin{aligned} &\textbf{解析性}:\ \text{有限维 }Z(\beta)=\sum_i e^{-\beta E_i}\ \text{是有限个指数之和,故 }F=-T\ln Z\ \text{在 }\beta>0\ \text{上解析};\\ &\textbf{判据}:\ \text{真正的相变= }F\text{ 或其导数的非解析点;有限系统没有非解析点,故没有真正的相变};\\ &\textbf{边界}:\ \text{Zero 的账本熵 }H=O(\ln L)\ (\text{Zb047})\text{,没有热力学极限;真正的相变需要把极限作为外部结构(I)加入}. \end{aligned}\;} \tag{0.1} $$ **三条正面结果**: 1. **解析性定理(§1–§2)**:有限维配分函数是有限个 $e^{-\beta E_i}$ 之和,$F$ 在 $\beta>0$ 上实解析;任何导数都存在,没有非解析点。 2. **crossover 判据(§3)**:有限系统只有光滑的 crossover;两能级 Schottky 峰是例子,峰位有限、无临界指数。 3. **平均场 toy(§4)**:闭合方程 $u=1-e^{-cu}$ 在 $c>1$ 时有非零解,但这是**模型(C)**,不是 Zero 的定理;它说明阈值只在平均场/热力学极限里出现。 **一处记账**:热力学极限是**外部结构(I)**;有限系统的一切热力学量都是有限 $N$ 的解析函数,不能把"有限系统的光滑峰"写成"相变"。 ---

DOI
10.5281/zenodo.23831554

Related papers

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$ 是另一件事。 ---

•Oct 31, 2026•0 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)**——它限制在"马尔可夫、时间齐次"的一支;由它推出的保迹性是定理。 ---

•Oct 31, 2026•0 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)**;它的后果(非负、归一、可加)是定理。 ---

•Oct 31, 2026•0 citations

Zb023 · 场与观察者:局域代数、门、以及观察者作为子系统

guobin ouyang

本篇把"场"与"观察者"都写成**子系统**,并给出三条可算的结论: $$ \boxed{\;\begin{aligned} &\textbf{局域代数}:\ \mathcal A_A=\mathcal B(\mathcal H_A)\otimes I_B,\quad \mathcal A_B=I_A\otimes\mathcal B(\mathcal H_B);\\ &\textbf{局域交换}:\ [\mathcal A_A,\mathcal A_B]=0\ \Longrightarrow\ \text{两侧读出互不干扰};\\ &\textbf{观察者}:\ \text{观察者是被耦合的子系统,其"记录"是它自身的态}. \end{aligned}\;} \tag{0.1} $$ **三条正面结果**: 1. **局域交换(定理 1.2)**:两侧局域算子交换,故两侧的读数互不改变。 2. **门(定理 2.2)**:任何保迹、保正(完全正)的映射都可实现为"系统-辅助耦合 + 部分迹",这是测量的普遍模型。 3. **观察者即子系统(命题 3.2)**:把观察者当作第三子系统后,"读出"就是它与系统的关联;退相干公式(Zb021 定理 3.2)直接适用。 **一处记账**:切分"系统 / 环境 / 观察者"是**结构选择(I)**;给定切分,全部结论是定理。 ---

•Oct 31, 2026•0 citations

Zb063 · 多体与凝聚态的有效模型:张量积、有限图 BCS 与参数边界

guobin ouyang

Zero 的多体**运动学**来自张量积(Zb028): $$ \mathcal H=\bigotimes_{x\in\Gamma}\mathcal H_x,\qquad \mathcal A_{\rm loc}=\bigotimes_xM_{d_x}\cong M_{\prod_xd_x}. \tag{0.1} $$ 给定这个结构,本篇把 BCS 作为**有效模型**接上,并算清它的参数边界: $$ \boxed{\;\begin{aligned} &\textbf{有限能级 BCS}:\ 1=V\sum_{k=1}^K\frac{1}{2E_k},\quad E_k=\sqrt{\varepsilon_k^2+\Delta^2};\\ &\textbf{阈值}:\ V_c:=\frac{2}{\sum_k1/|\varepsilon_k|},\qquad V>V_c\iff \Delta>0;\\ &\textbf{连续极限}:\ \Delta=\frac{\omega_D}{\sinh(1/\lambda)}\quad(\text{Zb037 的能隙公式}). \end{aligned}\;} \tag{0.2} $$ **三处记账**:张量积是**结构选择(I)**;配对相互作用 $V$、能级 $\varepsilon_k$、 cutoff $\omega_D$、声子机制是**具名条件(C)**;有限谱没有连续费米面,BCS 是有效模型,不是 Zero 的定理。 ---

•Oct 31, 2026•0 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 列出开放问题。

•Aug 8, 2026•0 citations
本篇把"相变"与"有限系统"的关系写成两条定理: \boxed{\;\begin{aligned} &\textbf{解析性}:\ \text{有限维 }Z(\beta)=\sum_i e^{-\beta E_i}\ \text{是有限个指数之和,故 }F=-T\ln Z\ \text{在 }\beta>0\ \text{上解析};\\ &\textbf{判据}:\ \text{真正的相变= }F\text{ 或其导数的非解析点;有限系统没有非解析点,故没有真正的相变};\\ &\textbf{边界}:\ \text{Zero 的账本熵 }H=O(\ln L)\ (\text{Zb047})\text{,没有热力学极限;真正的相变需要把极限作为外部结构(I)加入}. \end{aligned}\;} \tag{0.1} 三条正面结果: 1. 解析性定理(§1–§2):有限维配分函数是有限个 e−βEie^{-\beta E_i}e−βEi​ 之和,FFF 在 β>0\beta>0β>0 上实解析;任何导数都存在,没有非解析点。 2. crossover 判据(§3):有限系统只有光滑的 crossover;两能级 Schottky 峰是例子,峰位有限、无临界指数。 3. 平均场 toy(§4):闭合方程 u=1−e−cuu=1-e^{-cu}u=1−e−cu 在 c>1c>1c>1 时有非零解,但这是模型(C),不是 Zero 的定理;它说明阈值只在平均场/热力学极限里出现。 一处记账:热力学极限是外部结构(I);有限系统的一切热力学量都是有限 NNN 的解析函数,不能把"有限系统的光滑峰"写成"相变"。 ---
本篇把"热力学/统计力学"在 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≤ln⁡NS\le\ln NS≤lnN。模流给 KMS 的 β=1\beta=1β=1(Zb019),这是 Zero 不靠能量读出就能给出的"温度读数"。 2. **条件层(§3)**:一旦给定能量读出 HHH,Gibbs 变分、第一定律、条件第二定律、正则系综与配分函数都是有限维定理;HHH 与状态族是输入,不是公理。 3. **构造层(§4)**:Zb047 已证账本熵只按 ln⁡L\ln LlnL 增长,故没有广延熵,也没有热力学极限;有限维配分函数是有限个指数之和,故没有真正的相变。要接传统统计力学,必须在条件层显式构造,或在构造层显式加入极限。 **三处记账**:能量读出 HHH 是**结构选择(I)**;Gibbs 族/系综是**条件构造(I)**;热力学极限是**外部结构(I)**,不是 Zero 的定理。热力学温度 T=∂E/∂ST=\partial E/\partial ST=∂E/∂S 只在给定 HHH 与状态族时有定义;模温度 β=1\beta=1β=1 是另一件事。 ---
本篇把开放系统的三条代数事实写清: $$ \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)**:∑kMk∗Mk=I\sum_kM_k^\ast M_k=I∑k​Mk∗​Mk​=I ⟺ 保迹。 3. **Lindblad 保迹(定理 3.2)**:GKSL 生成元逐项保迹,故 tr⁡ρ(t)\operatorname{tr}\rho(t)trρ(t) 是常数。 **一处记账**:取 GKSL 形式(而不取任意保迹正映射)是**结构选择(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)**:把读数定义为 tr⁡(ρPk)\operatorname{tr}(\rho P_k)tr(ρPk​) 后,比值自动非负、归一、对正交分解可加——**不需要额外公设**。 3. **纯态的两次方(定理 5.1)**:ρ=∣ψ⟩⟨ψ∣\rho=\lvert\psi\rangle\langle\psi\rvertρ=∣ψ⟩⟨ψ∣ 时 pk=∣⟨k∣ψ⟩∣2p_k=\lvert\langle k\rvert\psi\rangle\rvert^2pk​=∣⟨k∣ψ⟩∣2,即"振幅的模方"由迹的定义直接给出。 4. **概率从计数测度来(定理 3.1/推论 3.2)**:均匀计数测度在**任意**粗粒化下的推前是概率测度(非负、归一、可加,三行证完)。取"层高"这一粗粒化,推前恰是 Zb047 的层权重 whw_hwh​——故**概率不是公设,是推前**。 **一处记账**:把"读出"实现为投影 PkP_kPk​ 上的迹,是**结构选择(I)**;它的后果(非负、归一、可加)是定理。 ---
本篇把"场"与"观察者"都写成**子系统**,并给出三条可算的结论: $$ \boxed{\;\begin{aligned} &\textbf{局域代数}:\ \mathcal A_A=\mathcal B(\mathcal H_A)\otimes I_B,\quad \mathcal A_B=I_A\otimes\mathcal B(\mathcal H_B);\\ &\textbf{局域交换}:\ [\mathcal A_A,\mathcal A_B]=0\ \Longrightarrow\ \text{两侧读出互不干扰};\\ &\textbf{观察者}:\ \text{观察者是被耦合的子系统,其"记录"是它自身的态}. \end{aligned}\;} \tag{0.1} $$ **三条正面结果**: 1. **局域交换(定理 1.2)**:两侧局域算子交换,故两侧的读数互不改变。 2. **门(定理 2.2)**:任何保迹、保正(完全正)的映射都可实现为"系统-辅助耦合 + 部分迹",这是测量的普遍模型。 3. **观察者即子系统(命题 3.2)**:把观察者当作第三子系统后,"读出"就是它与系统的关联;退相干公式(Zb021 定理 3.2)直接适用。 **一处记账**:切分"系统 / 环境 / 观察者"是**结构选择(I)**;给定切分,全部结论是定理。 ---
Zero 的多体**运动学**来自张量积(Zb028): $$ \mathcal H=\bigotimes_{x\in\Gamma}\mathcal H_x,\qquad \mathcal A_{\rm loc}=\bigotimes_xM_{d_x}\cong M_{\prod_xd_x}. \tag{0.1} $$ 给定这个结构,本篇把 BCS 作为**有效模型**接上,并算清它的参数边界: $$ \boxed{\;\begin{aligned} &\textbf{有限能级 BCS}:\ 1=V\sum_{k=1}^K\frac{1}{2E_k},\quad E_k=\sqrt{\varepsilon_k^2+\Delta^2};\\ &\textbf{阈值}:\ V_c:=\frac{2}{\sum_k1/|\varepsilon_k|},\qquad V>V_c\iff \Delta>0;\\ &\textbf{连续极限}:\ \Delta=\frac{\omega_D}{\sinh(1/\lambda)}\quad(\text{Zb037 的能隙公式}). \end{aligned}\;} \tag{0.2} $$ **三处记账**:张量积是**结构选择(I)**;配对相互作用 VVV、能级 εk\varepsilon_kεk​、 cutoff ωD\omega_DωD​、声子机制是**具名条件(C)**;有限谱没有连续费米面,BCS 是有效模型,不是 Zero 的定理。 ---
在共扼谱几何框架内重建量子纠错码的定义层。三组既有结构提供接口:定理 10.13.3.01(二能级定理)给出量子比特的几何源头——几何最大纠缠对的低能激发空间恰好 2 维;1.1 编码轨道与 1.2 扇区-因子绑定给出"编码"与"张量积分解"的几何概念;定理 10.18.1.01(时间纠缠判据)给出"共享像素 = 纠缠"的图论判据。核心结果为命题 10.27.1.01(量子比特的 Clifford 根源):Cl(3)\mathrm{Cl}(3)Cl(3) 的偶子代数同构于四元数体 H\mathbb{H}H,其复化即单量子比特算符代数 Mat(2,C)\mathrm{Mat}(2,\mathbb{C})Mat(2,C),实 Pauli 代数由 H\mathbb{H}H 虚单位在复化中的实现直接给出——量子比特是 Cl(3)\mathrm{Cl}(3)Cl(3) 偶部复化的必然结构,不依赖物理映射层约定。定理 10.27.1.03 给出二能级基的显式构造(关联测地线大圆上的 ℓ=1\ell=1ℓ=1 模式)与 Pauli 算符的反射实现;定理 10.27.3.04 给出几何 Knill-Laflamme 判据;§5 列出开放问题。