1: \documentclass[twocolumn,showpacs,preprintnumbers,amsmath,amssymb]{revtex4}
2: %\documentclass[12pt,showpacs,preprintnumbers,amsmath,amssymb]{revtex4}
3: %\documentclass[showpacs,preprintnumbers,amsmath,amssymb]{revtex4}
4: %\documentclass[preprint,showpacs,preprintnumbers,amsmath,amssymb]{revtex4}
5: %\documentclass[preprint,aps]{revtex4}
6: %\documentclass[preprint,aps,draft]{revtex4}
7:
8: \usepackage{graphicx}% Include figure files
9: \usepackage{dcolumn}% Align table columns on decimal point
10: \usepackage{bm}% bold math
11:
12: %\nofiles
13:
14: \begin{document}
15:
16: \preprint{APS/123-QED}
17:
18: \title{Circuit analysis of quantum measurement}
19:
20: \author{Yuji Kurotani$^1$}
21: \author{Masahito Ueda$^{1,2}$}
22: \affiliation{$^1$ Department of Physics, Tokyo Institute of Technology, Tokyo 152-8551, Japan\\
23: $^2$ Macroscopic Quantum Control Project, ERATO, JST, 2-11-16 Yayoi, Bunkyo-ku, Tokyo 113-8656, Japan}
24:
25: \date{\today}
26:
27: \begin{abstract}
28: We develop a circuit theory that enables us to analyze quantum measurements on a two-level system and on a continuous-variable system on an equal footing. As a measurement scheme applicable to both systems, we discuss a swapping state measurement which exchanges quantum states between the system and the measuring apparatus before the apparatus meter is read out.
29: This swapping state measurement has an advantage in gravitational-wave detection over contractive state measurement in that the postmeasurement state of the system can be set to a prescribed one, regardless of the outcome of the measurement.
30: \end{abstract}
31:
32: \pacs{03.65.Ta, 03.67.-a, 04.80.Nn}
33:
34: \keywords{Quantum measurement, Quantum information, Quantum gate, Gravitational wave detection}
35:
36: \maketitle
37:
38: %%%%%%%%%%%%%%%%%%%%%%%%%
39: \section{Introduction}
40: \label{sec:Introduction}
41:
42: Von Neumann has established a general framework for quantum measurement by postulating that any indirect measurement can be decomposed into two distinct parts~\cite{von_Neumann}.
43: The first part involves unitary transformation that transfers the information of interest from the measured system to the measuring apparatus.
44: The second part involves nonunitary transformation that achieves the realization of a particular outcome of the measurement by the projection postulate.
45: The adjective indirect implies that the projection postulate is applied not to the measured system but to the measuring apparatus.
46: As an illustrative example, von Neumann constructed a model for the position measurement of a massive particle which is referred to as von Neumann measurement (VNM).
47:
48: VNM satisfies Heisenberg's noise-disturbance uncertainty relation~\cite{Heisenberg,Ozawa2003} and sets the standard quantum limit (SQL)~\cite{Braginsky, Caves_et_al} on the accuracy of repeated position measurements.
49: This noise-disturbance uncertainty relation refers to a trade-off relation between the noise added to a system's observable and the disturbance generated in the conjugate observable due to the back-action of the measurement.
50: The measurement \textit{noise} of observable $\hat A$ is defined by the difference between the probability distribution of obtaining a measurement outcome and the corresponding probability distribution calculated from the premeasurement state of the system according to Born's probability axiom~\cite{Ozawa2003}. If there is no difference for an arbitrary input state of the system, then the measurement of observable $\hat A$ is said to be \textit{noiseless}.
51: %The measurement \textit{disturbance} of an observable $B$ is caused by a change in the probability distribution of the observable $B$ between the premeasurement and the postmeasurement states of the system.
52: In 1983, Yuen suggested the possibility of a contractive state measurement (CSM) in which Heisenberg's noise-disturbance uncertainty relation is violated and the SQL is surpassed~\cite{Yuen}.
53: Ozawa subsequently presented a concrete model that vindicates Yuen's conjecture~\cite{Ozawa, Ozawa_book}.
54:
55: In the present paper we discuss a swapping state measurement (SSM) in which quantum states are exchanged between the measured system and the measuring apparatus before the projection postulate is applied to the apparatus~\cite{Yuen_SSM}.
56: While VNM, CSM, and SSM are all noiseless, SSM is unique in that it is noiseless for an arbitrary observable.
57: As discussed in Sec.~\ref{sec:Gravitation}, SSM has the advantage over CSM in gravitational-wave detection in respect of experimental implementation of the measuring apparatus.
58: SSM is shown to be described with three SUM gates, where the SUM gate is the continuous-variable counterpart of the controlled-NOT (CNOT) gate~\cite{Gottesman, Bartlett, Braunstein}.
59: In contrast, VNM and CSM can be respectively described with one and two SUM gates~\cite{Ozawa2001}.
60: We discuss the two-level counterparts of these three models and develop a quantum circuit theory to establish complete parallelism between continuous-variable systems and two-level systems.
61:
62: This paper is organized as follows.
63: In Sec.~\ref{sec:spin}, we discuss noiseless measurements on a two-level system, and describe the two-level counterparts of VNM, CSM, and SSM in terms of CNOT gates.
64: In Sec.~\ref{sec:CV}, we discuss three noiseless measurements on a continuous-variable system in terms of SUM gates.
65: In Sec.~\ref{sec:IHUG}, we construct a concrete Hamiltonian for each model and express the corresponding unitary transformation in terms of single-qubit rotations and the SWAP operator.
66: We also decompose unitary transformation in a continuous-variable system into a phase-shift operator, squeezing operator and beam-splitter operator to enable experimental implementation of the models.
67: In Sec.~\ref{sec:Discussions}, we discuss basic properties of the three noiseless measurements and compare SSM and CSM for use in gravitational-wave detection.
68: In Sec.~\ref{sec:Conclusion}, we summarize the main results of this paper.
69:
70:
71: Throughout this paper we refer to a measured system and a measuring apparatus simply as \textit{system} and \textit{probe}, respectively.
72: We shall, as with VNM~\cite{von_Neumann} and CSM~\cite{Ozawa, Ozawa_book}, ignore the free parts of the Hamiltonian and focus only on the interaction between the system and the probe.
73:
74:
75: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
76: \section{Quantum measurement in a two-level system}
77: \label{sec:spin}
78:
79: We consider a situation in which the system and the probe are both two-level systems with their initial states given by
80: %\begin{equation}
81: %|\psi \rangle_{\rm s} =a |+ \rangle_{\rm s} +b |- \rangle_{\rm s}
82: %%\label{input_s}
83: %\end{equation}
84: %and
85: %\begin{equation}
86: %|\phi \rangle_{\rm p} =c |+ \rangle_{\rm p} +d |- \rangle_{\rm p} ,
87: %\label{input_p}
88: %\end{equation}
89: \begin{align}
90: |\psi \rangle_{\rm s} &=a |+ \rangle_{\rm s} +b |- \rangle_{\rm s}, \label{input_s} \\
91: |\phi \rangle_{\rm p} &=c |+ \rangle_{\rm p} +d |- \rangle_{\rm p}, \label{input_p}
92: \end{align}
93: where $a, b, c, d$ are complex numbers, and $|\pm \rangle$ stand for the eigenstates of the Pauli $\hat \sigma^z$ operator with
94: eigenvalues $s^z=\pm1$.
95: We assume that both system state $|\psi \rangle_{\rm s}$ and probe state $|\phi \rangle_{\rm p}$ are normalized to unity.
96:
97:
98: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
99: \subsection{CNOT measurement}
100:
101: Let us first consider a CNOT measurement.
102: A unitary operation of CNOT measurement is performed by the CNOT circuit~\cite{Feynman, Deutsch} illustrated in Fig.~\ref{fig:CNOT}.
103: If the input state of the system is $|+ \rangle_{\rm s}$, the output state of the probe is the same as its input state ($|\pm \rangle_{\rm p}\rightarrow|\pm \rangle_{\rm p}$). If it is $|- \rangle_{\rm s}$, the parity of the output state of the probe is reversed ($|\pm \rangle_{\rm p}\rightarrow|\mp \rangle_{\rm p}$).
104:
105: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
106: \begin{figure}[htbp]
107: \begin{center}
108: \includegraphics[width=4.0cm,clip]{CNOT.eps}
109: \caption{CNOT circuit. }
110: \label{fig:CNOT}
111: \end{center}
112: \end{figure}
113: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
114:
115: Output state $|\Psi \rangle_{\rm s+p}^{\rm CNOT}$ of the CNOT circuit for input states (\ref{input_s}) and (\ref{input_p}) is given by
116: \begin{equation}
117: \begin{split}
118: &|\Psi \rangle_{\rm s+p}^{\rm CNOT}=\hat U^{\text{CNOT}}_{\rm{s} \text{-} \rm p}|\psi\rangle_{\rm s}|\phi\rangle_{\rm p}\\
119: %=&a |+ \rangle_{\rm s}\left(c|+ \rangle_{\rm p}+d|- \rangle_{\rm p} \right)
120: %+b |- \rangle_{\rm s} (c |- \rangle_{\rm p} +d |+ \rangle_{\rm p}) \\
121: =&\ \left(ac |+ \rangle_{\rm s} + bd |- \rangle_{\rm s}\right) |+ \rangle_{\rm p}+\left(ad |+ \rangle_{\rm s} +bc |- \rangle_{\rm s}\right) |- \rangle_{\rm p}.
122: \end{split}
123: \end{equation}
124: Suppose that we perform a projection measurement of $\hat \sigma^z$ on the output state of the probe. Then the probabilities of obtaining outcomes $s^z_{\rm p}=\pm1$ are given by
125: \begin{eqnarray}
126: \text{P}^{\rm CNOT}\left[s^z_{\rm p}=1\right] &=& |ac|^2+|bd|^2 , \nonumber \\
127: \text{P}^{\rm CNOT}\left[s^z_{\rm p}=-1 \right] &=& |ad|^2+|bc|^2 .
128: \label{eq:CNOT_prob}
129: \end{eqnarray}
130: When $c=1$ and $d=0$, Eq.~\eqref{eq:CNOT_prob} reduces to
131: \begin{eqnarray}
132: & & \text{P}^{\rm CNOT}\left[s^z_{\rm p}=1\right] = |a|^2, \nonumber\\
133: & & \text{P}^{\rm CNOT}\left[s^z_{\rm p}=-1 \right] = |b|^2.
134: \label{eq:CNOT_prob_Born}
135: \end{eqnarray}
136: These probabilities coincide with $|{}_{\rm s}\langle \pm|\psi\rangle_{\rm s}|^2$ which can be expected from Born's probability axiom.
137: The CNOT measurement is therefore a noiseless measurement of system's $\hat \sigma^z$ if the probe state is properly chosen, i.e., if $c=1$ and $d=0$.
138: The postmeasurement states of the system $|\psi'\rangle_{\rm s}$ for outcomes $s^z_{\rm p}=\pm 1$ are then given by
139: \begin{equation}
140: |\psi'\rangle_{\rm s}^{\rm CNOT}=|\pm \rangle_{\rm s}.
141: \label{eq:CNOT_final}
142: \end{equation}
143: We note that the postmeasurement states of the CNOT measurement depend only on the outcome of the measurement.
144:
145: The indirect measurement can be operationally described by a set of \textit{measurement operators} $\{ \hat M_m\}$ that directly act on the measured system~\cite{Gordon_Louisell, Davies_Lewis} and satisfy completeness relation $\sum_{m}\hat M_m^{\dagger} \hat M_m= \hat I$.
146: Let the premeasurement state of the system be $|\psi\rangle$.
147: The probability of outcome $m$ being found is then given by
148: \begin{equation}
149: P(m)=\langle \psi | \hat M_m^{\dagger} \hat M_m| \psi \rangle,
150: \label{probability}
151: \end{equation}
152: and corresponding postmeasurement state $|\psi'\rangle_m$ of the system is given by
153: \begin{equation}
154: |\psi'\rangle_m= \frac{\hat M_m|\psi\rangle}{\sqrt{\langle \psi |\hat M_m^{\dagger} \hat M_m| \psi \rangle}}.
155: \label{projection}
156: \end{equation}
157: It follows from Eqs.~(\ref{eq:CNOT_prob_Born})-(\ref{projection}) that the CNOT measurement with $c=1$ and $d=0$ can be characterized with measurement operators
158: \begin{equation}
159: \hat M_{\pm}^{\rm CNOT}=|\pm \rangle_{\rm s} {}_{\rm s}\langle \pm|.
160: \label{M_CNOT}
161: \end{equation}
162:
163: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
164: \subsection{Double CNOT measurement}
165:
166: Let us next consider a double CNOT (DCNOT) measurement.
167: A unitary operation of the DCNOT measurement is represented by the DCNOT circuit illustrated in Fig.~\ref{fig:Double_CNOT}.
168:
169: %%%%%%%%%%%%%%%%%%%%%%%%%%
170: \begin{figure}[htbp]
171: \begin{center}
172: \includegraphics[width=4cm,clip]{DCNOT.eps}
173: \caption{Double CNOT (DCNOT) circuit.}
174: \label{fig:Double_CNOT}
175: \end{center}
176: \end{figure}
177: %%%%%%%%%%%%%%%%%%%%%%%%%%
178:
179: Output state $|\Psi \rangle_{\rm s+p}^{\rm DCNOT}$ of the DCNOT circuit for input states (\ref{input_s}) and (\ref{input_p}) is given by
180: \begin{eqnarray}
181: & & |\Psi \rangle_{\rm s+p}^{\rm DCNOT}
182: =\hat U^{\text{DCNOT}}_{\rm s\text{-} \rm p}|\psi\rangle_{\rm s}|\phi\rangle_{\rm p}
183: \nonumber \\
184: &=&\left(c |+ \rangle_{\rm s} + d |- \rangle_{\rm s}\right) a|+ \rangle_{\rm p}
185: +\left(d |+ \rangle_{\rm s} +c |- \rangle_{\rm s}\right) b|- \rangle_{\rm p}.
186: \nonumber
187: \\
188: \end{eqnarray}
189: Suppose that we perform a projection measurement of $\hat \sigma^z$ on the output state of the probe. Then the probabilities of obtaining outcomes $s^z_{\rm p}=\pm1$ are given by
190: \begin{eqnarray}
191: & & \text{P}^{\rm DCNOT}\left[s^z_{\rm p}=1 \right] = |a|^2, \nonumber\\
192: & & \text{P}^{\rm DCNOT}\left[s^z_{\rm p}=-1\right] = |b|^2.
193: \label{eq:double_prob}
194: \end{eqnarray}
195: These probabilities are independent of the state of the probe, unlike the case of the CNOT measurement in Eq.~\eqref{eq:CNOT_prob}.
196: The corresponding postmeasurement states of the system are given by
197: \begin{eqnarray}
198: & |\psi'_{+} \rangle_{\rm s}^{\rm DCNOT}
199: =c |+ \rangle_{\rm s} + d |- \rangle_{\rm s}
200: \ \ & {\rm for} \ s^z_{\rm p}=1,
201: \nonumber\\
202: & |\psi'_{-} \rangle_{\rm s}^{\rm DCNOT}
203: =d |+ \rangle_{\rm s} + c |- \rangle_{\rm s}
204: \ \ & {\rm for} \ s^z_{\rm p}=-1.
205: \label{eq:double_post}
206: \end{eqnarray}
207: The postmeasurement state now depends not only on the outcome of the measurement but also on the state of the probe.
208: It follows from Eqs.~(\ref{probability}), (\ref{projection}), (\ref{eq:double_prob}) and (\ref{eq:double_post}) that the DCNOT measurement is characterized with measurement operators
209: \begin{eqnarray}
210: \hat M_{\pm}^{\rm DCNOT}
211: =|\psi'_{\pm} \rangle_{\rm s}^{\rm DCNOT} {}_{\rm s} \langle \pm |.
212: \label{M_double}
213: \end{eqnarray}
214:
215: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
216: \subsection{Swapping state measurement}
217:
218: Let us now consider the swapping state measurement (SSM).
219: Swap operator $\hat U^{\text{SWAP}}$ exchanges quantum states between the system and the probe and is defined by~\cite{Feynman}
220: \begin{equation}
221: \hat U^{\text{SWAP}}(|\psi\rangle_{\rm s} |\phi\rangle_{\rm p})
222: =|\phi\rangle_{\rm s} |\psi\rangle_{\rm p}.
223: \label{USWAP}
224: \end{equation}
225: A unitary circuit of SSM can be expressed in terms of three CNOT gates as illustrated in Fig.~\ref{fig:spin_swap}.
226: %%%%%%%%%%%%%%%%%%%%%%%%%%%
227: \begin{figure}[htbp]
228: \begin{center}
229: \includegraphics[width=4.5cm,clip]{spin_SSM.eps}
230: \caption{SWAP circuit.}
231: \label{fig:spin_swap}
232: \end{center}
233: \end{figure}
234: %%%%%%%%%%%%%%%%%%%%%%%%%%
235:
236: Output state $|\Psi \rangle_{\rm s+p}^{\rm SWAP}$ of the SWAP circuit for input states (\ref{input_s}) and (\ref{input_p}) is given by
237: \begin{equation}
238: |\Psi \rangle_{\rm s+p}^{\rm SWAP}=(c |+ \rangle_{\rm s}+ d|- \rangle_{\rm s}) (a |+ \rangle_{\rm p}+b |-\rangle_{\rm p}).
239: \label{SWAPoutput}
240: \end{equation}
241: We note that this is not an entangled state but a product state.
242: Suppose that we perform the projection measurement of $\hat \sigma^z$ on the output probe state. Then the probabilities of obtaining outcomes $s^z_{\rm p}=\pm1$ are given by
243: \begin{eqnarray}
244: & & \text{P}^{\rm SWAP}\left[s^z_{\rm p}=1\right] = |a|^2, \noindent \\
245: & & \text{P}^{\rm SWAP}\left[s^z_{\rm p}=-1\right] = |b|^2,
246: \label{eq:swap_prob}
247: \end{eqnarray}
248: which are independent of the state of the probe as in the case of the DCNOT measurement in Eq.~\eqref{eq:double_prob}.
249: Postmeasurement state of the system $|\psi'\rangle_{\rm s}$ is given for both $s^z_{\rm p}=1$ and $s^z_{\rm p}=-1$ by
250: \begin{equation}
251: |\psi'\rangle_{\rm s}^{\rm SWAP}= c |+ \rangle_{\rm s} + d |- \rangle_{\rm s},
252: \label{eq:swap_post}
253: \end{equation}
254: indicating that the postmeasurement state of the system is independent of the measurement outcome and is identical to the state of the probe.
255: We may use this property to designate the postmeasurement state of the system by preparing the initial probe state.
256: It follows from Eqs.~\eqref{probability}, \eqref{projection}, \eqref{SWAPoutput}, and \eqref{eq:swap_post} that SSM can be characterized by measurement operators
257: \begin{equation}
258: \hat M_{\pm}^{\rm SWAP}=|\phi \rangle_{\rm s} {}_{\rm s} \langle \pm |.
259: \label{M_SWAP}
260: \end{equation}
261:
262: While we consider here the Pauli $\hat \sigma^z$ measurement,
263: the present noiseless measurement scheme can be applied to an arbitrary observable by using a similar SWAP circuit because the SWAP circuit exchanges quantum states between the system and the probe.
264:
265: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
266: \section{Quantum Measurement in a Continuous-Variable System}
267: \label{sec:CV}
268:
269: We consider a situation in which both the \textit{system} and the \textit{probe} are one-dimensional, having canonically conjugate observables $\hat x$, $\hat p_x$ $\left([\hat x, \hat p_x]=i \right)$ and $\hat y$, $\hat p_y$ $\left([\hat y, \hat p_y]=i \right)$, respectively.
270: Let the initial wave functions of the system and the probe be given by $\langle x| \psi\rangle =\psi(x)$ and $\langle y| \phi\rangle=\phi(y)$, respectively, which we assume to be normalized to unity.
271:
272: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
273: \subsection{General unitary transformation}
274:
275: Let us consider unitary transformation $\hat U$ such that
276: \begin{equation}
277: \hat U(a,b,c,d)\psi(x)\phi(y)=\psi(ax+by)\phi(cx+dy),
278: \label{eq:Trans}
279: \end{equation}
280: where $a,b,c$ and $d$ are real numbers.
281: The unitarity condition of $U$ implies that
282: \begin{equation}
283: \int \big| \psi(x) \phi(y) \big|^2 dxdy= \int \big| \psi (ax+by)\phi (cx+dy)\big|^2 dxdy,
284: \label{eq:norm2}
285: \end{equation}
286: which is satisfied if and only if the following condition is met:
287: \begin{equation}
288: ad-bc=\pm 1,
289: \end{equation}
290: where the minus sign implies that an odd parity inversion is involved in the unitary transformation (see Eqs.~\eqref{parity} and \eqref{eq:det} below).
291:
292: We define von Neumann unitary operators $\hat V_{xp_y}$ and $\hat V_{yp_x}$ as
293: \begin{eqnarray}
294: & & \hat V_{xp_y}(\alpha )\equiv\exp(-i\alpha \hat x \hat p_y),
295: \label{VN1} \\
296: & & \hat V_{yp_x}(\alpha )\equiv\exp(-i\alpha \hat y \hat p_x),
297: \label{VN2}
298: \end{eqnarray}
299: where $\alpha$ is a real number.
300: For $\alpha=1$, we refer to the von Neumann operator as a SUM gate which is known as a continuous-variable analog of a CNOT gate~\cite{Gottesman, Bartlett, Braunstein}.
301: We also define parity inversion operator $\hat \Pi_y$ of the probe as
302: \begin{equation}
303: \hat \Pi_y\phi(y)=\phi(-y).
304: \label{parity}
305: \end{equation}
306:
307: We now show that unitary operator $\hat U$ can be decomposed into a product of $\hat V_{xp_y}$, $\hat V_{yp_x}$ and $\hat \Pi_y$.
308: In fact, for $p=0$ or $1$, we have
309: \begin{equation}
310: \begin{split}
311: &\hat V_{xp_y}(\gamma )\hat V_{yp_x}(\beta )\hat V_{xp_y}(\alpha )\hat \Pi_y^p \psi\left(x \right)\phi\left(y \right) \\
312: =&\hat V_{yp_x}(\gamma )\hat V_{xp_y}(\beta )\psi\left(x \right)\phi\left[(-1)^p(y-\alpha x) \right ] \\
313: =&\hat V_{yp_x}(\gamma )\psi (x-\beta y)\phi\left((-1)^p\left[y-\alpha (x-\beta y)\right] \right ) \\
314: =&\psi\left[(1+\beta \gamma ) x-\beta y\right] \\
315: &
316: \!\!\!\!\times \!\!\!\!\!\!
317: \hspace{0.3cm} \phi\left[(-1)^{p+1} (\alpha+\gamma+\alpha\beta \gamma) x
318: +\!(-1)^p(1+\alpha \beta) y\right].
319: \end{split}
320: \label{eq:decompose_t}
321: \end{equation}
322: The last term is cast into the form of $\psi(ax+by)\phi(cx+dy)$ if the conditions
323: \begin{eqnarray}
324: a&=&1+ \beta \gamma, \nonumber \\
325: b&=&-\beta, \nonumber \\
326: c&=&(-1)^{p+1} (\alpha+\gamma+\alpha\beta \gamma), \nonumber \\
327: d&=&(-1)^p(1+\alpha \beta),
328: \label{eq:abcd}
329: \end{eqnarray}
330: are met.
331: It follows from Eq.~\eqref{eq:abcd} that parameters $a,b,c$ and $d$ satisfy
332: \begin{equation}
333: ad-bc=(-1)^p,
334: \label{eq:det}
335: \end{equation}
336: and that unitary operator $U(a,b,c,d)$ can be decomposed into
337: \begin{equation}
338: \hat U(a,b,c,d)=\hat V_{xp_y}(\gamma )\hat V_{yp_x}(\beta )\hat V_{xp_y}(\alpha )\hat \Pi_y^p.
339: \label{eq:decompose}
340: \end{equation}
341: We thus find that unitary operator $\hat U$ can be decomposed into three basic quantum gates $\hat V_{yp_x}$, $\hat V_{xp_y}$ and $\hat \Pi_y$ as illustrated in Fig.~\ref{fig:circuit}.
342: \begin{figure}[htbp]
343: \begin{center}
344: \includegraphics[height=3.3cm,clip]{circuit.eps}
345: \caption{Circuit representation of general unitary transformation $U$ in Eq.~\eqref{eq:Trans} in terms of three basic quantum gates $\hat V_{yp_x}$, $\hat V_{xp_y}$ and $\hat \Pi_y$ (see Eq.~\eqref{eq:decompose} for the mathematical expression).}
346: \label{fig:circuit}
347: \end{center}
348: \end{figure}%
349:
350: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
351: \subsection{Von Neumann position measurement}
352: \label{sec:von Neumann}
353:
354: Von Neumann measurement (VNM) is a prototypical indirect measurement on a continuous-variable system~\cite{von_Neumann}.
355: Unitary transformation $\hat U$ corresponding to von Neumann's position measurement is given by Eq.~\eqref{eq:decompose} with $(a,b,c,d)=(1,0,-1,1)$.
356: We consider here a generalized unitary transformation characterized by $(a,b,c,d)=(1,0,-\lambda,1)$, where parameter $\lambda$ is a real positive number.
357: We shall refer to $\lambda$ as a scaling parameter because it leads to a scale transformation of the probability distribution as discussed next.
358: We find from Eq.~\eqref{eq:abcd} that the parameters characterizing the circuit representation are $(p,\alpha,\beta,\gamma)=(0,0,0,\lambda)$ which gives the VNM circuit as illustrated in Fig.~\ref{fig:neumann}.
359:
360: \begin{figure}[htbp]
361: \begin{center}
362: \includegraphics[height=3.0cm,clip]{VNM.eps}
363: \caption{VNM circuit representation of a generalized von Neumann's position measurement.}
364: \label{fig:neumann}
365: \end{center}
366: \end{figure}%
367:
368: We assume that the input state for VNM is $\psi(x)\phi(y)$, where $\psi(x)$ and $\phi(y)$ are the respective wave functions of the system and the probe.
369: The output state of the VNM circuit is then given by
370: \begin{equation}
371: \hat U(1,0,-\lambda,1) \psi(x) \phi (y)=\psi(x)\phi(y-\lambda x).
372: \label{VNMoutput}
373: \end{equation}
374: Suppose that we perform position measurement on the probe for the state represented by Eq.~\eqref{VNMoutput}.
375: The probability of finding an outcome in $a\leq y\leq a+da$ is then given by
376: \begin{equation}
377: \text{P} \{ a\leq y \leq a+da \} =da \int |\psi (x)|^2 |\phi(a- \lambda x)|^2 dx.
378: \label{eq:Neumann_prob}
379: \end{equation}
380: Hence, we find that as the probe's initial probability distribution $|\phi(y)|^2$ approaches $\delta(y)$, Eq.~\eqref{eq:Neumann_prob} reduces to
381: \begin{equation}
382: \text{P} \{ a\leq y\leq a+da \}=\frac{1}{\lambda}\left|\psi\left(\frac{a}{\lambda}\right)\right|^2da.
383: \label{eq:Neumann_ideal_prob}
384: \end{equation}
385: We note that probability distribution~\eqref{eq:Neumann_ideal_prob} can be obtained from distribution $|\psi (a)|^2$ by reducing its magnitude by a factor of $\lambda$ and expanding the scale of the argument by the same factor.
386: The scaling parameter thus leads to a scale transformation of the probability distribution.
387: In the special case of $\lambda=1$, the probability distribution reduces to $|\psi (a)|^2$ which is to be expected from Born's probability axiom; this measurement is therefore a noiseless measurement of position $x$ of the system.
388:
389: Returning to the case of Eq.~\eqref{eq:Neumann_prob}.
390: Corresponding postmeasurement system state $\psi'_a(x)$ is given by
391: \begin{equation}
392: \psi'_a(x)= \frac{\psi(x)\phi(a-\lambda x)}{(\int |\psi (x)|^2 |\phi(a- \lambda x)|^2 dx)^{1/2}}.
393: \label{eq:VNM_post}
394: \end{equation}
395: This wave function approaches $\left[\delta(x-a/\lambda)\right]^{1/2}$
396: as the probe's initial probability distribution $|\phi(y)|^2$ approaches $\delta(y)$.
397: This implies that the postmeasurement state approaches an eigenstate of the position operator as the position measurement of the probe becomes noiseless.
398: In particular, when $\lambda=1$ and $|\phi(y)|^2=\delta(y)$, VNM is characterized by measurement operator $\hat M_a=|a \rangle \langle a|$.
399: Comparing this with Eq.~\eqref{M_CNOT}, we find close similarity between VNM and the CNOT measurement.
400:
401: The scaling parameter can be used to improve the precision of VNM~\cite{Yurke}.
402: As an example, let us consider the situation in which the initial probability distribution of the system is known to be delta function $|\psi(x)|^2=\delta(x-\alpha)$ but its location $\alpha$ is unknown.
403: It follows from Eqs.~\eqref{eq:Neumann_prob} and \eqref{eq:VNM_post} that the probability distribution for the measurement outcome of the probe is given by $\text{P} \{ a\leq y \leq a+da \} =|\phi(a- \lambda \alpha)|^2 da$ and that the corresponding postmeasurement state of the system is given by $|\psi'_a(x)|^2=\delta(x-\alpha)$.
404: Hence, we may regard this measurement as a quantum nondemolition measurement of the position because its probability distribution does not change before and after the measurement.
405: By properly choosing the origin of the probe's coordinate, we can always set $\int y |\phi(y)|^2 dy=0$.
406: The signal-to-noise (S/N) ratio of the measurement is then given by
407: \begin{equation}
408: \frac{\rm S}{\rm N}\equiv \frac{\left(\int aP(a) da\right)^2}{\int a^2P(a) da-\left(\int aP(a) da\right)^2}
409: =\frac{\lambda^2\alpha^2}{d^2},
410: \label{S/N}
411: \end{equation}
412: where $P(a)=|\phi(a- \lambda \alpha)|^2$ and $d\equiv\sqrt{\int y^2 |\phi(y)|^2 dy}$.
413: Equation~\eqref{S/N} shows that, even if the signal-to-noise ratio of the probe is low, we can measure the position of the system to the desired precision by choosing sufficiently large scaling parameter $\lambda$.
414:
415:
416: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
417: \subsection{Contractive state measurement}
418:
419: The notion of contractive state measurement (CSM) has been discussed by Yuen~\cite{Yuen}, and a concrete mathematical model of the CSM has been proposed by Ozawa~\cite{Ozawa, Ozawa_book}.
420: Unitary transformation $\hat U$ of CSM proposed by Ozawa is given by Eq.~\eqref{eq:Trans} with $(a,b,c,d)=(0,1,-1,1)$.
421: We generalize the parameter space of the unitary transformation to $(a,b,c,d)=(0,\lambda^{-1},-\lambda,1)$, where $\lambda$ is a scaling parameter.
422: The parameters describing the equivalent circuit are then given from Eq.~\eqref{eq:abcd} as $(p,\alpha,\beta,\gamma)=(0,0,-\lambda^{-1},\lambda)$, and corresponding CSM circuit is illustrated in Fig.~\ref{fig:CSM}~\cite{Ozawa2001}.
423:
424: \begin{figure}[htbp]
425: \begin{center}
426: \includegraphics[height=3.5cm,clip]{CSM.eps}
427: \caption{Circuit representation of generalized contractive state measurement.}
428: \label{fig:CSM}
429: \end{center}
430: \end{figure}%
431:
432: Suppose that the input state of the CSM circuit is given by $\psi(x)\phi (y)$.
433: The output state is calculated to be
434: \begin{equation}
435: \hat U(0,\lambda^{-1},-\lambda,1) \psi(x) \phi (y)=\psi\left(y/\lambda\right) \phi\left(y-\lambda x\right).
436: \label{eq:CSM_unitary}
437: \end{equation}
438: The probability of finding an outcome in $a\leq y\leq a+da$ for the probe is given by
439: \begin{equation}
440: \begin{split}
441: &\text{P} \{ a\leq y\leq a+da \} \\
442: =& \ da \int |\psi (a/\lambda)|^2 |\phi(a- \lambda x)|^2 dx \\
443: =& \ \frac{1}{\lambda}\left|\psi \left(\frac{a}{\lambda} \right)\right|^2 da.
444: \label{eq:CSM_prob}
445: \end{split}
446: \end{equation}
447: We note that this probability in Eq.~\eqref{eq:CSM_prob} is independent of probe wave function $\phi$ in contrast to VNM, in which the probability becomes independent of $\phi$ only if $|\phi(y)|^2$ is delta function (see Eq.~\eqref{eq:Neumann_ideal_prob}).
448: The CSM measurement is therefore a noiseless measurement for an arbitrary state of the probe.
449:
450: The postmeasurement state of the system, $\psi'_a(x)$, for outcome $y=a$ of the probe is found from Eq.~\eqref{eq:CSM_unitary} to be
451: \begin{equation}
452: \psi'_a(x)=\sqrt{\lambda}\phi(a-\lambda x).
453: \label{eq:CSM_post}
454: \end{equation}
455: For the special case of $\lambda=1$, CSM is characterized by measurement operator $\hat M_a=|\phi_a \rangle \langle a|$,
456: where $|\phi_a \rangle$ is defined by $ \langle x|\phi_{a} \rangle =\phi(a-x)$.
457: Comparing this with Eq.~\eqref{M_double}, we find close similarity between CSM and the DCNOT measurement.
458:
459: In respect of VNM, if the position measurement is noiseless, then the postmeasurement state must be a delta function.
460: With CSM, in contrast, even if the position measurement is noiseless, the postmeasurement state of the system can be an arbitrary wave function as in Eq.~\eqref{eq:CSM_post}.
461: However, the postmeasurement state depends on outcome $a$ of the probe.
462:
463: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
464: \subsection{Swapping state measurement}
465:
466: We consider here a model for quantum measurement which we shall refer to as swapping state measurement (SSM).
467: Although the notion of SSM has been discussed in Ref.~\cite{Yuen_SSM}, a unitary transformation between the system and the probe that characterizes SSM has not been discussed.
468: Unitary transformation $\hat U$ of SSM is given by Eq.~\eqref{eq:Trans} with $(a,b,c,d)=(0,\lambda^{-1},(-1)^{p+1} \lambda,0)$, where $\lambda$ is a scaling parameter and $p$ takes on 0 or 1.
469: It follows from Eq.~\eqref{eq:abcd} that the parameters describing the equivalent circuit are given by $(\alpha,\beta,\gamma)=(\lambda,-\lambda^{-1},\lambda)$, the corresponding SSM circuit being illustrated in Fig.~\ref{fig:SSM}.
470: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
471: \begin{figure}[htbp]
472: \begin{center}
473: \includegraphics[height=3.3cm,clip]{CV_SSM.eps}
474: \caption{Circuit representation of swapping state measurement.}
475: \label{fig:SSM}
476: \end{center}
477: \end{figure}
478: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
479:
480: Let the input state of SSM be $\psi(x)\phi(y)$.
481: The output state is then given by
482: \begin{equation}
483: \begin{split}
484: &\hat U(0,\lambda^{-1},(-1)^{p+1} \lambda,0) \psi(x)\phi(y) \\
485: =&\psi\left( y/\lambda \right)\phi\left( (-1)^{p+1} \lambda x \right).
486: \end{split}
487: \label{eq:SSM_unitary}
488: \end{equation}
489: We note that the output is not an entangled state but a product state unlike the cases of VNM and CSM.
490: Comparing the output state with the input one, we find that the SSM circuit exchanges quantum states between the system and the probe, and rescales the coordinate of the system and that of the probe by a factor of $\lambda$ and $\lambda^{-1}$, respectively.
491: In addition, the odd (even) parity transformation is applied to the probe for $p=0 \ (p=1)$.
492: In the special case of $\lambda=1$ and $p=1$, the output state is given by
493: \begin{equation}
494: \hat U(0,1,1,0) \psi(x)\phi(y)=\psi (y )\phi ( x ),
495: \end{equation}
496: which is the case in which the initial states of the system and probe are swapped.
497:
498:
499: The probability of finding an outcome of probe in $a\leq y\leq a+da$ is given from Eq.~\eqref{eq:SSM_unitary} by
500: \begin{equation}
501: \text{P} \{ a\leq y\leq a+da \}=\frac{1}{\lambda}\left|\psi\left(\frac{a}{\lambda}\right)\right|^2 da,
502: \end{equation}
503: which is independent of probe wave function $\phi$ as in the case of CSM.
504: The postmeasurement state of the system is given by
505: \begin{equation}
506: \psi'(x)=\sqrt{\lambda}\phi((-1)^{p+1}\lambda x).
507: \end{equation}
508: For the special case of $\lambda=1$ and $p=1$, SSM is characterized by measurement operator $\hat M_a=|\phi \rangle \langle a|$.
509: Comparing this with Eq.~\eqref{M_SWAP}, we find complete parallelism between continuous-variable SSM and its two-level counterpart.
510: We also note that the postmeasurement system state is independent of the measurement outcome, because the output state is a product state, unlike the cases of VNM and CSM (see Eqs.~\eqref{eq:VNM_post} and \eqref{eq:CSM_post}).
511: Although we have considered here position measurement, we emphasize that the present noiseless measurement scheme can be applied to an arbitrary observable by using a similar SWAP circuit.
512:
513:
514: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
515: \section{Interaction Hamiltonians and Unitary Gates}
516: \label{sec:IHUG}
517:
518: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
519: \subsection{Two-Level Systems}
520:
521: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
522: \subsubsection{Composition of Interaction Hamiltonians}
523:
524: We have shown that the DCNOT and SWAP circuits can be respectively described by using two and three CNOT gates.
525: In this subsection we construct Hamiltonians describing the individual circuits.
526:
527: Let us first consider an interaction Hamiltonian of the CNOT circuit.
528: It is known that the CNOT gate can be described by the following unitary transformation~\cite{Feynman}
529: \begin{equation}
530: \hat U^{\text{CNOT}}_{\rm s\text{-} \rm p}=\frac{\hat I+\hat \sigma^{z}_{\rm s}}{2}+\frac{\hat I-\hat \sigma^z_{\rm s}}{2}\hat \sigma^x_{\rm p}.
531: \end{equation}
532: Let us consider an operator defined by
533: \begin{equation}
534: \hat A\equiv \frac{(\hat I -\hat \sigma^z_{\rm s})(\hat I -\hat \sigma^x_{\rm p})}{4}.
535: \end{equation}
536: By noting that operator $\hat A$ is idempotent ($\hat A^2=\hat A$), we can derive the following equation:
537: \begin{equation}
538: \exp\left[i \pi \hat A\right]= \hat I-2\hat A=\hat U_{\rm s\text{-} \rm p}^{\text{CNOT}}.
539: \end{equation}
540: Therefore, the interaction Hamiltonian of the CNOT circuit is given by
541: \begin{equation}
542: \hat H^{\rm CNOT}_{\rm s\text{-}p}=K(\hat I -\hat \sigma^z_{\rm s})(\hat I -\hat \sigma^x_{\rm p}).
543: \end{equation}
544:
545: We now consider an interaction Hamiltonian of the DCNOT circuit.
546: Let us define
547: \begin{equation}
548: \hat B\equiv \frac{\hat \sigma^y_{\rm s}(\hat I-\hat \sigma^x_{\rm p}-\hat \sigma^z_{\rm p})-(\hat I-\hat \sigma^x_{\rm s}-\hat \sigma^z_{\rm s})\hat \sigma^y_{\rm p}}{2\sqrt{3}}.
549: \end{equation}
550: Operator $\hat B$ then satisfies $\hat B^3=\hat B$.
551: As shown in Appendix~\ref{app:DCNOT_Hamiltonian}, we can use this to derive the following relation:
552: \begin{equation}
553: \exp\left[ \frac{2i\pi}{3} \hat B \right]= \hat U^{\text{DCNOT}}_{\rm s\text{-} \rm p}.
554: \label{eq:double_Hamiltonian}
555: \end{equation}
556: It follows that an interaction Hamiltonian describing the DCNOT circuit can be expressed by
557: \begin{equation}
558: \hat H^{\rm DCNOT}_{\rm s\text{-}p}= K \left[\hat \sigma^y_{\rm s}(\hat I-\hat \sigma^x_{\rm p}-\hat \sigma^z_{\rm p})-(\hat I-\hat \sigma^x_{\rm s}-\hat \sigma^z_{\rm s})\hat \sigma^y_{\rm p} \right].
559: \label{eq:DCNOT_Hamiltonian}
560: \end{equation}
561:
562: The interaction Hamiltonian of the SWAP circuit is known to be an isotropic Heisenberg exchange-interaction Hamiltonian between system spin $\hat{\bm{S}}_{\rm s}$ and probe spin $\hat{\bm{S}}_{\rm p}$~\cite{Loss_DiVincenzo} as
563: \begin{equation}
564: \hat H^{\text{SWAP}}\equiv K \left( \hat{\bm{S}}_{\rm s}\cdot \hat{\bm{S}}_{\rm p} \right),
565: \label{eq:SWAP_Hamiltonian}
566: \end{equation}
567: where $\hat{\bm{S}}=\{\hat \sigma^x, \hat \sigma^y, \hat \sigma^z\}$ is a vector of Pauli matrices.
568: In fact, we can show that the unitary operator defined by
569: \begin{equation}
570: \hat U^{\text{SWAP}}=\exp \left[ \frac{i\pi}{4} \hat{\bm{S}}_{\rm s} \cdot \hat{\bm{S}}_{\rm p} \right ],
571: \end{equation}
572: has the same effect as that in Eq.~\eqref{USWAP} except for the overall phase factor.
573:
574: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
575: \subsubsection{Representations of unitary circuits in terms of single-qubit rotations and $\left(\hat U^{\text{SWAP}}\right)^{\alpha}$ operators}
576:
577: It is known that the CNOT circuit can be implemented by using single-qubit rotations and two $\left(\hat U^{\text{SWAP}}\right)^{\alpha}$ operators~\cite{Loss_DiVincenzo,Makhlin,Fan_et_al}, where $\left(\hat U^{\text{SWAP}}\right)^{\alpha}$ is defined by
578: \begin{equation}
579: \left(\hat U^{\text{SWAP}}\right)^{\alpha}\equiv\exp\left[\alpha \frac{i\pi}{4} \hat{\bm{S}}_{\rm s} \cdot \hat{\bm{S}}_{\rm p} \right].
580: \end{equation}
581: The CNOT circuit can be expressed as
582: \begin{align}
583: \hat U^{\text{CNOT}}_{\rm s\text{-} p}
584: =& \ \hat U^{\rm H}_{\rm p } \exp \left[\frac{i\pi}{4}\hat \sigma^z_{\rm s}\right] \exp \left[-\frac{i\pi}{4}\hat \sigma^z_{\rm p} \right] \left(\hat U^{\text{SWAP}}\right)^{1/2} \notag \\
585: &\times \exp \left[\frac{i\pi}{2}\hat \sigma^z_{\rm s} \right] \left(\hat U^{\text{SWAP}}\right)^{1/2} \hat U^{\rm H}_{\rm p},
586: %=&\exp\left[\frac{i\pi}{4}\sigma^z_{\rm s}\right] \exp \left[\frac{i\pi}{3}\cdot\frac{\sigma^x_{\rm p}-\hat\sigma^y_{\rm p}+\sigma^z_{\rm p}}{\sqrt{3}} \right] \\
587: %&\times \left(U^{\text{SWAP}}\right)^{1/2} \exp \left[\frac{i\pi}{2}\sigma^z_{\rm s} \right] \left(U^{\text{SWAP}}\right)^{1/2} U^{\rm H}_{\rm p}. \\
588: \end{align}
589: where $\hat U^{\rm H}_{\rm p}\equiv(\hat \sigma^x_{\rm p}+\hat \sigma^z_{\rm p})/\sqrt{2}$ is the Hadamard unitary transformation on the probe.
590:
591: On the other hand, the DCNOT circuit can also be implemented by using single-qubit rotations and two $\left(U^{\text{SWAP}}\right)^{\alpha}$ operators.
592: The DCNOT circuit can therefore be described by
593: \begin{align}
594: \hat U^{\text{DCNOT}}_{\rm s\text{-} \rm p}
595: =&\ \hat U^{\rm H}_{\rm s}\exp \left[\frac{i\pi}{4}\hat \sigma^z_{\rm s}\right] \exp \left[-\frac{i\pi}{4}\hat \sigma^z_{\rm p} \right] \left(\hat U^{\text{SWAP}}\right)^{1/2}\notag \\
596: &\times \exp \left[\frac{i\pi}{2}\hat \sigma^z_{\rm s} \right] \left(\hat U^{\text{SWAP}}\right)^{-1/2} \hat U^{\rm H}_{\rm p},
597: \end{align}
598: where $\hat U^{\rm H}_{\rm s} \equiv (\hat \sigma^x_{\rm s}+ \hat \sigma^z_{\rm s})/\sqrt{2}$.
599: The CNOT and DCNOT circuits can therefore be implemented by single-qubit rotations and two $\left(\hat U^{\text{SWAP}}\right)^{\alpha}$ operators.
600:
601: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
602: \subsection{Continuous-Variable Systems}
603:
604: \subsubsection{Composition of Interaction Hamiltonians}
605: \label{sec:Composition}
606:
607: We have discussed that VNM, CSM and SSM can be respectively described by using one, two, and three SUM (or von Neumann) gates.
608: It is of interest to describe these measurement processes in terms of single interaction Hamiltonians.
609: The interaction Hamiltonian of VNM is given by Eqs.~\eqref{VN1} and \eqref{VN2} as
610: \begin{equation}
611: \hat H^{\rm VNM}= K \hat x \hat p_y.
612: \label{H_VNM}
613: \end{equation}
614:
615: The interaction Hamiltonians of the CSM and the SSM can be obtained by the composition of unitary gates.
616: It has been shown for real $u,v,w$~\cite{Ozawa1990} that
617: \begin{equation}
618: \begin{split}
619: &\exp\left[\frac{u (\hat x \hat p_x-\hat y\hat p_y) +v \hat y \hat p_x+w \hat x \hat p_y}{i}\right] \psi(x)\phi(y) \\
620: =&\psi(ax+by)\phi(cx+dy),
621: \end{split}
622: \end{equation}
623: where $D \equiv\sqrt{-(u^2+vw)}$ and
624: \begin{equation}
625: \begin{bmatrix} a & b \\ c & d \end{bmatrix} =\begin{bmatrix} \cos D -u \frac{\sin D}{D} & -v\frac{\sin D}{D} \\
626: -w \frac{\sin D}{D} & \cos D + u \frac{\sin D}{D} \end{bmatrix}.
627: \label{eq:Ozawa1990}
628: \end{equation}
629:
630: A generalized CSM circuit can be characterized by $(a,b,c,d)=(0,\lambda^{-1},-\lambda,1)$.
631: From Eq.~\eqref{eq:Ozawa1990}, the parameters of the CSM circuit are given by
632: \begin{equation}
633: u=\frac{\pi}{3\sqrt{3}} , \
634: v=-\frac{2\pi}{3\sqrt{3}} \lambda^{-1}, \
635: w=\frac{2\pi}{3\sqrt{3}} \lambda.
636: \end{equation}
637: The interaction Hamiltonian of CSM is therefore given by
638: \begin{equation}
639: \hat H^{\rm CSM}=K\left[ (\hat x \hat p_x-\hat y \hat p_y)+2\left(\lambda \hat x \hat p_y-\lambda^{-1} \hat y \hat p_x \right) \right].
640: \label{eq:CSM_Hamiltonian}
641: \end{equation}
642: For $\lambda=1$ this Hamiltonian reduces to that obtained by Ozawa~\cite{Ozawa}.
643:
644: If we ignore parity gate $\hat \Pi_y$, the SSM circuit is characterized by $(a,b,c,d)=(0,\lambda^{-1},-\lambda,0)$.
645: From Eq.~\eqref{eq:Ozawa1990}, the parameters of the SSM circuit are given by
646: \begin{equation}
647: u=0, \
648: v=-\frac{\pi}{2} \lambda^{-1}, \
649: w=\frac{\pi}{2} \lambda.
650: \end{equation}
651: The interaction Hamiltonian of SSM is therefore given by
652: \begin{equation}
653: \hat H^{\rm SSM}_{p=0}=K \left(\lambda \hat x \hat p_y- \lambda^{-1} \hat y \hat p_x \right).
654: \label{eq:SSM_Hamiltonian}
655: \end{equation}
656: For the special case of $\lambda=1$, Eq.~\eqref{eq:SSM_Hamiltonian} reduces to~\cite{D'Ariano}
657: \begin{equation}
658: \hat H^{\rm SSM}_{p=0}|_{\lambda=1}=K(\hat x \hat p_y- \hat y \hat p_x).
659: \label{eq:swap_Hamiltonian}
660: \end{equation}
661: This Hamiltonian is proportional to the $z$ component of the angular momentum operator.
662: Hence, the corresponding unitary evolution amounts to a rotation on the $x-y$ plane, and therefore the time evolution governed by the Hamiltonian in Eq.~\eqref{eq:swap_Hamiltonian} leads to swapping of coordinates $x$ and $y$ after an appropriate interaction time.
663:
664: On the other hand, if we take parity gate $P_y$ into consideration, the SSM circuit is characterized by $(a,b,c,d)=(0,\lambda^{-1},\lambda,0)$.
665: As shown in Appendix~\ref{app:SSM}, if we define operator $C$ as
666: \begin{equation}
667: \hat C \equiv \frac{\lambda \hat x^2+ \lambda^{-1} \hat p_x^2}{2}+ \frac{\lambda^{-1} \hat y^2+ \lambda \hat p_y^2}{2} -(\hat x\hat y +\hat p_x \hat p_y)-\frac{1}{2},
668: \end{equation}
669: we have
670: \begin{equation}
671: \exp \left[ \frac{\pi}{2i} \hat C \right] \psi(x) \phi(y) =\psi\left( \lambda^{-1} y \right) \phi \left( \lambda x \right).
672: \label{eq:SSM_single_Hamiltonian}
673: \end{equation}
674: Therefore, the interaction Hamiltonian is given by
675: \begin{equation}
676: \hat H^{\rm SSM}_{p=1} = K\hat C.
677: \label{eq:SSMp1_Hamiltonian}
678: \end{equation}
679: For the special case of $\lambda=1$, Eq.~\eqref{eq:SSMp1_Hamiltonian} reduces to
680: \begin{equation}
681: \begin{split}
682: &\hat H^{\rm SSM}_{p=1}|_{\lambda=1} \\
683: =&K\left[ \frac{ \hat x^2+ \hat p_x^2}{2}+ \frac{ \hat y^2+ \hat p_y^2}{2} -(\hat x\hat y +\hat p_x \hat p_y)-\frac{1}{2} \right].
684: \end{split}
685: \end{equation}
686: We note here that Hamiltonian $\hat H^{\rm SSM}_{p=1}$ with $\lambda=1$ is composed of the two-dimensional harmonic-oscillator Hamiltonians and the interaction Hamiltonian.
687: Until now, we have assumed that the dynamics between the system and the probe are only governed by the interaction Hamiltonian.
688: This assumption implies that the interaction Hamiltonian dominates the free Hamiltonians.
689: In the case of Hamiltonian $\hat H^{\rm SSM}_{p=1}$, however, this assumption is no longer valid.
690:
691:
692: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
693: \subsubsection{Representation of unitary circuits in terms of phase-shift, squeezing, and SWAP operators}
694: \label{sec:Representation}
695:
696: We have already described continuous-variable measurement processes in terms of von Neumann gates.
697: However, it appears difficult to experimentally implement the VNM and CSM circuits because the corresponding interaction Hamiltonians~\eqref{H_VNM} and \eqref{eq:CSM_Hamiltonian} are rather artificial.
698: Here we express the VNM and CSM circuits in terms of the phase-shift operator, two-mode squeezing operator and SWAP operator~\cite{Yurke, Song, Ozawa2003, Braunstein}, all of which are known to be experimentally implemented.
699:
700: We first show that parity inversion operator $\hat \Pi_x$ can be expressed as
701: \begin{equation}
702: \hat \Pi_x \equiv \exp\left[ \frac{\pi}{2i}\left( \hat x^2+ \hat p_x^2-\frac{1}{2}\right) \right].
703: \label{eq:Parity}
704: \end{equation}
705: To see that $\hat \Pi_x$ defined in Eq.~\eqref{eq:Parity} indeed changes the parity of the wave function, i.e.,
706: \begin{equation}
707: \hat \Pi_x \psi(x)=\psi(-x),
708: \end{equation}
709: we introduce annihilation operator $\hat a\equiv(\hat x+i \hat p_x)/\sqrt{2}$
710: and rewrite Eq.~\eqref{eq:Parity} as
711: \begin{equation}
712: \hat \Pi_x=\exp\left[ \frac{\pi}{i} \hat a^{\dagger} \hat a \right].
713: \label{eq:Pi_x}
714: \end{equation}
715: Expanding $\psi(x)$ in terms of the complete set of eigenfunctions of the harmonic oscillator $\varphi_n (x)$ and noting that $\varphi_n (x)$ is an even (odd) function of $x$ for even (odd) $n$, we obtain
716: \begin{equation}
717: \psi(x)=\sum_n c_n \varphi_n (x),
718: \end{equation}
719: and
720: \begin{equation}
721: \begin{split}
722: \hat \Pi_x \psi(x) &= \sum_n c_n \hat \Pi_x \varphi_n (x) \\
723: &=\sum_n c_n \exp\left[\frac{\pi}{i}n \right] \varphi_n (x) \\
724: &=\sum_n c_n (-1)^n \varphi_n (x) \\
725: &=\sum_n c_n \varphi_n (-x) =\psi(-x).
726: \end{split}
727: \end{equation}
728: Similarly, in terms of $\hat b\equiv (\hat y+ i \hat p_y)/\sqrt{2}$, we obtain
729: \begin{equation}
730: \hat \Pi_y=\exp\left[\frac{\pi}{i} \hat b^{\dagger} \hat b \right].
731: \label{eq:Pi_y}
732: \end{equation}
733: We note that Eqs.~\eqref{eq:Pi_x} and \eqref{eq:Pi_y} describe unitary evolutions implemented with phase shifters.
734:
735: We next define two-mode squeezing operator $\hat S(r)$ as
736: \begin{equation}
737: \hat S(r)\equiv \exp[ir(\hat x \hat p_y+\hat y \hat p_x)],
738: \end{equation}
739: which transforms input state $\psi(x)\phi(y)$ into
740: \begin{equation}
741: \begin{split}
742: &\hat S(r)\psi(x)\phi(y) \\
743: =&\psi(x\cosh r+y\sinh r)\phi(x\sinh r+ y\cosh r).
744: \end{split}
745: \label{eq:two_mode_squeeze}
746: \end{equation}
747: In terms of operators $\hat{a}$ and $\hat{b}$ already defined, the squeezing operator can be rewritten as
748: \begin{equation}
749: \hat S(r)=\exp[r(\hat a \hat b-\hat a^{\dagger} \hat b^{\dagger})],
750: \end{equation}
751: which describes the unitary evolution implemented with a non-degenerate parametric amplifier.
752:
753: Let us also define SWAP operator $\hat T(\theta)$ as
754: \begin{equation}
755: \hat T(\theta)\equiv \exp\left[-i\theta(\hat x\hat p_y-\hat y \hat p_x)\right],
756: \end{equation}
757: which transforms input state $\psi(x)\phi(y)$ into
758: \begin{equation}
759: \begin{split}
760: &\hat T(\theta)\psi(x) \phi(y) \\
761: =&\psi(x\cos \theta+y\sin \theta)\phi(-x \sin \theta+y \cos \theta).
762: \end{split}
763: \label{eq:rotation}
764: \end{equation}
765: In terms of operators $\hat{a}$ and $\hat{b}$, the SWAP operator can be expressed as
766: \begin{equation}
767: \hat T(\theta)=\exp[\theta(\hat a \hat b^{\dagger}-\hat b \hat a^{\dagger})],
768: \end{equation}
769: which describes the unitary evolution of a beam splitter.
770:
771: We now consider a unitary circuit as
772: \begin{equation}
773: \hat U(r, \theta_1, \theta_2, p)\equiv \hat T(\theta_2 ) \hat S(-r) \hat T(\theta_1) \hat \Pi_y^p,
774: \end{equation}
775: where $p$ takes on $0$ or $1$.
776: It follows from Eqs.~\eqref{eq:two_mode_squeeze} and \eqref{eq:rotation} that $\hat U$ transforms the input state $\psi(x)\phi(y)$ into
777: \begin{equation}
778: \hat U(r, \theta_1, \theta_2, p) \psi(x)\phi(y) =\psi(ax+by)\phi(cx+dy),
779: \label{U2}
780: \end{equation}
781: where parameters $a,b,c,d$ are given by
782: \begin{equation}
783: \begin{split}
784: a&=\cosh r\cos(\theta_{1}+\theta_{2})
785: -\sinh r \sin(\theta_{1}-\theta_{2})
786: , \\
787: b&=\cosh r \sin(\theta_{1}+ \theta_{2}) - \sinh r \cos( \theta_{1} - \theta_{2}), \\
788: c&=(-1)^{p+1} \left[\cosh r \sin (\theta_{1}+\theta_{2})+ \sinh r \cos (\theta_{1}- \theta_{2} \right], \\
789: d&=(-1)^p \left[\cosh r \cos (\theta_{1}+ \theta_{2})+ \sinh r \sin (\theta_{1}- \theta_{2}) \right].
790: \end{split}
791: \label{eq:two_mode_parameter}
792: \end{equation}
793: Thus $\hat U(r,\theta_1,\theta_2, p)$ defined by Eq.~\eqref{U2} is equivalent to $\hat U(a,b,c,d)$ defined by Eq.~\eqref{eq:Trans}, provided that Eqs.~\eqref{eq:two_mode_parameter} are met.
794:
795: We find from Eq.~\eqref{eq:two_mode_parameter} that the VNM circuit with $(a,b,c,d)=(1,0,-\lambda,1)$ can be implemented by using two beam splitters and a nondegenerate parametric amplifier with
796: \begin{equation}
797: r=\ln \left[ \frac{\lambda+\sqrt{\lambda^2+4}}{2}\right], \
798: \theta_{1}=\theta_{2}=\frac{1}{2}\tan^{-1}\frac{\lambda}{2}, \ p=0.
799: \label{eq:VNM_twomode_parameter}
800: \end{equation}
801: These parameters $r$ and $\theta_1$ satisfy the backaction-evading condition $\sin 2\theta_1=\tanh r$~\cite{Song}.
802:
803: On the other hand, the CSM circuit with $(a,b,c,d)=(0,\lambda^{-1},-\lambda,1)$ can also be implemented by using two beam splitters and a nondegenerate parametric amplifier with
804: \begin{equation}
805: \begin{split}
806: r&= \ln \left[ \frac{\sqrt{\Lambda_{+}^{2}+1}+\sqrt{\Lambda_{-}^2+1}}{2} \right],\ p=0, \\
807: \theta_{1}&= \frac{\tan^{-1} \Lambda_+ -\tan^{-1} \Lambda_-}{2}+ \frac{\pi}{4}, \\
808: \theta_{2}&= \frac{\tan^{-1} \Lambda_+ +\tan^{-1} \Lambda_-}{2}- \frac{\pi}{4},
809: \end{split}
810: \label{eq:CSM_twomode_parameter}
811: \end{equation}
812: where $\Lambda_{\pm}\equiv \lambda\pm \lambda^{-1}$.
813: Ozawa has shown that the CSM circuit for $\lambda=1$ can be constructed by using three $T(\theta)$ and two $S(r)$ operators~\cite{Ozawa2003}.
814: In contrast, our method just described can construct the CSM circuit by using two $T(\theta)$ and one $S(r)$ operators.
815:
816: SSM circuit $(a,b,c,d)=(0,\lambda^{-1},(-1)^{p+1} \lambda,0)$ can be implemented with
817: \begin{equation}
818: r=\ln \lambda, \ \theta_1= \theta_2 = \frac{\pi}{4}, \ p= 0 \ \text{or} \ 1.
819: \label{eq:SSM_twomode_parameter}
820: \end{equation}
821: %The squeezing degree of the SSM circuit is less than that of the CSM circuit;
822: %$|\ln \lambda|$ $<$ $\ln \left[ \left(\sqrt{\Lambda_{+}^{2}+1}+\sqrt{\Lambda_{-}^2+1}\right)/2 \right]$.
823: For the special case of $\lambda=1$, Eq.~\eqref{eq:VNM_twomode_parameter} becomes
824: \begin{equation}
825: r= \ln \varphi, \ \theta_{1}= \theta_{2}= \tan^{-1}\varphi -\frac{\pi}{4}, \ p=0,
826: \end{equation}
827: and Eq.~\eqref{eq:CSM_twomode_parameter} becomes
828: \begin{equation}
829: r= \ln \varphi, \ \theta_{1}= \tan^{-1}\frac{1}{\varphi} +\frac{\pi}{4}, \ \theta_{2}= \tan^{-1}\frac{1}{\varphi} -\frac{\pi}{4}, \ p=0,
830: \end{equation}
831: where $\varphi\equiv(1+\sqrt{5})/2$ is the golden ratio.
832: %Here we use identity
833: %\begin{equation}
834: %\begin{split}
835: %\frac{1}{2}\tan^{-1} x &=\tan^{-1} \frac{x}{1+\sqrt{x^2+1}} \\
836: %&=\tan^{-1}\left(x+\sqrt{x^2+1} \right)-\frac{\pi}{4}.
837: %\end{split}
838: %\end{equation}
839:
840: The foregoing discussion suggests that, from an experimental point of view, it would be more convenient to use the SWAP operator than the von Neumann operator.
841: An analogous situation in a spin-1/2 system has been presented in Ref.~\cite{Loss_DiVincenzo}.
842:
843: As discussed in Appendix~\ref{app:single_mode}, it is also possible to express an arbitrary unitary circuit in terms of the phase shift operator, SWAP operator, and single-mode squeezing operator. This implies that an arbitrary unitary circuit can be implemented using phase shifters, beam splitters and degenerate parametric amplifiers.
844:
845:
846: %%%%%%%%%%%%%%%%%%%%%%%%%
847: \section{Discussions}
848: \label{sec:Discussions}
849:
850: \subsection{Three models}
851: \label{sec:three_models}
852:
853: We have analyzed noiseless quantum measurements in a two-level system and a continuous-variable system and have shown that there is complete parallelism between the two-level and continuous-variable systems.
854: As a consequence, we can categorize those measurements into three classes.
855:
856: The first class is described by a VNM model.
857: This model is composed of a CNOT gate or a SUM gate, and the simplest among the three classes. However, it cannot break Heisenberg's noise-disturbance uncertainty relation because the probability
858: distribution for the outcome of the measurement depends on the initial state of the probe.
859:
860: The second class is described by a CSM model.
861: This model is composed of two CNOT gates or two SUM gates.
862: This model can break Heisenberg's noise-disturbance uncertainty relation because the probability distribution for the outcome is independent of the initial state of the probe.
863: The functional form of postmeasurement wave function, $\phi$, is arbitrary; however, outcome $a$ of the measurement does affect it as a shift of the coordinate as shown in Eq.~\eqref{eq:CSM_post}.
864:
865: The third class is described by an SSM model.
866: This model is composed of three CNOT gates or three SUM gates.
867: From the viewpoint of experimental realization, this is the simplest of the three models.
868: This model also can break Heisenberg's noise-disturbance uncertainty relation.
869: We can choose the postmeasurement state to be arbitrary and to depend neither on the outcome of the measurement nor on the observable to be measured.
870: The initialization of the state of the system is therefore straightforward.
871: Moreover, the SSM circuit does not depend on the observable to be measured, because the SSM circuit exchanges quantum states between the system and the probe.
872: Therefore, the SSM circuit can be used for noiseless measurement of an arbitrary observable.
873:
874: \subsection{Scaling parameter}
875:
876: In the analysis of continuous-variable systems, we have introduced scaling parameter $\lambda$.
877: The degree of freedom afforded by this parameter can be used to improve the resolution of the probe.
878:
879: As an example, let us consider the case in which the wave function of the system is sharply localized around two points A and B.
880: We assume that the probability distribution vanishes at the midpoint between A and B.
881: If the resolution of the apparatus is large compared with the distance between A and B,
882: we cannot distinguish between outcomes A and B from the position measurement.
883: However, if we introduce scaling parameter $\lambda$ into the measurement,
884: we can extend the distance between A and B by a factor of $\lambda$.
885: Therefore, if we choose an appropriate scaling parameter, we can distinguish between outcomes A and B.
886:
887: \subsection{Gravitational-wave detection}
888: \label{sec:Gravitation}
889:
890: The crucial concept in gravitational-wave detection is the standard quantum limit (SQL) for a free-mass position.
891: If a measurement model does not break the SQL, the model cannot detect gravitational waves.
892: It is known that CSM for position measurement is an example that breaks the SQL~\cite{Yuen, Ozawa, Ozawa_book}.
893: We can easily understand, if the wave function of the probe is prepared in a contractive state, SSM also can break the SQL~\cite{Yuen_SSM}.
894:
895: In respect of CSM, if the measurement outcome of the system is $x=a$, it is necessary to measure in the next measurement the position shift from $x=a$ which is a random variable.
896: Since the probe for gravitational-wave detection requires a very precise measurement of the position, we should use a probe having fine resolution in a certain range over which the value of the outcome is distributed.
897: In respect of SSM, however, the postmeasurement system state is independent of the measurement outcome.
898: Therefore, we only have to use the probe with fine resolution in the vicinity of the origin.
899:
900:
901: %%%%%%%%%%%%%%%%%%%%%%%%%
902: \section{Conclusion}
903: \label{sec:Conclusion}
904:
905: In this paper, we have classified noiseless quantum measurements into three classes in both two-level and continuous-variable systems.
906: We have analyzed the unitary transformation associated with each of these models by using quantum circuits.
907: We have proposed a model for swapping state measurement (SSM) as a noiseless measurement for an arbitrary observable.
908: SSM exchanges quantum states between the system and the probe before the projection postulate is applied to the probe.
909: SSM therefore has the property that the measurement disturbance depends neither on the observable nor on the outcome of the measurement, and consequently the corresponding unitary circuit does not depend on the observable.
910: %The SSM thus has the advantages over the contractive state measurement in that the physical realization and initialization of the measured system are much easier.
911:
912: \section*{Acknowledgements}
913: The authors thank K. Murata and S. Nakajima for useful discussions.
914: This work was supported by a 21st Century COE program at Tokyo Tech, ``Nanometer-Scale Quantum Physics,'' from the Ministry of Education, Culture, Sports, Science and Technology of Japan, and by a CREST program of the JST.
915:
916:
917: %%%%%%%%%%%%%%%%%%%%%%%%%
918: \appendix
919: \section{Proof of Eq.~(\ref{eq:double_Hamiltonian})}
920: \label{app:DCNOT_Hamiltonian}
921: We define an operator $\hat B$ as
922: \begin{equation}
923: \hat B\equiv \frac{\hat \sigma^y_{\rm s}(\hat I-\hat \sigma^x_{\rm p}-\hat \sigma^z_{\rm p})-(\hat I- \hat \sigma^x_{\rm s}-\hat \sigma^z_{\rm s})\hat \sigma^y_{\rm p}}{2\sqrt{3}}.
924: \end{equation}
925: We use relation $\hat B^3=\hat B$ to show that
926: \begin{equation}
927: \begin{split}
928: \exp [it \hat B]&= \hat I +\hat B \sum_{n=0}^{\infty} \frac{(it)^{2n+1}}{(2n+1)!} +\hat B^2 \sum_{n=1}^{\infty} \frac{(it)^{2n}}{2n!} \\
929: &=\hat I+(i\sin t) \hat B+ (\cos t -1)\hat B^2.
930: \end{split}
931: \end{equation}
932: By noting that $\hat U^{\rm DCNOT}_{\rm s\text{-}p}$ can be decomposed as $\hat U^{\rm DCNOT}_{\rm s\text{-}p}=\hat U^{\rm CNOT}_{\rm s\text{-}p} \hat U^{\rm CNOT}_{\rm p\text{-}s}$,
933: we obtain
934: %\begin{widetext}
935: \begin{equation}
936: \begin{split}
937: &\exp\left[\frac{2i\pi}{3} \hat B\right] =I+i\frac{\sqrt{3}}{2}\hat B-\frac{3}{2}\hat B^2 \\
938: %=&I+\frac{(i\sigma^y_{\rm s})(I-\sigma^x_{\rm p}- \sigma^z_{\rm p})-( I- \sigma^x_{\rm s}- \sigma^z_{\rm s})(i \sigma^y_{\rm p})}{4}
939: %-\frac{3I-\sigma^x_{\rm s}- \sigma^z_{\rm s}- \sigma^x_{\rm p}- \sigma^z_{\rm p}}{4}
940: %+\frac{(\sigma^x_{\rm s}-\sigma^z_{\rm s})( \sigma^x_{\rm p}- \sigma^z_{\rm p})-(i \sigma^y_{\rm s})(i \sigma^y_{\rm p})}{4} \\
941: %=&\frac{I+\sigma^x_{\rm s}+ \sigma^z_{\rm s}+ \sigma^x_{\rm p}+ \sigma^z_{\rm p}}{4} +\frac{ \sigma^z_{\rm s} \sigma^x_{\rm s}( I- \sigma^x_{\rm p}- \sigma^z_{\rm p})+( I- \sigma^x_{\rm s}- \sigma^z_{\rm s}) \sigma^x_{\rm p} \sigma^z_{\rm p}}{4}
942: %+\frac{(\sigma^x_{\rm s}- \sigma^z_{\rm s})( \sigma^x_{\rm p}- \sigma^z_{\rm p})+ \sigma^z_{\rm s} \sigma^x_{\rm s} \sigma^x_{\rm p} \sigma^z_{\rm p}}{4} \\
943: %=&I-\frac{(I-\sigma^z_{\rm s})(I-\sigma^x_{\rm p})}{2}-\frac{(I-\sigma^x_{\rm s})(I-\sigma^z_{\rm p})}{2}+\frac{(I-\sigma^z_{\rm s})(I-\sigma^x_{\rm s})(I-\sigma^x_{\rm p})(I-\sigma^z_{\rm p})}{4} \\
944: %=&\left[I-\frac{(I-\sigma^z_{\rm s})(I-\sigma^x_{\rm p})}{2}\right]\cdot\left[I-\frac{(I-\sigma^x_{\rm s})(I-\sigma^z_{\rm p})}{2}\right] \\
945: =&\left[\frac{\hat I+\hat \sigma^z_{\rm s}}{2}+\frac{\hat I-\hat \sigma^z_{\rm s}}{2}\hat \sigma^x_{\rm p}\right]\cdot\left[\frac{\hat I+\hat \sigma^z_{\rm p}}{2}+\hat \sigma^x_{\rm s}\frac{\hat I-\hat \sigma^z_{\rm p}}{2}\right] \\
946: =&\hat U^{\rm CNOT}_{\rm s \text{-}p} \hat U^{\rm CNOT}_{\rm p\text{-}s} \\
947: =&\hat U^{\rm DCNOT}_{\rm s\text{-}p}.
948: \end{split}
949: \end{equation}
950: %\end{widetext}
951:
952:
953: %%%%%%%%%%%%%%%%%%%%%%%%%
954: \section{Proof of Eq.~(\ref{eq:SSM_single_Hamiltonian}) }
955: \label{app:SSM}
956:
957: As shown in Sec.~\ref{sec:IHUG}, parity inversion operator $\hat \Pi_x$ can be expressed as
958: \begin{equation}
959: \hat \Pi_x=\exp \left[ \frac{\pi}{2i} \left( \hat x^2+ \hat p_x^2- \frac{1}{2} \right) \right].
960: \label{eq:parity_inversion}
961: \end{equation}
962: We define operator $\hat C$ as
963: \begin{equation}
964: \begin{split}
965: \hat C=\frac{\lambda \hat x^2+ \lambda^{-1} \hat p_x^2}{2}+ \frac{\lambda^{-1} \hat y^2+ \lambda \hat p_y^2}{2} -(\hat x\hat y +\hat p_x \hat p_y)-\frac{1}{2},
966: \end{split}
967: \end{equation}
968: and consider the following transformation of variables:
969: \begin{eqnarray}
970: \hat X \equiv \sqrt{\frac{\lambda}{2}} \hat x- \frac{\hat y}{\sqrt{2\lambda}}, \ \hat P_X \equiv \frac{\hat p_x}{\sqrt{2\lambda}} - \sqrt{\frac{\lambda}{2}} \hat p_y,
971: \\
972: \hat Y \equiv \sqrt{\frac{\lambda}{2}} \hat x + \frac{\hat y}{\sqrt{2\lambda}}, \ \hat P_Y \equiv \frac{\hat p_x}{\sqrt{2\lambda}} + \sqrt{\frac{\lambda}{2}} \hat p_y,
973: \end{eqnarray}
974: where
975: \begin{eqnarray}
976: [\hat X , \hat P_X ] =[\hat Y , \hat P_Y ]=i, \
977: [\hat X , \hat P_Y ] =[\hat Y , \hat P_X ]=0.
978: \end{eqnarray}
979: Then $\hat C$ is expressed as
980: \begin{equation}
981: \hat C=\hat X^2 + \hat P_X^2-\frac{1}{2}.
982: \end{equation}
983: Hence,
984: \begin{equation}
985: \hat \Pi_X=\exp \left[ \frac{\pi}{2i} \hat C \right].
986: \end{equation}
987: Therefore,
988: \begin{equation}
989: \begin{split}
990: &\exp \left[ \frac{\pi}{2i} \hat C \right] \psi(x) \phi(y) \\
991: =&\hat \Pi_X \left[ \psi\left( \frac{Y+X}{\sqrt{2\lambda}} \right) \phi \left(\sqrt{\frac{\lambda}{2}}(Y-X) \right) \right]\\
992: =&\psi\left( \frac{Y-X}{\sqrt{2\lambda}} \right) \phi \left(\sqrt{\frac{\lambda}{2}}(Y+X) \right) \\
993: =&\psi\left( \lambda^{-1} y \right) \phi \left( \lambda x \right).
994: \end{split}
995: \end{equation}
996:
997:
998:
999: %%%%%%%%%%%%%%%%%%%%%%%%%
1000: \section{Representation of a general unitary operator using single-mode squeezing operators}
1001: \label{app:single_mode}
1002:
1003: We define single-mode squeezing operators $\hat S_x(r)$ and $\hat S_y(r)$ as
1004: \begin{eqnarray}
1005: & & \hat S_{x}(r)\equiv \exp \left[\frac{ir}{2}(\hat x\hat p_x+\hat p_x \hat x) \right],
1006: \\
1007: & & \hat S_{y}(r)\equiv \exp \left[\frac{ir}{2}(\hat y\hat p_y+\hat p_y \hat y)\right].
1008: \end{eqnarray}
1009: Operator $\hat S_x(r)$ transforms wave function $\psi(x)$ into
1010: \begin{equation}
1011: \hat S_x(r)\psi(x) =e^{r/2} \psi(e^{r} x).
1012: \label{eq:squeezing}
1013: \end{equation}
1014: In terms of an annihilation operator $\hat a\equiv(\hat x+i \hat p_x)/\sqrt{2}$, $\hat S_x(r)$ can be expressed by $\hat S_x(r)=\exp[\frac{r}{2}( \hat a^2- \hat a^{\dagger 2})]$.
1015: The squeezing operator therefore describes the unitary evolution of a degenerate parametric amplifier.
1016:
1017: We now consider a unitary circuit as
1018: \begin{equation}
1019: \hat U(r',\theta_1',\theta_2', p) \equiv \hat T(\theta_2' ) \hat S_y(r')\hat S_x(-r')\hat T(\theta_1') \hat \Pi_y^p.
1020: \end{equation}
1021: It follows from Eqs.~\eqref{eq:rotation} and \eqref{eq:squeezing}
1022: that $\hat U$ transforms the input state $\psi(x)\phi(y)$ into
1023: \begin{equation}
1024: \hat U(r',\theta_1',\theta_2', p) \psi(x)\phi(y) =\psi(ax+by)\phi(cx+dy),
1025: \end{equation}
1026: where parameters $a,b,c$ and $d$ are given by
1027: \begin{equation}
1028: \begin{split}
1029: a&=\cosh r' \cos(\theta_{1}'+\theta_{2}') - \sinh r' \cos(\theta_{1}'- \theta_{2}'), \\
1030: b&=\cosh r' \sin(\theta_{1}'+ \theta_{2}') + \sinh r' \sin( \theta_{1}' - \theta_{2}'), \\
1031: c&=(-1)^{p+1}\left[\cosh r' \sin (\theta_{1}'+\theta_{2}')- \sinh r' \sin (\theta_{1}'- \theta_{2}')\right], \\
1032: d&=(-1)^p \left[\cosh r' \cos (\theta_{1}'+ \theta_{2}')+ \sinh r' \cos (\theta_{1}'- \theta_{2}') \right].
1033: \end{split}
1034: \label{eq:single_mode_parameter}
1035: \end{equation}
1036: If we take
1037: \begin{equation}
1038: %\begin{split}
1039: r' =r, \
1040: \theta_1' =\theta_1-\frac{\pi}{4}, \
1041: \theta_2' =\theta_2+\frac{\pi}{4},
1042: %\end{split}
1043: \label{eq:VNM_parameter}
1044: \end{equation}
1045: then Eq.~\eqref{eq:single_mode_parameter} coincides with Eq.~\eqref{eq:two_mode_parameter}.
1046: Therefore, the parameters $r',\theta_{1}',\theta_{2}'$ for the VNM, CSM and SSM circuits can be determined from Eqs.~\eqref{eq:VNM_twomode_parameter}, \eqref{eq:CSM_twomode_parameter} and \eqref{eq:SSM_twomode_parameter}, respectively.
1047:
1048: Incidentally, the SSM circuit can also be implemented by using a circuit described by
1049: \begin{equation}
1050: \hat S_y(\ln \lambda^{-1} ) \hat T \left( \frac{\pi}{2} \right) \hat S_y(\ln \lambda ) \hat \Pi_y^p.
1051: \end{equation}
1052: This circuit has the advantage that system's squeezing operator $\hat S_x(r)$ is not necessary.
1053:
1054:
1055:
1056: \begin{thebibliography}{99}
1057: \bibitem{von_Neumann}
1058: J. von Neumann, in \textit{Mathematical Foundations of Quantum Mechanics} (Princeton Univ. Press, Princeton, 1955).
1059:
1060: \bibitem{Heisenberg}
1061: W. Heisenberg, Z. Phys. \textbf{43}, 172 (1927).
1062:
1063: \bibitem{Ozawa2003}
1064: M. Ozawa, Phys. Rev. A \textbf{67}, 042105 (2003).
1065:
1066: \bibitem{Braginsky}
1067: V. B. Braginsky and Yu. I. Vorontsov, Ups. Fiz. Nauk. \textbf{114}, 41 (1974) [Sov. Phys. Usp. \textbf{17}, 644 (1975)].
1068:
1069: \bibitem{Caves_et_al}
1070: C. M. Caves, K. S. Thorne, R. W. P. Drever, V. D. Sandberg, and M. Zimmermann, Rev. Mod. Phys. \textbf{52}, 341 (1980).
1071:
1072: \bibitem{Yuen}
1073: H. P. Yuen, Phys. Rev. Lett. \textbf{51}, 719 (1983); Phys. Rev. Lett. \textbf{52}, 1730 (1984).
1074:
1075: \bibitem{Ozawa}
1076: M. Ozawa, Phys. Rev. Lett. \textbf{60}, 385 (1988).
1077:
1078: \bibitem{Ozawa_book}
1079: M. Ozawa, in \textit{Squeezed and Nonclassical Light}, edited by P. Tombesi and E. R. Pike (Plenum, New York, 1989), p. 263.
1080:
1081: \bibitem{Yuen_SSM}
1082: H. P. Yuen, in \textit{Quantum Squeezing}, edited by P. D. Drummond and Z. Ficek (Springer, New York, 2004), p. 227.
1083:
1084: \bibitem{Gottesman}
1085: D. Gottesman, A. Kitaev, and J. Preskill, Phys. Rev. A \textbf{64}, 012310 (2001).
1086:
1087: \bibitem{Bartlett}
1088: S. D. Bartlett, B. C. Sanders, S. L. Braunstein, and K. Nemoto, Phys. Rev. Lett. \textbf{88}, 097904 (2002).
1089:
1090: \bibitem{Braunstein}
1091: S. L. Braunstein and P. van Loock, Rev. Mod. Phys. \textbf{77}, 513 (2005).
1092:
1093: \bibitem{Ozawa2001}
1094: M. Ozawa, Phys. Lett. A \textbf{282}, 335 (2001).
1095:
1096: \bibitem{Feynman}
1097: R. P. Feynman, Opt. News \textbf{11}, 11 (1985); Found. Phys. \textbf{16}, 507 (1986).
1098:
1099: \bibitem{Deutsch}
1100: D. Deutsch, Proc. R. Soc. Lond. A \textbf{400}, 97 (1989).
1101:
1102: \bibitem{Gordon_Louisell}
1103: J. P. Gordon and W. H. Louisell, in \textit{Physics of Quantum Electronics}, edited by P. L. Kelly, B. Lax, and P. E.
1104: Tannenwald (McGraw-Hill, NY, 1966), pp. 833.
1105:
1106: \bibitem{Davies_Lewis}
1107: E. B. Davies and J. T. Lewis, Commun. Math. Phys. \textbf{17}, 239 (1970).
1108:
1109: \bibitem{Yurke}
1110: B. Yurke, J. Opt. Soc. Am. B \textbf{2}, 732 (1985).
1111:
1112: \bibitem{Loss_DiVincenzo}
1113: D. Loss and D. P. DiVincenzo, Phys. Rev. A \textbf{57}, 120 (1998).
1114:
1115: \bibitem{Makhlin}
1116: Y. Makhlin, Quantum Inf. Process. \textbf{1}, 243 (2002).
1117:
1118: \bibitem{Fan_et_al}
1119: H. Fan, V. Roychowdhury, and T. Szkopek, Phys. Rev. A \textbf{72}, 052323 (2005).
1120:
1121: \bibitem{Ozawa1990}
1122: M. Ozawa, Phys. Rev. A \textbf{41}, 1735 (1990).
1123:
1124: \bibitem{D'Ariano}
1125: G. M. D'Ariano, M. F. Sacchi, and R. Seno, Nuovo Ciment B \textbf{114}, 775 (1999).
1126:
1127: \bibitem{Song}
1128: S. Song, C. M. Caves, and B. Yurke, Phys. Rev. A \textbf{41}, 5261 (1990).
1129:
1130: \end{thebibliography}
1131:
1132: \end{document}
1133:
1134: