Showing 1–50 of 68 results for author: Holevo, A S

Proof of the Gaussian maximizers conjecture for the communication capacity of noisy heterodyne measurements

Authors: A. S. Holevo, S. N. Filippov

Abstract: Basing on recently developed convex programming framework in the paper [arXiv:2204.10626], we provide a proof for a long-standing conjecture on optimality of Gaussian encondings for the ultimate communication rate of generalized heterodyne receivers under the oscillator energy constraint. Our results generalize previous ones (obtained under the assumption of validity of the energy threshold condit… ▽ More Basing on recently developed convex programming framework in the paper [arXiv:2204.10626], we provide a proof for a long-standing conjecture on optimality of Gaussian encondings for the ultimate communication rate of generalized heterodyne receivers under the oscillator energy constraint. Our results generalize previous ones (obtained under the assumption of validity of the energy threshold condition) and show a drastic difference in the structure of the optimal encoding within and beyond this condition. The core of the proof in the case beyond the threshold is a new log-Sobolev type inequality, which relates the generalized Wehrl entropy with the wavefunction gradient. △ Less

Submitted 5 June, 2022; originally announced June 2022.

Comments: 18 pages

Journal ref: Lett Math Phys 113, 10 (2023)

Log-Sobolev inequality and proof of Hypothesis of the Gaussian Maximizers for the capacity of quantum noisy homodyning

Authors: A. S. Holevo

Abstract: In the present paper we give proof that the information-transmission capacity of the approximate position measurement with the oscillator energy constraint, which underlies noisy Gaussian homodyning in quantum optics, is attained on Gaussian encoding. The proof is based on general principles of convex programming. Rather remarkably, for this particular model the method reduces the solution of the… ▽ More In the present paper we give proof that the information-transmission capacity of the approximate position measurement with the oscillator energy constraint, which underlies noisy Gaussian homodyning in quantum optics, is attained on Gaussian encoding. The proof is based on general principles of convex programming. Rather remarkably, for this particular model the method reduces the solution of the optimization problem to a generalization of the celebrated log-Sobolev inequality. We hope that this method should work also for other models lying out of the scope of the "threshold condition" ensuring that the upper bound for the capacity as a difference between the maximum and the minimum output entropies is attainable. △ Less

Submitted 17 August, 2022; v1 submitted 22 April, 2022; originally announced April 2022.

Comments: 22 pages, one figure, section with alternative proof is added

Accessible information of a general quantum Gaussian ensemble

Authors: A. S. Holevo

Abstract: Accessible information, which is a basic quantity in quantum information theory, is computed for a general quantum Gaussian ensemble under certain "threshold condition". It is shown that the maximizing measurement is Gaussian, constituting a far-reaching generalization of the optical heterodyning. This substantially extends the previous result concerning the gauge-invariant case, even for a single… ▽ More Accessible information, which is a basic quantity in quantum information theory, is computed for a general quantum Gaussian ensemble under certain "threshold condition". It is shown that the maximizing measurement is Gaussian, constituting a far-reaching generalization of the optical heterodyning. This substantially extends the previous result concerning the gauge-invariant case, even for a single bosonic mode. △ Less

Submitted 8 March, 2022; v1 submitted 3 February, 2021; originally announced February 2021.

Comments: 18 pages, 1 figure, notations improved. In the single mode case a new ex[licit form of the threshold condition is given

On the classical capacity of quantum Gaussian measurement

Authors: A. S. Holevo

Abstract: In this paper we consider the classical capacity problem for Gaussian measurement channels without imposing any kind of threshold condition. We prove Gaussianity of the average state of the optimal ensemble in general and discuss the Hypothesis of Gaussian Maximizers concerning the structure of the ensemble. The proof uses an approach of Wolf, Giedke and Cirac adapted to the convex closure of the… ▽ More In this paper we consider the classical capacity problem for Gaussian measurement channels without imposing any kind of threshold condition. We prove Gaussianity of the average state of the optimal ensemble in general and discuss the Hypothesis of Gaussian Maximizers concerning the structure of the ensemble. The proof uses an approach of Wolf, Giedke and Cirac adapted to the convex closure of the output differential entropy. Then we discuss the case of one mode in detail, including the dual problem of accessible information of a Gaussian ensemble. In quantum communications there are several studies of the classical capacity in the transmission scheme where not only the Gaussian channel but also the receiver is fixed, and the optimization is performed over certain set of the input ensembles. These studies are practically important in view of the complexity of the optimal receiver in the Quantum Channel Coding (HSW) theorem. Our findings are relevant to such a situation where the receiver is Gaussian and concatenation of the channel and the receiver can be considered as one Gaussian measurement channel. Our efforts in this and preceding papers are then aimed at establishing full Gaussianity of the optimal ensemble (usually taken as an assumption) in such schemes. △ Less

Submitted 4 February, 2021; v1 submitted 2 January, 2021; originally announced January 2021.

Comments: 19 pages, 2 tables, presentation improved

Journal ref: Entropy, 23:3 (2021) 377

The structure of general quantum Gaussian observable

Authors: A. S. Holevo

Abstract: The structure theorem is established which shows that an arbitrary multi-mode bosonic Gaussian observable can be represented as a combination of four basic cases, the physical prototypes of which are homodyne and heterodyne, noiseless or noisy, measurements in quantum optics. The proof establishes connection between the description of Gaussian observable in terms of the characteristic function and… ▽ More The structure theorem is established which shows that an arbitrary multi-mode bosonic Gaussian observable can be represented as a combination of four basic cases, the physical prototypes of which are homodyne and heterodyne, noiseless or noisy, measurements in quantum optics. The proof establishes connection between the description of Gaussian observable in terms of the characteristic function and in terms of density of the probability operator-valued measure (POVM) and has remarkable parallels with treatment of bosonic Gaussian channels in terms of their Choi-Jamiolkowski form. Along the way we give the ``most economical'', in the sense of minimal dimensions of the quantum ancilla, construction of the Naimark extension of a general Gaussian observable. It is also shown that the Gaussian POVM has bounded operator-valued density with respect to the Lebesgue measure if and only if its noise covariance matrix is nondegenerate. △ Less

Submitted 5 July, 2020; originally announced July 2020.

Comments: 13 pages, no figures

Journal ref: Proceedings of the Steklov Institute of Mathematics, 2021, Vol. 313, pp. 70-77

Quantum information aspects of approximate position measurement

Authors: A. S. Holevo, V. I. Yashin

Abstract: We perform a quantum information analysis for multi-mode Gaussian approximate position measurements, underlying noisy homodyning in quantum optics. The "Gaussian maximizer" property is established for the entropy reduction of these measurements which provides explicit formulas for computations including their entanglement-assisted capacity. The case of one mode is discussed in detail. We perform a quantum information analysis for multi-mode Gaussian approximate position measurements, underlying noisy homodyning in quantum optics. The "Gaussian maximizer" property is established for the entropy reduction of these measurements which provides explicit formulas for computations including their entanglement-assisted capacity. The case of one mode is discussed in detail. △ Less

Submitted 8 June, 2020; originally announced June 2020.

Comments: 18 pages, one figure

Journal ref: Quantum Information Processing, 20 (2021) 97

The information capacity of entanglement-assisted continuous variable measurement

Authors: A. S. Holevo, A. A. Kuznetsova

Abstract: The present paper is devoted to investigation of the entropy reduction and entanglement-assisted classical capacity (information gain) of continuous variable quantum measurements. These quantities are computed explicitly for multimode Gaussian measurement channels. For this we establish a fundamental property of the entropy reduction of a measurement: under a restriction on the second moments of t… ▽ More The present paper is devoted to investigation of the entropy reduction and entanglement-assisted classical capacity (information gain) of continuous variable quantum measurements. These quantities are computed explicitly for multimode Gaussian measurement channels. For this we establish a fundamental property of the entropy reduction of a measurement: under a restriction on the second moments of the input state it is maximized by a Gaussian state (providing an analytical expression for the maximum). In the case of one mode, the gain of entanglement assistance is investigated in detail. △ Less

Submitted 19 May, 2020; v1 submitted 11 April, 2020; originally announced April 2020.

Comments: 22 pages, 2 figures, eq. (43) corrected

Journal ref: J. Phys. A: Math. Theor., 53:37 (2020), 375307, 17 pp

Bosonic quantum communication across arbitrarily high loss channels

Authors: Ludovico Lami, Martin B. Plenio, Vittorio Giovannetti, Alexander S. Holevo

Abstract: A general attenuator $Φ_{λ, σ}$ is a bosonic quantum channel that acts by combining the input with a fixed environment state $σ$ in a beam splitter of transmissivity $λ$. If $σ$ is a thermal state the resulting channel is a thermal attenuator, whose quantum capacity vanishes for $λ\leq 1/2$. We study the quantum capacity of these objects for generic $σ$, proving a number of unexpected results. Mos… ▽ More A general attenuator $Φ_{λ, σ}$ is a bosonic quantum channel that acts by combining the input with a fixed environment state $σ$ in a beam splitter of transmissivity $λ$. If $σ$ is a thermal state the resulting channel is a thermal attenuator, whose quantum capacity vanishes for $λ\leq 1/2$. We study the quantum capacity of these objects for generic $σ$, proving a number of unexpected results. Most notably, we show that for any arbitrary value of $λ>0$ there exists a suitable single-mode state $σ(λ)$ such that the quantum capacity of $Φ_{λ,σ(λ)}$ is larger than a universal constant $c>0$. Our result holds even when we fix an energy constraint at the input of the channel, and implies that quantum communication at a constant rate is possible even in the limit of arbitrarily low transmissivity, provided that the environment state is appropriately controlled. We also find examples of states $σ$ such that the quantum capacity of $Φ_{λ,σ}$ is not monotonic in $λ$. These findings may have implications for the study of communication lines running across integrated optical circuits, of which general attenuators provide natural models. △ Less

Submitted 10 September, 2020; v1 submitted 19 March, 2020; originally announced March 2020.

Comments: 28 pages, 4 figures; v2 is very close to the published version. In the SM we added Section I.D, on the comparison between quantum communication and non-locality distribution, and Section V, where we discuss a possible extension of our main result (Thm. 2)

Journal ref: Phys. Rev. Lett. 125, 110504 (2020)

Information capacity of continuous variable measurement channel

Authors: A. S. Holevo, A. A. Kuznetsova

Abstract: The present paper is devoted to investigation of the classical capacity of infinite-dimensional quantum measurement channels. A number of usable conditions are introduced that enable us to apply previously obtained general results to specific models, in particular, to the multi-mode bosonic Gaussian measurement channels. An explicit formula for the classical capacity of the Gaussian measurement ch… ▽ More The present paper is devoted to investigation of the classical capacity of infinite-dimensional quantum measurement channels. A number of usable conditions are introduced that enable us to apply previously obtained general results to specific models, in particular, to the multi-mode bosonic Gaussian measurement channels. An explicit formula for the classical capacity of the Gaussian measurement channel is obtained in this paper without assuming the global gauge symmetry, solely under certain "threshold condition". The result is illustrated by the capacity computation for one-mode squeezed-noise heterodyne measurement channel. △ Less

Submitted 19 May, 2020; v1 submitted 11 October, 2019; originally announced October 2019.

Comments: 13 pages, Appendix corrected

Journal ref: J. Phys. A: Math. Theor. 53 (2020) 175304 (13pp)

Gaussian maximizers for quantum Gaussian observables and ensembles

Authors: A. S. Holevo

Abstract: In this paper we prove two results related to the Gaussian optimizers conjecture for multimode bosonic system with gauge symmetry. First, we argue that the classical capacity of a Gaussian observable is attained on a Gaussian ensemble of coherent states. This generalizes results previously known for heterodyne measurement in one mode. By using this fact and continuous variable version of ensemble-… ▽ More In this paper we prove two results related to the Gaussian optimizers conjecture for multimode bosonic system with gauge symmetry. First, we argue that the classical capacity of a Gaussian observable is attained on a Gaussian ensemble of coherent states. This generalizes results previously known for heterodyne measurement in one mode. By using this fact and continuous variable version of ensemble-observable duality, we prove an old conjecture that accessible information of a Gaussian ensemble is attained on the multimode generalization of the heterodyne measurement. △ Less

Submitted 18 March, 2020; v1 submitted 8 August, 2019; originally announced August 2019.

Comments: 18 pages; Presentation improved. Gauge invariance discussed in detail

Journal ref: IEEE Trans. Information Theory, 2020, vol. 66, Issue: 9, pp. 5634-5641

Energy-constrained diamond norms and quantum dynamical semigroups

Authors: M. E. Shirokov, A. S. Holevo

Abstract: In the developing theory of infinite-dimensional quantum channels the relevance of the energy-constrained diamond norms was recently corroborated both from physical and information-theoretic points of view. In this paper we study necessary and sufficient conditions for differentiability with respect to these norms of the strongly continuous semigroups of quantum channels (quantum dynamical semigro… ▽ More In the developing theory of infinite-dimensional quantum channels the relevance of the energy-constrained diamond norms was recently corroborated both from physical and information-theoretic points of view. In this paper we study necessary and sufficient conditions for differentiability with respect to these norms of the strongly continuous semigroups of quantum channels (quantum dynamical semigroups). We show that these conditions can be expressed in terms of the generator of the semigroup. We also analyze conditions for representation of a strongly continuous semigroup of quantum channels as an exponential series converging w.r.t. the energy-constrained diamond norm. Examples of semigroups having such a representation are presented. △ Less

Submitted 19 December, 2018; v1 submitted 18 December, 2018; originally announced December 2018.

Comments: 24 pages, any comments are welcome

Journal ref: Lobachevskii Journal of Mathematics, 2019, Vol. 40, No. 10, pp. 1569-1586

Unbounded generators of dynamical semigroups

Authors: Inken Siemon, Alexander S. Holevo, Reinhard F. Werner

Abstract: Dynamical semigroups have become the key structure for describing open system dynamics in all of physics. Bounded generators are known to be of a standard form, due to Gorini, Kossakowski, Sudarshan and Lindblad. This form is often used also in the unbounded case, but rather little is known about the general form of unbounded generators. In this paper we first give a precise description of the sta… ▽ More Dynamical semigroups have become the key structure for describing open system dynamics in all of physics. Bounded generators are known to be of a standard form, due to Gorini, Kossakowski, Sudarshan and Lindblad. This form is often used also in the unbounded case, but rather little is known about the general form of unbounded generators. In this paper we first give a precise description of the standard form in the unbounded case, emphasizing intuition, and collecting and even proving the basic results around it. We also give a cautionary example showing that the standard form must not be read too naively. Further examples are given of semigroups, which appear to be probability preserving to first order, but are not for finite times. Based on these, we construct examples of generators which are not of standard form. △ Less

Submitted 7 July, 2017; originally announced July 2017.

Comments: 19 pages, for the proceedings of "40 years of the GKLS equation", Torun 2016

On quantum Gaussian optimizers conjecture in the case q=p

Authors: A. S. Holevo

Abstract: The quantum Gaussian optimizers conjecture says that q-p norm of a Bosonic Gaussian channel is attained on "Gaussian" operators. Recently R.L. Frank and E.H. Lieb confirmed the hypothesis in the case q=p for gauge-covariant channels with arbitrary number of modes s [3]. In the present note we remark that in the case q=p our results in [6] and [9] in fact allow to prove the hypothesis for all Gauss… ▽ More The quantum Gaussian optimizers conjecture says that q-p norm of a Bosonic Gaussian channel is attained on "Gaussian" operators. Recently R.L. Frank and E.H. Lieb confirmed the hypothesis in the case q=p for gauge-covariant channels with arbitrary number of modes s [3]. In the present note we remark that in the case q=p our results in [6] and [9] in fact allow to prove the hypothesis for all Gaussian channels. Thus the condition of gauge covariance, rather crucial in the case q=1,s>1, plays no role in the case q=p. △ Less

Submitted 7 July, 2017; originally announced July 2017.

Comments: 3 pages

Journal ref: Russian Math. Surveys, 72:6 (2017), 1177-1179

On singular perturbations of quantum dynamical semigroups

Authors: A. S. Holevo

Abstract: We consider two examples of dynamical semigroups obtained by singular perturbations of a standard generator which are special case of unbounded completely positive perturbations studied in detail in [10]. In the section 2 we propose a generalization of an example from [1] aimed to give a positive answer to a conjecture of Arveson. In the section 3 we consider in greater detail an improved and simp… ▽ More We consider two examples of dynamical semigroups obtained by singular perturbations of a standard generator which are special case of unbounded completely positive perturbations studied in detail in [10]. In the section 2 we propose a generalization of an example from [1] aimed to give a positive answer to a conjecture of Arveson. In the section 3 we consider in greater detail an improved and simplified construction of a nonstandard dynamical semigroup outlined in our short communication [13]. △ Less

Submitted 26 January, 2018; v1 submitted 15 June, 2017; originally announced June 2017.

Comments: 15 pages, typos corrected

Journal ref: Mathematical Notes, vol.103(1), pp.133-144 (2018)

Lower semicontinuity of the entropic disturbance and its applications in quantum information theory

Authors: M. E. Shirokov, A. S. Holevo

Abstract: We prove that for any infinite-dimensional quantum channel the entropic disturbance (defined as difference between the $χ$-quantity of a generalized ensemble and that of the image of the ensemble under the channel) is lower semicontinuous on the natural set of its definition. We establish a number of useful corollaries of this property, in particular, we prove the continuity of the output… ▽ More We prove that for any infinite-dimensional quantum channel the entropic disturbance (defined as difference between the $χ$-quantity of a generalized ensemble and that of the image of the ensemble under the channel) is lower semicontinuous on the natural set of its definition. We establish a number of useful corollaries of this property, in particular, we prove the continuity of the output $χ\textrm{-}$quantity and the existence of $χ$-optimal ensemble for any quantum channel under the energy-type input constraint. △ Less

Submitted 29 December, 2016; v1 submitted 7 August, 2016; originally announced August 2016.

Comments: 22 pages, improved version

Journal ref: Izvestiya: Mathematics, 2017, 81:5, 1044-1060

Quantum signal+noise models: beyond i.i.d

Authors: A. S. Holevo

Abstract: Recently, the Gaussian optimizer conjecture in quantum information theory was confirmed for bosonic Gaussian gauge-covariant or contravariant channels. These results use the i.i.d. model of the quantum noise. In this paper we consider quantum Gaussian signal+noise model with time-continuous stationary coloured noise. A proof of the coding theorem for the classical capacity of quantum broadband gau… ▽ More Recently, the Gaussian optimizer conjecture in quantum information theory was confirmed for bosonic Gaussian gauge-covariant or contravariant channels. These results use the i.i.d. model of the quantum noise. In this paper we consider quantum Gaussian signal+noise model with time-continuous stationary coloured noise. A proof of the coding theorem for the classical capacity of quantum broadband gauge-covariant Gaussian channels is given. We also discuss and compare the "broadband" and the "bandpass" models of time-continuous time-continuous stationary coloured noise. △ Less

Submitted 21 December, 2016; v1 submitted 23 July, 2016; originally announced July 2016.

Comments: 26 pages, no figures. Minor improvements and references added

Journal ref: THEORY PROBAB. APPL., 62:4 (2018), 534-551

Normal form decomposition for Gaussian-to-Gaussian superoperators

Authors: Giacomo De Palma, Andrea Mari, Vittorio Giovannetti, Alexander S. Holevo

Abstract: In this paper we explore the set of linear maps sending the set of quantum Gaussian states into itself. These maps are in general not positive, a feature which can be exploited as a test to check whether a given quantum state belongs to the convex hull of Gaussian states (if one of the considered maps sends it into a non positive operator, the above state is certified not to belong to the set). Ge… ▽ More In this paper we explore the set of linear maps sending the set of quantum Gaussian states into itself. These maps are in general not positive, a feature which can be exploited as a test to check whether a given quantum state belongs to the convex hull of Gaussian states (if one of the considered maps sends it into a non positive operator, the above state is certified not to belong to the set). Generalizing a result known to be valid under the assumption of complete positivity, we provide a characterization of these Gaussian-to-Gaussian (not necessarily positive) superoperators in terms of their action on the characteristic function of the inputs. For the special case of one-mode mappings we also show that any Gaussian-to-Gaussian superoperator can be expressed as a concatenation of a phase-space dilatation, followed by the action of a completely positive Gaussian channel, possibly composed with a transposition. While a similar decomposition is shown to fail in the multi-mode scenario, we prove that it still holds at least under the further hypothesis of homogeneous action on the covariance matrix. △ Less

Submitted 20 May, 2015; v1 submitted 6 February, 2015; originally announced February 2015.

Journal ref: J. Math. Phys. 56, 052202 (2015)

Gaussian optimizers and the additivity problem in quantum information theory

Authors: A. S. Holevo

Abstract: We give a survey of the two remarkable analytical problems of quantum information theory. The main part is a detailed report of the recent (partial) solution of the quantum Gaussian optimizers problem which establishes an optimal property of Glauber's coherent states -- a particular instance of pure quantum Gaussian states. We elaborate on the notion of quantum Gaussian channel as a noncommutative… ▽ More We give a survey of the two remarkable analytical problems of quantum information theory. The main part is a detailed report of the recent (partial) solution of the quantum Gaussian optimizers problem which establishes an optimal property of Glauber's coherent states -- a particular instance of pure quantum Gaussian states. We elaborate on the notion of quantum Gaussian channel as a noncommutative generalization of Gaussian kernel to show that the coherent states, and under certain conditions only they, minimize a broad class of the concave functionals of the output of a Gaussian channel. Thus, the output states corresponding to the Gaussian input are "the least chaotic", majorizing all the other outputs. The solution, however, is essentially restricted to the gauge-invariant case where a distinguished complex structure plays a special role. We also comment on the related famous additivity conjecture, which was solved in principle in the negative some five years ago. This refers to the additivity or multiplicativity (with respect to tensor products of channels) of information quantities related to the classical capacity of quantum channel, such as $(1\rightarrow p)$-norms or the minimal von Neumann or Rényi output entropies. A remarkable corollary of the present solution of the quantum Gaussian optimizers problem is that these additivity properties, while not valid in general, do hold in the important and interesting class of the gauge-covariant Gaussian channels. △ Less

Submitted 13 March, 2015; v1 submitted 4 January, 2015; originally announced January 2015.

Comments: 47 pages. To appear in "Russian Mathematical Surveys". V.3: typos corrected, refs added. Comments are welcome

Journal ref: Russian Mathematical Surveys, 70:2 (2015), 331-367

Numerical and analytical research of the impact of decoherence on quantum circuits

Authors: Yu. I. Bogdanov, A. Yu. Chernyavskiy, B. I. Bantysh, V. F. Lukichev, A. A. Orlikovsky, I. A. Semenihin, D. V. Fastovets, A. S. Holevo

Abstract: Three different levels of noisy quantum schemes modeling are considered: vectors, density matrices and Choi-Jamiolkowski related states. The implementations for personal computers and supercomputers are described, and the corresponding results are shown. For the level of density matrices, we present the technique of the fixed rank approximation and show some analytical estimates of the fidelity le… ▽ More Three different levels of noisy quantum schemes modeling are considered: vectors, density matrices and Choi-Jamiolkowski related states. The implementations for personal computers and supercomputers are described, and the corresponding results are shown. For the level of density matrices, we present the technique of the fixed rank approximation and show some analytical estimates of the fidelity level. △ Less

Submitted 6 December, 2014; originally announced December 2014.

Comments: 11 pages, 9 figures, report for the International Symposium "Quantum Informatics-2014" (QI-2014), Zvenigorod, Moscow region, October 06-10, 2014

On the constrained classical capacity of infinite-dimensional covariant quantum channels

Authors: A. S. Holevo

Abstract: The additivity of the minimal output entropy and that of the $χ$-capacity are known to be equivalent for finite-dimensional irreducibly covariant channels. In this paper we formulate a list of conditions allowing to establish similar equivalence for infinite-dimensional covariant channels with constrained input. This is then applied to Bosonic Gaussian channels with quadratic input constraint to e… ▽ More The additivity of the minimal output entropy and that of the $χ$-capacity are known to be equivalent for finite-dimensional irreducibly covariant channels. In this paper we formulate a list of conditions allowing to establish similar equivalence for infinite-dimensional covariant channels with constrained input. This is then applied to Bosonic Gaussian channels with quadratic input constraint to extend the classical capacity results of the recent paper \cite{ghg} to the case where the complex structures associated with the channel and with the constraint operator need not commute. In particular, this implies a multimode generalization of the "threshold condition", obtained for single mode in \cite{schaefer}) and the proof of the fact that under this condition the classical "Gaussian capacity" resulting from optimization over Gaussian inputs is equal to the full classical capacity. We also investigate implications of the gauge-covariance condition for the single- and multimode Bosonic Gaussian channels. △ Less

Submitted 19 May, 2015; v1 submitted 29 September, 2014; originally announced September 2014.

Comments: 7 pages Revtex, corrected typos

Journal ref: J. Math. Phys., 57:1 (2016), 15203 , 11 pp

Coding theorems for hybrid channels. II

Authors: A. A. Kuznetsova, A. S. Holevo

Abstract: The present work continues investigation of the capacities of measurement (quantum-classical) channels in the most general setting, initiated in~\cite{HCT}. The proof of coding theorems is given for the classical capacity and entanglement-assisted classical capacity of the measurement channel with arbitrary output alphabet, without assuming that the channel is given by a bounded operator-valued de… ▽ More The present work continues investigation of the capacities of measurement (quantum-classical) channels in the most general setting, initiated in~\cite{HCT}. The proof of coding theorems is given for the classical capacity and entanglement-assisted classical capacity of the measurement channel with arbitrary output alphabet, without assuming that the channel is given by a bounded operator-valued density. △ Less

Submitted 14 August, 2014; originally announced August 2014.

Comments: 15 pages, one figure

Journal ref: Theory of Probab. and Appl. 58:1 (2014), 73-88

Majorization and additivity for multimode bosonic Gaussian channels

Authors: V. Giovannetti, A. S. Holevo, A. Mari

Abstract: Recently, the longstanding Gaussian optimizer conjecture was proven for bosonic Gaussian gauge-covariant or contravariant channels in the work of Giovannetti, Holevo and Garcia-Patron [3]. In the paper of Mari, Giovannetti and Holevo [11] this result was strengthened for one-mode channels by establishing that the output for the vacuum or coherent input majorizes the output for any other input. I… ▽ More Recently, the longstanding Gaussian optimizer conjecture was proven for bosonic Gaussian gauge-covariant or contravariant channels in the work of Giovannetti, Holevo and Garcia-Patron [3]. In the paper of Mari, Giovannetti and Holevo [11] this result was strengthened for one-mode channels by establishing that the output for the vacuum or coherent input majorizes the output for any other input. In the present paper we give the multimode extension of the result of [11], including sufficient conditions under which the coherent states are the only optimizers. We also discuss direct implications of this multimode majorization result to the positive solution of the additivity problem for the Gaussian channels. In particular, we demonstrate the additivity of the output Renyi entropies of arbitrary order p>1. Finally, we present an alternative derivation of a majorization property of Glauber's coherent states by Lieb and Solovej [10], basing on the method of the work [3]. △ Less

Submitted 6 September, 2016; v1 submitted 16 May, 2014; originally announced May 2014.

Comments: Sec. 6 with the proof of attainability of the infimum in question is added

Journal ref: Theoretical and Mathematical Physics, 182:2 (2015), 284-293

Ultimate communication capacity of quantum optical channels by solving the Gaussian minimum-entropy conjecture

Authors: V. Giovannetti, R. Garcia-Patron, N. J. Cerf, A. S. Holevo

Abstract: Optical channels, such as fibers or free-space links, are ubiquitous in today's telecommunication networks. They rely on the electromagnetic field associated with photons to carry information from one point to another in space. As a result, a complete physical model of these channels must necessarily take quantum effects into account in order to determine their ultimate performances. Specifically,… ▽ More Optical channels, such as fibers or free-space links, are ubiquitous in today's telecommunication networks. They rely on the electromagnetic field associated with photons to carry information from one point to another in space. As a result, a complete physical model of these channels must necessarily take quantum effects into account in order to determine their ultimate performances. Specifically, Gaussian photonic (or bosonic) quantum channels have been extensively studied over the past decades given their importance for practical purposes. In spite of this, a longstanding conjecture on the optimality of Gaussian encodings has yet prevented finding their communication capacity. Here, this conjecture is solved by proving that the vacuum state achieves the minimum output entropy of a generic Gaussian bosonic channel. This establishes the ultimate achievable bit rate under an energy constraint, as well as the long awaited proof that the single-letter classical capacity of these channels is additive. Beyond capacities, it also has broad consequences in quantum information sciences. △ Less

Submitted 21 December, 2013; originally announced December 2013.

Comments: 8 pages, 3 figures

Journal ref: Nature Photonics 8, 796-800 (2014)

Quantum state majorization at the output of bosonic Gaussian channels

Authors: Andrea Mari, Vittorio Giovannetti, Alexander S. Holevo

Abstract: Quantum communication theory explores the implications of quantum mechanics to the tasks of information transmission. Many physical channels can be formally described as quantum Gaussian operations acting on bosonic quantum states. Depending on the input state and on the quality of the channel, the output suffers certain amount of noise. For a long time it has been conjectured, but never proved, t… ▽ More Quantum communication theory explores the implications of quantum mechanics to the tasks of information transmission. Many physical channels can be formally described as quantum Gaussian operations acting on bosonic quantum states. Depending on the input state and on the quality of the channel, the output suffers certain amount of noise. For a long time it has been conjectured, but never proved, that output states of Gaussian channels corresponding to coherent input signals are the less noisy ones (in the sense of a majorization criterion). In this work we prove this conjecture. Specifically we show that every output state of a phase insensitive Gaussian channel is majorized by the output state corresponding to a coherent input. The proof is based on the optimality of coherent states for the minimization of strictly concave output functionals. Moreover we show that coherent states are the unique optimizers. △ Less

Submitted 13 May, 2015; v1 submitted 12 December, 2013; originally announced December 2013.

Comments: 7 pages, 1 figure. Published version

Journal ref: Nature Communications 5, 3826 (2014)

A solution of the Gaussian optimizer conjecture

Authors: V. Giovannetti, A. S. Holevo, R. Garcia-Patron

Abstract: The long-standing conjectures of the optimality of Gaussian inputs for Gaussian channel and Gaussian additivity are solved for a broad class of covariant or contravariant Bosonic Gaussian channels (which includes in particular thermal, additive classical noise, and amplifier channels) restricting to the class of states with finite second moments. We show that the vacuum is the input state which mi… ▽ More The long-standing conjectures of the optimality of Gaussian inputs for Gaussian channel and Gaussian additivity are solved for a broad class of covariant or contravariant Bosonic Gaussian channels (which includes in particular thermal, additive classical noise, and amplifier channels) restricting to the class of states with finite second moments. We show that the vacuum is the input state which minimizes the entropy at the output of such channels. This allows us to show also that the classical capacity of these channels (under the input energy constraint) is additive and is achieved by Gaussian encodings. △ Less

Submitted 5 March, 2014; v1 submitted 8 December, 2013; originally announced December 2013.

Comments: 24 pages, no figures (minor typos corrected)

Journal ref: Communications in Mathematical Physics, 334:3 (2015), 1553-1571

Gaussian classical-quantum channels: gain of entanglement-assistance

Authors: A. S. Holevo

Abstract: In the present paper we introduce and study Bosonic Gaussian classical-quantum (c-q) channels; the embedding of the classical input into quantum is always possible and therefore the classical entanglement-assisted capacity C_{ea} under appropriate input constraint is well defined. We prove a general property of entropy increase for weak complementary channel, that implies the equality C_{ea}=C (wh… ▽ More In the present paper we introduce and study Bosonic Gaussian classical-quantum (c-q) channels; the embedding of the classical input into quantum is always possible and therefore the classical entanglement-assisted capacity C_{ea} under appropriate input constraint is well defined. We prove a general property of entropy increase for weak complementary channel, that implies the equality C_{ea}=C (where C is the unassisted capacity) for certain class of c-q Gaussian channel under appropriate energy-type constraint. On the other hand, we show by explicit example that the inequality C<C_{ea} is not unusual for constrained c-q Gaussian channel. △ Less

Submitted 20 November, 2012; originally announced November 2012.

Comments: 19 pages, 2 figures

Journal ref: Problems of information transmission, 2014, v. 50, 1-15

On the entanglement-assisted classical capacity of infinite-dimensional quantum channels

Authors: A. S. Holevo, M. E. Shirokov

Abstract: The coding theorem for the entanglement-assisted communication via infinite-dimensional quantum channel with linear constraint is extended to a natural degree of generality. Relations between the entanglement-assisted classical capacity and the $χ$-capacity of constrained channels are obtained and conditions for their coincidence are given. Sufficient conditions for continuity of the entanglement-… ▽ More The coding theorem for the entanglement-assisted communication via infinite-dimensional quantum channel with linear constraint is extended to a natural degree of generality. Relations between the entanglement-assisted classical capacity and the $χ$-capacity of constrained channels are obtained and conditions for their coincidence are given. Sufficient conditions for continuity of the entanglement-assisted classical capacity as a function of a channel are obtained. Some applications of the obtained results to analysis of Gaussian channels are considered. A general (continuous) version of the fundamental relation between the coherent information and the measure of privacy of classical information transmission by infinite-dimensional quantum channel is proved. △ Less

Submitted 28 May, 2013; v1 submitted 25 October, 2012; originally announced October 2012.

Comments: 26 pages, minor corrections have been made

Journal ref: Problems of Information Transmission, 2013, V.49, N.1, pp.15-31

Mathematical modeling of quantum noise and the quality of hardware components of quantum computers

Authors: Yu. I. Bogdanov, A. Yu. Chernyavskiy, A. S. Holevo, V. F. Luckichev, S. A. Nuyanzin, A. A. Orlikovsky

Abstract: In the present paper methods and algorithms of modeling quantum operations for quantum computer integrated circuits design are developed. We examine different ways of quantum operation descriptions, including operator-sums, unitary representations, Choi-Jamiolkowski state representations and the corresponding chi-matrices, as well as quantum system evolution operators. The results of modeling of p… ▽ More In the present paper methods and algorithms of modeling quantum operations for quantum computer integrated circuits design are developed. We examine different ways of quantum operation descriptions, including operator-sums, unitary representations, Choi-Jamiolkowski state representations and the corresponding chi-matrices, as well as quantum system evolution operators. The results of modeling of practically important quantum gates: SQiSW (square root of i-SWAP gate), controlled-NOT (CNOT), and controlled Z-transform (CZ) subject to different decoherence mechanisms are presented. These mechanisms include analysis of depolarizing quantum noise and processes of amplitude and phase relaxation. Finally, we consider error correction of phase flip, and the tasks of creating and maintaining the entanglement, as well as its breaking for two- and multi-qubit realizations of quantum operations. Importance of the present analysis for the quality and efficiency of quantum information technologies in practical applications is discussed. △ Less

Submitted 13 July, 2012; originally announced July 2012.

Comments: 27 pages, 12 figures, report for the International Symposium "Quantum Informatics-2012" (QI-2012), Zvenigorod, Moscow region, October 01-05, 2012

Quantum channels and their entropic characteristics

Authors: A. S. Holevo, V. Giovannetti

Abstract: One of the major achievements of the recently emerged quantum information theory is the introduction and thorough investigation of the notion of quantum channel which is a basic building block of any data-transmitting or data-processing system. This development resulted in an elaborated structural theory and was accompanied by the discovery of a whole spectrum of entropic quantities, notably the c… ▽ More One of the major achievements of the recently emerged quantum information theory is the introduction and thorough investigation of the notion of quantum channel which is a basic building block of any data-transmitting or data-processing system. This development resulted in an elaborated structural theory and was accompanied by the discovery of a whole spectrum of entropic quantities, notably the channel capacities, characterizing information-processing performance of the channels. This paper gives a survey of the main properties of quantum channels and of their entropic characterization, with a variety of examples for finite dimensional quantum systems. We also touch upon the "continuous-variables" case, which provides an arena for quantum Gaussian systems. Most of the practical realizations of quantum information processing were implemented in such systems, in particular based on principles of quantum optics. Several important entropic quantities are introduced and used to describe the basic channel capacity formulas. The remarkable role of the specific quantum correlations - entanglement - as a novel communication resource, is stressed. △ Less

Submitted 29 February, 2012; originally announced February 2012.

Comments: review article, 60 pages, 5 figures, 194 references; Rep. Prog. Phys. (in press)

Journal ref: 2012 Rep. Prog. Phys. 75 046001

On extreme Bosonic linear channels

Authors: A. S. Holevo

Abstract: The set of all channels with fixed input and output is convex. We first give a convenient formulation of necessary and sufficient condition for a channel to be extreme point of this set in terms of complementary channel, a notion of big importance in quantum information theory. This formulation is based on the general approach to extremality of completely positive maps in an operator algebra due t… ▽ More The set of all channels with fixed input and output is convex. We first give a convenient formulation of necessary and sufficient condition for a channel to be extreme point of this set in terms of complementary channel, a notion of big importance in quantum information theory. This formulation is based on the general approach to extremality of completely positive maps in an operator algebra due to Arveson. We then apply this formulation to prove the main result of this note: under certain nondegeneracy conditions, purity of the environment is necessary and sufficient for extremality of Bosonic linear (quasi-free) channel. It follows that Gaussian channel between finite-mode Bosonic systems is extreme if and only if it has minimal noise. △ Less

Submitted 28 November, 2011; v1 submitted 15 November, 2011; originally announced November 2011.

Comments: 11 pages; the proof extended to Bosonic linear (quasifree) channels; further typos corrected, references added

Journal ref: Theor. Math. Phys. vol. 174:2 (2013) 288-297

Information capacity of quantum observable

Authors: A. S. Holevo

Abstract: In this paper we consider the classical capacities of quantum-classical channels corresponding to measurement of observables. Special attention is paid to the case of continuous observables. We give the formulas for unassisted and entanglement-assisted classical capacities $C,C_{ea}$ and consider some explicitly solvable cases which give simple examples of entanglement-breaking channels with… ▽ More In this paper we consider the classical capacities of quantum-classical channels corresponding to measurement of observables. Special attention is paid to the case of continuous observables. We give the formulas for unassisted and entanglement-assisted classical capacities $C,C_{ea}$ and consider some explicitly solvable cases which give simple examples of entanglement-breaking channels with $C<C_{ea}.$ We also elaborate on the ensemble-observable duality to show that $C_{ea}$ for the measurement channel is related to the $χ$-quantity for the dual ensemble in the same way as $C$ is related to the accessible information. This provides both accessible information and the $χ$-quantity for the quantum ensembles dual to our examples. △ Less

Submitted 18 April, 2011; v1 submitted 14 March, 2011; originally announced March 2011.

Comments: 13 pages. New section and references are added concerning the ensemble-observable duality

Journal ref: Problems of Information Transmission, vol. 48 (2012), 1-10

The optimal unitary dilation for bosonic Gaussian channels

Authors: Filippo Caruso, Jens Eisert, Vittorio Giovannetti, Alexander S. Holevo

Abstract: A generic quantum channel can be represented in terms of a unitary interaction between the information-carrying system and a noisy environment. Here, the minimal number of quantum Gaussian environmental modes required to provide a unitary dilation of a multi-mode bosonic Gaussian channel is analyzed both for mixed and pure environment corresponding to the Stinespring representation. In particular,… ▽ More A generic quantum channel can be represented in terms of a unitary interaction between the information-carrying system and a noisy environment. Here, the minimal number of quantum Gaussian environmental modes required to provide a unitary dilation of a multi-mode bosonic Gaussian channel is analyzed both for mixed and pure environment corresponding to the Stinespring representation. In particular, for the case of pure environment we compute this quantity and present an explicit unitary dilation for arbitrary bosonic Gaussian channel. These results considerably simplify the characterization of these continuous-variable maps and can be applied to address some open issues concerning the transmission of information encoded in bosonic systems. △ Less

Submitted 6 September, 2010; originally announced September 2010.

Comments: 9 pages

Journal ref: Phys. Rev. A 84, 022306 (2011)

Generalized minimal output entropy conjecture for one-mode Gaussian channels: definitions and some exact results

Authors: V. Giovannetti, A. S. Holevo, S. Lloyd, L. Maccone

Abstract: A formulation of the generalized minimal output entropy conjecture for Gaussian channels is presented. It asserts that, for states with fixed input entropy, the minimal value of the output entropy of the channel (i.e. the minimal output entropy increment for fixed input entropy) is achieved by Gaussian states. In the case of centered channels (i.e. channels which do not add squeezing to the input… ▽ More A formulation of the generalized minimal output entropy conjecture for Gaussian channels is presented. It asserts that, for states with fixed input entropy, the minimal value of the output entropy of the channel (i.e. the minimal output entropy increment for fixed input entropy) is achieved by Gaussian states. In the case of centered channels (i.e. channels which do not add squeezing to the input state) this implies that the minimum is obtained by thermal (Gibbs) inputs. The conjecture is proved to be valid in some special cases. △ Less

Submitted 1 October, 2010; v1 submitted 27 April, 2010; originally announced April 2010.

Comments: 7 pages, updated version minor typos corrected

Journal ref: J. Phys. A: Math. Theor. 43 415305, (2010)

Mutual and coherent informations for infinite-dimensional quantum channels

Authors: A. S. Holevo, M. E. Shirokov

Abstract: The work is devoted to study of quantum mutual information and coherent information -- the two important characteristics of quantum communication channel. Appropriate definitions of these quantities in the infinite-dimensional case are given and their properties are studied in detail. Basic identities relating quantum mutual information and coherent information of a pair of complementary channels… ▽ More The work is devoted to study of quantum mutual information and coherent information -- the two important characteristics of quantum communication channel. Appropriate definitions of these quantities in the infinite-dimensional case are given and their properties are studied in detail. Basic identities relating quantum mutual information and coherent information of a pair of complementary channels are proved. An unexpected continuity property of quantum mutual information and coherent information following from the above identities is observed. An upper bound for the coherent information is obtained. △ Less

Submitted 5 December, 2010; v1 submitted 14 April, 2010; originally announced April 2010.

Comments: 27 pages, an alternative expression for the coherent information is added (Remark 2)

MSC Class: 81P45

Journal ref: Problems of Information Transmission, 2010, V.46, N.3, 201-218

On the Choi-Jamiolkowski Correspondence in Infinite Dimensions

Authors: A. S. Holevo

Abstract: We give a mathematical formulation for the Choi-Jamiolkowski (CJ) correspondence in the infinite-dimensional case in the form close to one used in quantum information theory. We show that there is no need to use a limiting procedure to define "unnormalized maximally entangled state" and the corresponding analog of the Choi matrix since they can be defined rigorously as, in general, nonclosable for… ▽ More We give a mathematical formulation for the Choi-Jamiolkowski (CJ) correspondence in the infinite-dimensional case in the form close to one used in quantum information theory. We show that there is no need to use a limiting procedure to define "unnormalized maximally entangled state" and the corresponding analog of the Choi matrix since they can be defined rigorously as, in general, nonclosable forms on an appropriate dense subspace. The properties of these forms are discussed in Sec. 2. An important question is: when the CJ form is given by a bounded operator. This is the case for entanglement-breaking channels: we prove this in Sec. 3 along with a version of a result of Wolf et al. characterizing CJ operators which correspond to such channels by giving precise definitions of a separable operator and a relevant integral. In Sec. 4 we obtain explicit expressions for CJ forms and operators defining a general Bosonic Gaussian channel. In Sec. 5 we give a decomposition of the Gaussian CJ form into product of the four principal types and a necessary and sufficient condition for existence of the bounded CJ operator. △ Less

Submitted 22 January, 2011; v1 submitted 1 April, 2010; originally announced April 2010.

Comments: Results in Sec. 3,4 are strengthened. Sec. 4 is complemented with treatment of three degenerate cases. Sec. 5 is added where a decomposition of the Gaussian CJ form into product of the four principal types and a necessary and sufficient condition for existence of the bounded CJ operator are given

Report number: Mittag-Leffler-2010fall MSC Class: 81Qxx

Journal ref: J. Math. Phys., 52 (2011), 042202

The entropy gain of infinite-dimensional quantum channels

Authors: A. S. Holevo

Abstract: In the present paper we study the entropy gain $H(Φ[ρ])-H(ρ)$ for infinite-dimensional channels $Φ$. We show that unlike finite-dimensional case where the minimal entropy gain is always nonpositive \cite{al}, there is a plenty of channels with positive minimal entropy gain. We obtain the new lower bound and compute the minimal entropy gain for a broad class of Bosonic Gaussian channels by provin… ▽ More In the present paper we study the entropy gain $H(Φ[ρ])-H(ρ)$ for infinite-dimensional channels $Φ$. We show that unlike finite-dimensional case where the minimal entropy gain is always nonpositive \cite{al}, there is a plenty of channels with positive minimal entropy gain. We obtain the new lower bound and compute the minimal entropy gain for a broad class of Bosonic Gaussian channels by proving that the infimum is attained on the Gaussian states. △ Less

Submitted 30 March, 2010; originally announced March 2010.

Comments: 10 pages

MSC Class: 81Qxx

Journal ref: Doklady Mathematics, 82:2 (2010), 730-731

The semigroup structure of Gaussian channels

Authors: Teiko Heinosaari, Alexander S. Holevo, Michael M. Wolf

Abstract: We investigate the semigroup structure of bosonic Gaussian quantum channels. Particular focus lies on the sets of channels which are divisible, idempotent or Markovian (in the sense of either belonging to one-parameter semigroups or being infinitesimal divisible). We show that the non-compactness of the set of Gaussian channels allows for remarkable differences when comparing the semigroup struc… ▽ More We investigate the semigroup structure of bosonic Gaussian quantum channels. Particular focus lies on the sets of channels which are divisible, idempotent or Markovian (in the sense of either belonging to one-parameter semigroups or being infinitesimal divisible). We show that the non-compactness of the set of Gaussian channels allows for remarkable differences when comparing the semigroup structure with that of finite dimensional quantum channels. For instance, every irreversible Gaussian channel is shown to be divisible in spite of the existence of Gaussian channels which are not infinitesimal divisible. A simpler and known consequence of non-compactness is the lack of generators for certain reversible channels. Along the way we provide new representations for classes of Gaussian channels: as matrix semigroup, complex valued positive matrices or in terms of a simple form describing almost all one-parameter semigroups. △ Less

Submitted 2 September, 2009; originally announced September 2009.

Comments: 20 pages

Journal ref: Quantum Inf. Comp. 10: 0619-0635 (2010)

Multi-mode bosonic Gaussian channels

Authors: F. Caruso, J. Eisert, V. Giovannetti, A. S. Holevo

Abstract: A complete analysis of multi-mode bosonic Gaussian channels is proposed. We clarify the structure of unitary dilations of general Gaussian channels involving any number of bosonic modes and present a normal form. The maximum number of auxiliary modes that is needed is identified, including all rank deficient cases, and the specific role of additive classical noise is highlighted. By using this a… ▽ More A complete analysis of multi-mode bosonic Gaussian channels is proposed. We clarify the structure of unitary dilations of general Gaussian channels involving any number of bosonic modes and present a normal form. The maximum number of auxiliary modes that is needed is identified, including all rank deficient cases, and the specific role of additive classical noise is highlighted. By using this analysis, we derive a canonical matrix form of the noisy evolution of n-mode bosonic Gaussian channels and of their weak complementary counterparts, based on a recent generalization of the normal mode decomposition for non-symmetric or locality constrained situations. It allows us to simplify the weak-degradability classification. Moreover, we investigate the structure of some singular multi-mode channels, like the additive classical noise channel that can be used to decompose a noisy channel in terms of a less noisy one in order to find new sets of maps with zero quantum capacity. Finally, the two-mode case is analyzed in detail. By exploiting the composition rules of two-mode maps and the fact that anti-degradable channels cannot be used to transfer quantum information, we identify sets of two-mode bosonic channels with zero capacity. △ Less

Submitted 6 August, 2008; v1 submitted 3 April, 2008; originally announced April 2008.

Comments: 37 pages, 3 figures (minor editing), accepted for publication in New Journal of Physics

Journal ref: New Journal of Physics 10, 083030 (33pp) (2008)

Entanglement-breaking channels in infinite dimensions

Authors: A. S. Holevo

Abstract: We give a representation for entanglement-breaking channels in separable Hilbert space that generalizes the "Kraus decomposition with rank one operators" and use it to describe the complementary channels. We also give necessary and sufficient condition of entanglement-breaking for a general quantum Gaussian channel. Application of this condition to one-mode channels provides several new cases wh… ▽ More We give a representation for entanglement-breaking channels in separable Hilbert space that generalizes the "Kraus decomposition with rank one operators" and use it to describe the complementary channels. We also give necessary and sufficient condition of entanglement-breaking for a general quantum Gaussian channel. Application of this condition to one-mode channels provides several new cases where the additivity conjecture holds in full generality. △ Less

Submitted 3 February, 2008; originally announced February 2008.

Comments: 16 pages

Journal ref: Problems of Information Transmission 44:3 (2008) 3-18

On approximation of quantum channels

Authors: M. E. Shirokov, A. S. Holevo

Abstract: We develop an approximation approach to infinite dimensional quantum channels based on detailed investigation of the continuity properties of entropic characteristics of quantum channels and operations (trace-nonincreasing completely positive maps) as functions of a pair ``channel, input state''. The obtained results are then applied to the following problems: continuity of the $χ$-capacity as f… ▽ More We develop an approximation approach to infinite dimensional quantum channels based on detailed investigation of the continuity properties of entropic characteristics of quantum channels and operations (trace-nonincreasing completely positive maps) as functions of a pair ``channel, input state''. The obtained results are then applied to the following problems: continuity of the $χ$-capacity as function of a channel; strong additivity of the $χ$-capacity for infinite dimensional channels; the analytical expression for the convex closure of the output entropy of arbitrary quantum channel. △ Less

Submitted 14 November, 2007; originally announced November 2007.

Comments: 26 pages

Journal ref: Problems of Information Transmission, Vol. 44, No. 2, (2008), 3-22

Quantum Shared Broadcasting

Authors: V. Giovannetti, A. S. Holevo

Abstract: A generalization of quantum broadcasting protocol is presented. Here the goal is to copy an unknown input state into two subsystems which partially overlap. We show that the possibility of implementing these protocols strongly depends upon the overlap among the subsystems. Conditions for approximated shared broadcasting are analyzed. A generalization of quantum broadcasting protocol is presented. Here the goal is to copy an unknown input state into two subsystems which partially overlap. We show that the possibility of implementing these protocols strongly depends upon the overlap among the subsystems. Conditions for approximated shared broadcasting are analyzed. △ Less

Submitted 31 March, 2008; v1 submitted 12 October, 2007; originally announced October 2007.

Comments: 15 pages, 2 figures. Accepted for publication in Quantum Information Processing

Journal ref: Quantum Information Processing 7, 55 (2008)

One-mode Bosonic Gaussian channels: a full weak-degradability classification

Authors: F. Caruso, V. Giovannetti, A. S. Holevo

Abstract: A complete degradability analysis of one-mode Gaussian Bosonic channels is presented. We show that apart from the class of channels which are unitarily equivalent to the channels with additive classical noise, these maps can be characterized in terms of weak- and/or anti-degradability. Furthermore a new set of channels which have null quantum capacity is identified. This is done by exploiting th… ▽ More A complete degradability analysis of one-mode Gaussian Bosonic channels is presented. We show that apart from the class of channels which are unitarily equivalent to the channels with additive classical noise, these maps can be characterized in terms of weak- and/or anti-degradability. Furthermore a new set of channels which have null quantum capacity is identified. This is done by exploiting the composition rules of one-mode Gaussian maps and the fact that anti-degradable channels can not be used to transfer quantum information. △ Less

Submitted 14 December, 2006; v1 submitted 3 September, 2006; originally announced September 2006.

Comments: 23 pages, 3 figures

Journal ref: New Journal of Physics 8, 310 (2006)

One-mode quantum Gaussian channels

Authors: A. S. Holevo

Abstract: A classification of one-mode Gaussian channels is given up to canonical unitary equivalence. A complementary to the quantum channel with additive classical Gaussian noise is described providing an example of one-mode Gaussian channel which is neither degradable nor anti-degradable. A classification of one-mode Gaussian channels is given up to canonical unitary equivalence. A complementary to the quantum channel with additive classical Gaussian noise is described providing an example of one-mode Gaussian channel which is neither degradable nor anti-degradable. △ Less

Submitted 16 July, 2006; v1 submitted 7 July, 2006; originally announced July 2006.

Comments: 12 pages, classification improved, typos corrected, reference added

Journal ref: Problems of Information Transmission, v.43, 1-11, 2007

On Weyl-covariant channels

Authors: M. Fukuda, A. S. Holevo

Abstract: Formalism of discrete noncommutative Fourier transform is developed and applied to the study of Weyl-covariant channels. We then extend a result in quant-ph/0509126 concerning a bound of the maximal output 2-norm of a Weyl-covariant channel. A class of channels which attain the bound is introduced, for which the multiplicativity of the maximal output 2-norm is proven. Complementary channels are… ▽ More Formalism of discrete noncommutative Fourier transform is developed and applied to the study of Weyl-covariant channels. We then extend a result in quant-ph/0509126 concerning a bound of the maximal output 2-norm of a Weyl-covariant channel. A class of channels which attain the bound is introduced, for which the multiplicativity of the maximal output 2-norm is proven. Complementary channels are described which share the multiplicativity properties with the Weyl-covariant channels. △ Less

Submitted 15 November, 2006; v1 submitted 19 October, 2005; originally announced October 2005.

Comments: 14 pages, 1 figure, some errors were corrected

Complementarity and additivity for depolarizing channels

Authors: Nilanjana Datta, Alexander S. Holevo

Abstract: In this paper we use the method of a recent paper (quant-ph/0509101) to compute complementary channels for certain important cases, such as depolarizing and transpose-depolarizing channels. This method allows us to easily obtain the minimal Kraus representations from non--minimal ones. We also study the properties of the output purity of the tensor product of a channel and its complement. In this paper we use the method of a recent paper (quant-ph/0509101) to compute complementary channels for certain important cases, such as depolarizing and transpose-depolarizing channels. This method allows us to easily obtain the minimal Kraus representations from non--minimal ones. We also study the properties of the output purity of the tensor product of a channel and its complement. △ Less

Submitted 18 October, 2005; originally announced October 2005.

Comments: 17 pages

On complementary channels and the additivity problem

Authors: A. S. Holevo

Abstract: We explore complementarity between output and environment of a quantum channel (or, more generally, CP map), making an observation that the output purity characteristics for complementary CP maps coincide. Hence, validity of the mutiplicativity/additivity conjecture for a class of CP maps implies its validity for complementary maps. The class of CP maps complementary to entanglement-breaking one… ▽ More We explore complementarity between output and environment of a quantum channel (or, more generally, CP map), making an observation that the output purity characteristics for complementary CP maps coincide. Hence, validity of the mutiplicativity/additivity conjecture for a class of CP maps implies its validity for complementary maps. The class of CP maps complementary to entanglement-breaking ones is described and is shown to contain diagonal CP maps as a proper subclass, resulting in new class of CP maps (channels) for which the multiplicativity/additivity holds. Covariant and Gaussian channels are discussed briefly in this context. △ Less

Submitted 6 October, 2005; v1 submitted 14 September, 2005; originally announced September 2005.

Comments: 11 pages; references added, typos corrected

Journal ref: Probab. Theory and Appl., v. 51, 133-143, 2005

Separability and Entanglement-Breaking in Infinite Dimensions

Authors: A. S. Holevo, M. E. Shirokov, R. F. Werner

Abstract: In this paper we give a general integral representation for separable states in the tensor product of infinite dimensional Hilbert spaces and provide the first example of separable states that are not countably decomposable. We also prove the structure theorem for the quantum communication channels that are entanglement-breaking, generalizing the finite-dimensional result of M. Horodecki, Ruskai… ▽ More In this paper we give a general integral representation for separable states in the tensor product of infinite dimensional Hilbert spaces and provide the first example of separable states that are not countably decomposable. We also prove the structure theorem for the quantum communication channels that are entanglement-breaking, generalizing the finite-dimensional result of M. Horodecki, Ruskai and Shor. In the finite dimensional case such channels can be characterized as having the Kraus representation with operators of rank 1. The above example implies existence of infinite-dimensional entanglement-breaking channels having no such representation. △ Less

Submitted 27 April, 2005; originally announced April 2005.

Comments: 12 pages

Journal ref: Russian Math. Surveys, vol. 60, N2,2005

Additivity for transpose depolarizing channels

Authors: Nilanjana Datta, Alexander S. Holevo, Yuri Suhov

Abstract: Additivity of the minimal output entropy for the family of transpose depolarizing channels introduced by Fannes et al. [quant-ph/0410195] is considered. It is shown that using the method of our previous paper [quant-ph/0403072] allows us to prove the additivity for the range of the parameter values for which the problem was left open in [quant-ph/0410195]. Together with the result of [quant-ph/0… ▽ More Additivity of the minimal output entropy for the family of transpose depolarizing channels introduced by Fannes et al. [quant-ph/0410195] is considered. It is shown that using the method of our previous paper [quant-ph/0403072] allows us to prove the additivity for the range of the parameter values for which the problem was left open in [quant-ph/0410195]. Together with the result of [quant-ph/0410195], this covers the whole family of transpose depolarizing channels. △ Less

Submitted 5 December, 2004; originally announced December 2004.

Comments: 9 pages

Continuous ensembles and the $χ$-capacity of infinite-dimensional channels

Authors: A. S. Holevo, M. E. Shirokov

Abstract: The paper is devoted to systematic study of the $χ$-capacity (underlying the classical capacity) of infinite dimensional quantum channels. An essential feature of this case is the natural appearance of the input constraints and infinite, in general, ``continuous'' state ensembles, defined as probability measures on the set of all quantum states. By using compactness criteria from probability the… ▽ More The paper is devoted to systematic study of the $χ$-capacity (underlying the classical capacity) of infinite dimensional quantum channels. An essential feature of this case is the natural appearance of the input constraints and infinite, in general, ``continuous'' state ensembles, defined as probability measures on the set of all quantum states. By using compactness criteria from probability theory and operator theory it is shown that the set of all generalized ensembles with the average (barycenter) in a compact set of states is itself a compact subset of the set of all probability measures. With this in hand we give a sufficient condition for the existence of an optimal generalized ensemble for a constrained quantum channel. This condition can be verified in the case of Bosonic Gaussian channels with constrained mean energy. The importance of the above condition is shown by considering example of a constrained channel with no optimal generalized ensemble. In the case of convex constraints a characterization of the optimal generalized ensemble is obtained extending the `` maximal distance'' property. △ Less

Submitted 30 August, 2004; originally announced August 2004.

Comments: 17 pages

Journal ref: Theory of Probability and its Applications, Vol. 50, No.1, (2005), 86--114

A quantum channel with additive minimum output entropy

Authors: Nilanjana Datta, Alexander S. Holevo, Yuri M. Suhov

Abstract: We give a direct proof of the additivity of the minimum output entropy of a particular quantum channel which breaks the multiplicativity conjecture. This yields additivity of the classical capacity of this channel, a result obtained by a different method by Matsumoto and Yura [quant-ph/0306009]. Our proof relies heavily upon certain concavity properties of the output entropy which are of indepen… ▽ More We give a direct proof of the additivity of the minimum output entropy of a particular quantum channel which breaks the multiplicativity conjecture. This yields additivity of the classical capacity of this channel, a result obtained by a different method by Matsumoto and Yura [quant-ph/0306009]. Our proof relies heavily upon certain concavity properties of the output entropy which are of independent interest. △ Less

Submitted 9 March, 2004; originally announced March 2004.

Comments: 15 pages, 2 figures