Arxiv:1907.06354V6 [Quant-Ph] 19 Mar 2021 Changed, Neither a Nonideal Classical Nor Any Quantum [24, 25]
Total Page:16
File Type:pdf, Size:1020Kb
Conservation laws in quantum noninvasive measurements Stanisław Sołtan,1 Mateusz Frączak,1 Wolfgang Belzig,2, ∗ and Adam Bednorz1 1Faculty of Physics, University of Warsaw, ul. Pasteura 5, PL02-093 Warsaw, Poland 2Fachbereich Physik, Universität Konstanz, D-78457 Konstanz, Germany (Dated: March 22, 2021) Conservation principles are essential to describe and quantify dynamical processes in all areas of physics. Classically, a conservation law holds because the description of reality can be considered independent of an observation (measurement). In quantum mechanics, however, invasive observa- tions change quantities drastically, irrespective of any classical conservation law. One may hope to overcome this nonconservation by performing a weak, almost noninvasive measurement. Interest- ingly, we find that the nonconservation is manifest even in weakly measured correlations if some of the other observables do not commute with the conserved quantity. Our observations show that conservation laws in quantum mechanics should be considered in their specific measurement context. We provide experimentally feasible examples to observe the apparent nonconservation of energy and angular momentum. I. INTRODUCTION has been noticed long ago by Wigner, Araki and Yanase (WAY)[4–6], later been discussed in the context of con- sistent histories [7], modular values [8], and the quan- Conserved quantities play an important role in both tum clock [9]. The generation, measurement, and con- classical and quantum mechanics. According to the clas- trol of quantum conserved quantities, in particular, an- sical Noether theorem, the invariance of the dynamics of gular momentum, has become interesting recently, both a system under specific transformations [1] implies the experimentally and theoretically [10–12]. Measurements conservation of certain quantities: translation symme- incompatible with energy lead to thermodynamic cost try in time and space results in energy and momentum [13–15]. conservation, respectively, rotational symmetry in angu- The quantum objectivity is one aspect of the general lar momentum conservation and gauge invariance in a concern of Einstein [16] and Mermin [17] if the (quan- conserved charge. In quantum mechanics, the observ- tum) Moon exists when nobody looks. The randomness ables (in the Heisenberg picture) are time-independent of quantum mechanics does not exclude objective reality when they commute with the Hamiltonian. Furthermore, [18]. Here, we assume that objective observations should some conserved quantities, like the total charge, commute be noninvasive i.e., leaving the probed system unchanged. also with all observables. We shall call them supercon- Unfortunately, unlike the classical case, the fundamental served. Classically all conserved quantities are also super- uncertainty prevents a completely noninvasive measure- conserved. In high energy nomenclature the former are ment in quantum mechanics [19]. Hence, the only re- known as on-shell conserved whereas the latter are called maining possibility seems to be to consider the limit of off-shell conserved [2]. The concept of superconservation weak measurements, which are almost noninvasive. The is closely related to the superselection rule which consti- objectivity based on weak measurements can lead to un- tutes an additional postulate that the set of observables expected results such as weak values [20] or the violation is restricted to those commuting with the superconserved of the Leggett-Garg inequality [21–23]. Unlike the stan- operators [3]. dard projection, which is highly invasive, the extraction Conservation principles become less obvious when one of objective values from weak measurements requires a tries to verify them experimentally. While an ideal clas- special protocol involving the subtraction of a large de- sical measurement will keep the relevant quantities un- tection noise. Therefore, such objectivity is debatable arXiv:1907.06354v6 [quant-ph] 19 Mar 2021 changed, neither a nonideal classical nor any quantum [24, 25]. In our opinion, weak quantum measurements are measurement will necessarily reflect the conservation ex- the closest counterparts of classical measurements [26], actly. Even the smallest interaction between the system so they are prime candidates to define objective reality and the measuring device (detector) may involve a trans- and, consequently, conservation principles are expected fer of the conserved quantity. The system might become to hold in systems with an appropriate invariance. a coherent superposition of states with different values In this paper, we will show that for quantum mea- of a conserved quantity (e.g. energy), or in the case of surements in the weak limit superconservation holds but a superconserved quantity an incoherent mixture (e.g. quantities such as energy, momentum, and angular mo- charge). The problem of proper modeling of the mea- mentum apparently violate conservation even if an ap- surement of quantities incompatible with conserved ones propriate symmetry results in classical conservation law. The violation of conservation appears in third-order time correlations as we illustrate in simple model systems (Fig. 1). The violation is caused by (at least two) other ∗Electronic address: [email protected] observables that are not commuting with the conserved 2 commuting) projections onto the eigenspace of the value time q (i.e. Q^j qi = qj qi). Now, the superselection postulate t' 1 says that the state of the system ρ^ is always an incoherent 1 t 1 P ^ ^ ^ t1 t'1 mixture q Pqρ^Pq, if Q is superconserved. Then the pro- 2 jective measurement of A^ will not alter the q−eigenspace ^ P ^ ^ t as there exists a decomposition A = aPqa with Pqa 2 t q;a 3 3 being the projection onto the joint eigenspace of Q^ and A^ with respective eigenvalues q and a. For instance, if the initial state is already a q−eigenstate then it will remain Δq Δq g→0 such an eigenstate after the projection. For general mea- SYSTEM DETECTOR surements, positive operator-valued measures (POVM), represented by Kraus operators K^c (the index c can rep- FIG. 1: (top) Three weak measurements. The detectors are resent an eigenvalue of A^, Q^ or both but in general it can P y initially independent and couple instantly to the system at t1 be arbitrary) such that K^ K^c = 1^, the state ρ^ will 0 c c (or t1), t2 and t3. The conserved quantity is measured (empty ^ ^ y 0 collapse to ρ^c = Kcρ^Kc , normalized by the probability circles) either at time t1 < t2 or t1 > t2. The outcomes 1 and 0 Tr^ρc. In principle K^c can act within q-eigenspaces, i.e. 1 inferred from the three-point correlator might differ, even ^ ^ ^ ^ for a conserved quantity in the quantum case. (bottom) Fail- c = qa and Kqa = PqKaPq. In the most general case, the ure of conservation in the weak measurement. The transfer superconserving Kraus operator reads ∆q of the conserved quantity q between the system and de- ^ ^ ^ ^ tector does not scale with the measurement strength g. Kq0aq = Pq0 KaPq: (1) It means that the superconserved value can change but the system remains an incoherent mixture of q- one. We write down an operational criterion to witness eigenstates. This applies e.g. to a charge measurement the violation of a conservation principle and discuss when in a quantum dot (which is superconserved), where the it is satisfied. Then we propose a feasible experiment charge can leak out into an incoherent bath. The (nor- probing position and magnetic moment of a charge in a mally) conserved quantities do not impose any additional circular trap. Last, considering an imperfect conserva- postulates so the state can be a coherent superposition of tion or measurement of the quantity we develop then a the states of different values of energy, angular momen- Leggett-Garg-type test of objective realism. tum, etc. A projective measurement of A^ which does not commute with Q is enough to turn a q-eigenstate into a superposition. Now, if we try to postulate a II. SUPERCONSERVATION POVM with superconserving Kraus operators then the actually measured operator involves a linear combina- ^ P ^ ^ y ^ ^ ^ ^ The physical Hermitian quantity Q, defined within tion of qq0 PqKaPq0 KaPq so it must commute with Q the system is conserved when [H;^ Q^] = 0 for the sys- which would become superconserved. This is a modern tem’s Hamiltonian H^ . The Q^ can be superconserved if version of the WAY theorem [4–6], that the measurement ^ P ^ y ^ ^ there exists a set A of allowed Hermitian observables of A = a aKaKa not commuting with Q, cannot con- such [A;^ Q^] = 0 for every A^ 2 A. In principle, one sist of only K^q0aq defined above with q−eigenspaces of could make every conserved quantity superconserved by Q^. Such a formulation is simpler than the original WAY a proper choice of the set A. However, for instance, for a theorem, as is does not need the dicussion of an auxil- component of angular momentum we would have to ex- iary detector. On the other hand both approaches are clude position and momentum or even other components equivalent due to the Naimark theorem [27]. of angular momentum. Instead, we will distinguish quan- The unavoidability of coherent superpositions of only tities that are conserved but not superconserved by al- conserved values is the key problem considered here. lowing measurement of observables not commuting with them. An example of a superconserved quantity is the total electric charge, while the set of observables and pos- III. WEAK MEASUREMENTS AND sible initial state density matrices is restricted to those OBJECTIVE REALISM that do not change the charge. This is also known as superselection rule. Whether this rule is an axiom or a Strong projections are highly invasive, i.e. ρ^ ! practical assumption, depending in the considered Hamil- P ^ ^ P P ρ^P changes the state ρ very much. On the other tonian, is a matter of debate [3], because one can in hand, unlike classical physics, quantum mechanics does principle imagine dynamics without e.g.