Signal transformation ยท Primitives
Reflection-based QSP
Theorem statement
There exists a sequence of phase factors $\Phi=(\phi_0,\ldots,\phi_d)\in\mathbb{R}^{d+1}$ such that
$$
U_\Phi(x)
=
e^{i\phi_0 Z}\prod_{j=1}^{d}\large( \begin{bmatrix}
x & \sqrt{1-x^2}\\
\sqrt{1-x^2} & -x
\end{bmatrix}e^{i\phi_j Z} \large)
=
\begin{bmatrix}
P(x) & -Q(x)\sqrt{1-x^2}\\
Q^*(x)\sqrt{1-x^2} & P^*(x)
\end{bmatrix}
$$
if and only if $P,Q\in\mathbb{C}[x]$ satisfy $\deg(P)\leq d$, $\deg(Q)\leq d-1$, $P$ has parity $d\bmod 2$, $Q$ has parity $(d-1)\bmod 2$, and $|P(x)|^2+(1-x^2)|Q(x)|^2=1$ for all $x\in[-1,1]$.
- $Z$
- Pauli Z matrix used in the phase rotations.
Sources
- Quantum singular value transformation and beyond: exponential improvements for quantum matrix arithmetics
Andras Gilyen, Yuan Su, Guang Hao Low, Nathan Wiebe, 2019
Lean context
Copy a short prompt with the import, theorem name, citations, and public source link.