4 比特 Grover 上真机:噪声长什么样

先备导航:你需要 033/034(Grover 与配平)、091(第一跑流程)、051(噪声名单)、050(门深预算)。 下一篇预告:093《算一次 H₂ 键长:VQE 实战》。

目录
  1. 4 比特 Grover 上真机:噪声长什么样
  2. 实验设计:一台"噪声显微镜"
  3. 理想对真机:一张预期对照表
  4. 噪声的三张嘴脸
  5. 最深的一个洞见:噪声下的最优≠无噪声最优
  6. 为什么这个 50% 依然值得跑
  7. 把类比拆掉
  8. 带走的行李
先备导航:你需要 033/034(Grover 与配平)、091(第一跑流程)、051(噪声名单)、050(门深预算)。
下一篇预告:093《算一次 H₂ 键长:VQE 实战》。

4 比特 Grover 上真机:噪声长什么样

从硬币到纠错 · 量子计算专栏 092 4 比特 Grover 上真机:噪声长什么样 噪声长什么样 主峰+沙丘底 实战工坊

安静的房间里你能听清 20 赫兹的细微嗡鸣;搬到闹市,什么细微都听不见。噪声的嘴脸,要在足够吵的实验里才现形——第一跑的贝尔态(091)太浅,噪声只露了 2% 的小尾巴;本篇把实验加吵:4 比特 Grover 上真机,让噪声现出完整嘴脸。

实验设计:一台"噪声显微镜"

033 篇的百万抽屉缩微版:4 个比特=16 个抽屉,藏 1 个标记项。Grover 的两件套(反转标记项的"神谕门"+绕均值扩散)跑 2~3 轮迭代——电路深度约 40 个门。

选这个档位是故意的:贝尔态(1 层门)太安静,噪声只有 2%;40 层门的电路刚好压过真机的"安静线"——噪声可见但实验未糊,是观察噪声的显微镜档。

电路本身是 033 篇积木的拼装,框架里有现成件:

grover = QuantumCircuit(4, 4)
# 3 轮迭代,每轮 = oracle(反转标记项)+ 扩散(全体绕均值翻转)
for _ in range(3):
    grover.h(range(4)); grover.x(range(4))          # 扩散算符的骨架
    grover.mcp(np.pi, range(3), 3)                  # 多位条件相位
    grover.h(range(4)); grover.x(range(4))
    grover.mcp(np.pi, range(3), 3)
    # oracle 同构,作用于标记项对应比特

(完整可运行版在框架官方教程里,本篇给骨架——重点在接下来的对照表。)

理想对真机:一张预期对照表

同一电路,两条跑道各跑一次(091 流程原样),直方图对照:

指标理想模拟器真机(体检单中等的后端)
标记项柱高约 96%(034 的配平峰值)约 50%~70%
其余 15 项接近 0摊成一层随机底噪
直方图形状一根针+平地一座沙丘(主峰+缓坡)
对照表里的每一个变化,都能在 051 篇的噪声名单里验明正身——这就是下面三张嘴脸。

噪声的三张嘴脸

嘴脸一:信号衰减(目标柱变矮)。每层门保真 99%,40 层串下来 0.99⁴⁰≈67%——指数衰减的现场:门错误率是"每层抽一次税",深度就是税期(050 篇预算公式从纸面走进直方图)。衰减也解释了为什么柱子掉得比想象快:税按两比特门计,40 个门里大半是贵的。

嘴脸二:背景抬升(沙丘成形)。理想里"没中"的 15 项该是零——真机上它们全被填上了随机值。这是退相干的签名(006):叠加的相位关系被环境磨掉,搜索的干涉配平(034)失灵,本该"相消"的错误答案不再抵消——沙丘不是"另一些答案混进来",是"相消机制的失血"。

嘴脸三:读出歪斜(不对称的底)。沙丘的坡可能向某几个比特偏——特定比特的 0/1 有系统性偏差(爱报 1 或爱报 0)。这是测量端的错误(051 名单最后一位),它不随电路深度涨——所以哪怕贝尔态那种浅电路,它也在(091 的 2% 小柱就是它)。

最深的一个洞见:噪声下的最优≠无噪声最优

034 篇说迭代轮数由配平公式定(4 比特 3 轮≈96%)。真机上你实测会发现:最优轮数变少了——每多一轮迭代,信号多转一次(多交一次税),到某一轮,"增加的信号"抵不过"增加的税",成功率不升反降。

无噪声最优的轮数,在噪声机器上是次优的——这一行字是过渡带(050)工程学的全部精神:真机优化永远是把"公式最优"与"机器现实"重新配平。

为什么这个 50% 依然值得跑

诚实边界(050 篇的期待管理):50% 的搜索成功率在密码学视角是灾难,但 1996 年提出 Grover 时的模拟器连这个都给不了——真机演示验证的是三样东西:公式对(配平可复现)、噪声模型对(衰减曲线可预测)、以及"噪声长什么样"从此有了直观——这三样是读 093~099 篇所有实战的门票。规模化之后同一电路的成功率回弹,是批六纠错的承诺(表面码护住的那天,沙丘重新变回针)。

把类比拆掉

听力测试借了哪里:

  • 不像之一:闹市听不清是"信号被盖住"(信号本身完好);真机是"信号被吃掉并揉碎"——衰减+相消失灵,形状本身变形。所以调大音量(多跑几轮)救不了它,只会交更多税。
  • 不像之二:安静房间的听力=器件品质;临床测听故意在噪声里测(贴近真实使用)——真机演示就是量子计算的"临床测听":它测的不是上限,是"带噪声时的可用度"。

带走的行李

1. 三张嘴脸对三个名字:信号衰减=门税的指数复利(0.99⁴⁰);背景抬升=相消机制失血(退相干);读出歪斜=测量端系统偏差(深度无关)——直方图的每个特征都能点名到 051 名单。 2. 噪声下的最优轮数变少:公式最优与机器现实要重新配平——过渡带工程学的全部精神。 3. 50% 的意义:验证公式、验证噪声模型、建立直观——临床测听测的是可用度不是上限;沙丘变回针的那天,属于批六的纠错。

下一站的钩子:搜完抽屉算化学——算一次真实分子的键长:VQE 的完整实战,经典优化器与量子机你一句我一句的"混合舞步"(044 篇的纸上流程,今天落地)。093《算一次 H₂ 键长:VQE 实战》。

#量子计算 #从硬币到纠错 #Grover #噪声

暂无表态

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

讨论回复(0)

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

智谱 GLM-5 已上线

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

领取 2000万 Tokens