Comment on "On the emergence of preferred structures in quantum theory" by Soulas, Franzmann, and Di Biagio

本文指出 Soulas 等人提出的从哈密顿量和态矢量构建张量积结构的方案无法同时满足不变性与物理观测的兼容性，因此不仅未能反驳 Stoica 关于“仅凭二者无法涌现出优选结构”的结论，反而通过具体实例证实了该结论，并揭示了其作为教学工具在阐明量子理论关系性与结构特征方面的价值。

要点

这篇文章是一篇学术“回信”，作者克里斯蒂·斯托伊卡（Cristi Stoica）针对另一篇名为《论量子理论中优选结构的涌现》（Soulas 等人，2025）的论文进行了评论。

为了让你轻松理解，我们可以把这篇论文的核心争论想象成一场关于**“如何从一张空白的乐谱中自动识别出乐器和乐章”**的辩论。

1. 背景：什么是“希尔伯特空间基础主义”？

想象一下，宇宙的本质是一个巨大的、看不见的**“乐谱”（在物理学中叫希尔伯特空间 $H$），上面写着一个“总指挥”（哈密顿量 $H$，决定音乐怎么变）和“当前的演奏状态”**（量子态 $|\psi\rangle$）。

• 传统观点：除了乐谱和指挥，我们还需要知道具体的**“乐器”（子系统，比如电子、光子）和“空间布局”**（哪个乐器在左边，哪个在右边）。这些是物理学家额外加上去的设定（QT2 和 QT3）。
• Soulas 等人的观点（HSF 派）：他们认为，只要有了“总指挥”和“当前状态”，所有的“乐器”和“空间布局”应该能自动涌现出来。也就是说，不需要额外设定，乐谱自己会告诉你哪里是钢琴，哪里是小提琴。他们声称自己找到了一个完美的方法，能从乐谱里唯一地“算”出这些结构。

2. 斯托伊卡的反击：你只是“先射箭，再画靶子”

斯托伊卡在这篇论文中指出，Soulas 等人的方法虽然看起来很聪明，但实际上并没有真正解决问题，反而证明了**“不可能”**。

他用了一个非常生动的比喻来解释为什么这是行不通的：

比喻一：给电子“量身定做”质量

Soulas 等人的方法是：先选定一个他们想要的“乐器布局”（张量积结构 TPS），然后计算在这个布局下，各个部分的“纠缠熵”（可以理解为乐器之间的配合度），最后把这些数值作为“规则”固定下来，声称这个布局是“涌现”出来的。

斯托伊卡说：这就像是为了证明“电子的质量是自然涌现的”，你先用手把电子的质量数值写在纸上，然后说：“看！根据这些规则，电子的质量就是这样涌现的！”

• 如果你只是把答案（质量数值或布局规则）先写下来，再假装它是推导出来的，那这就不叫“涌现”，这叫**“作弊”**。
• 真正的涌现应该是：你不需要知道答案，只通过乐谱的规律，就能必然地推导出唯一的乐器布局。

比喻二：时间旅行的悖论

这是论文中最精彩的“三难困境”（Trilemma）。斯托伊卡问：如果这个“自动涌现”的布局是真实的，那它在时间流逝中会怎么样？

想象你在看一场电影：

1. 选项 A（死板）：你规定“乐器布局”在电影开始时（$t=0$）就定死了，永远不变。
   • 后果：那音乐怎么变？如果布局不变，乐器之间就不能互相干扰，纠缠（配合）就不能改变。但现实中，量子纠缠是随时间变化的。这就像规定钢琴和小提琴永远不能合奏，只能各自独奏，这不符合现实。
2. 选项 B（随波逐流）：你让“乐器布局”随着电影剧情（时间）实时变化。
   • 后果：那“涌现”的规则就不唯一了。每一秒的布局都不同，你无法定义什么是“钢琴”，什么是“小提琴”。这就像电影里的钢琴下一秒变成了小提琴，物理规律就乱套了。
3. 选项 C（作弊）：你为了保持布局不变，强行修改“配合度规则”（那些 $s_{R,k}$ 参数），让它们随着时间完美抵消变化。
   • 后果：这就像是为了让一个静止的物体看起来在动，你不得不手动去推它。这不再是“自动涌现”，而是人为干预。

结论：Soulas 等人的方法无法同时满足“唯一性”（只有一个正确答案）、“不变性”（符合物理对称性）和“物理相关性”（能描述真实世界的变化）。他们要么牺牲了物理现实，要么牺牲了唯一性。

3. 核心冲突：什么是“关系”？

Soulas 等人认为，只要两个世界在数学上看起来一样（通过某种变换能重合），它们就是同一个世界（关系主义）。

斯托伊卡反驳说：这种“关系主义”太宽泛了。

• 比喻：想象一个三角形。在“仿射几何”（一种更宽松的几何）里，任何三角形都是等价的，你可以把等边三角形拉成瘦长的三角形，它们被视为“一样”。但在“欧几里得几何”（我们生活的现实）里，等边三角形和瘦长三角形是完全不同的，因为距离和角度变了。
• 量子力学就像欧几里得几何，它要求区分不同的状态。如果像 Soulas 等人那样，把所有能互相转换的状态都视为“一样”，那么过去、现在和未来就都变成同一个状态了，时间就失去了意义。

4. 这篇论文到底想说什么？

斯托伊卡并不是要彻底否定希尔伯特空间基础主义，而是想**“降温”**：

1. 不可能从乐谱自动变出乐器：你无法仅凭“总指挥”和“状态”就唯一地、自然地推导出“空间”和“粒子”。必须有一些额外的、基本的设定（就像欧几里得几何里的距离定义）。
2. Soulas 等人的工作很有价值：虽然他们没能推翻“不可能”的结论，但他们提供了一个完美的反面教材。他们的方法就像是一个“教学工具”，清晰地展示了为什么试图强行从乐谱中“涌现”出结构会失败。
3. 未来的方向：也许我们不应该追求“万物理论”（解释一切），而应该退一步，只研究**“物理定律”**（比如乐谱的结构本身），而不是试图解释“具体的世界”（比如具体的乐器摆放）。

总结

这就好比有人声称：“只要给我一首歌的总谱，我就能自动算出这首歌是用什么乐器演奏的，而且全世界都只有一种乐器配置。”

斯托伊卡说：“你算出来的那个配置，其实是你心里先想好了要用什么乐器，然后反推回去的。如果你真的只靠总谱，要么算不出唯一的配置，要么算出来的配置根本没法演奏出随时间变化的旋律。所以，‘自动涌现’是个伪命题，我们需要承认有些基本结构是必须预先设定的。"

这篇论文不仅是一次学术辩论，更是一次对**“什么是物理现实”**的深刻哲学反思。

技术摘要

这是一份关于 Cristi Stoica 撰写的评论文章《On the emergence of preferred structures in quantum theory》（关于量子理论中优选结构的涌现）的详细技术总结。该文章是对 Soulas, Franzmann 和 Di Biagio (2025) 提出的反例的回应，旨在捍卫 Hilbert 空间基础主义（Hilbert Space Fundamentalism, HSF）的不可行性。

1. 研究背景与问题 (Problem)

核心议题：
希尔伯特空间基础主义（HSF）主张，物理世界的所有结构（包括空间、粒子、子系统分解等）都可以从两个基本要素中唯一地“涌现”出来：

1. 哈密顿量算符 $H$。
2. 单位态矢量 $|\psi\rangle$。

Soulas 等人的挑战 (2025)：
Soulas 等人构建了一个具体的张量积结构（Tensor Product Structure, TPS）构造方案，声称仅凭 $H$ 和 $|\psi\rangle$（以及某些不变量）就能唯一确定 TPS。他们将其作为反例，试图反驳 Stoica (2022a) 提出的“不可行性定理”（No-go theorem）。Stoica 之前的定理指出：如果从 $H$ 和 $|\psi\rangle$ 中唯一地涌现出某种结构，那么该结构要么无法描述物理变化（如纠缠随时间的演化），要么无法明确描述物理现实。

本文要解决的问题：
Soulas 等人的构造是否真的构成了一个有效的反例？该构造是否满足物理相关性（Physical Relevance）和不变性（Invariance）？如果满足，HSF 是否依然成立？

2. 方法论 (Methodology)

Stoica 采用以下逻辑步骤对 Soulas 等人的构造进行批判性分析：

1. 形式化定义与等价性分析：

   • 重新审视 TPS 的定义：TPS 是希尔伯特空间同构的等价类。
   • 利用 Proposition 1 证明：不同的 TPS 在物理上是可区分的（即存在一个态矢量，在一个 TPS 下是可分离态，在另一个 TPS 下是纠缠态）。因此，不能通过简单的等价类来消除 TPS 的非唯一性。

2. 时间演化与不变性测试 (The Time-Dependence Test)：

   • 这是核心方法论。Stoica 将 Soulas 等人的静态构造置于量子力学的动力学框架（薛定谔绘景）中。
   • 考察当态矢量随时间演化 $|\psi(t)\rangle = e^{-iHt/\hbar}|\psi(0)\rangle$ 时，基于 $|\psi(t)\rangle$ 构造的 TPS 会发生什么变化。
   • 检查构造是否满足“物理相关性”：即结构 $S$ 与 $|\psi(t)\rangle$ 的关系是否随时间变化（例如纠缠熵的变化）。

3. 三难困境 (Trilemma) 分析：

   • 分析 Soulas 构造在试图同时满足以下三个条件时的逻辑矛盾：
     1. 不变性 (Invariance)： 构造仅依赖于 $H$ 和 $|\psi\rangle$ 的内在关系，不依赖外部参数。
     2. 唯一性 (Uniqueness)： 对于给定的输入，只产生一个 TPS。
     3. 物理相关性 (Physical Relevance)： 允许纠缠随时间演化（即允许子系统间发生相互作用）。

4. 类比论证：

   • 将 Soulas 通过“固定不变量”来选定 TPS 的方法，与“通过手动固定庞加莱群的卡西米尔不变量（质量、自旋）”来定义基本粒子进行类比，以此揭示其“涌现”概念的虚妄性。

3. 关键贡献 (Key Contributions)

1. 揭示 Soulas 构造的内在矛盾：

   • 证明了 Soulas 等人的构造实际上依赖于一个绝对的时间点 $t_0$ 或者依赖于随时间变化的不变量 $s_{R,k}(t)$。
   • 如果固定 $t_0$，则破坏了时间平移不变性（Invariance），这违背了 HSF 的初衷。
   • 如果让不变量随时间变化以补偿态矢量的演化，则这些“不变量”实际上不再是真正的不变量，且构造变得极其复杂且人为（Ad hoc）。

2. 澄清“不可行性定理” (Theorem 2) 的含义：

   • 纠正了 Soulas 等人对 Stoica (2022a) 的误解。Stoica 的定理并非声称“唯一结构不可能存在”，而是声称**“物理相关的唯一结构不可能存在”**。
   • 如果结构是唯一的，它必须是时间无关的（即无法描述纠缠的变化）；如果结构能描述物理变化（纠缠演化），它就不可能是唯一的（或者需要引入外部参数）。

3. 重新定义“关系哲学” (Relational Philosophy)：

   • 指出 Soulas 等人错误地应用了关系哲学。他们假设整个幺正群 $U(H)$ 都是对称群，导致无法区分不同时间的状态（因为 $|\psi(t)\rangle$ 和 $|\psi(0)\rangle$ 在幺正变换下等价）。
   • 论证正确的物理关系哲学应基于物理对称群（如时空等距群、规范群），而非整个希尔伯特空间的幺正群。因此，QT2（张量积分解）和 QT3（可观测量关联）是必要的，不能从 QT1 中消除。

4. 提出 HSF 的弱化版本：

   • 区分了“本体论 HSF"（试图描述整个世界的配置）和“定律 HSF"（Law-oriented HSF，仅试图从谱中解码相互作用定律）。
   • 指出虽然从谱中解码哈密顿量的局域形式（如 Cotler et al., 2019 的工作）是有意义的，但这不能推广到描述具体的物理世界配置或时空结构。

4. 主要结果 (Results)

1. Soulas 构造的失败：

   • Soulas 等人的 TPS 构造不是一个有效的反例。它无法同时满足不变性、唯一性和物理相关性。
   • 为了使其工作，必须引入外部参数（如绝对时间 $t_0$ 或特定的不变量集合 $s_{R,k}$），这实际上等同于直接指定了 TPS，而非从 $H$ 和 $|\psi\rangle$ 中“涌现”。

2. 三难困境的确认：

   • 任何试图从 $H$ 和 $|\psi\rangle$ 中涌现出物理相关结构的尝试，都会陷入以下困境之一：
     • 情况 A： 结构是唯一的，但它是静态的，无法描述纠缠的演化（即没有相互作用）。
     • 情况 B： 结构能描述演化，但为了保持唯一性，必须引入随时间变化的参数或绝对时间，从而破坏了构造的不变性。
     • 情况 C： 放弃唯一性，但这导致物理描述模糊（Ambiguity），无法确定当前的物理状态。

3. 对“涌现”概念的重新界定：

   • 仅仅通过固定不变量来选择轨道（Orbit Selection）并不等同于物理上的“涌现”。如果这种选择是任意的（即可以构造出任何想要的 TPS），那么它没有解释力，也没有预测能力。
   • 真正的涌现应能解释现象、统一理论或做出新预测，而 Soulas 的构造仅是对已知结构的复杂重述。

5. 意义与影响 (Significance)

1. 捍卫量子力学基础：

   • 文章有力地支持了标准量子力学公设（QT1-QT4）的必要性，特别是 QT2（子系统分解）和 QT3（可观测量关联）。它表明试图将这些结构完全还原为纯数学的 $H$ 和 $|\psi\rangle$ 是行不通的。

2. 澄清 HSF 的研究方向：

   • 文章建议 HSF 支持者放弃“万物理论”（Theory of Everything）的宏大目标，转而关注“定律涌现”（Emergent Laws）。即，利用谱分析来理解相互作用的局域性结构，而不是试图从中推导出时空或粒子的具体配置。

3. 教学价值：

   • 作者指出，尽管 Soulas 等人的构造未能反驳不可行性定理，但它作为一个具体的反例，极好地证实了该定理。它清晰地展示了在尝试构建涌现结构时，不变性、唯一性和物理现实性之间不可调和的矛盾。

4. 哲学启示：

   • 文章强调了物理对称群与数学对称群的区别。物理现实的选择（如时空结构）不仅仅是数学结构的选择，而是由物理证据（如纠缠随时间的演化）所约束的。盲目地应用“关系主义”哲学而忽视物理对称群的约束，会导致与观测事实相悖的结论。

总结：
Cristi Stoica 的这篇文章通过严密的逻辑推导和动力学分析，证明了 Soulas 等人提出的“优选 TPS 涌现”方案实际上无法在保持不变性的同时描述物理演化。该工作不仅维护了 Stoica (2022a) 的不可行性定理，还通过剖析 Soulas 的构造，深刻揭示了 Hilbert 空间基础主义在描述动态物理世界时的根本局限性，并呼吁将研究重点从“本体论涌现”转向“定律涌现”。