Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

自指散射与费米子的诞生: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. 散射半相位的分支 对单通道散射,。若沿某个外参回路 绝热演化, 可能回到其初值加上 的整数倍。把 视为 的“平方根“,那么一圈之后平方根的号符可能翻转,这正是 的物理含义。

  2. 交换与旋量,两粒子交换在无序对配置空间中同伦于相对坐标的 旋转;其在旋转群上的提升对应 的非平凡类(由 旋转代表)。旋量场在 旋转下取负,将该非平凡类经散射映射送入 上的回路,其绕数奇偶与旋量负号一致,正由 给出。

  3. 谱流与束缚态 当外参绕行导致一个束缚态穿越本征相位参考点时,整数谱流改变 1,从而 翻转。与此等价地,若回路横截了“产生或湮灭上半平面 Jost 零点“的鉴别子一次, 也翻转。

  4. 自指闭环的固定点交换 在以输运或散射自洽方程建模的情形,系统边界条件和响应通过 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 交数及自指闭环的双曲型分支交换四条链路读取,并在拓扑超导端点散射中与 等价。多体系统、二维非阿贝尔任意子、阈值强耦合与非厄米散射的平方根拓扑构成自然的延展方向。


参考文献

  1. M. G. G. Laidlaw, C. DeWitt‑Morette, Feynman Functional Integrals for Systems of Indistinguishable Particles, Phys. Rev. D 3 (1971) 1375–1378.
  2. J. M. Leinaas, J. Myrheim, On the Theory of Identical Particles, Il Nuovo Cimento B 37 (1977) 1–23.
  3. H. B. Lawson, M.-L. Michelsohn, Spin Geometry, Princeton Univ. Press, 1989.
  4. A. Hatcher, Algebraic Topology, Cambridge Univ. Press, 2002.
  5. R. Bott, L. W. Tu, Differential Forms in Algebraic Topology, Springer, 1982.
  6. G. Teschl, Mathematical Methods in Quantum Mechanics, AMS, 2009/2014.
  7. F. Gesztesy, B. Simon, m‑Functions and Inverse Spectral Analysis, J. Anal. Math. 73 (1997) 267–297.
  8. S. Albeverio, F. Gesztesy, R. Høegh‑Krohn, H. Holden, Solvable Models in Quantum Mechanics, 2nd ed., AMS‑Chelsea, 2005.
  9. A. Pushnitski, An Integer‑Valued Version of the Birman–Kreĭn Formula, J. Math. Phys. 47 (2006) 062101.
  10. J. Behrndt, S. Hassi, H. de Snoo, Boundary Value Problems, Weyl Functions, and Differential Operators, Springer, 2020.
  11. 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.
  12. 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.
  13. 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.
  14. T. Kanne et al., Epitaxial Pb on InAs Nanowires for Quantum Devices, Nat. Nanotechnol. 16 (2021) 776–781.
  15. Retraction Note: Quantized Majorana conductance, Nature 591 (2021) E30;H. Zhang et al., Quantized Majorana conductance, Nature 556 (2018) 74–79 (Retracted).
  16. M. T. Deng et al., Majorana Bound State in a Coupled Quantum-Dot Hybrid-Nanowire System, Science 354 (2016) 1557–1562.
  17. V. Mourik et al., Signatures of Majorana Fermions in Hybrid Superconductor-Semiconductor Nanowire Devices, Science 336 (2012) 1003–1007.
  18. S. M. Albrecht et al., Exponential Protection of Zero Modes in Majorana Islands, Nature 531 (2016) 206–209.
  19. 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.
  20. T. Friedrich, Dirac Operators in Riemannian Geometry, AMS, 2000.
  21. J. M. Lee, Introduction to Topological Manifolds, 2nd ed., Springer, 2011.
  22. 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 类 必为偶数。可择基使 实反对称,。对 。因此 规范不变,并与 的分支号符等价。隙闭合属于 ,跨越一次触发号符翻转。