[论文解读] Holism as the significance of gauge symmetries

Henrique Gomes|arXiv (Cornell University)|Oct 11, 2019

Philosophy and History of Science参考文献 33被引用 14

一句话总结

本文主张，当应用于空间分离的子系统时，某些规范对称性——特别是有限的刚性规范变换子集——可具有直接的实验意义，通过编码无法从这些子系统的内在状态中衍生出的关系性信息。关键结果是，此类对称性在物理构型中产生可观测的多样性，其数学关联于规范群的李代数，从而赋予规范对称性一种类似伽利略船思想实验中关系性提升的某种整体性特征。

ABSTRACT

Not all symmetries are on a par. For instance, within Newtonian mechanics, we seem to have a good grasp on the empirical significance of boosts, by applying it to subsystems. This is exemplified by the thought experiment known as Galileo's ship: the inertial state of motion of a ship is immaterial to how events unfold in the cabin, but is registered in the values of relational quantities such as the distance and velocity of the ship relative to the shore. But the significance of gauge symmetries seems less clear. For example, can gauge transformations in Yang-Mills theory---taken as mere descriptive redundancy---exhibit a similar relational empirical significance as the boosts of Galileo's ship? This question has been debated in the last fifteen years in philosophy of physics. I will argue that the answer is `yes', but only for a finite subset of gauge transformations, and under special conditions. Under those conditions, we can mathematically identify empirical significance with a failure of supervenience: the state of the Universe is not uniquely determined by the intrinsic state of its isolated subsystems. Empirical significance is therefore encoded in those relations between subsystems that stand apart from their intrinsic states.

研究动机与目标

• 为解决长期以来关于规范对称性是否具有直接实验意义（DES）的哲学争论，而不仅仅是间接后果（如守恒荷）。
• 确定有限的规范变换子集——特别是刚性、类全局变换——在何种条件下可产生孤立子系统间的可观测、关系性差异。
• 建立此类对称性实验意义与从属失败之间的正式联系：全局态并非由其子系统的内在态唯一确定。
• 证明这种实验意义在数学上被编码于规范群李代数的结构中，特别是通过子系统边界处的稳定子模糊性和拼接条件。

提出的方法

• 本文引入一种形式化方法，将时空分解为两个空间分离的区域，每个区域具有自身的规范场和物质场，并定义一种尊重局部规范不变性的拼接条件。
• 采用‘理想情况’，即规范场为零（A=0），以简化协变导数为标准微分，从而能够显式计算保持场构型的稳定子场χ。
• 该方法识别出一个有限维李代数的稳定子χ，其同构于规范群的李代数𝔤，该代数参数化了在规范等价关系下的不同物理构型。
• 通过两个子系统边界兼容的规范变换之间的差χ₊ − χ₋定义物理构型的多样性集合I，表明不同i ∈ 𝔤对应于非等价的物理态。
• 分析超越阿贝尔情形，表明即使在非阿贝尔杨-米尔斯理论中，稳定子代数结构也能确保区域确定性与非从属多样性，前提是物质场在边界处为零。
• 其核心机制在于：尽管单个子系统在局部规范变换下不变，但它们之间的相对变换（由χ₊ − χ₋编码）却导致物理上不同的全局构型，从而实现DES。

实验结果

研究问题

• RQ1 规范对称性通常被视为纯粹的描述冗余，当应用于孤立子系统时，是否可能具有直接的实验意义？
• RQ2 在何种条件下，规范变换的子集可产生子系统间不被其内在态所捕捉的可观测、关系性差异？
• RQ3 此类对称性的实验意义如何与全局态与子系统内在态之间从属失败相关联？
• RQ4 能否从这些对称性生成的物理构型多样性中恢复规范群李代数的结构？
• RQ5 边界处物质场的存在如何影响此类实验意义的出现？

主要发现

• 有限的规范变换子集——特别是具有非平凡相对差异的刚性规范变换——可产生物理上不同的构型，从而表现出直接的实验意义。
• 此类构型的多样性由规范群的李代数𝔤的元素参数化，不同i ∈ 𝔤对应于非等价的物理态，如公式(A.11)所示。
• 在阿贝尔情形（如U(1)）中，无穷小多样性集合可积分成有限版本，从而在群元素与物理构型之间建立一一对应关系，如公式(A.12)所示。
• 即使在非阿贝尔杨-米尔斯理论中，背景规范场的稳定子代数结构也确保多样性集合I同构于𝔤的子代数，从而保持构型的物理区分性。
• 直接实验意义的出现取决于物质场在边界处为零（动力学隔离），以确保区域确定性并防止规范结构的平凡化。
• 从属失败——即全局态不能由孤立子系统的内在态唯一确定——在数学上等价于存在此类物理上不同但规范相关的构型。