程序猿遇上量子计算 - 从0到1入门量子计算
量子力学需要复数
历史起源-薛定谔方程
量子力学的发展于20世纪,量子计算则兴起于21世纪。
1900年,普朗克在研究黑体辐射的实验,分析电磁辐射能量是一份一份的,离散而不可再分的,提出的量子化的概念,这也是量子概念的初见世面。1905年爱因斯坦在研究光电效应时,进一步阐述了“量子化”,提出光电效应数学公式,光析出每个电子的动能Ek,Ek可表示为:Ek=hv-Φ。v-频率,h-普朗克常数,Φ-功函数。
1925年,一战已经结束,欧洲大陆恢复了和平,理论学术重新活跃,微观尺度粒子特性一直是科学家们研究的重点,包括“量子”。瑞士苏黎世,奥地利理论物理学家薛定谔在物理学术研讨会中精彩阐述了波粒二象性,物理学家-德拜指出:“既然粒子具有波动性,应该有一种能够正确描述这种量子性质的波动方程”。这给了薛定谔极大的启发与思考,关于定义粒子的波动方程成为薛定谔新的研究方向。
1926年,薛定谔参考德布罗意论文的相对论性理论,推导出一个相对论性波动方程,他尝试将方程应用于氢原子,计算出束缚电子的波函数,计算结果与物理实验测量的结果一致,达到精度要求。薛定谔发表了论文,正式提出薛定谔波动方程。
这篇论文给以量子学术界的地震,将其带入下一个时代。爱因斯坦称赞“这著作的灵感如同泉水般源自一位真正的天才。”
薛定谔方程是描述微观粒子的状态随时间变化的规律,是含时方程,时间作为变量。
细心的读者会发现薛定谔方程是二阶线性偏微分方程,函数值是复数的,现今量子力学中也习惯用复数来表示,道理何在?
复数必要性的证明
复数包括实数和虚数,实数包括有理数和无理数,定义是数轴上一一对应的数值;虚数则是偶数次方是复数的数,例如(a+b*i)将偶指数幂是负数的数定义为纯虚数。
1926年薛定谔建立薛定谔波动方程时,写下二阶偏微分方程,将复数i引入了量子力学的世界。后面,量子领域的科学家久久思索,复数/虚数真的是量子力学中必要的吗,能不能构建实数方程,在可理解性上更佳,计算速度上更好。薛定谔、冯诺依曼、厄恩斯特·斯蒂克尔堡等科学家均尝试构建实数的量子力学,一度认为复数在量子力学里只是方便计算的手段,而不是必需的存在,似乎我们完全可以只用实数去描述量子的世界。
欧拉公式:
2021年1月,奥地利、西班牙和瑞士等欧洲国家的科研团队提出 一种利用确定性纠缠交换验证复数必要性的贝尔不等式类型的检验方法,在实验上证明复数在量子力学中的必要性。
2022年,中国科学技术大学潘建伟、陆朝阳团队和南方科技大学范靖云团队独立地实验排除了实数形式的标准量子力学。潘建伟院士团队进行了完整贝尔态测量,严格证明了复数的必要性。
复数的概念 形式
定义
量子力学需要复数,欧洲科学家利用确定性纠缠交换,验证复数必要性,中国潘建伟院士亦进行了完整贝尔态的测量。
复数,包括实数和虚数,属于数域的扩充;虚数的提出是因为复数开偶次方根没有意义,为了闭环负数的开根,例如 i2= -1,则提出了虚数的概念。
代数定义
学术上将 z=a+bi (a,b为实数,i为虚数) 称之为复数,其中a是实部,b是虚部。
当 a=0,b=! 0时,z=bi,则为纯虚数。
当 a!=0,b=0时,z=a,则为实数。
当 a!=0,b!=0时,z=a+bi,有实部和虚部,则为复数。
几何表示
对于虚数 z=a+bi,在实数几何坐标中无法表示,因此,引入复平面,即复数几何坐标轴,横轴是实数,纵轴是虚数。
z = a+bi 即可在几何坐标中表示
复数的三角函数表示
已知z=a+bi, 是z和x实数轴的夹角。
复数的模
把复数实部和虚部的平方和开算术平方根则称之为 复数的模,记住|z|
常用公式
虚数的平方等于-1
i的n次幂
i的n次幂是周期函数,周期为4
欧拉公式
定义
数学世界的海洋中,著名公式灿若星河,其中欧拉公式则是最为灿烂的珍珠,他把三角函数和复数联系在一起。数学中有很多欧拉命名的常数、公式和定理,得名于瑞士数学家莱昂哈德·欧拉 。
e是自然常数,i是虚数单位,sin是正旋函数,cos是余弦函数
欧拉恒等式中包括了圆周率,自然常数e,虚数单位i,重要实数1,0
这个恒等式也叫做欧拉公式,它将数学里最重要的几个数字联系到了一起,数学家们评价它是“上帝创造的公式”。
练手习题
题1
题2
题3
文献索引
[1] The Principles of Quantum Mechanics P.M.Dirac
[2] 物理学修订版 Lett. 129, 140401 (2022) - 严格局部条件下实值量子力学的实验反驳 (aps.org)
[3] 简明量子力学 吴飙