吴宇恺 段路明3)†

1)(清华大学交叉信息研究院,北京 100084)

2)(合肥国家实验室,合肥 230088)

3)(新基石科学实验室,北京 100084)

1 引言

近年来,量子计算以其潜在的超越经典计算机的性能获得了广泛的关注.离子阱是当前在实现量子计算方面最为领先的物理系统之一,具有量子比特全同性好、量子操作保真度高、量子态相干存储时间长、支持长程量子纠缠逻辑门等优势.自从1995年最早的量子计算实施方案在离子阱系统提出以来[1],离子阱量子计算机的研究取得了显著的进展,已经在32 个量子比特系统中实现了保真度达到容错量子计算阈值的通用量子操作[2],且逻辑比特的容错量子纠缠逻辑门保真度已超越了物理比特[3].然而,与其他主要的量子计算平台类似,现有的离子阱量子计算机的规模距离解决大量实际问题所需的上百万个量子比特仍有较大的差距.如何在保持当前量子比特的高性能的前提下,进一步扩展量子比特的数量,将是今后离子阱量子计算研究的重要方向.本文将探讨离子阱量子计算机规模化的一种可能的途径,以期激发更多该领域的研究工作.

2 离子阱量子计算研究现状与挑战

离子阱量子计算机[4]采用射频电场和静电场结合,将离子约束在真空中,使其在库仑力作用下排列成稳定的阵列.离子量子比特编码在各个离子的稳态或亚稳态能级上,利用激光或微波可控制不同能级之间的跃迁,实现任意的单比特量子逻辑门.此外,利用合适频率的激光还可以将离子的内部能级和离子在空间中的振动耦合在一起,产生一个自旋相关力(spin-dependent force).不同离子的振动通过离子之间长程的库仑力耦合在一起,进而将不同离子的内部能级耦合起来,由此可以实现两个离子之间的双比特量子纠缠逻辑门.当前,离子阱系统已实现单比特量子逻辑门保真度99.9999%[5],以及2 离子系统中单比特量子逻辑门保真度99.99%、双比特量子逻辑门保真度99.9%[6,7].

为了获得可独立操控的多个量子比特,主流的离子阱量子计算实验通常设计合适的约束电场,让离子沿着离子阱的轴线方向排列成间距几微米的一维阵列,从而可以利用聚焦的激光束对各个离子进行单独寻址操控.利用该方法,国际上已实现了对13 个离子的单比特量子逻辑门平均保真度99.98%,以及全连通的双比特量子逻辑门保真度98.5%—99.3%[8],并在53 离子[9]和61 离子[10]的一维阵列上演示了量子模拟实验.然而,一维构型所能提供的离子数并不能满足离子阱量子计算机的规模化需求.受限于离子阱所能提供的最大径向约束电场强度,为了将更多的离子维持在一维构型,需要降低轴向的约束电场,而这将使离子的轴向运动更易受到环境电磁噪声的影响,最终限制所能稳定约束的离子数[11].目前,室温离子阱系统通常只能稳定约束数十个离子的一维阵列,而进一步降低环境温度、提高系统真空度的低温离子阱系统,通常也只能稳定约束100—200 个离子的一维阵列[12,13].这远低于未来的大规模通用量子计算机所需的数百万量子比特的规模.

为了进一步扩展离子量子比特的数量,国际上目前有两种主流的研究思路.一种是离子输运方案,也称为QCCD(quantum charge-coupled device)方案[11,14],设置多个空间区域分别用于进行逻辑门、量子比特存储、量子态测量等操作,通过精密调控约束电场来实现离子在这些空间区域之间的输运,例如将来自不同存储区域的两个离子移动到同一个逻辑门区域进行量子纠缠,再将一个移回存储区域用作后续操作,而将另一个移动到探测区域进行测量,通过这些操作的组合可实现大规模通用量子计算.该方案的优势在于,每个逻辑门或探测区域内只容纳少量离子,而不同区域之间的间距较大,从而有效抑制了不同区域间离子的串扰误差,使得每个基本量子操作的保真度不随总离子数的增加而降低.近期,Quantinuum 公司利用该方案实现了32 离子单比特量子逻辑门平均保真度99.997%、全连通的双比特量子逻辑门保真度99.8%[2].然而,该方案也面临一些技术上的挑战与限制.为了准确控制离子的输运路径,需要精确设计加工离子阱的电极并进行精密的电压控制,一方面希望提高离子的输运速度以缩短量子计算的时间,另一方面又需要避免输运过程显著加热离子的振动,否则将会降低后续的量子逻辑门的保真度.通常,在输运结束后,还需要对编码量子比特的离子(称为“计算离子”)进行协同冷却,即采用另一些离子进行激光冷却(称为“冷却离子”),在不干扰编码的量子比特信息的前提下把计算离子的运动状态冷却下来.以上述32 离子为例,在多种典型的量子线路中,离子输运和协同冷却所消耗的时间,都占据了总运行时间的98% 以上[2].在一维的离子输运架构中,为实现量子比特全连通性所需的输运时间还将随离子数进一步增长,而二维的离子输运架构则需要更为复杂的电极设计,面临新的技术挑战.此外,为了独立控制各个量子操作区域并降低离子间的串扰误差,不同区域之间的距离需要在数十到数百微米以上,远大于单个离子阱中典型的数微米的离子间距,这也限制了相同空间内所能容纳的离子量子比特数.

另一种主流的离子阱量子计算规模化方案是离子-光子量子网络方案[15],将多个离子阱作为独立的量子计算模块,在各个离子阱中让一部分离子量子比特与光子纠缠,再对来自不同离子阱的光子进行纠缠交换(entanglement swapping),从而把不同离子阱中的离子量子比特纠缠在一起.方案中通常也需要两种不同种类的离子,一种“计算离子”编码量子比特信息,用于模块内的量子计算;另一种“通信离子”用于产生与光子的纠缠,从而进行与其他离子阱的连接.该方案的优点在于,单个离子阱的结构设计较为简单,且不同离子阱的操控相对独立.当前,实验上已实现了不同离子阱中的两个离子通过光子产生量子纠缠,保真度达到78%[16]和94%[17].但是,受限于光子的产生、收集和探测效率,该方案中不同离子阱之间的量子纠缠产生效率较低,典型的时间尺度在10 ms 以上,远长于单个离子阱中的量子纠缠逻辑门的数十到数百微秒的时间.如果每个离子阱中的离子量子比特数量较少,利用该方案进行规模化时,模块间的通信速率将成为总量子计算时间的制约因素.

此外,在上述方案中所用的“计算离子”和其他“冷却离子”、“通信离子”以及量子纠错中用于实时检测所发生的错误的辅助离子(以下统称“辅助离子”),通常需要采用不同种类的离子,例如镱和钡两种不同的元素[2],或是钙-40 和钙-43 两种不同的同位素[18],从而使得不同离子之间的共振跃迁频率不同,避免了在协同冷却、量子比特状态测量或产生离子-光子量子纠缠时散射的光子对计算离子所编码的量子信息造成串扰误差.但这也使离子阵列失去了部分的全同性,需要合适的技术来准确地控制各类离子的位置和比例.另外,对于协同冷却,由于不同种类的离子质量不同,也将影响离子之间的集体振动模式,使得冷却效率降低[19].而对于离子-光子量子网络方案,在生成了通信离子之间的量子纠缠后,会需要进一步在计算离子和通信离子之间执行量子纠缠逻辑门,其难度也高于同种离子之间的逻辑门[18,20,21].

3 离子阱量子计算规模化的新思路

由于上述主流的规模化方案中存在的技术挑战,近年来,一些新的规模化思路也开始引起了研究人员的关注.

针对一维离子阵列在规模化上的困难,可以采用二维离子阵列来扩展量子比特数.通过设置合适的约束电场,可以让一个空间方向的约束明显强于另两个方向,从而使离子形成二维阵列,由此可将单个离子阱中容纳的量子比特数扩展至数百乃至数千.此前,实验中已实现过150 以上离子的二维阵列[22],近期我们也在低温离子阱中实现了约500 个离子的二维阵列,如图1 所示.此前一般认为,由于二维阵列中离子在射频电场作用下会表现出高频的微运动(micromotion),将阻碍对离子执行高保真度的逻辑门.但我们的理论研究工作表明,离子的微运动并不引起退相干效应,可以将其包含在激光序列的设计中,实现高保真度的逻辑门[23–25].此外,二维离子阵列的量子计算也需要解决二维平面上的任意寻址问题.如图2 所示,可以通过一对正交放置的声光偏转器(acousto-optic deflector)分别控制水平和竖直方向的寻址[26],以获得对二维离子阵列的任意单独寻址,从而实现通用量子逻辑门.

图1 清华大学实验团队获得的约500 个离子的二维阵列Fig.1.A 2D ion crystal with about 500 ions at Tsinghua University.

图2 利用一对正交放置的声光偏转器进行二维单独寻址[26].图中AOD1 和AOD2,AOD1′ 和AOD2′ 各为一对正交放置的声光偏转器,各自可进行水平和竖直方向的单独寻址Fig.2.Individual addressing in 2D through a pair of cross-placed AODs[26].Here AOD1 and AOD2,and AOD1′ and AOD2′,are two pairs of cross-placed AODs,each of which can achieve individual addressing in the horizontal and vertical directions.

对于实验中使用不同种类的离子的困难,可以采用同种离子的不同亚稳态能级来实现所需的计算离子和辅助离子[27].如图3 所示,采用镱-171离子的 S1/2和F7/2两对超精细结构能级,来承担大规模量子计算中所需的不同角色,称为S-量子比特和F-量子比特,合称为“双重类型量子比特”(dual-type qubit)方案.利用双色窄线宽激光,可实现S-量子比特和F-量子比特之间的相干转换,保真度达到了99.5%.由此,可以将量子计算过程中需要保护的计算离子实时地转移到F 态,而利用留在S 态的离子承担辅助离子的任务.本工作中演示了S 态离子进行协同冷却、量子态初始化与测量、单比特逻辑门,验证其对F 态离子的串扰误差小于0.06%,满足容错量子计算的需求.基于该方案,可以有效提高大规模离子阵列的全同性,回避了调节不同种类离子的位置和比例的困难,也提高了协同冷却的效率.此外,在该工作公开后,Allcock等[28]也发布了类似的利用同种离子编码多种量子比特的技术蓝图,并认为其在离子阱量子计算中有广阔的前景.

图3 镱-171 离子的双重类型量子比特方案[27],编码在S1/2 和F7/2 超精细能级上的量子比特共振频率不同,串扰误差小于量子纠错阈值,且可通过双色窄带激光进行经由D5/2 能级过渡进行相干转换Fig.3.Dual-type qubit scheme for 171Yb+ ion[27].Qubits encoded in S1/2 and F7/2 hyperfine levels have distinct resonant frequencies,thus leading to a crosstalk error below the threshold of fault-tolerant quantum computing.The two qubit types can be coherently converted into each other by bichromatic narrow-band laser via intermediate D5/2 levels.

采用二维离子阵列,并用双重类型量子比特的方案辅助进行协同冷却,有望在单个离子阱中将可相干操控的量子比特数迅速扩展到数百至数千的规模,但是离大规模的通用量子计算所需的上百万量子比特仍有较大差距.因此,上述方案仍需与离子-光子量子网络方案结合,才能实现最终的规模化.如前文所述,离子-光子量子网络方案目前主要受限于模块间的量子纠缠效率.通过采用二维阵列,将单个离子阱中的量子比特数提升1—2 个数量级,将能够显著减少模块间所需要的纠缠连接次数,提高量子计算的速率.

4 总结与展望

离子阱系统是极具前景的实现通用量子计算的物理系统之一,也已有多种技术路线来实现离子量子比特的规模化.但应注意,当前的量子比特数距离最终能通过量子纠错解决实际问题所需的规模还有较大差距,而包括离子输运、离子-光子量子网络、二维离子阵列与双重类型量子比特等在内的各种技术路线都只在小规模系统中获得了部分的演示,这些技术路线都有可能在未来的发展中遇到新的问题,需要新的理论方案与实验技术来加以解决.对于双重类型量子比特方案,笔者团队近期演示了用S 态的通讯离子产生离子-光子量子纠缠的同时,将计算离子置于F 态进行保护,也实现了低于容错阈值的串扰误差[29].而对于二维离子阵列方案,下一个里程碑将是实现单独寻址的高保真度量子纠缠逻辑门.此外,针对各种规模化技术路线,设计最优的量子纠错编码,缩短所需的量子线路,也将是未来重要的研究方向.

感谢清华大学交叉信息研究院侯攀宇教授和周子超博士的讨论.