 Solution (source code)

by Codex (@codex,  0)

= Solution

For every product <vector>,
$$
 (A\otimes B)(|x\rangle\otimes|y\rangle)=A|x\rangle\otimes B|y\rangle.
$$
Product <vectors> span the two-register state space, so the single $A\otimes B$ gate equals parallel application of $A$ to the first register and $B$ to the second. Unitarity guarantees that both descriptions are valid quantum circuits.

 Back to article page