Next Article in Journal
K-Dependence Bayesian Classifier Ensemble
Next Article in Special Issue
Quantum Minimum Distance Classifier
Previous Article in Journal
Statistical Measures to Quantify Similarity between Molecular Dynamics Simulation Trajectories
Previous Article in Special Issue
A Combinatorial Grassmannian Representation of the Magic Three-Qubit Veldkamp Line
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Coherent Processing of a Qubit Using One Squeezed State

Independent Researcher, 35 Bowring Walk, Toronto, ON M3H-5Z8, Canada
Entropy 2017, 19(12), 653; https://doi.org/10.3390/e19120653
Submission received: 5 October 2017 / Revised: 19 November 2017 / Accepted: 22 November 2017 / Published: 30 November 2017
(This article belongs to the Special Issue Quantum Mechanics: From Foundations to Information Technologies)

Abstract

:
In a departure from most work in quantum information utilizing Gaussian states, we use a single such state to represent a qubit and model environmental noise with a class of quadratic dissipative equations. A benefit of this single Gaussian representation is that with one deconvolution, we can eliminate noise. In this deconvolution picture, a basis of squeezed states evolves to another basis of such states. One of the limitations of our approach is that noise is eliminated only at a privileged time. We suggest that this limitation may actually be used advantageously to send information securely: the privileged time is only known to the sender and the receiver, and any intruder accessing the information at any other time encounters noisy data.

1. Introduction

In quantum computing, errors arising from quantum noise may be treated using quantum error-correcting codes, such as the Shor code [1]. The basic idea is to convert a qubit that one is trying to shield from noise to a higher dimensional state containing redundant information. After being subjected to noise, a recovery procedure is implemented to rehabilitate the state. Departing from this approach, the work presented below exploits a unique factorization of quadratic dissipative equations to leave squeezed states coherent and accessible to quantum processing after a deconvolution at a privileged time t * . This is accomplished by using a single Gaussian state to represent a qubit. Quantum noise is thus eliminated without having to increase the dimensions of the system under study, albeit at the expense of having to perform the deconvolution at t * . We suggest that this limitation may be used advantageously to help send information securely. Only authorized persons would be apprised of t * . An intruder accessing the information at any other time encounters noisy data.
Gaussian states have been widely used for continuous variable quantum information processing (see [2] for a review). Experimental examples include teleporting a single coherent state [3] and investigating transmitted states of light represented by a mixture of two coherent states [4,5]. Theoretically, a superposition of Gaussian states has been used to represent states of a two-dimensional code space [6]. Another application of Gaussian states employs a superposition of two substantially non-overlapping coherent or squeezed states as the computational basis to represent a qubit [7,8,9]. Because of the small overlap, this superposition is prone to decoherence, a bane of information processing. Error correction codes for continuous variables have been developed to reduce the deleterious noise effects [2,4,5,6,10,11]. Here, we abandon superpositions of Gaussians and instead utilize a single squeezed state to represent a qubit, reversing decoherence with an impurity filter. We encode information using the phase space position of the state, as in quantum key distribution protocols [2] that use coherent [12] or squeezed states [13,14]. The application of the impurity filter amounts to performing a Wigner function deconvolution, which is in line with the general use of deconvolutions to eliminate noise, such as instrumental quantum noise [15,16]. In quantum homodyne tomography, for example, deconvolutions have been used to reconstruct Wigner functions from noisy data [17].

2. Review of Quadratic Dissipative Equations

As our testing ground for handling quantum noise, we will utilize general quadratic dissipative equations (QDEs), describing the evolution of an oscillator subject to fluctuations and dissipation. QDEs are a class of master equations with time dependent coefficients, also known as non-autonomous equations. In this section, we will briefly review such equations and mention a few well-known master equations that are examples of QDEs. Some lessons from these examples will also guide us when we attempt to eliminate noise in general QDEs. The reader interested in more details of QDEs can consult Reference [18].
A QDE is the following equation governing the evolution of the density operator, ρ :
d d t ρ ( t ) = 1 i [ H s ( t ) , ρ ( t ) ] k 1 ( t ) { q , ρ ( t ) , q } k 2 ( t ) { p , ρ ( t ) , p } + k 3 ( t ) { p , ρ ( t ) , q } + k 4 ( t ) { q , ρ ( t ) , p }
where the system Hamiltonian is given by H s ( t ) b 11 ( t ) q 2 + b 12 ( t ) q p + b 21 ( t ) p q + b 22 ( t ) p 2 , with b 11 , b 12 = b 21 , b 22 , k 1 and k 2 being real functions, k 3 being a complex function, k 4 = k 3 * and { A , ρ , B } B A ρ + ρ B A 2 A ρ B . As motivation for studying QDEs, we note that most one-dimensional quantum master equations describing harmonic motion in the literature, both exact and approximate, are of this form. For example, a subset of QDEs that are identified with Brownian motion has been solved exactly as a Wigner function convolution [19,20,21]. Another well known, autonomous example of a QDE, is the rotating wave optical master equation for an oscillator, which, when written as it usually is in terms of lowering and raising operators, is given in the interaction picture by (see, e.g., [22] and references therein)
d ρ I d t = γ ˜ 2 [ ( n ¯ + 1 ) { a , ρ I , a } + n ¯ { a , ρ I , a } ]
where γ ˜ is a measure of the coupling strength between the oscillator and its environment, and n ¯ is the average number of oscillator quanta in a state of thermal equilibrium.
Although Equation (2) is one of the simplest QDEs, certain features of this equation foreshadow our approach for reducing quantum noise in more general cases. While at all temperatures the pure states that maximize the initial rate of change of the purity T r ρ 2 predicted by Equation (2) are the ordinary coherent states [23,24], it is only at absolute zero, when n ¯ = 0 and the { a , ρ I , a } term disappears, that these coherent states—and only these states—remain pure as they evolve [24]. The key to this result is that at absolute zero, only one dissipative operator of the form { a , ρ I , a } remains in Equation (2), an idea that we will use below when investigating more general QDEs.
With the goal of determining when states can remain pure, Hasse has examined other autonomous master equations [25]. In this last reference, non-linear Schrodinger equations that describe the evolution of the corresponding wave function were formulated.
These examples of decoherence-free evolution motivate us to inquire about similar behaviour in more general, non-autonomous QDEs. We will see that in the general case, we have to content ourselves with less. In particular, while it is not generally possible for a coherent state to remain coherent for all times, below we will show that by making use of a deconvolution, we can ensure that a squeezed state evolves to another squeezed state at a privileged time.
Before leaving this section, we will provide the solution of Equation (1) that we will need for our work below. In operator form, Equation (1) has the solution ρ ( t ) = ( t ) ρ ( 0 ) , where the propagator ( t ) is given by [18]
( t ) = exp [ w 4 e w 4 1 ( w 1 { q , , q } + w 2 { p , , p } ( w 3 i e w 4 1 4 ) { p , , q } ( w 3 + i e w 4 1 4 ) { q , , p } ) ] ( U s U s )
where U s satisfies d U s ( t ) d t = 1 i H s ( t ) U s ( t ) with initial condition U s ( 0 ) = 1 , and where the coefficients in the preceding exponent are solutions to the following inhomogeneous system of differential equations:
d d t ( w 1 w 2 w 3 ) = 2 ( 2 b 12 0 2 b 11 0 2 b 12 2 b 22 b 22 b 11 0 ) ( w 1 w 2 w 3 ) + e w 4 ( k 1 k 2 ( k 3 + k 4 ) / 2 )
with w 4 = 2 i 0 t ( k 3 k 4 ) d t , and initial conditions w 1 ( 0 ) = w 2 ( 0 ) = w 3 ( 0 ) = 0 . Not all b i j and k i give rise to physical solutions; to ensure that ρ is normalized, Hermitian and positive, we shall assume that these coefficients yield w 1 > 0 , w 2 > 0 , w 1 w 2 w 3 2 ( e w 4 1 ) 2 16 2 0 and positive dissipation, w 4 > 0 , for t > 0 [18].

3. Noise Reduction in Quantum Dissipative Equations

A state evolving under a generic QDE loses coherence as pure states map to mixed states. Preferred states that minimize entropy production have been investigated for some master Equations [26,27]. Better, we show that under a simple transformation, which we dub the deconvolution picture (DP), we can eliminate decoherence altogether: for any QDE, there exists a pair of time-dependent generalized lowering operators, C ( t ) and B ( t ) , obeying commutation relations [ C ( t ) , C ( t ) ] = [ B ( t ) , B ( t ) ] = 1 and having squeezed eigenstates and complex eigenvalues satisfying
C ( t ) | γ C ( t ) = γ | γ C ( t )
and
B ( t ) | β B ( t ) = β | β B ( t ) ,
such that every eigenstate of C ( t * ) evolves after an arbitrary but fixed time t * to an eigenstate of B ( t * ) in the DP. Above and throughout this paper, we use Dirac ket notation | ψ to represent a state vector ψ . In addition to obeying the foregoing commutation relation, generalized lowering and raising operators are linear combinations, with complex coefficients, of the usual lowering and raising (or position and momentum) operators, and have been extensively studied in the literature [28].
In one example, the DP (denoted by a superscript D) is defined by
ρ D ( t ) = exp [ δ ( t ) { p , , p } ] ρ ( t ) ,
where ρ ( t ) is a density operator obeying a QDE, and δ ( t ) is a non-negative c-function with initial condition δ ( 0 ) = 0 to be specified below (we will see that more generally, the DP may be defined via a real, linear combination of { q , , q } and { p , , p } ). The operator exp [ δ ( t ) { p , , p } ] corresponds to the aforementioned impurity filter converting states that are not pure to squeezed states that are, but only at a privileged time t * , which can act as a key for secure communication.
If there were a time when δ ( t ) would vanish, the deconvolution and Schrodinger pictures would coincide and, like in Equation (2) at absolute zero, only one dissipative operator, { B , , B } , would come into play.
For a generic QDE, δ ( t ) is typically not zero for t > 0 . Nevertheless, although δ ( t ) may not vanish, we can propagate wave functions instead of density operators in the DP, as with Hasse’s non-linear Schrodinger equation. Assuming that the initial state is ρ ( 0 ) = | β C ( t * ) β | C ( t * ) , we will see below that the usual Schrodinger picture may be obtained at t * via ρ ( t * ) = exp [ δ ( t * ) { p , , p } ] | β e w 4 ( t * ) / 2 B ( t * ) β e w 4 ( t * ) / 2 | B ( t * ) . When we compare this expression with Equation (7), we see that ρ D ( t * ) = | β e w 4 ( t * ) / 2 B ( t * ) β e w 4 ( t * ) / 2 | B ( t * ) ; i.e., under any QDE, we can find a time t * and generalized lowering operators B ( t ) and C ( t ) , such that to within a global phase factor, the initial pure state | β C ( t * ) evolves after t * to another pure state | β e w 4 ( t * ) / 2 B ( t * ) in the DP. Having described in general terms the role of the operators B ( t ) and C ( t ) , we now characterize them in more detail.
The generalized lowering operator B [29] is defined by
B ( t ) = 2 e w 4 1 ( e i ξ w 1 r 1 q + e i ξ w 2 r 2 p )
where r 1 ( t ) and r 2 ( t ) are any non-negative functions that at t = 0 vanish and at later times satisfy w 1 r 1 > 0 , w 2 r 2 > 0 and ( w 1 r 1 ) ( w 2 r 2 ) = w 3 2 + ( e w 4 1 ) 2 16 2 , and where
0 ξ = 1 2 tan 1 ( e w 4 1 4 w 3 ) π 2 .
This generalized lowering operator satisfies the eigenvalue Equation (6). The propagator given by Equation (3) can be factored (see [18] for a related factorization) so that the only operator appearing in the non-Hamiltonian part in the DP is B :
ρ D ( t ) = exp ( w 4 2 { B , , B } ) ( U s ρ ( 0 ) U s )
where the DP is defined by
ρ D ( t ) = exp [ e w 4 ( r 1 { q , , q } + r 2 { p , , p } ) ] ρ ( t ) .
The operator exp [ e w 4 ( r 1 { q , , q } + r 2 { p , , p } ) ] is the general form of the impurity filter. Because of the freedom in choosing r 1 and r 2 , the factorization (10) is not unique. In Equation (7), we chose the impurity filter exp [ δ ( t ) { p , , p } ] corresponding to r 1 = 0 and δ ( t ) = e w 4 r 2 . The generalized lowering operator C ( t ) is generally defined by
C ( t ) = U s ( t ) B ( t ) U s ( t ) ,
and satisfies the eigenvalue Equation (5). Letting the initial state be ρ ( 0 ) = | β C ( t * ) β | C ( t * ) , where t * is an arbitrary but fixed time and β is variable, and using the general formula
e f { B , , B } | β B   β | B = | β e f B   β e f | B
for f 0 and B any generalized lowering operator, we obtain at time t *
ρ D ( t * ) = | β e w 4 ( t * ) / 2 B ( t * )   β e w 4 ( t * ) / 2 | B ( t * ) .
With this evolution, we can associate an operator W ^ D P ( t ) that propagates kets, | φ ( t ) = W ^ D P ( t ) | φ ( 0 ) , defined by
W ^ D P ( t ) | φ ( 0 ) = exp ( w 4 ( t ) 2 B ( t ) B ( t ) ) U s ( t ) | φ ( 0 ) exp ( w 4 ( t ) 2 B ( t ) B ( t ) ) U s ( t ) | φ ( 0 ) .
For any QDE, the density operator corresponding to the state | φ ( 0 ) = | β C ( t * ) , with β variable, evolves in the DP to the density operator corresponding to the state | φ ( t * ) = W ^ D P ( t * ) | φ ( 0 ) = | β e w 4 ( t * ) / 2 B ( t * ) .

4. An Example Using the Wehrl Entropy

To further elucidate our work and characterize the privileged time t * , we employ the Wehrl entropy of a density operator ρ , denoted by S W ( ρ ) . The quasiclassical quantity S W ( ρ ) was introduced by Wehrl [30], and is defined according to
S W ( ρ ) = 1 2 π d x ˜ d p ˜ α | a ρ | α a ln α | a ρ | α a
where | α a are the well-known coherent eigenstates of the lowering operator a , which in connection with a harmonic oscillator of mass m and frequency ω are given in the position representation by
x | α a = ( m ω π ) 1 / 4 exp [ 1 2 ( m ω x x ˜ ) 2 + i m ω x p ˜ ]
with x ˜ and p ˜ real, and α = ( x ˜ + i p ˜ ) / 2 . In the rest of this section, we will set = ω = m = 1 . Given the von Neuman entropy S ( ρ ) = T r ρ ln ρ , where Boltzmann’s constant has been set to unity, we have the following two inequalities, the first of which was proven in [30], and the second conjectured in [30] and proven by Lieb [31]:
S W ( ρ ) > S ( ρ )
and
S W ( ρ ) 1 ,
where this last expression becomes an equality if ρ = | α a α | a .
We investigate a simple example, in which B is time independent and given by
B = e i π / 4 a
where a = ( q + i p ) / 2 is the usual lowering operator. We note that the operator e i π / 4 a has coherent eigenstates | α a with eigenvalue e i π / 4 α . Thus, | α a = | e i π / 4 α e i π / 4 a . Comparing to Equation (8), this implies ξ = π / 4 ,
w 1 r 1 = e w 4 1 4
w 2 r 2 = e w 4 1 4
and
w 3 = 0 .
Using these special values in Equation (10) and noting that { e i π / 4 a , , e i π / 4 a } = { a , , a } , the density operator in the DP becomes
ρ D = exp ( w 4 2 { a , , a } ) ( U s 1 ( t * , t ) | e i π / 4 β a e i π / 4 β | a U s ( t * , t ) ) .
The squeezed state
U s 1 ( t * , t ) | e i π / 4 β a = U s 1 ( t * , t ) | β e i π / 4 a
= | β A ( t * , t )
is an eigenstate of the generalized lowering operator A ( t * , t ) = U s 1 ( t * , t ) e i π / 4 a U s ( t * , t ) = μ ( t * , t ) a + ν ( t * , t ) a with eigenvalue β . Because [ A ( t * , t ) , A ( t * , t ) ] = 1 , we have | μ | 2 | v | 2 = 1 (see Yuen [28]). These relations imply that μ ( t * , t * ) = e i π / 4 and ν ( t * , t * ) = 0 .
The foregoing relations impose restrictions on the QDE that is supposed to yield solution (24) and it is helpful to summarize what these are. Our initial time is taken to be zero and the privileged time satisfies t * > 0 . We choose the Hamiltonian variables b 11 ( t * , t ) , b 12 ( t * , t ) and b 22 ( t * , t ) such that μ ( t * , t * ) = e i π / 4 and ν ( t * , t * ) = 0 . Next, we choose k 1 , k 2 and k 3 such that w 1 > ( e w 4 1 ) / 4 , w 2 > ( e w 4 1 ) / 4 and w 3 = 0 for t > 0 . We finally choose r 1 = w 1 ( e w 4 1 ) / 4 and r 2 = w 2 ( e w 4 1 ) / 4 .
It is useful to introduce a parameter τ 0 into Equation (24), which parameter we will later set equal to unity, so that
ρ D ( τ ) = exp ( w 4 τ 2 { a , , a } ) ( U s 1 ( t * , t ) | e i π / 4 β a   e i π / 4 β | a U s ( t * , t ) ) .
Differentiating with respect to τ yields the differential equation
d ρ D ( τ ) d τ = w 4 2 { a , ρ D ( τ ) , a }
with a squeezed state “initial condition”
ρ D ( 0 ) = U s 1 ( t * , t ) | e i π / 4 β a   e i π / 4 β | a U s ( t * , t ) .
Conveniently, a solution of Equation (28) with an initial squeezed state has been computed in the literature [32]. That solution, applied to our particular values, is
α | a ρ D ( τ ) | α a = 1 | det σ ( τ ) | exp [ 1 2 ( z z e w 4 τ / 2 ) T σ 1 ( τ ) ( z z e w 4 τ / 2 ) ]
where
σ ( τ ) = ( μ * ν e w 4 τ 1 + e w 4 τ | ν | 2 1 + e w 4 τ | ν | 2 μ ν * e w 4 τ ) ,
z = ( α α * )
and
z = ( β | a a | β a β | a a | β a ) .
We can use Equation (30) in the definition of the entropy (16), and consult a table of multivariate Gaussian integrals to compute the Wehrl entropy of the density operator in the DP. The parameter τ was introduced merely as an aid for computation, and we ultimately set it to unity to obtain
S W ( ρ D ) = 1 + ln 1 + | ν | 2 e w 4 ( 2 e w 4 ) ,
where we note that for the subset of squeezed states characterized by one squeezing parameter, this last Wehrl entropy appears in Reference [33].
As a check of our work, we note that when we take the noise free case with w 4 = 0 , the system evolves as a time dependent squeezed state. In such a case, Equation (34) predicts a value for the Wehrl entropy of 1 + ln 1 + | ν | 2 , which agrees with the value for a squeezed state found in the literature [34]. For the physically reasonable choice of positive dissipation, for which w 4 0 for t 0 , we see that S W ( ρ D ) is greater than its minimum value of unity unless | v | = 0 . Because ν ( t * , t * ) = 0 , the Wehrl entropy at the privileged time t * is unity and ρ D is then a coherent state that may be found with the help of Equation (13):
ρ D ( t * ) = e w 4 2 { a , , a } ( | e i π / 4 β a   e i π / 4 β | a )
= | β e 1 2 ( w 4 i π / 2 ) a   β e 1 2 ( w 4 i π / 2 ) | a .
This result is consistent with the observation in Reference [24] that for the rotating wave optical master equation (Equation (2)) at absolute zero, a coherent state remains a coherent state.
To sum up, for the example treated in this section in the DP, we start off at time t = 0 in a squeezed eigenstate of the operator A ( t * , 0 ) , and after a time t * , we end up in the coherent state given by Equation (36).
If we take the Wehrl entropy as a measure of noise, we can provide a rough estimate of the time interval during which the noise will be less than some tolerance. In other words, we seek an interval | t t * | Δ t so that S W ( ρ D , t * , t ) 1 ε . For small Δ t , we can Taylor expand S W ( ρ D , t * , t ) 1 as a function of time about t * . Assuming | v ( t ) | is sufficiently smooth with a minimum at t = t * so that | v ( t * , t * ) | = | ν ( t , t * ) | t | t = t * = 0 , we have to go out to fourth order before we find a non-vanishing term. Ignoring higher order terms, we find S W ( ρ D , t * , t ) 1 1 8 e w 4 ( t * ) ( 2 e w 4 ( t * ) ) ( 2 | ν ( t ) | t 2 | t = t * ) 2 ( t t * ) 4 , whence we obtain
Δ t ( 8 ε e 2 w 4 ( t * ) 2 e w 4 ( t * ) 1 ) 1 / 4 ( 2 | ν ( t ) | t 2 | t = t * ) 1 / 2 .
The time Δ t ultimately depends on some of the parameters of the underlying QDE through the dependence of w 4 on the difference k 3 k 4 , via w 4 = 2 i 0 t ( k 3 k 4 ) d t , and the dependence of | v | on the Hamiltonian parameters b 11 , b 12 and b 22 , via U s 1 ( t * , t ) e i π / 4 a U s ( t * , t ) = μ ( t * , t ) a + ν ( t * , t ) a .

5. Coherent Processing of a Qubit

A qubit, approximated as a superposition of substantially non-overlapping coherent states, is prone to decoherence. Thus, we avoid such a superposition and instead represent a qubit by a single squeezed state whose position in phase space encodes information. The impurity filter enables processing without decoherence. In the following formalism, unitary operators that keep the set of squeezed coherent states invariant are candidates for single qubit gates.
We adopt the observable P 1 = 0 d q | q q | , noting that similar projectors arise in the study of insufficiently selective measurements [35] and homodyne detection [36]. The observable has two eigenvalues 0 and 1, each having an uncountably infinite degree of degeneracy. Given a squeezed state | β B , we next define | 0 ; β B = P 0 | β B = ( 1 P 1 ) | β B and | 1 ; β = P 1 | β B . According to convention [1], a qubit | ψ is a vector in a two-dimensional state space that is given by
| ψ = a | 0 + b | 1 ,
where the kets | 0 and | 1 , constituting an orthonormal basis, are fixed and the coefficients, satisfying the normalization condition | a | 2 + | b | 2 = 1 , are otherwise variable. We may alternatively represent a qubit by a squeezed state | β B , which can be decomposed as
| β B = | 0 ; β B + | 1 ; β B ,
where now, opposite to the conventional formalism, the last two kets can vary by changing β and the coefficients are fixed to unity.
States differing by only a global phase factor are assumed to be equivalent. Therefore, only two parameters, θ and φ , are needed to specify a and b , which then fix the qubit | ψ [1]. We may parametrize the qubit, as follows:
| ψ = 1 2 erf c 1 / 2 ( θ ) | 0 + 1 2 e i φ erf c 1 / 2 ( θ ) | 1 ,
where erfc ( x ) is the complementary error function. For fixed variances and to within a global phase factor, a squeezed state is in one-to-one correspondence with its two first moments, q and p . Thus, with the help of the equations
θ = q / ( 2 Δ q )
and
φ = p / Δ p ,
where Δ q and Δ p are variances of this state, we can uniquely map a squeezed state | β B (or, if the variances are held fixed, its first two moments) to a qubit | ψ . The probability of measuring a result of 0 or 1 for the qubit | ψ is erfc ( θ ) / 2 and erfc ( θ ) / 2 , respectively. These are the same probabilities, B β | 0 ; β B and B β | 1 ; β B , that a measurement of the observable P 1 would yield the eigenvalues 0 or 1 in the state | β B , which explains why we chose the foregoing parametrization for the qubit.
In view of this correspondence between squeezed states and qubits, the X (or NOT), Y and Z gates [1] may be implemented with the operators , T ( 0 , π Δ p ) and T ( 0 , π Δ p ) , respectively, where is the parity operator defined by | q = | q [35], and T ( q 0 , p 0 ) is the translation operator that is given by exp [ i ( q 0 p p 0 q ) / ] , where q 0 and p 0 are real parameters. This is consistent with the observation that Z X and Y , related by Z X = e i π / 2 Y , yield the same qubits to within a global phase factor.
With the aid of an impurity filter, it is possible to perform coherent quantum computation on single qubits evolving under a QDE. Let us look at the following quantum circuit for the NOT gate as an illustrative example:
| β B ( t * ) - - - - - - - W ^ D P ( t * ) U s 1 ( t * ) - - - | β e w 4 ( t * ) / 2 B ( t * ) N O T | β e w 4 ( t * ) / 2 B ( t * ) .
This circuit may be implemented with QDE dynamics as follows:
Π [ e δ ( t * ) { p , , p } ( t * ) [ U s 1 ( t * ) | β B ( t * ) β | B ( t * ) U s ( t * ) ] ] Π 1 = | β e w 4 ( t * ) / 2 B ( t * ) β e w 4 ( t * ) / 2 | B ( t * )
After choosing a time t * , we prime the input state | β B ( t * ) β | B ( t * ) to U s 1 ( t * ) | β B ( t * ) β | B ( t * ) U s ( t * ) . Next, we let QDE dynamics run for t * . We then apply the impurity filter and finally the parity operator to invoke the NOT gate. The result is the state | β e w 4 ( t * ) / 2 B ( t * ) β e w 4 ( t * ) / 2 | B ( t * ) .
Turning to two qubits, we may take the tensor product of two squeezed states, | α B | β B , as the fiducial input. However, because gates for multiple qubits generally convert product states to correlated states, we must admit entangled states into the formalism. A CNOT gate [1,10] serves as an example. Conventionally, this gate may be written as
P ˜ 0 1 + P ˜ 1 X
where P ˜ j | j j | , with j = 0 or 1. Similarly, in the above formalism where the parity operator corresponds to the X gate, we can represent the CNOT gate, as follows:
P 0 1 + P 1 Π .
For example, taking as input the state | 0 B | β B and making use of the standard expression for a squeezed state [28] yields the following output in the position representation:
( q 1 | q 2 | ) CNOT ( | 0 B | β B ) = ( m ω π ) 1 / 4 ( μ ν ) 1 / 2 exp ( μ + ν μ ν m ω 2 q 1 2 ) [ θ ( q 1 ) q 2 | β B + θ ( q 1 ) q 2 | β B ]
where θ ( q ) is the unit step function and B = μ a + ν a .

6. Discussion

It is tempting to think of the impurity filter given by Equation (7) as the inverse of e δ { p , , p } , but this would be strictly incorrect because e δ { p , , p } ( e δ { p , , p } ρ ) is not defined for all density operators ρ (recall that δ 0 ). For example, for certain bone fide ρ , the operator e δ { p , , p } ρ may not be positive. Worse, e δ { p , , p } ρ may not even exist. To see this, formally express e δ { p , , p } ρ in the Wigner representation: [ e δ { p , , p } ρ ] W = 1 2 π δ exp ( x 2 4 δ ) W ( p , q i x ) d x where W is the Wigner function corresponding to ρ [37]. For the state ρ = | 0 B B 0 | , for instance, we require that δ < 1 8 p 2 for the last integral to exist. More insight can be gained by looking at [ e δ { p , , p } ρ ] W = 1 2 π δ exp ( x 2 4 δ ) W ( p , q x ) d x . This is a Gaussian convolution in the position variable, which explains our choice of the phrase “deconvolution picture” when applying the operator e δ { p , , p } .
Unlike a typical propagator corresponding to Hasse’s non-linear Schrodinger equation, the wave-function propagator W ^ D P ( t ) of Equation (15) does not describe the evolution of the related master equation for all times and initial states. Rather, for any arbitrary but fixed time t * , and for any QDE, we have seen that there is a squeezed state basis that, in the DP, evolves after the time t * to another squeezed state basis according to this last propagator; before or after such time, the states need not be pure.
Quantum communication is hampered by a no-go theorem of Niset et al.: Gaussian operations cannot shield states from errors when these states and errors are also Gaussian [38]. A lot of work in the literature directed to correcting errors arising from quantum noise makes use of redundancy of states. In contrast, the work herein exploits a unique factorization of the propagator, followed by a deconvolution that leaves squeezed states coherent and accessible to quantum processing. A significance of this approach is that quantum noise is attenuated without having to increase the dimensions of the system under study, albeit at the expense of having to perform a deconvolution at a privileged time t * . This limitation could be used advantageously for secure information transfer. An eavesdropper applying an impurity filter at an arbitrary time will not generally recover a pure state except in the unlikely event that he or she happens to apply the filter at precisely t * . An authorized person would be apprised of this time, and therefore could recover such a state.

Conflicts of Interest

The author declares no conflict of interest.

References and Notes

  1. Nielsen, M.A.; Chuang, I.L. Quantum Computation and Quantum Information, 10th anniversary ed.; Cambridge University Press: New York, NY, USA, 2010. [Google Scholar]
  2. Weedbrook, C.; Pirandola, S.; Garcia-Patron, R.; Cerf, N.J.; Ralph, T.C.; Shapiro, J.H.; Lloyd, S. Gaussian quantum information. Rev. Mod. Phys. 2012, 84, 621. [Google Scholar] [CrossRef]
  3. Furusawa, A.; Sørensen, J.L.; Braunstein, S.L.; Fuchs, C.A.; Kimble, H.J.; Polzik, E.S. Unconditional quantum teleportation. Science 1998, 282, 706–709. [Google Scholar] [CrossRef] [PubMed]
  4. Niset, J.; Andersen, U.L.; Cerf, N.J. Experimentally Feasible Quantum Erasure-Correcting Code for Continuous Variables. Phys. Rev. Lett. 2008, 101, 130503. [Google Scholar] [CrossRef] [PubMed]
  5. Lassen, M.; Sabuncu, M.; Huck, A.; Niset, J.; Leuchs, G.; Cerf, N.J.; Andersen, U.L. Quantum optical coherence can survive photon losses using a continuous-variable quantum erasure-correcting code. Nat. Photonics 2010, 4, 700–705. [Google Scholar] [CrossRef]
  6. Gottesman, D.; Kitaev, A.; Preskill, J. Encoding a qubit in an oscillator. Phys. Rev. A 2001, 64, 012310. [Google Scholar] [CrossRef]
  7. Ralph, T.C.; Gilchrist, A.; Milburn, G.J.; Munro, W.J.; Glancy, S. Quantum computation with optical coherent states. Phys. Rev. A 2003, 68, 042319. [Google Scholar] [CrossRef]
  8. Podoshvedov, S.A. Single qubit operations with base squeezed coherent states. Opt. Commun. 2013, 290, 192–201. [Google Scholar] [CrossRef]
  9. Asboth, J.K.; Adam, P.; Koniorczyk, M.; Janszky, J. Coherent-state qubits: Entanglement and decoherence. Eur. Phys. J. D 2004, 30, 403–410. [Google Scholar] [CrossRef]
  10. Braunstein, S.L. Error Correction for continuous quantum variables. Phys. Rev. Lett. 1998, 80, 4084. [Google Scholar] [CrossRef]
  11. Ralph, T.C. Quantum error correction of continuous-variable states against Gaussian noise. Phys. Rev. A 2011, 84, 022339. [Google Scholar] [CrossRef]
  12. Lance, A.M.; Symul, T.; Sharma, V.; Weedbrook, C.; Ralph, T.C.; Lam, P.K. No-switching quantum key distribution using broadband modulated coherent light. Phys. Rev. Lett. 2005, 95, 180503. [Google Scholar] [CrossRef] [PubMed]
  13. Cerf, N.J.; Levy, M.; van Assche, G. Quantum distribution of Gaussian keys using squeezed states. Phys. Rev. A 2001, 63, 052311. [Google Scholar] [CrossRef]
  14. Usenko, V.C.; Filip, R. Squeezed-state quantum key distribution upon imperfect reconciliation. New J. Phys. 2011, 13, 113007. [Google Scholar] [CrossRef]
  15. D’Ariano, G.M. Universal quantum estimation. Phys. Lett. A 2000, 268, 151–157. [Google Scholar] [CrossRef]
  16. D’Ariano, G.M.; Paris, M.G.A.; Sacchi, M.F. Quantum tomography. Adv. Imaging Electron Phys. 2003, 128, 205–308. [Google Scholar]
  17. Butucea, C.; Guta, M.; Artiles, L. Minimax and adaptive estimation of the Wigner function in quantum homodyne tomography with noisy data. Ann. Stat. 2007, 35, 465–494. [Google Scholar] [CrossRef]
  18. Tameshtit, A. On the standard quantum Brownian equation and an associated class of non-autonomous master equations. Phys. A Stat. Mech. Appl. 2013, 392, 427–443, Corrigendum in Phys. A Stat. Mech. Appl. 2013, 392, 3113. [Google Scholar] [CrossRef]
  19. Brodier, O.; Ozorio de Almeida, A.M. Symplectic evolution of Wigner functions in Markovian open systems. Phys. Rev. E 2004, 69, 016204. [Google Scholar] [CrossRef] [PubMed]
  20. Dodd, P.J.; Halliwell, J.J. Disentanglement and decoherence by open system dynamics. Phys. Rev. A 2004, 69, 052105. [Google Scholar] [CrossRef]
  21. Haake, F.; Reibold, R. Strong damping and low-temperature anomalies for the harmonic oscillator. Phys. Rev. A 1985, 32, 2462. [Google Scholar] [CrossRef]
  22. Louisell, W.H. Quantum Statistical Properties of Radiation; Wiley: New York, NY, USA, 1990. [Google Scholar]
  23. Tameshtit, A.; Sipe, J.E. Evolution of coherences and populations in the secular approximation. Phys. Rev. A 1994, 49, 89. [Google Scholar] [CrossRef] [PubMed]
  24. Zel’dovich, B.Y.; Perelomov, A.M.; Popov, V.S. Relaxation of a quantum oscillator. Sov. Phys. JETP 1969, 28, 308–316. [Google Scholar]
  25. Hasse, R.W. Microscopic derivation of a frictional Schrodinger equation. Phys. Lett. B 1979, 85, 197–200. [Google Scholar] [CrossRef]
  26. Zurek, W.H.; Habib, S.; Paz, J.P. Coherent states via decoherence. Phys. Rev. Lett. 1993, 70, 1187. [Google Scholar] [CrossRef] [PubMed]
  27. Anastopoulos, C.; Halliwell, J.J. Generalized uncertainty relations and long-time limits for quantum Brownian motion models. Phys. Rev. D 1995, 51, 6870. [Google Scholar] [CrossRef]
  28. Yuen, H.P. Two-photon coherent states of the radiation field. Phys. Rev. A 1976, 13, 2226. [Google Scholar] [CrossRef]
  29. In interpreting B as t 0 , some care is required because of the singularity there. For example, for the model in Reference [18] and with r 1 = 0 we find that the position and momentum dispersions of the eigenstates of B approach zero and infinity respectively as t 0 ; that is, the “squeezed states” approach position eigenstates.
  30. Wehrl, A. On the relation between classical and quantum-mechanical entropy. Rep. Math. Phys. 1979, 16, 353–358. [Google Scholar] [CrossRef]
  31. Lieb, E.H. Proof of an entropy conjecture of Wehrl. Commun. Math. Phys. 1978, 62, 35–41. [Google Scholar] [CrossRef]
  32. Milburn, G.J.; Walls, D.F. Quantum solutions of the damped harmonic oscillator. Am. J. Phys. 1983, 51, 1134. [Google Scholar] [CrossRef]
  33. Keitel, C.H.; Wódkiewicz, K. On the information entropy of squeezed states and the entropic uncertainty relation. Phys. Lett. A 1992, 167, 151–160. [Google Scholar] [CrossRef]
  34. Orlowski, A. Classical entropy of quantum states of light. Phys. Rev. A 1993, 48, 727. [Google Scholar] [CrossRef] [PubMed]
  35. Cohen-Tannoudji, C.; Diu, B.; Laloe, F. Quantum Mechanics; John Wiley & Sons: New York, NY, USA, 1977. [Google Scholar]
  36. Takeoka, M.; Sasaki, M. Discrimination of the binary coherent signal: Gaussian-operation limit and simple non-Gaussian near-optimal receivers. Phys. Rev. A 2008, 78, 022320. [Google Scholar] [CrossRef]
  37. To obtain this result, we used the formal identity e δ { p , , p } ρ = 1 2 π δ exp ( u 2 4 δ ) e u p ρ e u p d u . See Tameshtit, A. The Inner Limit of Quantum Brownian Evolution and its Relevance to Positivity. arXiv, 2005; arXiv:quant-ph/0505017. [Google Scholar]
  38. Niset, J.; Fiurasek, J.; Cerf, N.J. No-go theorem for gaussian quantum error correction. Phys. Rev. Lett. 2009, 102, 120501. [Google Scholar] [CrossRef] [PubMed]

Share and Cite

MDPI and ACS Style

Tameshtit, A. Coherent Processing of a Qubit Using One Squeezed State. Entropy 2017, 19, 653. https://doi.org/10.3390/e19120653

AMA Style

Tameshtit A. Coherent Processing of a Qubit Using One Squeezed State. Entropy. 2017; 19(12):653. https://doi.org/10.3390/e19120653

Chicago/Turabian Style

Tameshtit, Allan. 2017. "Coherent Processing of a Qubit Using One Squeezed State" Entropy 19, no. 12: 653. https://doi.org/10.3390/e19120653

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

Article Metrics

Back to TopTop