1: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2: % Additivity properties of a Gaussian Channel
3: % Vittorio Giovannetti and Seth Lloyd
4: % accepted for pub by PRA
5: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
6: \documentclass[twocolumn,aps,pra,groupedaddress,showpacs]{revtex4}
7: \usepackage{epsfig,amssymb,amsmath}
8: %\def\comment#1{ [{\bf Comment:} {\sf #1}]}\def\labell#1{\label{#1}{\mbox{{\tiny #1}}}}
9: \def\comment#1{}\def\labell#1{\label{#1}}
10: \def\cm{{\cal M}}\def\cn{{\cal N}}\def\ce{{\cal E}}\def\ms{{\mathbb S}}\def\mw{{\mathbb W}}
11: \def\vi#1{\stackrel{\mbox{\tiny $\leftrightarrow$}}{#1}}
12: \def\va#1{\stackrel{\mbox{\tiny $\rightarrow$}}{#1}}
13: \def\vu#1{\stackrel{\mbox{\tiny $\leftarrow$}}{#1}}
14: \begin{document}
15: %{\scriptsize Eprint: quant-ph/}
16: %Title of paper
17: \title{Additivity properties of a Gaussian channel}
18: \author{Vittorio Giovannetti$^1$ and Seth Lloyd$^{1,2}$}
19: \affiliation{$^1$Massachusetts Institute of Technology
20: -- Research Laboratory of Electronics\\$^2$
21: Massachusetts Institute
22: of Technology -- Department of Mechanical Engineering\\ 77
23: Massachusetts Ave., Cambridge, MA 02139, USA}
24: %\date{\today}
25:
26: \begin{abstract}
27: The Amosov-Holevo-Werner conjecture implies the additivity of
28: the minimum R\'enyi entropies at the output of a channel.
29: The conjecture is proved true for all R\'enyi
30: entropies of integer order greater than two
31: in a class of Gaussian Bosonic channel
32: where the input signal is randomly displaced
33: or where it is coupled linearly to an external environment.
34: \end{abstract}
35: \pacs{03.67.Hk,03.67.-a,03.65.Db,42.50.-p} \maketitle
36: One of the most challenging open questions of quantum communication
37: theory is the additivity of the various quantities characterizing
38: the information transmission in a channel \cite{shorequiv}.
39: The issue at hand is whether quantum entanglement
40: is able to improve the performance
41: of classical protocols \cite{chuang,shor}.
42: The supposed additivity of the Holevo information \cite{hole}
43: is the most important example of this kind of issue.
44: The maximum of this quantity
45: over all possible encoding procedures is known
46: to provide the capacity $C_1$ in transmitting classical
47: information for a single use of the channel.
48: However, if the sender of the message is
49: allowed to encode messages in entangled states among $m$
50: successive uses of the communication line, then the resulting capacity
51: per channel use might be higher than $C_1$ \cite{HSW}.
52: For this reason to compute the
53: ultimate classical capacity $C$ of the channel it
54: is necessary to introduce a regularization of the
55: Holevo information where
56: a limit $m \rightarrow \infty$ has to be performed \cite{shorequiv,HSW}.
57: All this could be avoided if only the
58: Holevo information was shown to be an additive quantity.
59: Up to now no channel has been found for
60: which this regularization is necessary:
61: on the contrary all the channels for which the value
62: of $C$ has been calculated have additive
63: Holevo information~\mbox{\cite{add,king1,c}}.
64:
65: The additivity of the Holevo information has been linked
66: to the additivity of other
67: relevant quantities in Ref. \cite{shorequiv}. In particular,
68: it is known that proving the additivity of the
69: Holevo information is equivalent to proving the additivity
70: of the minimum von Neumann entropy $\ms$ at the output of the
71: channel.
72: Given a channel described by the
73: completely positive (CP) linear
74: map $\cal M$ on the input space $\cal H$,
75: this quantity is defined as
76: \begin{eqnarray}
77: \ms({\cal M}^{\otimes m}) \equiv \min_{\rho\in {\cal H}^{\otimes m}}
78: S\left({\cal M}^{\otimes m}(\rho)\right)\;, \labell{entropy}
79: \end{eqnarray}
80: where the minimization is performed over
81: all the possible input states $\rho$ of $m$ successive uses of the channel,
82: and where $S(\rho)\equiv -\mbox{Tr}[\rho \ln \rho]$.
83: The additivity hypothesis requires $\ms({\cal M}^{\otimes m})$ to be
84: equal to $m$ times the minimum entropy for a single
85: use of the channel $\ms({\cal M})$: this conjecture seems simpler
86: to study than the additivity of the Holevo information and
87: some authors have focused their attention to it
88: \cite{ruskai1,entro,entro1,king1}.
89: As a matter of fact the alleged additivity of the $\ms$ is just
90: a particular instance of the Amosov-Holevo-Werner conjecture
91: \cite{asomov} which requires the maximum of the output $z$-norm $\nu_z({\cal M}^{\otimes m})$
92: of the channel to be multiplicative, i.e.
93: it requires that for $m$ integer
94: \begin{eqnarray}
95: \nu_z({\cal M}^{\otimes m})\equiv \max_{\rho\in {\cal H}^{\otimes m}}
96: \|{\cal M}^{\otimes m} (\rho)\|_z = \, \left[\nu_{{z}}({\cal M})\right]^m
97: \labell{normach}
98: \end{eqnarray}
99: where the maximization is performed again over all the input states
100: of $m$ uses of the channel and where
101: \begin{eqnarray}
102: \|A\|_z \equiv \left( \mbox{Tr}|A|^z \right)^{1/z}
103: \qquad z\geqslant 1 \labell{norme}
104: \end{eqnarray}
105: is the $z$-norm of the operator $A$. In other words,
106: the conjecture requires the maximization in the left-hand-side of
107: Eq.~(\ref{normach}) to be achieved on non entangled states of ${\cal
108: H}^{\otimes m}$.
109: The connection between the property of Eq.~(\ref{normach}) and
110: the additivity of the minimal output entropy, can be established through
111: the quantum R\'enyi entropy
112: \begin{eqnarray}
113: S_{z}(\rho)\equiv-\frac {\ln\mbox{Tr}[\rho^{z}]}{{z}-1}
114: \;\labell{defrenyi}.
115: \end{eqnarray}
116: This quantity is monotonic with respect to the
117: ${z}$-norm (\ref{norme}) of the state $\rho$. For $z=2$ the R\'enyi entropy is
118: a function of the linear entropy $1-\mbox{Tr}[\rho^2]$ and
119: in the limit ${z}\to 1$ it tends to the von Neumann entropy
120: \cite{zyc}.
121: As for the case of $S$ one can define the minimal value
122: \begin{eqnarray}
123: \ms_{z}(\cm^{\otimes m})\equiv\min_{\rho\in {\cal H}^{\otimes
124: m}}\; S_{z}(\cm^{\otimes m}(\rho)).
125: \;\labell{defmsr}
126: \end{eqnarray}
127: If the Amosov-Holevo-Werner conjecture (\ref{normach}) is true then
128: the minimum output $z$-R\'enyi entropy is additive and {\em vice versa}.
129: Moreover,
130: if such property is
131: verified for values of $z$ arbitrarily close to $1$ then the additivity
132: of $\ms$ (and hence of the Holevo information)
133: follows \cite{asomov1}.
134:
135: In this paper we will analyze the conjecture (\ref{normach}) for a
136: set Gaussian channels and prove that it
137: is true for all integer~$z$. The material is
138: organized as follows.
139: In Sect. \ref{s:channel} we introduce the simple Gaussian channel model
140: ${\cal N}_n$ and in Secs. \ref{s:proof} and \ref{s:optimal}
141: we show that the conjecture (\ref{normach}) applies to this
142: channel when $z$ is integer.
143: In Sec. \ref{s:other} we analyze the case of generic~$z$
144: giving some bounds for $\nu_z({\cal N}_n^{\otimes m})$. In
145: Sec. \ref{s:altri} we generalize the results of the
146: first section to a whole class of Gaussian channels.
147:
148:
149:
150: \section{The channel model}\labell{s:channel}
151: The channel we analyze here
152: is a Bosonic linear channel
153: where the photonic signal from the sender is displaced
154: randomly by the environment.
155: This system is described
156: by the CP map ${\cal N}_n$ which transforms
157: the input state of the channel into the output
158: \begin{eqnarray}
159: {\cal N}_n (\rho)=\int d^2 \mu \;
160: P_{n}(\mu) \; D(\mu)\rho D^{\dagger}(\mu)
161: \labell{due}
162: \end{eqnarray}
163: where, for $n\geqslant 0$, $P_n(\mu)$ is the circularly
164: symmetric probability distribution
165: \begin{eqnarray}
166: P_n(\mu)=\frac{e^{-|\mu|^2/n}}{\pi n},
167: \labell{tre}
168: \end{eqnarray}
169: and $D(\mu)\equiv \exp(\mu a^\dag - \mu^* a)$ is the displacement
170: operator of the annihilation $a$ of the input signal.
171: This channel is Gaussian, i.e. it
172: maps the set of input states
173: with Gaussian symmetrically characteristic function
174: into itself \cite{werner}.
175: Moreover, the
176: map (\ref{due}) is unital (i.e. it transforms the identity operator
177: in to itself) and it is covariant under
178: displacement or phase transformation \cite{entro}.
179: When ${\cal N}_n$ acts on a coherent state
180: $\rho_\alpha\equiv|\alpha\rangle\langle \alpha|$
181: the following transformation takes place,
182: \begin{eqnarray}
183: \rho_\alpha \rightarrow
184: \cn_n(\rho_\alpha)= D(\alpha)\; \tau(n)\; D^{\dag}(\alpha)
185: \labell{coherent}\;,
186: \end{eqnarray}
187: with
188: \begin{eqnarray}
189: \tau(n)\equiv\frac{1}{n+1}\left(\frac{n}{ n+1}
190: \right)^{a^\dag a}
191: \labell{vacuum}\;,
192: \end{eqnarray}
193: the thermal state that gives the output of the
194: channel for a vacuum input \cite{entro}.
195: The state $\cn_n(\rho_\alpha)$ has $z$-norm~(\ref{norme}) equal to
196: \begin{eqnarray}
197: \| \cn_n(\rho_\alpha) \|_z \equiv \left[\frac{1}{(n+1)^z-n^z}\right]^{1/z}
198: \labell{normalpha}
199: \end{eqnarray}
200: which does not depend on $\alpha$ since it is
201: invariant under the unitary transformation $D(\alpha)$.
202: %[The $z$-norm
203: %is invariant under the unitary transformation $D(\alpha)$].
204: In Ref. \cite{entro1} the
205: right-hand-side of Eq.~(\ref{normalpha}) was shown
206: to coincide with the $z$-norm of the single use of the
207: channel $\nu_{{z}}({\cal N}_n)$, at least for all $z=k$ integer.
208: In Sec. \ref{s:proof} we will generalize this result
209: showing that, for all integer $k$, the classical
210: channel satisfies the identity,
211: \begin{eqnarray}
212: \nu_{{k}}({\cal N}_n^{\otimes m}) = \,
213: \left[\frac{1}{(n+1)^k-n^k}\right]^{m/k}
214: \labell{normach1}
215: \end{eqnarray}
216: hence proving the conjecture (\ref{normach}) for integer $z=k$ for the
217: channel ${\cal N}_n$.
218: Equations (\ref{normalpha}) and (\ref{normach1}) imply that
219: the maximization implicit in the
220: definition of $\nu_{{k}}({\cal N}_n^{\otimes m})$ is achievable with
221: separable input states of the form $|\alpha_1\rangle_1 \otimes
222: \cdots \otimes |\alpha_m\rangle_m$, i.e. by feeding the channel
223: with a coherent state in each of the $m$
224: successive uses. This result will be proved explicitly in
225: Sec \ref{s:optimal}.
226:
227: \subsection{The proof}\labell{s:proof}
228:
229: In this section we show that Eq.~(\ref{normach1}) applies for
230: integer~$z$. Clearly, the right-hand-side of this equation
231: is a lower bound for the left-hand-side:
232: the former is in fact the output $z$-norm associated
233: to the input signal where the $m$ uses
234: of the channel have been prepared in coherent states.
235: To prove the equality in Eq.~(\ref{normach1}) it is hence sufficient to show
236: that the right-hand-side is also an upper bound for
237: $\nu_{{k}}({\cal N}_n^{\otimes m})$,
238: i.e. that for all input states $\rho\in{\cal
239: H}^{\otimes m}$ the following
240: inequality applies,
241: \begin{eqnarray}
242: \mbox{Tr} \left\{[\cn_n^{\otimes m}(\rho)]^{k} \right\}
243: \leqslant \left[\frac{1}{(n+1)^z-n^z}\right]^{m} \labell{thesis}
244: \end{eqnarray}
245: The method to derive this property
246: is similar to the one given in
247: Ref. \cite{entro1} where an analogous approach was used to calculate
248: the minimum output R\'enyi entropy (\ref{defrenyi})
249: of integer order for a single
250: channel use ($m=1$). The only difference is that here
251: we are dealing with an extra tensorial structure associated with
252: $m> 1$.
253: For the sake of clarity we divide the proof in two separate
254: parts.
255: First we show that the quantity on the left-hand-side of
256: Eq.~(\ref{thesis}) can be expressed as the expectation value
257: of an diagonalizable \cite{TYPO} operator $\Theta$ which acts on the Hilbert space
258: $({\cal H}^{\otimes m})^{\otimes k}$: this allows us to derive an upper bound
259: for $\mbox{Tr} \left\{[\cn_n^{\otimes m}(\rho)]^{k} \right\}$ by
260: considering the eigenvalue $\lambda_0$ of $\Theta$ with maximum absolute value.
261: The second part of the proof is devoted to the analysis of the tensorial
262: structure of $\Theta$ and to the proof that $\lambda_0$
263: coincides with the left-hand-side
264: of Eq.~(\ref{thesis}).
265:
266: %\subsubsection*{Part one.}
267: \paragraph*{Part one:--}
268: Without loss of generality we
269: can assume the initial state of the
270: $m$ uses of the channel
271: to be pure, i.e. $\rho=|\psi\rangle\langle\psi|$.
272: The convexity of the norm
273: (\ref{norme}) guaranties in fact
274: that the maximization in Eq.~(\ref{normach}) is achievable
275: with pure input states
276: \cite{asomov,asomov1}:
277: thus if Eq.~(\ref{thesis})
278: holds for all pure states, then it is valid also for all
279: the other channel inputs.
280: In general $|\psi\rangle$ will be entangled among the various
281: channel uses and the corresponding output state will be
282: \begin{eqnarray}
283: &&\cn_n^{\otimes m}(\rho)=
284: \int d^2\mu_1\cdots d^2\mu_{m}
285: P_n(\mu_1)\cdots P_n(\mu_{m})\nonumber\\
286: &&\quad D_1(\mu_1) \cdots D_m(\mu_m)\; \rho \;
287: D^\dag(\mu_1) \cdots D_m^\dag(\mu_{m})\;,\labell{rhoout}
288: \end{eqnarray}
289: where $D_{r}(\mu)\equiv
290: \exp(\mu a_{r}^\dag - \mu^* a_{r})$ is
291: the displacement associated with the annihilation operator $a_{r}$ of
292: the ${r}$th use of the channel.
293: Equation (\ref{rhoout}) can be expressed in a more compact form
294: by introducing a vectorial notation, where
295: $\vec{\mu}\equiv(\mu_1,\cdots,\mu_m)$ is a
296: complex vector in ${\mathbb C}^{m}$ and
297: $\vec{a}\equiv(a_1,\cdots,a_m)$. The output state
298: becomes thus
299: \begin{eqnarray}
300: \cn_n^{\otimes m}(\rho)=\int d^2\vec{\mu} \;\;P_n(\vec{\mu})\;
301: D(\vec{\mu}) \; \rho \;
302: D^\dag(\vec{\mu}) \;,
303: \end{eqnarray}
304: where
305: \begin{equation}
306: P_n(\vec{\mu}) \equiv \frac{\exp[-|\vec{\mu}|^2/n]}{(\pi n)^m}
307: \end{equation}
308: and $D(\vec{\mu})=\exp(\vec{\mu}\cdot \vec{a}^{\dag} -
309: \vec{a}\cdot\vec{\mu}^{\dag})$ is a multi-mode displacement operator where
310: the input of the ${r}$th use of the channel is displaced by $\mu_{r}$.
311: Consider now for $z=k$ integer the quantity
312: \begin{eqnarray}
313: &&\mbox{Tr} \left\{[\cn_n^{\otimes m}(\rho)]^{k} \right\}=
314: \int d^2\vec{\mu}_1\cdots d^2\vec{\mu}_{k}
315: P_n(\vec{\mu}_1)\cdots P_n(\vec{\mu}_{k})\nonumber\\
316: &&\qquad\times\mbox{Tr}[D(\vec{\mu}_1)\rho D^\dag(\mu_1) \cdots
317: D(\vec{\mu}_k)\rho D^\dag(\mu_k)]
318: \;\labell{rhoalla}.
319: \end{eqnarray}
320: Since $\rho=|\psi\rangle\langle \psi|$,
321: the trace in the integral can be expressed as
322: the expectation value of an operator $\Theta$ which acts in a
323: extended Hilbert space $({\cal H}^{\otimes m})^{\otimes k}$ made of
324: $k$ copies of the initial one. In fact, from the invariance of the
325: trace under cyclic permutation we have
326: \begin{widetext}
327: \begin{eqnarray}\nonumber
328: &&\mbox{Tr}[D(\vec{\mu}_1)\rho D^\dag(\vec{\mu}_1)
329: \cdots D(\vec{\mu}_k) \rho D^\dag(\vec{\mu}_{k})]
330: =\langle\psi|D^\dag(\vec{\mu}_1)D(\vec{\mu}_2)|\psi\rangle
331: \langle\psi|D^\dag(\vec{\mu}_2)D(\vec{\mu}_3)|\psi\rangle\cdots
332: \langle\psi|D^\dag(\vec{\mu}_{k})D(\vec{\mu}_1)|\psi\rangle\\
333: &&\qquad\qquad=\mbox{Tr}\left\{(\rho\otimes\rho\otimes
334: \cdots\otimes\rho)\left[D_1^\dag(\vec{\mu}_1)
335: D_1(\vec{\mu}_2)\otimes D_2^\dag(\vec{\mu}_2)
336: D_2(\vec{\mu}_3)\otimes
337: \cdots \otimes D_{k}^\dag(\vec{\mu}_{k})D_{k}(\vec{\mu}_1)\right]\right\}
338: \;,\labell{do}
339: \end{eqnarray}
340: \end{widetext}
341: where the ${k}$ scalar products in the input Hilbert space ${\cal
342: H}^{\otimes m}$ in
343: the first line were replaced with a single expectation value in
344: $({\cal H}^{\otimes{m}})^{\otimes k}$ in the second line.
345: In Eq.~(\ref{do}) the operator $D_s(\vec{\mu})$
346: represents
347: the multi-mode displacement
348: that operates on the $s$th copy of ${\cal H}^{\otimes m}$, i.e.
349: \begin{eqnarray}
350: D_s(\vec{\mu})=\exp(\vec{\mu}\cdot \vec{a}_s^{\dag} -
351: \vec{a}_s\cdot\vec{\mu}^{\dag})
352: \labell{multid}
353: \end{eqnarray}
354: where for $s=1,\cdots k$
355: \begin{eqnarray}
356: \vec{a}_s\equiv(a_{s1},a_{s2},\cdots,a_{sm})\;,
357: \labell{avec}
358: \end{eqnarray}
359: are the $m$ annihilation
360: operators pertaining to the $s$th copy of ${\cal H}^{\otimes m}$.
361: With this trick Eq.~(\ref{rhoalla}) can be written as,
362: \begin{eqnarray}\mbox{Tr} \left\{[\cn_n^{\otimes m}(\rho)]^{k} \right\}
363: =\mbox{Tr}[(\rho\otimes\cdots\otimes\rho)\; \Theta]
364: \;\labell{mi},
365: \end{eqnarray}
366: where each of the $k$ copies of the state $\rho$ is associated
367: to one of the multi-mode annihilation operator $\vec{a}_s$ and where
368: $\Theta$ is the operator on $({\cal H}^{\otimes m})^{\otimes
369: k}$ given by
370: \begin{eqnarray}
371: \Theta&=&\int d^2\vec{\mu}_1 \cdots d^2\vec{\mu}_k
372: \; \;P_n(\vec{\mu}_1) \cdots P_n(\vec{\mu}_k)\\
373: &&\qquad \; \times \; D_1^\dag(\vec{\mu}_1)
374: D_1(\vec{\mu}_2)\otimes
375: \cdots \otimes D_{k}^\dag(\vec{\mu}_{k})D_{k}(\vec{\mu}_1)
376: \labell{re1}
377: \;.\nonumber\end{eqnarray}
378: Equation (\ref{mi}) allows us to derive an upper bound
379: for the quantity on the left-hand-side by
380: considering the eigenvalue $\lambda_0$
381: of $\Theta$ with maximum absolute
382: value, i.e.
383: \begin{eqnarray}\mbox{Tr} \left\{[\cn_n^{\otimes m}(\rho)]^{k} \right\}
384: \leqslant |\lambda_0|
385: \;\labell{mmi}.
386: \end{eqnarray}
387: %In the following paragraph we will evaluate this quantity.
388: %\subsubsection*{Part two.}
389: \paragraph*{Part two:--}To calculate $\lambda_0$ it is useful to analyze
390: in details the properties of the operator $\Theta$. As shown in
391: App. \ref{s:tensore}, this operator has a very simple tensorial
392: form with respect to the index $r$.
393: In fact Eq.~(\ref{re1}) can be decomposed as
394: \begin{eqnarray}
395: \Theta = \bigotimes_{r=1}^m \Theta_r \;,
396: \labell{tensore}
397: \end{eqnarray}
398: where, for $r=1,\cdots,m$, the operator $\Theta_r$
399: acts on the modes
400: associated with the annihilation operators
401: \begin{eqnarray}
402: \vu{a}_r\equiv (a_{1r}, a_{2r}, \cdots, a_{kr})\;.
403: \labell{ava}
404: \end{eqnarray}
405: In vectorial notation $\Theta_r$
406: can be expressed as
407: \begin{eqnarray}
408: \Theta_r
409: &\equiv&\int \frac{d^2\vu{\mu}_r}{(\pi n)^{k}}
410: \:{e^{-\vu\mu_r\cdot
411: C\cdot\vu\mu_r^\dag+\vu\mu_r\cdot
412: G^\dag\cdot\vu{a}_r^\dag-\vu{a}_r\cdot G
413: \cdot\vu\mu_r^\dag}}
414: \;\labell{re},
415: \end{eqnarray}
416: where, as in Eq.~(\ref{ava}),
417: $\vu{\mu}_r\equiv(\mu_{1r}, \mu_{2r}, \cdots, \mu_{kr})$
418: is a $k$-element vector, and
419: where $G$
420: and
421: \begin{eqnarray}
422: C\equiv\frac\openone n+\frac{A}{2} \;,
423: \label{defC}
424: \end{eqnarray}
425: are ${k}\times{k}$
426: real matrices ($\openone$ is the identity).
427: For $k\geqslant3$, $G$ and $A$ are
428: \begin{eqnarray}
429: G&\equiv&\left[\begin{array}{rrrrrr}
430: -1&1&0&\cdots&0&0\cr
431: 0&-1&1&\cdots&0&0\cr
432: 0&0&-1&\cdots&0&0\cr
433: \vdots&&&\ddots&&\cr
434: 0&0&0&\cdots&-1&1\cr
435: 1&0&0&\cdots&0&-1\cr
436: \end{array}
437: \right]
438: \;\labell{defg}
439: \\
440: A&\equiv&\left[\begin{array}{rrrrrr}
441: 0&-1&0&\cdots&0&1\cr
442: 1&0&-1&\cdots&0&0\cr
443: 0&1&0&\cdots&0&0\cr
444: \vdots&&&\ddots&&\cr
445: 0&0&0&\cdots&0&-1\cr
446: -1&0&0&\cdots&1&0\cr
447: \end{array}
448: \right]
449: \;\labell{defa}.
450: \end{eqnarray}
451: For $k=2$ % $G$ is the matrix $\left[\begin{array}{rr}
452: %-1&1\cr 1&-1\end{array}\right]$ and
453: $A$ is null,
454: while for $k=1$ both $G$ and $A$ are null.
455: The decomposition~(\ref{tensore}) shows that in the
456: right-hand-side of Eq.~(\ref{mi}) we have a product of
457: two operators of $({\cal H}^{\otimes m})^{\otimes k}$
458: which have ``orthogonal'' tensorial decomposition: the operator
459: $\rho\otimes \cdots \otimes \rho$ factorizes with respect
460: to the index $r=1, \cdots, k$, while $\Theta$ factorizes with
461: respect to the index $s=1, \cdots, m$ associated with the
462: successive uses of the channel.
463: This property is common to all memoryless channels where
464: the corresponding CP map acts on each channel use independently.
465: However, the channel model we are considering allows us to
466: further decompose the operator $\Theta$. In fact,
467: $G$ and $A$ of Eqs.~(\ref{defg}) and (\ref{defa}) are two
468: circulant matrices~\cite{circulant} which commute and possess a common
469: basis of orthogonal eigenvectors.
470: This means that there exists a
471: $k\times k$ unitary matrix $Y$ for which
472: \begin{eqnarray}
473: D&\equiv& Y\:C\:Y^\dag =\openone/n + Y\:A\:Y^\dag
474: \nonumber\\
475: E&\equiv& Y\:G\:Y^\dag \labell{diagonali}
476: \end{eqnarray}
477: are diagonal. Since $A$ is antisymmetric, its eigenvalues
478: $i\xi_j$ are imaginary and the diagonal elements of
479: $D$ (i.e. the quantities $d_j=1/n + i\xi_j$) have positive real part.
480: Using these properties we can rewrite the operator $\Theta_r$ of
481: Eq.~(\ref{re}) in factorized form by performing the change of
482: integration variables $\vu\nu_r\equiv\vu\mu_r\cdot Y^\dag$ and
483: introducing the new annihilation operators
484: \begin{eqnarray}
485: \vu b_r\equiv (b_{1r}, b_{2r}, \cdots, b_{kr})
486: =\vu a_r\cdot Y^\dag
487: \labell{fra}\;.
488: \end{eqnarray}
489: These operations yield
490: \begin{eqnarray}
491: \Theta_r=\bigotimes_{j=1}^{k} \Theta_{jr}
492: \;\labell{fatt},
493: \end{eqnarray}
494: with
495: \begin{eqnarray}
496: \Theta_{jr}\equiv\frac 1{n|e_j|^2}\int \frac{d^2\nu}{\pi}
497: \:{e^{-d_j|\nu|^2/|e_j|^2}}\:D_{b_{jr}}(-\nu)
498: \;\labell{re2},
499: \end{eqnarray}
500: where $D_{b_{jr}}(\nu)\equiv\exp[\nu b_{jr}^\dag-\nu^*b_{jr}]$ is the
501: displacement operator associated with $b_{jr}$, while $e_j$ is
502: the $j$th diagonal elements of the matrix $E$
503: (i.e. the $j$th eigenvalue of $G$).
504: As demonstrated in Ref. \cite{entro,caves1}, this expression can be
505: further simplified, proving that
506: $\Theta_{jr}$ is diagonal in the Fock
507: basis of the mode $b_{jr}$ and equal to
508: \begin{eqnarray}
509: \Theta_{jr}=\frac{2/n}{2d_j+|e_j|^2}
510: \left(\frac{2d_j-|e_j|^2}{2d_j+|e_j|^2}\right)^{b_{jr}^\dag
511: b_{jr}}
512: \;,\labell{defqj}
513: \end{eqnarray}
514: (for the sake of completeness we give an alternative derivation
515: of this result in App. \ref{s:ren}).
516:
517: %\subsubsection*{Part three.}
518: Equations (\ref{tensore}), (\ref{fatt}) and (\ref{defqj})
519: show that the eigenvalues of $\Theta$ are products of
520: eigenvalues of $\Theta_{jr}$.
521: In particular $\lambda_0$ of Eq.~(\ref{mmi}) is obtained by
522: taking the eigenvalues of the $\Theta_{jr}$
523: that have maximum absolute value.
524: Since the constants $d_j$ have positive real part,
525: the quantities we are looking for are $2/[n(2d_j+|e_j|^2)]$,
526: i.e. they are the eigenvalues of the operators $\Theta_{jr}$
527: associated with the vacuum state
528: of the mode $b_{jr}$.
529: This allows us to express the value of $\lambda_0$ as
530: \begin{eqnarray}
531: \lambda_0&=&\prod_{r=1}^m \prod_{j=1}^{k}
532: \frac{2/n}{2d_j+|e_j|^2}=\left\{\frac{1/n^{k}}
533: {\det[C+G^\dag G/2]} \right\}^m\nonumber\\&=&
534: \left[\frac 1{(n+1)^{k}-n^{k}}\right]^m
535: \;\labell{croma},
536: \end{eqnarray}
537: which, replaced in Eq.~(\ref{mmi}), proves the thesis
538: (\ref{thesis}). [In deriving the second identity we have used the
539: invariance of the determinant under the unitary transformation $Y$,
540: while the last identity can be obtained from the definitions
541: (\ref{defg}) and (\ref{defa}) by direct calculation of
542: the determinant itself].
543:
544: \subsection{Optimal inputs}\labell{s:optimal}
545:
546: Equations~(\ref{normalpha}) and (\ref{normach1})
547: prove that tensor products of coherent states are optimal since
548: they allow
549: the channel ${\cal N}_n$ to achieve the maximal $k$-norm at the
550: output of $m$ successive uses.
551: Here we re-derive this result
552: by showing that the state
553: $\rho \otimes \cdots \otimes \rho$ of Eq.~(\ref{mi})
554: with $\rho$ given by a tensor product of
555: coherent states in the inputs modes $\vec{a}_s$,
556: is an eigenvector of $\Theta$
557: associated with
558: the eigenvalue $\lambda_0$ of Eq.~(\ref{croma}).
559:
560: From the analysis of the previous section we know that
561: the eigenvectors of $\lambda_0$ can be written as
562: \begin{eqnarray}
563: |\Phi\rangle \equiv \bigotimes_{r=1}^m |\Phi_r \rangle_r
564: \labell{auto}\;,
565: \end{eqnarray}
566: where $|\Phi_r\rangle_r$ is an eigenvector of
567: $\Theta_r$ of Eq.~(\ref{fatt}) relative to its eigenvalue
568: with maximum absolute value. For instance, in deriving Eq.~(\ref{croma}) we
569: have considered the state where each of the
570: $\vu{b}_r$ modes is in the vacuum. However this is not the only
571: possibility.
572: In fact, we
573: notice that for any ${k}$ the matrices $G$ and $A$ of Eqs.~(\ref{defg})
574: and (\ref{defa}) have a null
575: eigenvalue (say for $j=1$), associated with the common normalized
576: eigenvector $(1,1,\cdots,1)/\sqrt{k}$. On one hand this means that all the
577: elements in the first row of the matrix
578: $Y$ of Eq.~(\ref{diagonali}) are equal to $1/\sqrt{k}$.
579: On the other hand, this implies also that
580: $e_1=0$, $d_1=1/n$ and,
581: according to Eq.~(\ref{defqj}),
582: \begin{eqnarray}
583: \Theta_{1r}=\openone_{1r}\;,.
584: \label{unoezero}
585: \end{eqnarray}
586: This means that any state of the form
587: \begin{eqnarray}
588: |\Phi_r\rangle_r \equiv |\phi_r\rangle_{b_{1r}}\otimes |0\rangle_{b_{2r}}
589: \otimes \cdots
590: \otimes|0\rangle_{b_{kr}}
591: \labell{autotopo}\;,
592: \end{eqnarray}
593: where the mode $b_{1r}$ is prepared in a generic state $|\phi_r\rangle$
594: while the other $b_{jr}$ are in the vacuum, is an eigenstate of $\Theta_r$
595: relative to the eigenvalue with maximum absolute value.
596: Consider now the case of $|\phi_r\rangle=|\sqrt{k}\alpha_r\rangle$ coherent.
597: By using the symmetric
598: characteristic function decomposition \cite{walls}
599: we can show that, when expressed in terms of the operators
600: $\vu{a}_{r}$, the state (\ref{autotopo}) is a tensor product
601: of coherent states $|\alpha_r\rangle$. In fact, defining
602: the complex vector $\vu\gamma\equiv(\sqrt{k}\alpha_r,0,\cdots,0)$ we
603: can express the state $|\Phi_r\rangle_r$ as,
604: \begin{eqnarray}
605: |\Phi_r\rangle_r\langle \Phi_r|&=&\int \frac{d^2\vu\nu}{\pi^{k}}
606: \:\exp[-|\vu\nu|^2/2 \nonumber \\
607: &&\qquad+\vu\nu\cdot(\vu b_r-\vu\gamma)^\dag-(\vu b_r-\vu\gamma)
608: \cdot\vu\nu^\dag]\nonumber\\
609: &=&\int \frac{d^2\vu\mu}{\pi^{k}}\:\exp[-|\vu\mu|^2/2 \nonumber
610: \\
611: &&\qquad
612: +\vu\mu\cdot(\vu a_r^\dag-Y^\dag \cdot\vu\gamma)
613: -(\vu a_r-\vu\gamma\cdot Y)\cdot\vu\mu^\dag]\nonumber\\
614: &=&|\alpha_r\rangle_{a_{1r}}\langle
615: \alpha_r|\otimes\cdots\otimes|\alpha_r
616: \rangle_{a_{kr}}\langle \alpha_r|
617: \;\labell{vuoto},
618: \end{eqnarray}
619: where the second identity is obtained by substituting
620: the $\vu\nu$ with $\vu\mu\cdot Y^\dag$ in the integral, while the
621: third identity derives from the properties of the matrix $Y$
622: discussed above. The thesis finally follows by replacing this
623: expression in Eq.~(\ref{auto}),
624: \begin{eqnarray}
625: |\Phi\rangle\langle\Phi| &=& \bigotimes_{r=1}^{m}
626: (\;|\alpha_r\rangle_{a_{1r}}\langle
627: \alpha_r|\otimes\cdots\otimes|\alpha_r
628: \rangle_{a_{kr}}\langle \alpha_r|\;)
629: \labell{basta1}\;,
630: \end{eqnarray}
631: and observing that this can be represented as $\rho\otimes
632: \cdots \otimes \rho$ of Eq.~(\ref{mi}) with $\rho=\left( \bigotimes_{r=1}^{m} |
633: \alpha_r \rangle\langle \alpha_r | \right)^{\otimes k}$.
634:
635: \subsection{Upper bound}\labell{s:other}
636: In this section, starting from the values of the $\nu_z({\cal
637: N}_n^{\otimes m})$ for $z$
638: integer derived
639: in the previous section, we give some upper bounds for the
640: channel \mbox{${z}$-norm} of generic order.
641:
642: \begin{figure}[hbt]
643: \begin{center}
644: \epsfxsize=.9
645: \hsize\leavevmode\epsffile{FIG1.eps}
646: \end{center}
647: \vspace{-.5cm}
648: \caption{Plot of the bounds of the
649: $z$-norm $\nu_{z}({\cal N}_n^{\otimes m})$ of the channel ${\cal
650: N}_n$. The function $\nu_{z}({\cal N}_n^{\otimes m})$
651: is restricted to the gray area which is limited
652: from above by the upper bound
653: of Eq.~(\ref{pro111}) and from below by the
654: lower bound of Eq.~(\ref{pro112}).
655: The two curves meet for $z=k$ integer. Here $m=2$
656: and $n=0.3$.}
657: \labell{f:ren}\end{figure}
658:
659: The R\'enyi entropy of Eq.~(\ref{defrenyi}) is decreasing function of the
660: parameter ${z}$. As a matter of fact, it obeys the
661: inequality~\cite{zyc}
662: \begin{eqnarray}
663: \frac{{z}-1}{{z}}S_{{z}}(\rho)\geqslant
664: \frac{{z'}-1}{{z'}}S_{{z'}}(\rho)
665: \;\labell{pro},
666: \end{eqnarray}
667: which applies for any $z\geqslant z'$ and for all $\rho$.
668: This property and the monotonicity of
669: $S_z(\rho)$ respect to the norm of
670: Eq.~(\ref{norme}) can be used to derive the
671: relation $\| \rho \|_z \leqslant \| \rho \|_{z'}$ which, when
672: applied to the output state of a channel ${\cal M}$,
673: implies
674: \begin{eqnarray}
675: \nu_{z}({\cal M}^{\otimes m}) \leqslant \nu_{z'}({\cal M}^{\otimes m})\;
676: \qquad z\geqslant z'\geqslant1 \;.\label{pro11}
677: \end{eqnarray}
678: In the case of the channel ${\cal N}_n$, by choosing
679: $z'=k$ integer and using the identity (\ref{normach1}) we
680: obtain the upper bound for all $z\geqslant k$, i.e.
681: \begin{eqnarray}
682: \left[\frac{1}{(n+1)^k-n^k}\right]^{m/k}
683: \geqslant \nu_{z}({\cal N}_n^{\otimes m})\;.\label{pro111}
684: \end{eqnarray}
685: This bound must be compared with the lower bound
686: \begin{eqnarray}
687: \left[\frac{1}{(n+1)^z-n^z}\right]^{m/z}
688: \leqslant \nu_{z}({\cal N}_n^{\otimes m})\;,\label{pro112}
689: \end{eqnarray}
690: for arbitrary $z$
691: that derives by considering as input of the $m$ successive
692: uses of the channel a tensor product of coherent states.
693: This two bounds are plotted in Fig.~\ref{f:ren}.
694:
695: \section{Generalization}\label{s:altri}
696: In this section we show that the results obtained for
697: the channel ${\cal N}_n$ apply also to other Gaussian channel models.
698: The first group we analyze is formed by the {\em classical}
699: channels $\cal G$
700: where, as in the case of ${\cal N}_n$
701: the photonic signal from the sender is displaced
702: randomly in phase space according to a Gaussian distribution.
703: The second group is formed by the channels $\cal L$ where
704: the input signal is linearly coupled to an external environment
705: prepared in a Gaussian state.
706: \subsection{Classical channels}\labell{s:classico}
707: Consider CP map $\cal G$ which transforms
708: the input state $\rho$ into the output state
709: \begin{eqnarray}
710: {\cal G}(\rho)&=&\int d^2 \zeta \;
711: \frac{\exp({-\zeta \cdot \Gamma \cdot \zeta^{\dag}}) }{\pi/
712: (2 \sqrt{\mbox{det}[\Gamma])}}\labell{dueG}\\
713: &\times& \exp\left[(a,a^\dag)\cdot\zeta^\dag
714: \right] \; \rho \; \exp\left[- (a,a^\dag)\cdot\zeta^\dag \right],
715: \nonumber
716: \end{eqnarray}
717: where $\zeta=(\mu,-\mu^*)$ and
718: \begin{eqnarray}
719: \Gamma&\equiv&\left[\begin{array}{lll}
720: u&&v^*\cr
721: v&&u
722: \end{array}
723: \right]
724: \;\labell{defGamma} \qquad u\geqslant |v|\;,
725: \end{eqnarray}
726: %notare che rispetto ai conti si ha b=v^*$
727: is a $2\times2$ positive Hermitian matrix \cite{nota}.
728: For $\Gamma=\openone/(2n)$ the map
729: ${\cal G}$ gives ${\cal N}_n$ of Sec. \ref{s:channel},
730: while for generic $\Gamma$ the channel
731: (\ref{dueG}) is the generalization of ${\cal N}_n$
732: to the case of non circularly symmetric
733: distribution (\ref{tre}).
734: As shown in App. {\ref{apA}}, the map $\cal G(\rho)$
735: can be decomposed according to the relation
736: \begin{eqnarray}
737: {\cal G}(\rho)=
738: \Sigma^{\dag}(\xi) \;
739: {\cal N}_n( \Sigma(\xi)\; \rho\; \Sigma^{\dag}(\xi))
740: \; \Sigma(\xi) \,
741: \labell{rel}\;,
742: \end{eqnarray}
743: where
744: \begin{eqnarray}
745: n &=& 1/(2 \sqrt{u^2-|v|^2})\labell{enne}\\
746: \xi&=& \frac{v}{|v|} \mbox{arctanh}\left[\, \left(\frac{u-\sqrt{u^2-|v|^2}}
747: {u+\sqrt{u^2-|v|^2}}\right)^{1/2}\,\right] \; \labell{xi},
748: \end{eqnarray}
749: and where
750: \begin{eqnarray}
751: \Sigma(\xi) \equiv \exp\left[ \left(\xi^* \; a^2-\xi\; (a^{\dag})^2
752: \right)/2 \right]
753: \labell{squeezing}
754: \end{eqnarray}
755: is the squeezing operator.
756: In other words, for any input state $\rho$,
757: the output state ${\cal G}(\rho)$
758: can be obtained by applying the squeezing operator
759: $\Sigma(\xi)$ to $\rho$, then
760: sending it through the channel ${\cal N}_n$,
761: and, finally, applying the anti-squeezing
762: transformation $\Sigma(\xi)^{\dag}$.
763: We can thus consider ${\cal N}_n$ as a simplified
764: version of $\cal G$ where all the squeezing
765: operations have been removed.
766:
767: An important consequence of Eq.~(\ref{rel})
768: is that the $z$-norms of the channels ${\cal G}$ and
769: ${\cal N}_n$ are
770: identical. In fact, using the invariance of the norm (\ref{norme})
771: under the unitary operation $ \Sigma^{\dag}(\xi)^{\otimes m}$,
772: we can write the $z$-norm of $m$ uses of the channel $\cal G$ as
773: \begin{eqnarray}
774: \nu_z({\cal G}^{\otimes m}) &=& \max_{\rho\in {\cal H}^{\otimes m}}
775: \|{\cal N}_n^{\otimes m}( \Sigma(\xi)^{\otimes m} \;
776: \rho \;\Sigma^\dag(\xi)^{\otimes m}) \|_z \nonumber\\
777: &=& \max_{\rho\in {\cal H}^{\otimes m}}
778: \|{\cal N}_n^{\otimes m}(\rho) \|_z \equiv \nu_z({\cal N}_n^{\otimes m})
779: \labell{normaG}
780: \end{eqnarray}
781: where, in the second identity, the unitary operator
782: $\Sigma(\xi)^{\otimes m}$
783: has being incorporated in the definition of the input state $\rho$
784: of the $m$ uses of the channel.
785: In particular, for $m=1$ and $z=k$ integer,
786: Eqs.~(\ref{normaG}) and (\ref{normach1}) give the
787: $k$-norm for the single channel use of $\cal G$, i.e.
788: \begin{eqnarray}
789: \nu_{{k}}({\cal G}) =
790: \left[\frac{(2\sqrt{u^2-|v|^2})^{k}}
791: {(1+2\sqrt{u^2-|u|^2})^k-1} \right]^{1/k}
792: \labell{normach2}\;.
793: \end{eqnarray}
794: According to the decomposition rule of Eq.~(\ref{rel}), such
795: a maximum is achieved for the anti-squeezed coherent states
796: \begin{eqnarray}
797: |\alpha;-\xi\rangle \equiv \Sigma^\dag(\xi) |\alpha\rangle.
798: \labell{anti}
799: \end{eqnarray}
800: In fact, feeding the channel $\cal G$ with this input is equivalent
801: (apart from an irrelevant unitary transformation) to feeding
802: ${\cal N}_n$ with the coherent state $|\alpha\rangle$.
803: Moreover, for generic~$m$ Eq.~(\ref{normaG}) gives
804: \begin{eqnarray}
805: \nu_{{k}}({\cal G}^{\otimes m}) =
806: \left[\frac{(2\sqrt{u^2-|v|^2})^{k}}
807: {(1+2\sqrt{u^2-|u|^2})^k-1} \right]^{m/k}
808: \labell{normach22}\;.
809: \end{eqnarray}
810: which proves the Amosov-Holevo-Werner conjecture
811: for the channel $\cal G$, at least for integer $z=k$.
812: As in the case of Eq.~(\ref{anti}), the input
813: states that achieve the maximum (\ref{normach22}) can be
814: obtained by anti-squeezing the states which achieve the
815: maximal output $z$-norm for the channel ${\cal N}_n$, i.e.
816: $|\alpha_1;-\xi\rangle_1 \otimes
817: \cdots \otimes |\alpha_m;-\xi\rangle_m$.
818:
819:
820: \subsection{Linear-coupling channels}\labell{s:env}
821: The linear-coupling channel model
822: represents a communication line where the input photons
823: (described by the annihilation operator $a$) interact with
824: an external environment (with annihilation operator $b$)
825: through the beam splitter unitary operator
826: \begin{eqnarray}
827: U=\exp\left[\,(a^\dag b-ab^\dag)\arctan\sqrt{\frac{1-\eta}\eta}\;\right]\;
828: \labell{defu},
829: \end{eqnarray}
830: which transforms the fields according to
831: \begin{eqnarray}
832: a\longrightarrow U^\dag aU&=&\sqrt{\eta}\; a + \sqrt{1-\eta} \; b\nonumber\\
833: b\longrightarrow U^\dag bU&=&\sqrt{\eta}\; b - \sqrt{1-\eta} \; a \; ,
834: \labell{uno}
835: \end{eqnarray}
836: with $\eta\in[0,1]$ being the beam splitter
837: transmissivity. For $\eta=1$, $U$ is the identity
838: and the input signal is decoupled from the environment; for
839: $\eta=0$, instead, $U$ is a swap operator which replaces
840: the input signal with the environment input state.
841: The CP map of the linear-coupling channel is obtained by coupling the
842: input state of the signal $\rho$ with the input state of the
843: environment $\tau_b$ through $U$ and then by tracing away the
844: mode $b$. The resulting output state is then
845: \begin{eqnarray}
846: {\cal L}(\rho)=\mbox{Tr}_b\left[U\:\rho\otimes\rho_b\:U^\dag\right]
847: \;\labell{mappa}.
848: \end{eqnarray}
849: If $\rho_b$ is a Gaussian state, the CP map $\cal L$ is Gaussian.
850: In what follows we will assume $\rho_b$ to be the squeezed thermal
851: state
852: \begin{eqnarray}
853: \rho_b= \Sigma_b^\dag(\xi)
854: \; \tau_b(n) \;
855: \Sigma_b(\xi)
856: \labell{termico}
857: \end{eqnarray}
858: where $\Sigma_b$ and
859: $\tau_b(n)$ are, respectively, the squeezing operator and
860: the thermal state (\ref{termico}) of the $b$ mode.
861: For the channel (\ref{mappa}) a decomposition
862: rule analogous to Eq.~(\ref{rel}) applies, namely
863: (see App. {\ref{apB}})
864: \begin{eqnarray}
865: {\cal L}(\rho)=
866: \Sigma^{\dag}(\xi) \;
867: {\cal E}_n( \Sigma(\xi)\; \rho\; \Sigma^{\dag}(\xi))
868: \; \Sigma(\xi) \,
869: \labell{relE}\;,
870: \end{eqnarray}
871: with ${\cal E}_n(\rho)$ the CP map (\ref{mappa}) where
872: the environment is in the thermal state $\rho_b=\tau(n)$.
873: The connection between $\cal L$ and ${\cal E}_n$ is thus analogous
874: to the connection between $\cal G$ and ${\cal N}_n$.
875: In particular we can derive the following identity
876: \begin{eqnarray}
877: \nu_z({\cal L}^{\otimes m}) = \nu_z\left({\cal E}_n^{\otimes m}\right)\;,
878: \labell{normaGNUOVA}
879: \end{eqnarray}
880: which applies for all $m$ integer and for all $z$.
881: Proving the Amosov-Holevo-Werner conjecture for ${\cal E}_n$
882: is equivalent to proving it for $\cal L$: moreover, the input
883: states which achieve the maximum output $z$-norm for $\cal L$
884: are obtained by anti-squeezing the input states which achieve the
885: maximum for ${\cal E}_n$.
886:
887: The channel ${\cal E}_n$ has been extensively
888: studied in Ref.~\cite{entro} where it was shown that
889: it satisfies the relation
890: \begin{eqnarray}
891: {\cal E}_n(\rho)&=&\left({\cal N}_{(1-\eta)n}\circ{\cal
892: E}_0\right) (\rho) \equiv
893: {\cal N}_{(1-\eta)n}\left( \;{\cal
894: E}_0(\rho)\right)
895: \labell{pr3},
896: \end{eqnarray}
897: with ${\cal E}_0$ being the lossy map, where the input photons
898: interact with the vacuum state of the environment.
899: Equation (\ref{pr3}) shows that the output of the channel ${\cal E}_n$
900: can be obtained first applying the lossy map to the input state $\rho$
901: and then feeding it into the classical channel ${\cal N}_n$. This
902: composition rule has two important consequences.
903: On one hand, it implies
904: \begin{eqnarray}
905: \nu_z({\cal E}_n^{\otimes m}) =\nu_z
906: (({\cal N}_{(1-\eta)n}\circ{\cal
907: E}_0)^{\otimes m})\leqslant \nu_z\left({\cal N}_{(1-\eta)n}^{\otimes m}\right).
908: \labell{normaGGG}
909: \end{eqnarray}
910: In fact, the maximization implicit in the second term is
911: performed on a set of input states which form a proper subset of the
912: input states which enter in the maximization of the third term.
913: On the other hand, since the lossy channel maps coherent input states
914: into coherent outputs according to the transformation \cite{c}
915: \begin{eqnarray}
916: {\cal E}_0(|\alpha\rangle\langle
917: \alpha|) = |\sqrt{\eta}\alpha\rangle \langle \sqrt{\eta}\alpha|
918: \label{lossy}\;,
919: \end{eqnarray}
920: equations (\ref{pr3}) and (\ref{normalpha})
921: show that when
922: ${\cal E}_n$ and ${\cal N}_{(1-\eta)n}$ act on coherent inputs they produce the same output
923: \mbox{$z$-norm}.
924: This is sufficient to prove that, at least for \mbox{$z=k$} integer,
925: the inequality in Eq.~(\ref{normaGGG}) is replaced by an identity:
926: we have already established in fact that the maximum $k$-norm
927: of the channel ${\cal N}_n$ is achieved for a coherent state.
928: Hence we can establish the following identity
929: \begin{eqnarray}
930: \nu_{{k}}({\cal E}_n^{\otimes m}) = \,
931: \left\{\frac{1}{[(1-\eta)n+1]^k-[(1-\eta)n]^k}\right\}^{m/k}
932: \labell{normaGalla}\;,
933: \end{eqnarray}
934: which, analogously to Eq.~(\ref{normach22}),
935: shows that the Amosov-Holevo-Werner conjecture applies for the
936: channel ${\cal E}_n$ at least for all integer $k$. Moreover we know
937: that, as in the case of ${\cal N}_n$, tensor products of
938: coherent states are sufficient to achieve the maximum
939: of Eq.~(\ref{normaGalla}).
940:
941: \section{Conclusion}\labell{s:concl}
942: In this paper we have
943: studied various model of Gaussian bosonic channel (i.e.
944: the classical maps $\cal G$ of Sec. \ref{s:classico}
945: and the linear coupling maps $\cal L$ of Sec. \ref{s:env})
946: and we have shown that the
947: Amosov-Holevo-Werner
948: conjecture (\ref{normach}) applies to them
949: at least in the case of $z=k$ integer.
950: In particular we have proved that
951: tensor products of squeezed coherent states
952: are the inputs that achieve
953: the maximum output \mbox{$k$-norm}
954: for the $m$ successive uses of these channels.
955: In the case of the circularly symmetric channels
956: ${\cal N}_n$ and ${\cal E}_n$ the
957: optimal state are just tensor product of coherent
958: states.
959: These properties imply that,
960: for all integer order greater than $2$,
961: the R\'enyi entropies at the output of the channels $\cal G$ and $\cal
962: L$ are additive, and
963: suggest that the same behavior should apply also to all
964: the other orders (see Sec. \ref{s:other}).
965: In particular, it seems reasonable to believe that these
966: channel posses an additive Holevo information \cite{nostro,werner}.
967:
968:
969:
970: \appendix
971:
972: \section{Properties of the operator $\Theta$.}\labell{s:rengen}
973: In this appendix we prove that the operator $\Theta$ of Eq.~(\ref{re1})
974: has the tensor product structure of Eq.~(\ref{tensore})
975: and we derive the identity~(\ref{defqj}).
976:
977: \subsection{Derivation of Eq.~(\ref{tensore}).}\labell{s:tensore}
978: By using the property
979: \begin{eqnarray}
980: D_s^\dag(\vec{\mu}) D_s(\vec{\nu}) = D_s(\vec{\nu}-\vec{\mu}) \,
981: \exp\left[\left(\vec{\nu}\cdot \vec{\mu}^\dag - \vec{\mu}\cdot
982: \vec{\nu}^\dag\right)/2 \right]
983: \labell{identita}
984: \end{eqnarray}
985: of the multi-mode displacement operator defined in
986: Eq.~(\ref{multid}),
987: the expression (\ref{re1}) of $\Theta$ yields
988: \begin{eqnarray}
989: \Theta
990: &\equiv&\int \frac{d^2\vi{\mu}}{(\pi n)^{mk}}
991: \:{e^{-\vi\mu\cdot
992: {\mathbb C}\cdot\vi\mu\,^\dag+\vi\mu\cdot
993: {\mathbb G}^\dag\cdot\vi{a}\,^\dag-\vi{a}\cdot {\mathbb G}
994: \cdot\vi\mu\,^\dag}}
995: \;\labell{reappa},
996: \end{eqnarray}
997: where we have introduced the complex linear vector
998: \begin{eqnarray}
999: \vi{\mu}&\equiv&
1000: (\vec{\mu}_1;\;\vec{\mu}_2;\cdots;\;\vec{\mu}_k)\\
1001: &=&(\mu_{11},\cdots,\mu_{1m};\;{\mu}_{21},\cdots,\mu_{2m};\;\mu_{k1},
1002: \cdots,\mu_{km})\nonumber\;,
1003: \end{eqnarray}
1004: which has $km$ elements, and
1005: \begin{eqnarray}
1006: \vi{a}&\equiv&
1007: (\vec{a}_1;\;\vec{a}_2;\cdots;\;\vec{a}_k)\\
1008: &=&(a_{11},\cdots,a_{1m};\;{a}_{21},\cdots,a_{2m};\;a_{k1},
1009: \cdots,a_{km})\nonumber
1010: \end{eqnarray}
1011: where
1012: $a_{sr}$ is the annihilation operator associated with the $s$th copy of
1013: the $r$th use of the channel.
1014: In Eq.~(\ref{reappa}), $\mathbb{G}$ and
1015: \begin{eqnarray}
1016: \mathbb{C}\equiv\frac\openone n+\frac{\mathbb{A}}{2} \;,
1017: \label{defCappa}
1018: \end{eqnarray}
1019: are now ${mk}\times{mk}$
1020: real matrices ($\openone$ is the $mk\times mk$ identity),
1021: which are obtained, respectively, by tensoring to the $m$th power
1022: the matrices $G$ and $C$ of Eqs.~(\ref{defg}) and
1023: (\ref{defC}). In particular
1024: for $k\geqslant3$, $\mathbb G$ and $\mathbb A$ have the block form
1025: \begin{eqnarray}
1026: \mathbb{G}&\equiv&G^{\otimes m}=\left[\begin{array}{rrrrrr}
1027: -\openone&\openone&0&\cdots&0&0\cr
1028: 0&-\openone&\openone&\cdots&0&0\cr
1029: 0&0&-\openone&\cdots&0&0\cr
1030: \vdots&&&\ddots&&\cr
1031: 0&0&0&\cdots&-\openone&\openone\cr
1032: \openone&0&0&\cdots&0&-\openone\cr
1033: \end{array}
1034: \right]
1035: \;\labell{defgappa}
1036: \\
1037: \mathbb{A}&\equiv&A^{\otimes m}=\left[\begin{array}{rrrrrr}
1038: 0&-\openone&0&\cdots&0&\openone\cr
1039: \openone&0&-\openone&\cdots&0&0\cr
1040: 0&\openone&0&\cdots&0&0\cr
1041: \vdots&&&\ddots&&\cr
1042: 0&0&0&\cdots&0&-\openone\cr
1043: -\openone&0&0&\cdots&\openone&0\cr
1044: \end{array}
1045: \right]
1046: \;\labell{defappa}
1047: \end{eqnarray}
1048: where now
1049: $\openone$ and $0$ are the $m\times m$ identity
1050: and null matrix respectively.
1051: On one hand these equations
1052: show that the Gaussian in the integral~(\ref{reappa})
1053: couples together all the annihilation operators $a_{sr}$
1054: which have the same index $r$ (i.e. the operators
1055: $a_{1r}$,
1056: $a_{2r}$, $\cdots$ and $a_{k,r}$ which enter in the definition of the
1057: vector
1058: $\vu{a}_r$ of Eq.~(\ref{ava})). On the other hand,
1059: Eqs.~(\ref{defgappa}) and (\ref{defappa}) show that any two
1060: annihilation operators $a_{sr}$ and $a_{s'r'}$ with $r\neq r'$
1061: are not coupled by the integral~(\ref{reappa}).
1062: We can hence write such an expression as a (tensor) product
1063: of $m$ independent Gaussian integrals where only the modes associated
1064: with $\vu{a}_r$ enters: by doing this and using the
1065: cyclic symmetry of the matrices $\mathbb G$ and $\mathbb A$
1066: we finally obtain Eq.~(\ref{tensore}).
1067:
1068:
1069:
1070:
1071: \subsection{Derivation of Eq.~(\ref{defqj}).}\labell{s:ren}
1072: The identity (\ref{defqj}) has been derived in
1073: \cite{entro1} by showing that the operator on the left-hand-side
1074: of this expression has the same symmetric characteristic function
1075: of the operator $\Theta_{jr}$ of Eq.~(\ref{re2}).
1076: Here, instead, we show that these operator
1077: coincide by calculating their matrix elements
1078: in the Fock basis of the annihilation operator~$b_{jr}$.
1079: For the sake of simplicity in the following we will omit the
1080: indexes~$j$ and $r$.
1081:
1082: Given $|p\rangle$ and $|q\rangle$
1083: Fock states of $b$ with $p\geqslant q$, consider the quantity
1084: \begin{eqnarray}
1085: \langle p |\Theta|q \rangle =
1086: \int d^2\nu \frac{e^{-d|\nu|^2/|e|^2}}{\pi n|e|^2}
1087: \:\langle p | D(-\nu)
1088: |q \rangle
1089: \;\labell{dix1}.
1090: \end{eqnarray}
1091: Following the derivation given in \cite{caves1} the
1092: matrix element in the integral can be expressed in
1093: terms of the Laguerre polynomials as
1094: \begin{eqnarray}
1095: \langle p | D(-\nu)|q \rangle= \left(\frac{q !}{p !}\right)^{1/2}
1096: e^{-|\lambda|^2/2} \nu^{p-q} L_{q}^{(p-q)}(|\nu|^2).
1097: \nonumber\\
1098: \labell{dix2}
1099: \end{eqnarray}
1100: Replacing this expression in (\ref{dix1}) and using the
1101: identities~\cite{grad}
1102: \begin{eqnarray}
1103: \int_0^\infty dx \; e^{-\gamma x} L^{(0)}_q(x) =
1104: \frac{(\gamma -1)^q}{\gamma^{q+1}} \qquad \mbox{Re}\gamma>0\;,
1105: \labell{dix3}
1106: \end{eqnarray}
1107: and
1108: \begin{eqnarray}
1109: \int_0^{2\pi} d\varphi e^{i \varphi (p-q)}=2\pi \delta_{pq}
1110: \labell{dix4}
1111: \end{eqnarray}
1112: where $\delta_{pq}$ is the Kronecker delta,
1113: we finally obtain
1114: \begin{eqnarray}
1115: \langle p |\Theta|q \rangle = \frac{2/n}{2d+|e|^2}
1116: \left(\frac{2d-|e|^2}{2d+|e|^2}\right)^{p}
1117: \labell{dix5}\; \delta_{pq} \;,
1118: \end{eqnarray}
1119: which proves the thesis.
1120:
1121: \section{Decomposition of the maps $\cal G$ and $\cal L$}
1122: \label{apA}
1123: In this section we derive the decomposition rule of
1124: Eqs.~(\ref{rel}) and (\ref{relE}) which allows to express
1125: the map
1126: $\cal G$ of Eq.~(\ref{dueG}) in terms
1127: of ${\cal N}_n$ and the map $\cal L$ of Eq.~(\ref{mappa})
1128: in terms of ${\cal E}_n$, respectively.
1129:
1130: \subsection{Derivation of Eq.~(\ref{rel})}
1131: Consider the Hermitian matrix
1132: \begin{eqnarray}
1133: B&\equiv&\left[\begin{array}{lll}
1134: \alpha&&\beta^*\cr
1135: \beta&&\alpha
1136: \end{array}
1137: \right]
1138: \;,\labell{defB}
1139: \end{eqnarray}
1140: with
1141: \begin{eqnarray}
1142: \alpha&=&\left(\frac{u+\sqrt{u^2-|v|^2}}{2\sqrt{u^2-|v|^2}}\right)^{1/2}
1143: \nonumber\\
1144: \beta&=&\frac{v}{|v|}\;\left(\frac{u-\sqrt{u^2-|v|^2}}{2\sqrt{u^2-|v|^2}}\right)^{1/2}
1145: \label{defB1}\;,
1146: \end{eqnarray}
1147: where $u$ and $v$ are the elements of $\Gamma$ defined in Eq.~(\ref{tre}).
1148: The matrix $B$ has determinant equal to $1$ and inverse
1149: \begin{eqnarray}
1150: B^{-1}&\equiv&\left[\begin{array}{rrr}
1151: \alpha&&-\beta^*\cr
1152: -\beta&&\alpha
1153: \end{array}
1154: \right]\;,\labell{defBinv}
1155: \end{eqnarray}
1156: which diagonalizes $\Gamma$ through the relation
1157: \begin{eqnarray}
1158: B^{-1}\cdot \Gamma \cdot B^{-1} &=&
1159: \left[\begin{array}{ccc}
1160: \sqrt{u^2-|v|^2}&&0\cr
1161: 0&&\sqrt{u^2-|v|^2}
1162: \end{array}
1163: \right].\labell{digonale}
1164: \end{eqnarray}
1165: Moreover, when applied to $(a,a^\dag)$ this matrix
1166: produces the Bogoliubov transformation
1167: \begin{eqnarray}
1168: (c,c^\dag)&\equiv& (a,a^\dag)\cdot B^{-1}\nonumber\\
1169: &=&\Sigma^\dag(\xi) \; (a,a^\dag) \; \Sigma(\xi)\;,
1170: \label{bogo}
1171: \end{eqnarray}
1172: where $\Sigma(\xi)$ is the squeezing operator defined in
1173: Eq.~(\ref{squeezing}).
1174: Using these properties we can obtain Eq.~(\ref{rel})
1175: from Eq.~(\ref{dueG}) by performing a change of integration
1176: variables. In fact, for
1177: $\zeta\rightarrow \zeta \cdot B$ we have
1178: \begin{eqnarray}
1179: {\cal G}(\rho)&=&\int d^2 \zeta \;
1180: \frac{\exp[{-\zeta\cdot (B^{-1}\cdot \Gamma\cdot
1181: B^{-1}) \cdot \zeta^{\dag}}] }{\pi/
1182: (2 \sqrt{\mbox{det}[\Gamma]})}\nonumber\labell{dueapA}\\
1183: &\times& \exp\left[(c,c^\dag)\cdot \zeta^\dag
1184: \right] \; \rho \; \exp\left[- (c, c^\dag)\cdot
1185: \zeta^\dag \right]\\
1186: &=& \int d^2 \mu \;\frac{\exp[-2\sqrt{u^2-|v|^2}|\mu|^2] }{\pi(2
1187: \sqrt{u^2-|v|^2})} \nonumber\\
1188: &\times& \Sigma^\dag(\xi) \; D(\mu) \; \Sigma(\xi) \; \rho
1189: \; \Sigma^\dag(\xi) \; D^\dag(\mu)
1190: \; \Sigma(\xi) \;,
1191: \nonumber
1192: \end{eqnarray}
1193: which, according to Eq.~(\ref{tre}) and (\ref{enne})
1194: coincides with the left-hand-side of Eq.~(\ref{dueG}).
1195: \subsection{Derivation of Eq.~(\ref{relE}).}
1196: \label{apB}
1197: For the sake of clarity, in what follows
1198: the operators which acts only on the environment will have the
1199: subscript $b$ while the
1200: operators which act only on the input state will have the subscript $a$.
1201: Using the relations (\ref{uno}) it is easy to show that
1202: the coupling operator $U$
1203: transforms $a^2 + b^2$ into itself, i.e. that it
1204: commutes with the operator $\Sigma_a(\xi)\Sigma_b(\xi)$ which
1205: squeezes both the signal mode $a$ and the environment mode
1206: $b$ by the
1207: same quantity $\xi$.
1208: Inserting the identity decomposition
1209: $\Sigma_a^\dag(\xi)\Sigma_a(\xi)=\openone$
1210: in Eq.~(\ref{mappa}) and using the invariance of the
1211: trace under cyclic permutation,
1212: the above property allows us to write Eq.~(\ref{mappa}) as
1213: \begin{eqnarray}
1214: {\cal L}(\rho) &=& \Sigma_a^\dag(\xi) \;
1215: \mbox{Tr}_b\left[U\,\left(\Sigma_a(\xi)\rho \Sigma_a^\dag(\xi)
1216: \otimes\tau_b(n)\right)\,U^\dag\right] \; \Sigma_a(\xi) \nonumber\\
1217: &=& \Sigma_a^\dag(\xi) \: {\cal E}_n ( \Sigma_a(\xi)\rho
1218: \Sigma_a^\dag(\xi)) \: \Sigma_a(\xi)
1219: \;\labell{mappa1},
1220: \end{eqnarray}
1221: which proves the thesis (\ref{relE}).
1222:
1223:
1224: \begin{references}
1225: \bibitem{shorequiv} P. W. Shor, eprint quant-ph/0305035; A. S. Holevo,
1226: eprint quant-ph/0306196.
1227: \bibitem{chuang} M. A. Nielsen and I. L. Chuang, {\em Quantum
1228: Computation and Quantum Information} (Cambridge University Press,
1229: Cambridge, 2000).
1230: \bibitem{shor} C. H. Bennett and P. W. Shor, IEEE Trans. Inf. Theory
1231: {\bf 44}, 2724 (1998).
1232: \bibitem{hole}A. S. Holevo, Probl. Inf. Trans. {\bf 9}, 177 (1973).
1233: \bibitem{HSW}A. S. Holevo, IEEE Trans. Inf. Theory {\bf 44}, 269
1234: (1998); P. Hausladen, R. Jozsa, B. Schumacher, M. Westmoreland
1235: and W. K. Wootters, Phys. Rev. A {\bf 54}, 1869 (1996);
1236: B. Schumacher and M. D. Westmoreland, Phys. Rev. A {\bf 56},
1237: 131 (1989).
1238: \bibitem{add} C. H. Bennett, D. P. Di Vincenzo, and J.A. Smolin,
1239: Phys. Rev. Lett. {\bf 78}, 3217 (1997).
1240: \bibitem{c} V. Giovannetti, S. Guha, S. Lloyd, L. Maccone,
1241: J. H. Shapiro, H. P. Yuen, Phys. Rev. Lett. {\bf 92}, 027902 (2004).
1242: \bibitem{king1} C. King, IEEE
1243: Trans. Info. Theory, {\bf 49}, 221 229, (2003).
1244: \bibitem{ruskai1} C. King and M. B. Ruskai, IEEE Trans. Info. Theory
1245: {\bf 47}, 192 (2001).
1246: \bibitem{entro} V. Giovannetti, S. Guha, S. Lloyd, L. Maccone, and
1247: J. H. Shapiro, Phys. Rev. A accepted for publication, eprint
1248: quant-ph/0404005.
1249: \bibitem{entro1}V. Giovannetti, S. Lloyd, L. Maccone, J. H. Shapiro,
1250: and B. J. Yen, Phys. Rev. A accepted for publication, eprint
1251: quant-ph/0404037.
1252: \bibitem{asomov} G. G. Amosov, A. S. Holevo, and R. F. Werner,
1253: Problems Inform. Trans. {\bf 36}, 305 (2000), eprint math-ph/0003002.
1254: \bibitem{zyc} K. \.Zyczkowski, Open Syst. and Inf. Dyn. {\bf 10}, 297
1255: (2003); C. Beck and F. Schl\"ogl, {\em Thermodynamics of chaotic
1256: systems} (Cambridge University Press, Cambridge, 1993).
1257: \bibitem{asomov1}G. G. Amosov and A. S. Holevo, Th. Prob. Appl. {\bf
1258: 47}, 123 (2001).
1259: \bibitem{werner} A. S. Holevo, M. Sohma, and O. Hirota, Phys. Rev. A
1260: {\bf 59}, 1820 (1999); M. Sohma and O. Hirota, Recent Res. Devel.
1261: Optics, {\bf 1}, 146-159 (2000) edited by Research Signpost, eprint
1262: quant-ph/0105042; A. S. Holevo and R. F. Werner, Phys. Rev. A {\bf 63},
1263: 032312 (2001); M. Sohma and O. Hirota, Phys. Rev. A {\bf 65},
1264: 022319 (2002).
1265: \bibitem{circulant} U. Grenander and G. Szeg\"o, {\em Toeplitz forms
1266: and their applications}, (Univ. of Calif. Press, Berkley, 1958).
1267: \bibitem{caves1} C. Caves, ``Hidden-variable model for
1268: continuous-variable teleportation'', in
1269: http://info.phys.unm.edu/~ca\-ves/reports/cvteleportation.pdf .
1270: \bibitem{walls} D. F. Walls and G. J. Milburn, {\em Quantum Optics}
1271: (Springer Verlag, Berlin, 1994).
1272: \bibitem{nota} In Eq.~(\ref{rel}) the differential form $d^2 \zeta$
1273: stands for \mbox{$d^2 \mu \equiv d \mbox{Re}(\mu) \; d \mbox{Im}(\mu)$}.
1274: \bibitem{nostro} V. Giovannetti, S. Lloyd, L. Maccone, and
1275: J. H. Shapiro, ``Classical capacity of bosonic channels'',
1276: unpublished.
1277: \bibitem{grad} I. S. Gradshteyn, I. M. Ryzhik , {\em Table of
1278: integrals, series, and products} (Academic Press, San Diego,
1279: 2000), Ch. 7. 416.
1280: \bibitem{TYPO}The operator $\Theta$ has an orthonormal
1281: basis of eigenvectors (see for instance Eqs.~(\ref{tensore}), (\ref{fatt}) and~(\ref{defqj})).
1282: In general, however, its eigenvalues are complex numbers: $\Theta$ is thus
1283: not Hermitian as erroneously reported in
1284: the published version of this paper (Phys. Rev. A {\bf 69}, 062307 (2004)).
1285: \end{references} \end{document}
1286: