Next Article in Journal / Special Issue
The MoEDAL Experiment at the LHC—A Progress Report
Previous Article in Journal / Special Issue
Quantum Measurements in a Finite Space–Time Domain
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Symmetry Constrained Decoherence of Conditional Expectation Values †

by
M. Hamed Mohammady
and
Alessandro Romito
*,‡
Department of Physics, Lancaster University, Lancaster LA1 4YB, UK
*
Author to whom correspondence should be addressed.
This paper is based on the talk at the 7th International Conference on New Frontiers in Physics (ICNFP 2018), Crete, Greece, 4–12 July 2018.
These authors contributed equally to this work.
Universe 2019, 5(2), 46; https://doi.org/10.3390/universe5020046
Submission received: 29 December 2018 / Revised: 16 January 2019 / Accepted: 17 January 2019 / Published: 24 January 2019

Abstract

:
Conditional expectation values of quantum mechanical observables reflect unique non-classical correlations, and are generally sensitive to decoherence. We consider the circumstances under which such sensitivity to decoherence is removed, namely, when the measurement process is subjected to conservation laws. Specifically, we address systems with additive conserved quantities and identify sufficient conditions for the system state such that its coherence plays no role in the conditional expectation values of observables that commute with the conserved quantity. We discuss our findings for a specific model where the system-detector coupling is given by the Jaynes-Cummings interaction, which is relevant to experiments tracking trajectories of qubits in cavities. Our results clarify, among others, the role of coherence in thermal measurements in current architectures for quantum thermodynamics experiments.

1. Introduction

Quantum measurements stochastically disturb the state of the measured system. The paradigmatic example is ideal projective measurements, wherein the system “collapses” to the eigenstates of the measured observable [1]. More generally, the measurement induced back action is characterised by completely positive, trace non-increasing maps, or quantum instruments, which can be given a Kraus decomposition [2]. Such a state change will therefore allow us to define what the expectation value of some other observable will be, conditional on observing a given measurement outcome. In order to define the conditional change in the expectation value of an observable, however, we must have a method of defining what the conditional expectation value of an observable would be prior to observing a measurement outcome. As recently suggested in [3], this quantity can be defined by the weak value [4,5]. The weak value can be arbitrarily large, and even imaginary, which is incompatible with a probability distribution over the eigenvalues of the observable in question.
Conditional expectation values of observables have been associated to physically significant quantities like tunnelling times [6,7,8,9] or the spectroscopy of a wave function [10]. The possibility of tracking systems along single quantum trajectories conditioned to measurements outcomes in optical [11,12] and more recently in solid state [13,14] systems, opens also the possibility to observe individual quantum trajectories [15], implement feedback control protocols [13,16,17], determine weak values [18,19], produce deterministic entanglement [20,21], and realize Maxwell demons [22]. It is then possible to detect physical quantities along such quantum trajectories. Most prominently this idea has been used to define thermodynamic quantities along quantum trajectories based on the definition of conditional energy change along trajectories [23,24,25].
These conditional values are extremely sensitive to the coherence of the initial state of the system. This also means that they are extremely sensitive to decoherence mechanisms [26,27]. In the case of the weak value, for example, the effect of decoherence has been studied by analysing the quantum operation acting on the W-operator [28]. However, the effect of decoherence can be constrained in some situations by the presence of symmetries, i.e., conserved quantities, in the measurement process. In this work we address this issue by considering the measurement process that conserves an additive quantity across the object system that is measured, S , and the measuring apparatus, A , and derive sufficient conditions of the measurement process so that decoherence does not affect the result. First, we show that if the observable O S commutes with the object system component of the conserved quantity L S , then the conditional expectation value of O S will not be sensitive to the coherence in the object system with respect to L S so long as the apparatus state also commutes with the apparatus conserved quantity L A . Second, we show that if the measurement process is generated by a Jaynes-Cummings Hamiltonian (which conserves the total excitation number) then the conditional expectation value of an observable that commutes with the number operator will be insensitive to the initial coherence in the system, even if the apparatus state does not commute with the number operator, so long as the compound system is symmetric in the number representation. This situation is relevant for experiments tracking quantum trajectories for qubit in resonant cavities and we comment on the consequence of our result for thermodynamic quantities investigated in these setups.

2. Measurement Models and Conservation Laws

2.1. Quantum Measurements

An observable on a quantum system S , with Hilbert space H S , is described by a positive operator valued measure (POVM) M : = { M ( x ) } x X , where X denotes the set of measurement outcomes and M ( x ) are positive effect operators acting on H S that sum to the identity [29]. Given an initial preparation of the system in state ρ , the probability of observing outcome x of the POVM M is given by the Born rule as
p ρ M ( x ) : = tr [ M ( x ) ρ ]
The physical implementation of a POVM, by means of a suitable interaction with an apparatus, is referred to as a measurement model [30,31]. Every POVM M admits infinitely many measurement models, described by the tuple M : = ( H A , ϱ , U , Z A ) . Here H A is the Hilbert space of apparatus A , and ϱ is the state in which the apparatus is initially prepared; U is a unitary operator acting on H S H A ; and Z A = x X x P A x is a self-adjoint operator defining a projective valued measure (PVM) on A , where P A x denote projection operators on H A . Every outcome x of the PVM Z A on A is associated with outcome x of the POVM M on S . Consequently, a measurement model can be considered as a method of transferring information from the object system S to the measurement apparatus A by the unitary operator U, such that a measurement of the apparatus by Z A after this process will replicate the statistics of directly measuring the object system by the POVM M. Because of this, the unitary interaction stage of measurement is referred to as “premeasurement”, while the projective measurement at the end, responsible for leaving a permanent record of measurement outcomes, is referred to as “objectification” [32].
For each measurement outcome x, the measurement model defines an instrument [33] on S , given as
I x M ( ρ ) : = tr A [ ( 1 1 S P A x ) U ( ρ ϱ ) U ]
where tr A [ · ] denotes the partial trace over H A . The probability reproducibility criterion, which ensures that M replicates the measurement statistics of M, is defined as
p ρ M ( x ) = tr [ I x M ( ρ ) ] for all ρ on H S

2.2. Expected Value of a Self-Adjoint Operator Conditioned on the Outcome of a POVM

The state of the system, after observing outcome x of the POVM M, implemented by the measurement model M , is denoted as ρ ( x ) : = I x M ( ρ ) / p ρ M ( x ) . The conditional expectation value of a self adjoint operator O S , evaluated after observing outcome x of the POVM M, given an initial preparation of the system in state ρ , is thus given as
O S after ρ , M , x : = tr [ O S ρ ( x ) ] = 1 p ρ M ( x ) tr [ ( O S P A x ) U ( ρ ϱ ) U ]
The average value of O S after ρ , M , x , over all measurement outcomes, is simply
x X p ρ M ( x ) O S after ρ , M , x = tr [ ( O S 1 1 A ) U ( ρ ϱ ) U ]
Similarly, we may define the conditional expectation value of O S , evaluated before observing outcome x of the POVM M, given an initial preparation of the system in state ρ , as the real part of the generalised weak value of O S [34]
O S before ρ , M , x : = Re tr [ M ( x ) O S ρ ] p ρ M ( x ) Re tr [ I x M ( O S ρ ) ] p ρ M ( x ) = 1 2 p ρ M ( x ) tr [ ( 1 1 S P A x ) U ( ( O S ρ + ρ O S ) ϱ ) U ]
while the average value of O S before ρ , M , x over all measurement outcomes is
x X p ρ M ( x ) O S before ρ , M , x = tr [ O S ρ ]
Note that while while O S after ρ , M , x depends on the specific measurement model M for the POVM M, the same is not true for O S before ρ , M , x , which is uniquely determined by the POVM M. Finally, we may define the conditional change in the quantity O S , given outcome x of the POVM M, as the difference between Equations (4) and (6), which is
Δ O S ρ , M , x : = O S after ρ , M , x O S before ρ , M , x
The average change in this quantity is thus simply Δ O S ρ , M , x = tr [ ( O S 1 1 A ) U ( ρ ϱ ) U ] tr [ O S ρ ] . While Equations (4) and (6) can only be interpreted as statistical properties of the system in general, they can be definite properties under specific conditions. The most trivial case is for Equation (4), which is a definite property if ρ ( x ) only has support on a single (possibly degenerate) subspace of O S . The more interesting case where the conditional expectation value can be a definite property is for Equation (6). In the special case where ρ is a pure state | ψ , and M ( x ) is a projection on the pure state | ϕ , Equation (6) simplifies to the real component of the familiar weak value ϕ | O S | ψ / ϕ | ψ . As discussed in [35], in such a case the weak value can be interpreted as the “eigenvalue” obtained by measuring the observable O S on the system described by the two-state vector [36] ϕ | | ψ , where | ψ describes the evolution of the system forwards in time, while | ϕ describes the evolution of the system backwards in time. To see this, consider the case where the measurement model for the observable O S is given by an apparatus that is a particle on a line, given by a pure state described by the position operator Q, and the premeasurement unitary interaction with the system is U ( g ) = e i g O S P , with P the conjugate momentum to Q, and g a strength parameter. If | ψ is an eigenstate of O S , with eigenvalue o, the apparatus will remain in a pure state after the measurement interaction, and its position will shift by g o . As such, the system in state | ψ has a definite property of the observable O S . If, however, | ψ is not an eigenstate of O S , then the apparatus will be in a statistical mixture of pure states, each shifted by a different amount; here, | ψ will not have a definite property of O S . But if we also post-select the system onto the pure state | ϕ after its interaction with the apparatus, then if g is sufficiently small the apparatus will remain pure, with its position shifted by g ϕ | O S | ψ / ϕ | ψ ; analogously, we may say that the two-state vector ϕ | | ψ has a definite property of the observable O S , even though this property may lie outside the range of the eigenvalues of O S . However, such an interpretation does not hold in the general case, where either the initial state ρ is mixed, or the POVM element M ( x ) is not a projection on a pure state. This is because in such a case, the apparatus will again be in a statistical mixture of pure states, each shifted by a different amount.

2.3. Measurements Restricted by Additive Conservation Laws

Measurements, as other physical processes, may be subject to conservation laws. These are characterised by the commutation of the measurement unitary operator U with some quantity L. A class of interest are additive conservation laws, meaning that L = L S + L A , with L S and L A being self adjoint operators on H S and H A , respectively.
In the presence of additive conservation laws, measurements will be restricted by the Wigner-Araki-Yanase (WAY) theorem [37,38,39]. Consider a measurement model M : = ( H A , ϱ , U , Z A ) that defines a PVM M on the system S , such that U commutes with L S + L A . The WAY theorem states that either if M is repeatable, or Z A commutes with L A (the Yanase condition), it will follow that M must commute with L S .
A PVM M is said to be repeatable if, conditional on observing outcome x, a subsequent measurement of M will result in outcome x with certainty. While it is not necessary for a measurement of M on S to be repeatable, it is necessary for the measurement of Z A on the apparatus to be repeatable; this is because the record of a measurement outcome stored in the apparatus must be a permanent fixture of the world.
Measurement models can be extended ad infinitum, by means of introducing a measurement model for the apparatus observable Z A with the aid of an additional apparatus B . Therefore, if the measurement of Z A is to be implemented under an additive conservation law L A + L B , then by the WAY theorem the requirement of repeatability will necessitate that Z A commutes with L A .

3. Results

3.1. Conserved Quantities and Decoherence Maps

Let us now define the decoherence map with respect to a self-adjoint operator L as
Φ L ( A ) : = l Q l A Q l
where Q l are the spectral projections of L. If any physical phenomenon, such as measurement, does not distinguish between A and Φ L ( A ) , i.e., the two states give the same result, we may say that the coherence of A with respect to L is a symmetry of that phenomenon.
We now explore the situations in which the coherence of the system and apparatus states ρ and ϱ , with respect to the conserved quantities L S and L A , will be symmetries of Δ O S ρ , M , x , defined in Equation (8), if O S commutes with L S . First, we shall prove that if a measurement model conserves an additive quantity L = L S + L A , then the coherence of the object system state ρ (apparatus system state ϱ ) with respect to L S ( L A ) will be a symmetry of Δ O S ρ , M , x , if O S commutes with L S and ϱ commutes with L A ( ρ commutes with L S ).
Theorem 1.
Consider the POVMs M 1 and M 2 , induced by the measurement models M 1 : = ( H A , ϱ 1 , U , Z A ) and M 2 : = ( H A , ϱ 2 , U , Z A ) . Let U commute with L = L S + L A and Z A commute with L A . Finally, let ϱ 2 = Φ L A ( ϱ 1 ) , with Φ L A defined by Equaiton (9). It follows that if both O S and ρ commute with L S , then
O S before ρ , M 1 , x = O S before ρ , M 2 , x O S after ρ , M 1 , x = O S after ρ , M 2 , x
Conversely, if O S commutes with L S , then for any ρ
O S before ρ , M 2 , x = O S before Φ L S ( ρ ) , M 2 , x O S after ρ , M 2 , x = O S after Φ L S ( ρ ) , M 2 , x
The proof is provided in Appendix A. Equation (10) shows that the coherence in the apparatus state with respect to the conserved quantity L A is a symmetry of Δ O S ρ , M , x if both O S and ρ commute with the conserved quantity L S . Meanwhile, Equation (11) shows that the coherence of the system state with respect to the conserved quantity L S is a symmetry of Δ O S ρ , M , x if O S commutes with L S and the apparatus state ϱ commutes with L A .
It is, however, possible for the coherence in both ρ and ϱ to be a symmetry of Δ O S ρ , M , x even if neither of them commutes with the conserved quantity.
Theorem 2.
Consider the POVMs M 1 and M 2 , induced by the measurement models M 1 : = ( H A , ϱ 1 , U , Z A ) and M 2 : = ( H A , ϱ 2 , U , Z A ) . Let U commute with L = L S + L A and Z A commute with L A . Finally, let ϱ 2 = Φ L A ( ϱ 1 ) , with Φ L A defined by Equaiton (9). Denote the eigenvectors of L S and L A as | ϕ m α and | φ μ β respectively, where m and μ are eigenvalues, while α and β label the degeneracy. It follows that if O S commutes with L S , ρ ϱ i is symmetric in the eigenbasis representation | ϕ m α φ μ β , and the real component of ϕ n α φ ν β | U ( O S P A x ) U | ϕ m α φ μ β is zero when m n and μ ν , then
O S before ρ , M 1 , x = O S before ρ , M 2 , x = O S before Φ L S ( ρ ) , M 1 , x = O S before Φ L S ( ρ ) , M 2 , x O S after ρ , M 1 , x = O S after ρ , M 2 , x = O S after Φ L S ( ρ ) , M 1 , x = O S after Φ L S ( ρ ) , M 2 , x
The proof is provided in Appendix A. It will be instructive to consider physical situations where Theorem 2 applies.

3.2. Qubits Measured by a Jaynes-Cummings Interaction

A simple example of a measurement process with an additive conserved quantity is obtained by a Jaynes-Cummings system-apparatus interaction. Consider the case where the measurement unitary operator is U = e i θ H I , with the Jaynes-Cummings interaction Hamiltonian
H I : = σ S + σ A + σ S σ A +
where for X { S , A } ,
σ X + : = k = 0 d X 1 k + 1 | k + 1 k | = ( σ X )
Here, d X is the dimension of Hilbert space H X , and | k denotes the excitation number k of the system. The unitary U conserves the total excitation number N = N S + N A , where for X { S , A } ,
N X = k = 0 d X 1 k | k k |
Given the observables O S and Z A that commute with N S and N A respectively, it follows that the real component of n ν | U ( O S P A x ) U | m μ will always be zero when n m and ν μ so long as either d S = 2 or d A = 2 . Let us consider the case where d S = 2 , i.e., when the object system being measured is a qubit, while the measuring apparatus can have an arbitrarily large dimension. It follows that U = l = 0 d A + 1 U l , where for 1 l d A , U l is a 2-dimensional matrix acting on the subspace spanned by { | 0 l , | 1 l 1 } , given as U l = e i θ l σ x = cos ( θ l ) 1 1 i sin ( θ l ) σ x , with σ x the Pauli-X matrix defined as σ x | 0 l = | 1 l 1 . Consequently, for n m and ν μ , the real part of n ν | U | m μ is zero, while the imaginary part of m μ | U | m μ is zero. Consequently, by choosing O S = λ 0 | 0 0 | + λ 1 | 1 1 | we may write
0 l | U ( O S P A x ) U | 1 l 1 = λ 0 δ l , x 0 l | U | 0 l 0 l | U | 1 l 1 + λ 1 δ l 1 , x 0 l | U | 1 l 1 1 l 1 | U | 1 l 1
where δ k , x is the Kronecker delta function determining if | k lies in the range of the projector P A x . Each term of the above equation is a product of a purely real number, with a purely imaginary number. Therefore, the total value is purely imaginary.
Given such a model, the results of Theorem 2 will follow so long as the initial product state of system and apparatus, ρ ϱ , is symmetric in the excitation number representation. As such, let us consider the simplest example where both S and A are qubits, where ρ = | ψ ψ | , with | ψ : = cos ( θ 1 / 2 ) | 1 + e i ϕ sin ( θ 1 / 2 ) | 0 , while ϱ = | ξ ξ | , with | ξ : = cos ( θ 2 / 2 ) | 1 + sin ( θ 2 / 2 ) | 0 . Moreover, let us choose Z A = | 1 1 | | 0 0 | (with outcomes x = ± ) and O S = | 1 1 | | 0 0 | . According to Theorem 2, therefore, Δ O S ρ , M , x = Δ O S Φ N S ( ρ ) , M , x , with these quantities defined in Equation (8), if ϕ { 0 , π } . This is shown in Figure 1, where Δ O S ρ , M , x Δ O S Φ N S ( ρ ) , M , x is plotted as a function of ϕ , and deviates from zero as soon as ϕ 0 , π .

4. Discussion

Our findings have physical implications in all cases where conditional measurements are associated with physical quantities. A striking example is that of energy changes along quantum trajectories [3], with its thermodynamic implications. In particular, Theorem 1 can be seen as an extension of results pertaining to thermal operations to thermal measurements. Recall that a thermal operation is constituted of an energy conserving unitary interaction with an apparatus that is prepared in a Gibbs state. It is known that thermal operations are a subset of time-translation symmetric operations [40]. This implies that, since U commutes with the total Hamiltonian H S + H A , and the apparatus state ϱ commutes with H A (which is clearly the case when ϱ is a Gibbs state e H A / k B T / tr [ e H A / k B T ] ), then tr [ ( H S 1 1 A ) U ( ρ ϱ ) U ] = tr [ ( H S 1 1 A ) U ( Φ H S ( ρ ) ϱ ) U ] . That is to say, the coherence in ρ with respect to H S is a symmetry of the average change in energy for thermal operations. A thermal measurement can be seen as augmenting a thermal operation with a projective measurement of the apparatus by some observable Z A . However, conditional energy changes given a thermal measurement are not necessarily invariant with respect to the coherence in the system; as shown in Theorem 1, for the conditional change in energies to be invariant with respect to the coherence in ρ , the Yanase condition must satisfied, i.e., the apparatus observable Z A must commute with H A .
In Theorem 2 we show how, in some circumstances, the coherence in the system does not affect the conditional change in expectation values even if the apparatus state ϱ does not commute with its conserved quantity. A common example of such a situation is where the object system being measured is a qubit, and the measurement interaction is generated by a Jaynes-Cummings Hamiltonian, with the conserved quantity being the total excitation number. This setup describes, for example, the coupling of a superconducting qubit and a cavity mode used to track the energy changes of the system along its trajectories [Kater]. We show that so long as the state of the compound system prior to measurement is symmetric in the number representation, then the coherence in the object system w.r.t the number operator will not affect conditional expectation values of observables that commute with the number operator, such as the energy.

5. Conclusions

In this work we have studied the effect of quantum coherence on the expectation values of observables, conditioned on the outcome of generalized measurements, subject to symmetry constraints. To this end we have considered a general measurement model which preserves a quantity additive in the system and apparatus degrees of freedom (additive conservation law). We then identified the sufficient conditions such that the conditional expectation values given some initial state ρ will be identical to that given when the coherence of the initial state is removed. We have finally illustrated our results for a simple measurement model of a qubit coupled to a harmonic oscillator (e.g., an atom in a resonant electromagnetic cavity). The conditional expectation value can be controlled by tuning a relative phase of the qubit state and it is generically different from its incoherent counterpart; the two being equal for the value of the phase that fulfil the theorem conditions. This shows that additive symmetries, present in systems used for quantum measurement experiments, can strongly constrain the role of system coherences, to the point that they might not affect the conditional expectation values of observables.

Author Contributions

Conceptualization, M.H.M. and A.R.; methodology, M.H.M. and A.R.; formal analysis, M.H.M.; investigation, M.H.M.; writing—original draft preparation, M.H.M.; writing—review and editing, A.R.; funding acquisition, A.R.

Funding

This research was supported by EPSRC (Grant EP/P030815/1).

Conflicts of Interest

The authors declare no conflict of interest.

Abbreviations

The following abbreviations are used in this manuscript:
POVMPositive operator valued measure
PVMProjective valued measure
WAYWigner-Araki-Yanase

Appendix A. Proofs of Theorems

Proof of Theorem 1.
Let us denote the spectral projections of L as Q l = ( m , μ ) l Q S m Q A μ , where Q S m and Q A μ are the spectral projections of L S and L A respectively, and ( m , μ ) l denotes the pair of eigenvalues which sum to m + μ = l . The commutation relation [ U , L ] = O will therefore imply that U = l Q l U Q l , and so we have
O S after ρ , M i , x : = 1 p ρ M i ( x ) tr [ ( O S P A x ) U ( ρ ϱ i ) U ] = 1 p ρ M i ( x ) l , l tr [ ( O S P A x ) Q l U Q l ( ρ ϱ i ) Q l U Q l ] = 1 p ρ M i ( x ) l , l ( m , μ ) l ( n , ν ) l tr [ ( Q S n O S Q S m Q A ν P A x Q A μ ) U Q l ( ρ ϱ i ) Q l U ]
Since Z A commutes with L A , and O S commutes with L S , the last line of this equation may be rewritten as
O S after ρ , M i , x = 1 p ρ M i ( x ) l , l ( m , μ ) l ( m , μ ) l tr [ ( Q S m O S Q S m Q A μ P A x Q A μ ) U Q l ( ρ ϱ i ) Q l U ] = 1 p ρ M i ( x ) l tr [ ( O S P A x ) U Q l ( ρ ϱ i ) Q l U ]
Expanding Q l into the spectral projections of L S and L A will thus yield the expression
O S after ρ , M i , x = 1 p ρ M i ( x ) l ( m , μ ) l ( n , ν ) l tr [ ( O S P A x ) U ( Q S m ρ Q S n Q A μ ϱ i Q A ν ) U ]
Similarly, we may write
O S before ρ , M i , x = 1 2 p ρ M i ( x ) l ( m , μ ) l ( n , ν ) l tr [ ( 1 1 S P A x ) U ( Q S m ( O S ρ + ρ O S ) Q S n Q A μ ϱ i Q A ν ) U ]
If ρ commutes with L S , then the only terms that remain in Equaitons (A3) and (A4) are those with m = n . The fact that m + μ = m + ν = l thus implies that μ = ν , and so we may make the substituion ϱ i = Φ L A ( ϱ i ) , which gives Equaiton (10). Conversely, for the POVM M 2 , μ = ν , and by the same argument m = n , which implies Equaiton (11). □
Proof of Theorem 2.
Recall from Theorem 1 that, given the commutation relations [ U , L S + L A ] = O , [ O S , L S ] = O , and [ Z A , L A ] = O , we arrive at Equaitons (A3) and (A4). We may write Equaiton (A3) as
O S after ρ , M i , x = 1 p ρ M i ( x ) l ( m , μ ) l tr [ ( O S P A x ) U ( Q S m ρ Q S m Q A μ ϱ i Q A μ ) U ] + 1 p ρ M i ( x ) l ( m , μ ) l ( n m , ν μ ) l tr [ ( O S P A x ) U ( Q S m ρ Q S n Q A μ ϱ i Q A ν ) U ]
Similarly, we may write Equaiton (A4) as
O S before ρ , M i , x = 1 p ρ M i ( x ) l ( m , μ ) l tr [ ( 1 1 S P A x ) U ( O S Q S m ρ Q S m Q A μ ϱ i Q A μ ) U ] + 1 2 p ρ M i ( x ) l ( m , μ ) l ( n m , ν μ ) l tr [ ( 1 1 S P A x ) U ( Q S m ( O S ρ + ρ O S ) Q S n Q A μ ϱ i Q A ν ) U ]
For a given l, m n , and μ ν the terms in Equaiton (A5) can be expanded as
tr [ ( O S P A x ) U ( Q S m ρ Q S n Q A μ ϱ i Q A ν ) U ] + tr [ ( O S P A x ) U ( Q S n ρ Q S m Q A ν ϱ i Q A μ ) U ] = α , α , β , β ϕ n α φ ν β | U ( O S P A x ) U | ϕ m α φ μ β ϕ m α | ρ | ϕ n α φ μ β | ϱ i | φ ν β + α , α , β , β ϕ m α φ μ β | U ( O S P A x ) U | ϕ n α φ ν β ϕ n α | ρ | ϕ m α φ ν β | ϱ i | φ μ β
while those of Equaiton (A6) are expanded as
tr [ ( 1 1 S P A x ) U ( Q S m ( O S ρ + ρ O S ) Q S n Q A μ ϱ i Q A ν ) U ] + tr [ ( 1 1 S P A x ) U ( Q S n ( O S ρ + ρ O S ) Q S m Q A ν ϱ i Q A μ ) U ] = α , α , β , β ϕ n α φ ν β | U ( 1 1 S P A x ) U | ϕ m α φ μ β ϕ m α | ( O S ρ + ρ O S ) | ϕ n α φ μ β | ϱ i | φ ν β + α , α , β , β ϕ m α φ μ β | U ( 1 1 S P A x ) U | ϕ n α φ ν β ϕ n α | ( O S ρ + ρ O S ) | ϕ m α φ ν β | ϱ i | φ μ β
If ρ ϱ is symmetric in the representation of | ϕ m α φ μ β , it follows that ϕ m α | ρ | ϕ n α φ μ β | ϱ i | φ ν β = ϕ n α | ρ | ϕ m α φ ν β | ϱ i | φ μ β , while ϕ m α | ( O S ρ + ρ O S ) | ϕ n α φ μ β | ϱ i | φ ν β = ϕ n α | ( O S ρ + ρ O S ) | ϕ m α φ ν β | ϱ i | φ μ β and so we may write the right hand sides of Equaitons (A7) and (A8) as
α , α , β , β ϕ n α φ ν β | U ( O S P A x ) U | ϕ m α φ μ β + complex conjugate ϕ m α | ρ | ϕ n α φ μ β | ϱ i | φ ν β
and
α , α , β , β ϕ n α φ ν β | U ( 1 1 S P A x ) U | ϕ m α φ μ β + complex conjugate ϕ m α | ( O S ρ + ρ O S ) | ϕ n α φ μ β | ϱ i | φ ν β
Finally, if ϕ n α φ ν β | U ( O S P A x ) U | ϕ m α φ μ β is purely imaginary (which implies that so is ϕ n α φ ν β | U ( 1 1 S P A x ) U | ϕ m α φ μ β ), it follows that the terms inside the parantheses of Equaitons (A9) and (A10) vanish. Consequently, the second lines of Equaitons (A5) and (A6) will be zero, and we are left with
O S after ρ , M i , x = 1 p ρ M ( x ) l ( m , μ ) l tr [ ( O S P A x ) U ( Q S m ρ Q S m Q A μ ϱ i Q A μ ) U ] O S before ρ , M i , x = 1 p ρ M ( x ) l ( m , μ ) l tr [ ( 1 1 S P A x ) U ( O S Q S m ρ Q S m Q A μ ϱ i Q A μ ) U ]
which results in Equaiton (12). □

References

  1. Von Neumann, J. Mathematical Foundations of Quantum Mechanics: New Edition; Princeton University Press: Princeton, NJ, USA, 2018. [Google Scholar]
  2. Kraus, K. States, Effects and Operations: Fundamental Notions of Quantum Theory; Springer: New York, NY, USA, 1983. [Google Scholar]
  3. Mohammady, M.H.; Romito, A. Conditional work statistics of quantum measurements. arXiv, 2018; arXiv:1809.09010. [Google Scholar]
  4. Aharonov, Y.; Albert, D.Z.; Vaidman, L. How the result of a measurement of a component of the spin of a spin-1/2 particle can turn out to be 100. Phys. Rev. Lett. 1988, 60, 1351–1354. [Google Scholar] [CrossRef] [PubMed]
  5. Dressel, J.; Malik, M.; Miatto, F.M.; Jordan, A.N.; Boyd, R.W. Colloquium: Understanding quantum weak values: Basics and applications. Rev. Mod. Phys. 2014, 86, 307–316. [Google Scholar] [CrossRef]
  6. Steinberg, A.M. How much time does a tunneling particle spend in the barrier region? Phys. Rev. Lett. 1995, 74, 2405–2409. [Google Scholar] [CrossRef] [PubMed]
  7. Choi, Y.; Jordan, A.N. Operational approach to indirectly measuring the tunneling time. Phys. Rev. A 2013, 88, 1–14. [Google Scholar] [CrossRef]
  8. Zilberberg, O.; Carmi, A.; Romito, A. Measuring cotunneling in its wake. Phys. Rev. B 2014, 90, 1–15. [Google Scholar] [CrossRef]
  9. Romito, A.; Gefen, Y. Weak measurement of cotunneling time. Phys. Rev. B 2014, 90, 1–13. [Google Scholar] [CrossRef]
  10. Lundeen, J.S.; Sutherland, B.; Patel, A.; Stewart, C.; Bamber, C. Direct measurement of the quantum wavefunction. Nature 2011, 474, 188–191. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  11. Guerlin, C.; Bernu, J.; Deléglise, S.; Sayrin, C.; Gleyzes, S.; Kuhr, S.; Brune, M.; Raimond, J.M.; Haroche, S. Progressive field-state collapse and quantum non-demolition photon counting. Nature 2007, 448, 889–893. [Google Scholar] [CrossRef] [Green Version]
  12. Sayrin, C.; Dotsenko, I.; Zhou, X.; Peaudecerf, B.; Rybarczyk, T.; Gleyzes, S.; Rouchon, P.; Mirrahimi, M.; Amini, H.; Brune, M.; et al. Real-time quantum feedback prepares and stabilizes photon number states. Nature 2011, 477, 73–77. [Google Scholar] [CrossRef] [Green Version]
  13. Vijay, R.; MacKlin, C.; Slichter, D.H.; Weber, S.J.; Murch, K.W.; Naik, R.; Korotkov, A.N.; Siddiqi, I. Stabilizing Rabi oscillations in a superconducting qubit using quantum feedback. Nature 2012, 490, 77–80. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  14. Hatridge, M.; Shankar, S.; Mirrahimi, M.; Schackert, F.; Geerlings, K.; Brecht, T.; Sliwa, K.M.; Abdo, B.; Frunzio, L.; Girvin, S.M.; et al. Quantum back-action of an individual variable-strength measurement. Science 2013, 339, 178–181. [Google Scholar] [CrossRef] [PubMed]
  15. Murch, K.W.; Weber, S.J.; Macklin, C.; Siddiqi, I. Observing single quantum trajectories of a superconducting quantum bit. Nature 2013, 502, 211–214. [Google Scholar] [CrossRef] [Green Version]
  16. Blok, M.S.; Bonato, C.; Markham, M.L.; Twitchen, D.J.; Dobrovitski, V.V.; Hanson, R. Manipulating a qubit through the backaction of sequential partial measurements and real-time feedback. Nat. Phys. 2014, 10, 189–193. [Google Scholar] [CrossRef] [Green Version]
  17. De Lange, G.; Ristè, D.; Tiggelman, M.J.; Eichler, C.; Tornberg, L.; Johansson, G.; Wallraff, A.; Schouten, R.N.; Dicarlo, L. Reversing quantum trajectories with analog feedback. Phys. Rev. Lett. 2014, 112, 1–5. [Google Scholar] [CrossRef]
  18. Groen, J.P.; Ristè, D.; Tornberg, L.; Cramer, J.; De Groot, P.C.; Picot, T.; Johansson, G.; Dicarlo, L. Partial-measurement backaction and nonclassical weak values in a superconducting circuit. Phys. Rev. Lett. 2013, 111, 1–5. [Google Scholar] [CrossRef] [PubMed]
  19. Campagne-Ibarcq, P.; Bretheau, L.; Flurin, E.; Auffèves, A.; Mallet, F.; Huard, B. Observing interferences between past and future quantum states in resonance fluorescence. Phys. Rev. Lett. 2014, 112, 1–5. [Google Scholar] [CrossRef]
  20. Ristè, D.; Dukalski, M.; Watson, C.A.; De Lange, G.; Tiggelman, M.J.; Blanter, Y.M.; Lehnert, K.W.; Schouten, R.N.; Dicarlo, L. Deterministic entanglement of superconducting qubits by parity measurement and feedback. Nature 2013, 502, 350–354. [Google Scholar] [CrossRef]
  21. Roch, N.; Schwartz, M.E.; Motzoi, F.; Macklin, C.; Vijay, R.; Eddins, A.W.; Korotkov, A.N.; Whaley, K.B.; Sarovar, M.; Siddiqi, I. Observation of measurement-induced entanglement and quantum trajectories of remote superconducting qubits. Phys. Rev. Lett. 2014, 112, 1–5. [Google Scholar] [CrossRef]
  22. Naghiloo, M.; Alonso, J.J.; Romito, A.; Lutz, E.; Murch, K.W. Information gain and loss for a quantum Maxwell’s demon. arXiv, 2018; arXiv:1802.07205. [Google Scholar] [CrossRef]
  23. Alonso, J.J.; Lutz, E.; Romito, A. Thermodynamics of Weakly Measured Quantum Systems. Phys. Rev. Lett. 2016, 116, 080403. [Google Scholar] [CrossRef] [PubMed]
  24. Elouard, C.; Herrera-Martí, D.A.; Clusel, M.; Auffèves, A. The role of quantum measurement in stochastic thermodynamics. NPJ Quantum Inf. 2017, 3, 9. [Google Scholar] [CrossRef]
  25. Elouard, C.; Mohammady, H. Work, heat and entropy production along quantum trajectories. arXiv, 2018; arXiv:1805.08305. [Google Scholar]
  26. Romito, A.; Gefen, Y. Weak values under uncertain conditions. Physica E 2010, 42, 343–347. [Google Scholar] [CrossRef]
  27. Thomas, M.; Romito, A. Decoherence effects on weak value measurements in double quantum dots. Phys. Rev. B 2012, 86. [Google Scholar] [CrossRef] [Green Version]
  28. Shikano, Y.; Hosoya, A. Weak values with decoherence. J. Phys. A Math. Theor. 2010, 43, 025304. [Google Scholar] [CrossRef]
  29. Busch, P.; Grabowski, M.; Lahti, P.J. Operational Quantum Physics; Springer: New York, NY, USA, 1995. [Google Scholar]
  30. Busch, P.; Lahti, P.J.; Mittelstaedt, P. The Quantum Theory of Measurement; Springer: New York, NY, USA, 1996. [Google Scholar]
  31. Busch, P.; Lahti, P.J.; Pellonp, J.P.P.; Ylinen, K. Quantum Measurement; Springer: New York, NY, USA, 2016. [Google Scholar]
  32. Mittelstaedt, P. The Interpretation of Quantum Mechanics and the Measurement Process; Cambridge University Press: Cambridge, UK, 2004. [Google Scholar]
  33. Heinosaari, T.; Ziman, M. The Mathematical Language of Quantum Theory; Cambridge University Press: Cambridge, UK, 2011. [Google Scholar]
  34. Haapasalo, E.; Lahti, P.; Schultz, J. Weak versus approximate values in quantum state determination. Phys. Rev. A 2011, 84, 052107. [Google Scholar] [CrossRef]
  35. Vaidman, L.; Ben-Israel, A.; Dziewior, J.; Knips, L.; Weißl, M.; Meinecke, J.; Schwemmer, C.; Ber, R.; Weinfurter, H. Weak value beyond conditional expectation value of the pointer readings. Phys. Rev. A 2017, 96, 032114. [Google Scholar] [CrossRef]
  36. Aharonov, Y.; Cohen, E.; Landsberger, T. The Two-Time Interpretation and Macroscopic Time-Reversibility. Entropy 2017, 19, 111. [Google Scholar] [CrossRef]
  37. Wigner, E. Die Messung quantenmechanischer Operatoren. Z. Phys. 1952, 133, 101. [Google Scholar] [CrossRef]
  38. Araki, H.; Yanase, M.M. Measurement of Quantum Mechanical Operators. Phys. Rev. 1960, 120, 622–626. [Google Scholar] [CrossRef]
  39. Loveridge, L.; Busch, P. ‘Measurement of quantum mechanical operators’ revisited. Eur. Phys. J. D 2011, 62, 297–307. [Google Scholar] [CrossRef] [Green Version]
  40. Lostaglio, M.; Jennings, D.; Rudolph, T. Description of quantum coherence in thermodynamic processes requires constraints beyond free energy. Nat. Commun. 2015, 6, 6383. [Google Scholar] [CrossRef] [PubMed] [Green Version]
Figure 1. The measurement model for the POVM on H S is M : = ( H A , | ξ , U , Z A ) . Here, the measurement unitary is given as U = e i ( π / 3 ) H I , with the Jaynes Communigs interaction Hamiltonian defined in Equation (13). This conserves the total excitation number N S + N A , defined in Equation (15). The apparatus observable is Z A = | 1 1 | | 0 0 | , with the corresponding outcomes x = ± . The initial state of the apparatus is the coherent state | ξ = cos ( π / 6 ) | 1 + sin ( π / 6 ) | 0 , while the object system is initially prepared in the coherent state | ψ = cos ( π / 8 ) | 1 + e i ϕ sin ( π / 8 ) | 0 . Finally, the system observable is O S = | 1 1 | | 0 0 | . When ϕ { 0 , π } , the state | ψ ψ | | ξ ξ | is symmetric in the excitation number representation | m , μ , and so by Theorem 2 Δ O S ρ , M , x = Δ O S Φ N S ( ρ ) , M , x , with these quantities defined by Equaiton (8).
Figure 1. The measurement model for the POVM on H S is M : = ( H A , | ξ , U , Z A ) . Here, the measurement unitary is given as U = e i ( π / 3 ) H I , with the Jaynes Communigs interaction Hamiltonian defined in Equation (13). This conserves the total excitation number N S + N A , defined in Equation (15). The apparatus observable is Z A = | 1 1 | | 0 0 | , with the corresponding outcomes x = ± . The initial state of the apparatus is the coherent state | ξ = cos ( π / 6 ) | 1 + sin ( π / 6 ) | 0 , while the object system is initially prepared in the coherent state | ψ = cos ( π / 8 ) | 1 + e i ϕ sin ( π / 8 ) | 0 . Finally, the system observable is O S = | 1 1 | | 0 0 | . When ϕ { 0 , π } , the state | ψ ψ | | ξ ξ | is symmetric in the excitation number representation | m , μ , and so by Theorem 2 Δ O S ρ , M , x = Δ O S Φ N S ( ρ ) , M , x , with these quantities defined by Equaiton (8).
Universe 05 00046 g001

Share and Cite

MDPI and ACS Style

Mohammady, M.H.; Romito, A. Symmetry Constrained Decoherence of Conditional Expectation Values. Universe 2019, 5, 46. https://doi.org/10.3390/universe5020046

AMA Style

Mohammady MH, Romito A. Symmetry Constrained Decoherence of Conditional Expectation Values. Universe. 2019; 5(2):46. https://doi.org/10.3390/universe5020046

Chicago/Turabian Style

Mohammady, M. Hamed, and Alessandro Romito. 2019. "Symmetry Constrained Decoherence of Conditional Expectation Values" Universe 5, no. 2: 46. https://doi.org/10.3390/universe5020046

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop