A coding theorem for bipartite unitaries in distributed quantum computation

We analyze implementations of bipartite unitaries in a distributed quantum computation setting using local operations and classical communication (LOCC) assisted by shared entanglement. We employ concepts and techniques developed in quantum Shannon theory to study an asymptotic scenario in which the two distant parties perform the same bipartite unitary on infinitely many pairs of input states generated by a completely random i.i.d. (independent and identically distributed) quantum information source. We analyze the minimum costs of resources of entanglement and classical communication per copy. For protocols consisting of two-round LOCC, we prove that an achievable rate tuple of costs of entanglement and classical communication is given by the “Markovianizing cost” of a tripartite state associated with the unitary, which is conjectured to be optimal as well. The Markovianizing cost can be computed by a finite-step algorithm.