What is a 'bipartite unitary'? I saw it appearing in a paper "Efficient verification of quantum gates with local operations" (https://arxiv.org/pdf/1910.14032.pdf)
A reference to the definition is very much appreciated.
What is a 'bipartite unitary'? I saw it appearing in a paper "Efficient verification of quantum gates with local operations" (https://arxiv.org/pdf/1910.14032.pdf)
A reference to the definition is very much appreciated.
Take operators $A_n$ and $B_n$ that act on systems $a$ and $b$ respectively. A bipartite unitary can be written as $$ U=\exp(i \sum_n A_n\otimes B_n), $$ any time that the construction $\sum_n A_n\otimes B_n$ is Hermitian.