玻姆(D. Bohm ) 也是主张 量子力学只给微观客体以统计 性描述是不完备的。1953 年他 提出, 有必要引入一附加变量 对微观客体作进一步的描述。 这就是隐变量(h iddenvariabl e) 理论。 1965 年, 贝尔(J. Bell) 在局域隐变量理论的基础上推 导出一个不等式, 人称Bell 不等式, 并发现此式与量子力 学的预言是不符的, 因而我们 有可能通过对此式的实验检验, 来判断哥本哈根学派对量子力 学的解释是否正确.
从EPR谈起
然而,自然界是否确实按照量子理论的规律运行? 量子力学的解释是否站得住脚, 自20 世纪20 年代量 子力学建立以来一直是颇有争议的。以爱因斯坦为代 表的一批科学家始终认定量子力学不是完备的理论, 而以玻尔为代表的哥本哈根学派则坚信量子理论的正 确性。 爱因斯坦等人构思了一个由两个粒子组成的一 维系统相互远离的思想实验, 用反证法对量子力学 的完备性提出质疑。
量子计算机的构造及实验方案
• 正如经典计算机建立在通用图灵机基础之上,量子计算机亦 可建立在量子图灵机基础上。量子图灵机可类比于经典计算机的 概率运算。上面提到的通用图灵机的操作是完全确定性的,用q 代表当前读写头的状态,s代表当前存储单元内容,d取值为L,R, N,分别代表读写头左移、右移或不动,则在确定性算法中,当q, s给定时,下一步的状态q',s'及读写头的运动d完全确定。我们 也可以考虑概率算法,即当q,s给定时,图灵机以一定的概率 (q,s,q,s”,d)变换到状态q',s'及实行运动d。概率函数 (q,s, q',s',d)为取值[0,1]的实数,它完全决定了概率图灵机的性质。 经典计算机理论证明,对解决某些问题,慨率算法比确定性算法 更为有效。 • 量子图灵机非常类似于上面描述的经典概率图灵机,现在q,s, q',s'相应地变成了量子态,而概率函数 (q,s,q',s',d)则变 成了取值为复数的概率振幅函数x(q,s,q',s',d),量子图灵机 的性质由概率振幅函数确定。正因为现在的运算结果不再按概率 叠加,而是按概率振幅叠加,所以量子相干性在量子图灵机中起 本质性的作用,这是实现量子并行计算的关键。