[论文解读] A Remark on Formal KMS States in Deformation Quantization

Martin Bordemann, Hartmann Roemer+1 more|ArXiv.org|Jan 30, 1998

Advanced Topics in Algebra参考文献 20被引用 6

一句话总结

本文在形如形式变形量化的框架中引入了形式 KMS 状态，将其定义为满足形式 KMS 条件的 C[[λ]]-线性泛函。证明了对于任意温度，此类状态均存在，并且在归一化意义下唯一确定，其形式为函数与形式星指数的乘积的迹，类似于统计力学中的玻尔兹曼因子。

ABSTRACT

In the framework of deformation quantization we define formal KMS states on the deformed algebra of power series of functions with compact support in phase space as C[[λ]]-linear functionals obeying a formal variant of the usual KMS condition known in the theory of C^*-algebras. We show that for each temperature KMS states always exist and are up to a normalization equal to the trace of the argument multiplied by a formal analogue of the usual Boltzmann factor, a certain formal star exponential.

研究动机与目标

• 将平衡统计力学中核心的概念 KMS 状态扩展至形式变形量化框架。
• 在变形参数 λ 的形式幂级数代数中，定义 KMS 条件的形式类比。
• 为任意给定温度建立形式 KMS 状态的存在性与唯一性（归一化除外）。
• 将这些状态的显式形式识别为加权于形式星指数的迹，其形式类似于玻尔兹曼因子。
• 在形式变形量化语境下，提供一种严谨的代数构造，以实现平衡态。

提出的方法

• 将形式 KMS 状态定义为在相空间上具有紧支集的光滑函数的形式幂级数代数上的 C[[λ]]-线性泛函。
• 利用星积代数中时间有序乘积下的泛函循环性质，形式化 KMS 条件。
• 将形式玻尔兹曼因子构造为形式星指数，即 exp_*(−βH/ℏ)，其中 H 为哈密顿量，β 为逆温度。
• 证明：与该形式星指数相乘的迹泛函满足形式 KMS 条件。
• 利用形式迹与星指数，定义一个泛函，其在形式幂级数 λ 中满足循环性与 KMS 条件。
• 证明：任何此类形式 KMS 状态必与该构造成比例，从而确立了归一化意义下的唯一性。

实验结果

研究问题

• RQ1 KMS 状态的概念能否在形式变形量化框架中一致地推广？
• RQ2 在 C[[λ]] 上的幂级数代数语境下，形式 KMS 状态的代数结构是什么？
• RQ3 在形式设定下，对于每个逆温度 β，是否存在形式 KMS 状态？
• RQ4 形式 KMS 状态的显式函数形式如何用星指数与迹表示？
• RQ5 形式 KMS 状态是否在归一化意义下唯一确定？

主要发现

• 在形式变形量化设定下，对任意逆温度 β，形式 KMS 状态均存在。
• 所有形式 KMS 状态均与函数乘以形式星指数 exp_*(−βH/ℏ) 的迹成比例，后者作为玻尔兹曼因子的形式类比。
• 该构造满足形式 KMS 条件，将标准 KMS 条件推广至形式幂级数框架。
• 状态的归一化未被 KMS 条件固定，但所有此类状态在标量乘法意义下唯一确定。
• 该构造在形式变形量化中提供了量子统计力学中平衡态的正式代数实现。
• 该结果在形式变形量化与量子系统平衡态的代数结构之间建立了直接联系。