量子 · 把逐颗点亮改成搬一颗原子过去:一套不用局部光束的容错账
想象一间教室,老师要挨个点名。老办法是拿一支激光笔,一个一个照到学生脸上;照偏一点就点错人,每换一排还得重新对焦。新办法是让一队助教站到谁旁边,老师只喊一句全班都听的口令,被助教挨着的那几位才算被点到。点名这件事没变,变的是"谁被选中"由光束决定,还是由站位决定。
省下的是校准,付出去的是搬运。这笔账要按同一把尺子算。
想象一间教室,老师要挨个点名。老办法是拿一支激光笔,一个一个照到学生脸上;照偏一点就点错人,每换一排还得重新对焦。新办法是让一队助教站到谁旁边,老师只喊一句全班都听的口令,被助教挨着的那几位才算被点到。点名这件事没变,变的是"谁被选中"由光束决定,还是由站位决定。
11 月 9 日挂在 arXiv 的论文 2611.12098 讲的就是这次替换。复旦大学物理系与上海步筹量子的九位作者提出一套叫 GRAIL 的原生指令集,用全局驱动的双物种中性原子阵列搭出通用容错架构。全文给出的数很漂亮:串扰压到万分之一量级,量子存储的纠错阈值 1.43%,魔术态的逻辑错误率低于十亿分之一。这三个数各有各的条件,先别急着并排念。
光束越细,账越难算
中性原子路线把原子用光镊排成阵列,一颗原子当一个物理比特。要做两比特门,主流的做法是拿聚焦光束单独照某一对原子,把它们激发到里德伯态。论文在引言里点出这套办法的负担:光场要随寻址图样精细调节,阵列一大、门序列一复杂,空间上各处各异的光场就得反复标定。
GRAIL 换掉了这一层。铯 133 原子固定不动,编数据比特;铷 87 原子可以搬运,当辅助寄存器、校验子抽取的辅助比特,也当"地址器"。全局微波脉冲对同一物种的所有原子施加同一个单比特操作,全局里德伯脉冲覆盖全场,可只有被铷原子挨上、落进阻塞半径的铯原子才吃到条件相位。论文原话是:里德伯脉冲是全局的,只有与铷配对的铯原子获得条件相位。
这个替换把"精确 pointing"换成了"精确搬运"。搬运本身有代价,论文也没有藏:原子要先挪进去,做完门还得挪回原位,并且回到与系统解纠缠的状态。控制脉冲是省了,时序和搬运精度成了新的账目。
五条口令拼出一整套通用门
GRAIL 这个名字是 Global Rydberg Atom Instruction Language 的缩写。论文把它写成五个指令族, species 下标可以取铷、铯或两者。
| 指令族 | 做什么 | 关键点 |
|---|---|---|
| 全局单比特旋转 | 对选定物种所有原子施加同一个酉操作 | 铷铯超精细跃迁频率隔得开,可独立驱动 |
| 铷原子搬运 | 把铷挪进阻塞半径,或挪回原位 | 配对集合必须互不相交 |
| 全局里德伯脉冲 | 在配对原子上实现受控相位门 | 脉冲全局,作用局部 |
| 物种选择性复位 | 把选定物种制备到零态 | 无需额外搬运 |
| 物种选择性测量 | 计算基读出并返回结果 | 无需额外搬运 |
并行化是这套编译的关键补丁。全局脉冲会顺带激发闲置原子,闲置原子数随码距增长,串扰因此成为贯穿全篇的约束。论文的做法是让所有需要的 CCZ 门共用同一批脉冲层:GHZ 辅助态制备在码距 3 和 5 都只要两层铷里德伯脉冲,CCZ 分解只要九层全局脉冲。一个表面码校验轮也做成与码距无关的线路深度,每轮分三段,先做全局铷复位,中间是幺正部分,末尾全局铷读出。
三个数,三把尺子
摘要里的三个数容易被读成同一份成绩单,实际上量纲与条件都不一样。
| 数值 | 量的是什么 | 成立条件 |
|---|---|---|
| 万分之一量级 | 串扰误差,闲置原子没回到原态的概率 | 摘要表述为压到该量级,正文在 12 MHz 下报 H、T、CZ 三项均低于千分之一 |
| 1.43% | ZXXZ 表面码量子存储的纠错阈值 | 硬件推断的线路级噪声模型,最小权完美匹配解码,对应拉比频率 0.242 MHz |
| 十亿分之一以下 | 魔术态培养的逻辑错误率 | 11.9 MHz 下报 1.98 乘十的负十次方,2.43 次期望尝试;2.38 MHz 下为 1.94 乘十的负七次方 |
第二处,1.43% 是量子存储的阈值,逻辑 Clifford 门另有各自的阈值:H 为 0.97%,S 为 0.52%,CZ 为 0.78%。把 1.43% 当成"这台机器所有操作的容错门槛"就宽了。第三处,魔术态那个数随拉比频率变了两千倍,论文明确写在实验可达频率下取得,脱掉频率谈它没意义。
纸面架构与机器之间还隔着什么
论文在讨论部分把话说得很稳。阈值、逻辑错误率和保真度都来自硬件推断的线路级噪声模型,用的是"我们预测""我们外推""我们估计""可以达到"这类措辞,没有一项是在真机上跑出来的演示。码距 17 达到十亿分之一是拟合趋势的外推,图上的误差条是 95% 置信区间,魔术态那一项还特别说明置信区间把选定的 gap cutoff 当作固定值处理。
更细的两处限制值得记。常规魔术态培养依赖局域寻址操作和瞬时反馈,直接编进 GRAIL 会让大量原子闲置,串扰把制备成功率吃掉,这才逼出了前面那套并行编译。高码率 qLDPC 码需要非局域连接,论文列了几条可能路径,从长程搬运到 cat-bus 与基于隐形传态的操作,同时写明这些方案在全局控制下的容错性能与时空开销"是未来工作的重要方向"。
费曼大概会先问:省下来的标定工时,够不够抵掉搬运原子的那些步?论文没有给这一步的账。它证明的是这套指令在模型里能自洽,能把表面码、逻辑门和魔术态培养都编进去,并且串扰不至于把阈值吃光。至于真机上一次校验轮要多久、搬运误差怎么计入预算,得等硬件组接手才算得清。
同一天还翻到
| 方向 | 线索 | 状态 |
|---|---|---|
| 物理 × 量子模拟 | 清华物理系罗迪课题组分析 QED3 晶格哈密顿量,指出单味交错费米子保持时间反演对称因而给不出非零陈数的拓扑相,Wilson 项去除多余模式后才有条件 | 校方网页,未标发布日期 |
| 量子硬件 | 央广网报道国内首款可互联中性原子量子计算机原型机"乾阵"在合肥发布 | 报道写"近日",缺确切日期,未作主篇 |
| 数学 | arXiv 2611.03515,Salazar 把 OpenAI 十月上传的 Harary-Hill 猜想极短证明改写成组合学家可读的完整证明 | 11 月 2 日提交,连日挂账 |
#量子计算 #中性原子 #量子纠错 #容错架构