Arxiv:1912.04798V3 [Quant-Ph] 5 Aug 2021 the KLOE Experiment and Its Successor KLOE-2 [7–9] at Nel at T1

Can Future Observation of the Living Partner Inﬂuence the Past Decayed State in Entangled Neutral K-Mesons ?

Jose Bernabeu∗ Department of Theoretical Physics, University of Valencia, and IFIC, Univ. Valencia-CSIC, E-46100 Burjassot, Valencia, Spain

Antonio Di Domenico† Department of Physics, Sapienza University of Rome, and INFN Sezione di Roma, P.le A. Moro, 2, I-00185 Rome, Italy

Entangled neutral K-mesons allow the study of their correlated dynamics at interference and decoherence times not accessible in any other system. We find novel quantum phenomena associated to a correlation-in-time between the two partners: the past state of the first decayed Kaon, when it was entangled before its decay, is influenced by the result and the time of the future observation of the second decay channel. This surprising “from future to past” effect is fully observable and leads to the unique experimental tag of the KS-state, an unsolved problem since the discovery of CP violation.

Since long ago, several authors have stated the cru- associated to each part of the system. cial role that the neutral kaon system has played for un- The methodology that we follow consists in comparing derstanding the intrincacies of the quantum world. In the description of the double decay distribution at times particular the words of R. Feynman [1], T.D. Lee [2] t1, t2 with ∆t = t2 −t1 > 0 using (i) the formalism of the and L. B. Okun [3] are all emphasising the uniqueness two decay times state first introduced by Lee and Yang of this system as a jewel donated to us by nature. They (LY) [21–24] with (ii) the time history (TH) of the en- were referring to the peculiar properties of single neutral tangled state from the coherent correlated neutral kaon kaon states, which display several rare phenomena like system until its fate. The quantum consistency of the two the strangeness oscillation, the tiny mass splitting and approaches and the t1, t2 symmetry of the first approach, the large difference in lifetimes of the physical states, the with no special role of one of the two decay times, natu- violation of the fundamental discrete symmetries Charge- rally demand the study of a novel problem: is it possible Parity (CP) and Time-Reversal (T ), the regeneration to infer the initial kaon state previous to the first decay when traversing a slab of material. at t1 from the observation of the second decay at time The present research is related to another peculiar t2 > t1, i.e. a correlation able to provide information character of neutral kaons: the “strange entanglement”, from the future to the past? Contrary to the informa- i.e. the entanglement which is specific to two neutral tion from the past to the future, i.e., the prediction of kaon systems with all the interconnections with the above the kaon state at time t2 from the observation of the first properties. It is worth reminding here that the entan- decay at time t1, the question formulated in this paper glement is one of the most striking feature of quantum involves information on a part of the system at times in mechanics, as stressed by E. Schrödinger[4], in reply to which the state was still fully entangled, i.e. before the the famous argument by A. Einstein, B. Podolsky and N. first decay, when asking which is which is considered to Rosen [5] (EPR) based on local realism. be unspeakable in John Bell’s terminology [25]. The experimental investigation of strange entangle- In the following, first we analyze the correlation from ment started more than two decades ago with the past to future, i.e. which is the state before the second CPLEAR experiment [6] at CERN, and continued with decay at t2, from the observation of the first decay chan- arXiv:1912.04798v3 [quant-ph] 5 Aug 2021 the KLOE experiment and its successor KLOE-2 [7–9] at nel at t1. Then we infer the correlation from future to the DAΦNE φ-factory [10–12], yielding several precision past, i.e. which is the state before the first decay at t1, results [13–20]. from the observation of the second decay channel at t2. The characteristic behaviour of strange entanglement, We identify the decoherence region in ∆t in which the with the peculiar properties of neutral kaons not found surviving correlation tells us KL at t2 and KS at t1, pro- in any other system, makes possible the exploration of viding the unique way to tag a KS experimentally. We novel phenomena: the surviving correlation-in-time from summarize the results presenting some final remarks and the observation of the future decay of the living partner our conclusion. at a given time to the identification of the past kaon state We consider an entangled two body neutral kaon sys- leading to the first decay. This from the future to the past tem, as actually realised at DAΦNE, with φ → K0K¯ 0 de- information in a system with non-trivial time evolution, cays, the source of EPR coherent K0K¯ 0 pairs in the C = −1 antisymmetric state: |ii = √1 {|K0i|K¯ 0i − |K¯ 0i|K0i}. entering into times in which the system was still entan- 2 gled, could contribute to unveil the kind of reality to be Under particle exchange we call particle-1 the first one 2 to decay at time t1, particle-2 the last to decay at time therefore identically given in terms of any two generic t2. We remind the reader that Quantum Entanglement linearly independent neutral kaon states, orthogonal is associated to Non-Separability in two aspects: (i) we or not. As a particular case, it can be written in cannot identify which is which due to indistinguishability, terms of the KS,KL states with definite time evolu- and (ii) we cannot specify the two parts of the system tion [26]: |ii = √N {|K i|K i − |K i|K i} with |N |2 = 2 S L L S which are not definite, showing that the parts have no 2−1 1 − |hKS|KLi| ' 1 . As a consequence, the entan- local physical reality. gled state |ii at any time t after its production remains In fact, the antisymmetric state |ii is unique and unaltered, even in presence of K0 − K¯ 0 mixing:

N −iλS t −iλLt −iλLt −iλS t −i(λS +λL)t |i(t)i = √ {|KSie |KLie − |KLie |KSie } = e |ii. (1) 2

If nothing is registered after the observation of the ﬁrst This also holds for any decay channel t1-distribution with decay at time t1 (i.e. integrating over all subsequent de- no other subsequent observation. cays at times t2 of particle-2), the survival probability of Two decay times state formalism (LY).– Following the the entangled state is necessarily characterised by the to- LY approach of the two decay times entangled state (1), −Γt1 tal width Γ = ΓS +ΓL of the system [27]: P (t1) = e . the correlated state of the two partners decaying at times t1 and t2 can be formally written as [21–24]:

N −iλS t1 −iλLt2 −iλLt1 −iλS t2 |it ,t i = √ {|KSie |KLie − |KLie |KSie }. (2) 1 2 2

The two decay times formalism defines in the combined measurement and its associated projection. Accordingly, two terms of the entangled state (1) what one calls the decay amplitude of the initial state |ii to channel particle-1 – the first one to decay – and particle-2 – the f1 at time t1 for particle-1 and channel f2 at time t2 second one to decay. The (formal) use as evolution times for particle-2, and the corresponding observable double is justified because they are disjoint and there is no over- differential decay rate I(f1, t1; f2, t2) can be readily cal- lap between them: t1 before, and t2 after, the performed culated [28]:

2 2 I(f1, t1; f2, t2)LY = |hf1(t1)f2(t2)|T |i(t)i| = |hf1f2|T |it1,t2 i| (ΓS +ΓL) 2 −ΓLt1−ΓS t2 2 −ΓS t1−ΓLt2 − (t1+t2) = C12{|η1| e + |η2| e − 2|η1||η2|e 2 cos[∆m∆t + φ1 − φ2]}, (3)

with hfi|T |KSi and hfi|T |KLi the decay amplitudes to As a corollary of the above approach one can notice iφi hfi|T |KLi the fi channel of KS and KL, ηi ≡ |ηi|e = , that at an intermediate step of the calculation – after hfi|T |KSi 2 |N | 2 the ﬁrst decay at time t1 – the state of the surviving and C12 = |hf1|T |KSihf2|T |KSi| . 2 kaon (particle-2) immediately before its decay at time t2 is expressed as:

Keeping t1 and f1 ﬁxed – the observation – and renor- malising the state at time t2 = t1, it corresponds to the 3 evolution from time t1 to time t2 of the pure state two orthogonal states as:

1 ⊥ ⊥ (2) |ii = √ {|K f i|K f i − |K f i|K f i} , (8) |K (t = t1)i = N2 [|KLi − η1|KSi] , (5) 2 9 9 9 9

the first decay to f1 at time t1 tags the state of the sur- with N2 a suitable normalization factor. This is precisely viving partner as given by Eq.(7) with f = f1 and filters the state of the living particle-2 which cannot decay to at the same time – on an event-by-event basis – the state f1, as a result of the projection by the decay of particle- |K⊥ i in the decayed kaon, as a result of the observation 9f1 1 at t1 as a filtering measurement – see eqs.(7) and (8) of the f1 channel. The “filtering identity” [29] defines below. the precise meaning of the last statement in terms of the It is worth noting here that due to ∆Γ = ΓS − ΓL 6= 0 decay probability of the decayed state into f1. Here it is two regimes can be identified in the time evolution of worth underlining that physically this corresponds to an state (5): (i) the generic interference region and (ii) the irreversible process where the entangled state |ii ceases decoherence region, with the relative weight of the KS its existence as a two-body state, with an immediate in- component negligible when the following condition is sat- formation from the decayed kaon to the survived one, isfied: leaving the system in a definite single particle state. In other words, the f1 decay of a kaon on one side prepares −∆Γ∆t/2 (tags), in the quantum mechanical sense, its partner kaon |η1|e 1 [KL-tag]. (6) in the state |K9f1 i at a starting time t = t1. Then the |K9f1 i state freely evolves in time – and in this sense the At long enough ∆t – depending on what f1 was – the information is from past to future – until its decay time living partner is always a |KLi. This property is well at t2, see Eq.(4). understood and it has been used in the past in order to In summary four sequential steps are present in the have KL beams “for all practical purposes” (FAPP) in time history of the entangled state |ii: Bell’s terminology [25]. 1. the time evolution of the state |ii from time t = 0 Time history (TH).– It is worth to point out that the to time t = t , with definite total width Γ; result (5) for the living partner is in agreement with the 1 EPR instantaneous information due to the first decay 2. the projection of the state |i(t = t1)i onto the or- ⊥ when following the time history of strange entanglement, thogonal pair |K i|K f i, filtered by the decay 9f1 9 1 ⊥ which we are now going to study in detail. f1, times the decay amplitude of the state |K i 9f1 We first notice that in the case of decay processes, any into the f1 channel; initial state has some probability per unit time to decay to a given decay channel f except that with zero proba- 3. the time evolution of the surviving (single) kaon state |K i from time t = t to time t = t ; bility. In particular the linear combination 9f1 1 2

4. the projection at time t = t2 of the evolved state ⊥ |K f (∆t)i onto the state |K i filtered by the |K9f i = N9f [|KLi − ηf |KSi] , (7) 9 1 9f2 decay f2, times the decay amplitude of the state ⊥ |K i into the f2 channel. 9f2 having a vanishing decay amplitude hf|T |K9f i = 0, cannot decay to f. Thus the orthogonal state to (7), |K⊥ i, These steps straightforwardly lead to the calculation of 9f is filtered by the decay. From the entangled system |ii, the observable double differential decay rate by factoris- which can be rewritten for convenience in terms of these ing the amplitudes as follows:

One can easily verify that the TH approach is fully con- TH approach. The t1, t2 symmetry of the correlated sistent with the LY approach [30]: I(f1, t1; f2, t2)TH = state in the LY approach – Eq.(2) – with no special role I(f1, t1; f2, t2)LY ≡ I(f1, t1; f2, t2). of one of the two decay times, demands the exploration As already pointed out, the state (5) evaluated from of its implications when projecting it instead onto the f2 expression (4) in the LY approach coincides with the state channel at time t2. With this information, the resulting

|K9f1 i of the surviving kaon after the ﬁrst decay in the past decayed state at time t1 is: 4

N (1) −iλS t1 −iλLt2 −iλLt1 −iλS t2 |K (t = t1)i =hf2|T |it ,t i = √ hf2|T |KSi{e η2 e |KSi − e e |KLi } . (10) 1 2 2

Expression (10) corresponds to the state of the decayed an event-by-event basis. While it is relatively easy to kaon (particle-1) immediately before its decay at time t1, prepare FAPP pure KL beams, fulfilment of condition once t2 and f2 are fixed – the future “fate” of its partner. (12) constitutes the only known FAPP method to actu- Keeping t2 and f2 fixed – the observation – and varying ally post-pare a KS beam (i.e. the short-lived stationary the first decay time t1, it corresponds to the single kaon state) with arbitrary high purity (depending on ∆t and evolved state, before the first decay, from time t = 0 to η2), preparation otherwise impossible with other meth- time t = t1 of the state ods. As illustration of the observables in the two different regimes, Figure 1 shows the decay rate distribution into (1) −iλLt2 −iλS t2 |K (t = 0)i = N1{η2e |KSi − e |KLi}(11) a generic channel f1 of state (10) as a function of t1 in two cases: either observed at t2 = 3 τS (interference re- with N1 a suitable renormalization factor. Contrary to gion) or when condition (12) is satisfied (decoherence re- eq.(5) which is independent on the past t1 decay time, eq.(11) shows a dependence not only on the gion), with f2 = f1 to maximize the interference effects and make visible the difference between the two cases. decay channel f2, but also on the future t2 decay time. This choice f2 = f1 also emphasizes the differing results This is a striking result which clearly involves a as due to the dependence on the time of the future ob- correlation-in-time from the future observation at time servation. Whereas the decoherence case shows a definite width ΓS, the future observation in the t2 to the past, inferring the initial kaon state before its interference region leads to a t1-distribution with first decay at t1. It becomes well defined during the time evolution of the entangled state |ii described by eq.(1) no definite lifetime. In the latter case the t1 distribu- when the state of particle-1 (and particle-2) should have tion does depend on the decay channel. All these results been undefined in the absence of any observation. We differ from the time distribution, given by the total width insist that the post-diction implied by Eq.(10) is not an Γ, in the absence of any future observation [37]. artefact of the formalism but a factual observable acces- In the case of entangled neutral mesons in the C = (−) sible to experimental studies and thus it is fully physical. state, the dynamics before the first decay was considered In a time history from future to past, the future obser- to be trivial, even with mixing, as corresponding to a definite time evolution with the total width of the sys- vation at time t2 tags particle-1 at the time t1 = t2 into tem. Hence in the past the experimental studies were the state proportional to {η2|KSi − |KLi}, the state not concentrated in the observation of the single kaon de- decaying to f2. Keeping t2 and η2 fixed – the observation –, the backward evolution of this tagged unobserved cay rate distribution between the two decays depending on ∆t. The first decay acts as a filtering preparation of state to t1 < t2 leads to Eq.(10). the initial single state of the living partner. Our paper The interference and decoherence regimes: the KS tag.– As a counterpart of the observability of the pre- demonstrates the consistency of this description in terms of observables like: What is the state of the living part- dicted Eq. (4) through the t2 time distribution of the ner at the time t2 of the second decay?, a well defined – second decay, once the first decay to the f1 decay chan- speakable – question after the measurement of the first nel at t1 is fixed, the t1 time distribution of the first decay as post-dicted in Eq. (10) is also observable, once the sec- decay channel f1 at t1. Asking What was the state of the first decayed kaon?, however, was considered to be ond decay channel f2 and the decay time t2 are fixed. As unspeakable. Our study from future to past leads to the function of t1, two different regimes can be identified: the conclusion that this last contention is only valid as long generic interference region, in which the t2 dependence of Eq. (10) is apparent, and the decoherence region, in as no future observation is made. In our case of a future measurement, the independence on the reference frame is which the relative weight of the KL component is negligible. Decoherence is reached for large ∆t satisfying the assured when a time-like interval between the two decays condition: is considered. The present research has gone indeed a step further −∆Γ∆t/2 e /|η2| 1 [KS-tag] , (12) and seems to recognize that the correlation between the two partners survives their explicit dynamics, with a leading to a pure KS beam before the first decay. transition from the quantum correlation of entanglement This consequence of the surviving correlation-in-time is to a classical correlation of separable KS KL states. The most rewarding. Due to CP violation and the non- information from a measurement on the living partner – orthogonality of the stationary states hKL|KSi= 6 0, there f2 decay channel at t2 – to the state of the decayed me- is no decay channel able to tag either KS or KL on son at t1 is most surprising. Entering into the entangled 5

the result unchanged. In the effect discussed here, the result has a non-trivial time dependence and the time of the future observation truly influences the state of the past decayed kaon, as depicted in Fig. 1. The result dN/dt 1 is not symmetric when comparing the outcomes in the 1 two senses of “from past to future”, Eq.(4), and “from future to past”, Eq (10). This is characteristic of the neutral K-meson system with flavor mixing, ∆Γ > 0 and -1 10 hKL|KSi= 6 0, leading at decoherence times to the unique experimental KS-tag . These predictions are fully observ-

-2 able through the measurement of t1-distributions as the 10 ones shown in Fig. 1, with no analogue in other physical systems. -3 10 The surviving correlation-in-time, by which the future observation influences the past “element of reality”, merits further thinking to unveil what kind of reality is -4 10 behind the undefined lack of local realism. Our results demonstrate that the nature of the correlation-in-time is definite between the outcome of the observed partner -5 10 and the state of the unobserved partner, no matter the 0 0.5 1 1.5 2 2.5 3 time ordering of these two facts. This is so for even a t1/τS non-symmetric time evolution and the time-dependent influence of the future observation on the first decayed state, as actually shown for the neutral K-meson system.

This research has been supported by the FEDER/MCIyU-AEI Grant FPA2017-84543-P and FIG. 1. The decay rate distribution into a generic channel f1 Generalitat Valenciana Project GV PROMETEO of state (10) as a function of t1 for the future observation at 2017-033 . t2 = 3 τS (solid line), and when condition (12) for decoherence is satisfied (dashed line), with f2 = f1. The last shows a definite lifetime τS and does not depend on the decay channel f1. They differ both from the t1-distribution (dotted line) in the absence of a future measurement (in this case ΓL has ∗ been multiplied by a factor 100 to appreciate graphically the [email protected] † difference between dotted and dashed lines). All distributions [email protected] are normalised to unity at t1 = 0. [1] R. P. Feynman, R. B. Leighton, M. L. Sands, The Feyn- man Lectures on Physics, Vol.III, (Addison-Wesley Pub. Co, Reading, Mass, 1963). [2] T. D. Lee, Particle Physics and Introduction to Field region, i.e. just before the first decay, is not an artefact Theory, (Harwood Academic, New York,1981). of our formalism, but a precise experimental observable [3] L. B. Okun, Leptons and Quarks, (North Holland, Ams- through the t1 distribution of decays in any channel, as terdam, 1982). shown in Fig.1. This is so for even situations of deco- [4] E. Schrödinger, Discussion of probability relations be- herence, Eq.(12), a physical situation only reachable for tween separated systems, Math. Proc. Cambridge Phil. strange entanglement with the two very different lifetimes Soc. 31, 555 (1935). of K and K . The relevance of this result for particle [5] A. Einstein, B. Podolsky, N. Rosen, Can quantum me- L S chanical description of physical reality be considered physics is outstanding: the unique way to tag what a K S complete?, Phys. Rev. 47, 777 (1935). is, i.e. the solution of an open problem since the discov- [6] A. Apostolakis et al., An EPR experiment testing ery of CP violation. the nonseparability of the K0 anti-K0 wave function, Our results seem to confirm the counter-intuitive Phys.Lett. B 422, 339 (1998). feature of time in quantum mechanics. The surviv- [7] F. Bossi et al., Precision Kaon and Hadron Physics with ing correlation-in-time found here goes beyond other KLOE, Rivista del Nuovo Cimento 31, 10, 531 (2008). phenomena, like delayed choice experiments, quantum [8] G. Amelino-Camelia et al., Physics with the KLOE-2 experiment at the upgraded DAΦNE, Eur. Phys. J. C 68, erasers or teleportation, discussed for photons [38–41]. 619 (2010). In the case of delayed choice designs, the system is sta- [9] A. Di Domenico (ed.), Proceedings of KLOE-2 Workshop tionary at all times and the choice of the outcome can on e+e− Collision Physics at 1 GeV, Frascati, Italy, Oc- be made by either advanced or delayed observation with tober 26–28, 2016, Eur. Phys. J. Web Conf. 166 (2018). 6

[10] A. Gallo et al., DAΦNE status report, Conf. Proc. KL states [17, 28] . C060626, 604 (2006). [27] This property holds only for the C = −1 antisymmetric [11] M. Zobov et al., Test of crab-waist collisions at the state, but not for the C = +1 symmetric state in which DAΦNE Φ factory, Phys. Rev. Lett. 104, 174801 (2010). the time evolution would induce K0K0 and K¯ 0K¯ 0 terms [12] C. Milardi et al., High luminosity interaction region due to K0 − K¯ 0 mixing by weak interactions. design for collisions inside high field detector solenoid, [28] A. Di Domenico (ed.) Handbook on Neutral Kaon Inter- JINST 7, T03002 (2012). ferometry at a φ-factory, (Frascati Phys. Ser. 43, INFN- [13] F. Ambrosino et al., First observation of quantum inter- LNF, Frascati, 2007). + − + − ference in the process φ → KSKL → π π π π : a Test [29] J. Bernabeu, F. J. Botella, M. Nebot, Novel T -Violation of quantum mechanics and CPT symmetry, Phys. Lett. observable open to any pair of decay channels at meson B 642, 315 (2006). factories, Phys. Lett. B 728, 95 (2014). [14] A. Di Domenico et al., CPT symmetry and quantum [30] It is worth mentioning that the concepts of quantum en- mechanics tests in the neutral kaon system at KLOE, tanglement and decay as a filtering measurement – as Found. Phys. 40, 852 (2010). used in the TH approach – have been instrumental in [15] D. Babusci et al., Test of CPT and Lorentz symmetry recent years [31–33] for observing T -Violation for the in entangled neutral kaons with the KLOE experiment, B0-meson [34], bypassing the well known NO-GO argu- Phys. Lett. B 730, 89 (2014). ment for measuring genuine T and CPT asymmetries in [16] D. Babusci, et al., A new limit on the CP violating decay transitions for decaying particles. Similar ideas have been 0 KS → 3π with the KLOE experiment, Phys. Lett. B formulated for the case of neutral kaons [35, 36]. 723, 54 (2013). [31] M. C. Banuls, J. Bernabeu, CP, T and CPT versus tem- [17] A. Anastasi et al., Measurement of the charge asymmetry poral asymmetries for entangled states of the B(d) sys- for the KS → πeν decay and test of CPT symmetry with tem, Phys.Lett. B 464, 117 (1999). the KLOE detector, JHEP 09, 021 (2018). [32] M. C. Banuls, J. Bernabeu, Studying indirect violation [18] A. Di Domenico et al., Testing discrete symmetries with of CP, T and CPT in a B factory, Nucl.Phys. B 590, 19 neutral kaons at KLOE-2, PoS (ICHEP2018), 580 (2018), (2000). https://doi.org/10.22323/1.340.0580 . [33] J. Bernabeu, F. Martinez-Vidal, P. Villanueva-Perez, [19] D. Babusci et al., Measurement of the branching fraction Time Reversal Violation from the entangled B0-antiB0 for the decay KS → πµν with the KLOE detector, Phys. system, JHEP 08, 064 (2012). Lett. B 804, 135378 (2020). [34] J. P. Lees et al., Observation of Time Reversal Violation [20] F. Ambrosino et al., Precision measurement of the KS in the B0 Meson System, Phys. Rev. Lett. 109, 211801 meson lifetime with the KLOE detector, Eur. Phys. J. (2012). C 71, 1604 (2011). [35] J. Bernabeu, A. Di Domenico, P. Villanueva-Perez, Di- [21] T. D. Lee, C. N. Yang, Reported by T. D. Lee at the rect test of time reversal symmetry in the entangled neu- Argonne National Laboratory, (unpublished, 1960), See tral kaon system at a φ-factory, Nucl. Phys. B 868, 102 text and footnotes in ref. [22, 23]. (2013). [22] T. B. Day, Demonstration of Quantum Mechanics in the [36] J. Bernabeu, A. Di Domenico, P. Villanueva-Perez, Prob- large, Phys. Rev. 121, 1204 (1960). ing CPT in transitions with entangled neutral kaons, [23] D. R. Inglis, Completeness of Quantum Mechanics JHEP 10, 139 (2015). and Charge-Conjugation correlations of Theta particles, [37] The KLOE/KLOE-2 experiment has already used the Rev. Mod. Phys. 33, 1 (1961). method based on condition (12) to select a pure KS beam [24] H. J. Lipkin, CP violation and coherent decays of kaon to study its semileptonic decay [17, 19], to search for its pairs, Phys. Rev. 176 1715 (1968). rare CP violating decay [16] into 3π0, and to study the [25] J. S. Bell, Speakable and Unspeakable in Quantum Me- KS decay time distribution and KS,L interference with + − chanics, (Cambridge University Press, Cambridge, 1987). f1 = f2 = π π [13–15, 20] . In light of these results, [26] The eigenstates of the effective Hamiltonian describing a the KLOE-2 experiment is in an unique position to per- single neutral kaon are the short- and long-lived physical form a full experimental verification of the surprising phe- states |KSi and |KLi. They have definite masses mS,L and nomenon discussed in this paper about the information lifetimes τS,L and evolve as a function of the kaon proper from future to past implied by result (10). −iλS,Lt time t as pure exponentials |KS,L(t)i = e |KS,Li [38] M. O. Scully, K. Drühl,Quantum eraser: A proposed −1 with λS,L = mS,L − iΓS,L/2, and ΓS,L = (τS,L) . They photon correlation experiment concerning observation are usually expressed in terms of the flavor eigenstates and “delayed choice” in quantum mechanics, Phys. Rev. 0 ¯ 0 0 ¯ 0 |K i, |K i as: |KS,Li ∝ (1 + S,L)|K i ± (1 − S,L)|K i A 25, 2208 (1982). with S and L two small complex parameters describ- [39] Y. H. Kim, R. Yu, S. P. Kulik, Y. Shih, M. O. Scully, ing the CP impurity in the physical states, making them Delayed “Choice” Quantum Eraser, Phys. Rev. Lett. ? non-orthogonal, hKS|KLi ' L +S . One can equivalently 84, 1 (2000). define ≡ (S + L)/2, and δ ≡ (S − L)/2; adopting [40] R. A. Bertlmann, H. Narnhofer, W. Thirring, Time- a suitable phase convention 6= 0 implies T violation, ordering dependence of measurements in teleportation, δ 6= 0 implies CPT violation, while δ 6= 0 or 6= 0 im- Eur. Phys. J. D 67, 62 (2013). plies CP violation. It is worth noting that one of the most [41] X. Ma, J. Kofler, A. Zeilinger, Delayed-choice gedanken stringent tests of the fundamental CPT symmetry is per- experiments and their realizations, Rev. Mod. Phys. 88, formed comparing the measured CP violation in KS and 015005 (2016).