Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Lobachevskii Journal of Mathematics

Information Capacity of State Ensembles and Observables

Alexander Semenovich Holevo

Published Jun 1, 2024• 0 citations
Publisher

Abstract

Given a quantum state ensemble $$\mathcal{E}$$ and quantum observable $$\mathcal{M},$$ one can define the Shannon information $$I(\mathcal{E},\mathcal{M})$$ and introduce the two fundamental information quantities. The accessible information $$A(\mathcal{E})$$ of the ensemble $$\mathcal{E}$$ is defined as supremum of $$I(\mathcal{E},\mathcal{M})$$ over all observables $$\mathcal{M}$$ . The information capacity $$C(\mathcal{M})$$ of the observable $$\mathcal{M}$$ is essentially supremum of $$I(\mathcal{E},\mathcal{M})$$ over ensembles $$\mathcal{E}$$ (where $$\mathcal{E}$$ may be subject to certain additional constraints). Computation of these quantities presents important and rather involved optimization problems which are closely connected via the so called ensemble-observable duality. This paper is devoted to consideration of these two quantities for quantum Gaussian systems. In this case ensemble-observable duality admits quite an explicit description. The present paper surveys results recently obtained in these directions. It turns out that in both cases the maximizer is quantum Gaussian: the quantity $$I(\mathcal{E},\mathcal{M}),$$ where $$\mathcal{E}$$ is Gaussian ensemble, is maximized by a Gaussian observable, while $$I(\mathcal{E},\mathcal{M})$$ for Gaussian observable $$\mathcal{M}$$ is maximized by a Gaussian state ensemble. Thus, we have here still another confirmation of the famous ‘‘hypothesis of quantum Gaussian optimizers’’.

DOI
10.1134/s199508022460314x

Related papers

On the Classical Capacity of General Quantum Gaussian Measurement

Alexander Semenovich Holevo

In this paper, we consider the classical capacity problem for Gaussian measurement channels. We establish Gaussianity of the average state of the optimal ensemble in the general case and discuss the Hypothesis of Gaussian Maximizers concerning the structure of the ensemble. Then, we consider the case of one mode in detail, including the dual problem of accessible information of a Gaussian ensemble. Our findings are relevant to practical situations in quantum communications where the receiver is Gaussian (say, a general-dyne detection) and concatenation of the Gaussian 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.

arXiv:2101.00423•Entropy•Mar 21, 2021•14 citations

Information capacity of a quantum observable

Alexander Semenovich Holevo

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 formulas for unassisted and entanglement-assisted classical capacities C and 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 quantum ensembles dual to our examples.

arXiv:1103.2615•Problems of Information Transmission•Mar 1, 2012•47 citations

Probability Measures on the Set of Quantum States in Optimization Problems for Information Quantities

A. S. Holevo

A number of optimization problems in quantum information theory, such as one-shot classical capacity of a quantum channel, entanglement of formation of a state, classical capacity of a quantum observable, and accessible information of an ensemble of quantum states, can be formulated as the calculation of the convex closure of the output entropy of a certain quantum channel. This general problem can be considered as a convex programming problem for which necessary and sufficient optimality conditions can be established along with a dual problem. These optimality conditions imply some tight lower bounds for entropy, either quantum or classical, which are related to the famous logarithmic Sobolev inequality.

Theory of Probability and Its Applications•Aug 1, 2026•0 citations

Gaussian optimizers and the additivity problem in quantum information theory

A S Holevo

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.

arXiv:1501.00652•Russian Mathematical Surveys•Apr 30, 2015•51 citations

Gaussian Maximizers for Quantum Gaussian Observables and Ensembles

Alexander Semenovich Holevo

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 an arbitrary 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 arbitrary Gaussian ensemble is attained on the multimode generalization of the heterodyne measurement.

arXiv:1908.03038•IEEE Transactions on Information Theory•Apr 14, 2020•19 citations

Accessible information of a general quantum Gaussian ensemble

Alexander Semenovich Holevo

Accessible information, which is a basic quantity in quantum information theory, is computed for a general quantum Gaussian ensemble under certain “threshold conditions.” It is shown that the maximizing measurement is Gaussian, constituting a far-reaching generalization of optical heterodyning. This substantially extends the previous result concerning the gauge-invariant case even for a single bosonic mode. A simple sufficient condition is provided that implies the threshold condition for a general Gaussian ensemble. The tightness of the sufficient condition is demonstrated in the single-mode case.

arXiv:2102.01981•Journal of Mathematical Physics•Sep 1, 2021•9 citations
Given a quantum state ensemble E\mathcal{E}E and quantum observable M,\mathcal{M},M, one can define the Shannon information I(E,M)I(\mathcal{E},\mathcal{M})I(E,M) and introduce the two fundamental information quantities. The accessible information A(E)A(\mathcal{E})A(E) of the ensemble E\mathcal{E}E is defined as supremum of I(E,M)I(\mathcal{E},\mathcal{M})I(E,M) over all observables M\mathcal{M}M . The information capacity C(M)C(\mathcal{M})C(M) of the observable M\mathcal{M}M is essentially supremum of I(E,M)I(\mathcal{E},\mathcal{M})I(E,M) over ensembles E\mathcal{E}E (where E\mathcal{E}E may be subject to certain additional constraints). Computation of these quantities presents important and rather involved optimization problems which are closely connected via the so called ensemble-observable duality. This paper is devoted to consideration of these two quantities for quantum Gaussian systems. In this case ensemble-observable duality admits quite an explicit description. The present paper surveys results recently obtained in these directions. It turns out that in both cases the maximizer is quantum Gaussian: the quantity I(E,M),I(\mathcal{E},\mathcal{M}),I(E,M), where E\mathcal{E}E is Gaussian ensemble, is maximized by a Gaussian observable, while I(E,M)I(\mathcal{E},\mathcal{M})I(E,M) for Gaussian observable M\mathcal{M}M is maximized by a Gaussian state ensemble. Thus, we have here still another confirmation of the famous ‘‘hypothesis of quantum Gaussian optimizers’’.
In this paper, we consider the classical capacity problem for Gaussian measurement channels. We establish Gaussianity of the average state of the optimal ensemble in the general case and discuss the Hypothesis of Gaussian Maximizers concerning the structure of the ensemble. Then, we consider the case of one mode in detail, including the dual problem of accessible information of a Gaussian ensemble. Our findings are relevant to practical situations in quantum communications where the receiver is Gaussian (say, a general-dyne detection) and concatenation of the Gaussian 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.
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 formulas for unassisted and entanglement-assisted classical capacities C and 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 quantum ensembles dual to our examples.
A number of optimization problems in quantum information theory, such as one-shot classical capacity of a quantum channel, entanglement of formation of a state, classical capacity of a quantum observable, and accessible information of an ensemble of quantum states, can be formulated as the calculation of the convex closure of the output entropy of a certain quantum channel. This general problem can be considered as a convex programming problem for which necessary and sufficient optimality conditions can be established along with a dual problem. These optimality conditions imply some tight lower bounds for entropy, either quantum or classical, which are related to the famous logarithmic Sobolev inequality.
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→p)(1\rightarrow p)(1→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.
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 an arbitrary 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 arbitrary Gaussian ensemble is attained on the multimode generalization of the heterodyne measurement.
Accessible information, which is a basic quantity in quantum information theory, is computed for a general quantum Gaussian ensemble under certain “threshold conditions.” It is shown that the maximizing measurement is Gaussian, constituting a far-reaching generalization of optical heterodyning. This substantially extends the previous result concerning the gauge-invariant case even for a single bosonic mode. A simple sufficient condition is provided that implies the threshold condition for a general Gaussian ensemble. The tightness of the sufficient condition is demonstrated in the single-mode case.