## Abstract

An unraveling of master equation for a set of fields interfering with one another is developed and conditions are found under which decoherence can be avoided for conditional and unconditional evolution of one of this fields.

© 1998 Optical Society of America

It is well known that a system coupled to a noncoherent thermal reservoir comes after some characteristic time *t*_{eq}
to the state of thermal equilibrium. In quantum physics a system coupled to a reservoir displays yet another fundamental phenomenon: in the timescale much shorter than *t*_{eq}
the density matrix of quantum system becomes diagonal in some basis, defined by the system-reservoir interaction Hamiltonian, and then tends to thermal equilibrium preserving this diagonality [1–3]. This phenomenon, generally known as quantum decoherence, has been widely studied in recent years for such a simple system as single-mode optical or microwave field in an open cavity, for the up to date quantum optical experimental techniques provide a possibility to observe and modify
this phenomenon with high precision, and from the other side decoherence causes additional difficulties in such applications of quantum optics as quantum cryptography [4] and development of quantum computers [5]. In this work we show that decoherence is not an intrinsic property of a decaying quantum system and study conditions under which it can be completely excluded.

As the first example we consider a single mode of the field in the cavity described by operators of photon annihilation and creation *a* and *a*
^{+} respectively. One of the cavity mirrors is semi-transparent, so that the field in the cavity interacts with the modes of external, initially vacuum field. The density operator of such a system obeys a well-known master equation of Lindblad form:

where *H* = *ωa*
^{+}
*a* is a Hamiltonian of internal evolution, *ω* is the mode frequency, *γ*_{a}
is the decay constant of the cavity and *ħ* is set to unity. The solution of Eq. (1) can be represented as integral over so-called quantum trajectories [6–8]:

where

and the superoperators *J*_{a}
and *S*(*t*) are defined as follows:

The representation given by Eq.(2) is usually called an unraveling of the master equation, Eq. (1). In general any equation

where *L* is any Liuvillian superoperator, can be unraveled in the following way:

for any superoperator *J*, choice of which determines the physical sense of such an expansion.

The unraveling given by Eqs. (2–5) obtains its physical meaning if we place outside the cavity a photodetector with unity quantum efficiency collecting all outgoing radiation. In this case *ρ*(*t*|*t*
_{1},…, *t*_{n}
) represents the conditional (non-normalized) density operator of the cavity field given exactly *n* photons were registered by the photodetector in the time interval [0, *t*) at times *t*
_{1},…, *t*_{n}
, while its normp *p*(*t*|*t*
_{1},…, *t*_{n}
) = *Tr*{*ρ*(*t*|*t*
_{1},…, *t*_{n}
)} gives the probability of the corresponding outcome. In this interpretation Eq. (2) can be considered just as an averaging over all possible detector records. The structure of Eq. (3) shows that the conditional state of the field under continuous measurement consists of jumps at times *t*
_{1}, …,*t*_{n}
described by superoperator *J*_{a}
and continuous non-unitary evolution between the counts, described by superoperator *S*(*t*). It is easy to see that if the initial state of the field is a pure state *ρ*(0) = |*ψ*_{a}
(0)〉 〈*ψ*_{a}
(0)| it remains pure under conditional evolution:

where

Because of term *e*
^{-γa${t}_{a}^{+}$a/2} in Eq. (8) all conditional states tend to vacuum (equilibrium) state, however without any decoherence, which arises only as a result of averaging over all possible trajectories, given by Eq. (2). This provides the following interpretation of the decoherence process: due to coupling of the cavity mode to external modes on the semi-transparent mirror, photons leave cavity at some times *t*
_{1}, …,*t*_{n}
and the state of the system decays to vacuum. If we know exactly these times, gathering all photons on the surface of a photodetector, the conditional state of the field preserves its quantum coherence and only the loss of information connected with non-unitary detector efficiency or not perfect photon resolution brings about the decoherence of the system state. Thus, to avoid decoherence caused by interaction with a set of bosonic field modes, it is enough to collect all outgoing radiation on a photodetector and resolve all counts - the conditional state of the system with respect to observed photocount sequence will remain pure.

It seems that such a corpuscular interpretation gives a complete description of field decoherence. However the external field cannot be completely described by photon arrival times *t*
_{1},…,*t*_{n}
, it possesses a fundamental property of interference with other fields and itself. Moreover, in many experiments one is interested in phase properties of the cavity field, which are measured with the use of homodyne techniques, that is the external field undergoes interference with the field of local oscillator before being measured. So we should answer the following question: can we avoid in principle de-coherence of the cavity state if the external field is subject to interference with other auxiliary field, so that the times *t*
_{1}, …, *t*_{n}
at which photons left the cavity cannot be more obtained directly by photodetection? The answer on this question is non-trivial and generally depends on the state of the auxiliary field.

Let us suppose that the auxiliary field is produced by another cavity, the single mode of which described by annihilation operator *b* is initially exited in the state |*ψ*_{b}
(0)〉. The external fields of the two cavities are mixed on a symmetric beam-splitter and measured by two photodetectors. The master equation for the joint density operator of modes *a* and *b* is

where *γ*_{b}
and *H*_{b}
, are the decay rate and Hamiltonian of the corresponding cavity. Eq. (9) can be unraveled in such a way that it will provide an expression for the conditional state of two modes for given photocount sequences at two detectors. We make this unraveling using the rule that the jump of the conditional wave function after detecting a photon at a photodetector is given by the operator of the field incident on this detector [7].

Disregarding the phase shifts introduced by beam-splitters we write the field operators on two detectors as

Now a photocount at the first detector brings about reduction

while a photocount at the second causes reduction

Between counts evolution is described by superoperator *S*(*t*), satisfying the equation

that is

where

We see again that all superoperators *J*_{a}
, *J*_{b}
and *S*(*t*) preserve the purity of the state. So the conditional state of two modes is a pure state at any time provided that it was pure at the beginning.

Using Eqs.(12), (13) and (15) we can construct a conditional state of two modes for any given sequences of photocounts at the detectors. For example, if one count was observed at the first detector at time *t*
_{1}, and one at the second detector at time *t*
_{2} > *t*
_{1}, the conditional (non-normalized) state at time *t* > *t*
_{1}, *t*
_{2} is

$$\phantom{\rule{5em}{0ex}}\times {e}^{-K{t}_{1}}|{\psi}_{a}\left(0\right)\u3009|{\psi}_{b}\left(0\right)\u3009.$$

This wave function can be considered as a sum of four parts:

$$\phantom{\rule{6em}{0ex}}+\sqrt{\frac{{\gamma}_{a}{\gamma}_{b}}{4}}{e}^{-K\left(t-{t}_{2}\right)}a{e}^{-K\left({t}_{2}-{t}_{1}\right)}b{e}^{-K{t}_{1}}\mid {\psi}_{a}\left(0\right)\u3009\mid {\psi}_{b}\left(0\right)\u3009$$

$$\phantom{\rule{6em}{0ex}}-\sqrt{\frac{{\gamma}_{a}{\gamma}_{b}}{4}}{e}^{-K\left(t-{t}_{2}\right)}b{e}^{-K\left({t}_{2}-{t}_{1}\right)}a{e}^{-K{t}_{1}}\mid {\psi}_{a}\left(0\right)\u3009\mid {\psi}_{b}\left(0\right)\u3009$$

$$\phantom{\rule{6em}{0ex}}-\frac{{\gamma}_{b}}{2}{e}^{-K\left(t-{t}_{2}\right)}b{e}^{-K\left({t}_{2}-{t}_{1}\right)}b{e}^{-K{t}_{1}}\mid {\psi}_{a}\left(0\right)\u3009\mid {\psi}_{b}\left(0\right)\u3009,$$

which describe the four possible ways of obtaining one photon at first and one at second detector: (i) both photons came from the cavity *a* (first term), (ii) first photon came from the cavity *b*, second came from the cavity *a* (second term), (iii) vice versa (third term), and (iv) both photons came from the cavity *b* (forth term). as we can in no way determine the paths of photons the resulting wavefunction is a superposition of four possible wavefunctions.

So the joint conditional state of two modes under continuous measurement does not decohere on its way to equilibrium (vacuum state). However we cannot say it about the mode *a* alone! The reason is that the states of two modes become entangled, that is the joint state does not factorize:

It is most easily seen from Eq. (17), where each term factorizes, while the sum generally not. If we now average over mode *b*, the state of mode a becomes a mixture.

When such an entanglement is produced? Obviously not between the counts, as the superoperator *S*(*t*) does not entangle states:

It is produced by quantum jumps connected with photon detection, because generally

In the Appendix we show that the equality in Eq. (21) holds if and only if one of the states |*ψ*_{a}
〉 or |*ψ*_{b}
〉 is a coherent state. It is easy to see from the implicit form of the superoperators *J*_{a}
, *J*_{b}
, and *S*(*t*) that coherent state of mode *a* or *b* remains coherent under conditional evolution of the joint state. So we can state that the joint conditional state of two modes under continuous measurement performed after interference on a beam-splitter is disentangled if and only if one of these modes is in a coherent state initially.

This is just the situation met in a homodyne measurement. It means that if in homodyne measurement of cavity field all photons are gathered on photodetectors with unity quantum efficiencies and all photocounts are resolved, then the conditional state of the cavity field does not decohere, and the cause of decoherence, as in case of direct detection, is the loss of information.

The scheme with two interfering beams considered above can be generalized for the case of arbitrary number of modes. Let us consider *n* single mode fields of the same frequency *ω* described by operators *a*_{i}
, *i* = 1, …, *n* in *n* cavities with decay rates *γ*_{i}
, *i* = 1, …, *n*. Such a system is described by master equation

where *H*_{i}
= ${\omega a}_{i}^{+}$
*a*_{i}
is the Hamiltonian of internal evolution of the *i*th mode. We suppose that the outgoing fields of the cavities are mixed with one another on a set of beam splitters and the resulting *n* beams are detected by *n* photodetectors. The field operators on the detectors ${E}_{i}^{\mathit{\text{out}}}$
are given by relation

where *U*_{ij}
= ${U}_{\mathit{\text{ji}}}^{*}$ is a unitary matrix, while

is the field operator just outside the cavity. Taking into account that

$$=\sum _{\mathit{jk}}{\delta}_{\mathit{jk}}{E}_{j}^{\mathrm{out}}\rho {E}_{k}^{\mathit{out}}=\sum _{k}{E}_{k}^{\mathit{out}}\rho {E}_{k}^{\mathit{out}+}$$

we rewrite Eq. (20) in the following form

The last equation can be interpreted as follows: observing a photon at the *i*th detector brings about a reduction *ρ* → ${E}_{i}^{\mathit{\text{out}}}$${\rho E}_{i}^{\mathit{\text{out}}+}$ while between counts the state evolution is described by the superoperator *S*(*t*):

The conditional state of *n*-mode field is again a pure and generally entangled state.

So we have seen how it is possible to avoid decoherence in conditional state evolution. In some cases we can obtain also a non-conditional evolution without decoherence by means of electro-optical feedback between photodetectors and cavity field. Below we consider how this can be done in a special case of decaying superposition of coherent states in an open cavity.

We consider again a single mode cavity with photon annihilation operator *a* and decay rate *γ*_{a}
. Initially the field inside the cavity is exited in a superposition of coherent states with amplitudes *α* and -*α* (a so-called Schrodinger cat state [10])

where *φ* is arbitrary real phase and *N* is a normalization constant. The conditional evolution of the state vector of the field under continuous measurement is given by Eq. (8). Substituting Eq. (28) into Eq. (8) we obtain

where *n* is number of counts in the time interval [0, *t*). Eq. (29) shows that the conditional state of field remains a superposition of two coherent states with altering sign between them [11]. In contrast to this the unconditional evolution of field, i.e. the solution of Eq. (1) for initial state given by Eq. (29) gives fast decoherence of the field into statistical mixture of states |*α*〉 〈*α*| and |-*α*〉 〈-*α*|. Decoherence again arises as a result of averaging over all possible detector records, however in this special case the conditional state does not depend on times *t*
_{1}, …, *t*_{n}
of photon arrivals, but only on total number of photons in the interval [0, *t*), or more precisely there are only two possible wave functions |${\psi}_{a}^{\mathit{\text{cond}}}$
(*t*)〉: one for even and one for odd values of *n*, which differ only by sign between states |*α*〉 and |-*α*〉. When a photon leaves the cavity this sign is switched to the opposite value. This sign switching has a simple physical interpretation only for the case of $\phi -\frac{\pi}{2}$, when it corresponds to shifting the phase of the intracavity field by *π*, and can be realized by the phase shift operator exp{*iπa*
^{+}
*a*}:

The last relation shows how we can convert a conditional non-decohering evolution into unconditional non-decohering one [12]. It can be done by means of electro-optical modulator placed inside the cavity, controlled by photocurrent in such a way that each photocount is followed by a field phase shift by *π*, which must be performed during a time small compared to cavity photon lifetime ${\gamma}_{a}^{-1}$ and average distance between photocounts ${\gamma}_{a}^{-1}$ |*α*|^{-2}. In such a scheme the conditional state of the field is given, instead of Eq. (8), by the following expression:

which gives for initial condition Eq. (28)

Now conditional state does not depend on detector records at all. So to obtain an unconditional state we should only normalize it:

i.e. the decaying state inside the cavity remains a superposition of coherent states with opposite amplitudes. Some of the difficulties which a practical realization of this method can meet, such as non-unity efficiency of photodetector, are discussed in Ref. [12].

In general case we may try to find such a feedback, which will preserve the state purity for any given Hamiltonian *H* and initial state |*ψ*_{a}
(0)〉. We may describe the effect of instant feedback by some operator *U* and write a more general form of Eq. (31):

Now we need the field state (normalized) at time *t* to be independent of photon arrival times *t*_{n}
and photocount number *n*, that is

where *c*(*t*|*n*, *t*
_{1}, …*t*_{n}
) is a c-number defining the probability of the corresponding count sequence and |*ψ′*_{a}
(*t*)〉 is some vector depending only on time. Letting *n* = 0 in Eq. (35) we find that |*ψ′*_{a}
(*t*)〉 can be chosen as

It is readily seen from the structure of Eq. (34) that Eq. (35) is satisfied for any photocount sequence if and only if each of the states |*ψ′*_{a}
(*t*)〉, *t* ∈ [0, +∞) is an eigenstate of operator *Ua*:

where *c*(*t*) is a c-number. So, if for given *H* and |*ψ*_{a}
(0)〉 we find an operator *U* satisfying Eq. (37) and the corresponding physical process, which can be controlled by feedback loop, then the decoherence of intracavity field induced by decay can be completely removed.

The previous considerations are closely related to approach developed in Ref. [13], where authors consider the possibility to ”invert” quantum jumps produced by operator *a*. For this purpose they propose to use feedback described by operator *U*, such that *Ua* is a c-number on a sub-space containing states |*ψ′*_{a}
(*t*)〉, *t* ∈ [0, +∞), which is much more strong a condition than that required by Eq.(37). The former condition is enough but not necessary for preserving the state purity, as it implies that the non-normalized state given by Eq. (34) is completely independent of photocount arrival times *t*_{n}
, that is not only the state of the field is independent of these times, but also the probabilities of different count sequences are equal for given *n*. Contrary to this, Eq. (37) gives the necessary and enough condition, which must be satisfied by feedback operator preserving the intracavity field from decoherence.

So we have shown using a single-mode field in an open cavity as an example that decoherence is not an intrinsic property of a system coupled to a reservoir and can be avoided if some information about the reservoir state is available. In some cases the necessary information can be much less than the complete information about the reservoir state, and sometimes it can be used to avoid decoherence in unconditional dynamics of the system.

This work was supported by INTAS project ”Single photon generation and quantum state synthesis”.

## Appendix

We consider conditions under which equality in Eq. (21) holds for both signs, that is

for some states |*ψ*_{a}
〉, |*ψ*_{b}
〉, |*ψ′*_{a}
〉 |*ψ′*_{b}
〉 |*ψ″*_{a}
〉, and |*ψ″*_{b}
〉. Multiplying both sides of Eq. (A1) by bra vector 〈*φ*_{a}
| such that 〈*φ*_{a}
|*ψ*_{a}
〉 = 0 we obtain

This condition can hold if and only if either (i)

where *c* is a non-zero c-number, or (ii)

In the case (i) Eq. (A1) is rewritten as

which after multiplying both sides by 〈*ψ*_{a}
| gives

i.e. |*ψ*_{b}
〉 is an eigenstate of operator *b*(coherent state).

In the case (ii) we have: *a*|*ψ*_{a}
〉 ⊥ |*φ*_{a}
〉 for any |*ψ*_{a}
〉 ⊥ |*ψ*_{a}
〉, therefore *a*|*ψ*_{a}
〉 = *c′* |*ψ*_{a}
〉 where *c′* is a c-number. That is |*ψ*_{a}
) is an eigenstate of operator *a*(coherent state).

So we have proven that Eq. (A1) holds if and only if at least one of states |*ψ*_{a}
〉 or |*ψ*_{b}
〉 is a coherent state.

In the same way we find that Eq. (A2) holds under the same conditions.

## References

**1. **W. H. Zurek, “Pointer basis of quantum apparatus: Into what mixture does the wave packet collapse?,” Phys. Rev. D **24**, 1516 (1981). [CrossRef]

**2. **W. H. Zurek, “Environment-induced superselection rules,” Phys. Rev. D **26**, 1862 (1982). [CrossRef]

**3. **W. H. Zurek, “Decoherence and transition from quantum to classical,” Phys. Today **44**, 36 (1991). [CrossRef]

**4. **S. M. Barnett and S. J. D. Phoenix, “The principles of quantum cryptography,” Phil. Trans. R. Soc. Lond. A **354**, 793 (1996). [CrossRef]

**5. **D. P. DiVincenzo, “Quantum computation,” Science **270**, 255 (1995). [CrossRef]

**6. **M. D. Srinivas and E. B. Davies, “Photon counting probabilities in quantum optics,” Opt.Acta **28**, 981 (1981). [CrossRef]

**7. **H. Carmichael, *An Open System Approach to Quantum Optics* (Springer-Verlag, Berlin, 1993).

**8. **S. Ya. Kilin*Quantum Optics. Fields and Their Detection* (Minsk, 1990).

**9. **S. Ya. Kilin, D. B. Horoshko, and V. N. Shatokhin, “Quantum instabilities and decoherence problem,” Acta Phys. Pol. A **93**, 97 (1998).

**10. **V. Buzek and P. L. Knight, “Quantum interference, superposition states of light, and nonclassical effects,” Prog. Opt. **36** 3(1995). [CrossRef]

**11. **B. M. Garraway and P. L. Knight, “Evolution of quantum superpositions in open environments: Quantum trajectories, jumps, and localization in phase space,” Phys. Rev. A **50**, 2548 (1994). [CrossRef] [PubMed]

**12. **D. B. Horoshko and S. Ya. Kilin, “Direct detection feedback for preserving quantum coherence in an open cavity,” Phys. Rev. Lett. **78**, 840 (1997). [CrossRef]

**13. **H. Mabuchi and P. Zoller, “Inversion of quantum jumps in quantum optical systems under continuos observation,” Phys. Rev. Lett. **76**, 3108 (1996). [CrossRef] [PubMed]