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

穿孔信息流形上的相对拓扑、主丛约化与指数理论

——通向 、三代指标与 Yukawa‑缠绕的统一框架


摘要

满秩密度矩阵流形 是开凸可缩的,Uhlmann 主丛在满域 admit 全局平方根截面 ,因而绝对整值拓扑不变量在满域上缺失。本文转向穿孔相对拓扑:在 的情形中,从 移除三—二能级间隙闭合集 的管状邻域,得到穿孔域 。在 上以 Riesz 谱投影构造秩 子丛 并实现主丛结构群约化 ;进一步利用行列式平衡得到 约化。我们证明了一般群同构

并以 推得 。通过相对 理论边界映射统一“投影‑陈类“与“质量‑clutching( 绕数)“,在二维横截 上得到

的 spin/Dolbeault 口径计算 作为“三代原型“。本文给出所有核心命题与定理的完整证明,并提供两条协议级可复现实验/数值方案(纯化干涉环与光子 Dirac‑质量涡旋)。附录包含:统一围道与全域光滑性、群同构的 gcd/lcm 归一化与“选根“、相对 理论与 Chern 角色交换图的严格证明、Callias/Anghel–Bunke 指数定理的 Fredholm 构造、以及 时最小电荷 的一页算术推导。

关键词:Uhlmann 主丛;穿孔相对拓扑;Riesz 投影;主丛约化; 商;相对上同调/ 理论;Dolbeault/spin 指标;Callias/Anghel–Bunke 指数;行列式线丛;线算符谱;可复现实验协议


0 记号、假设与范围

  • 混态流形,本文固定
  • 本征序谱隙函数
  • 穿孔域:取 ,定义 。边界 等价于 的管状边界。
  • Riesz 投影:固定统一围道族 (见引理 1.2 与附录 A),令

  • Uhlmann 主丛,右作用 给出 -主丛
  • regular/ordinary 过程(可检清单):沿路径满秩、生成元局域 CPTP 且 、可选连续净化规范、且避开 )。该清单仅作动机:满域无整值全局类;本文专注穿孔域上的相对量子化。
  • 归一化:de Rham 配对统一取 因子; 上超平面类 归一化为

1 主结果(陈述)

定理 A(群同构,gcd/lcm 归一化)。同态

为满射,且 。因而

特例

命题 B(分拆唯一性) 在“简单因子恰为 且仅保留一个 “的约束下, 的唯一可行分拆为

定理 C(相对桥接) 设质量端项 可逆,取单位化 。则相对 理论边界像 与投影线丛 相等;在二维链接上

定理 D(Callias/Anghel–Bunke) 若外区可逆 等条件成立,则

由 Bott 周期性 奇)、 偶),得:仅当横截维 为偶时指数可能非零;

定理 E( 指标) ,故

推论 F(SM 全局群) 由定理 A、命题 B,得到

附录 E 进一步给出线算符谱的电/磁荷格与 最小电荷步长 的算术推导。


2 退化集几何与统一围道

命题 2.1(共维 3 与 -链接) 在保持 开隙且无额外对称性的三维横截切片中, 为共维 3 的正规子集,其小球边界链接同伦 证明要点:将哈密顿量限制到近简并的 2 维本征子空间,得到 ;退化条件 给三独立实约束。见附录 A.3。

引理 2.2(统一围道;全域 对任意紧致 ,存在 与有限覆盖 及闭曲线族 使: 与余谱距离 ;由此 并可光滑拼接。详见附录 A.1–A.2。


3 主丛约化至

定理 3.1(约化=截面)-主丛,。由 给出截面 当且仅当 admit -约化 证明:标准主丛论,附录 B.4。

命题 3.2(行列式平衡的规范性) 背景平凡丛 之固定体积形式给出规范同构 ,从而约化到

定理 3.3(群同构;定理 A 的

证明:见附录 B.1;特别注意满射的“选根“一步:给 ,取 满足 ,令 。核同构到

命题 3.4(分拆唯一性;命题 B) 分拆 为唯一满足“简单因子 且仅一个 “的方案; 皆保留两个 。详见附录 B.2。


4 相对拓扑的两种刻画及其等价(定理 C)

4.1 相对 理论与边界映射 对配对 ,有长正合列

可逆,则单位化 定义 ,其边界

4.2 交换图与 de Rham 代表 奇 Chern 角色 的 1 维代表为

存在交换图(附录 C.1):

4.3 等价命题(定理 C) 与 Riesz 投影给出的 相比较,利用自然性与 clutching‑gluing 论证(附录 C.2),得

从而在二维链接上


5 上的 spin/Dolbeault 指标(定理 E)

顶维系数 ,故 。Kodaira 消失确保


6 Callias/Anghel–Bunke 指数=度数;二维绕数公式(定理 D)

6.1 Fredholm 条件 完备,Dirac 型算子 与自伴端项 。若存在 使 ,且 ,则 为 Fredholm(附录 D.1)。

6.2 指数=度数与奇偶性 边界化与 Bott 同构给

二维横截时

并与零模计数一致。符号约定: 取逆时针定向。


7 与 的线算符谱对齐与最小电荷

由定理 3.3:。核生成元可取

(分别为 triality、 parity、 整荷)之作用为

降到商群的充要条件:。故规范化超荷 之最小分数步长为 。附录 E 给出电/磁荷格、Dirac 配对整阵与 周期的一页推导与示例表。


8 协议级实验与数值方案(概述)

E1 纯化干涉(绕 的影像):离散化统一围道,读出 ,其中 。采样 、相位噪声 rad 可稳判整数。失败情形:路径擦碰 、非平滑净化;对策:放大围道半径、提高纯度隙与重复采样。

E2 光子 Dirac‑质量涡旋:写入质量相位 ,外区 。零模数 、近场强度中心化、带隙中点能位构成指纹。稳健区:相位误差 、耦合失配 。附录 F 给出参数表与“通过标准“。


9 讨论与展望

  • 相对 vs 绝对:满域可缩→绝对整值类消失;穿孔→相对类量子化。
  • 维度效应 仅在二维横截完全检测;高维需使用稳定 群生成元。
  • 群论桥接:谱分裂诱导之 与线谱字典协同工作,给出最小电荷步长
  • 后续:多缺陷叠加的相对类加法、噪声‑非平衡下的鲁棒窗口、与高阶(-块)分裂的系统推广。

附录(详细证明等)

附录 A|谱几何与统一围道(对应 §2)

A.1 谱隙下界与围道选择。在 连续;任取紧致 ,设 。对每个 取以 为心、半径 的圆 ,它围住上谱簇且距余谱

A.2 Riesz 投影的 依赖 由 resolvent 估计 的光滑性,。用有限覆盖 与分片单位拼接,得全域 的投影场

A.3 共维 3 与 -链接& 近简并处,取 ,有效哈密顿量 ;退化 ,三独立实方程故共维 3。取法向小球 ,其边界 为链接。


附录 B|群同构与最小分拆(对应 §3)

B.1 定理 A 的完整证明 同态

。由 。映射

为群同构,故

满射(“选根”):给定 (即 ),取 满足

。从而得到所述同构。

B.2 分拆唯一性表

分拆简单部-约束后 个数结论
1
2违“一
2同上
1唯一满足

B.3 一般化 ;核生成元的显式写法依嵌入归一化而定,但商群同构类不变。


附录 C|相对 理论与 Chern 角色(对应 §4)

C.1 交换图 对配对 ,奇 Chern 角色

偶 Chern 角色 与 de Rham 边界算子 组成交换图

其可交换性由自然性与 Mayer–Vietoris 拼接给出。

C.2 桥接等式 为单位化质量,。另一方面,Riesz 投影得到 ,从而 。采用同伦延拓使 与谱分裂态射稳定相容,通过交换图在 中配对到链接 的整数相等,故两相对类相等。

C.3 二维横截的显式配对 的分片链接是 ,则


附录 D|Callias/Anghel–Bunke(对应 §6)

D.1 Fredholm 构造 取外区截止 与参数子 。有

其中 为相对紧(由 、Rellich 紧嵌入与外区可逆性)。故 为 Fredholm。

D.2 边界映射与度数 将外区同伦到仅依赖方向的 ,指数等于边界映射 。Bott 同构给出

D.3 二维单涡旋示例 , , 。则 。取逆时针定向为正, 指数变号。


附录 E|线算符谱与最小电荷 (对应 §7)

E.1 核生成元与同余 由定理 3.3, 生成元可取

的作用为 。降商条件:

,故最小分数单位

E.2 电/磁荷格与 Dirac 配对(示意) 记电/磁荷向量,中心粘合给出同余约束矩阵 ,其满足 )等价。Dirac 配对整阵 在商上整性良好; 周期在商群识别后发生等价缩并。示例表:基本表示 值带来 的分数部分 ,与 相位合成后给出跨越最小步长


附录 F|实验与数值“checklist“(对应 §8)

F.1 E1 纯化干涉

  • 输入:回路 、采样
  • 步骤:净化—演化—干涉读出—相位展开—围道积分。
  • 输出
  • 通过标准 即可判定整数;若失败,增大回路半径与

F.2 E2 光子涡旋

  • 输入:阵列尺寸、耦合 、质量幅 、涡旋数
  • 步骤:相位版图写入—激励—近场成像—谱定位—零模计数。
  • 输出:零模数
  • 通过标准:带隙 噪声带宽,中心峰显著且能位接近中点。

F.3 数值脚本要点

  • 网格
  • Riesz 投影沿固定半径 圆进行围道求积;
  • Wilson‑loop 的 一致,误差

至此,正文与附录完。