Joint observables induced by indirect measurements in cavity QED

1 Introduction

One of the most important differences between classical and quantum physics is how measurements are defined. Indeterminacy in classical mechanics is captured by classical probability theory, and in particular, arbitrarily precise simultaneous measurements of multiple degrees of freedom are possible (Busch et al., 2016). In quantum theory, however, different degrees of freedom, such as position and momentum, for example, do not commute (Born and Jordan, 1925). This leads to fundamental differences between quantum and classical theory, such as various uncertainty relations (Busch et al., 2007). A general description of a quantum measurement is given by a positive operator-valued measure (POVM), which provides the measurement outcome probabilities predicted by quantum mechanics (Heinosaari and Ziman, 2011). POVMs, in contrast to sharp or projective measurements, are more general. For example, they discriminate quantum states better (Oszmaniec and Biswas, 2019; Uola et al., 2019) and are a more realistic model for measurement implementation (Busch et al., 2016; Wiseman, 1996; Guryanova et al., 2020).

Another advantage of POVMs arises from measurement uncertainty. Projective measurements can only be measured accurately together if they commute; otherwise the measurements will have uncertainty, following Heisenberg’s and Robertson’s famous uncertainty relations (Heisenberg, 1927; Robertson, 1929; Robertson, 1934). However, due to the larger number of possible measurements, we can have POVMs that are non-commuting but can still be measured accurately. For this reason, the notion of the joint measurability of POVMs was introduced (Busch, 1985; Busch, 1986). A set of measurements is said to be compatible or jointly measurable if a single measurement exists from which it is possible to postprocess, using classical probability theory, the measurement outcomes of all of the measurements in the set (Heinosaari and Ziman, 2011; Stano et al., 2008; Uola et al., 2016).

Research on joint measurability has often focused on finding criteria for joint measurability (Busch, 1986; Stano et al., 2008; Jae et al., 2019; Uola et al., 2014; Busch and Schmidt, 2010; Yu et al., 2010; Beneduci, 2014; Pellonpää et al., 2023), quantifying incompatibility (Heinosaari et al., 2015; Designolle et al., 2019; Pusey, 2015; Haapasalo, 2015; Uola et al., 2015; Cavalcanti et al., 2016), its relation to other similar concepts such as coexistence (Lahti, 2003; Haapasalo et al., 2015; Reeb et al., 2013), and its applications in quantum information processing such as quantum steering (Karthik et al., 2015; Uola et al., 2020; Kiukas et al., 2017; Quintino et al., 2014; Nguyen et al., 2019; Cavalcanti and Skrzypczyk, 2016; Chen et al., 2016.; Chen et al., 2017; Uola et al., 2021; Uola et al., 2018), Bell nonlocality (Fine, 1982; Wolf et al., 2009; Andersson et al., 2005; Son et al., 2005; Bene and Vértesi, 2018; Quintino et al., 2016; Hirsch et al., 2018), quantum contextuality (Budroni et al., 2022; Xu and Cabello, 2019; Spekkens, 2005; Tavakoli and Uola, 2020; Selby et al., 2023), self-testing (Tavakoli et al., 2020), tests on Heisenberg uncertainty relations (Mao et al., 2022), and estimating the parameters of quantum Hamiltonians (McNulty et al., 2023). More information can be found in a recent review by Gühne et al. (2023).

Joint measurements can be constructed, for example, by mixing POVMs adaptively (Uola et al., 2016), using an ansatz that produces desired marginals (Jae et al., 2019), or by Naimark dilation (Haapasalo and Pellonpää, 2017). In this study, we focus on the indirect construction of joint measurements by time-continuous quantum measurements using the paradigmatic heterodyne and homodyne measurement schemes well known from quantum optics and cavity QED.

Continuous measurements themselves are a well-established concept. Pioneering research on them goes as far back as the 1980s (Srinivas and Davies, 1981; Barchielli et al., 1982; Gisin, 1984; Barchielli and Lupieri, 1985; Diósi, , 1986; Diósi, 1988; B and elavkin, 1989). They have been applied in quantum optics (Wiseman, 1996; Carmichael et al., 1989; Wiseman, 1993; Wiseman and Milburn, 1993; Garraway and Knight, 1994; Wiseman, 1995; Plenio and Knight, 1998; Doherty and Jacobs, 1999). Some early derivations of continuous measurement driven by Gaussian noise, similar to what will be used later here, have been derived in Carmichael et al. (1989), Wiseman and Milburn (1993), and Doherty and Jacobs (1999). For a comprehensive treatise on continuous measurements, see, for example, Jacobs and Steck (2006). Time-continuous joint measurements have seen some use in entanglement generation, theoretically (Duan et al., 2000; Clark et al., 2003; Motzoi et al., 2015) and experimentally (Roch et al., 2014). Simultaneous continuous weak measurements have also been used to measure non-commuting observables (Jordan and Büttiker, 2005; Wei and Nazarov, 2008; Ruskov et al., 2010; Chantasri et al., 2018) with even an experimental demonstration of a measurement on a superconducting qubit (Hacohe et al., 2016).

It has been established in the case of an empty cavity mode that such a scenario implements a POVM that depends on the continuously measured photon stream and is measured on the initial state prepared in the cavity (Wiseman, 1996; Goetsch and Graham, 1994). We here extend this concept to a situation where a two-level system (a qubit), such as an atom, is placed into the cavity, and we ask how sharp the measurements implemented on the qubit are. In particular, we focus on two situations: the heterodyne and the homodyne measurement schemes.

Previous research has focused on the concept of compatibility and the applications of joint measurements in quantum information processing. Measurement construction, however, has been a less popular topic in research, particularly constructions of time-continuous joint measurements. We study here the construction of time-continuous measurements. We will indirectly construct a noisy joint measurement using the paradigmatic heterodyne and homodyne measurement schemes well-known from quantum optics and cavity QED. We also study squeezing of the initial state of the cavity as a potential tuning parameter. We compare the sharpness of the marginal observables in the heterodyne and homodyne case. We find that homodyning produces sharper observables than heterodyning and that the sharpness of the measured quadrature can be improved by squeezing the initial state of the cavity in the same quadrature being continuously measured.

This approach may open up new ways of constructing joint observables that can be tuned using techniques known from quantum optics. Our theoretical results have applications beyond cavity QED setups and could also be experimentally used in superconducting qubits in microwave resonators or ultracold atomic gases.

The outline of this article is as follows. In Section 2, we discuss the concept of joint measurability and introduce a quantifier for the sharpness of qubit observables. Section 3 presents the model system we study and the different time-continuous measurements investigated. Then, in Section 4, we numerically compute the qubit observables induced by the time-continuous measurement of the light escaping from the cavity, and present our findings. Lastly, Section 5 discusses the implications of our findings.

2 Joint measurability

A “positive operator valued measure” (POVM) is a collection of positive operators which is complete. The POVMs we consider in this work have a continuous sample space Ω F which is the set of possible measurement outcomes. In the examples we consider, this will be a space of functions which are interpreted as the observed photocurrents (Loubenets, 2001; Krönke and Strunz, 2012; Megier et al., 2020). A probability measure ν ( z ) on sample space Ω F and positive operators F z (effects) define a POVM if

∫ Ω F d ν z F z = I .

If a system is prepared into a state ρ, then the probability of obtaining a measurement outcome z ∈ Z when F is measured is computed using the Born rule

P z ∈ Z = ∫ Z d ν z t r ρ F z .

Effects A x , B y are said to be jointly measurable if a probability measure ν A B ( x , y ) and a positive operator C ( x , y ) exist, such thatfor any state ρ. Joint measurability is a correct notion for describing simultaneous measurement properties of observables. For example, all sharp observables that commute are jointly measurable, but there may be non-commuting POVMs for which joint measurability exists (Gühne et al., 2023). Joint measurability is important in experimental work since it is a way to measure multiple quantities (Designolle et al., 2021; Zhou et al., 2016; Anwer et al., 2020; Smirne et al., 2022). A well-known example of a joint observable for unsharp position and momentum is provided by the Husimi Q-function (Husimi, 1940)where | z 〉 is a coherent state and z = 1 2 ( q + i p ), q , p ∈ R. In particular, Q ( z ) > 0 for any quantum state. Q ( z ) corresponds to a joint measurement of noisy position and momentum observables (Appleby, 2000; Leonhardt, 1997; Wódkiewicz, 1984; Arthurs and Kelly, 1965; Raymer, 1994; Leonhardt and Paul, 1993a; Leonhardt and Paul, 1993b). The effects for these measurements are given by the projection operators which are convoluted with a Gaussian probability distribution,where ψ ( q ) , ψ ̃ ( p ) are, respectively, the position and momentum representations of the state | ψ 〉. The Q-function strongly contrasts with the Wigner distribution, which can be negative but provides the correct marginal distributions for sharp position and momentum observables (Hillery et al., 1984). We illustrate this in Figure 1 in the case of the Fock state | 4 〉.

P A x ∈ X = ∫ X ∫ Ω B d ν x , y t r ρ C x , y , P B y ∈ Y = ∫ Ω A ∫ Y d ν x , y t r ρ C x , y ,

Q z = ⟨ z | ρ | z ⟩ π ,

〈 ψ | E Q X | ψ 〉 = 1 π ∫ X d q ∫ R d q ′ | ψ q | 2 e − q − q ′ 2 , 〈 ψ | E P Y | ψ 〉 = 1 π ∫ Y d p ∫ R d p ′ | ψ ̃ p | 2 e − p − p ′ 2 ,

Importantly, heterodyne measurement provides an implementation of the measurement of the Husimi Q-function (Wiseman, 1996).

Measurements on two-level systems or qubits are very well understood. In particular, joint measurability for qubits is well established (Busch, 1986; Stano et al., 2008; Busch and Schmidt, 2010; Yu et al., 2010). A positive operator (effect) acting on a two-dimensional Hilbert space can be written in terms of a bias μ and a Bloch vector a aswhere the latter inequalities are conditions for positivity. We collect the parameters of the effect into a four-vector.

F = 1 2 μ I + a ⋅ σ , | | a | | ≤ μ ≤ 2 − | | a | | ,

v = μ , a .

The effect I − F has the four-vector v ⊥ = ( 2 − μ , − a ). We define the Minkowski scalar product between the two four-vectors v , v ′ as

( v | v ′ ) = μ μ ′ − a ⋅ a ′ .

This also defines a scalar product between the effects. The positivity condition is compactly written as v , v ⊥ ∈ F + where F + = r | ( r | r ) ≥ 0 , μ ≥ 0 (Busch and Schmidt, 2010). The sharpness of the effect is (Stano et al., 2008)

G v = 1 2 ( v | v ⊥ ) − ( v | v ) ( v ⊥ | v ⊥ ) .

G ( v ) = 1 if the measurement is projective, and G ( v ) = 0 if the effect is proportional to the identity operator.

3 Joint time-continuous measurement

In this study, we focus on the Markov regime and on heterodyne and homodyne measurements of a qubit in a leaky cavity (Figure 2). The qubit, the cavity mode, and their interaction are described by the following Hamiltonian in the rotating wave approximation:

H = ω A 2 σ z + ω C a † a + g σ − a + σ + a † .

This is the famous Jaynes–Cummings Hamiltonian (Jaynes and Cummings, 1963). The cavity mode is leaky (with rate κ ≥ 0) and leads to decoherence and dissipation. Such mixed state dynamics of the average state ρ ̄ t are described by the following Gorini–Kossakowski–Sudarshan–Lindblad (GKSL) master equation (Gorini et al., 1976; Lindblad, 1976):

∂ t ρ ̄ t = − i H , ρ ̄ t + κ a ρ ̄ t a † − 1 2 a † a , ρ ̄ t = L ρ ̄ t .

The dynamics above can be unraveled in various ways into stochastic trajectories driven by white noise processes such that the ensemble average dynamics coincide with the average state dynamics. The linear quantum state diffusion (QSD) equation (Gisin and Percival, 1992) that unravels the GKSL equation iswhere ξ t is a complex-valued Gaussian white noise process with zero mean and correlations M ξ t ξ s = κ δ ( t − s ), where M [ ⋅ ] is taken with respect to the Gaussian measure ν ( ξ t ) of the white noise. We here use the Stratonovich convention consistently. This equation describes time-continuous heterodyne measurement of the cavity mode.

∂ t ρ t = − i H , ρ t − κ 2 a † a , ρ t + ξ t a ρ t + ξ t ρ t a † , (1)

The ensemble average over different realizations of ξ t is denoted by ρ ̄ t = M [ ρ t ]. The ensemble average over the trace M t r ρ t = 1 is a manifestation of the trace preservation condition. When we denote by G t ( ρ ), the propagator of the linear QSD equation and move to the Heisenberg picture, and we can write the trace of the state as t r ρ t = t r ρ G t † ( I ), where G t † ( I ) is the dual map of the propagator acting on the identity. G t † ( I ) is a positive operator. The trace preservation condition 1 = M [ ρ G t † ( I ) ] holds for any initial state ρ. Thus, G t † ( I ) can be also interpreted as a POVM element corresponding to a particular measurement outcome process ξ t which has a Gaussian measure. Moving back to the Schrödinger picture, we can see that measurement outcome probabilities are proportional to the norm of the state t r ρ t. The physical probability (density) for a particular ξ t to occur iswhich is the product of the probability (density) for the stochastic process and the norm of the state. From the linear QSD equation, we deduce

d ν ξ t t r ρ t ,

t r ρ ̇ t = t r ρ t ξ t a + ξ t a † − κ a † a .

We can express the noise ξ t in terms of its real and imaginary partswhere x t and y t are mutually uncorrelated real-valued Gaussian processes with zero mean andare averages with respect to different marginals of the joint measure for the process ξ t. We can average over x t and y t separately in Equation 1. When we average over the imaginary part, we obtain ρ t X = M y ρ t and similarly ρ t Y = M x ρ t. The equations of motion for ρ t X arewhere we used M y t y t a ρ t = i κ 4 a ρ t X a † − i κ 4 a 2 ρ t X. Similarly, we obtainwhen averaging over the real part of the noise. We see that the partial averaging produces a sandwich term and terms containing a 2 and a † 2. We also see that when we average over the remaining noise, we recover the desired average dynamics in both cases. The norm of the state is a solution tofor the X quadrature andfor the Y quadrature.

ξ t = x t + i y t ,

M x x t x s = 1 2 κ δ t − s , M y y t y s = 1 2 κ δ t − s ,

ρ ̇ t X = − i H , ρ t X − κ 2 a † a , ρ t X + κ 2 a ρ t X a † − κ 4 a 2 ρ t X + ρ t X a † 2 + x t a ρ t X + ρ t X a † ,

ρ ̇ t Y = − i H , ρ t Y − κ 2 a † a , ρ t Y + κ 2 a ρ t Y a † + κ 4 a 2 ρ t Y + ρ t Y a † 2 − i y t a ρ t Y − ρ t Y a † ,

t r ρ ̇ t X = t r ρ t X x t a + a † − κ 4 a 2 + a † 2 − κ 2 a † a

t r ρ ̇ t Y = t r ρ t Y i y t a † − a + κ 4 a 2 + a † 2 − κ 2 a † a ,

These equations are to be contrasted with an equation where we directly measure either x t or y t (Wiseman, 1996; Wiseman, 1993; Jacobs and Steck, 2006; Wiseman and Milburn, 2009; Barchielli and Gregoratti, 2009). To achieve this, we propose a noisy version of the X and Y quadrature homodyning equations where we scale the noise term by λ and the noise-free terms with λ and add the average evolution with weight ( 1 − λ ). For the X quadrature, this results in

ϱ ̇ t λ X = λ − i H , ϱ t λ X − κ 2 a † a , ϱ t λ X − κ 2 a 2 ϱ t λ X + ϱ t λ X a † 2 + 2 λ x t a ϱ t λ X + ϱ t λ X a † + 1 − λ L ϱ t λ X .

A similar equation also holds for the Y quadrature:

ϱ ̇ t λ Y = λ − i H , ϱ t λ Y − κ 2 a † a , ϱ t λ Y + κ 2 a 2 ϱ t λ Y + ϱ t λ Y a † 2 − i 2 λ y t a ϱ t λ Y − ϱ t λ Y a † + 1 − λ L ϱ t λ Y .

The average evolution for noisy X and Y quadratures again coincides with the desired average dynamics. The parameter 0 ≤ λ ≤ 1 interpolates between not measuring ( λ = 0 ) or making a perfect X or Y quadrature homodyning measurement ( λ = 1 ). The norm of the state evolves according toandfor the X and Y quadratures, respectively. It is easy to see for the choice λ = 1 2 that the time evolution of the states ϱ t X / 2 and ϱ t Y / 2 matches the evolution of the states ρ t X and ρ t Y, respectively, where the latter are obtained from the QSD equation through partial averaging.

t r ϱ ̇ t λ X = t r ϱ t λ X 2 λ x t a + a † − t r ϱ t λ X λ κ a † a + λ κ 2 a † 2 + a 2 ,

t r ϱ ̇ t λ Y = t r ϱ t λ Y 2 λ i y t a † − a − t r ϱ t λ Y λ κ a † a − λ κ 2 a † 2 + a 2 ,

We have thus determined that the noisy X and Y POVMs become compatible when λ = 1 / 2 and the joint observable is given by the heterodyning unraveling—that is, the linear QSD equation.

The same noise bound holds for the induced qubit observable because the trace of the marginal state is the same as that of the joint statewhere ρ A C is the joint state and t r A ⋅ , t r C ⋅ are partial traces over the qubit and the cavity degrees of freedom, respectively. This is intuitively also clear since whenever there is a joint observable for the qubit and the cavity mode, the qubit observables may be constructed simply by tracing over the cavity.

t r A ρ A = t r A t r C ρ A C = t r ρ A C ,

4 Numerical examples

It is well known that the heterodyne detection corresponds to measuring the Husimi Q distribution and the homodyning corresponds to measuring a quadrature of the cavity mode. The Husimi Q distribution is a joint distribution for unsharp position and momentum observables, whereas the quadrature measurement corresponds to a measurement of sharp, and thus incompatible, quadratures. In this section, we numerically investigate the noisy time-continuous version of this relation in terms of the purity of the induced observables on the qubit.

We consider that the system and the cavity are in a product state before the measurement process begins. We also assume that the state of the cavity is pure. We consider two cases: the vacuum state | 0 〉 and the squeezed vacuum state | s 〉 = e 1 2 s ( a 2 − a † 2 ) | 0 〉. We use the following values in the numerical examples: ℏ = 1, g / ω A = 1.0, κ / ω A = 2.0, and ω C / ω A = 1.0. The noise ξ t = x t + i y t used for the numerical examples is an approximation of a white noise process with the statisticsand

M [ x t ] = M [ y t ] = M [ x t y s ] = 0 ,

M [ x t x s ] = M [ y t y s ] = κ Γ 2 e − Γ | t − s |

This is illustrated in Figure 2, with the inverse of the correlation time being Γ / ω A = 15. On this timescale, this Ornstein–Uhlenbeck process is a good approximation of a white noise process. We can solve the resulting differential equations as they were ordinary differential equations, and in the white noise limit they converge to Stratonovich equations (Wong and Zakai, 1965).

The linear stochastic equations analyzed in this work are all solved by a propagator

ρ t = G t ρ 0 , G 0 ρ 0 = ρ 0 .

Depending on the particular scenario, this propagator is a functional of x t, y t, or x t + i y t. As the processes x t and y t are Gaussians, their probability measure is readily constructed either in the white noise limit or as an Ornstein–Uhlenbeck process. Suppose that we observe the process x τ with 0 ≤ τ ≤ t with probability μ t ( x ), then as with process y t we have a probability μ t ( y ). The POVM element F t [ x t ] or F t [ y t ] acting on the qubit is obtained from the formulawith a similar formula for F t [ y t ]. The initial state is ρ 0 = ρ A ⊗ | ψ C 〉 〈 ψ C |. Using the properties of the Pauli matrices, we can reconstruct F t [ x t ] = 1 2 ( μ t [ x t ] I + a t [ x t ] ⋅ σ ) by propagating initial states ρ 0 = 1 2 I and ρ i = 1 2 ( I + σ i ), where σ i corresponds to Pauli matrices in the x , y, and z directions. We set p t i [ x t ] = t r F t [ x t ] ρ i and determine thatwith similar formulas for F t [ y t ]. Operator F t constructed this way is positive but does not yet normalize to unity. Proper normalization is achieved when integrated against the Gaussian probability measure (Wiseman, 1996; Barchielli and Gregoratti, 2009). In the following, we analyze the sharpness of the unnormalized operators.

p x t = t r G t x t ρ 0 = t r F t x t ρ A ,

μ t x t = 2 p t 0 x t , a t i x t = 2 p t i x t − μ t x t ,

The continuous measurement yields more information about the initial state the longer the system is measured. This means that for measurements of negligible duration, the POVM element is the identity. This is independent of the initial state of the system (Figure 3).

In the top panel of Figure 3, we see that the sharpness G for the homodyne measurement is increased by the squeezing. This occurs because we squeeze the same quadrature that we measure. Moreover, for values 0.5 < λ ≤ 1, homodyne measurement is sharper than the heterodyne measurement (top panel). In the lower panel, we compare the case λ = 1 / 2 and we see that the noisy homodyne measurement coincides with the heterodyne measurement. We also observe that the squeezing also increases the sharpness of the observable in the heterodyne case.

5 Discussion

Since joint measurements have become the standard for describing the measurement of multiple POVMs, their properties have been significantly researched. It is of interest to find the least noisy joint observables whose properties can be tailored. The focus of previous research has been on the concept of compatibility and the applications of joint measurements in quantum information processing, while constructing actual joint measurements has been a less popular topic of research. Specifically, there are very few studies that construct time-continuous joint measurements.

In this study, we have ventured on this less traversed avenue. We explicitly constructed the noisy time-continuous quadratures that are jointly implemented in the heterodyning measurement. In particular, we found an explicit threshold for mixing the homodyne measurement with the average dynamics, leading to the noisy quadrature measurements implemented in the heterodyning scenario. This approach may open up new ways to construct joint observables that can be tuned using techniques known from quantum optics. A simple tuning parameter we investigated here was the squeezing of the initial state of the cavity.

We investigated the sharpness of the marginal observables induced for the qubit subsystem in the heterodyne case and compared those with the homodyne case. We found that homodyning produces sharper observables than heterodyning and the sharpness of the measured quadrature can be improved by squeezing the initial state of the cavity in the same quadrature being continuously measured.

This research may open up new ways to implement joint measurements. Our results are applicable beyond cavity QED setups and would work for any system where general dyne measurements can be carried out, such as superconducting qubits in microwave resonators or ultra cold atomic gases. These new implementations for joint measurements could also be applied in quantum network settings, since joint measurement are necessary for zero-error quantum communication (Gyongyosi et al., 2018).

Generative AI statement

The author(s) declare that no Generative AI was used in the creation of this manuscript.

Any alternative text (alt text) provided alongside figures in this article has been generated by Frontiers with the support of artificial intelligence and reasonable efforts have been made to ensure accuracy, including review by the authors wherever possible. If you identify any issues, please contact us.

Publisher’s note

All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article, or claim that may be made by its manufacturer, is not guaranteed or endorsed by the publisher.