Negativity of nondemolition quasiprobability distribution as a necessary and sufficient condition for macrorealism violation

Quantum nondemolition measurements define a noninvasive protocol to extract information from a monitored quantum system. This protocol exploits an additional quantum system that is sequentially coupled to the system and eventually measured to reconstruct temporal correlations developed by the system. In reference to a given measurement observable, the protocol's outcomes are well described by a quasiprobability distribution, which can be negative. In this paper, we prove that the presence of negative regions in this distribution defined at three times is a necessary and sufficient condition for the violation of macrorealism. This approach falls within the category of sequential noninvasive measurability and automatically satisfies all no-signaling-in-time conditions at multiple times by design. We show that reconstructing the negativity is a much stronger condition than the violation of the Leggett-Garg inequalities, commonly used for the same task, as they may be satisfied even if the macrorealism is violated. Quantum nondemolition measurements provide a clear and operational tool to identify violations of macrorealism directly. Thus, our result could also be applied to the study of the quantum-to-classical transition and in all those fields where quantumness certification is desirable.