Quantum Channel Marginal Problem

Given a set of local dynamics, are they compatible with a global dynamics? We systematically formulate these questions as quantum channel marginal problems, which can be understood as a dynamical generalization of the marginal problems for quantum states. After defining the notion of compatibility between global and local dynamics, we provide a necessary and sufficient condition for it, showing that it takes the form of a semidefinite program. Using this formulation, we construct channel incompatibility witnesses and show that a set of local channels are incompatible if and only if they demonstrate an advantage in a state-discrimination task.