[论文解读] Discretized CCR algebras

William Arveson|ArXiv.org|Nov 30, 1992

Advanced Operator Algebra Research参考文献 7被引用 13

一句话总结

本文提出了量子系统规范对易关系（CCRs）的离散化版本，通过修改标准CCRs，提出了一套用于数值模拟量子场论的框架。由此产生的C*-代数被识别为非交换球面，为离散化量子系统提供了严格的代数结构，并实现了连续量子场论的有限维近似。

ABSTRACT

We discuss how the canonical commutation relations must be modified in order to make appropriate numerical models of quantum systems. The C*-algebras associated with the discretized CCRs are the non-commutative spheres of Bratteli, Elliott, Evans and Kishimoto.

研究动机与目标

• 将量子系统的规范对易关系（CCRs）重新表述为适合数值模拟的离散形式。
• 解决使用有限维模型近似连续量子场论的挑战。
• 为离散化CCRs建立严格的C*-代数框架，以保持基本的量子力学结构。
• 将所得代数与已知的非交换几何对象（特别是Bratteli、Elliott、Evans与Kishimoto的非交换球面）联系起来。

提出的方法

• 通过引入离散动量或位置格点，对标准CCRs进行修改，将连续变量替换为有限维希尔伯特空间上的算符。
• 构造由满足修改后对易关系的酉算符生成的C*-代数，以反映离散化过程。
• 利用算子代数理论，特别是C*-代数及其表示理论，分析代数结构。
• 证明所得代数同构于Bratteli、Elliott、Evans与Kishimoto引入的非交换球面。
• 利用C*-代数的表示理论，确保离散化模型的一致性与幺正性。
• 建立离散化CCR代数在有限维希尔伯特空间上忠实表示的存在性。

实验结果

研究问题

• RQ1 如何修改规范对易关系，以实现量子系统有限维、数值可处理的模型？
• RQ2 离散化CCRs后产生的代数结构是什么？它与已知的非交换几何对象有何关联？
• RQ3 离散化CCR代数能否严格表述为具有忠实有限维表示的C*-代数？
• RQ4 离散化CCR代数与Bratteli、Elliott、Evans与Kishimoto的非交换球面之间存在何种关系？
• RQ5 离散化过程如何保持幺正性与非交换性等基本量子力学特征？

主要发现

• 离散化CCR代数同构于非交换球面C*-代数，为已建立的非交换几何提供了直接的代数联系。
• 该代数允许忠实的有限维表示，从而支持量子场论的数值模拟。
• 修改后的对易关系保持了量子力学所必需的非交换结构。
• C*-代数框架确保了离散化模型的一致性与幺正性。
• 该构造为量子场论的数值近似提供了严谨的数学基础。
• 本文证明了离散化CCR代数是一个定义良好的C*-代数，具有丰富的表示理论。