[论文解读] Local state and sector theory in local quantum physics

Izumi Ojima, Kazuya Okamura+1 more|arXiv (Cornell University)|Jan 1, 2015

Advanced Operator Algebra Research参考文献 27被引用 4

一句话总结

本文在代数量子场论（AQFT）中将局域态作为量子态的一般化，使对有界时空区域中局域化的数学处理更加清晰。通过发展完全正映射正交分解理论，本文建立了局域态的规范理论，表明DHR选择准则可自然地从真空背景中物理上合理的态制备过程中导出。

ABSTRACT

We define a new concept of local states in the framework of algebraic quantum field theory (AQFT). Local states are a natural generalization of states and give a clear vision of localization in the context of QFT. In terms of them, we can find a condition from which follows automatically the famous DHR selection criterion in DHR-DR theory. As a result, we can understand the condition as consequences of physically natural state preparations in vacuum backgrounds. Furthermore, a theory of orthogonal decomposition of completely positive (CP) maps is developed. It unifies a theory of orthogonal decomposition of states and order structure theory of CP maps. By using it, localized version of sectors is formulated, which gives sector theory for local states with respect to general reference representations.

研究动机与目标

• 解决AQFT中使用全局态在有界时空区域中表征局域物理态时的基础性困难。
• 通过引入局域态作为统一可观测量与态的物理过程，弥补标准局域态中‘探测算符’的缺失。
• 将DHR-DR规范理论推广至局域态，为非真空背景中的局域激发提供框架。
• 发展完全正映射正交分解理论，统一CP映射的态分解与序结构。
• 将局域规范定义为局域因子态的准等价类，将标准规范理论扩展至局域物理过程。

提出的方法

• 将局域态定义为在全局代数A上的完全正映射，其在有界区域的因果补集上恒等，从而将态推广为物理过程。
• 利用局域丛的分裂性质，确保局域态的存在性，并建立其在有界区域中的物理可实现性。
• 引入局域态的子中心CP-测度空间分解，由公式(52)和(53)控制，以分离序参数与参考表示。
• 应用可分C*-代数的积分分解理论，将局域态的GNS表示表示为标准Borel空间上的直积分。
• 通过条件Z_{T,full} = θ_T(𝒵_π(𝒜))定义局域因子态，确保规范分类的代数结构一致性。
• 将局域规范定义为局域因子态的准等价类，将标准规范理论推广至局域物理构型。

实验结果

研究问题

• RQ1 当标准态无法探测局域激发时，如何在代数量子场论中严格定义有界时空区域中的局域化？
• RQ2 DHR选择准则能否从物理上自然的态制备条件中推导，而非作为强制公理？
• RQ3 完全正映射在统一局域物理过程中态与可观测量概念中起什么作用？
• RQ4 规范理论如何推广至局域态？在非真空背景中，局域规范的代数结构是什么？
• RQ5 局域态的中心分解在识别涌现序参数与分类局域激发中具有何种意义？

主要发现

• 局域态被定义为在有界区域的因果补集上恒等的完全正映射，为局域物理过程提供了物理上一致的框架。
• DHR选择准则被证明可自动从局域态的最小Stinespring表示满足所需正定性与协变性性质的条件中导出。
• 发展了CP映射正交分解理论，统一了态的分解与CP映射的序结构，使局域态结构的严格分析成为可能。
• 局域因子态通过条件Z_{T,full} = θ_T(𝒵_π(𝒜))定义，即全交换代数等于参考表示中心在交换代数提升映射下的像。
• GNS表示对局域态的积分分解为标准Borel空间上的直积分，揭示了一族相互不交的局域因子态。
• 局域规范被定义为局域因子态的准等价类，将标准规范理论推广至任意参考表示中的局域物理构型。