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

arXiv:2205.09108 · Lobachevskii Journal of Mathematics

Convergence Conditions for the Quantum Relative Entropy and Other Applications of the Deneralized Quantum Dini Lemma

Максим Евгеньевич Широков

Published Jul 1, 2022• 6 citations
arXivHTMLPDF

Abstract

Abstract We describe a generalized version of the result called quantum Dini lemma that was used previously for analysis of local continuity of basic correlation and entanglement measures. The generalization consists in considering sequences of functions instead of a single function. It allows to expand the scope of possible applications of the method. We prove two general dominated convergence theorems and the theorem about preserving local continuity under convex mixtures. By using these theorems we obtain several convergence conditions for the quantum relative entropy and for the mutual information of a quantum channel considered as a function of a pair (channel, input state).

DOI
10.1134/s1995080222100353

Related papers

On Local Continuity of Characteristics of Composite Quantum Systems

Максим Евгеньевич Широков

Abstract General methods of local continuity analysis of characteristics of infinite-dimensional composite quantum systems are considered. A new approximation technique for obtaining local continuity conditions for various characteristics of quantum systems is proposed and described in detail. This technique is used to prove several general results (a Simon-type dominated convergence theorem, a theorem on the preservation of continuity under convex mixtures, etc.). Local continuity conditions are derived for the following characteristics of composite quantum systems: the quantum conditional entropy, the quantum (conditional) mutual information, the one-way classical correlation and its regularization, the quantum discord and its regularization, the entanglement of formation and its regularization, and the constrained Holevo capacity of a partial trace and its regularization.

Proceedings of the Steklov Institute of Mathematics•Mar 1, 2024•1 citation

Approximation of composite quantum states: General results and applications

Максим Евгеньевич Широков

A universal approximation technique for analysis of different characteristics of states of composite infinite-dimensional quantum systems is proposed and used to prove general results on the properties of correlation and entanglement measures in such systems. Then these results are applied to the study of three important characteristics: the relative entropy of π-entanglement, the Rains bound (the unregularized and regularized versions of both characteristics are considered) and the conditional entanglement of mutual information. In particular, we analyze continuity and convexity properties of the above entanglement measures, prove several results simplifying their definitions and establish a finite-dimensional approximation property for these characteristics that allows us to generalize to the infinite-dimensional case the results proved in the finite-dimensional settings.

Journal of Mathematical Physics•Dec 1, 2025•0 citations

Approximation of multipartite quantum states: revised version with new applications

Максим Евгеньевич Широков

An universal approximation technique for analysis of different characteristics of states of composite infinite-dimensional quantum systems is proposed and used to prove general results concerning the properties of correlation and entanglement measures in such systems. Then these results are applied to the study of three important characteristics: the relative entropy of $π$-entanglement, the Rains bound (the unregularized and regularized versions of both characteristics are considered) and the conditional entanglement of mutual information. In particular, we analyse continuity and convexity properties of the above entanglement measures, prove several results simplifying their definitions and establish a finite-dimensional approximation property for these characteristics that allows us to generalize to the infinite-dimensional case the results proved in the finite-dimensional settings.

arXiv:2401.02388•Jan 4, 2024•0 citations

On Lower Semicontinuity of the Quantum Conditional Mutual Information and Its Corollaries

Максим Евгеньевич Широков

Abstract It is shown that the recently established lower semicontinuity of the quantum conditional mutual information implies (in fact, is equivalent to) the lower semicontinuity of the loss of the quantum (conditional) mutual information under local channels considered as a function on the Cartesian product of the set of all states of a composite system and the sets of all local channels (equipped with the strong convergence topology). Some applications of this property are considered. New continuity conditions for the quantum mutual information and for the squashed entanglement in both bipartite and multipartite infinite-dimensional systems are obtained. It is proved, in particular, that the multipartite squashed entanglement of any countably indecomposable separable state with finite marginal entropies is equal to zero. Special continuity properties of the information gain of a quantum measurement with and without quantum side information are established that can be treated as robustness (stability) of these quantities with respect to perturbation of the measurement and the measured state.

arXiv:2001.08691•Proceedings of the Steklov Institute of Mathematics•Jul 1, 2021•5 citations

Convergence criterion for quantum relative entropy and its use

Максим Евгеньевич Широков

A criterion and necessary conditions for the convergence (local continuity) of quantum relative entropy are obtained. Some applications of these results are considered. In particular, the preservation of the local continuity of quantum relative entropy under completely positive linear maps is established. Bibliography: 29 titles.

Sbornik Mathematics•Jan 1, 2022•6 citations

Measures of correlations in infinite-dimensional quantum systems

Максим Евгеньевич Широков

Several important measures of quantum correlations of a state of a finite-dimensional composite system are defined as linear combinations of marginal entropies of this state. This paper is devoted to the infinite-dimensional generalizations of such quantities and to the analysis of their properties. We introduce the notion of faithful extension of a linear combination of marginal entropies and consider several concrete examples starting with the quantum mutual information and the quantum conditional entropy. Then we show that the conditional mutual information can be uniquely defined as a lower semicontinuous function on the set of all states of a tripartite infinite-dimensional system possessing all the basic properties valid in finite dimensions. Infinite-dimensional generalizations of some other measures of quantum correlations in multipartite quantum systems are also considered. It is shown that almost all of these generalized measures are globally lower semicontinuous and possess local continuity properties which essentially simplify their use in analysis of quantum systems. In the second part of the paper we consider applications of the general results of its first part, in particular, to the theory of infinite-dimensional quantum channels and their capacities. We also show the existence of the Fawzi-Renner recovery channel reproducing marginal states for all tripartite states (including states with infinite marginal entropies) starting with the corresponding finite-dimensional result.

arXiv:1506.06377•Sbornik Mathematics•Mar 11, 2016•35 citations
Abstract We describe a generalized version of the result called quantum Dini lemma that was used previously for analysis of local continuity of basic correlation and entanglement measures. The generalization consists in considering sequences of functions instead of a single function. It allows to expand the scope of possible applications of the method. We prove two general dominated convergence theorems and the theorem about preserving local continuity under convex mixtures. By using these theorems we obtain several convergence conditions for the quantum relative entropy and for the mutual information of a quantum channel considered as a function of a pair (channel, input state).
Abstract General methods of local continuity analysis of characteristics of infinite-dimensional composite quantum systems are considered. A new approximation technique for obtaining local continuity conditions for various characteristics of quantum systems is proposed and described in detail. This technique is used to prove several general results (a Simon-type dominated convergence theorem, a theorem on the preservation of continuity under convex mixtures, etc.). Local continuity conditions are derived for the following characteristics of composite quantum systems: the quantum conditional entropy, the quantum (conditional) mutual information, the one-way classical correlation and its regularization, the quantum discord and its regularization, the entanglement of formation and its regularization, and the constrained Holevo capacity of a partial trace and its regularization.
A universal approximation technique for analysis of different characteristics of states of composite infinite-dimensional quantum systems is proposed and used to prove general results on the properties of correlation and entanglement measures in such systems. Then these results are applied to the study of three important characteristics: the relative entropy of π-entanglement, the Rains bound (the unregularized and regularized versions of both characteristics are considered) and the conditional entanglement of mutual information. In particular, we analyze continuity and convexity properties of the above entanglement measures, prove several results simplifying their definitions and establish a finite-dimensional approximation property for these characteristics that allows us to generalize to the infinite-dimensional case the results proved in the finite-dimensional settings.
An universal approximation technique for analysis of different characteristics of states of composite infinite-dimensional quantum systems is proposed and used to prove general results concerning the properties of correlation and entanglement measures in such systems. Then these results are applied to the study of three important characteristics: the relative entropy of πππ-entanglement, the Rains bound (the unregularized and regularized versions of both characteristics are considered) and the conditional entanglement of mutual information. In particular, we analyse continuity and convexity properties of the above entanglement measures, prove several results simplifying their definitions and establish a finite-dimensional approximation property for these characteristics that allows us to generalize to the infinite-dimensional case the results proved in the finite-dimensional settings.
Abstract It is shown that the recently established lower semicontinuity of the quantum conditional mutual information implies (in fact, is equivalent to) the lower semicontinuity of the loss of the quantum (conditional) mutual information under local channels considered as a function on the Cartesian product of the set of all states of a composite system and the sets of all local channels (equipped with the strong convergence topology). Some applications of this property are considered. New continuity conditions for the quantum mutual information and for the squashed entanglement in both bipartite and multipartite infinite-dimensional systems are obtained. It is proved, in particular, that the multipartite squashed entanglement of any countably indecomposable separable state with finite marginal entropies is equal to zero. Special continuity properties of the information gain of a quantum measurement with and without quantum side information are established that can be treated as robustness (stability) of these quantities with respect to perturbation of the measurement and the measured state.
Several important measures of quantum correlations of a state of a finite-dimensional composite system are defined as linear combinations of marginal entropies of this state. This paper is devoted to the infinite-dimensional generalizations of such quantities and to the analysis of their properties. We introduce the notion of faithful extension of a linear combination of marginal entropies and consider several concrete examples starting with the quantum mutual information and the quantum conditional entropy. Then we show that the conditional mutual information can be uniquely defined as a lower semicontinuous function on the set of all states of a tripartite infinite-dimensional system possessing all the basic properties valid in finite dimensions. Infinite-dimensional generalizations of some other measures of quantum correlations in multipartite quantum systems are also considered. It is shown that almost all of these generalized measures are globally lower semicontinuous and possess local continuity properties which essentially simplify their use in analysis of quantum systems. In the second part of the paper we consider applications of the general results of its first part, in particular, to the theory of infinite-dimensional quantum channels and their capacities. We also show the existence of the Fawzi-Renner recovery channel reproducing marginal states for all tripartite states (including states with infinite marginal entropies) starting with the corresponding finite-dimensional result.