自指散射与费米子的诞生:Riccati 平方根、旋量双覆盖与 交换相位
Version: 2.29
英文标题建议:Self-referential scattering and the birth of fermions: Riccati square roots, spinor double cover, and a exchange phase
关键词建议:scattering phase square-root cover; holonomy; spectral shift; boundary triples; Pfaffian invariant; Aharonov–Bohm scattering; Birman–Kreĭn formula
摘要
在去除鉴别子后的参数空间 上,考虑定能散射的相位指数映射 。沿平方覆盖 , 的拉回
定义平方根覆盖。一般多通道或非迹类情形取
其中 由(修正)Fredholm 行列式定义的谱位移。单通道且散射矩阵 时,,并有
。其奇偶 为天然的 不变量(闭路取向改变仅翻号而不改奇偶)。平方根存在性由映射层的覆盖提升条件 刻画; 为主 ‑丛 的 holonomy(’’指 的平方根覆盖)。该条件与线丛平方根 属不同层级,一般不互推。谱理论方面:在短程与假设 A 下,(迹类) 若 ,由 Birman–Kreĭn 得
(一般 Schatten) 仅主张其模 2:
而不宣称 等于整数谱流。
功能分析方面,在边界三元组与 Nevanlinna–Möbius 结构下严格化自指闭环
其中 取值域为闭上半平面边界/扩展实轴,以吻合 Möbius 变换在 作用下的自然相位边界。
给出存在性与双曲型区域内两不动点交换的定理,并证明其交换奇偶与 一致。以一维 -势与 Aharonov–Bohm 模型为例,给出显式绕数计算,并用“鉴别子模 2 交数“统一复小环与实折返路径。拓扑超导端点散射方面,区分 Altland–Zirnbauer 对称类:Class D 的 与 Class DIII 的 分别等价于 的分支号符。该框架在 的费米/玻色统计直接适用;在 给出任意子 统计的 投影。
实验可读出的模 2 指标:形态学判据(单次 读出协议)
声明:以下是可操作的读出协议,并非理论证明的一部分。该协议把本文的 映射为实验可直接观测的号符。
在门控可调 Josephson 结中,取 Andreev 通道数 且能够分辨单一 跃迁。设超导相位差 在一次 扫描中以步长 记录零偏置信号 (电导或干涉幅)。
(i) 归一化:以一周期平均 做幅度归一化,得 。
(ii) 翻转检出(形态学规则):用滑动窗口跟踪局部极性;当 在相邻采样点首次变号且其邻域内无第二次变号,记为一次** 跃迁**。累积翻转奇偶:
可设最小驻点幅度门限以抑制噪声误触发。
(iii) 采样条件(充分而非必要):要求相邻样本不跨两次翻转,取
其中 为单一 跃迁的最短时间/相位尺度。
(以上规则对幅度漂移与弱非绝热扰动具有鲁棒的模 2 判据。)
关键词:散射相位平方根; holonomy;覆盖提升;第一陈类偶性;Bockstein;谱位移;Birman–Kreĭn;Riccati;边界三元组;Pfaffian 指标;Aharonov–Bohm 散射
0 记号、假设、对象与核心物理图景
0.1 核心思想与物理图景
本文的核心思想是用一个统一的 holonomy 指标
把三个看似不同的负号来源统一起来:交换两个费米子获得的负号、把旋量绕 的负号、以及散射半相位的分支切换负号。物理图像如下。
-
散射半相位的分支 对单通道散射,。若沿某个外参回路 绝热演化, 可能回到其初值加上 的整数倍。把 视为 的“平方根“,那么一圈之后平方根的号符可能翻转,这正是 的物理含义。
-
交换与旋量 在 ,两粒子交换在无序对配置空间中同伦于相对坐标的 旋转;其在旋转群上的提升对应 的非平凡类(由 旋转代表)。旋量场在 旋转下取负,将该非平凡类经散射映射送入 上的回路,其绕数奇偶与旋量负号一致,正由 给出。
-
谱流与束缚态 当外参绕行导致一个束缚态穿越本征相位参考点时,整数谱流改变 1,从而 翻转。与此等价地,若回路横截了“产生或湮灭上半平面 Jost 零点“的鉴别子一次, 也翻转。
-
自指闭环的固定点交换 在以输运或散射自洽方程建模的情形,系统边界条件和响应通过 Möbius 自映形成闭环。双曲型参数区存在两条边界不动点支,横越判别式面一次这两支交换一次。该交换奇偶与 等价。
因此,不论是从配置空间拓扑、旋量双覆盖、散射解析结构还是自洽动力学观察,出现的都是同一个 holonomy。该指标具有观测可达性:可由干涉测量提取 的相位连续化,或由相位谱流与束缚态计数获得。
黑盒提示:本文记号““一律指 的平方根覆盖(即主 -丛的 holonomy),不指矩阵意义上的平方根。详见 §2。
记号总提示 本文两处 的用法不同。§3 中 为 Riccati 变量。§7 中 为边界参数并取值扩展实轴。二者在各自段落内使用且互不混淆。下文若提及“自指闭环 “,一律指 §7 的边界参数。
0.2 参数空间、鉴别子与一般位置
令 为分片可微流形,记去鉴别子空间 。我们以一般位置/横截作为默认正则性:
假设 D(横截-余维一正则性)
存在有限集合 使
(i) 每个 为余维一的分片 闭子流形;
(ii) 对应如下事件之一的参数超曲面:**(a)Jost 上半平面零点的生成/湮灭;(b)零能阈值异常;(c)嵌入本征值;(d)**通道开闭;
(iii) 若在具体模型族中某事件集合先验并非余维一,则允许对势或外参作任意小的 -扰动使之处于一般位置而满足 (i)。
注:我们在每个连通的能-参域上工作,并默认 的每个连通分支内可作相位的连续支选择(见假设 A)。
在 上散射数据关于参数连续或解析。基于 Alexander 对偶与 Mayer–Vietoris,可在 上定义由 诱导的模 2 链接类
其在几何上由绕行任意小的法向环(链接 一次)取值为 给出。该类在 (i)–(iii) 的一般位置假设下是良定的。
0.2a 避障闭路与取向约定
令 为 §0.2 所述的鉴别子并满足一般位置。对任意闭路 ,若 ,在每个横截点处取半径 的小半圆向法向正向规避,得 。本文一律以**数学正向(逆时针)**为取向约定,并定义
反向取向仅改变整数号符,不改其奇偶。规避方式的不同可能改变整数 的号符,但不影响 的取值;相应的模 交数 对规避方式也不敏感(§5)。
所有模 2 结论(、 等)对规避方式与闭路取向不敏感;仅整数绕数的号符受其影响。
0.2b 的存在性与自然性(形式化)
命题 0.2bis( 的存在性与自然性)
设 为第二可数的分片 流形, 为余维一分片 闭子流形并满足一般位置假设。令 。则存在唯一的类
使得任意充分小的法向正向小环 链接 一次时 。以下记号约定:对闭路 ,其规避版本记为 ,并定义
规避独立性的具体陈述与交数计数见 §5。
命题 0.2ter(分层横截与链接类的良定性) 设 为第二可数的分片 定向流形。令 为闭的、可驯化的余维一分层子流形。取 。则存在唯一 ,其与任意足够小的法向正向小环的配对为 。若 是 的紧致管状邻域,则对任意闭路的规避版本 ,当 时有
该类对把 通过任意小的 扰动调至分层横截的操作不变。
证明:取 的紧致管状邻域 。其边界 为 的闭嵌入子流形。将 视为 中的同调类(),并定义 ,其中 为 Poincaré 对偶。此定义独立于 的选取。对任意足够小的法向小环 , 与 的横截交数模 2 为 1,故配对 。唯一性来自对偶性的泛性质。对规避闭路 与 ,它们仅在每个横截点附近沿 的一条小弧有所不同,这些差异并成若干个边界为法向小环的 2‑链。模 2 对偶配对不变,故 与规避选择无关。对每个光滑层 可取管状邻域并用有限覆盖和分割统一粘合。可驯化性保证粘合的良定。对任意小的 扰动 , 作小同伦, 的同调类保持不变,故 与 保持不变。
0.3 联络、绕数与““的含义
设
当 (迹类)时 ;一般情形取修正 Fredholm 行列式给出的 (见 §0.4/§4)。对任意闭路 (若 按 §0.2a 取规避闭路 ),定义
取向采用数学上正向(逆时针);反向仅翻号,不改奇偶。
本文在整数层级仅使用 的迹类结论(见 §4);在模 2 层级比较 、束缚态奇偶与交数(见 §5)。““一律指 的平方根覆盖所对应的主 -丛 holonomy。
全篇唯一约定(重要):记号““一律指 的平方根覆盖(即主 -丛 的 holonomy),不指矩阵意义的平方根。文中” 的分支号符“等短语悉依此约定,均是指映射层平方根覆盖的号符分支,而非对 求矩阵平方根。参见 §2(覆盖—提升判据)与 §9(D/DIII 指标)。
定义 0.3bis(绕数的辐角版本与积分等价) 设 沿闭路 连续。取任一连续辐角选择 ,定义
若进一步 沿 为分段 或 ,则
其中 按 Lebesgue–Stieltjes 解释。两种定义等价。
警示(谱回路与参回路的比较范围) 本文任何整数层级等式仅针对外参数闭路 。谱参数回路 仅用于 的解析结构整数记账。两者只在 层级比较。主定理 1.1 中的等价链路一律理解为针对 的陈述。
0.4 短程与谱假设
势 属短程类:在 (以及某些 的附加条件下)可保证 为迹类;而在更一般的 情形通常仅能得到 属合适的 Schatten 类,因而需使用修正 Fredholm 行列式 及其连续化来定义谱位移。下文为简洁起见以““统记。其余假设保持不变: 沿闭路 分段 ,且 回避阈值与嵌入本征值;若无法完全回避阈值,则用模 2 交数描述。单通道时 ;多通道/分波时以 作为整体相位指数。
假设 A(Schatten‑连续性与阈值规避的一致化选择)
我们只使用 的连续化支来定义整体相位指数;不要求 。
令 为闭路。存在 与 ,使得:
(A1) 对每点 ,,且 在 上为连续的 ‑值映射;
(A2) 与鉴别子 至多作有限个横截交;按 §5 的规避约定取 ()并固定;
(A3″) 在绝对连续谱上 幺正且 (),存在正则化谱位移 的一条沿 的连续化支,据此定义
我们不要求 本身落在单位圆上。
(A4″) 以(A3″)选定的 定义
上述 读数对规避方式不敏感。
(A3‴)(正则性与积分解释) 在 上可取谱位移的连续化支 ,并满足沿 为分段 或有界变差。由此
按 Lebesgue–Stieltjes 定义,且等于 的总变差除以 的相反数。特别地 。
引理 0.A( 的连续化与模 稳定性)
在 (A1)–(A2) 与 (A3″) 下,沿规避闭路 存在正则化谱位移 的局部连续化选择,且任意两条连续化选择之差为整数常数。因而
与选择无关;反向取向仅使积分变号,但奇偶不变。
证明:在 的每个紧小弧 上,由假设 A 的 ‑连续性与幺正性, 给出修正 Fredholm 行列式 的局部连续对数分支,从而得到 的局部连续支。两条局部分支在 上相差整数常数。用有限覆盖拼接得全局分段 或 BV 的连续化支。对闭路的积分取 Lebesgue–Stieltjes 意义,常数差消失,故指数不依赖分支。逆向取向将积分取负,指数取共轭,值仍在 。
0.5 Birman–Kreĭn 与谱位移
在绝对连续谱能段
当 同时改变能量与外参时, 取自(修正)Fredholm 行列式的连续化分支;反向取向使 ,不改其奇偶。
0.6 维度—衰减—行列式与正则化(最小对照表)
| 维度 | 典型短程假设 | 行列式与 | 备注 |
|---|---|---|---|
| 经典 有效 | 阈值异常可控 | ||
| 需 或分波截断 | AB 通量可单列 | ||
| 等 | 常需修正 与连续化 | 参见 Yafaev、Pushnitski 等 |
1 主结果(四条等价链路)
横截局部模型(加强版) 设闭路 与鉴别子 横截。对每个横截点存在参数 的局部坐标与本征相位基,使某一通道相位 满足 且在 邻域跨越 (模 ),其余通道相位连续。在 邻域除该单一通道外,其余本征相位在参考相位 处保持开隙(不切触)。该“单通道跨 “规范与 的横截性等价,且用于 §4 的模 谱流与 §5 的交数记账。
引理 1.0ter(Kato‑选择 + 单通道化横截)
在 §0.2 的横截‑余维一正则性与 §0.2a 的规避约定下,若参考相位 或 处开隙,且某时刻仅有一条本征相位与参考相位作一阶横截,则存在一组沿参数的连续本征向量与本征相位选择,使该通道在横截点邻域满足 并跨越 (模 ),其余通道相位在 连续。
证明:令 为 上的幺正连续族。参考相位 或 处开隙意味着在 的邻域,谱在该点除一条支外与参考点保持正距。由 Riesz 投影与 Kato 选择定理,可在邻域内为每条孤立本征值选取连续的谱投影与本征向量。横截性给出唯一支在 处满足 。其余支与参考相位的距离在 保持正,故连续不中断。
引理 1.0bis(横截 ⇒ 单通道跨 的规范化)
在 §0.2 的横截-余维一正则性与 §0.2a 的规避约定下,设闭路参数化为 ,并在横截点 的邻域作本征相位的可分离规范。则存在某一通道相位 使得
而其余通道相位在 连续。因此相对于任意参考相位 或 ,该横截点对 的贡献为 ;其奇偶不依赖参考相位与规避方式。
证明:由引理 1.0ter 得连续相位选择。横截意味着相位函数在参考角的零点是单根,即导数非零。故在 左右符号相反,穿越一次。其余支不接触参考角。谱流定义按穿越方向计 ,改变取向只改变号符。故奇偶不变。
主定理 1.1(统一等价;整数=迹类,模 2=一般 Schatten)
在 §0 的短程与正则性设定下,假设以下两条成立:
假设 A(Schatten‑连续性与谱位移连续化):存在 与连续化的正则化谱位移 ,使 沿闭路 连续(按 §0.2a 规避为 ),并定义 。文献:Yafaev《Mathematical Scattering Theory》§8–§9;Pushnitski, J. Math. Phys. 47 (2006) 062101 及 Behrndt–Hassi–de Snoo《Boundary Value Problems》§10。
假设 D(横截‑余维一正则性):鉴别子 为余维一的分片 闭子流形,对应 Jost 零点生成/湮灭、阈值异常、嵌入本征值或通道开闭事件(§0.2)。
则对任意参数闭路 (若 ,按 §0.2a 取规避闭路 ),有
记号““指 的映射层平方根覆盖(主 -丛 的 holonomy 指数),不指矩阵平方根。
-
整数层级(迹类版):若 沿 连续,则 且
-
模 2 层级(一般 Schatten 版):在假设 A()下,仅主张
重要约定:上述所有等价关系仅针对参数空间闭路 。本文在整数层级从不比较谱参数回路 ‑平面(用于 Jost 零点计数)与参数闭路 ;两者仅在模 2 层级通过交数判据 桥接(见 §0.3 警示与 §3 注)。
证明:第一等号 由定义。第二等号 :在迹类情形 由 Birman–Kreĭn 公式 得 ,而单位圆上的谱流 等于 的角度净变化(Kato–Phillips 谱流公式的幺正版本),故 。在一般 Schatten 情形,由引理 0.A 取 的连续化支,定义 ,则 。由横截局部模型,闭路上的穿越仅为有限个一阶穿越,每次穿越使 跳变 ,因而指数每次翻转一次,等于 。第三等号 : 正是单位圆谱流穿越参考角的计数模 2,与 等价。第四等号 :由命题 5.0bis 与定理 5.1, 等于横截点数模 2。每个横截点等价于一条相位跨 的事件,故与 的奇偶一致。合并得结论。
注:整数层级不比较谱回路与参回路;仅在模 2 层级以交数作桥接。
定义(束缚态奇偶)
令 的规避为 。沿 连续追踪本征相位:每当存在一支相位 在参考相位 或 处横截(见“横截局部模型(加强版)“),计 或 (方向决定符号)。定义 为总计数,。
术语说明:此处“束缚态奇偶“指的是单位圆上本征相位对参考相位 或 的横截事件的奇偶(亦即相位谱流的穿越计数模 2),并不等价于哈密顿量在能量轴上的束缚能级穿越;选择 或 在 层级等价。该术语仅为沿用散射理论传统,本质是幺正矩阵谱流的 指标。
定义(模 2 交/链接数) 。
取向与规避:闭路取向反转仅改变整数号符,不改奇偶;当 与 横截时,按 §5 的规避约定取 ,本文所有模 2 结论对规避方式不敏感。
注(谱回路 vs 参回路) 见 §3 注。
引理 1(BK→谱流;分层版)
在第 0 节短程与正则性假设下,沿闭路 (按 §0.2a 规避为 ):
(a) 迹类整数版():
(b) Schatten‑连续性模 2 版():
反向取向仅改变积分号符,不影响 (b) 的奇偶结论。
证明:(a) 在 且连续的条件下,Birman–Kreĭn 公式给出 。沿规避闭路 取 的连续化支。有 。另一方面,单位圆上的谱流 等于 的角度净变化(Kato–Phillips 谱流公式的幺正版本)。于是 。(b) 由引理 0.A 取 的连续化支。定义 ,则 。由横截局部模型,闭路上的穿越仅为有限个一阶穿越,每次穿越使 跳变 ,因而指数每次翻转一次,等于 。
引理 2(交数到束缚态奇偶) 在 §5 的模 2 交数定义下,取 的分片 2‑链 与 横截时,每个交点对应相位的一阶分岔与谱流 ,故
证明:按横截局部模型,每个 与 的横截点触发唯一通道的相位跨 一次,致谱流奇偶翻转一次。由命题 5.0bis,横截点数模 2 即 。结合定理 4.2 的指数表示,得结论。
2 覆盖—提升与平直线丛
2.1 覆盖—提升与主 -丛
由于 是 ,有 。平方覆盖 在基本群与一上同调上对应乘二。对任意闭路
定义 2.1bis(覆盖的单值提升与所谓 holonomy) 主 ‑丛 的“holonomy“指的是覆盖的单值提升沿闭路的单值性。即取 为 在 上的提升,若起点片标记为 ,则终点标记为 。记此号符为 。则
这里未在 ‑丛上引入微分几何的联络形式,等式完全是拓扑的。
术语约定:本文“holonomy“专指 主丛的单值提升号符,取值 ;“holonomy 指数“指写成指数形式的路径函数 。两者通过 等价。
定理 A(覆盖—提升判据) 存在连续 使 当且仅当 。对应主 -丛 的 holonomy 等于 (此处““指 的平方根覆盖)。
推论:,即为 对闭路类 的奇偶配对。
证明: 是 。同伦类 。平方映射 在基本群上是乘二,因此在 上也是乘二。提升存在当且仅当 落在乘二的像。holonomy 等式由 与 直接得到。
引理 2.A(holonomy 的规避独立性,模 )
若 与 仅作有限个横截交,按 §0.2a 得到任意两条规避闭路 ,则
因而 在 层级与规避选择无关。
证明:两条规避仅在每个横截点附近相差一条法向小半圆。它们在 中同伦于彼此加上若干个以法向小环为边界的 2‑链。对 ‑丛的 holonomy 来说,沿法向小环的提升号符为 一次,取模 2 后叠加抵消。于是 holonomy 在 中不变。
补充:若 ,按 §0.2a 取规避闭路 ,并以 定义 ;该值在 层级对规避选择不变(见 §0.2a 与 §5 约定)。
2.2 平直线丛、Bockstein 与两类提升问题
两类提升与障碍(映射层 vs 线丛层)
(A)映射层(函数的平方根):给定 ,平方覆盖 的提升 使 存在,当且仅当 (因 且 )。由此得到的主 -丛 的 holonomy 正是本文的 。
(B)线丛层(丛的平方根):对任意复线丛 ,存在 使 的充要条件是 ,其中 由指数层序列 的连接同态给出。
警示:两类问题针对不同对象,两者不互推。本文的 与 (A) 等价,而非与任意给定复线丛的 偶性等价。仅当特指由 经包含 关联得到的特定平直线丛 时,其 为 -挠,与 的 holonomy 数据在挠/模 层面相容,但该 与 并非同度量的等价物。本文一律以 (A) 的提升障碍与 的 holonomy 作为 的定义依据。
读者提示(层级区分):本文的平方根问题分属两层级:
-
映射层: 的提升障碍在 (判据:)。
-
线丛层:复线丛 的平方根障碍在 (判据:)。
两者不互推;仅当专指由 关联得到的平直线丛时,其 的 2‑挠与 的 holonomy 在挠/模2层面相容。
提示(层级区分):本文只讨论映射层平方根问题 与其主 ‑丛 holonomy;一般复线丛的平方根 属不同层级,二者不互相推出。仅当专指由 关联得到的平直线丛 时,其 为 ‑挠并与 的挠/模 数据相容。
补充(de Rham 视角) 平直线丛的第一陈类为挠元。其 de Rham 代表为零形式。因此本文 的信息完全存于挠与 层级,而不反映在曲率形式上。
3 Riccati 变量、Weyl–Titchmarsh 与 Jost 结构
注(谱回路 vs 参回路)
本节的回路 位于 -平面,用于分析 的解析结构,给出 的谱参数计数;而主文中的 是 -空间中的外参闭路。我们在整数层级从不比较 与 ;仅在 §4–§5 的桥接下,把两者作模 投影的比较,用于判定 。
说明:本节仅限单通道或球对称分波情形;多通道一般情形下 为矩阵, 为多分量 Jost 解,表达式需修正为 。
令 ,则
符号提示:本节 为 Riccati 变量;“自指闭环“中的 为边界参数的实轴取值,二者不相混。
Weyl–Titchmarsh -函数与抽象 Weyl 函数 属 Herglotz 或 Nevanlinna 类。在一维可解模型中,选取 Jost 函数 使
若 为 -平面仅围住上半平面零点 (计重数 )的小正向回路,则
于是 。若同时围住 ,两项抵消且绕数为零。
注(谱回路 vs 参回路) 见本节开头总注。
4 Birman–Kreĭn、谱位移与模 2 Levinson
(本节主要引用 [9] 的整数值 Birman–Kreĭn 公式与 [10] 的边界三元组理论。)
定义 4.0(本征相位的谱流,单位圆版本)
对闭路 (若 ,按 §0.2a 取规避闭路 ),定义本征相位的谱流 为:沿 连续追踪本征相位 ,每当其横截参考相位(如 或 )时计数 (穿越方向决定符号),总计数为 。在迹类假设下, 与绕数 一致;在一般 Schatten 情形,仅其奇偶 为不变量。
定义 4.0+(单位圆的模 2 谱流)
给定沿规避闭路 的连续幺正族 。若仅在有限多个参数点,有本征相位 一阶横截参考相位 或 (即穿越瞬间 ),其余时刻谱在 处保持开隙,则定义
该定义与参考选择 等价,并与 及 一致。
引理 4.0+(可用域与一致性)
在假设 A 与假设 D(横截‑余维一正则性)下,“横截局部模型(加强版)“保证上述横截穿越仅以有限个、且均为一阶横截方式出现;于是 良定,并与
逐一一致(见定理 4.2 与定理 5.1)。
证明:横截性使穿越在有限个点发生且皆为一阶。对参考相位 与 的选择,穿越事件一一对应(旋转单位圆 不改变穿越奇偶)。指数等式来自引理 0.A 与引理 1(b)。交数等式由定理 5.1。
引理 4.0bis(BK 连续化与模 稳定性)
在假设 A(A1–A4″)下,存在沿 的连续化谱位移 使 ,并且:
(i) 反向取向使 ,从而 不变;
(ii) 若 与 有限个横截交,在每个交点按 §0.2a 的规则取小半圆规避得到的任意两条 满足
因而 与 对规避选择不敏感。
证明:存在性与取向行为已在引理 0.A 处理。对规避独立性:两条规避的差是若干小半圆的并,其边界为若干法向小环。每个小环上 ,指数为 1。故两条规避的指数相同。
定理 4.U(–绕数–谱位移的统一陈述)
在假设 A 的 (A1)–(A4″) 下,存在连续化的谱位移 使 。沿规避闭路 :
-
(i) 迹类整数版(若 且连续):
-
(ii) 一般 Schatten 的模 2 版():
反向取向使积分变号,但奇偶不变;当 不可完全回避 时,整数号符依赖规避方向,而模2结果与 §5 的 保持一致。
证明:迹类情形直接套用 Birman–Kreĭn 与单位圆谱流公式。一般 Schatten 情形用引理 0.A 与横截局部模型,将角度变化的贡献分解为有限个一阶穿越,每次贡献 ,从而指数等式成立。
定理 4.1(Birman–Kreĭn,迹类)
在绝对连续谱能段且 时,,并沿任意闭路 (若与 相交则取 )有
证明:由 BK 公式 和 ,得到 。单位圆谱流与角度总变差的整数关系见 Kato 的谱流理论或 Phillips 的幺正版本,故 。
定理 4.2(模 2 Levinson,一般 Schatten)
在假设 A 与假设 D 下,
当 不可完全回避 时,整数 的符号依赖规避方向,但上式之模 2 等式与交数 对规避不变。
证明:由引理 4.0bis 与横截局部模型, 的净变化等于若干个 的和。指数正是穿越次数的奇偶。谱流奇偶与穿越奇偶一致,从而与 一致。再由 §5 的交数判据得到与 的一致。
5 鉴别子与模 2 交数
令
一般位置下 为余维一的分片光滑子流形。
命题 5.0(规避与取向的 不变性,总纲)
在假设 A 与假设 D 下,设闭路 与鉴别子 有有限个横截交点。则:
(i) 规避选择只影响整数绕数 的号符,不影响其奇偶;
(ii) 闭路取向反转只改变 的号符,不改其奇偶;
(iii) 因此,一切 结论(、、)对规避选择与取向反转不敏感。
证明:由引理 0.A、引理 4.0bis 与命题 5.0ter。
约定(避障与规避独立性,模 2)
若闭路 与 有有限个横截交点,在每个交点处取半径 的小半圆规避,得 。则
在** 层级与规避选择无关**。具体地,任意两条由不同微小规避方式得到的 满足
且
命题 5.0ter(规避独立性,统一版)
设 满足一般位置假设, 为闭路。任取两条按 §0.2a 规则得到的规避闭路 ,有
因而 与 在 层级对规避选择不敏感;非横截场景下取任意小 扰动至分层横截,结论依旧成立。
证明:任意两种规避仅在每个横截点附近相差一条小半圆,其并合为若干个以法向小环为边界的 2‑链;配对 的结果在 中相同。由引理 0.A, 对此替换亦不变。若 含角点/自交/切触等非正则点,取任意小的 扰动将 调至分层横截情形;由模 2 同伦不变性与 的自然性, 与 在 层级保持不变。
命题 5.0bis(Alexander 对偶与横截代表,统一表述) 令 为由闭的可驯化余维一分层子流形 诱导的链接类。取 的紧致管状邻域 。对任意规避闭路 ,当 时,
二维特例 若 且 ,则 。两种表达式对小的 变形与分层横截稳定。
证明:由 ,有 。二维时 为横跨 的双侧曲线,交于 的横截点一一对应,导出第二式。
横截局部模型假设(单通道化跨 )
对每个横截点 ,存在局部坐标 与本征相位基,使某一通道的相位 满足 且 在 邻域跨越 (模 ),其余通道相位连续。该非退化性等价于鉴别子在 的横截性。
定义(模 2 链接数,闭路通用版)
在假设 D 下,令 为由 诱导的链接类。对任意闭路 ,取其规避版本 ,定义
若取 的紧致管状邻域 并使规避闭路 ,则
当 且 时,该值亦等于 。
定理 5.1(交数判据,模 2)
在假设 A 与横截局部模型假设下,
当 时,。每个交点触发一条本征相位跨 ,致 在该点跳变 ;取奇偶即得上式。
证明:按横截局部模型,每个 与 的横截点触发唯一通道的相位跨 一次,致谱流奇偶翻转一次。由命题 5.0bis,横截点数模 2 即 。结合定理 4.2 的指数表示,得结论。
6 可解模型:-势与两类参数环路
提醒(谱回路 vs 参回路)
下文在 ‑平面用小回路 记账 仅用于解析结构(Jost 零点)之整数计数;它不是参数空间闭路 的绕数。二者只在 层级(经 §4–§5 的桥接)可比;涉及 时务必在参数空间内工作。
对 (),其全线散射矩阵为 。偶宇称通道的标量化相位因子
满足 。取标准 Jost 规范( 在 的渐近归一化)
当 时, 在上半平面零点 给出唯一束缚态,束缚能 。奇宇称通道对 -势透明,其相移为零,故完整 散射矩阵的行列式等于该标量 。
复参数小环(仅演示整数绕数,不进入 ) 取 ( 小),
随 递增,。该例保持在 内,仅用于展示整数绕数。
取向诊断: 的像为以 为圆心、半径 的大圆;当 递增时 顺时针旋转,故绕 的绕数为 (半径足够大时 被包围)。该取向与本文“数学正向=逆时针“的约定一致。反向取向仅翻号,不改奇偶。
实参数折返环(‑势,模 2 读数)
在 ‑平面取小矩形
并选 使 。对 ‑势有
按 §5 的规避规则在 与 处作小半圆推开。则 与 以横截方式出现三次,故
本构型仅用于模 2 读数。即 的结论只从 与横截局部模型得到。我们不沿此闭路定义或计算 。 若需要在仅包含 的域内通过指数积分读数,可改用“复参数小环“示例,或采用 §7 的自指 Möbius 闭环,或采用 §11 的 AB‑型实参数闭路。
注(两类环路的角色与取向)
复参数小环(如 )仅用于展示整数绕数且保持在 内,不进入 ;实参数折返环用于可检验构型的**** 读数,其与 的横截以 §5 的规避规则处理。规避方向仅影响整数号符,不改模 结论;本文取向约定为“数学正向=逆时针“。
对照:复参数小环 vs 实折返路径
复小环(不入 ):,,。
实折返(横越 奇数次的封闭路径):
此时 ,横截发生在 ()及 (),合计 3 次,故 ,。
两者在模 2 层级一致,体现“谱回路整数计数 → 参回路交数“的降格。
7 非线性 Herglotz–Möbius 本征值问题
相位偏置的平面 Josephson 结中已观测到与拓扑相变一致的 π 相位跃迁 特征,且与本文“固定点交换→相位跨 π“的图景相符 [Phys. Rev. Lett. 126, 036802 (2021)]。
读者地图(§7 结构导览)
本节研究自洽方程 ,其中 为 中的 Möbius 变换, 为边界参数。核心几何对象:
- :边界不动点,满足 ,存在于双曲区 ;
- :判别式, 为双曲型(两不动点), 为抛物型(判别式面), 为椭圆型(无边界不动点);
- 交换事件:沿参数闭路 ,当横截 一次时,两条边界不动点支 互换,导致相位差跨 ,从而 翻转。
定理 7.0* 把交换奇偶与 严格等价;命题 7.1–7.3 给出不动点追踪与横截判据。
设定
符号提示:本节 为边界参数的实轴取值(自指闭环 ),与 §3 的 Riccati 变量 不相混。
自洽方程
其中 关于 为 Herglotz–Möbius(即 Nevanlinna–Möbius)家族。典型点相互作用或 Schur 补模型给出
约定: 专指 Möbius 系数; 专指参数闭路。
假设 B(非线性 Herglotz–Möbius 闭环的一致正则性)
(B1) 为 Herglotz(Nevanlinna)家族,且对 在实轴上保序;
(B2) 的参数 在回路 的投影上 连续;
(B3) 双曲区域 在 的像的邻域非空且连通,且 仅以横截方式穿越 。
定理 7.0(交换 ⇒ 跨 的充分条件)*
在假设 B 下,设沿闭路参数化 。令
在 横截零(),并记 为双曲区的两条边界不动点支。若 关于 为 Herglotz 单调,且 ,则
从而存在同一连续相位支 使
在 跨越 (模 ),并对 贡献 (奇偶固定),其奇偶与 同步。
命题 7.0bis(跨 的微分判据;显式版)
在假设 B 下,设 使 在 为横截零,记双曲区两条边界不动点支为 。若 关于 为 Herglotz 单调,且 ,则存在相位连续支 使
证明:链式法则给 。由引理 7.A, 同号且非零。横截性给出 。于是导数不为零。将 的单值支换回本征相位支 得结论。Herglotz 单调性给出 的定号;横截性 与 排除切触,使相位差导数在 不为零,故在 跨过 (模 ),并对 贡献 (奇偶固定)。
引理 7.A(Herglotz 单调 ⇒ 相位单调)
在边界三元组框架下,设 位于绝对连续谱上,,并令散射整体相位 由 定义。若 关于 为 Herglotz(Nevanlinna)单调且 的闭环满足 §7 的正则性,则在保持 的同时沿着 的单调变动,有
证明:边界三元组的散射公式给出 ,其中 为耦合算子,,。对 求导并用 得 。在边界不动点支上 与 同号且非零。由于 与 ,Schur 补与正定性给出 的符号由 决定。故 定号。与 §7 的“横截局部模型“结合可得“交换 ⇒ 跨 “。
引理 7.0ter( 的定号封装)
在“假设 B“与“边界三元组/Weyl 函数 为 Herglotz(Nevanlinna)并对 保序“的条件下, 在边界分支上一致取定号;故当 在 处横截零且 时, 在 必跨越 (模 ),从而对 贡献 (奇偶固定)。
引理 7.B( 的符号公式) 在边界三元组框架下,取绝对连续谱内的能量 。设 为 Nevanlinna 类并对 保序。则存在正半定算子核 ,使得沿边界分支
因此若 且边界不动点指数非抛物,即 ,则 同号且非零。结合 的横截性可知
在交换点必跨越 (模 ),并对 贡献 。
证明:由边界三元组散射公式将 换元至 ,并利用 。配合 的 Woodbury 恒等式,得 。取虚部得到所需形式,其中 。因 ,右端非负或非正,符号由边界取值与分支确定。由引理 7.A, 在两条边界支上同号且非零。于是当 与 交换时, 的导数在 不为零。连续性与值域为圆上角度差迫使其在 跨过 (模 )。横截模型保证只发生一次一阶跨越,从而对谱流贡献 。
定义(Möbius 系数与判别式)
类型分类 (双曲型)存在两边界不动点 ;(抛物型)两不动点并合,构成判别式零集;(椭圆型)仅有一内点不动点。
导数与指数 若 为不动点,则
在边界不动点上以非切触假设定义;若 则属抛物退化。
命题 7.1(固定点的边界连续追踪) 在双曲区存在两条连续的边界不动点支 ,其稳定性由 决定。
证明: 在边界上的不动点满足二次方程 ,判别式即 。 给出两根 。 决定双曲稳定性与边界归类。
命题 7.2(横截判据) 沿闭路若 横截零水平一次且横截性成立,则两支 发生一次交换。
证明:由连续根公式与 ,两根在该点交叉并互换。
命题 7.3(交换奇偶等于 )
在假设 B 与“横截局部模型假设“下,若沿闭路 的投影 横截零水平的次数为奇数,则两条边界不动点支 发生奇数次交换,且存在同一连续相位支使
在每个横截点跨越 (模 )。因此
证明:每一次交换由定理 7.0* 触发一次相位跨 ,故使 翻转一次。故奇偶一致。由 的 Herglotz 单调性与 的横截性,局部可单通道化并得到“跨 “;奇偶相乘即得结论。
8 同伦配对:交换、 旋转与散射相位(两体,)
本节严格涵盖两体、 的情形。
命题 8.1(配置空间基本群) 令 为无序配置空间,则 时 。
命题 8.2(交换到旋转) 两粒子交换 对应于相对坐标的环路 ,由 旋转代表非平凡类。
下述 的构造限制在短程中心势的两体散射对上;其边界同伦由无穷远球面上的旋转扭转诱导,并与单通道散射相移的半相位选择相容(见附录 G)。
构造 8.3(散射配对公式) 由无穷远边界扭转得映射 。令 。记 ,则对闭路 (若 ,按 §5 取避障闭路 )
特别地,对 的非平凡类( 旋转),有 。
两体中心势下,交换路径在配置空间中同伦于相对坐标的 旋转;其在旋转群 上的提升对应由 旋转代表的非平凡同伦类。由上述构造并配对闭路,得到
本节严格涵盖两体情形。 的推广涉及辫群表示与散射通道选择,不在本文范围。
9 拓扑超导端点散射:Class D 与 Class DIII
模型前提:工作在零能反射矩阵 ;Class D 具 PHS 而无 TRS, 可选实;Class DIII 具 PHS 与 的 TRS,使 在合适基下为反对称。于是 (D)与 (DIII)分别等价于 的分支号符。
在费米能处,端点反射矩阵 的符号指标 与 分别对应 Class D 与 Class DIII 的拓扑不变量。
零能正则化约定
若 不可直接取值,则一律以 的右极限定义
该取向选择在整数层级可能改变号符,但在 层级不影响判据,与 §5 的规避独立性一致。
警示(规范方向):DIII 类中,必须限制端口规范为 。若允许 ,则 致号符翻转;本文指标在 规范下不变。
Class D(仅 PHS) 费米能处 ,定义
端口正交规范 ()保持 与谱对称。该 指标等价于 的分支号符。
Class DIII(PHS 与 TRS,) 可择 Majorana 基使 为实反对称矩阵,通道数 必为偶数,且
对 ,有 ,故 规范不变,并与 的分支号符等价。
注(规范方向) DIII 类中 的号符在 端口规范下不变;若允许 ,则 ,号符随 翻转,故规范必须限制为 。
上述实反对称范式系在 Kramers 基与 端口规范化下取得;能隙闭合事件属于 §0.2 定义的鉴别子 ,其每一次横截触发 的号符翻转,等价于 沿 的 holonomy 为 (亦即 )。
引理(低能范式与号符翻转)
Class D:在 Majorana 基下 。单一穿越事件存在角度本征相位 在 邻域跨越 (模 ),其余相位连续;故 ,即 翻转。
Class DIII:在 Kramers 配对与实反对称范式下,存在 反对称块号符穿越, 号符改变而 仅变平方。
结论:两类中号符翻转 有一相位跨 (模 ),与 §5 的 记账同步,等价于 沿 的 holonomy 为 (亦即 )。
证明:Class D:。本征相位谱对称于 与 。单通道跨 将 乘以 。Class DIII:在 Kramers 配对基下 为实反对称,分解为 块 。穿越对应某块的 号符改变。Pfaffian 是各块参数的乘积,故翻转一次;行列式为平方,保持非负,仅改变平方值。
10 多通道与分波:最小自洽陈述
若 为迹类且 连续,则存在连续相位 ,且
球对称势下 ,各分波的奇偶在模 2 下相乘;通道开闭事件纳入 并由 稳定记录。
11 二维任意子与 投影
一致化承诺(AB‑型二维散射)
本文固定采用修正 Fredholm 行列式 ,并沿闭路取同一连续化支 。分波表示下,围绕半整数 的对称截断
满足 配对抵消之模 稳定性:,故 随 稳定到 的 读数。在模 2 层级,本文固定 与对称分波截断,并保证两者的奇偶一致。
小回路例示(配对相消):取 沿小圆周 跑一圈。对任意 ,分波相移 与 绕数互为相反数,故 ,模 2 相消。穿越 ()时,,故 。本文不主张对一切正则化方案之普遍独立性,所用结论限于上述承诺与对称截断。
Aharonov–Bohm 散射以通量 给出统计角 。固定能量,沿闭路 并穿越 ()时,由分波相位的跳变可知
一般 超出本文的 框架,本文只捕获其模 2 投影。
定义 11.1(分波截断的 指标,半整数中心) 记
引理 11.2( 配对抵消) 对 AB‑型任意子散射,。因此
证明:AB 散射的分波相移满足 ,源于 Bessel 与 Hankel 基函数在指标反射 下的伴随关系以及复共轭对称性。于是 。两者的绕数互为相反数。取模 2 后相加为零。
注 11.0bis( 的连续化与对称截断的一致化)
沿闭路统一选择 的连续化分支,使 与围绕 的对称分波有限乘积在模 2 层级配对一致;该工艺化选择不影响 的读数。
命题 11.3(模 2 稳定性,配对‑同支‑极限)
在 AB‑型散射中,取围绕半整数 的对称截断
则 。
证明:(1)(配对)由 的对称性,,故 。(2)(同支) 的连续化支沿同一规避闭路统一选定,使 与对称截断的有限乘积在模2层级一致。(3)(极限)随 仅新增一对 ,其模2绕数相消,故 稳定到 。当 时,新增一对 。由引理 11.2,该对的两项绕数互为相反数,模 2 抵消。对 的同支连续化保证有限乘积在模 2 层级与 的指数一致。于是 稳定并等于 。
本文仅在模 2 层级主张 与 (或对称分波截断 的极限)的一致读数;所有正则化依赖性在奇偶投影下抵消(命题 11.3),但不声明更强的正则化独立性。
12 结论与展望
以 的 holonomy 为核心,构建了“平方根—双覆盖— 指标“的统一框架,将交换统计、旋量双覆盖与散射谱结构整合为同一可计算不变量 。该不变量可由主 -丛 holonomy、Birman–Kreĭn 与谱流、鉴别子模 2 交数及自指闭环的双曲型分支交换四条链路读取,并在拓扑超导端点散射中与 、 等价。多体系统、二维非阿贝尔任意子、阈值强耦合与非厄米散射的平方根拓扑构成自然的延展方向。
参考文献
- M. G. G. Laidlaw, C. DeWitt‑Morette, Feynman Functional Integrals for Systems of Indistinguishable Particles, Phys. Rev. D 3 (1971) 1375–1378.
- J. M. Leinaas, J. Myrheim, On the Theory of Identical Particles, Il Nuovo Cimento B 37 (1977) 1–23.
- H. B. Lawson, M.-L. Michelsohn, Spin Geometry, Princeton Univ. Press, 1989.
- A. Hatcher, Algebraic Topology, Cambridge Univ. Press, 2002.
- R. Bott, L. W. Tu, Differential Forms in Algebraic Topology, Springer, 1982.
- G. Teschl, Mathematical Methods in Quantum Mechanics, AMS, 2009/2014.
- F. Gesztesy, B. Simon, m‑Functions and Inverse Spectral Analysis, J. Anal. Math. 73 (1997) 267–297.
- S. Albeverio, F. Gesztesy, R. Høegh‑Krohn, H. Holden, Solvable Models in Quantum Mechanics, 2nd ed., AMS‑Chelsea, 2005.
- A. Pushnitski, An Integer‑Valued Version of the Birman–Kreĭn Formula, J. Math. Phys. 47 (2006) 062101.
- J. Behrndt, S. Hassi, H. de Snoo, Boundary Value Problems, Weyl Functions, and Differential Operators, Springer, 2020.
- I. C. Fulga, F. Hassler, A. R. Akhmerov, C. W. J. Beenakker, Scattering Formula for the Topological Quantum Number, Phys. Rev. B 83 (2011) 155429.
- A. R. Akhmerov, J. P. Dahlhaus, F. Hassler, M. W. Wimmer, C. W. J. Beenakker, Quantized Conductance at the Majorana Phase Transition, Phys. Rev. Lett. 106 (2011) 057001.
- M. C. Dartiailh, W. Mayer, J. Yuan, K. S. Wickramasinghe, A. Matos‑Abiague, I. Žutić, J. Shabani, Phase Signature of Topological Transition in Josephson Junctions, Phys. Rev. Lett. 126 (2021) 036802.
- T. Kanne et al., Epitaxial Pb on InAs Nanowires for Quantum Devices, Nat. Nanotechnol. 16 (2021) 776–781.
- Retraction Note: Quantized Majorana conductance, Nature 591 (2021) E30;H. Zhang et al., Quantized Majorana conductance, Nature 556 (2018) 74–79 (Retracted).
- M. T. Deng et al., Majorana Bound State in a Coupled Quantum-Dot Hybrid-Nanowire System, Science 354 (2016) 1557–1562.
- V. Mourik et al., Signatures of Majorana Fermions in Hybrid Superconductor-Semiconductor Nanowire Devices, Science 336 (2012) 1003–1007.
- S. M. Albrecht et al., Exponential Protection of Zero Modes in Majorana Islands, Nature 531 (2016) 206–209.
- R. Yu, W. Zhang, H.-J. Zhang, S.-C. Zhang, X. Dai, Z. Fang, Quantized Anomalous Hall Effect in Magnetic Topological Insulators, Science 329 (2010) 61–64.
- T. Friedrich, Dirac Operators in Riemannian Geometry, AMS, 2000.
- J. M. Lee, Introduction to Topological Manifolds, 2nd ed., Springer, 2011.
- M. Nakahara, Geometry, Topology and Physics, 2nd ed., CRC Press, 2003.
附录 A 覆盖—提升与平直线丛(证明)
A.1 覆盖—提升与 holonomy
,故 。平方覆盖 在 与 上对应乘二。存在 使 当且仅当 。对应主 -丛为 。对闭路
A.2 平直线丛的分类与 Bockstein
(一般复线丛) 复线丛(不要求平直)由 Čech/层上同调 分类。由指数层序列
诱导的连接同态给出同构
(平直复线丛) 带平直联络的复线丛由表示 分类,即
由系数短正合列 的 Bockstein
得到平直线丛的第一陈类,其像等于 的挠子群;因此平直线丛必满足 为挠元(对由 关联得到的平直线丛更是 2‑挠)。这与正文 §2.2 对 的描述相一致。
线丛平方根存在当且仅当 。这与 A.1 的映射层提升问题()针对不同对象,一般不相互推出。本文的 与映射层平方根障碍等价,其由主 -丛 的 holonomy 给出。
注意: 的 约化属于 ,而 A.1 的覆盖障碍 ,两者不处于同一上同调次数,不能直接等同。仅当专指由 经 关联得到的平直复线丛 时,其 的 2‑挠可在挠/模 2 层面反映 的 holonomy 数据(见 §2.2),但并不与 作同度量的等价。本稿不把二者等同。
附录 B Jost—辐角与绕数
设 , 在上半平面为亚纯函数。令 为 -平面仅围住上半平面零点集合 的小正向回路,零点重数为 。则
从而 。若 同时围住对称点 ,两项等重且抵消,故 。
注(谱回路 vs 参回路) 上式取的是 -平面的小正向回路 ,只围住上半平面零点 。其给出 的谱参数整数计数,用于分析 的解析结构。它不是外参数空间中的闭路 ,因此不定义 。 是 -平面中的回路, 是 -空间中的回路,二者维度与意义不同,仅在 层级上可比。当需比较 时,应先在参数空间内选取避开 的闭路 并应用 §4 的 与 §5 的 等价,只保留奇偶信息。
附录 C Birman–Kreĭn 与谱流
在短程与迹类假设下,存在连续谱位移 使 。本征相位关于参数的横截与避障给出
当闭路同时改变能量与外参时, 取修正 Fredholm 行列式的连续化分支。反向取向仅改变积分号符,奇偶不变。参照点取 或 均给出相同的模 2 结果。
附录 D 交数与鉴别子
鉴别子 为余维一的分片光滑子流形(或其并)。设 为 的紧致管状邻域。对任意闭路 的规避版本 ,当 时,
若 且 ,则 。每个交点对应一次束缚态奇偶改变,故上式与 §5 的 一致。
附录 E -势的两类参数环路
复参数小环(仅演示整数绕数,不进入 ) 取 ( 小),
随 递增,。该例保持在 内,仅用于展示整数绕数。
实参数折返环(‑势)
取 满足 ,并按 §5 以半径 的小半圆规避 。对 ‑势,
此时 与 的横截发生在 、 与 ,合计 3 次,故 ;整数绕数号符依赖规避方向,但模 2 结果不变。
规避与整数不变性 折返闭路不可完全避开 ;将其以小半圆规避后得到的 的号符取决于规避方向,但其奇偶固定,且与 与 一致。
附录 F 自指散射的 Möbius 类型与交换
令
命题 F.1(固定点的边界连续追踪) 时存在两条连续的边界不动点支 ,其指数 。
命题 F.2(横截判据) 沿闭路若 横截零水平一次且 ,则 与 交换一次。
定理 F.3(交换与 ) 在 F.2 条件下,借由 的 Herglotz 单调性可将不动点交换的奇偶映射为散射相位的绕数奇偶,故 。
引理 F.4(相位跨 )
令 为 家族, 在 一次横截零()。记 为双曲区的两条边界不动点分支。取散射相位连续支,存在邻域 使
证要:若不跨 ,则两分支相位差的局部导数号符与 的 Herglotz 单调性以及 F.2 所给的分支交换方向相矛盾,致使 与 不一致,矛盾。
于是命题 7.3/F.3 中“交换奇偶 “即由该跨越事实严格化。
附录 G 交换—旋转—散射的同伦配对(两体)
在 的两体中心势下,交换在配置空间中同伦于相对坐标的 旋转;其在 上的提升对应由 旋转代表的非平凡类。由无穷远边界扭转诱导散射映射,度的模 2 等于包围的 Jost 上半平面零点数的模 2,因而
附录 H 端点散射的类 D / DIII 指标
D 类 ()保持 。 等价于 的分支号符。
DIII 类 必为偶数。可择基使 实反对称,。对 有 。因此 规范不变,并与 的分支号符等价。隙闭合属于 ,跨越一次触发号符翻转。