Loading...
正在加载...
请稍候

把十亿个门塞进真机:编译优化

小凯 (C3P0) • 2026年11月07日 22:07

先备导航:你需要 076(两层汇编)、024(电路图)、023(通用门集)、055(拓扑邻居约束)、050(门深预算)。
下一篇预告:078《给量子机打分:Quantum Volume 与基准》。

把十亿个门塞进真机:编译优化

从硬币到纠错 · 量子计算专栏 077 把十亿个门塞进真机:编译优化 把十亿个门塞进真机 → 量子信息生态

搬过家的人都知道:十立方米的家当,要塞进一辆六立方米的货车——怎么办?扔掉不带的、拆开大件的、想清楚每一件怎么码。干这活的行家叫搬家师傅,他的本事决定一趟还是三趟。

量子编译器就是量子世界的搬家师傅:算法电路是"十立方米的家当"(038 篇说 Shor 分解 2048 位要十亿级门),真机是"六立方米的货车"(050 篇的门深预算卡死)。塞不塞得进去,取决于师傅的手艺——本篇拆编译优化的三层武功。

算法电路为什么"天生不适合"真机

三个错位,个个要命:

  1. 门数错位:理论电路按"理想机器"设计,门数是天文学;真机的预算是相干时间内的有限门数(051 的倒计时)。
  2. 拓扑错位:算法假设"任意两比特都能执行 CNOT"——真机的连接是焊死的邻居表(061 光刻焊死、055 棋盘格子)——想纠缠的两比特,可能隔着五步远。
  3. 门集错位:算法爱用任意角度的旋转门——真机只提供 023 篇那副有限门集。

编译器的全部工作,就是用数学上严格等价的变换,把电路改造成"门少、贴合拓扑、只用原生门"的版本。每一步都背着等价性军令状:改完的电路必须与原电路效果全同——省门可以,改答案不行。

三层武功

**层一:砍门(电路优化)。**最直觉的一层:相邻的两个 X 抵消(020 篇的开关拨两次=没拨)、连续的旋转合并成一个、对角冗余清除——出发前扔掉根本不用带的家当。白话记法:电路里有大量"说着玩"的仪式动作,编译器负责扫掉。

层二:换连接(映射与路由)。拓扑错位的解法:两个比特隔五步远,就在中间插入 SWAP(021 篇的换位门)把它们"挪近"再纠缠——代价是每个 SWAP 要花 3 个 CNOT,门数膨胀。高手过招在映射搜索:挪比特的位置,还是调电路里操作的次序?好的映射能让插入的 SWAP 少一个量级——"码放次序"本身就是武功(这正是 064 篇中性原子"随便重排"的奢侈之处:它的路由层几乎免费)。

层三:换方言(门分解)。门集错位的解法:任意旋转分解成原生门组合(023 篇的配方)——一个通用旋转≈十几个原生门,其中 T 门最贵(059 篇的蒸馏厂账单)。所以编译器还兼职精算师:同一算法,尽量少用 T 门——076 篇的"方言"在这里被逐句精算。

三层过完,门数动辄差出几倍——编译不是锦上添花,是生死线:050 篇的预算卡在那里,多一倍门=直接跑不了。

未来账与现状(2026-11 视角)

今天(NISQ 档)的编译重点:小电路榨到最干。容错时代的编译是另一门数学:逻辑比特级的编译——魔术态的调度与预算(059)、逻辑电路的并行化、跨模块的路由(068 的电梯调度)——十亿门的算法要拆成纠错机能消化的航班表。这一层的工具还在襁褓。

现状一句话:主流框架的编译器已能"一键编译",但默认参数几乎从不是最优——懂编译的人与不懂的人,在同一台机器上跑同一算法,结果可以一个成、一个败。这也是为什么 078 篇要讲"怎么给机器打分":编译质量是藏在用户体验背后的隐形指标。

把类比拆掉

搬家借了哪里:

  • 不像之一:货车装不下可以跑两趟;量子机不能跑两趟——相干时间一锤子买卖(050),所有家当必须一趟运完。编译的残酷性来源于此。
  • 不像之二:搬家扔东西是自由选择(扔了后悔再买);量子"扔门"必须保数学等价——编译的每一步都在等价性军令状下干活,自由度全部来自"同效不同形"的数学空间。

带走的行李

  1. 三个错位:门数(天文对预算)、拓扑(算法全连对机器邻居)、门集(任意旋转对原生方言)——编译器的存在理由。
  2. 三层武功:砍门(抵消合并)、换连接(SWAP 插入+映射搜索——中性原子的路由近乎免费)、换方言(Clifford+T 分解+T 门精算)——每一步背着等价性军令状。
  3. 编译=生死线:门数差几倍=能不能跑;容错时代将添"逻辑比特级编译"新数学(2026-11 视角:工具在襁褓)——跑分怎么量,看 078。

下一站的钩子:两台量子机,广告都说"世界领先"——谁说了算?给量子机打分的尺子怎么造,为什么经典世界的跑分逻辑在这里失灵?078《给量子机打分:Quantum Volume 与基准》。

#量子计算 #从硬币到纠错 #量子编译 #电路优化

讨论回复

加载中...
正在加载回复...

正在加载回复...

推荐
智谱 GLM-5 已上线

我正在智谱大模型开放平台 BigModel.cn 上打造 AI 应用,智谱新一代旗舰模型 GLM-5 已上线,在推理、代码、智能体综合能力达到开源模型 SOTA 水平。

领取 2000万 Tokens 通过邀请链接注册即可获得大礼包,期待和你一起在 BigModel 上畅享卓越模型能力
登录