[论文解读] Levinson's theorem: an index theorem in scattering theory

Serge Richard|arXiv (Cornell University)|Jun 29, 2015

Spectral Theory in Mathematical Physics参考文献 51被引用 4

一句话总结

本文通过C*-代数和K-理论方法，以拓扑指标理论的形式重新表述了散射理论中的Levinson定理。通过将束缚态数量解释为波算符的指标，并将其与与散射相关的算符的绕数联系起来，该框架自然地纳入了阈值效应和正则化处理，为包括点相互作用、Aharonov-Bohm模型以及一维和三维Schrödinger算符在内的多种量子系统提供了统一且严谨的解释。

ABSTRACT

A topological version of Levinson's theorem is presented. Its proof relies on a C*-algebraic framework which is introduced in detail. Various scattering systems are considered in this framework, and more coherent explanations for the corrections due to thresholds effects or for the regularization procedure are provided. Potential scattering, point interactions, Friedrichs model and Aharonov-Bohm operators are part of the examples which are presented. Every concepts from scattering theory or from K-theory are introduced from scratch.

研究动机与目标

• 将Levinson定理在散射理论中重新表述为使用代数拓扑高级方法的指标定理。
• 提供一个连贯统一的框架，自然地涵盖束缚态计数中阈值效应与正则化程序。
• 将Levinson定理的适用范围从传统模型扩展至点相互作用、Friedrichs模型以及Aharonov-Bohm系统。
• 通过从零开始介绍两大学科的关键概念，使散射理论与K-理论之间的联系对数学物理学家和算子代数学家均易于理解。
• 通过在各种量子力学模型中进行显式计算，证明指标理论方法的稳健性。

提出的方法

• 在C*-代数框架内表述Levinson定理，利用K-群与边界映射定义波算符的指标。
• 引入由散射矩阵和阈值贡献导出的酉算符的绕数，作为拓扑不变量。
• 应用Connes的配对与循环上同调，将定理推广至高阶情形，特别是在Aharonov-Bohm模型中。
• 使用谱移函数与迹公式，将指标与相移、Friedel求和规则等物理可观测量联系起来。
• 通过算子范数与迹类扰动实施正则化技术，以处理指标计算中的发散问题。
• 通过显式例子验证该方法：R上的势散射、点相互作用，以及R^3和R^2中的Schrödinger算符，结果与已知结论一致。

实验结果

研究问题

• RQ1 如何利用C*-代数与K-理论工具，将Levinson定理重新解释为散射理论中的指标定理？
• RQ2 阈值态与嵌入本征值在Levinson定理的拓扑表述中起什么作用？
• RQ3 在此框架内，发散迹的正则化程序如何系统地推导？
• RQ4 散射相关算符的绕数以何种方式编码束缚态的数量？
• RQ5 指标理论方法能否推广至具有非平凡拓扑结构的模型，如Aharonov-Bohm势？

主要发现

• Levinson定理被严格重述为指标定理，其中束缚态数量等于波算符的指标，通过包含散射与阈值贡献的酉算符的绕数计算得出。
• 该框架自然地通过将阈值态纳入拓扑不变量，解释了一维散射中1/2的修正项。
• 嵌入与非嵌入本征值对指标的贡献相等，解决了过去关于其在Levinson定理中作用的争议。
• 迹发散的正则化过程被证明是良定义且连续的，迹表达式的极限存在并符合预期的物理结果。
• 对于Aharonov-Bohm模型，利用循环上同调与Connes的配对推导出高阶Levinson定理，得到了束缚态计数的精确拓扑表达式。
• 该方法在维度上具有鲁棒性：在R、R^2与R^3中的Schrödinger算符中统一适用，所有情形下结果一致。