T 门的精炼厂:魔术态蒸馏

先备导航:你需要 058(蒸馏厂经济)、023(Clifford+T 与酵母)、054(稳定子)、022(CNOT)。 下一篇预告:060《NISQ 与容错之间:过渡带生存指南》。

目录
  1. T 门的精炼厂:魔术态蒸馏
  2. 先问根子:为什么偏偏 T 门贵
  3. 主工艺:把 T 门"外包"成消耗品
  4. 提纯塔:为什么必须蒸馏、怎么蒸馏
  5. 二元经济的最终形态
  6. 把类比拆掉
  7. 带走的行李
先备导航:你需要 058(蒸馏厂经济)、023(Clifford+T 与酵母)、054(稳定子)、022(CNOT)。
下一篇预告:060《NISQ 与容错之间:过渡带生存指南》。

T 门的精炼厂:魔术态蒸馏

从硬币到纠错 · 量子计算专栏 059 T 门的精炼厂:魔术态蒸馏 T 门的精炼厂 T精炼厂消耗品 误差与纠错

酿酒的人都知道:发酵液(醪液)只有十几度,想喝六十度的纯酿,得蒸馏——上塔、加热、按沸点分段接酒,烧掉成堆的酒糟,才接出一滴高度纯酿。"蒸馏"这个词的出身,就是这门提纯的手艺。

纠错世界里有一座同名的厂——魔术态蒸馏。058 篇的账单里,它是占地最大、成本最重的一行;023 篇的"酵母最贵",本篇给足机理。进厂看工艺。

先问根子:为什么偏偏 T 门贵

055/056 篇说过,表面码的哨兵巡逻、校验、修复、以及逻辑层面的"面粉族"门(H、S、CNOT——023 篇的 Clifford 三件套)都能被纠错码原生执行——白话:哨兵看得懂直角舞,所有 Clifford 门的错误都能被三件套分解(051 篇)并按校验子修复。

T 门是 45 度的舞(023 篇:八分之一圈)。它一进电路,错误不再分解进三件套的离散格——哨兵的巡逻体系对它失效:测不出、修不了、越跳越糊。这就是"Clifford 免费、非 Clifford 昂贵"的二元经济的根:不是工程偷懒,是稳定子码的天性——它能免疫的舞蹈种类,恰好画不出 T 门。

万能配方(023)离不开 T;纠错体系护不住 T——矛盾必须化解,化解的方案就是本厂的主工艺。

主工艺:把 T 门"外包"成消耗品

工厂的第一条流水线:不执行 T 门,改"消耗 T 门的效果"。

预制一种特殊原料——魔法态:一个精心制备的量子态 |T⟩(T 门作用在 |+⟩ 上得到的产物)。需要执行逻辑 T 门时,把一份魔法态接进电路,借一次传态式的手术(025 篇技术的工业版),让 T 的效果注入逻辑比特——魔法态本身用完即弃。

读一遍这个设计的妙处:T 门从"电路里的一个动作"变成了"仓库里的一种耗材"——动作纠错码护不住,耗材可以先在厂里提纯到任意纯度。把"护不住的操作"转写成"护得住的供给",这是整个方案的灵魂一笔。

提纯塔:为什么必须蒸馏、怎么蒸馏

新问题:物理制备的魔法态自带噪声(10⁻³ 量级,051 篇的世界)。粗品直接喂给逻辑电路,等于把逻辑态也污染了——纯度必须更高,高到与逻辑错误率匹配(10⁻⁹ 级)。

提纯塔的核心是纠错的多数表决思想,用在态上:

拿 15 份低纯魔法态,送进一套由稳定子校验组成的提纯电路——这套电路做一次"特殊体检+归档"(052 篇三暗道的复用):输出1 份高纯魔法态,错误率从 10⁻³ 压到 10⁻⁶ 级;要 10⁻⁹?塔上加塔,再来一轮,压到 10⁻⁸~10⁻¹⁰。

代价是 058 篇那句"烧千百个次品"的机理:15 换 1、再 15 换 1——层层蒸馏的收率是指数级的消耗曲线。整台 Shor 的百亿酵母订单,折算成蒸馏塔的吞吐,就是 038 篇账单上"最重的一行"。

两条工程备注:一,魔法态不能存(006 篇:量子态没有仓库)——酒庄模型不成立,这是自来水厂:即产即用、按需供水,产能规划按"高峰用水量"算;二,蒸馏电路本身也要纠错——码中码,塔每一层都踩在纠错体系的肩膀上。

二元经济的最终形态

把 023 篇的"面粉与酵母"升级到容错世界的完整版:

  • 面粉(Clifford 族):纠错码原生执行,几乎免费——电路里可以敞开用;
  • 酵母(T 门=魔法态):外包成耗材、厂里蒸馏、按滴计价——每个 T 门都标着实价。
于是"数酵母"(023 篇)获得了工程实义:编译器的优化目标就是 T 门计数(行话 T-count)——同一个逻辑功能,能不能少用几个 T?这是 2020 年代活跃的理论赛道,每省下一个 T,蒸馏厂就少烧一片产能。算法设计与经济学在此合流:写量子程序的人,指尖上放着蒸馏厂的产能表。

把类比拆掉

酿酒蒸馏借了哪里:

  • 不像之一:酒塔靠沸点差物理分离,蒸馏塔靠多数表决统计提纯——分离的对象不是一个物理性质,是"错误率"这个统计量;提纯的物理是纠错码,不是热力学。
  • 不像之二:高度酒可以装坛封存;魔法态不能存(退相干)——"酿好存窖"的整个意象在量子世界作废,必须流水线即产即用。类比只借"低度进、高度出、按滴计价"。

带走的行李

1. T 门贵的根子:稳定子码的哨兵只认"三件套舞蹈",45 度的 T 超出免疫范围——Clifford 免费、非 Clifford 昂贵是码的天性,不是工艺短板。 2. 外包与提纯:T 门改写成"消耗魔法态"(传态注入、用完即弃);魔法态靠15 换 1 的统计提纯层层加塔——错误率 10⁻³ 压到 10⁻⁹,代价是指数级的产能消耗(058 账单的机理)。 3. 二元经济合流:面粉敞开用、酵母按滴计价——编译器以 T-count 为优化目标,算法设计与蒸馏厂产能表在同一张桌上谈判。

下一站的钩子:容错大厦的图纸看完了,可我们脚下的时代还是"含噪中等规模"(NISQ)——没有纠错、没有蒸馏厂。这个"过渡带"上怎么活?哪些事能干、哪些别碰、过渡带什么时候结束?060,批六收官《NISQ 与容错之间:过渡带生存指南》。

#量子计算 #从硬币到纠错 #魔术态蒸馏 #T门

暂无表态

想参与讨论或点赞?登录后使用完整功能

讨论回复(0)

暂无回复,登录后可参与讨论
合作

智谱 GLM-5 已上线

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

领取 2000万 Tokens