No-go theorem and a universal decomposition strategy for quantum channel compilation

We rigorously prove a no-go theorem that, in sharp contrast to the case of compiling unitary gates, it is impossible to compile an arbitrary channel to arbitrary precision with any given finite elementary channel set, regardless of the length of the decomposition sequence. However, for a fixed error bound e, we find a general and systematic strategy to compile arbitrary quantum channels. We construct a universal set with a constant number of e-dependent elementary channels, such that an arbitrary quantum channel can be decomposed into a sequence of these elementary channels followed by a unitary gate, with the sequence length bounded by O(e1 log e1 ) in the worst case. We further optimize this approach by exploiting proximal policy optimization-a powerful deep reinforcement learning algorithm for the gate compilation. We numerically evaluate the performance of our algorithm concerning topological compiling of Majorana fermions, and we show that our algorithm can conveniently and effectively reduce the use of expensive elementary operations.

Automated summary

We prove that it is impossible to compile an arbitrary channel to arbitrary precision with any given finite elementary channel set, regardless of the length of the decomposition sequence. However, for a fixed error bound e, we propose a general and systematic strategy to decompose arbitrary quantum channels using an e-dependent universal set of elementary channels followed by a unitary gate. We further optimize this approach using proximal policy optimization and numerically evaluate its performance in topological compiling of Majorana fermions, showing effective reduction in the use of expensive elementary operations.