物理现实的量子力学描述能否认为是完备的（doc X页）

物理现实的量子力学描述能否认为是完备的（doc X页） 物理现实的量子力学描述能否认为是完备的, [著]爱因斯坦、波多尔斯基和罗森 [译] 07046007 杜雪 在一个完备的理论中，每一个物理实体的要素都要有与之相对应的要素。一个物理参量客观存在的充分条件是——在不会干扰系统的情况下，能够准确预计其值。量子力学中，在由不可对易的算符所描述的两个物理要素的情况下，知道其中一个物理量的准确知识将排除对另外一个的准确知识。 那么就会有这两种可能: (1) 由量子力学中的波函数所描述的实体是不完备的; (2) 这两个物理实体要素不能够同时客观存在。 在预测一个系统时，我们是基于另一个先前与其相互作用的系统得出的测量法则。出于对这个问题的考虑会导致这样的结果:如果第(1)种可能是错误的，那么第(2)种可能也是错误的～这样我们就可以推断出量子力学中波函数对物理实体要素的描述是不完备的。 1 任何一个严谨的物理理论必须要区别客观实体与这个理论运作所依据的物理概念。客观实体应该独立于任何理论存在。这些概念联系着客观实体，而且通过这些概念我们为自己描绘出了这个客观实体。 判断一个物理体系的成功与否，我们会问自己这样两个问题: (1) “这个理论是正确的吗,” (2) “理论的描述是完备的吗,” 只有在这两个问题都给出肯定的回答的情况下，这个理论的概念才能被看作是令人满意的。这个理论体系的正确性是通过此体系的结论与人类自身的经验的一致程度来判别的。这种经验在物理学中体现为实验和计算。我们只有通过实验才能对客观实体做出推断。在此我们来探讨第(2)个问题——“量子理论的描述是完备的吗,” 用量子力学的原理来阐述。 无论富于“完备性”这个术语何种解释，紧接着对一个完备系统必须有一个必要条件: “每一个物理实体的要素必须在其物理理论中有一对应物～”我们把这个必要条件称作完备性的条件。只要我们能够确定什么是物理实体的要素，那么第二个问题就容易回答了。 物理实体的要素不能够通过由原因推出结果的哲学理念来决定，而必须由实验和计算的结果来发现。然而对实体的完整的定义对于我们的目的来说不是必要条件。我们会对接下来这个我们认为是合理的感到满意:“如果在不对系统造成任何干扰的情况下，我们可以准确地预测(即，以等于1的概率)一个物理参量的值，那么就存在一个物理实体的要素对应于这个物理参量。”看起来，这个标准决不是让我们穷尽所有可能的方法去认知一个物理实体。至少它给我们提供了这样一个方法——条件在事物发生的一刻确定了。只要这个标准不是被看 作一个必要条件，而是仅仅作为一个充分条件，那么它就同样适用于经典物理以及量子力学中对实体的概念。 为了解释说明这个包含着的概念，让我们假设量子力学对粒子行为的描述有单一的自由度。这个理论的基础概念是“态” 。态被认为是由波函数 完全, A描述。波函数由所选择的变量来描述粒子的行为。对应于每一个物理可观测量 ，有一个可以是用同一个字母来表示的算符。 A如果 是算符 的特征函数，也就是说: (1) aA式中物理量 是一个数。一旦粒子处于由 描述的态中，物理量 就被赋予 a了一个确定的值 。与我们对于实体的标准一致，一个粒子处于由 描述的态 A中， 满足等式(1),有一个对应于 的物理实体的要素。例如: (2) p0这里h是普朗克常量， 是一个常数，x是一个不确定的变量。由于算符对应于粒子的动量: (3) 我们得到: (4) p0那么，在由等式(2)确定的态中，动量具有确定的值 。这样说粒子的动量在等式(2)确定的态中是实际存在的就有意义了。 A 另一方面如果等式(1)不成立，我们不能够说物理量 有特定的值。下面举粒子坐标的例子。坐标对应的算符，设为q,是算符与独立变量的乘积。 那么， (5) 用符合量子力学的观点我们只能说测量坐标所得的结果介于a , b 之间的可能为: (6) 由于这个可能是独立于a的，但是仅取决于b-a的差值。因此我们知道坐标的所有值都是等可能的。 处于由等式(2)确定的态中的粒子，它的坐标的确切值是不可观测得。但是可以仅由一个直接的测量来得到。然而这样的一个测量干扰了粒子，并且改变了它的态。当它的坐标被确定之后，这个粒子已经不再在由(2)所确定的态中 了。量子力学中由此得到的常见的结论是“当一个粒子的动量确定之后，它的坐标不再是一个物理实体。” 更普遍的，量子力学中所讲，设A，B是两个物理量对应的算符，它们不对易，即。那么，它们其中一个的确切知识就会阻断另一个的知识。更进ABBA, 一步的，任何试图通过实验决定后一个的企图都会改变系统的态，从而破坏了前者的知识。 从而得到如下推论: (1)或者说，在量子力学中波函数对物理现实的描述是不完备的。 (2)或者说，两个对应于不可对易算符的物理量不能同时是实在的。 (即具有确定的值) 因为如果它们同时都是实在的(具有确定的值)，根据完备性条件，这些值将会进入到完备描述中。如果这样，波函数就会提供对实在的完备描述，其中包括这些值。这些值将会是可观测得。但这是不可能的，我们只能二选一。 量子力学中通常假设波函数确实包含对物理实体的完备描述，这个物理实体处在于这个系统相对应的态中。乍看之下，这个假设是完全合理的，因为从波函数得到的信息看上去准确的符合测量量而不影响系统的状态。然而，我们要指出的是，这个假设与上面给出的物理实体的标准是相矛盾的。 2 基于这个目的，让我们设想有两个系统，I和II。我们允许它们在t=0到t=T之间相互作用，过了这个时间之后，假设这两部分间不再有相互作用。再进一步假设这两个系统在t=0之前的状态是已知的。然后根据薛定谔方程，我们可以计算出在其后任意时刻联合系统I+II的状态，尤其是在任意t>T的时刻。用相应的波函数 来指出。然而，在相互作用之后，我们不能计算任何一个系统的状态。根据量子力学，这只能通过更进一步的测量，通过一个“波包衰减”的过程。让我们考虑一下这个过程的实质。 aaa123,,...设是某个物理参量A附属于系统I的特征值。对应的特征方程为 其中代表用来描述系统I的变量的值。那么，的一个方x1x1uxuxux112131(),(),(),... 程可表示为 (7) x2 表示描述第二个系统的变量的值。这里,n()x2仅仅被看作是函数展开 ux()1ak成为一系列正交函数的系数。现在假设参量A被测量，且具有值。接着n uxk()1可以得出在测量之后，第一个系统遗留在由波函数决定的态中，而第二个 系统遗留在由波函数决定的态中。这就是波包衰减的过程;由无穷级数给,k()x2 出的波包衰减为单一的项。 ,k()x2uxk()1 函数的集合由物理参量A的选择决定。代替这些，如果我们选择另一ux()1n 个参量，设为B，它具有特征值以及特征方程 代替等式(7)，我们可以得到展开式 (8) br其中是新的系数。如果现在B被测量了，且具有值，我们于是得出在测量之后，第一个系统遗留在由 给出的状态中，第二个系统处在由 给出的态中。 因此我们知道，作为在第一个系统上实行的两个不同计算的后承，第二个系统可能处在这样的状态下，这个状态具有两个不同的波函数。另一方面，由于在测量的同时亮个系统不再相互作用，在第二个系统中，并不会由于任何作用于第一个系统的东西而产生真正的改变。当然，这仅仅是由于两系统间相互作用的缺少所表现出的声明。那么，就有可能对同一个实体(与第一个系统相互作用之后的第二个系统)安排两个不同的波函数(在我们举的例子里是和) 现在，可能会出现这种情况:这两个波函数和分别是两个不可对易算符P和Q的特征方程。这可能的确是可以由一个例子展现的情况。我们假设这两个系统斯两个粒子，而且: (9) 其中是某个常数。设A是第一个粒子的动量，然后，就像我们在等式(4)x0 所知道的，对应于特征值p，它的特征方程为: (10) 由于我们在这里有一个连续谱的情况。等式(7)现在写为: (11) 其中， (12) 这个是算符P的特征方程。 (13) 对应于第二个粒子的动量的特征值 -p 。另一方面，如果B是第一个粒子的坐标，它具有对应于特征值x的特征方程 (14) 其中是著名的狄拉克δ函数。等式(8)在这种情况下变为: (15) 其中， (16) 这个是算符Q的特征方程 (17) 对应于第二个粒子的坐标的特征值。由于 (18) 我们已经指出，对应于物理参量，和是两个不可对易算符的本征方程是普遍可能的。 现在回到等式(7)和(8)所关注的普通的情况。假设和真是某不可对易算符P和Q的特征方程。分别对应于特征值和。那么，通过测量A或者B，我们能够在不以任何方式干扰第二个系统得情况下，确切的预测无论是P的值(即)还是Q的值(即)。与我们对实体的定义标准相符合，在第一种情况下，我们必须参量P是实体的要素;在第二种情况下参量Q是实体的要素。但是，正如我们所知道的，波函数和都属于同一个实体。 之前我们证明了 (1) 或者说，在量子力学中波函数对物理实在的描述是不完备的; (2) 或者说，两个对应于不可对易算符的物理量不能同时是实在的。 然后假设波函数确实对物理实体进行了完备性描述，我们得出这样的结论:两个对应于不可对应算符的物理量可是同时是实在的。那么，对(1)的否定导致了对为一个另一种情况(2)的否定。因此我们被迫推论出量子力学通过波函数对物理实体的描述是不完备的。 一个人可以以我们对物理实在的定义标准不是充分严格的理由来反对这个结论。实际上，如果一个人坚持认为，“只有当两个或者更多的物理参量可以同时被测量或预测”的情况下，它们可以被认为是实体的同时存在的要素，那么此人就不会得出我们的结论。在这种观点之下，由于参量P和Q中的一个或者是另一个，而不是同时能够被预测，它们不会同时是实在的。这使得P和Q的存在取决于在第一个系统上实行的测量过程，这个过程不会以任何方式干扰第二个系统。没有对实在的合理的定义可以想当然的区允许这种情况。 因此我们指出波函数不会对物理实体进行完备性描述。我们把这样的描述是否存在的问题搁着暂不解决，然而我们相信，这样的一个完备的理论体系是可能的。