Genuine certification of incompatible quantum instruments through sequential communication tasks

Abstract

Quantum instruments constitute the general description of quantum dynamics, encompassing both quantum measurements and quantum channels as special cases. Consequently, the incompatibility of quantum instruments represents a fundamental manifestation of nonclassicality in quantum theory. Here, we establish the operational significance of this notion by demonstrating communication tasks with classical inputs and outputs that enable the semi-device-independent certification of incompatible quantum instruments. We introduce a class of three-party communication tasks involving a sender, a relayer, and a receiver, and derive the tight upper bounds of the figure of merits of these tasks achievable by all compatible instruments implemented by the relayer. Furthermore, we show that these bounds coincide with the optimal performance attainable in a classical communication subject to the same dimensional constraints. Violation of this bound certifies the incompatibility of the pair of quantum instruments implemented by the relayer. This identifies certification of incompatible instruments as a manifestation of quantum advantage in communication. This certification protocol is genuine as it is able to certify the incompatibility of a pair of instruments where the set of induced measurements and the set of induced channels are compatible and, therefore it does not depend on the incompability of measurements and channels induced by the instruments. Finally, we identify the simplest instance of our communication scenario that enable the certification of incompatible quantum instruments.