1. Necessary and sufficient conditions for macroscopic realism from quantum mechanics Johannes Kofler Max Planck Institute of Quantum Optics (MPQ) Garching/Munich, Germany Quantum Theory: from foundations to technologies – QTFT Linnaeus University, Växjö, Sweden 9 June 2015

2. Introduction How does our macroscopic & classical world arise out of quantum mechanics?  Decoherence (within quantum mechanics)  Spontaneous collapse models (altering quantum mechanics)  Complementary to decoherence: coarse-grained measurements Macroscopic realism:“every object is in a definite macrostate at all times and can be measured non-invasively”  Leggett-Garg inequality (LGI) Quantum mechanics:superpositions of macroscopically distinct states (“Schrödinger cats”)  violation of LGI Alternative to the Leggett-Garg inequalities: “no-signaling in time” (NSIT) ??

3. With photons, electrons, neutrons, molecules etc. With cats? |cat left  + |cat right  ? Measurement problem Quantum-to-classical transition Macroscopic superpositions

4. Candidates Heavy molecules 1 (position) Nanomechanics 4 (position, momentum) Superconducting devices 2 (current) Atomic gases 3 (spin) 1 S. Gerlich et al., Nature Comm. 2, 263 (2011) 3 B. Julsgaard et al., Nature 413, 400 (2001) 2 M. W. Johnson et al., Nature 473, 194 (2011) 4 G. Cole et al., Nature Comm. 2, 231 (2011)

5. Macrorealism Macrorealism per se: 1 given a set of macroscopically distinct states, a macroscopic object is at any given time in a definite one of these states Non-invasive measurability: 1 measurements reveal the state without any effect on the state itself or on the subsequent dynamics Leggett-Garg inequality (LGI): 1 A. J. Leggett and A. Garg, PRL 54, 857 (1985) Quantum mechanics: t1t1 t2t2 t3t3 t4t4 t0t0 QQQQ ±1 S :=  A 1 B 1  +  A 2 B 1  +  A 1 B 2  –  A 2 B 2   2 K :=  Q 1 Q 2  +  Q 2 Q 3  +  Q 3 Q 4  –  Q 1 Q 4   2 Bell: K QM = 2  2  2.83 locality non-invasiveness = = time J. Dressel et al., PRL 106, 040402 (2011) M. E. Goggin et al., PNAS 108, 1256 (2011) A. Fedrizzi et al., PRL 106, 200402 (2011) Exp. LGI violations for microscopic systems: G. Waldherr et al., PRL 107, 090401 (2011) G. C. Knee et al., Nature Comm. 3, 606 (2012) A. Asadian et al., PRL 112, 190402 (2013) a B = ±1A = ±1 b

6. Quantum mechanics says “yes” (if you manage to defy decoherence) Are macroscopic superpositions possible? Local realism vs. macrorealism Quantum mechanics says “yes” (use entanglement) Are non-classical correlations possible? Local realism (e.g. classical physics) says “no” (only classical correlations) Bell test has given experimental answer in favor of quantum mechanics Macrorealism (e.g. classical physics, objective collapse models) says “no” (only classical temporal correlations) Leggett-Garg test can/will give experimental answer, community still split Practical relevance qu. computation, qu. cryptography Practical relevance witnessing temporal qu. coherence

7. Ideal negative measurements Taking only those results where no interaction with the object took place How to enforce non-invasiveness? Locality vs. non-invasiveness Space-like separation Special relativity guarantees impossibility of physical influence How to enforce locality? Bohmian mechanics Space-like separation is of no help: non-local influence on hidden variable level Realistic, non-local Bohmian mechanics Ideal negative measurements are of no help: wavefunction “collapse” changes subsequent evolution Macrorealistic per se, invasive ?? –1+1 –1+1

8. Sharp measurements (resolution of individual quantum levels) Decoherence or coarse-grained meas. (smeared phase space observables) Sharp vs. coarse-grained measurements To see quantumness: need to resolve j 1/2 levels & protect system from environment J.K. and Č. Brukner, PRL 99, 180403 (2007) Macroscopic spin j

9. Oscillating Schrödinger cat “non-classical” rotation in Hilbert space Rotation in real space “classical” N sequential steps per  t1 single computation step per  t all N rotations can be done simultaneously Non-classical evolutions are complex J.K. and Č. Brukner, PRL 101, 090403 (2008) N elemen- tary spins ½ time “+” tt tt tt tt

10. The quantum-to-classical transition decoherence or J.K. and Č. Brukner, PRL 101, 090403 (2008) J.K. and Č. Brukner, PRL 99, 180403 (2007)

11. Alternative to LGI No-signaling (NS): “A measurement on one side does not change the outcome statistics on the other side.” tAtA tBtB t0t0 AB 1 J.K. and Č. Brukner, PRA 87, 052115 (2013) BINS LR QM LGINSIT MR QM BI necessary for LR tests NS “useless” LGI not essential for MR tests alternative: NSIT (interference) more physical, simpler, stronger, more robust to noise a BA b No-signaling in time (NSIT): “A measurement does not change the outcome statistics of a later measurement.” 1

12. Double slit experiment t1t1 Picture: N. Bohr, in Quantum Theory and Measurement, eds. J. A. Wheeler and W. H. Zurek, Princeton University Press (1983) t2t2 II Block lower slit at x = –d/2 : III Block upper slit at x = +d/2 : t0t0 x =  d/2 x fringes no fringes II,III : ideal negative measurements  NSIT is violated due to interference terms LGI impossible to construct I Both slits open: t x

13. Mach-Zehnder interferometer LGINSIT violated in specific parameter regimesviolated up to measure 0 J. K. and Č. Brukner, PRA 87, 052115 (2013)

14. Necessary conditions for MR 1 L. Clemente and J.K., PRA 91, 062103 (2015) Variety of necessary conditions for macrorealism 1

15. Necessary and sufficient for MR 2 L. Clemente and J.K., PRA 91, 062103 (2015) Necessary and sufficient 2 for MR 012 Sufficient 1 for LGI 012 1 O. J. E. Maroney and C. G Timpson, arXiv:1412.6139

16. NSIT for quantum measurements L. Clemente and J.K., PRA 91, 062103 (2015) Violation requires non-classical resource 1,2,3,4 non-classical states / sharp measurements or non-classical Hamiltonians 1 J.K. and Č. Brukner, PRL 101, 090403 (2008) 2 T. Wang, R. Ghobadi, S. Raeisi, C. Simon, PRA 88, 062114 (2013) 3 H. Jeong, Y. Lim, M. S. Kim, PRL 112, 010402 (2014). 4 P. Sekatski, N. Gisin, N. Sangouard, PRL 113, 090403 (2014) coarse-grained observables “classical” Hamiltonians proj.

17. Conclusion & Outlook Quantum-to-classical transition:  classical Hamiltonians & coarse-grained measurements No-signaling in time (NSIT):  alternative to the Leggett-Garg inequalities (simpler, stronger)  combination of NSIT clauses: necessary and sufficient for macrorealism Open problems:  general trade-off “measurement precision vs. Hamiltonian complexity”  coarse-graining requires notion of “neighborhood” of states

18. Acknowledgments Časlav BruknerLucas Clemente J.K. and Č. Brukner, PRA 87, 052115 (2013)L. Clemente and J.K., PRA 91, 062103 (2015)