On the representation-free formalism in quantum mechanics

本文批判了量子力学中标准狄拉克符号形式的局限性，并提出了一种新的、通用的无表象方案，该方案在消除上述缺陷的同时，为实际计算提供了灵活的单空间与对偶空间诠释。

要点

想象一下，你试图描述一朵云的形状。你可以用一条在空气中流动的连续线条来描述它（一种“单空间”视角）。或者，你也可以通过列举定义其边缘的每一个光点和阴影点来描述它（一种“双空间”视角）。

几十年来，物理学家一直使用一种特定的量子力学描述方法，称为狄拉克符号（由保罗·狄拉克发明）。本文作者 V.D. Efros 认为，尽管这种方法很流行且拥有一些出色的工具，但它实际上有些缺陷、令人困惑，且不必要的复杂。

以下是用日常类比对该论文主张的简要分解。

1. 旧工具的缺陷（“狄拉克符号”形式）

狄拉克符号就像一本非常华丽、双面式的字典。为了描述一个粒子，它同时使用两种不同的“语言”：

• 右矢（写作 |v⟩）：这些代表粒子本身。
• 左矢（写作 ⟨u|）：这些是用于测量粒子的“函数”。

作者的批评：
作者指出，这种双语言系统存在三个主要缺陷：

• 它是“双空间”陷阱：它迫使你同时在两个分离的世界（粒子世界和测量世界）中思考，而实际上，物理学往往在一个单一的世界中就能很好地运作。这就像试图开车时，左手看地图，右手看路，而不是直接看路。
• 它在处理“无界”事物时会失效：在量子力学中，某些量（如能量或动量）可以无限增大。旧的形式假设，如果你对粒子应用一个规则，总会得到一个有效的结果。作者表明，在某些复杂情况下，旧的数学方法会直接停止工作或给出不确定的答案，但符号表示法却掩盖了这一事实。这就像一台计算器显示“错误”，却拒绝告诉你为什么出错或在哪里出错。
• 它让学生感到困惑：因为它需要同时处理两种不同类型的对象（左矢和右矢），并担心算符作用于哪一侧，学生往往难以理解实际发生了什么。

2. 新解决方案（“通用”方案）

作者提出了一种书写量子力学的新方法，以解决这些问题。可以将这个新方案想象成一个通用翻译器，它既能说“单空间”语言，也能说“双空间”语言，但更倾向于更简单的那种。

它是如何工作的：

• 优先使用单空间：作者建议不使用 |v⟩ 和 ⟨u|，而是使用简单的向量，如 u 和 v，并用点号表示它们的相互作用，如 u · v。
  • 类比：想象你在用普通的箭头做数学运算。你不需要特殊的“测量箭头”和“粒子箭头”。你只有箭头，然后对它们进行相乘。
• 没有隐藏陷阱：在这个新系统中，如果计算是不可能的（因为数字变得太大或不确定），符号表示法会让这一点显而易见。你无法写出一个不存在的“魔法”方程。数学迫使你诚实地面对什么是允许的。
• 灵活性：最好的部分是，这个新系统是一个“变色龙”。
  • 你可以将其视为单空间系统（仅仅是向量和点积），这直观且简单。
  • 如果你需要为特定的高级任务，你也可以将其视为双空间系统（向量和函数）。
  • 类比：它就像一把瑞士军刀。旧工具是一把只能单向工作的专用螺丝刀。新工具则是一个多功能工具，根据需求可以是螺丝刀、小刀，或者再次变成螺丝刀，但它建立在一个单一、坚固的手柄之上。

3. 为什么这很重要（根据论文）

作者声称，这个新方案是：

• 更准确：它不会隐藏关于计算有效“定义域”（即范围限制）的数学错误。
• 更容易学习：因为它从简单的单空间逻辑（如常规向量代数）开始，对于学生来说，比双面式的狄拉克符号方法更少令人困惑。
• 同样强大：它保留了物理学家喜爱狄拉克符号的所有便捷捷径和“工具”（例如如何快速写出复杂方程），但去除了令人困惑的部分。

总结

该论文认为，著名的“狄拉克符号”量子物理方法就像一台老旧、复杂的机器，有时会卡住并让操作者感到困惑。作者构建了一台新的通用机器，它能完成同样的工作，但更简单，对其局限性更加诚实，并且可以根据手头任务的需要，被理解为一个简单的单部分系统或一个复杂的双部分系统。

最终目标是使无表示的量子理论（即在不陷入特定坐标系的情况下思考量子力学）更易于使用，且更少出现数学错误。

技术摘要

技术摘要：关于量子理论中的无表示形式体系

问题陈述
本文探讨了标准狄拉克（Dirac）右矢 - 左矢（bra-ket）形式体系的局限性，该体系是量子理论中进行无表示考虑的主流方法。尽管右矢 - 左矢形式体系提供了宝贵的计算工具，但作者认为其存在显著的数学和概念缺陷：

1. 对偶空间限制：它本质上是一种对偶空间方案，将态矢量（右矢）与线性泛函（左矢）分离。这排除了更自然的“单空间”表述，而后者是通用矢量代数及许多数学家所偏爱的。
2. 定义域问题：原始版和修订版的右矢 - 左矢形式体系未能严格处理无界算符（例如动量或角动量平方）的定义域。具体而言，标准表达式 $\langle u | O | v \rangle$ 对于算符作用在一个方向有效而在另一个方向无效的状态，或者对于结果泛函无界的状态，往往是未定义或定义不明的。
3. 歧义与复杂性：该形式体系引入了关于算符作用于左矢的歧义，并需要繁琐的变通方法（例如限制算符仅向右作用）以避免数学上的不一致性。
4. 教学障碍：右矢 - 左矢符号的对偶空间性质及其象征性的“机制”，造成了学生理解底层物理的已知困难。

方法论
作者通过对右矢 - 左矢形式体系数学基础的批判性分析，引用了狄拉克、约赫（Jauch）、吉耶尔（Gieres）和温伯格（Weinberg）的著作。分析分三个阶段进行：

1. 对原始形式体系的批判：本文证明，将左矢定义为任意线性泛函的原始定义与标量积的性质（特别是施瓦茨不等式）不相容，因为它允许存在无法对应态矢量的无界泛函。
2. 对修订形式体系的批判：即使将左矢限制为有界线性泛函（协矢量），本文也认为，算符作用于左矢（$\langle u | O$）的标准定义对于某些状态和无界算符仍然无效。因此，标准的矩阵元符号 $\langle u | O | v \rangle$ 并非普遍适用。
3. 新方案的构建：作者构建了一种新的“通用”无表示方案。该方案建立在单一希尔伯特空间（单空间）之上，但旨在容纳对偶空间的解释。它采用了一种修改后的符号：态矢量用斜杠表示（例如 $/u/$）或标准符号，标量积写为点积（$u \cdot v$）。

主要贡献与结果
本文提出了一种新形式体系，在保留右矢 - 左矢方法计算效用的同时，解决了已识别的缺陷：

• 统一的单空间/对偶空间框架：新方案允许单空间和对偶空间两种解释。在单空间视角下，$u \cdot v$ 表示同一空间中两个矢量的标量积。在对偶空间视角下，符号 $u \cdot$ 被视为不可分割的协矢量（线性泛函），从而允许将标量积视为协矢量与矢量的配对。
• 算符定义域的严格处理：与右矢 - 左矢形式体系不同，新表达式清晰地划定了定义域。矩阵元写为 $u \cdot Ov$ 或 $Ou \cdot v$。这些形式明确显示了哪个算符作用于哪个态，确保表达式仅在运算数学上有效时使用。这消除了 $\langle u | O | v \rangle$ 符号关于算符是作用于左矢还是右矢的歧义。
• 投影型算符：本文引入了投影型算符的特定符号：$u * v \cdot$。此处，星号（$*$）表示矢量间的乘法，点号（$\cdot$）跟在第二个矢量之后。该算符对态 $w$ 的作用定义为 $u * (v \cdot w)$。这种符号允许在不出现外积 $|u\rangle\langle v|$ 中存在的定义域歧义的情况下，展开恒等算符并表示基矢中的一般算符。
• 伴随算符：伴随算符 $O^\dagger$ 的定义被简化为关系式 $O^\dagger u \cdot v = u \cdot Ov$。本文指出，伴随算符在该方案中并非像右矢 - 左矢形式体系那样是基本构成要素，从而进一步简化了结构。

意义与主张
作者声称，这种新表述“完全摆脱了右矢 - 左矢形式体系的缺陷”。该工作的意义在于：

• 实用效用：该方案提供了进行无表示实际计算的“高效手段”，提供了与右矢 - 左矢形式体系相当的工具（如显式投影算符和基矢展开），但具有更高的数学严谨性。
• 概念清晰度：通过允许单空间解释，该形式体系使量子理论与标准矢量代数更加一致，可能缓解与对偶空间右矢 - 左矢符号相关的教学困难。
• 普适性：该方案被称为“通用”的，因为它支持单空间视角（适用于一般关系和数学一致性）和对偶空间视角（适用于特定应用，如装备希尔伯特空间及量子理论的某些解释）。
• 教学桥梁：作者建议，新方案可作为掌握广泛使用的右矢 - 左矢形式体系的更便捷入门途径，因为一旦理解了新方案的对偶空间解释，两种符号之间的对应关系就是直接的。

本文结论认为，虽然无表示方法对于一般关系是不可或缺的，但所提出的方案相较于传统的右矢 - 左矢形式体系，提供了这种方法的更优越实现。