Exact dynamics for optical coherent-state qubits subject to environment noise
We study the exact dynamics of optical qubits encoded via coherent states with opposite phases which are interacting with an environment modeled as a collection of simple harmonic oscillators. Making use of a coherent-state path integral formulation, we are able to study memory effects on the dynamics of the coherent-state qubits due to strong environment coupling. We apply this formulation to examine the time evolution of a noisy quantum channel formed by two coherent-state qubits that are subject to uncorrelated local environment noises. In particular, we examine the time evolution of entanglement and maximal teleportation fidelity of the noisy quantum channel and show that at strong coupling, due to large feedback effects from the environment noise, it is possible to maintain a robust quantum channel in the long-time limit if appropriate error-correcting code is applied.
Present address: ]Institute of Photonics Technologies, National Tsing Hua University, Hsinchu 300, Taiwan
Classical computation and information theories have chiefly been based on encoding bit states for computing and information processing using discrete classical variables taking two values, say, 0 and 1. Quantum mechanics has opened up new possibilities for representing the bit states making use of quantum mechanical states, such as and along with their superpositions. This brings computational theory to a new horizon, since new algorithms have proved to be able to solve problems that are believed to be unsolvable classically Sho ; Gro . At the same time, it has also revolutionized information theory in that new communication protocols can reach unprecedented security level that is classically impossible [NC, –Bou, ].
In standard approaches to quantum computing and quantum information processing, one adopts two orthogonal basis states, denoted and to encode the logical states of the quantum bits (qubits), which can be two orthogonal spin states of electrons or nuclear moments, or two orthogonal polarization states of single photons NC . In recent years, however, there has been a rapid growth of interest in an alternative approach which encodes quantum information using continuous (quantum) variables cv1 ; cv2 . Since unconditional quantum operations can be achieved in this scheme, it has the merit of significantly reducing the resource overhead for quantum information processing (though with non-ideal fidelities). For optical implementations, the continuous-variable approach has the additional advantage of experimental accessibility KL . Typically, in optical implementations the quantum information is encoded using the quadrature variables (for instance, the “position” and the “momentum” operators) of the electromagnetic fields which have continuous spectra. The experimental detections of the quantum states can then be achieved using homodyne detections with high efficiency and accuracy. Moreover, various quantum optical techniques are available for quantum state manipulations necessary for gate operations.
where , are coherent states with (complex) amplitudes , , respectively, for an optical mode. The coherent states are defined as Walls
where is the annihilation operator for the optical mode, and the number state with photons, so that represents the vacuum state. Although coherent states with finite amplitudes are not exactly orthogonal to each other (thus causing errors in quantum computing tasks and reduced fidelity in quantum information processing), the coherent-state approach has several advantages. Among them, due to the continuous spectra of coherent states, this scheme is thus a “hybrid” of the discrete-variable and the continuous-variable approaches. It therefore inherits merits from both approaches, so that unconditional single-qubit gate operations can be implemented via offline resource states, linear optical networks, photon counting, and classical feedforward Ralph03 . In particular, it has been shown that based on this scheme efficient quantum gates can be implemented Jeong and fault-tolerant quantum computation can be achieved with experimentally accessible amplitudes for the coherent states Lund08 . At the same time, quantum error-correcting codes have also been developed for the coherent-state logic [Glancy, –Wick13, ]. Experimentally, the resource states for this scheme (the “cat states”) can be generated using photon subtractions [Ourj07, –Ourj09, ], making the scheme a promising candidate for realistic quantum computing and quantum information processing.
As with other realizations for quantum computing and quantum information processing, coherent-state qubits are inevitably exposed to environment noises. For instance, when an optical coherent-state passes through an optical element (e.g., a beam splitter) that is part of a quantum gate, photon loss can occur due to finite absorption coefficient of the element. In any realistic analysis, it is therefore essential to take into account such effects. Earlier works in this regard have primarily focused on the limit of weak qubit-environment interactions and/or negligible environment-noise coherence time compared with the time scale for the qubit dynamics, so that the Born-Markov approximation can be invoked Jeong ; Glancy ; Mun10 ; Wick10 . In recent years, however, it has been recognized that such considerations are not satisfactory for most realistic conditions. In particular, for full scale quantum computing it may be necessary to integrate optical systems with, for instance, solid-state systems obrien . At the interface between these systems, more complicated decoherence mechanisms may arise compared with those in all-optical settings. The study of non-Markovian dynamics for open quantum systems has therefore become a key issue [Wolf, –LoF, ]. In the present work, we aim to study the exact open-system dynamics for coherent-state qubits making use of a formulation based on coherent-state path integrals developed by Zhang and collaborators [An, –WM12, ]. This formulation will allow us to study non-perturbatively the dynamics of coherent-state qubits in the presence of strong environment noise. In particular, we will consider a noisy quantum channel, which consists of two entangled qubits that are interacting with their local environments, and examine the time evolution of its entanglement and teleportation fidelity. Surprisingly, we find that at strong coupling, due to feedback effects from the environment noise, it is possible to preserve at long time the entanglement of the two qubits and achieve better-than-classical teleportation fidelity if an appropriate error-correcting code is applied. This demonstrates that it is feasible to establish a robust coherent-state quantum channel even in the presence of environment noise.
We will start in Sec. II by introducing a model for dissipation which allows exact solutions via coherent-state path integral formulation. We will then examine the exact dynamics of a single coherent-state qubit subject to such environment noise. In Sec. III the analysis will be extended to two entangled qubits that constitute a quantum channel. We will look into the time evolution of the entanglement and teleportation fidelity of the quantum channel in the presence of dissipation. Then in Sec. IV we will study how error-correcting codes can help recover the entanglement and teleportation fidelity of the pair of coherent-state qubits at long time. Finally, in Sec. V we summarize our findings and offer brief discussions over related issues.
To study decoherence of the coherent-state qubits, let us suppose the optical mode (henceforth the “CS mode”) adopted for coherent-state encoding undergoes dissipation due to photon loss to its environment. This dissipation has previously been modeled with a beam splitter which deflects photons from the CS mode into an environment mode Glancy ; Mun10 ; Wick10 . Since the dissipation is characterized solely by the transmissivity of the beam splitter, it has no dynamics in this simple model Wick10 . Although one could phenomenologically ascribe an exponentially decaying time-dependence to the transmissivity, the dynamics would invariably be Markovian for which no memory effect from the environment coupling can arise Mun10 . In order to overcome this difficulty, let us consider a generic model in which the CS mode interacts with an environment that consists of a collection of simple harmonic oscillator modes. The total Hamiltonian thus reads (we set throughout) loui
where is the CS mode frequency and the corresponding annihilation operator, is the annihilation operator for the -th environment mode with frequency , which is coupled to the CS mode with amplitude . In this model, the CS mode exchanges energy with each environment mode through a beam-splitter interaction Hamiltonian Weiss . These environment modes can correspond to, for instance, phonon modes in a solid or other photon modes. The Hamiltonian (3) therefore provides a generic model for photon loss which may be relevant for interfacing between optical and solid-state systems, for instance in integrated quantum optical circuits obrien . In the limit of weak coupling, it reduces to a beam-splitter model with transmissivity that decays exponentially with time (see later in this section) Jeong . For general coupling, this generic model can exhibit richer dynamics than that of the beam-splitter model, as we will see in the following Xion . In particular, memory effects due to environment feedback at strong coupling can lead to novel dynamics for the coherent-state qubits.
In the context of damped harmonic oscillators, the Hamiltonian (3) has previously been studied under the Born-Markov approximation loui ; barnett . In order to examine feedback effects from the environment noise, it is necessary to go beyond this limit. This has been achieved by Zhang and coworkers [An, –WM12, ] using coherent-state path integrals applied to the Feynman-Vernon influence functional formalism An ; FV . In essence, one starts from the time evolution of the density matrix for the total system (including the CS mode and the environment)
where the integral extends over the entire complex -plane and with Re, Im indicating the real and imaginary parts, respectively; the coherent state are defined earlier in (2), and is the identity operator. Utilizing (5), one can express (4) in terms of coherent-state basis for the CS mode and the environment modes. By integrating out all environment degrees of freedom, one can then arrive at an effective equation for the time evolution of the CS mode which is encoded with the full environment effects.
Let us suppose the CS mode and the environment modes are completely decoupled initially, and the environment starts off in the vacuum state at zero temperature. The initial total density matrix is thus
where is the initial density matrix for the CS mode and denotes vacuum state for the environment modes. Using (6) in (4) and tracing out all environment modes in the coherent-state basis, one can derive a path-integral representation for the time evolution of the reduced density matrix for the CS mode An . Expressing the reduced density matrix for the CS mode at time
where denotes the complex conjugate of and , one finds in the influence functional formulation the time evolution for the matrix elements of the reduced density matrix
Here follows the equation of motion
subject to the initial condition . As we will notice in the following, plays an essential role in the dynamics of coherent-state qubits. In (11) we have introduced the noise correlation function
where is the spectral function for the CS mode-environment coupling in (3)
Namely it is the density of the environment modes weighted with the modulus square of the coupling amplitude. For explicit calculations of the problem, one must have an explicit expression for the spectral function. We will defer such calculations to later and focus for the moment on establishing general formulations for the problems that will concern us.
Let us now apply the formulation above to study the decoherence dynamics of a single coherent-state qubit. In the coherent-state encoding, the initial density matrix for a single qubit has the general form
where are time-independent coefficients and take values at the encoding amplitudes. Throughout this work we will adopt coherent states with opposite phases as the encoding basis. Therefore, for instance, with the encoding basis , one would have in the equation above . From (14), it is clear that the time evolution of the density matrix is entirely delegated to the elements . Our first task is therefore to work out the time evolution of such an element.
Let us consider an arbitrary element . In the coherent-state representation, its matrix elements are
The time evolution of the matrix element (15) can be found using (8), with here in place of the reduced density matrix . The integrals over and are Gaussian integrals which can be dealt with easily and yield
Substituting (16) back into (7) and, as above, replacing with , one can carry out the integrals over and , and arrive at the following prescription for the exact dynamics for the element in the presence of environment noise
where the arrow indicates time evolution. Equipped with (17), we are now able to find the exact time evolution for a coherent-state qubit with any initial density matrix. We will therefore refer to this result repeatedly in the rest of this paper.
As an example, let us consider a coherent-state qubit initially in the “cat state” in the basis
where and is a normalization factor (note that it depends on , and thus cannot be absorbed into them). Following the prescription (17), the time evolution of the state (18) subject to dissipations due to the Hamiltonian (3) can be obtained easily
Note that, for brevity here we have denoted
which will also be used in the rest of this paper. Since the absolute value of turns out to be always less than 1 for , the environment noise thus causes amplitude reduction in the coherent-state qubit note4 and induces phase damping through the off-diagonal elements of the density matrix. In the limit of weak coupling, or when the coupling has a broad spectrum, the spectral function would have weak frequency dependence, so that the noise correlation function (12) becomes a sharp function in time. Taking , one can find from (11) in this limit barnett ; Xion
with , where denotes principal value of the integral. Therefore, in this limit the coherent-state amplitude decays exponentially with time and Eq. (19) reduces to the Markovian result obtained in Ref. Jeong, . For general coupling strength, however, can have quite different time dependence and novel qubit dynamics can emerge, as we will soon discover.
where and is the state of (18) with replaced by (the factor remains the same; thus is not normalized), and we have introduced the “Pauli-” operator such that
Note that here is neither Hermitian nor unitary note2 . It follows immediately from (22) that the dynamical map induced by the environment noise consists of two parts: the mapping of to (or damping of to ) and the random application of the Pauli- operator. We therefore recognize that the decoherence due to the interaction Hamiltonian in (3) has a two-fold effect over the coherent-state qubit Glancy :
|(a) reduction of the coherent-state amplitude through ,|
|(b) generation of random phase-errors with probability .||(24)|
As we shall find out, this is a crucial observation, since it suggests the appropriate error-correcting code to be employed when one wishes to recover the coherence of the qubit Wick10 , which we shall discuss in Sec. IV.
Iii Exact dynamics of two qubits
Let us now turn to the problem of two coherent-state qubits under the influence of environment noise. In this case, it would be interesting to look into a quantum channel formed by two entangled qubits and examine how its quality degrades under the action of environment noise. For this purpose, let us consider an initial state which has been of experimental interest (the cluster-type entangled coherent state) Mun10 ; ct
where , (which is kept implicit here for later convenience), and etc denote coherent states of the two CS modes in question. Here, again, each qubit is encoded with the basis states. When the two CS modes are subject to independent dissipations induced by the Hamiltonian (3) with the same spectral function, the time evolution of the CS modes can then be found in accordance with the single qubit case. Namely, with each mode following the prescription (17), we have the following for the time evolution of any element in a two-qubit density matrix
It is then easy to work out the exact dynamics for the initial state (25). Its density matrix at any time is found to be
Here is the same as in (25) and we have denoted . Note that this result can also be obtained using the operator sum formulation by extending (22) to two CS modes subject to independent, identical dissipations wu12 . Equation (LABEL:rho_t_ctecs) thus describes the exact time evolution of a noisy quantum channel initially in the state (25) with each CS mode under the action of the Hamiltonian (3).
To examine the quality of the noisy quantum channel, we shall study the change of its entanglement property and teleportation ability with time. To this end, we shall calculate the time evolution of the concurrence Woot and maximal teleportation fidelity Horod for the density matrix (LABEL:rho_t_ctecs). For bipartite two-state systems, the concurrence for a density matrix is defined as
where are eigenvalues of with being the largest one. Here are Pauli- operators for sub-system and is the complex conjugate of the density matrix Woot . To find the concurrence for of (LABEL:rho_t_ctecs), it is thus necessary to have first a matrix representation for the density matrix with respect to an orthonormal basis for the restricted two-mode space spanned by . Let us consider the following “even” and “odd” states
where are normalization factors. One can easily check using (2) that and consist of number states with, respectively, even and odd numbers of photons, and hence are orthogonal to each other. We can therefore employ the basis set for the two CS modes and arrive at the following matrix representations for the original basis states
Here we have denoted
Using (30) in (LABEL:rho_t_ctecs), we arrive at the matrix representation for the density matrix in the basis
We note that the density matrix takes an “X-form” YE_X . Its concurrence can thus be found relatively easily. We get
The maximal teleportation fidelity (henceforth “teleportation fidelity” for short) for a quantum channel with density matrix is defined through its fully entangled fraction
where the maximum is taken over all possible maximally entangled states . For two-state systems, the teleportation fidelity is then given by Horod
To find the fully entangled fraction for the noisy channel (LABEL:rho_t_ctecs), one can first recast the density matrix in terms of the following orthonormal basis set
where , are the usual Bell states in the even-odd basis. The fully entangled fraction then corresponds to the largest eigenvalue for the real part of the transformed density matrix bennett . This calculation leads to
We shall now proceed with explicit calculations for noise models for the results above. This requires a specific form for the spectral function . Here we will consider the following form of a power law with an exponential cutoff Weiss
where (cf. Ref. Weiss, )
Here is the coupling strength and the cutoff frequency, which is much larger than any other frequency scales in the problem. It is common to categorize the spectral function (38) into three classes according to the power of the frequency variable : the sub-Ohmic (), Ohmic (), and super Ohmic () ones Weiss . Note that unlike earlier literatures, here we have defined in the form (39) so that for the same and , the spectral function (38) would have the same peak height for all ; Figure 1 illustrates a comparison for without scaling and with scaling. This would make the meaning of “coupling strength” less ambiguous when one compares results for with different power . This is because for given the peak position of occurs at , its coupling is therefore “detuned” by from the CS mode frequency . Now that for different have the same peak height (for the same and ), by comparing the “detunning”, one can have a clear picture as to which power would generate stronger coupling for the CS mode.
For the spectral function (38), it is not possible to obtain analytic solution for from the equation of motion (11). Using techniques of Laplace transformation, however, one can express as Bromwich integrals involving special functions (such as exponential integrals and error functions). Besides contribution from contours around branch-cut for the integrand, depending on the coupling strength , the integral can also receive contribution from poles of the integrand. When the pole contribution exists, would tend to non-zero steady value at long time WM12 . We relegate details of these calculations to Appendix A. Figure 2 illustrates our results for for the coupling strengths and for different power in the spectral function (38). Here, following Ref. Xion, we consider for sub-Ohmic coupling, and for super-Ohmic coupling. We note that at weak coupling (), decays exponentially with time, while at strong coupling (), after a sharp drop initially it recovers gradually and eventually saturates at non-zero value at long time. The weak coupling result (Fig. 2(a)) exhibits typical Markovian dynamics note3 . For the strong coupling result (Fig. 2(b)), the sharp decay is due to the large coupling between the qubit and the environment modes, which leads to a stronger decay initially than that at weak coupling. However, feedback from the environment modes subsequently bring back and a long-time correlation between the qubit and the environment modes is gradually established, leading to non-dissipative evolution at long time Xion . In view of Eq. (24), this means that at strong coupling the amplitude decay of the qubit saturates in the long-time limit. A natural question thus arises: For the noisy quantum channel (LABEL:rho_t_ctecs), would we have a robust, non-dissipative quantum channel at long time? Namely, would the concurrence and the teleportation fidelity of the noisy quantum channel possess, respectively, non-zero steady values and better than classical values in the long-time limit?
To answer the questions above, we supply the numerically obtained to formulas for the concurrence (33) and the teleportation fidelity (35) (by way of (37)) for the noisy quantum channel (LABEL:rho_t_ctecs). For the CS mode, we shall consider an experimentally realistic initial amplitude [Ourj07, –Ourj09, ] and the frequency , since the cutoff frequency is the largest frequency scale in the problem. The results for our calculation are demonstrated in Fig. 3 for weak () and strong () couplings with sub-Ohmic (), Ohmic, and super-Ohmic () spectral functions. From Fig. 3(a), we see that at weak coupling the concurrence decays monotonically to zero for all three cases, with the sub-Ohmic case having the largest decay rate and the super-Ohmic one the smallest. This can be understood easily because the super-Ohmic case has the largest detunning (with its peak at ) from the CS mode frequency (), while the sub-Ohmic case has the smallest (with peak position at ). In the long-time limit, as Fig. 3(b) shows, the teleportation fidelities of all three cases drop to the classical value pope . Thus, as anticipated, at weak coupling the quality of the noisy channel (LABEL:rho_t_ctecs) does degrade with time.
For strong coupling, despite the non-dissipative evolution of at long time, we see in Figs. 3(c), (d) that the concurrence decays monotonically to zero at even faster rates than at weak coupling, and the teleportation fidelity even falls below the classical value at long time. In other words, in terms of the two figures-of-merit considered here, at strong coupling the quantum channel has a lower quality than that at weak coupling. This is surprising because the long-time correlation in turns out not helpful in preserving the quantum channel at long time, in spite of the non-dissipative time evolution. Nevertheless, if one recalls from Eq. (24) that the effects of the environment noise on the qubits are in fact two-fold, it is then clear why such results emerge: The non-dissipative evolution at long time is not enough to support the quantum channel because effect (b) in (24) is still in action here. Namely, it is the random phase-errors between the two qubits that disrupt the quantum channel at strong coupling. Therefore, in order to sustain a robust quantum channel at long time, we need to take care of both effects in (24) properly. This is the task we shall now turn to.
Iv Exact dynamics of two qubits with error corrections
In order to combat against effect (b) in (24) due to the environment noise, we shall resort to schemes of quantum error-corrections. Now that we have identified these errors being due to random phase-flips, it is natural to adopt phase-flip error-correcting codes Glancy ; Wick10 . In Sec. IV.1, we will therefore examine the exact dynamics of the noisy quantum channel when a phase-flip error-correcting code is applied. As a comparison, in Sec. IV.2 we will also consider an encoding scheme (the “bit-flip encoding”) that was previously proposed for constructing quantum channels using coherent-state qubits Mun10 .
iv.1 Phase-flip error correction
To correct the random phase-flip error, we shall employ a scheme proposed by Glancy et al. Glancy for coherent-state qubits. Take three-bit encoding as an example, in this scheme the signal qubit is sent at the encoding stage together with two ancilla modes in vacuum states from the sender’s side. Making use of two sets of beam splitters simulating two CNOT operations, one subsequently applies three Hadamard gates so that the qubits can be protected against phase-flip errors. Here the Hadamard gate operates in the way that (up to normalization factors) note_H
with the basis states for the qubit. After passing through the noisy region, the encoded qubit first passes through another three Hadamard gates for decoding and then a sequence of beam-splitters and photodetectors for syndrome detection. According to the error syndromes, one can apply corrective operations to recover the signal qubit at the receiving end. In this way, one would be able to correct one phase-flip error in the qubits NC . More errors can be corrected similarly when more encoding ancilla modes are added. In general, an -bit encoding in the present scheme can correct up to phase-errors ( must be odd number) and the probability for an error-free transmission is NC ; Glancy
where is the probability for one phase-flip error in each mode. Note that when , the success probability can be made arbitrarily close to 1 with sufficiently large .
To incorporate the error-correcting scheme above into our calculation for the exact dynamics of the noisy quantum channel (LABEL:rho_t_ctecs), we note that the probability for phase-flip errors in our calculation is given by that in (22). Thus, according to (41), with an -bit error-correcting code implemented the error probability becomes . This corresponds to changing the previously defined in (LABEL:rho_t_ctecs) into
The results for these calculations are shown in Fig. 4 for weak coupling () and Fig. 5 for strong coupling (). One can notice immediately that at weak coupling the concurrence for all three cases have now attained longer life spans, and the teleportation fidelity can go above the classical limit after error correction is applied. These gains, however, do not seem to be very impressive as even with a 101-bit encoding, the enhancement in the teleportation fidelity is still rather limited ( at large time for all three cases). Such limited gain at so high cost does not seem practical.
At strong coupling, however, the situation turns out quite different. We see from Fig. 5 that in this case, error correction can improve the concurrence and the teleportation fidelity quite significantly. For super-Ohmic coupling, with 3-bit encoding the noisy channel can maintain a non-zero concurrence (; see Fig. 5(c)) and a better than classical teleportation fidelity (; see Fig. 5(f)) at long time. With 9-bit encoding, we find that the concurrence for all three classes of spectral functions attain finite steady values and the teleportation fidelity are all raised above the classical value at long time. In the limit of large encoding (illustrated with here), even for the sub-Ohmic case (which would induce the strongest environment coupling due to its small detunning), the concurrence can be recovered to 0.796, and the teleportation fidelity to 0.958. Therefore, at strong coupling, the phase-flip error-correcting code can recover the noisy channel significantly and result in a robust quantum channel at long time.
To understand the results above, let us recall from (24) the two effects (a) amplitude reduction, and (b) random phase-errors due to the environment noise. As noted above, for error probability the present error-correcting code can correct phase-flip errors very efficiently. For coherent-state qubits, from (22), since always, the error-correcting code can protect the noisy channel against effect (b) very well. The difference between the weak-coupling and the strong-coupling results, therefore, is primarily due to effect (a). At weak coupling, since decays with time monotonically to zero (see Fig. 2(a)), effect (a) persists all the way until the qubit is completely damped away. At strong coupling, however, saturates at long time and thus effect (a) is entirely removed when this steady is reached. Therefore, for strong coupling, when the phase-flip error-correcting code is implemented, both effects from the environment noise can be accounted for and a robust quantum channel can persist at long time.
iv.2 Bit-flip encoding
In the preceding subsection, we have seen that when becomes non-dissipative in the long-time limit, applying phase-flip error-correcting code can help preserve the quantum channel. As a comparison, here we shall consider a different encoding scheme for coherent-state qubits. In Ref. Mun10, , a repetition encoding was proposed for the quantum channel (25) and its performance under photon loss has been analyzed in the Markovian limit. With exact dynamics for the coherent-state qubits available, here we revisit this problem in particular for strong environment coupling when non-dissipative dynamics of is present. Since this encoding scheme is identical to that in bit-flip error-correcting codes NC , in the following we will refer to it as the “bit-flip encoding” (note that no error correction is attempted in this scheme Mun10 ). Following Ref. Mun10, , an -bit encoding in this scheme yields for the state (25)
where the normalization factor
and as in (25) ; here etc denote direct products of coherent states. Since each basis state consists of independent modes, the time evolution for an element of the density matrix for the encoded state (43) at zero temperature can be generalized straightforwardly from (17)
where is, as previously, given by (20) and the same as in (LABEL:rho_t_ctecs). To find the concurrence and teleportation fidelity for the noisy channel (LABEL:rho_t_ctecs_n), again one has to express in terms of orthonormal basis sets. Similar to (29), we adopt the -bit repetition even-odd states
where . The calculation then proceeds in close parallel with that for the non-encoded case in Sec. III, except that care must be taken over the distinction between being even or odd. In the basis , one finds for even
and for odd
Accordingly, in the same manners as before, one can find for the bit-flip encoded noisy channel the concurrence
and the fully entangled fraction