Shor 的顶层结构是”制备叠加 → 受控模幂 → 反傅里叶变换 → 测量”。前两段消耗算术原语，第三段是纯线性代数，第四段是对第一段的破坏性读取。半经典相位估计改写的是第三段：不用 比特的整体逆 QFT 寄存器，而是每次测出一根指数线、再用这条经典结果驱动下一次迭代。代价是每轮之间必须串行（轮数 = 指数寄存器比特数），收益是指数寄存器只需 比特，而不是 。
一、它省下的正是那 比特
把指数寄存器拆成 根线做整体逆 QFT 的方案，需要同时持有全部 根线直到变换结束。逐比特迭代的方案改为：测一根、记住结果、用它作为下一轮的控制、继续测下一根，任一时刻只需保存已测得的结果加一根正在处理的线。经典比特数从 降到 ，量子侧的峰值比特数随之下降。
这就是为什么 Zalka 的两个数字必须对照读： 比特属于显式计算测量基 QFT 的方案（Beauregard 路线），而”约 个比特中无一需要初始化”与”约 个比特”属于同一族改进。半经典相位估计与半经典模幂是同一件事在算法两端的两个投影——一端折叠 QFT，另一端折叠乘法链，两端都依赖”测量结果只作经典条件使用、不回灌成量子态”。
图里只有一根相位比特线参与计算，因为已测得的高位比特不再需要以量子态形式存在——它们进入经典寄存器，作为下一轮受控旋转的角。这就是”半经典”的全部含义，也是它与整体 QFT 的唯一区别。注意轮次必须串行：第 轮的受控旋转角依赖第 轮的结果。
二、宽度取值与抽取成功率
如果用 根线估计相位、令 ，那么被估计的 必须与待分解数位数 匹配。文献中给出的必要条件是
低于下界则相位分辨率不足以区分周期的高次幂，高于上界则量子比特白白多出一倍。这一约束直接出现在因数分解的线路设计上，也是评估任何”我用 根线做相位估计”的自检项。
关于这条约束的文献地位需要如实交代：它出自 Cao、Cao 与 Liu 的《Remarks on Quantum Modular Exponentiation and Some Experimental Demonstrations of Shor’s Algorithm》。该文以更强的主张开篇（断言 Shor、Nielsen–Chuang、Markov–Saeedi 等给出的全部描述都有缺陷），且底稿记录了 arXiv 管理员关于它与另一条目存在文本重叠的注记。本站只采信其中可直接检验的取值条件 ，不采信其对既有工作的整体评价。
相位精确性与抽取成功率的关系有另一条干净的证据：Mosca 与 Zalka 展示了如何用振幅放大把 Kitaev 的近似量子傅里叶变换化为任意阶的精确变换，从而使 Shor 的离散对数算法成为精确算法——他们称之为第一个精确的非黑箱快速量子算法。这条结果的实践价值作者本人认为有限，但它确立了一个原则：变换的精确性直接对应抽取的确定性，任何用近似变换换深度的做法都是在拿成功率换比特。
三、一条装配好的线性深度方案
Fleury 与 Lacomme 给出一份技术说明，结构很直白：引入一个线性深度的相位估计单元，再描述一个通用的基于相位的模乘，用这两块搭出模幂线路。这份装配的价值在于它把相位估计当可替换的积木来对待——不是先设计好算法再配相位估计，而是先定相位估计单元的接口，再让模乘去满足它。需要如实说明的是，该文的数值结果取自 IBM 模拟器与 IBM 提供的物理优化器，属仿真级验证。
论文依据
- Fleury 与 Lacomme（2022） —— 用线性深度的相位估计单元与通用的基于相次的模乘单元装配出模幂线路；结果为 IBM 模拟器与物理优化器上的仿真级验证。
- Mosca 与 Zalka（2003） —— 用振幅放大把 Kitaev 的近似 QFFT 化为任意阶的精确变换，使 Shor 离散对数算法成为精确算法，给出”变换精确性 ↔ 抽取确定性”的直接证据。
- Cao、Cao 与 Liu（2014） —— 给出相位估计寄存器宽度必须满足的必要条件 （， 为第一寄存器比特数， 为待分解数位数）。该文另有更强主张且存在文本重叠注记，本站仅采信这一可检验条件。
- Beauregard（2003） —— 比特方案的关键设计是显式算出测量基的 QFT，为”保留 比特的整体变换”这一侧的对照基准。
延伸阅读
- semiclassical-exponentiation —— 同一套思路在模幂一侧的投影。
- shor-circuit-roadmap —— 相位估计这一段在顶层结构里的位置。