Skip to content

算法Algorithm

量子信号处理

Quantum signal processing · QSP

给出固定单qubit信号约定下完整的多项式对可实现条件,解释降阶合成,并通过一阶、Chebyshev三阶和x立方相位序列区分完整矩阵元与实部响应。

形式陈述 ​

对信号 x∈[−1,1],固定单qubit酉

W(x)=(xi1−x2i1−x2x)=eiarccos⁡(x)X,Z(ϕ)=eiϕZ.

量子信号处理(QSP)选择实相位 Φ=(ϕ0,…,ϕd),形成电路矩阵

(1)VΦ(x)=Z(ϕ0)∏j=1d[W(x)Z(ϕj)].

乘积按书写顺序从左到右排列,实际作用时仍是最右因子先执行。一次序列使用 d 次信号门和 d+1 次已选相位门。

完整可实现性定理。 记 P∗,Q∗ 为系数逐项共轭的多项式。存在相位序列使

(2)VΦ(x)=(P(x)iQ(x)1−x2iQ∗(x)1−x2P∗(x))

对所有 x∈[−1,1] 成立,当且仅当:[1, Theorem 3]

  1. P,Q∈C[x],deg⁡P≤d、deg⁡Q≤d−1
  2. P 具有 d 的奇偶性,Q 具有 d−1 的奇偶性
  3. 对所有 x∈[−1,1],|P(x)|2+(1−x2)|Q(x)|2=1

零多项式允许,视为同时具有两种奇偶性;d=0 时要求 Q=0、P 为单位模常数。只写 |P|≤1 不是完整条件;补多项式 Q、次数和奇偶性都不能省略。

直觉

信号门带来未知参数 x,相位门提供我们可调的旋钮。交替相乘让不同路径的振幅相加或抵消,形成一个多项式响应。

但每个 x 上的最终矩阵仍必须酉。目标响应占用了多少振幅,其余矩阵元就必须精确补齐多少;这正是第三条恒等式。QSP是在酉性允许的范围内设计函数,不是任意多项式都能直接塞进一个矩阵元。

曲线表示酉矩阵元的实响应,不是测量概率;负值表示振幅符号,不能解释成负概率。

例子与边界

一阶与三阶零相位序列 ​

d=1、ϕ0=ϕ1=0 时,V=W,所以 P=x,Q=1,直接满足 x2+(1−x2)=1。

若 d=3 且全部相位为0,则 V=W3=e3iarccos⁡(x)X,

P(x)=4x3−3x=T3(x),Q(x)=4x2−1.

这与Chebyshev多项式的 T3(cos⁡θ)=cos⁡3θ 一致。也可直接验证

(4x3−3x)2+(1−x2)(4x2−1)2=1.

例如 x=1/2 时,三次信号响应为 −1,而不是 x3=1/8。重复同一个信号门自然生成的是角度三倍,不是逐点振幅相乘后只保留 x3。

选择相位,可以真正得到x立方 ​

取

Φ=(0,π/3,−π/3,0),c=eiπ/3.

逐矩阵相乘,或用下一节递推,可得

P(x)=x3,Q(x)=x2+c.

因为 |c|=1、2Rec=1,

|Q(x)|2=x4+x2+1,x6+(1−x2)(x4+x2+1)=1.

它满足三阶所需的全部条件。这个例子显示相位不是装饰:同样调用三次 W,可以得到 T3(x) 或 x3 两种不同响应。

有界还不够:完整矩阵元与实部不同 ​

试图让完整 P(x)=x/2。它奇、次数1且在区间内有界,但在 x=1 处,第三条要求 |P(1)|=1,实际只有 1/2,因此不可能成为式 (2) 的完整左上矩阵元。

若只要求 ReP=x/2,却可以实现:取一阶相位 (π/3,0),便有 P=eiπ/3x。实部正确,剩余虚部保证端点仍有单位模。反之,目标实响应 2x 在 x=1 超过1,连实部也不可能来自一个酉矩阵元。

因此“QSP能实现任意有界奇偶多项式”通常指允许取实部或增加辅助读出后的版本,不能把它无说明地替换成式 (2) 的完整矩阵元断言。

推论与应用

定理的两边怎样证明 ​

必要性可逐次相乘。若前一段对应 P0,Q0,右接 WZ(ϕ) 后,

P1=eiϕ[xP0−(1−x2)Q0],Q1=e−iϕ[P0+xQ0].

次数每步最多增加1,奇偶性翻转;矩阵乘积保持酉性,遂给出补齐恒等式。

充分性反过来剥掉最后一层。若 P 的实际最高次数为 ℓ≥1,其最高系数为 pℓ,Q 的最高系数为 qℓ−1,恒等式的最高次项抵消要求 |pℓ|=|qℓ−1|。选择

e2iϕ=pℓ/qℓ−1.

右乘 Z(−ϕ)W† 后的新多项式为

P~=e−iϕxP+eiϕ(1−x2)Q,Q~=eiϕxQ−e−iϕP.

最高项恰好抵消,次数降到 ℓ−1,ℓ−2,其余条件由酉性和奇偶性保留。递归到常数相位即可。若实际次数低于预定 d,差是偶数,可插入恒等的两信号片段

WZ(π/2)WZ(−π/2)=I

补齐长度。这给出已知合法 P,Q 时的相位合成机制,而不是只引用一个存在结论。

实有界多项式的读出版本 ​

对实多项式 p,若 deg⁡p≤d、奇偶性与 d 相同,且 |p(x)|≤1,则存在完整合法多项式对使 ReP=p。[1, Theorem 5]

其补齐机制是把非负偶多项式 1−p2 写成

1−p(x)2=B(x)2+(1−x2)C(x)2,

其中 B,C 有相应次数和奇偶性。取 P=p+iB,Q=iC 就满足完整恒等式。分解的存在与构造见 [1, Lemma 6];不能直接设 Q=1−p2/1−x2,因为那一般不是所需次数的多项式。

若要把实部变成一个可调用的块,可增加一个辅助位,相干选择 VΦ 与 V−Φ,再投影该辅助的 |+⟩。二者的左上多项式互为共轭,平均给 (P+P∗)/2=p。两分支有相同信号门骨架,只需控制相位符号;新增的辅助投影及成功概率仍是接口的一部分。

次数、数值合成与谱应用 ​

次数 d 对应 d 次信号访问。已知完整合法 P,Q 时,上述降阶过程用 O(d2) 次精确算术操作;从一个实目标开始还要做补多项式构造,实际数值精度与稳定性需另计,不能把任意实相位当成已免费算出。

若每次信号门误差至多 η、第 j 个相位角误差至多 δj,用逐门替换的算子误差预算,总算子误差至多 dη+∑j|δj|。这是电路实现误差;目标函数的多项式逼近误差还要单独加入。

Qubitization把矩阵特征值放到相同类型的二维信号空间中,QSP的同一相位序列便能对所有特征值同时工作。推广到左右奇异向量不同的矩阵时,还需交替原块编码与其逆,形成量子奇异值变换。

参考资料
  • [1] András Gilyén, Yuan Su, Guang Hao Low and Nathan Wiebe, Quantum Singular Value Transformation and Beyond, 2018作者版,§3.1 Theorems 3–5、Lemma 6与Corollary 8:固定信号约定、完整多项式对、降阶及实部补齐。
关系图谱11 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
类型化关系