- 命题框:寄存器 B(n = ⌈log₂N⌉ 比特,载 b 与 x)、C(m 比特,时钟)、辅助比特(1 个);取 t ≤ 2π/λ_max ⇒ 相位 φ_j = λ_j·t/2π ∈ [0, 1)
- 状态链(五行,每行写出该步之后的完整态):
1. 初始化:|b⟩_B |0⟩_C |0⟩_aux
2. QPE:Σ_j β_j|u_j⟩_B |λ̃_j⟩_C |0⟩_aux(时钟存 round(2^m·φ_j) 的二进制)
3. 受控旋转:Σ_j β_j|u_j⟩|λ̃_j⟩(√(1 − C²/λ̃_j²)·|0⟩ + C/λ̃_j·|1⟩)_aux
4. 逆 QPE:Σ_j β_j|u_j⟩_B |0⟩_C (√(1 − C²/λ̃_j²)·|0⟩ + C/λ̃_j·|1⟩)_aux
5. 测辅助比特:得 |1⟩(概率 P₁)⇓ |x⟩ ∝ Σ_j (β_j/λ̃_j)|u_j⟩
- 参数卡:换算 λ̃_j = (2π/(t·2^m))·round(2^m·φ_j),误差 |λ̃_j − λ_j| ≤ π/(t·2^m)(半个最小刻度);时钟比特 m = O(log(κ²/ε))
- 结果框:第 2 步读特征值、第 3 步写倒数、第 4 步解纠缠——五步各自只做一件"态写得出来"的线性操作