No-Existence Of Generalize Diffusion
We show that given two arbitrary states $\ketψ,\ketϕ$ it is impossible to compute the transformation: $ \ketψ\ketϕ \mapsto \ketψ\left( \mathbb{I} - 2 \ketψ\braψ \right)\ketϕ $ The contradiction of the existence of such operator follows by showing that using it, two players can compute the disjoints of their sets in a single round and $O\left( \sqrt{n} \right)$ communication complexity, which shown by Braverman to be impossible \cite{Braverman}.
cs.CC↗