Abstract
We determine filtering and master equations for a quantum system interacting with wave packet of light in a continuous-mode squeezed number state. We formulate the problem of conditional evolution of a quantum system making use of model of repeated interactions and measurements. In this approach, the quantum system undergoes a sequence of interactions with an environment defined by a chain of harmonic oscillators. We assume that the environment is prepared in an entangled state being a discrete analogue of a continuous-mode squeezed number state. We present a derivation of a discrete stochastic dynamics that depends on the results of measurement performed on the field after its interaction with the system. In this paper, we consider a photon counting measurement scheme. By taking a continuous time limit, we finally obtain differential stochastic equations for the system. Analytical formulae for quantum trajectories and exclusive probability densities that allow to fully characterize the statistics of photons in the output field are given.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Quantum filtering theory [1,2,3,4,5], formulated in the framework of quantum Ito stochastic calculus (QSC) [6, 7], provides mathematical tools that are used to study the evolution of an open quantum system conditioned by results of a continuous in time measurement performed on a field that has interacted with the system. The evolution of the composed system (quantum system and the field) is given there by unitary operator which satisfies quantum stochastic differential equation of Itô type [6, 7]. The filtering theory is connected to the input–output formalism [4]. Information about the system, carried by the output field, can be gained in different detection schemes: direct photon counting, homodyne, or heterodyne measurement. The random results of the measurement give rise to stochastic evolution of the open system. The conditional evolution of the system is described by equation that is known as filtering or stochastic master equation (SME). Its form depends on the state of the input field and the type of detection that are taken. Solutions to the filtering equation are called a posteriori states or quantum trajectories. If the measurement is not performed or its results are not taken into account, then the evolution of the open system is given by the master equation.
The methods of quantum filtering theory were originally developed for the input field prepared in a Gaussian state (vacuum, coherent, squeezed, thermal). In that case, the unconditional evolution of the system is given by a single master equation [1,2,3,4,5] of the Lindblad form [8, 9]. The recent development of experimental techniques of producing and manipulating propagating wave packets of light in non-classical states [10,11,12,13,14], such as n-photon state, squeezed vacuum state [15,16,17,18], and application of such packets, for instance, in quantum communication and quantum cryptography [19,20,21,22] brought the extension of the filtering theory methods. The wave packet of the n-photon state possesses temporal correlations that make the dynamics of the system non-Markovian [23,24,25]. The reduced evolution of the system is no longer given then by a single equation but by a set of coupled equations [26,27,28,29,30,31,32,33,34,35,36,37,38]. To study the quantum trajectories for the system interacting with non-classical states, several methods were proposed. One can use the cascaded system approach [28, 36], a non-Markovian embedding technique [29, 30, 32], or a temporal decomposition of the input field [35, 39]. All mentioned approaches were formulated by means of QSC. There exists also a method based on a discrete model of repeated interactions and measurements, see [34, 36, 37].
In this paper, we study the interaction of a quantum system with a traveling light prepared in a continuous-mode squeezed number state [16]. This problem was recently analyzed by Gross et. al. in the framework of QSC in [39]. We consider the electromagnetic field of a finite time correlation. In the literature, there exist the filtering equations formulated for the broadband squeezing bath [4, 5, 40,41,42,43]. Such field, called also the squeezed white-noise field, has \(\delta \)-time correlations and the infinite photon flux. Due to this property, the stochastic equation for the broadband squeezing bath for photon counting measurement cannot be defined. The interaction of the quantum system with a finite and narrow-bandwidth squeezed field was studied, for instance in [44,45,46,47,48,49,50].
We define the interaction of open quantum system with the light making use of the model of repeated interactions and measurements, called also a collision model [51,52,53,54,55,56,57,58,59,60,61,62,63]. A detailed discussion on physical assumptions for the collision models in quantum optics was given, for instance, in [59, 62, 64]. The main aim of our paper is to show that the discrete approach provides a rigorous and intuitive way for studying quantum conditioning and stochastic evolution for a quantum system coupled to the field in the squeezed number state. We define the environment (a traveling unidirectional field) by a chain of harmonic oscillator that is initially prepared in a state that is discrete analog of continuous-mode squeezed number state. We assume that the quantum system undergoes a sequence of interactions ("collisions") with elements of the environment. There are no initial correlations between the environment and the system. The harmonics oscillators do not interact with each other, but they interact with the system one by one, and they are subsequently monitored. Random results of the measurements lead to random sequence of the system states. We derive discrete in time set of stochastic recurrence equations describing the conditional evolution of the system, and we display the analytical solution related to different realization of the stochastic process connected to the measurement. Finally, we obtain the continuous in time conditional and unconditional evolution of the quantum system. The set of filtering and master equations derived in this papers agrees with the results given in [39]. We not only derive differential equations for conditional and unconditional evolution of the system, but also determine the analytical formulae for the quantum trajectories related to the continuous in time counting detection of the output field. And this allows us to characterize the whole statistics of the output photons by the exclusive probability densities [65, 66]. Finally, we show how to use conditional vectors to determine a photon profile for an optimal transfer of photons from the wave packet into the cavity.
The paper has the following structure. Section 2 is devoted to presentation of the model of repeated interactions. In Sect. 3, we define the squeezed number state for the environment and describe some of its properties. In Sect. 4, we give a description of quantum conditioning for the sequence of repeated measurements. Section 4 is devoted to determination of the sets of discrete filtering and master equations and their limit for the continuous in time evolution of the system. In Sect. 5, we present the general analytical formulae for quantum trajectories and use it to define the statistics of the output photons. In Sect. 6, we give an example of usage of the conditional operators to solve the problem of efficient transfer of photons. We summarize our results in Sect. 7.
2 Repeated interaction model
We consider a quantum system \({\mathcal {S}}\), described by the Hilbert space \(\mathcal {H_{S}}\), interacting with an environment (a unidirectional field) \({\mathcal {E}}\) defined by a sequence of M harmonic oscillators. We assume that the field harmonic oscillators do not interact with each other, but they interact one by one with the system \({\mathcal {S}}\) each during a time \(\tau \). The Hilbert space of the environment is given then by
where \({\mathcal {H}}_{{\mathcal {E}},k}\) is the Hilbert space of the harmonic oscillator which interacts with \({\mathcal {S}}\) in the time interval \([k\tau , (k+1)\tau )\). Clearly, \({\mathcal {H}}_{{\mathcal {E}}}\) posses the following property: for each \(j\ge 1\), we have
where
We can split the Hilbert space \({\mathcal {H}}_{{\mathcal {E}}}\) into the input and output parts referring, respectively, to the harmonic oscillators which have already interacted with \({\mathcal {S}}\) and those which will interacts with \({\mathcal {S}}\) in the future. The total Hilbert space is \({\mathcal {H}}_{{\mathcal {E}}}\otimes \mathcal {H_{S}}\). We describe the dynamics of the composed system \({\mathcal {E}}+{\mathcal {S}}\) up to time \(T=M\tau \). At a given moment, \({\mathcal {S}}\) interacts with only one of the field harmonic oscillators. An interaction of the field with \({\mathcal {S}}\) in time interval \([k\tau , (k+1)\tau )\) is defined by the unitary operator:
where
and
We set the Planck constant \(\hbar =1\) throughout the paper. By \({\hat{b}}_{k}\) and \({\hat{b}}_{k}^{\dagger }\), we denoted, respectively, the annihilation and creation operators of the k-th harmonic oscillator acting as
where \(\vert n\rangle _{k}\) is the number state vector in \({\mathcal {H}}_{{\mathcal {E}},k}\). The operators \({\hat{b}}_{k}\) and \({\hat{b}}_{l}^{\dagger }\) satisfy the standard canonical commutation relations (CCR):
The model is formulated in the framework of standard assumptions made in quantum optics: a flat coupling constant, rotating wave-approximation, and the extension of the lower limit of integration over frequency to minus infinity [59, 62, 64, 67]. Thus, we assume that the bandwidth of the spectrum is much smaller than the central frequency of the pulse. The Hamiltonian \({\hat{H}}_{k}\) is written in the interaction picture eliminating the free evolution of the field. By \({\hat{H}}_{\mathcal {S}}\) we denoted the Hamiltonian of the system \({\mathcal {S}}\). Further, \({\hat{L}}\in {\mathcal {B}}({\mathcal {H}}_S)\) and \({\hat{L}}\) is called a jump or Lindblad operator. For \({\mathcal {S}}\) being a two-level atom \({\hat{L}}=\sqrt{\Gamma }{\hat{\sigma }}_{-}\), where \(\Gamma \) is a positive coupling constant, and \({\hat{\sigma }}_{-}\) is a lowering operator of the atom. If \({\mathcal {S}}\) is a harmonic oscillator (a cavity mode), then \({\hat{L}}=\sqrt{\Gamma }{\hat{a}}\), where \({\hat{a}}\) is the annihilation operator. We shall use for (5) the Fock representation such that
where \({\hat{V}}_{mm^{\prime }} \in {\mathcal {B}}({\mathcal {H}}_S)\) and \(m,m^{\prime }=0,1,2,\ldots \).
The unitary operator describing the discrete time evolution of the composed system from zero time up to \(\tau j \) for \(j\ge 1\) is defined as
Note that it acts non-trivially on the space \({\mathcal {H}}_{{\mathcal {E}}}^{j]}\otimes \mathcal {H_{S}}\) and as an identity operator on \({\mathcal {H}}_{{\mathcal {E}}}^{[j+1}\). After the jth first interactions, the state of the composed system defined in \({\mathcal {H}}_{{\mathcal {E}}}\otimes \mathcal {H_{S}}\) reads as
Taking the partial trace over \({\mathcal {E}}\), we obtain the reduced state of \({\mathcal {S}}\):
3 Squeezed number states of the environment
We start this section with the introduction of the creation wave-packet operator acting in the Hilbert space \({\mathcal {H}}_{{\mathcal {E}}}^{[j}\):
where
\({\xi }_{k}\in \mathbbm {C}\), and \(\sum _{k=0}^{M-1} \tau |{\xi }_{k}|^2=1\). The commutator of \({\hat{B}}_{[j}^{\dagger }[\xi ]\) and its Hermitian-conjugate operator \({\hat{B}}_{[j}[\xi ]\) is obtained, with the help of CCR (9), as
The creation operator (14) can be used to construct the number vectors
where \(\vert vac\rangle _{[j} =\vert 0\rangle _{j}\otimes \vert 0\rangle _{j+1}\otimes \ldots \vert 0\rangle _{M-1}\) is the vacuum vector in \({\mathcal {H}}_{{\mathcal {E}}}^{[j}\) and \(m=0,1,\ldots \). Clearly, \(\vert 0_{\xi }\rangle _{[j}=\vert vac\rangle _{[j}\). Let us observe that the number vectors are mutually orthogonal:
and they possess the additive decomposition property [37]
One can check that the action of the creation operator \({\hat{B}}_{[j}^{\dagger }[\xi ]\) on the number vector gives
and for the annihilation operators, one finds
In this paper, we consider the number state defined by
where \(\vert vac\rangle =\vert 0\rangle _{0}\otimes \vert 0\rangle _{1}\otimes \ldots \vert 0\rangle _{M-1}\) is the vacuum vector in \({\mathcal {H}}_{{\mathcal {E}}}\), and \({\hat{B}}^{\dagger }[\xi ]={\hat{B}}_{[0}^{\dagger }[\xi ]\). Clearly, the number state is an eigenvector of the photon number operator, defined in \({\mathcal {H}}_{{\mathcal {E}}}\) by
Note that (23) is an entangled state of the bath harmonic oscillators and a degree of this entanglement depends on \(\xi \). Clearly, we deal here with n independent photons of the same profiles \(\xi \). Let us notice that the state (23) is a discrete analogue of the continuous-mode number state discussed, for instance, in [15,16,17,18].
We define the squeezed number state in \({\mathcal {H}}_{{\mathcal {E}}}\) by the formula
with the squeeze operator
where \(\gamma =\frac{r}{2}e^{-2i\phi }\). Of course, the squeezed number states are mutually orthogonal:
where \(n^{\prime },n^{\prime \prime }\in {\mathbb {N}}\). Using the squeeze operator (26), we obtain the Bogoliubov transformation:
where \(c= \cosh r\) and \(s=\sinh r\). Thus, the unitary transformation of the wave-packet annihilation operator is given as
By (28) and the properties (20)–(22), we get the mean value
Similar calculations allow us to find the two-time correlation functions for the field:
Let us notice that it is a function depending on the times \(\tau k\) and \(\tau l\). The mean number of photons in the field in the time interval \([k\tau ,(k+1)\tau )\) is given by
and for the whole wave-packet prepared in the squeezed number state, we have
One can easily check that the expectation values of the quadrature operators,
are equaled to zero for the squeezed number state while their variances for \(\phi =0\) have the form
Note that any squeezed Fock state \(\vert n_{\gamma ,\xi }\rangle \) can be expanded into the number states [68]:
For instance, the squeezed vacuum state can be expressed as [68]
where \(H_{2n}(0)\) is the value for \(x=0\) of the Hermite polynomial
The coefficients in the expansion of squeezed number states are connected by the following relation
To show the above equation, one needs to write down the action of wave-packet annihilation operator \({\hat{B}}[\xi ]\) on the squeezed number state applying the transformation (29), then expand both sides of the equality in the basis of number states, and compare the coefficients for independent vectors on both sides.
Remark 1
An arbitrary photon number state vector in \(\mathcal {H_{E}}\) can be defined as
where \({{\mathcal {N}}}\) is the normalization factor. We do not assume any symmetry property for a tensor \(\varphi _{k_{n}\ldots k_{2} k_{1}}\). In particular situation
where \(\xi ^{(i)}_{k_i}\) are the profiles of n photons. In this paper, we consider the case when all profiles are the same, so the photons are indistinguishable.
Remark 2
In a general case, a squeeze operator in \(\mathcal {H_{E}}\) can be defined by
where
We assume that the initial state of the composed \({\mathcal {E}}+{\mathcal {S}}\) system has the form
where \(\vert \psi _{0}\rangle \) is the initial state of \({\mathcal {S}}\).
4 Conditioning in a repeated measurement model
The environment \({\mathcal {E}}\) can be considered as a measuring device providing information on \({\mathcal {S}}\). We describe in this section the conditional state of the compound system depending on the results of the measurement performed on the elements of the output field. We assume that after each interaction a measurement is performed on the last harmonic oscillator which has interacted with the system \({\mathcal {S}}\). We consider the measurement of the field observable
We assume that a detector is perfect and it works instantaneously. To represent the results of measurements performed up to time \(j\tau \), we use the stochastic vector \(\pmb {\eta }_j=(\eta _j,\eta _{j-1},\ldots ,\eta _1)\).
Theorem 1
The conditional (a posteriori) state vector of the system \({\mathcal {S}}\) and the input part of the environment (the part of the environment which has not interacted with \({\mathcal {S}}\) up to \(j\tau \)) for the initial state (46) and the measurement of the observable (47) at time \(j\tau \) is given by
where \(\vert \Psi _{j\vert \pmb { \eta }_j}^{n}\rangle \) is the unnormalized conditional vector from \({\mathcal {H}}_{\mathcal {E}}^{[j} \otimes {\mathcal {H}}_{\mathcal {S}}\) having the form
where \(\{\vert \psi _{j\vert \pmb {\eta }_j}^{n}(m)\rangle \}\), \(m=0,1,\ldots \) is the set of conditional vectors from \({\mathcal {H}}_{{\mathcal {S}}}\) which satisfy the set of recurrence equations
The operators \({\hat{V}}_{\eta _{j+1} r}\in {\mathcal {B}}({\mathcal {H}}_S)\) are defined by (10), and initially, we have
For the proof, see A.
Let us emphasize that the infinite set of conditional vectors \(\{\vert \psi _{j\vert \pmb {\eta }_j}^{n}(m)\rangle \}\) with \(m=0,1,\ldots \) depends on the initial state of the composed system and all results of the measurements up to \(j\tau \). It is seen from the structure of (49) that the a posteriori state (48) is an entangled state of the system \({\mathcal {S}}\) and the input part of environment. This entanglement makes the evolution of the system \({\mathcal {S}}\) non-Markovian.
The conditional probability of detecting m photons at \((j+1)\tau \) given the results of all measurements up to \(j\tau \) is defined by
By the property \({\hat{V}}_{mr}={\hat{O}}(\sqrt{\tau }^{|m-r|})\), we obtain for a detection of zero photons
and for \(m\ge 1\) photons
where \({\overline{O}}(.)\) is the Landau symbol. Therefore, the probability of detecting more than one photon in the output field in the time interval \([k\tau , (k+1)\tau )\) is an expression of order \({\overline{O}}(\tau ^2)\). The probability of such detection is equal to zero in the continuous-time limit, and we ignore the such cases. Now, by neglecting in (50) all terms of order more than one in \(\tau \) and the terms associated with the processes of probability of \({\overline{O}}(\tau ^2)\), we obtain from (50) the following the set of difference equations
with the system operators
Note that here the random vector \(\pmb {\eta }_j\) consists only of zeros and ones. Thus, the system interacting with the field prepared in the state \(\vert n_{\gamma ,\xi }\rangle \) can absorb or emit at most one photon in the interval of the length \(\tau \). The processes of absorption and emission of more than one photon are not considered because their probabilities are of order \({\overline{O}}(\tau ^2)\).
5 Discrete and continuous evolution equations
We shall show that a recurrence recipe for the state of \({\mathcal {S}}\) is given by an infinite set of coupled equations. A sequence of measurements performed on the output field gives rise to the stochastic evolution of the system \({\mathcal {S}}\). In this section, we describe conditional as well as unconditional dynamics of \({\mathcal {S}}\) in a discrete and continuous in-time cases.
Let us start from establishing a set of stochastic discrete evolution equations for \({\mathcal {S}}\). To this aim, we take the partial trace of the random operator \(\vert {\tilde{\Psi }}_{j\vert \pmb {\eta }_j}^{n}\rangle \langle {\tilde{\Psi }}_{j\vert \pmb {\eta }_j}^{n}\vert \) over the environmental part. One can easily check that the reduced state of the system \({\mathcal {S}}\) at the time \(j\tau \) has the form
where
Initially, \(\rho _{j=0}=\vert \psi _{0}\rangle \langle \psi _{0}\vert \). Note that the quantum repeated interactions and measurements provides a sequence of random states \({\tilde{\rho }}_{j\vert \pmb {\eta }_{j}}\), \(j=1,2,\ldots \) of the system \({\mathcal {S}}\) defining a discrete quantum trajectory on \(\mathcal {H_{{\mathcal {S}}}}\). The operator \({\tilde{\rho }}_{j\vert \pmb {\eta }_{j}}\) is the conditional state of \({\mathcal {S}}\) depending on the results of all measurements performed on the output field up to time \(j\tau \), and the quantity
is the probability of a given trajectory.
We shall derive a difference stochastic equation for \({\tilde{\rho }}_{j\vert \pmb {\eta }_{j}}\). It is a recurrence recipe for the conditional state of \({\mathcal {S}}\) at the time \((j+1)\tau \) depending on the conditional state of \({\mathcal {S}}\) at \(j\tau \) and a result of the measurement at \((j+1)\tau \). For this purpose, we introduce operators
where \(n^{\prime }, n^{\prime \prime }\in {\mathbb {N}}\). Here, \(\{\vert \psi _{j\vert \pmb {\eta }_{j}}^{n^{\prime }}(m)\rangle \}\) for \(m= 0,1,2,\ldots \) are the conditional vectors from \(\mathcal {H_S}\), satisfying the recurrence equations of type of (55) and initially \(\vert \psi _{j=0}^{n^{\prime }}(m)\rangle =a_{m}(n^{\prime }_\gamma )\vert \psi _{0}\rangle \) with the coefficients \(\{a_{m}(n^{\prime }_\gamma )\}\) specified by the expansion \(\vert n_{\gamma ,\xi }^{\prime }\rangle =\sum _{m=0}^{+\infty }a_{m}(n_\gamma ^{\prime })\vert m_{\xi }\rangle \). Note that we consider different sets of conditional vectors related to different squeezed number states with a fixed parameter \(\gamma \) and function \(\xi \). One can check that \(\rho _{j\vert \pmb {\eta }_j}^{n^{\prime },n^{\prime \prime }}=\left( \rho _{j\vert \pmb {\eta }_j}^{n^{\prime \prime },n^{\prime }}\right) ^{\dagger }\), \(\rho _{j=0}^{n^{\prime },n^{\prime \prime }}=\delta _{n^{\prime }, n^{\prime \prime }}\vert \psi _{0}\rangle \langle \psi _{0}\vert \), and \(\rho _{j\vert \pmb {\eta }_j}^{n,n}=\rho _{j\vert \pmb {\eta }_j}\). To simplify our notation, we drop the condition \(\pmb {\eta }_j\) from now on.
We first determine the recurrence equations for the operators (60) for the case when the measurement gives us zero photons. If the result of measurement at time \((j+1)\tau \) is \(\eta _{j+1}=0\), then referring to Eq. (55) and the relation
following from (20), where \(\Vert \cdot \Vert =\sqrt{\langle \cdot \rangle }\), we obtain for the conditional operator at \((j+1)\tau \) the formula
where \(n^{\prime }, n^{\prime \prime }\in {\mathbb {N}}\). Now, it is worth to observe that for any \(n^{\prime }\in {\mathbb {N}}\) the conditional vectors satisfy the relation
To prove it, one can use the general solution to the set of Eq. (55), given in the next section, and the property (41). With the help of (63), Eq. (62) can be rewritten in the form
The conditional probability of detecting zero photons at the moment \((j+1)\tau \) given the a posteriori state of \({\mathcal {S}}\) at \(j\tau \) was \({\tilde{\rho }}_{j}\) is defined as
with \(\rho _{j+1}\) stated by Eq. (64). One then finds that
where
and
Clearly, \({\tilde{\rho }}_{j}^{n,n}\) is the conditional state of \({\mathcal {S}}\) at \(j\tau \). Now, by
we finally obtain from (64) the infinite set of difference equations:
for \(n^{\prime },n^{\prime \prime }\in {\mathbb {N}}\).
Now, we have to study the situation when at time \((j+1)\tau \) a detector registers a photon. If \(\eta _{j+1}=1\), then from Eqs. (55) and (61), we obtain for the conditional operators the recurrence formula
Making use of (63), we obtain the equation
The conditional probability of detecting a photon at time \((j+1)\tau \) given the conditional state of \({\mathcal {S}}\) at \(j\tau \) was \({\tilde{\rho }}_{j}\) is defined by
with \(\rho _{j+1}=\rho _{j+1}^{n,n}\) given by Eq. (71), and one can find that
Hence, for the case of detecting a photon at \((j+1)\tau \), we get for the difference equation of the form
where \(n^{\prime }, n^{\prime \prime }\in {\mathbb {N}}\).
Let us introduce the stochastic discrete process
with the increment defined as
One check, using (66) and (74), that the conditional mean value of \(\Delta N_{j}\) has the form
Finally, by combining Eqs. (64) and (75) we obtain the set of filtering difference equations for the conditional operators \({\tilde{\rho }}_{j}^{n^{\prime },n^{\prime \prime }}\), where \(n^{\prime }, n^{\prime \prime } \in {\mathbb {N}}\).
Proposition 2
The a posteriori evolution of the system \({\mathcal {S}}\) interacting with the environment prepared in the state (25) for the measurement of (47) is given by an infinite set of the coupled difference stochastic equations of the form
where
and the initial conditions: \({\tilde{\rho }}_{j=0}^{n^{\prime },n^{\prime \prime }}=\delta _{n^{\prime }, n^{\prime \prime }}\vert \psi _{0}\rangle \langle \psi _{0}\vert \) for \(n^{\prime }, n^{\prime \prime } \in {\mathbb {N}}\). Here, \(\{{\hat{a}},{\hat{b}}\}={\hat{a}}{\hat{b}}+{\hat{b}}{\hat{a}}\). The a posteriori state of \({\mathcal {S}}\) at time \(j\tau \) is given by \({\tilde{\rho }}_{j}^{n,n}\). The discrete stochastic process \(N_{j}\) characterizing photon counts defined by the observable (47) is uniquely determined by (66) and (74)
The filtering equations (79) are nonlinear. If a photon was not registered at \((j+1)\tau \), then \(\Delta N_{j}=0\) and (79) reduces to (64), and if a photon was detected at \((j+1)\tau \), then \(\Delta N_{j}=1\), all terms proportional to \(\tau \) in (79) are negligible and (79) is equivalent to (75). We omitted in Eq. (79) all terms that do not give contribution to the continuous situation when \(\tau \rightarrow \textrm{d}t\).
Now, taking the average over all trajectories we obtain from (79) the unconditional (a priori) dynamics of the system \({\mathcal {S}}\). The a priori state of \({\mathcal {S}}\) at time \(j\tau \) for \(j>0\) can be obtained by taking the mean value of \({\tilde{\rho }}_{j}\) with respect to the measure defined by (59):
We take the stochastic mean of (79) in the two steps. First, we use the conditional mean of the increment \(\Delta N_{j}\) and then, we take the mean value of all the other elements on the past.
Proposition 3
The a priori dynamics of \({\mathcal {S}}\) is given by the infinite set of difference master equations
where
with the initial condition \({\sigma }_{j=0}^{n^{\prime },n^{\prime \prime }}=\delta _{n^{\prime },n^{\prime \prime }}\vert \psi _{0}\rangle \langle \psi _{0}\vert \) for \(n^{\prime },n^{\prime \prime }\in {\mathbb {N}}\).
We end up this section with the results for the continuous in-time dynamics. We take the limit of \(\tau \rightarrow 0\) and \(M\rightarrow \infty \) such that \(T=M\tau \) is fixed. In this case, we obtain from (79) the infinite set of the coupled differential stochastic equations of the form
with
and the initial condition of the form \({\tilde{\rho }}_{t=0}^{n^{\prime },n^{\prime \prime }}=\delta _{n^{\prime }, n^{\prime \prime }}\vert \psi _{0}\rangle \langle \psi _{0}\vert \). Here, \(N_{t}\) is the stochastic counting process with the increment \(\textrm{d}N_{t}=N_{t+\textrm{d}t}-N_{t}\) having the conditional mean value
For the process \(N_{t}\) we get the relation \((\textrm{d}N_{t})^2=\textrm{d}N_{t}\), reflecting the fact that we can detect at most one photon in time interval \([t,t+\textrm{d}t)\). Note that \(k_{t}\) is the intensity of \(N_{t}\) and \(k_{t}\textrm{d}t\) is the conditional mean number of photons detected from t to \(t+\textrm{d}t\). If we put \(s=0\) and \(c=1\), which means that we take \(\gamma =0\), then (84) reduce to the set of stochastic equations for the number photon state derived in [35, 37]. We would like to emphasize that the set of filtering equations (84) agrees with the results published in [39].
Clearly, taking finally the limit of \(T\rightarrow +\infty \), we get for \(\xi \in L^{2}[0,\infty )\) the normalization condition
By taking the mean of (84), we obtain the set of master differential equations describing the a priori dynamics of \({\mathcal {S}}\). The reduced dynamics of \({\mathcal {S}}\) is given by the infinite set of differential equations
with the initial condition \(\sigma _{t=0}^{n^{\prime },n^{\prime \prime }}=\delta _{n^{\prime }, n^{\prime \prime }}\vert \psi _{0}\rangle \langle \psi _{0}\vert \). The a priori state of \({\mathcal {S}}\) is given by \(\sigma _{t}={\sigma }_{t}^{n,n}\). It is clear that for the parameters \(s=0\) and \(c=1\) the infinite set of master equations (88) gives the set of \((n+1)^2\) equations for the number photon state [27, 35, 37]. The set of master equations (88) one can derive directly from the set of master equations for the input field prepared in the number photon state, see B.
6 Quantum trajectories and photon statistics
In this section, we present the solution to the set of stochastic master equations for discrete as well as continuous in-time dynamics. We display moreover the a priori state of the system by means of the quantum trajectories. The starting point in our discussion is the solution to the set of discrete stochastic equations (55). We return in this section to the notation with conditional subscripts.
6.1 Discrete case
The general solution to the set of Eqs. (55) can be written in the form
where \(m = 0, 1, 2, \ldots \), the vector \(\pmb {r}\) consists only zeros and ones, and the arrow denotes time-ordered products. Let us stress that we get an infinite set of conditional vectors which depend on the initial state of the composed system and on all results of the measurement performed on the output field up to time \(j\tau \). One can write down it for some explicit scenarios of detection. Instead of writing the whole sequence of all results from 0 to \(j\tau \), we indicate only moments of counts in the realization of stochastic vector \(\pmb {\eta }_{j}=(\eta _j,\ldots ,\eta _1)\). Thus, the string \((l_s,\ldots ,l_1)\), where \(0<l_1<\ldots <l_s\le j\), means that we detected exactly s photons at moments \(\tau _i = l_i\tau \) \((i=1,\ldots ,s)\) and no other photons from time 0 to \(j\tau \). Of course, any \(l_{i}\ge 1\). Let us introduce the operators:
where \(i=0,1,2,\ldots \) and \(l=1,2,\ldots \). Note that \({\hat{A}}_{i}\) is associated with an absorption of a photon by \({\mathcal {S}}\) at time \(i\tau \), \({\hat{E}}_{l}\) with an emission of a photon by \({\mathcal {S}}\) at time \(l\tau \), and \({\hat{D}}_{l}\) with a detection of a photon coming directly from the input field at time \(l\tau \). Using these operators, we can express the conditional vectors at time \(j\tau \) for \(m = 0, 1, 2, \ldots \) as follows:
-
1.
for detecting no photons from 0 to \(j\tau \), we obtain
$$\begin{aligned} \vert \psi ^{n}_{j\vert 0}(m)\rangle= & {} {\hat{V}}_{00}^{j} \left[ a_{m}(n_{\gamma })+\sum _{k=1}^{j} \sqrt{\frac{(m+k)!}{m!}}\sum _{i_{k}=j-1}^{j-1}\sum _{i_{k-1}=j-2}^{i_{k}-1}\right. \nonumber \\{} & {} \left. \ldots \sum _{i_{1}=0}^{i_{2}-1} {\hat{A}}_{i_{k}}{\hat{A}}_{i_{k-1}}\ldots {\hat{A}}_{i_{1}} a_{m+k}(n_{\gamma })\right] \vert \psi _{0}\rangle , \end{aligned}$$(93) -
2.
for a detection of a photon at time \(l\tau \) and no other photons from 0 to \(j\tau \), we get:
$$\begin{aligned} \vert \psi _{j\vert l}^{n}(m)\rangle =\sum _{k=0}^{j}\sqrt{\frac{(m+k)!}{m!}}{\hat{R}}_{j\vert l}(k)a_{m+k}(n_{\gamma })\vert \psi _{0}\rangle , \end{aligned}$$(94)where
$$\begin{aligned} {\hat{R}}_{j\vert l}(0)= & {} {\hat{V}}_{00}^{j}{\hat{E}}_{l}, \end{aligned}$$(95)$$\begin{aligned} {\hat{R}}_{j\vert l}(1)= & {} {\hat{V}}_{00}^{j}\left( {\hat{D}}_{l}+ {\hat{E}}_{l}\sum _{i=0}^{l-2}{\hat{A}}_{i}+ \sum _{i=l}^{j-1}{\hat{A}}_{i}{\hat{E}}_{l} \right) \end{aligned}$$(96)$$\begin{aligned} {\hat{R}}_{j\vert l}(2)= & {} {\hat{V}}_{00}^{j}\left( {\hat{D}}_{l}\sum _{i=0}^{l-2}{\hat{A}}_{i}+\sum _{i=l}^{j-1}{\hat{A}}_{i}{\hat{D}}_{l}+ {\hat{E}}_{l} \sum _{i_{2}=1}^{l-2}\sum _{i_{1}=0}^{i_{2}-1}{\hat{A}}_{i_2}{\hat{A}}_{i_1}\right. \nonumber \\{} & {} +\left. \sum _{i_{2}=l}^{j-1}{\hat{A}}_{i_2}{\hat{E}}_{l} \sum _{i_{1}=0}^{l-2}{\hat{A}}_{i_1}+\sum _{i_{2}=l+1}^{j-1}\sum _{i_{1}=l}^{i_{2}-1}{\hat{A}}_{i_2} {\hat{A}}_{i_1}{\hat{E}}_{l} \right) , \end{aligned}$$(97)$$\begin{aligned} {\hat{R}}_{j\vert l}(3)= & {} {\hat{V}}_{00}^{j} \left( {\hat{D}}_{l}\sum _{i_{2}=1}^{l-2}\sum _{i_{1}=0}^{i_{2}-1}{\hat{A}}_{i_2}{\hat{A}}_{i_1}+ \sum _{i_{2}=l}^{j-1}{\hat{A}}_{i_2}{\hat{D}}_{l}\sum _{i_{1}=0}^{l-2}{\hat{A}}_{i_1} \right. \nonumber \\{} & {} +\sum _{i_{2}=l+1}^{j-1}\sum _{i_{1}=l}^{i_{2}-1}{\hat{A}}_{i_2}{\hat{A}}_{i_1}{\hat{D}}_{l}+ {\hat{E}}_{l}\sum _{i_{3}=3}^{l-2}\sum _{i_{2}=2}^{i_3-1}\sum _{i_{1}=0}^{i_{2}-1}{\hat{A}}_{i_3}{\hat{A}}_{i_2}{\hat{A}}_{i_1}\nonumber \\{} & {} +\sum _{i_{3}=l}^{j-1}{\hat{A}}_{i_3}{\hat{E}}_{l}\sum _{i_{2}=1}^{l-2}\sum _{i_{1}=0}^{i_{2}-1}{\hat{A}}_{i_2}{\hat{A}}_{i_1}+\sum _{i_{2}=l+1}^{j-1}\sum _{i_{1}=l}^{i_{2}-1}{\hat{A}}_{i_2}{\hat{A}}_{i_1}{\hat{E}}_{l}\sum _{i=0}^{l-2}{\hat{A}}_{i} \nonumber \\{} & {} \left. +\sum _{i_{3}=l+3}^{j-1}\sum _{i_{2}=l+2}^{i_3-1}\sum _{i_{1}=l}^{i_{2}-1}{\hat{A}}_{i_3}{\hat{A}}_{i_2}{\hat{A}}_{i_1}{\hat{E}}_{l} \right) , \end{aligned}$$(98)
and so on. In a general case, for detection of s photons at times \(l_1 \tau , l_2\tau , \ldots , l_s\tau \), where \(l_1<l_2<\ldots <l_s\), and no other photons from 0 to \(j\tau \), the conditional vectors can be expressed as
The formula for the conditional operator \({\hat{R}}_{j\vert l_s,\ldots , l_2,l_1}(k)\) becomes more and more complicated with increasing numbers k and s, but all expressions in this formula follow two simple rules:
-
1.
the number of photons emitted by \({\mathcal {S}}\) plus the number of detected photons which came directly from the input field is equaled to s:
$$\begin{aligned} n_E+n_D=s, \end{aligned}$$(100) -
2.
the number of photons absorbed by \({\mathcal {S}}\) plus the number of detected photons which came directly from the input field is equaled to k:
$$\begin{aligned} n_A+n_D=k. \end{aligned}$$(101)
The physical interpretations of the terms in the formula for \({\hat{R}}_{j\vert l_s,\ldots , l_2,l_1}(k)\) are not so complex. One can easily recognize there two sources of the detected photons: the input field and system \({\mathcal {S}}\). These two kinds of photons are indistinguishable for the observer. Clearly, for a particular system \({\mathcal {S}}\) not all terms give nonzero contribution to the conditional vector \(\vert \psi _{j\vert l_s,\ldots , l_2,l_1}^{n}(m)\rangle \). For instance, if \({\mathcal {S}}\) is a two-level atom, all terms with the two or more successive absorptions disappear.
6.2 Continuous case
We would like to provide analytical formulae for the conditional as well as unconditional state of \({\mathcal {S}}\) and characterize the statistics of the output photons by means of the exclusive probability densities [65]. Let us notice that all realization of the counting stochastic process \(N_{t}\) may be divided into disjoint sectors: \({\mathcal {C}}_s\) containing trajectories with exactly s detected photons in the nonoverlapping intervals \([t_{1},t_{1}+\textrm{d}t_{1})\), \([t_{2},t_{2}+\textrm{d}t_{2})\), \(\ldots \), \([t_{s},t_{s}+\textrm{d}t_{s})\) lying in the interval (0, t], where \(t_1< t_{2}<\ldots < t_s\). In order to write down the conditional vectors in compact forms, we introduce the operators
where \({\hat{G}}={\hat{H}}_{{\mathcal {S}}}-\frac{i}{2}{\hat{L}}^{\dagger }{\hat{L}}\) is a non-Hermitian Hamiltonian,
Let us notice that \({\hat{T}}_t\) describes free propagation of \({\mathcal {S}}\) up to time t, \({\hat{A}}_{t}\) corresponds to an absorption of a photon by \({\mathcal {S}}\) at t, and \({\hat{E}}_t\) to an emission of a photon by \({\mathcal {S}}\) at time t.
In the continuous time limit, we obtain the conditional vectors at time t of the form:
-
1.
from (93) for zero photons from 0 to t:
$$\begin{aligned} \vert \psi ^{n}_{t\vert 0}(m)\rangle= & {} {\hat{T}}_{t}\left[ a_{m}(n_{\gamma })+ \sum _{k=1}^{+\infty }\sqrt{\frac{(m+k)!}{m!}} \int _{0}^{t}\textrm{d}t_{k}\int _{0}^{t_k}\textrm{d}t_{k-1} \right. \nonumber \\{} & {} \left. \ldots \int _{0}^{t_{3}}\textrm{d}t_{2}\int _{0}^{t_{2}} \textrm{d}t_{1} {\hat{A}}_{t_{k}}{\hat{A}}_{t_{k-1}}\ldots {\hat{A}}_{t_{2}}{\hat{A}}_{t_{1}}a_{m+k}(n_{\gamma })\right] \vert \psi _{0}\rangle ,\qquad \end{aligned}$$(105) -
2.
from (94) for one photon detected at the time \(t_1\) and no other counts in the interval (0, t]:
$$\begin{aligned} \vert \psi _{t\vert t_{1}}^{n}(m)\rangle =\sum _{k=0}^{+\infty }\sqrt{\frac{(m+k)!}{m!}}{\hat{R}}_{t\vert t_{1}}(k)a_{m+k}(n_{\gamma })\vert \psi _{0}\rangle , \end{aligned}$$(106)where from the expressions (95)–(97), respectively, we get
$$\begin{aligned}{} & {} {\hat{R}}_{t\vert t_{1}}(0)= \sqrt{\textrm{d}t_1}{\hat{T}}_{t} \, {\hat{E}}_{t_1}, \end{aligned}$$(107)$$\begin{aligned}{} & {} {\hat{R}}_{t\vert t_{1}}(1)= \sqrt{\textrm{d}t_1}\, {\hat{T}}_t \Big [\xi _{t_1} + {\hat{E}}_{t_1} \int _0^{t_1} ds {\hat{A}}_s +\int _{t_1}^{t} ds {\hat{A}}_s {\hat{E}}_{t_1} \Big ], \end{aligned}$$(108)$$\begin{aligned} R_{t\vert t_{1}}(2)= & {} \sqrt{\textrm{d}t_1}\, {\hat{T}}_t \, \Big [ \xi _{t_1} \int _{0}^{t_1}ds {\hat{A}}_{s} + \int _{t_1}^{t}ds {\hat{A}}_{s}\, \xi _{t_1} \nonumber \\{} & {} +{\hat{E}}_{t_1} \int _{0}^{t_1}ds^{\prime }\int _{0}^{s^{\prime }}ds {\hat{A}}_{s^{\prime }} {\hat{A}}_{s}+ \int _{t_1}^{t}ds^{\prime } {\hat{A}}_{s^{\prime }} \, {\hat{E}}_{t_1} \, \int _{0}^{t_1}ds {\hat{A}}_{s} \nonumber \\{} & {} +\int _{t_1}^{t}ds^{\prime }\int _{t_1}^{s^{\prime }}ds {\hat{A}}_{s^{\prime }} {\hat{A}}_{s}\, {\hat{E}}_{t_1}\Big ], \qquad \end{aligned}$$(109)$$\begin{aligned} {\hat{R}}_{t\vert t_{1}}(3)= & {} \sqrt{\textrm{d}t_1}\, {\hat{T}}_t \, \Big [ \xi _{t_1}\int _{0}^{t_1}ds^{\prime }\int _{0}^{s^{\prime }}ds{\hat{A}}_{s^{\prime }} {\hat{A}}_{s}\nonumber \\{} & {} +\xi _{t_1}\int _{t_1}^{t}ds^{\prime }\int _{0}^{t_1}ds{\hat{A}}_{s^{\prime }} {\hat{A}}_{s}+\xi _{t_1}\int _{t_1}^{t}ds^{\prime }\int _{t_1}^{s^{\prime }}ds{\hat{A}}_{s^{\prime }} {\hat{A}}_{s} \nonumber \\{} & {} +{\hat{E}}_{t_1}\int _{0}^{t_1}ds^{\prime \prime }\int _{0}^{s^{\prime \prime }}ds^{\prime }\int _{0}^{s^{\prime }}ds {\hat{A}}_{s^{\prime \prime }}{\hat{A}}_{s^{\prime }}{\hat{A}}_{s}\nonumber \\{} & {} +\int _{t_1}^{t}ds{\hat{A}}_{s}{\hat{E}}_{t_1}\int _{0}^{t_1}ds^{\prime \prime }\int _{0}^{s^{\prime \prime }}ds^{\prime } {\hat{A}}_{s^{\prime \prime }}{\hat{A}}_{s^{\prime }}\nonumber \\{} & {} +\int _{t_1}^{t}ds^{\prime \prime }\int _{t_1}^{s^{\prime \prime }}ds^{\prime } {\hat{A}}_{s^{\prime \prime }}{\hat{A}}_{s^{\prime }}{\hat{E}}_{t_1}\int _{0}^{t_1}ds{\hat{A}}_{s}\nonumber \\{} & {} +\int _{t_1}^{t}ds^{\prime \prime }\int _{t_1}^{s^{\prime \prime }}ds^{\prime }\int _{t_1}^{s^{\prime }}ds {\hat{A}}_{s^{\prime \prime }}{\hat{A}}_{s^{\prime }}{\hat{A}}_{s}{\hat{E}}_{t_1} \Big ], \end{aligned}$$(110)and so on.
The a priori state of \({\mathcal {S}}\) at time t can be expressed by the conditional operators as
where
with
and
We have here the sum over all photons detection pathways that might take place from 0 to time t. They could involve s detections where s could change from 0 to \(\infty \). The operators under integrals are interpreted as the unnormalized conditioned density operator of \({\mathcal {S}}\) associated with different scenarios of photon detections. For instance, \(\rho _{t\vert 0}\) refers to the situation when we do not observe any photons up to t while \(\rho _{t\vert t_{s},t_{s-1},\ldots ,t_{2},t_{1}}\) to the case when s photons were registered in the intervals \([t_{1},t_{1}+\textrm{d}t_{1})\), \([t_{2},t_{2}+\textrm{d}t_{2})\), \(\ldots \), \([t_{s},t_{s}+\textrm{d}t_{s})\), where \(t_1< t_{2}<\ldots < t_s\). The formula (111) is a decomposition of the reduced state of \({\mathcal {S}}\) by means of quantum trajectories associated with the counting process \(N_t\). We would like to emphasis that this solution is not unique, i.e., considering homodyne or heterodyne measurement schemes, we would get different stochastic representation of \(\sigma _t\).
One can use the conditional vectors to find the statistics of the counting of the output photons. The probability of not observing any photons up to time t is given as
The exclusive probability density \( p_{0}^{t}(t_{s}, t_{s-1}, \ldots , t_{2}, t_{1})\) for a trajectory corresponding to s detections in the interval from 0 to t in the intervals \([t_{1},t_{1}+\textrm{d}t_{1})\), \([t_{2},t_{2}+\textrm{d}t_{2})\), \(\ldots \), \([t_{s},t_{s}+\textrm{d}t_{s})\), where \(0<t_1< t_{2}<\ldots < t_s\) is given as
Hence, the probability of registering exactly s photons up to time t is
7 Example: the photon profile for the most efficient transfer of the field photons into the cavity
Let us assume that a quantum system interacting with a wave packet is a cavity mode—a harmonic oscillator. In this section, we study the problem of choosing an optimal photon profile that gives the most efficient transfer of photons from the wave packet into the cavity. First, we assume that the traveling field is prepared in the number state, and then, we consider the case of the input field in the squeezed number state. We write down the Hamiltonian of the system in the rotating frame, that is
where \(\Delta =\omega _{0}-\omega _{c}\), where \(\omega _{0}\) is the frequency of the cavity mode and \(\omega _{c}\) stands for the central frequency of the input wave packet. We take the coupling operator of the form
where \(\Gamma >0\). Let us emphasize that \(\xi _{t}\) is a slowly varying envelop of the pulse [62, 69]. Let us assume that the harmonic oscillator is initially in the vacuum state \(\vert 0\rangle \). The probability that there are n photons inside cavity at time t is given by \(P_{n_{\xi }}(t)=\Vert \vert \psi ^{n}_{t\vert 0}(0)\rangle \Vert ^2\). The conditional vector \(\vert \psi ^{n}_{t\vert 0}(0)\rangle \) refers to the case when we do not detect any photons up to t and the input field after t is in the vacuum state. Clearly, it means that all photons from the wave packet were absorbed by the cavity and stayed there up to t. One can check that then
which can be expressed as
We have assumed here that the interaction between the systems starts in an arbitrary moment \(t_0\).
Proposition 4
The maximum value of the probability of n excitations at time \(t>t_{0}\) for the cavity mode prepared in the vacuum state and the input field in \(\vert n_{\xi }\rangle \) reads as
and is realized only at the resonance (i.e., \(\Delta =0\)) by the pulse of the profile
for \(s \in [t_0,t]\), and \(\xi _{s}=0\) elsewhere.
Thus, we obtain a perfect transfer, i.e., \(P_{n}(t)=1\), for an exponential pulse rising in the interval \((-\infty ,t]\). If the input field is prepared in the squeezed number state \(\vert n_{\gamma ,\xi }\rangle \), then the probability that the mean number of photons inside the cavity at time t is equal to \(c^2n+s^2(n+1)\) is given by
Proposition 5
The maximum value of the probability of the transfer of the wave packet photons into the cavity at time \(t>t_{0}\) for the cavity mode prepared in the vacuum state and the input field in \(\vert n_{\gamma ,\xi }\rangle \) is
and is realized only at the resonance (i.e., \(\Delta =0\)) by the pulse of the profile
for \(s \in [t_0,t]\), and \(\xi _{s}=0\) elsewhere.
8 Summary
We have derived the sets of filtering and master equations for an open quantum system coupled to the continuous-mode field prepared in the squeezed number state. We have shown that the quantum system becomes then entangled with the input and output parts of the field and the conditional and unconditional evolutions of the system are given by infinite sets of coupled equations. We have determined the evolution of the quantum system starting from the discrete in-time model where the traveling field is defined by a sequence of harmonic oscillators that interact one by one with the quantum system. The harmonic oscillators are subsequently monitored. The procedure of determining the conditional state of the system for discrete measurements is based on von Neumann’s projection postulate. Clearly, random results of the measurements lead to random sequence of the system states. The discrete model gives an intuitive picture to interaction of the wave packet in the squeezed state with the quantum system and to the stochastic evolution. We have finally obtained the results for the continuous in-time measurement and evolution of the system. Our sets of differential stochastic equations and master equations agree with the results determined by means of QSC in [39]. We have not only determined the filtering equations, but we have also found the analytical formulae for quantum trajectories associated with the counting measurement performed on the output field and we have given the physical interpretation to the quantum trajectories. In this paper, one can find, moreover, a decomposition of the a priori state by means of conditional operators associated with the stochastic counting process. It is a generalization of the famous formula for unraveling of the reduced evolution of an open quantum system coupled to the vacuum field [2]. The conditional operators were also applied to obtain the formula for the probability of zero counts up to t and the expressions for exclusive probability densities which allow to fully characterize the photon statistics in the output field. In simple illustrative example, we have shown how to use the conditional vectors to solve the problem of the transfer of the photons from the wave packet to the cavity. By choosing the rising profile for the photons, the probability of a perfect transfer could be arbitrary close to unity.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
References
Barchielli, A., Belavkin, V.P.: Measurements continuous in time and a posteriori states in quantum mechanics. J. Phys. A: Math. Gen. 24, 1495–1514 (1991). https://doi.org/10.1088/0305-4470/24/7/022
Carmichael, H.: An Open Systems Approach to Quantum Optics. Springer-Verlag, Berlin-Heidelberg (1993)
Barchielli, A.: Continual Measurements in Quantum Mechanics and Quantum Stochastic Calculus. In: Attal, S., Alain, J., Pillet, C.-A. (eds.) Lecture Notes Math. 1882, pp. 207–291. Springer, Berlin (2006)
Gardiner, C.W., Zoller, P.: Quantum Noise. Springer-Verlag, Berlin-Heidelberg (2010)
Wiseman, H.M., Milburn, G.J.: Quantum Measurement and Control. University Press, Cambridge (2010)
Hudson, R.L., Parthasarathy, K.R.: Quantum Ito’s formula and stochastic evolutions. Commun. Math. Phys. 93, 301–323 (1984). https://doi.org/10.1007/BF01258530
Parthasarathy, K.R.: An Introduction to Quantum Stochastic Calculus. Birkhäuser Verlag, Basel (1992)
Gorini, V., Kossakowski, A., Sudarshan, E.C.G.: Completely positive dynamical semigroups of N-level systems. J. Math. Phys. 17, 821–825 (1976). https://doi.org/10.1063/1.522979
Lindblad, G.: On the generators of quantum dynamical semigroups. Commun. Math. Phys. 48, 119–130 (1976). https://doi.org/10.1007/BF01608499
Cooper, M., Wright, L.J., Söller, C., Smith, B.J.: Experimental generation of multi-photon Fock states. Opt. Express 21, 5309–5317 (2013). https://doi.org/10.1364/OE.21.005309
Peaudecerf, B., Sayrin, C., Zhou, X., Rybarczyk, T., Gleyzes, S., Dotsenko, I., Raimond, J.M., Brune, M., Haroche, S.: Quantum feedback experiments stabilizing Fock states of light in a cavity. Phys. Rev. A 87, 042320-1–042320-25 (2013). https://doi.org/10.1103/PhysRevA.87.042320
Reiserer, A., Rempe, G.: Cavity-based quantum networks with single atoms and optical photons. Rev. Mod. Phys. 87, 1379–1418 (2015). https://doi.org/10.1103/RevModPhys.87.1379
Leong, V., Seidler, M.A., Steiner, M., Ceré, A., Kurtsiefer, Ch.: Time-resolved scattering of a single photon by a single atom. Nat. Commun. 7, 13716 (2016). https://doi.org/10.1038/ncomms13716
Lodahl, P., Mahmoodian, S., Stobbe, S., Rauschenbeutel, A., Schneeweiss, P., Volz, J., Pichler, H., Zoller, P.: Chiral quantum optics. Nature 541, 473–480 (2017). https://doi.org/10.1038/nature21037
Blow, K.J., Loudon, R., Phoenix, S.J.D., Sheperd, T.J.: Continuum fields in quantum optics. Phys. Rev. A 42, 4102–4114 (1990). https://doi.org/10.1103/PhysRevA.42.4102
Loudon, R.: The Quantum Theory of Light, 3rd edn. Oxford University Press, Oxford (2000)
Ou, Z.Y.: Temporal distinguishability of an \(N\)-photon state and its characterization by quantum interference. Phys. Rev. A 74, 063808-1–063808-14 (2006). https://doi.org/10.1103/PhysRevA.74.063808
Rohde, P.P., Mauerer, W., Silberhorn, Ch.: Spectral structure and decompositions of optical states, and their applications. New J. Phys 9, 91-1–91-24 (2007). https://doi.org/10.1088/1367-2630/9/4/091
Scarani, V., Bechmann-Pasquinucci, H., Cerf, N.J., Dusek, M., Lütkenhaus, N.N., Peev, M.: The security of practical quantum key distribution. Rev. Mod. Phys. 81, 1301–1350 (2009). https://doi.org/10.1103/RevModPhys.81.1301
Aaronson, S., Arkhipov, A.: The computation complexity of linear optics. In: Proceedings of 43rd Annual ACM Symposium on the Theory of Computing (STOC11), San Jose, CA, USA, 68 June 2011, pp. 333342. Association for Computing Machinery, New York, NY (2011)
Sedziak, K., Lasota, M., Kolenderski, P.: Reducing detection noise of a photon pair in a dispersive medium by controlling its spectral entanglement. Optica 4, 84–89 (2017). https://doi.org/10.1364/OPTICA.4.000084
Zhong, Z.-O., Wang, S., Zhan, X.-H., Yin, Z.-Q., Wei, Ch., Guo, G.-C., Han, Z.-F.: Realistic and general model for quantum key distribution with entangled-photon sources. Phys. Rev. A 106, 052606-1–052606-10 (2022). https://doi.org/10.1103/PhysRevA.106.052606
Breuer, H.P., Laine, E.M., Piilo, J., Vacchini, B.: Colloquium: Non-Markovian dynamics in open quantum systems. Rev. Mod. Phys. 88, 021002-1–021002-24 (2016). https://doi.org/10.1103/RevModPhys.88.021002
Fang, Y.L., Ciccarello, F., Baranger, H.U.: Non-Markovian dynamics of a qubit due to single-photon scattering in a waveguide. New J. Phys. 20, 043035 (2018). https://doi.org/10.1088/1367-2630/aaba5d
Dąbrowska, A., Chruściński, D., Chakraborty, S., Sarbicki, G.: Eternally non-Markovian dynamics of a qubit interacting with a single-photon wavepacket. New J. Phys. 23, 123019–1--123019-19 (2021). https://doi.org/10.1088/1367-2630/ac3c60
Gheri, M.K., Ellinger, K., Pellizzari, T., Zoller, P.: Photon-wavepackets as flying quantum bits. Fotschr. Phys. 46(4–5), 401–415 (1998). https://onlinelibrary.wiley.com/doi/10.1002/(SICI)1521-3978(199806)46:4/5%3C401::AID-PROP401%3E3.0.CO;2-W
Baragiola, B.Q., Cook, R.L., Brańczyk, A.M., Combes, J.: \(N\)-photon wave packets interacting with an arbitrary quantum system. Phys. Rev. A 86, 013811-1–01381-18 (2012). https://doi.org/10.1103/PhysRevA.86.013811
Gough, J.E., James, M.R., Nurdin, H.I., Combes, J.: \(N\)-photon wave packets interacting with an arbitrary quantum system. Phys. Rev. A 86, 043819 (2012). https://doi.org/10.1103/PhysRevA.86.013811
Gough, J.E., James, M.R., Nurdin, H.I.: Single photon quantum filtering using non-Markovian embeddings. Phil. Trans. R. Soc. A 370, 5408–5421 (2012). https://doi.org/10.1098/rsta.2011.0524
Gough, J.E., James, M.R., Nurdin, H.I.: Quantum filtering for systems driven by fields in single photon states and superposition of coherent states using non-Markovian embeddings. Quantum Inf. Process. 12, 1469–1499 (2013). https://doi.org/10.1007/s11128-012-0373-z
Dong, Z., Zhang, G., Amini, N.H.: Quantum filtering for a two-level atom driven by two counter-propagating photons. American Control Conference (ACC) 3011-3015 IEEE (2016). https://doi.org/10.1109/ACC.2016.7526105
Song, H.T., Zhang, G.F., Xi, Z.R.: Continuous-mode multiphoton filtering. SIAM J. Control. Optim. 54, 1602–1632 (2016). https://doi.org/10.1137/15M102309
Pan, Y., Dong, D., Zhang, G.F.: Exact analysis of the response of quantum systems to two-photons using a QSDE approach. New. J. Phys. 18, 033004-1–033004-15 (2016). https://doi.org/10.1088/1367-2630/18/3/033004
Dąbrowska, A., Sarbicki, G., Chruściński, D.: Quantum trajectories for a system interacting with environment in a single-photon state: counting and diffusive processes. Phys. Rev. A 96, 053819-1–053819-11 (2017). https://doi.org/10.1103/PhysRevA.96.053819
Baragiola, B.Q., Combes, J.: Quantum trajectories for propagating Fock states. Phys. Rev. A 96, 023819-1–023819-18 (2017). https://doi.org/10.1103/PhysRevA.96.023819
Dąbrowska, A.: Quantum filtering equations for a system driven by nonclassical fields. Open Syst. Inf. Dyn. 25, 1850007-1–1850007-23 (2018). https://doi.org/10.1142/S1230161218500075
Dąbrowska, A., Sarbicki, G., Chruściński, D.: Quantum trajectories for a system interacting with environment in \(N\)-photon state. Phys. A: Math. Theor. 52, 105303-1–105303-22 (2019). https://doi.org/10.1088/1751-8121/ab01ac
Dąbrowska, A.: From a posteriori to a priori solutions for a two-level system interacting with a single-photon wavepacket. J. Opt. Soc. Am. B 37, 1240–1248 (2020). https://doi.org/10.1364/JOSAB.383561
Gross, J.A., Baragiola, B.Q., Stace, T.M., Combes, J.: Master equations and quantum trajectories for squeezed wave packets. Phys. Rev. A 105, 023721-1–023721-32 (2022). https://doi.org/10.1103/PhysRevA.105.023721
Gough, J.: Quantum white noises and the master equation for Gaussian reference states. Russ. J. Math. Phys. 10, 142–148 (2003)
Filtering and Control in Quantum Optics. arXiv:quant-ph/0410080
Dąbrowska, A., Gough, J.: Belavkin filtering with squeezed light sources. Russ. J. Math. Phys. 23, 172–184 (2016). https://doi.org/10.1134/S1061920816020035
Dąbrowska, A., Gough, J.: Quantum trajectories for squeezed input processes: Explicit solutions. Open Syst. Inf. Dyn. 23, 1650004-1–1650004-16 (2016). https://doi.org/10.1142/S1230161216500049
Carmichael, H.J., Walls, D.F.: Master equation for strongly interacting systems. J. Phys. A: Math. Nucl. Gen. 6, 1552–1564 (1973). https://doi.org/10.1088/0305-4470/6/10/014
Yeoman, G., Barnett, S.M.: Influence of squeezing bandwidths on resonance fluorescence. J. Mod. Opt. 43, 2037–2061 (1996). https://doi.org/10.1080/09500349608232870
Ficek, Z., Dalton, B.J., Wahiddin, M.R.B.: Spectral linewidth narrowing by a narrow bandwidth squeezed vacuum in a cavity. J. Mod. Opt. 44, 1005–1022 (1997). https://doi.org/10.1080/09500349708230713
Tanaś, R.: Atoms in a narrow-bandwidth squeezed vacuum. Acta Phys. Slovaca 49, 595–604 (1999)
Kowalewska-Kudlaszyk, A., Tanaś, R.: Generalized master equation for a two-level atom in a strong field and tailored reservoirs. J. Mod. Opt. 48, 347–370 (2001). https://doi.org/10.1080/09500340108232462
Parkins, A.S.: Rabi sideband narrowing via strongly driven resonance fluorescence in a narrow-bandwidth squeezed vacuum. Phys. Rev. A 42, 4352–4365 (1990). https://doi.org/10.1103/PhysRevA.42.4352
Messikh, A., Tanaś. R., Ficek, Z.: Response of a two-level atom to a narrow-bandwidth squeezed-vacuum excitation. Phys. Rev. A 61, 033811-1–033811-8. https://doi.org/10.1103/PhysRevA.61.033811
Brun, T.: A: A simple model of quantum trajectories. Am. J. Phys. 70, 719–737 (2002). https://doi.org/10.1119/1.1475328
Gough, J.E., Sobolev, A.: Stochastic Schrödinger equations as limit of discrete filtering. Open. Syst. Inf. Dyn. 11, 235–255 (2004). https://doi.org/10.1023/B:OPSY.0000047568.89682.10
Attal, S., Pautrat, Y.: From repeated to continuous quantum interactions. Ann. Henri Poincaré 7, 59–104 (2006). https://doi.org/10.1007/s00023-005-0242-8
Pellegrini, C.: Existence, uniqueness and approximation of a stochastic Schrödinger equation: the diffusive case. Ann. Probab. 36(6), 2332–353 (2008). https://doi.org/10.1214/08-AOP391
Pellegrini, C., Petruccione, F.: Non-Markovian quantum repeated interactions and measurements. J. Phys. A Math. Teor. 42, 425304-1–425304-21 (2009). https://doi.org/10.1088/1751-8113/42/42/425304
Pellegrini, C.: Existence, uniqueness and approximation of the jump-type stochastic Schrödinger equation for two-level systems. Stoch. Proc. App. 120(9), 1722–1747 (2010). https://doi.org/10.1016/j.spa.2010.03.010
Bouten, L., Handel, R., James, M.R.: A discrete invitation to quantum filtering and feedback control. SIAM Rev. 51, 239–316 (2009). https://doi.org/10.1137/060671504
Kretschmer, S., Luoma, K., Strunz, W.T.: Collision model for non-Markovian quantum dynamics. Phys. Rev. A 94, 012106-1–012106-9 (2016). https://doi.org/10.1103/PhysRevA.94.012106
Ciccarello, F.: Collision models in quantum optics. Quantum Measure. Quantum Metrol. 4, 53–63 (2017). https://doi.org/10.1515/qmetro-2017-0007
Altamirano, N., Corona-Ugalde, P., Mann, R.B., Zych, M.: Unitarity, feedback, interactions-dynamics emergent from repeated measurements. New. J. Phys. 19, 013035-1–013035-21 (2017). https://doi.org/10.1088/1367-2630/aa551b
Filippov, S.: Multiparticle correlations in quantum collision models. Entropy. 24, 508 (2022). https://doi.org/10.3390/e24040508
Gross, J.A., Caves, C.M., Milburn, G.J., Combes, J.: Qubit models of weak continuous measurements: markovian conditional and open-system dynamics. Quantum Sci. Technol. 3, 024005-1–024005-44 (2018). https://doi.org/10.1088/2058-9565/aaa39f
Ciccarello, F., Lorenzo, S., Giovannetti, V., Palma, G.M.: Quantum collision models: open system dynamics from repeated interactions. Phys. Rep. 954, 1–70 (2022). https://doi.org/10.1016/j.physrep.2022.01.001
Fischer, A.K., Trivedi, R., Ramasesh, V., Siddiqi, I., Vuc̆ković, J.: Scattering into one-dimensional waveguides from a coherently-driven quantum-optical system. Quantum 2, 69 (2018). https://doi.org/10.22331/q-2018-05-28-69
Srinivas, M.D., Davies, E.B.: Photon counting probabilities in quantum optics. Opt. Acta 28(7), 981–996 (1981). https://doi.org/10.1080/713820643
Mollow, B.R.: Quantum theory of field attenuation. Phys. Rev. 168, 1896–1919 (1968). https://doi.org/10.1103/PhysRev.168.1896
Scully, M.O., Zubairy, M.S.: Quantum Optics. Cambridge University Press, Cambridge (1997)
Kim, M.S., de Oliveira, F.A.M., Knight, P.L.: Properties of squeezed number states and squeezed thermal states. Phys. Rev. A 40, 2494–2503 (1989). https://doi.org/10.1103/PhysRevA.40.2494
Garrison, J., Chiao, R.: Quantum Optics. OUP, Oxford (2008)
Acknowledgements
This research was supported by the National Science Centre project 2018/30/A/ST2/00837.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no conflicts of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Proof of Theorem (1)
We proof Theorem (1) using an induction. Thus, we will show that if (49) holds for j, then it also holds for \(j+1\). We start from an observation that the conditional vector \(\vert \Psi _{j\vert \pmb {\eta }_j}\rangle \) from \({\mathcal {H}}^{[j}_{{\mathcal {E}}}\otimes \mathcal {H_{S}}\) can be rewritten in the form
which follows from the fact that
From an action of the unitary operator \(\hat{{\mathbb {V}}}_{[k}\) on \(\vert \Psi _{j\vert \pmb {\eta }_j}\rangle \), we have
The conditional vector \(\vert \Psi _{j+1\vert \pmb {\eta }_{j+1}}^{n}\rangle \) from \({\mathcal {H}}_{{\mathcal {E}}}^{[j+1}\otimes {\mathcal {H}}_{S}\) is defined by
where \(\eta _{j+1}\in {\mathbb {N}}\) is the random result of the measurement of (47) at the time \(\tau (j+1)\). Hence, we obtain the formula
To get the recurrence formulae (50), we change the index of summation by inserting \(s=m-m^{\prime }\) such that
And this ends the proof. \(\square \)
Appendix B: Master equations
In order to derive the set of master equations describing the evolution of the system \({\mathcal {S}}\), we can use the representation of the squeezed number states \(\{\vert n_{\gamma ,\xi }\rangle \}\) in the basis of the photon number states \(\{\vert m_{\xi }\rangle \}\) and the fact that evolution operator is linear. Thus, for the system operator
by the expansion
we obtain
where
The a priori state of \({\mathcal {S}}\) for the initial state of the composed system defined by (46) is given by
It was shown in [27, 35, 37] that the system operator \(\varrho _{j}^{m^{\prime },m^{\prime \prime }}\) satisfy the equation
where \({\mathcal {L}}\) is the superoperator in the form of (80). We have here an infinite number of coupled equations. Making use of (41), we obtain
Using this result, one can easily check that from (B12) we obtain for the operator \(\sigma _{t}^{n^{\prime },n^{\prime \prime }}\) the master equation (82).
It is worth to notice that one can use the photon number representation and the set of equations (B12) to find approximate solution defining the reduced state of \({\mathcal {S}}\). It is clear that according to the convergence of (B11) the contribution to (B9) of expressions for \(m^{\prime },m^{\prime }\rightarrow \infty \) goes to zero.
Appendix C: Proof to 4 and 5
Let us introduce \({\tilde{\xi }}_{s}=e^{-i\omega _{c}s}\xi _{s}\in {\mathbb {C}}\). To maximize the probabilities (121) and (124), one has to maximize the expression
where \(f_{s} = e^{\left( -i\omega _{0}+\frac{\Gamma }{2}\right) s}\), and we have introduced an inner product
The maximum value of (C15) we obtain for the profile \({\tilde{\xi }}_{s}\) parallel to \(f_{s}\), that is, \({\tilde{\xi }}_{s} = c(t_0,t) f_{s}\), where \(c(t_{0},t)\) is a constant (depending on fixed times \(t_{0}\) and t), such that
These conditions allow to calculate
for \(s \in [t_0,t]\), and \({\xi }_{s}=0\) for \(s > t\) and \(s<t_{0}\). Clearly, the maximum excitation is realized at resonance \(\omega _{c}=\omega _{0}\), i.e., \(\Delta _{0}=0\). \(\Box \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Dąbrowska, A., Marciniak, M. Stochastic approach to evolution of a quantum system interacting with environment in squeezed number state. Quantum Inf Process 22, 385 (2023). https://doi.org/10.1007/s11128-023-04108-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11128-023-04108-9