中性原子量子计算的基本概念
带着以下问题阅读效果更佳
- 为什么要做量子计算?
- 什么是量子比特?为什么选择中性原子来实现?
- 当前业内使用的中性原子相比人们熟知的(比如氢原子),在实现量子计算方面的本质差异是什么?
中性原子的量子力学视角
Section titled “中性原子的量子力学视角”量子力学告诉我们,微观物体的“状态”是离散的。以我们在高中化学里学过的最简单的中性原子——氢原子为例,它拥有许多种不同的状态,对应电子处在 1s 轨道、2s 轨道、2p 轨道等等。每一种状态都具有特定的能量。当一束频率合适的光(电磁波)照射原子时,光的能量在微观世界也是一份一份传递的,称为光子。如果光子的能量恰好等于两个状态能量之差,原子就可以吸收光子发生跃迁,例如从1s轨道跳到2p轨道。
如果我们能通过精密的量子技术来控制原子何时发生跃迁,我们就有希望建立一套量子世界的“二进制”系统。比如,将氢原子的 1s 轨道定义为量子比特的“0”态,2p 轨道定义为“1”态。由于量子物理的叠加特性,原子可以处于这两个轨道的某种叠加之中,得到一种性质比经典比特更好的“量子比特”(qubit),基于这种量子比特进行的计算,即称为量子计算。
可惜的是,用氢原子的 1s 和 2p 轨道做量子比特存在致命的缺陷。首先,1s 到 2p 的跃迁对应的能量极大(波长约 121.6 纳米,属于真空紫外线波段),人类在实验上很难获得并精准控制如此高频率的激光;其次,由于 2p 轨道能量远高于 1s,它是一个极不稳定的“激发态”,会通过自发辐射(Spontaneous Emission) 过程快速向低能级回落。一个处于 2p 状态的氢原子会在短短约 1.6 纳秒( 秒)内释放一个光子跌落回 1s 态。如此短暂的存储寿命(相干时间),科学家根本来不及编排复杂的量子操作指令。
为了解决“寿命”和“操控难度”的问题,实际的中性原子计算平台不会直接把不稳定的光学激发态作为储存信息的“1”态。相反,物理学家转向了拥有更丰富内禀自由度、结构精致的重原子,比如常用的碱金属铷同位素()或碱土(及类碱土)金属(例如 )。它们最大的优势在于:其中的电子自旋与原子核由于磁矩相互耦合,产生了一组能量极其接近的能级(称为超精细劈裂或核自旋态)。如果用它们来定义“0”和“1”。因为“0”和“1”同属稳定的低能量状态,原子不会发生强烈的自发辐射衰变,其寿命一跃可以达到数秒甚至数十分钟。在此基础上,通过经过严格设计的微波或双光子拉曼激光,我们就能对这些长寿的能级进行精准受控的操作(称为量子门),从而构筑起实用化量子计算平台的基石。
Qubit 到底是什么
Section titled “Qubit 到底是什么”在经典计算机中,一个比特(bit)就是两种宏观物质的状态,它可以被实现为一个双稳态触发器,一个有电或者无电的电容,或者磁铁的两级,总而言之,状态非 0 即 1。但一个遵循量子力学的微观粒子,它的两种状态构成的量子比特(qubit),可以处于 和 的量子叠加态(Quantum Superposition)。数学上,我们可以把它的状态写成一个波函数矢量的组合:
在这里, 和 就表示两种状态(比如 原子的两个超精细能级)。 和 则是对应两种状态的复数振幅。所有可能的状态对应于本科线性代数里学的的一个二维复线性空间,称为希尔伯特空间。
- 当你进行量子测量时,一个量子比特会坍缩到自己 0 或 1 的两种状态,分别的概率等于 或者
- 经典计算机的bit只有翻转这一个操作,但对于量子比特,你可通过一个精心设计的外加电磁场(如精准调制的激光和微波脉冲),驱使着量子比特在这个二维复线性空间里,从一个状态到达另外一个状态。
- 复数 和 中包含的相对相位,会在后续复杂的门操作演化中,如同水波般发生真实的干涉效应(Interference),这是量子算法超越经典暴力的根基源泉。
- 当把多个相同的原子比特放在一起激发和操作时,它们的叠加并不是简单的独立并排,而是能通过特定的物理耦合机制,形成一个更庞大的叠加状态。如果想完全刻画个量子比特的状态,就需要一个维的向量。仅仅50个量子比特组成一个系统的状态,就足以让世界顶级超级计算机也无法全部存储。
- 从计算复杂性理论上来讲,量子计算机能做所有经典计算机能做的事情,但 存在一些量子计算机上运行的算法(量子算法)能高效解决的问题,经典计算机被认为永远不可能解决。大整数的质因数分解Shor算法就是其中最著名的一个。
交互式演示:布洛赫球
Section titled “交互式演示:布洛赫球”对于单比特状态,数学家注意到,抽象的二维希尔伯特空间可以等价映射为一个球面——即布洛赫球(Bloch Sphere)。
单个量子比特的所有状态都可以用球面上的一个点来表示。在电磁场驱动下,比特的演化也可以看成是点在球面上运动的轨迹。科学家将电磁场驱动下的演化,封装成一个一个的 量子门,便于理论上分析,也便于实验工程上实现。这里再次提醒,对于经典计算机的比特,只存在一种门操作,那就是非门,将它从 0 变成 1, 或者从 1 变成 0。
但量子计算机的门操作能让量子比特到达球面上的任意一个点,也就是达到任意一种可能的量子态。
量子门操作下的单比特状态演化
点击 H、T、X, 可以作用量子门,观察状态点在布洛赫球上的轨迹,以及状态: α|0> + β|1> 如何同步变化。
布洛赫球
任何一个单比特态都可以用布洛赫球面上的一个点来表示。作用量子门可以改变量子态。
门序列与振幅
按钮会把门追加到当前线路。`Undo` 回退一步,`Reset` 回到初态 `|0>`。
通用量子门 (Universal Gate Set)
Section titled “通用量子门 (Universal Gate Set)”由于量子操作神奇的非对易性,严格来说, 两个门的排列组合,就能实现任意单比特门。再配合一个两比特门,比如CNOT或者CZ(将在下一章介绍),就能通过离散的门操作来实现任何多比特操作、任意逼近任何多比特量子态。
- 试试你能不能让 H 和 T 组合来实现 X 门的效果?(提示:T 门作用四次等于 Z 门,会绕着球面纬线转半圈,H 门能把 Z 门转换成 X 门)
- 也可以尝试一下,你能不能操作几个门按钮来让量子态逼近任意一个你心中指定的、球面上的点。这其实是一门很深的学问,称为量子编译。
量子门、量子线路与测量
Section titled “量子门、量子线路与测量”要真正构建一台可用的中性原子量子计算机,科学家和系统工程师门,要在真空腔内捕捉、排布好这些原子之后,如指挥交响乐团般对它们挨个施加精确的激光脉冲:把这些原子的受控演化串联为清晰、可组合的量子线路(Quantum Circuit)。这需要实现以下三种基本操作:
- 单比特量子门(Single-qubit Gate):单独聚焦于某个特定的原子,利用特定时长和极化的激光,对它施加上面提到的各类布洛赫球面旋转(仅改变它自身的波函数,如 门或 Hadamard 门)。
- 双比特量子门(Two-qubit Gate):单纯靠单原子各自运转是无法获得相比于经典计算机的 量子优势 的。必须在此基础上,通过安排原子间的相互作用——例如中性原子平台独具一格的“里德堡阻塞(Rydberg Blockade)”过程,可以让相邻原子的状态发生受控的纠缠,获得前面介绍过的通用多比特量子门。
- 量子测量(Quantum Measurement):当需要读出时,使用高能激光束直接轰击原子系统,迫使波函数坍缩为我们可以在实验室仪器或者屏幕上读取为 0 和 1 的测量结果。
任何一个量子硬件平台,最终的目标都是受控且可扩展地实现以上三种操作。
噪声与错误:量子计算的阿喀琉斯之踵
Section titled “噪声与错误:量子计算的阿喀琉斯之踵”在讨论量子计算时,人们往往容易被其强大的理论算力所吸引,而忽略了物理实现中极其严酷的现实:量子信息异常脆弱,以至于纠错成为了一个必需品。
其实,经典计算机也需要纠错,只是需求并没有那么高。在你日常使用的笔记本电脑里,晶体管的状态(0 伏或 5 伏)即使受到微小的热扰动,只要不跨越数字逻辑的硬性阈值,电路就能自动屏蔽这些干扰,偶尔真的出了问题,也可以通过让Windows系统弹出一个蓝屏强制重启来解决。即便如此,在容忍度极低的数据中心和高性能服务器中,依然会默认搭配带有错误检查和纠正功能(ECC)的内存条,以防止宇宙射线或电磁脉冲意外翻转了某个关键的比特。
但对于量子计算机而言,纠错不是内存条上的ECC标识那样锦上添花的高配选项,而是确保大规模计算得以进行的必须前提。这源于量子物理几个致命的脆弱特质:
- 模拟性质的连续误差:经典比特是离散的“数字抗体”(非0即1)。但在布洛赫球面上,量子叠加态处于一个连续的坐标空间。这就意味着误差也是连续的:微小的激光脉冲强度抖动(导致球面上多转了几度,即振幅误差)、或是真空腔内杂散微波磁场的轻微波动(导致叠加相位的漂移,即退相干 / 相位误差),都会在成百上千次复杂的门操作串联中隐式累积,最终让原本精密的干涉结果面目全非。
- 坍缩与不可克隆(No-Cloning):经典纠错最朴素的做法就是把数据“多备份几份”;而在量子力学中,量子不可克隆定理从物理法则上锁死了我们复制未知量子态的可能。更致命的是,一旦你用激光去强行“看一眼”(测量)哪怕一点点状态信息,脆弱的波函数叠加就会立刻灾难性坍缩。因此,量子纠错必须设计出极其巧妙的测量与纠缠电路,在“不直接获知计算态究竟是什么”的前提下,把错误提取并剥离出去。
- 状态泄漏与粒子散失:中性原子平台还会面临更直观的载体损失——在光束操控期间,原子可能被未定义的杂散光谱激发到无用的高能级(状态泄漏);更常见的是,哪怕在极高真空腔里,残余的室温背景气体分子也可能产生随机热碰撞,硬生生把承载着量子信息的原子从捕捉它的光镊陷阱里撞飞(原子丢失)。
要在这样的乱局中杀出一条血路,量子系统不能祈求底层硬件永远不出错。它必须走入容错量子计算(FTQC) 的深水区:用数十甚至数百个极易出错的“物理比特”相互纠缠,去共同编码保护出一个坚不可摧的“逻辑比特”。
这事实上也是量子力学的魅力所在:人类竟然真的能通过坚实的数学基础,构想出一条可行的工程路径,来保证一个脆弱的、连续的量子状态不受错误的干扰。即使对于领域内研究多年的专家而言,每每想到这一点,也经常感叹大自然的神奇。
本章takeaway 要判断一个中性原子量子计算项目,或者任何量子计算项目,是否具备真正的长期投资价值,其核心重点绝不能仅仅看有没有成功制备或操纵了几个高保真指标的孤立量子比特,因为再高的保真度,也会在实用目标要求的、长期的操作后指数衰减,让信噪比接近于0。
真正的竞争力在于它的系统工程闭环硬实力:在一整套向成百上千规模扩张的量子比特阵列上,底层架构能否坚韧应对无孔不入的微波连续噪声、多普勒散焦甚至简单的原子逃逸流失?它是否能把光学制备、抗噪控制门阵、实时原位无损探测,以及最关键的一环——并行动态的原子重排与底层的无损容错量子编码算法,严丝合缝地统合在同一套测控架构里,并维持极强的时序稳定度?只有这种敢于直面物理错误并具备底层容错恢复潜力的全链条打通能力,才能帮助该技术路线真正孕育出实用的通用量子计算设备。