$U_\omega$ acts on the plane $\mathrm{span}\{|s'\rangle, |\omega\rangle\}$ as the reflection across $|s'\rangle$

Initializing...

$U_\omega$ acts on the plane $\mathrm{span}\{|s'\rangle, |\omega\rangle\}$ as the reflection across $|s'\rangle$ · Prove2Me