quant-ph0611225/text.tex
1: \documentclass[pra,showpacs,superscriptaddress,amsmath,amssymb]{revtex4}
2: \usepackage{graphicx}% Include figure files
3: 
4: \begin{document}
5: 
6: \textsf{J. Phys. A: Math. Theor. 40 (2007) 155-161}
7: 
8: \title{Simple scheme for implementing the Deutsch-Jozsa algorithm in thermal cavity}
9: 
10: \author{Wen-Xing Yang} \email{wenxingyang2@126.com}
11: \affiliation{State Key Laboratory of Magnetic Resonance and Atomic and Molecular Physics, Center for Cold Atom Physics, Wuhan Institute of Physics and
12: Mathematics, Chinese Academy of Sciences, Wuhan 430071 China} \affiliation{Graduate School, Chinese Academy of Sciences, Beijing 100080, China}
13: \author{Zhe-Xuan Gong} \email{gongzhexuan@gmail.com}
14: \affiliation{Department of Physics, Huazhong University of Science and Technology, Wuhan 430074, China}
15: \author{Wei-Bin Li}
16: \affiliation{State Key Laboratory of Magnetic Resonance and Atomic and Molecular Physics, Center for Cold Atom Physics, Wuhan Institute of Physics and
17: Mathematics, Chinese Academy of Sciences, Wuhan 430071 China} \affiliation{Graduate School, Chinese Academy of Sciences, Beijing 100080, China}
18: \author{Xiao-Xue Yang}
19: \affiliation{Department of Physics, Huazhong University of Science and Technology, Wuhan 430074, China}
20: 
21: 
22: \date{\today}
23: 
24: \begin{abstract}
25: We present a simple scheme to implement the Deutsch-Jozsa algorithm based on two-atom interaction in a thermal cavity. The photon-number-dependent parts in the
26: evolution operator are canceled with the strong resonant classical field added. As a result, our scheme is immune to thermal field, and does not require the
27: cavity to remain in the vacuum state throughout the procedure. Besides, large detuning between the atoms and the cavity is not necessary neither, leading to
28: potential speed up of quantum operation. Finally, we show by numerical simulation that the proposed scheme is equal to demonstrate the Deutsch-Jozsa algorithm
29: with high fidelity.
30: \end{abstract}
31: 
32: \pacs{03.67.Lx, 03.65.Ta, 42.50.Dv}
33: 
34: \maketitle
35: 
36: Ever since Feynman first pointed out the concept of a quantum computer in 1982 \cite{1}, quantum computation has undergone rapid progress. The new type of
37: computer can solve some problems much faster than its classical counterpart. For example, the well-known Deutsch-Jozsa problem, which is to identify whether a
38: binary-valued function $f(x)$ of $N$ bits variables is \emph{constant} for all values of $x$, or \emph{balanced} (equal to 1 for exactly half of all the
39: possible $x$, and 0 for the other half), can be solved by using a single query of $f(x)$ on a quantum computer \cite{2,3}, whereas classical computer needs up
40: to $(2^{N - 1} + 1)$ queries \cite{4}. Till now, the Deutsch-Jozsa algorithm has been widely studied \cite{5}-\cite{9}, with its efficiency experimentally
41: tested \cite{10,11}.
42: 
43: The Deutsch-Jozsa algorithm can be briefly described as follows: Assume for the simplest case that $f(x)$ has only a one-bit input ($x=0$ or $1$). The
44: algorithm can be performed in a system consist of one query qubit 1 and an auxiliary working qubit 2, which are initially prepared in the superposed state:
45: \begin{equation}\label{eq1}
46: | \psi \rangle_{1} = \frac{1}{2}(| 0 \rangle _1 + | 1 \rangle _1 )(| 0 \rangle _2 - | 1\rangle _2 ).
47: \end{equation}
48: 
49: Then an unitary operator $U_{fn}$ is used to calculate $f(x)$, which acts as $U_{fn}|x\rangle_1 | y \rangle_2 = | x \rangle_1 | {y \oplus f(x)} \rangle_2 $.
50: Here $x,y \in \{0,1\}$, and $ \oplus $ indicates addition modulo $2$. The implementation of $U_{fn}$ on $| \psi_1 \rangle$ yields
51: \begin{equation}\label{eq2}
52: | \psi \rangle_{2} = \frac{1}{2}[( - 1)^{f(0)}| 0 \rangle _A + ( - 1)^{f(1)}| 1 \rangle _A ](| 0 \rangle _B - | 1 \rangle _B ).
53: \end{equation}
54: 
55: There are actually four possible $U_{fn}$: $U_{f1}$ corresponds to f(0)=f(1)=0; $U_{f2}$ corresponds to f(0)=f(1)=1; $U_{f3}$ corresponds to f(0)=0 and f(1)=1;
56: $U_{f4}$ corresponds to f(0)=1 and f(1)=0; After performing a Hadamard transformation on the query qubit, the state of qubit 1 will be in $|0\rangle$ for
57: $U_{f1}$ and $U_{f2}$, while for $U_{f3}$ and $U_{f4}$ it becomes $|1\rangle$. Thus a measurement on the query qubit will tell us whether $f(x)$ is constant or
58: balanced.
59: 
60: Recently, Zheng proposed a scheme \cite{12} for implementing the Deutsch-Jozsa algorithm in cavity QED, in which two atoms, one as a preparing qubit and one as
61: the query bit, sequentially interact with the cavity mode, which serves as the auxiliary working qubit. The main drawback of this scheme, as well as several
62: other implementations of quantum algorithms using cavity QED \cite{13,14}, is that they are sensitive to cavity decay or thermal field, which makes practical
63: experiment difficult to be scalable. Although the decoherence time of the cavity can be prolonged by keeping the cavity excited merely in a virtual way
64: \cite{15}, one has to make sure that the cavity remains always in the vacuum state throughout the procedure, otherwise it it still sensitive to thermal field
65: \cite{16}.
66: 
67: We notice that by resorting to a strong classical field, such drawbacks can be overcome \cite{17} in that the photon-number-dependent parts in the evolution
68: operator are canceled with resonant classical field added, thus rending immunity to thermal field. Based on the state evolution presented in Ref. \cite{17}, we
69: propose an improved scheme for implementing Deutsch-Jozsa algorithm which outruns the previous scheme in Ref. \cite{12} in three important aspects: (1) Both
70: the preparing atom and the auxiliary atom-level used in Ref. \cite{12} are not necessary; instead we only use two two-level atoms, which might simplify the
71: experimental procedures effectively if scalability is concerned; (2) Cavity is not required to remain in the vacuum state all of the time, and insensitivity to
72: thermal field is still insured; (3) No large detuning between atoms and the cavity is necessary, potentially giving rise to better performance of the speed and
73: fidelity of the whole procedure.
74: 
75: To describe our scheme, let us first consider two identical two-level atoms simultaneously interacting with a single-mode cavity field and driven by a
76: classical field. The Hamiltonian (assuming $\hbar = 1)$ in the rotating-wave approximation reads \cite{17}-\cite{19}
77: \begin{equation}
78: \begin{array}{l}
79: \label{eq3} H = \frac{1}{2}\sum\limits_{j = 1}^2 {\omega _0 \sigma _{z,j} } + \omega _a a^\dag a \\\quad\quad + \sum\limits_{j = 1}^2 {[g(a^\dag \sigma _j^ - +
80: a\sigma _j^ + ) + \Omega (\sigma _j^ + e^{ - i\omega t} + \sigma _j^ - e^{i\omega t})]},
81: \end{array}
82: \end{equation}
83: where $\sigma _{z,j} = | e \rangle _j { }_j\langle e | - | g \rangle _j { }_j\langle g |$, $\sigma _j^ + = | e \rangle _j { }_j\langle g |$, $\sigma _j^ - = |
84: g \rangle _j { }_j\langle e |$, with $| e \rangle _j (| g \rangle _j )$ being the excited (ground) state of the $j$th atom. $\omega _0 $, $\omega _a $ and
85: $\omega$ are the frequencies for atomic transition, cavity mode, and classical field, respectively. $a^\dag $ and $a$ are the creation and annihilation
86: operators for the cavity mode. $g$ is the atom-cavity coupling strength and $\Omega $ is the Rabi frequency of the classical field. Assume that $\omega _0 =
87: \omega $. Then we can obtain the following interaction Hamiltonian in the interaction picture:
88: 
89: \begin{equation}
90: \label{eq4} H_I = \sum\limits_{j = 1}^2 {[\Omega (\sigma _j^ + + \sigma _j^ - ) + g(e^{ - i\delta t}a^\dag \sigma _j^ - + e^{i\delta t}a\sigma _j^ + )]} ,
91: \end{equation}
92: where $\delta = \omega _0 - \omega _a $. For the new atomic basis $| \pm \rangle _j = (| g \rangle _j \pm | e \rangle _j ) / \sqrt 2$, we can rewrite $H_{I} =
93: H_{e}+H_{0}$ with
94: \begin{equation}
95: \label{eq5} H_0 = \sum\limits_{j = 1}^2 {2\Omega S_{z,j} },
96: \end{equation}
97: \begin{equation}
98: \label{eq6} H_e = \sum\limits_{j = 1}^2 {g[e^{ - i\delta t}a^\dag (S_{z,j} + \frac{1}{2}S_j^ - - \frac{1}{2}S_j^ + ) + H.c.]}.
99: \end{equation}
100: 
101: Here $S_{z,j} = (| + \rangle _j { }_j\langle + | - | - \rangle _j { }_j\langle - |) / 2$, $S_j^ + = | + \rangle _j { }_j\langle - |$ and $S_j^ - = | - \rangle
102: _j { }_j\langle + |$. Assuming that $\Omega \gg \delta ,g$, we can neglect the fast oscillating terms. Then the effective Hamiltonian $H_{e}$ reduces to
103: \begin{equation}
104: \label{eq7} H_e = g(e^{ - i\delta t}a^\dag + e^{i\delta t}a)\sigma _x,
105: \end{equation}
106: where $\sigma _x = \frac{1}{2}\sum\limits_{j = 1}^2 {(\sigma _j^ + + \sigma _j^ - )}$. The evolution operator for Hamiltonian (Eq. \ref{eq7}) can be written as:
107: \begin{equation}
108: \label{eq8}U_e (t) = e^{ - iA(t)\sigma _x^2 }e^{ - iB(t)\sigma _x a}e^{ - iC(t)\sigma _x a^\dag },
109: \end{equation}
110: which was first proposed for trapped-ion system \cite{20}. By solving the Schr\"{o}dinger equation $i\frac{dU_e (t)}{dt} = H_I U_e (t)$, we can obtain $B(t) =
111: g(e^{i\delta t} - 1) / i\delta$, $C(t) = - g(e^{ - i\delta t} - 1) / i\delta$ and $A(t) = g^2[t + (e^{ - i\delta t} - 1)/i\delta] / \delta$. Setting $\delta t
112: = 2\pi$, we have $B(t)=C(t)=0$. Then we can get the evolution operator of the system
113: \begin{equation}
114: \label{eq9}U_I(t) = e^{ - iH_0 t}U_e (t) = e^{ - i2\Omega \sigma _x t - i2\lambda \sigma _x^2 t},
115: \end{equation}
116: with $\lambda = g^2 / 2\delta $. We note that the evolution operator is independent of the cavity field state, allowing it to be in a thermal state. Unlike
117: Ref. \cite{15}, our scheme does not require $\delta\gg g$. The atoms interact with the cavity mode for a time $t$, leading to
118: \begin{equation}
119: \begin{array}{l}
120: \label{eq10} | e \rangle _1 | g \rangle _2 \to e^{ - i\lambda t}\{\cos (\lambda t)[\cos (\Omega t)| e \rangle _1 - i\sin (\Omega t)| g \rangle _1
121: ]\\\\\quad\quad\quad\quad\times[\cos (\Omega t)| g \rangle _2 - i\sin (\Omega t)| e \rangle _2 ] - i\sin (\lambda t)\\\\\quad\quad\quad\quad\times[\cos (\Omega
122: t)| g \rangle _1 - i\sin (\Omega t)| e \rangle _1 ][\cos (\Omega t)| e \rangle _2
123: \\\\\quad\quad\quad\quad- i\sin (\Omega t)| g
124: \rangle _2 ]\}.
125: \end{array}
126: \end{equation}
127: and
128: \begin{equation}
129: \begin{array}{l}
130: \label{eq11} | g \rangle _1 | g \rangle _2 \to e^{ - i\lambda t}\{\cos (\lambda t)[\cos (\Omega t)| g \rangle _1 - i\sin (\Omega t)| e \rangle _1
131: ]\\\\\quad\quad\quad\quad\times[\cos (\Omega t)| g \rangle _2 - i\sin (\Omega t)| e \rangle _2 ] - i\sin (\lambda t)\\\\\quad\quad\quad\quad\times[\cos (\Omega
132: t)| e \rangle _1 - i\sin (\Omega t)| g \rangle _1 ][\cos (\Omega t)| e \rangle _2
133: \\\\\quad\quad\quad\quad- i\sin (\Omega t)| g
134: \rangle _2 ]\}.
135: \end{array}
136: \end{equation}
137: 
138: We choose the interaction time and Rabi frequency appropriately so that $\Omega t =(2m+1) \pi $ ($m$ is an integer) and $\lambda t = \pi / 4$, then we obtain the
139: Einstein-Podolsky-Rosen state (EPR state)
140: \begin{equation}
141: \label{eq12} \frac{1}{\sqrt 2 }(| e \rangle _1 | g \rangle _2 - i| g \rangle _1 | e \rangle _2 ),
142: \end{equation}
143: and
144: \begin{equation}
145: \label{eq13} \frac{1}{\sqrt 2 }(| g \rangle _1 | g \rangle _2 - i| e \rangle _1 | e \rangle _2 ),
146: \end{equation}
147: where we have discarded the common phase factor. These calculations are useful in the later numerical analysis of fidelity.
148: 
149: Now we'd like to show that with the help of $U_I(t)$ as shown in Eq. \ref{eq9}, all the relevant unitary operators $U_{fn}$ in the Deutsch-Jozsa algorithm can
150: be easily achieved. But before that, we first need to show how to use the above idea to realize the quantum CNOT gate. For the present problem we let first atom
151: serve as the query qubit and the second atom as the auxiliary working qubit, \emph{i.e.} $|g\rangle_i$ and $|e\rangle_i$ respectively represent $|0\rangle_i$ and
152: $|1\rangle_i$ ($i=1,2$) in Eq. \ref{eq1}.
153: 
154: According to the Eq. \ref{eq9}, it can be easily shown that
155: \begin{equation}
156: \label{eq14} \left \{
157: \begin{array}{l}
158:  U_I (t)| + \rangle _1 | + \rangle _2 = e^{ -i2(\Omega + \lambda )t}| + \rangle _1 | + \rangle _2 \\\\
159:  U_I (t)| + \rangle _1 | - \rangle _2 = | +\rangle _1 | - \rangle _2 \\\\
160:  U_I (t)| - \rangle _1 | + \rangle _2 = | -\rangle _1 | + \rangle _2 \\\\
161:  U_I (t)| - \rangle _1 | - \rangle _2 = e^{ -i2(\Omega - \lambda )t}| - \rangle _1 | - \rangle _2
162: \end{array} \right.
163: \end{equation}
164: 
165: By setting $\delta = \sqrt 2 g$ and $gt = 2\pi $, we can make the interacting time $t$ and Rabi frequency $\Omega$ satisfy $\lambda t = \pi / 2$ and $\Omega t
166: = (2k + \frac{1}{2})\pi $ ($k$ is an integer). Then we have
167: \begin{equation}
168: \label{eq15} \left \{ {\begin{array}{l}
169:  U_I (t)| + \rangle _1 | + \rangle _2 = - | +\rangle _1 | + \rangle _2 \\\\
170:  U_I (t)| + \rangle _1 | - \rangle _2 = | +\rangle _1 | - \rangle _2 \\\\
171:  U_I (t)| - \rangle _1 | + \rangle _2 = | -\rangle _1 | + \rangle _2 \\\\
172:  U_I (t)| - \rangle _1 | - \rangle _2 = | -\rangle _1 | - \rangle _2
173: \end{array}} \right.
174: \end{equation}
175: 
176: As a result, we obtain a controlled-phase gate, which can be transformed into CNOT gate through a few single-qubit unitary operations:
177: \begin{equation}
178: \label{eq16}
179: \begin{array}{l}
180:  \quad\quad\quad \mbox{ }X_1 \quad\quad\quad \mbox{ }H_1 \quad\quad\quad \mbox{ }U_I (t)
181:  \quad\quad\quad \mbox{ }H_1 \quad\quad\quad\quad \mbox{ }X_1 \quad\quad\quad\quad \mbox{ }Z_1 \\
182:  | g \rangle _1 | g \rangle _2 \to | e\rangle _1 | g \rangle _2 \to | - \rangle _1 | g \rangle _2 \to \mbox{ }| - \rangle _1 | g \rangle _2 \to \mbox{ }| e
183:  \rangle _1 | g \rangle _2 \to \mbox{ }| g\rangle _1 | g \rangle _2 \mbox{ } \to | g \rangle _1 | g\rangle _2 \\\\
184:  | g \rangle _1 | e \rangle _2 \to | e\rangle _1 | e \rangle _2 \to | - \rangle _1 | e \rangle _2 \mbox{ } \to \mbox{ }| - \rangle _1 | e \rangle _2 \to \mbox{
185:  }| e \rangle _1 | e \rangle _2 \mbox{} \to \mbox{ }| g \rangle _1 | e \rangle _2 \mbox{ } \to \mbox{ }| g \rangle _1 | e\rangle _2 \\\\
186:  | e \rangle _1 | g \rangle _2 \to | g\rangle _1 | g \rangle _2 \to | + \rangle _1 | g \rangle _2 \to - | + \rangle _1 | e \rangle _2 \to - | g \rangle _1 | e
187:  \rangle _2 \to - | e \rangle _1 | e\rangle _2 \to | e\rangle _1 | e \rangle _2 \\\\
188:  | e \rangle _1 | e \rangle _2 \to | g\rangle _1 | e \rangle _2 \to | + \rangle _1 | e \rangle _2 \mbox{ } \to - | + \rangle _1 | g \rangle _2 \to - | g
189:  \rangle _1 | g \rangle _2 \to - | e \rangle_1 | g \rangle _2 \to | e\rangle _1 | g \rangle _2. \\\\
190:  \end{array}
191: \end{equation}
192: 
193: Here $H_1 $, $X_1 $, and $Z_1 $ are Hadamard, $\sigma _x $ and $\sigma _z $operations on the first atom with computational basis being $| g \rangle _1 $ and $|
194: e \rangle _1 $, which can be easily realized by choosing the appropriate amplitudes and phases of classical fields, respectively.
195: 
196: $U_{f1}$ operation: This operation on the atomic qubits does not require any interaction with the cavity mode. In this case the atoms can be tuned far off
197: resonant with the cavity mode and thus the atom-cavity evolution is freezing. Thus the system remains in the state of $|\psi\rangle_1$.
198: 
199: $U_{f2}$ operation: We first apply the aforementioned CNOT gate, and then perform the single-qubit transformation $| g \rangle _1 \to | e \rangle _1 $ and $| e
200: \rangle _1 \to - | g \rangle _1 $ on the atom $A$ by using a $\pi $-Ramsey pulse. Then we repeat the controlled-NOT operation and perform the transformation $|
201: g \rangle _1 \to - | e \rangle _1 $ and $| e \rangle _1 \to | g \rangle _1 $ by using a $\pi $-Ramsey pulse with a phase difference $\pi $ relative to the
202: first Ramsey pulse. Therefore we obtain
203: \begin{equation}
204: \begin{array}{l}
205: \label{eq17} | \psi \rangle_{2} = \frac{1}{2}(| 0 \rangle _1 + | 1 \rangle _1 )(| {0 \oplus 1} \rangle _2 - | {1 \oplus 1} \rangle _2 )\\\\ \quad\quad\ =
206: \frac{1}{2}( - | 0\rangle _1 - | 1 \rangle _1 )(| 0 \rangle _2 - | 1 \rangle _2 ).
207: \end{array}
208: \end{equation}
209: 
210: $U_{f3}$ operation: By performing the CNOT gate operation of Eq. \ref{eq16}, the output state of two-atom is given by
211: \begin{equation}
212: \begin{array}{l}
213: \label{eq18} | \psi \rangle_{2} = \frac{1}{2}[| 0 \rangle _1 (| 0 \rangle _2 - | 1 \rangle _2 ) + | 1 \rangle _1 (| {0 \oplus 1} \rangle _2 - | {1 \oplus 1}
214: \rangle _2 )]
215: \\\\\quad\quad\ = \frac{1}{2}(| 0 \rangle _1 - | 1
216: \rangle _1 )(| 0 \rangle _2 - | 1 \rangle _2 ).
217: \end{array}
218: \end{equation}
219: 
220: $U_{f4}$ operation: Firstly, we perform the single-qubit transformation $| g \rangle _1 \to | e \rangle _1 $ and $| e \rangle _1 \to - | g \rangle _1 $ on the
221: atom $A$; Secondly, the CNOT operation of Eq. \ref{eq16} is applied; Finally we perform the single-qubit transformation $| g \rangle _1 \to - | e \rangle _1 $
222: and $| e \rangle _1 \to | g \rangle _1 $. This leads to
223: \begin{equation}
224: \begin{array}{l}
225: \label{eq19} | \psi \rangle_{2} = \frac{1}{2}[| 1 \rangle _1 (| 0 \rangle _2 - | 1 \rangle _2 ) + | 0 \rangle _1 (| {0 \oplus 1} \rangle _2 - | {1 \oplus 1}
226: \rangle _2 )]
227: \\\\\quad\quad\ = \frac{1}{2}( - | 0 \rangle _1 + | 1
228: \rangle _1 )(| 0 \rangle _2 - | 1 \rangle _2 ).
229: \end{array}
230: \end{equation}
231: 
232: \begin{figure}
233: \includegraphics[width=9cm]{fig1}
234: \caption{\label{fig1} Experimental apparatus of the whole scheme, where atoms $A$ and $B$ cross the cavity with same velocity but at different positions, allowing for single-qubit operation of
235: each one in the process.}
236: \end{figure}
237: 
238: The whole scheme of the implementation of Deutsch-Jozsa algorithm is displayed in Fig. \ref{fig1}. Two atoms 1 and 2, first simultaneously prepared in box into
239: high lying circular Rydberg state denoted by $| g \rangle _1 | e \rangle _2 $, are in the initial average state after a Hadamard operation. Then they undergo
240: the operations in Fig. \ref{fig1} from left to right. In order to realize the different operations $U_{fn}$, we have to employ an inhomogeneous field to distinguish
241: the two atoms by the same trick as in Ref. \cite{13}. Finally the atoms 1 and 2 are separately read out by the state-selective field-ionization detectors.
242: 
243: We briefly discuss the experimental feasibility of our proposal. Although the evolution operator is independent of the thermal photons of cavity field as
244: decided by the condition $\delta t=2\pi$, the two-atom system is entangled with the cavity during the atom-cavity interaction. We have to neglect the cavity
245: decay during this interaction time. We assume that the atom-cavity coupling constant is $g = 2\pi \times 25$ kHz \cite{21,22}, $\delta = \sqrt {2}g$. Direct
246: calculation shows that the interaction time is at the order of $10^{-5}$s. Note that the photon decay time is $T_{c}\simeq 10^{-3}$s, thus much longer than the
247: interaction time. After the interaction, the atoms are disentangled with the cavity, that is, the operation will not be affected by the cavity decay during the
248: interaction time. Besides, the radiative time for the Rydberg atoms is $T_r=3\times 10^{-2} $s and the implementation time needed to complete the whole
249: procedure in the cavity is much shorter than $T_r $ as the time for single-qubit transformation is negligible. Thus the proposed scheme is realizable with the
250: present cavity QED techniques. The most probable difficulty is to send two atoms simultaneously through the cavity, but other work have shown that even though
251: there exist time difference, the negative influence is almost negligible. \cite{15,18}.
252: 
253: In the obtaining of Eq. \ref{eq7}, we have discarded the fast oscillating terms, which induce Stark shifts on the states  $| + \rangle _j$ and $| - \rangle _j$.
254: Here we numerically simulate the dependence of fidelity considering the error introduced by the Stark shift for generations of EPR state as in Eq. \ref{eq12}
255: with different values of detuning, as shown in Fig. \ref{fig2}(a). (Note that we have set $\Omega=20\delta$). The result from the plot shows that even for
256: $\delta=\sqrt{2}g$, the fidelity is still larger than 97{\%}, from which we know that large detuning is not required in our scheme. Besides, if we consider the
257: fluctuation of the Rabi frequency $\Delta\Omega=0.01\Omega$, directly calculation shows that the fidelity for the generation of EPR state decreases by only 0.02.
258: 
259: To check the feasibility of our scheme more strictly, we show in Fig. \ref{fig2}(b) the estimated achievable fidelity of the produced EPR state, where we consider the
260: existence of fluctuations in the atom-cavity interaction that leads to imperfections of the quantum Rabi pulses \cite{23}. The fidelity is plotted for
261: various strengths of imperfections in the Rabi pulses, where we assume for simplicity that the initial cavity state is in $| 5 \rangle $ and each pulse suffers
262: the same imperfection. The result from the plot tells that even for 10{\%} pulse error, the fidelity is still larger than 80{\%}. (Note that in real
263: experiments this kind of imperfection can be controlled around 3{\%}).
264: 
265: Furthermore, we show in Fig. \ref{fig2}(c) that if we assume that the cavity is initially in a Fock state $| n \rangle $, the success probability for producing EPR state
266: slightly decreases with the increase of photon number. Even for $n=10$, the fidelity is still larger than 99.5{\%}, which means that the whole process
267: is almost independent of the cavity field state.
268: 
269: \begin{figure*}\label{fig2}
270: \includegraphics[width=5.9cm]{fig2a}
271: \includegraphics[width=5.9cm]{fig2b}
272: \includegraphics[width=5.9cm]{fig2c}
273: \caption{\label{fig2} Numerical results for the fidelity of our scheme: (a) error introduced by the Stark Shifts ($\Omega=20\delta$); (b), (c) show the dependence of the
274: fidelity on pulse imperfections and initial cavity Fock state ($g=2\pi\times 25kHz$, $\delta=20\times g$, $\Omega=400\times g$).}
275: \end{figure*}
276: 
277: In principle, our scheme may offer a viable way to realize a scalable quantum algorithm. Based on the effective interaction between two atoms with single mode
278: cavity, our scheme can be also extended to multi-bit Deutsch-Jozsa algorithm, since the multi-bit entangled transformation $U'_{fn}$ can be constructed by single
279: qubit quantum gates and CNOT gates \cite{24}. However, it is still somewhat difficult for our scheme to be extended to many qubits based on current technology
280: \cite{22}. Furthermore, it should be pointed out that the single atom sources are required in our scheme.
281: 
282: To sum up, we have proposed a simple scheme for implementing the Deutsch-Jozsa algorithm in cavity QED based on effective interaction of two two-level atoms
283: with a single-mode cavity with the assistance of a strong classical driving field. Compared with the scheme in Ref. \cite{12}, our scheme is immune to thermal
284: field and does not require the cavity to remain in vacuum state. In addition, the scheme may work in a fast way since large detuning is not required. Besides,
285: our scheme does not require the auxiliary atom-level for the implementation of the quantum CNOT operation and all the operations except the single-qubit
286: transformation are imposed on both atoms simultaneously, making our scheme easier to be carried out practically. Based on these features, we present finally
287: the numerical analysis of the fidelity of our scheme with respect to the practical experiment under the influence of detuning, pulse imperfection and initial
288: cavity Fock state.
289: 
290: The authors acknowledgement Professor Ying Wu for many helpful discussions and encouragement. This work was partially supported by National Fundamental
291: Research Program of China 2005CB724508, by National Natural Science Foundation of China under Grant Nos. 60478029, 90503010, 10634060 and 10575040.
292: 
293: \begin{thebibliography}{99}
294: 
295: \bibitem{1}{Feynman R, 1982 \emph{Int. J. Theor. Phys.} \textbf{21} 467.}
296: 
297: \bibitem{2}{Deutsch D, 1985 \emph{Proc. R. Soc. London, Ser. A} \textbf{400} 97.}
298: 
299: \bibitem{3}{Deutsch D and Jozsa R, 1992 \emph{Proc. R. Soc. London, Ser. A} \textbf{493} 553.}
300: 
301: \bibitem{4}{Nielsen M A and Chuang I L, \emph{Quantum Computation and Quantum Information} (Cambridge, 2002), Page 34.}
302: 
303: \bibitem{5}{Chuang I L, Vandersypen I M K, Zhou X, Leung D W, and Lloyd S, 1998 \emph{Nature (London)} \textbf{393} 143.}
304: 
305: \bibitem{6}{Jones T F and Mosca M, 1998 \emph{J. Chem. Phys.} \textbf{109} 1648.}
306: 
307: \bibitem{7}{Gulde S, \emph{et al}, 2003 \emph{Nature(London)} \textbf{421} 48.}
308: 
309: \bibitem{8}{Mohseni M, Lundeen J S, Resch K J, and Steinberg A M, 2003 \emph{Phys. Rev. Lett.} \textbf{91} 187903.}
310: 
311: \bibitem{9}{Dasgupta S, Biswas A, and Agarwal G S, 2005 \emph{Phys. Rev. A} \textbf{71} 012333.}
312: 
313: \bibitem{10}{Dorai K, Arvind, and Kumar A, 2000 \emph{Phys. Rev. A} \textbf{61} (2000) 042306.}
314: 
315: \bibitem{11}{Das R and Kumar A, 2003 \emph{Phys. Rev. A} \textbf{68} 032304.}
316: 
317: \bibitem{12}{Zheng S B, 2004 \emph{Phys. Rev. A} \textbf{70} 034301.}
318: 
319: \bibitem{13}{Yamaguchi F, Milman P, Brune M, Raimond J M, and Haroche S, 2002 \emph{Phys. Rev. A} \textbf{66} 010302(R).}
320: 
321: \bibitem{14}{Scully M O and Zubairy M S, 2002 \emph{Phys. Rev. A} \textbf{65} 052324.}
322: 
323: \bibitem{15}{Zheng S B and Guo G C, 2000 \emph{Phys. Rev. Lett.} \textbf{85} 2392.}
324: 
325: \bibitem{16}{Osnaghi S, Bertet P, Auffeves A, Maioli P, Brune M, Raimond J M, and Haroche S, 2001 \emph{Phys. Rev. Lett.} \textbf{87} 037902.}
326: 
327: \bibitem{17}{Zheng S B, 2002 \emph{Phys. Rev. A} \textbf{66} 060303(R).}
328: 
329: \bibitem{18}{Ye L and Guo G C, 2005 \emph{Phys. Rev. A} \textbf{71} 034304.}
330: 
331: \bibitem{19}{Zheng S B, 2003, \emph{Phys. Rev. A} \textbf{68} 035801.}
332: 
333: \bibitem{20}{S$\phi$rensen A and M$\phi$lmer K, 2000 \emph{Phys. Rev. A} \textbf{62} 022311.}
334: 
335: \bibitem{21}{Fujiwara S and Hasegawa S, 2005 \emph{Phys. Rev. A} \textbf{71} 012337.}
336: 
337: \bibitem{22}{Rauschenbeutel A, Nogues G, Osnaghi S, Bertet P, Brune M,Raimond J M, and Haroche S, 1999 \emph{Phys. Rev. Lett.} \textbf{83} 5166;
338: Bertet P, \emph{et al}, 2002 \emph{Phys. Rev. Lett.} \textbf{89} 200402; Rauschenbeutel A, \emph{et al}, 2000 \emph{Science} \textbf{288} 2024.}
339: 
340: \bibitem{23}{Messina A, 2002 \emph{Eur. Phys. J. D} \textbf{18} 379; Lutterbach L G and Davidovich L, 2000 \emph{Phys. Rev. A} \textbf{61} 023813.}
341: 
342: \bibitem{24}{Deutsch D. Universality in quantum computation. Proc. R. Soc. London A., 1995, 449(1937):631¨C633.}
343: 
344: \end{thebibliography}
345: 
346: \end{document}
347: