Abstract We consider two necessary and sufficient conditions for macrorealism recently appeared in the literature, known as no-signaling-in-time and arrow-of-time conditions, respectively, and study them in the context of neutrino flavor transitions, within both the plane wave description and the wave packet approach. We then compare the outcome of the above investigation with the implication of various formulations of Leggett–Garg inequalities. In particular, we show that the fulfillment of the addressed conditions for macrorealism in neutrino oscillations implies the fulfillment of the Leggett–Garg inequalities, whereas the converse is not true. Finally, in the framework of wave packet approach, we also prove that, for distances longer than the coherence length, the no-signaling-in-time condition is always violated whilst the Leggett–Garg inequalities are not.
We consider two different types of conditions which were proposed to test macrorealism in the context of a system described by a single dichotomic variable
Q. This is the view that a macroscopic system evolving in time possesses definite properties which can be determined without disturbing the future or past state. The Leggett-Garg (LG) inequalities, the most commonly studied test, are only necessary conditions for macrorealism, but, building on earlier work J. J. Halliwell, Phys. Rev. A 93, 022123 (2016), it is shown that when the four three-time LG inequalities are augmented with a certain set of two-time inequalities also of the LG form, Fine's theorem applies and these augmented conditions are then both necessary and sufficient. A comparison is carried out with a very different set of necessary and sufficient conditions for macrorealism, namely the no-signaling in time (NSIT) conditions proposed by J. Kofler and C. Brukner, Phys. Rev. A 87, 052115 (2013) and L. Clemente and J. Kofler, Phys. Rev. A 91, 062103 (2015), which ensure that all probabilities for
Q at one and two times are independent of whether earlier or intermediate measurements are made in a given run, and do not require (but imply) the LG inequalities. We argue that tests based on the LG inequalities have the form of very weak classicality conditions and can be satisfied in the face of moderate interference effects, but those based on NSIT conditions have the form of much stronger coherence witness conditions, satisfied only for zero interference. The two tests differ in their implementation of noninvasive measurability and so are testing different notions of macrorealism: the augmented LG tests are indirect, entailing a combination of the results of different experiments with only compatible quantities measured in each experimental run, in close analogy with Bell tests, and are primarily tests for macrorealism per se; in contrast, the NSIT tests entail sequential measurements of incompatible quantities and are primarily tests for noninvasiveness.
Macrorealism formalizes the seemingly intuitive notion that, in contrast with the principles of quantum mechanics, a physical system can be in a definite state at any given time and moreover its dynamical evolution is independent of the measurements performed on it. In this study, we carry out a comparative analysis between three-time Leggett--Garg-type inequalities and the conditions of no-signaling-in-time and arrow-of-time for macrorealism within the context of meson oscillations. Our findings indicate that, under given initial conditions, no violations of Leggett--Garg inequalities are observed. However, no-signaling-in-time conditions are found to be violated, thereby revealing the impossibility of applying a macrorealistic description to the physics of meson oscillations.
The correlations between successive measurements of a quantum system can violate a family of Leggett-Garg Inequalities (LGIs) that are analogous to the violation of Bell’s inequalities of measurements performed on spatially separated quantum systems. These LGIs follow from a point of view, imposing that a classical system is at all times in a definite state and that a measurement can, at least in principle, leave this state undisturbed. Violations of LGIs can be probed by neutrino flavor oscillations if the correlators of consecutive flavor measurements are approximately stationary. We discuss here several improvements of the methodology used in previous analyses based on accelerator and reactor neutrino data. We argue that the strong claims of LGI violations made in previous studies are based on an unsuitable modeling of macrorealistic systems in statistical hypothesis tests. We illustrate our improved methodology via the example of the MINOS muon-neutrino survival data, where we find revised statistical evidence for violations of LGIs at the ( 2 – 3 ) σ level, depending on macrorealistic background models.
The Leggett--Garg inequality (LGI) constrains temporal correlations under the assumptions of macrorealism and noninvasive measurability. We study the four-time quantity
K4 for two-flavor neutrino oscillations using a pseudo-density matrix (PDM) under static conditions, instead of non-invasive measurement. With this approach, it becomes possible to examine a Horodecki-type criterion for the temporal Pauli-correlation tensor. The Horodecki criterion had been proven for CHSH inequality (R. Horodecki et al. Phys. Lett. \textbf{A200}, 340), For any unitary qubit evolution, the corresponding scalar is
MR=2. Although, this result characterizes the correlation tensor and the optimized temporal construction, it does not imply that a fixed flavor observable violates the LGI at every neutrino energy or baseline. We therefore evaluate
K4 explicitly for flavor measurements in matter of constant density. The numerical examples illustrate how matter effects modify the temporal correlations, with a pronounced matter--vacuum separation near the MSW resonance for the chosen parameters and generally smaller differences in the selected off-resonance cases. This finding motivates further investigation of matter-induced temporal correlations in atmospheric neutrinos and their potential relevance to future studies with long-baseline and atmospheric-neutrino experiments, including DUNE and Hyper-Kamiokande.