-
arXiv:2404.07617 [pdf, ps, other]
$α$-$z$-Rényi divergences in von Neumann algebras: data-processing inequality, reversibility, and monotonicity properties in $α,z$
Abstract: We study the $α$-$z$-Rényi divergences $D_{α,z}(ψ\|\varphi)$ where $α,z>0$ ($α\ne1$) for normal positive functionals $ψ,\varphi$ on general von Neumann algebras, introduced in [S.~Kato and Y.~Ueda, arXiv:2307.01790] and [S.~Kato, arXiv:2311.01748]. We prove the variational expressions and the data processing inequality (DPI) for the $α$-$z$-Rényi divergences. We establish the sufficiency theorem f… ▽ More
Submitted 11 April, 2024; originally announced April 2024.
Comments: 42 pages
MSC Class: 81P45; 81P16; 46L10; 46L53; 94A17
-
arXiv:2402.16067 [pdf, ps, other]
Log-majorization and matrix norm inequalities with application to quantum information
Abstract: We are concerned with log-majorization for matrices in connection with the multivariate Golden--Thompson trace inequality and the Karcher mean (i.e., a multivariate extension of the weighted geometric mean). We show an extension of Araki's log-majorization and apply it to the $α$-$z$-Rényi divergence in quantum information. We discuss the equality cases in the multivariate trace inequality of Gold… ▽ More
Submitted 16 May, 2024; v1 submitted 25 February, 2024; originally announced February 2024.
Comments: 21 pages, Remark 2.4 is revised and references are added
MSC Class: 15A45; 47A64; 81P17
-
arXiv:2304.04361 [pdf, ps, other]
Equality cases in monotonicity of quasi-entropies, Lieb's concavity and Ando's convexity
Abstract: We revisit and improve joint concavity/convexity and monotonicity properties of quasi-entropies due to Petz in a new fashion. Then we characterize equality cases in the monotonicity inequalities (the data-processing inequalities) of quasi-entropies in several ways as follows: Let $Φ:\mathcal{B}(\mathcal{H})\to\mathcal{B}(\mathcal{K})$ be a trace-preserving map such that $Φ^*$ is a Schwarz map. Whe… ▽ More
Submitted 4 July, 2023; v1 submitted 9 April, 2023; originally announced April 2023.
Comments: v3: Remark 3.15, Remark 4.4, Theorem 5.3 and its proof are revised. 46 pages
MSC Class: 81P45; 81P16; 94A17
-
arXiv:2209.00646 [pdf, ps, other]
Some continuity properties of quantum Rényi divergences
Abstract: In the problem of binary quantum channel discrimination with product inputs, the supremum of all type II error exponents for which the optimal type I errors go to zero is equal to the Umegaki channel relative entropy, while the infimum of all type II error exponents for which the optimal type I errors go to one is equal to the infimum of the sandwiched channel Rényi $α$-divergences over all $α>1$.… ▽ More
Submitted 27 June, 2023; v1 submitted 1 September, 2022; originally announced September 2022.
Comments: v4: Continuity is studied on more general sets of the form $ρ\le f(σ)$ for a large class of functions $f$. 44 pages
-
arXiv:2201.05477 [pdf, ps, other]
Test-measured Rényi divergences
Abstract: One possibility of defining a quantum Rényi $α$-divergence of two quantum states is to optimize the classical Rényi $α$-divergence of their post-measurement probability distributions over all possible measurements (measured Rényi divergence), and maybe regularize these quantities over multiple copies of the two states (regularized measured Rényi $α$-divergence). A key observation behind the theore… ▽ More
Submitted 5 July, 2022; v1 submitted 14 January, 2022; originally announced January 2022.
Comments: v3: 30 pages, minor improvements. Thanks to a comment by an anonymous reviewer, we can now show that the two different ways to regularize the test-measured Rényi $α$-divergence lead to different quantities
Journal ref: IEEE Transactions on Information Theory (2022)
-
arXiv:2110.07320 [pdf, ps, other]
Quantum Rényi divergences and the strong converse exponent of state discrimination in operator algebras
Abstract: The sandwiched Rényi $α$-divergences of two finite-dimensional quantum states play a distinguished role among the many quantum versions of Rényi divergences as the tight quantifiers of the trade-off between the two error probabilities in the strong converse domain of state discrimination. In this paper we show the same for the sandwiched Rényi divergences of two normal states on an injective von N… ▽ More
Submitted 14 January, 2023; v1 submitted 14 October, 2021; originally announced October 2021.
Comments: 40 pages. To appear in Annales Henri Poincare
MSC Class: 81P45; 81P18; 94A17; 46L52; 46L53; 81R15; 62H15
-
arXiv:2105.09549 [pdf, ps, other]
Pusz--Woronowicz functional calculus and extended operator convex perspectives
Abstract: In this article, we first study, in the framework of operator theory, Pusz and Woronowicz's functional calculus for pairs of bounded positive operators on Hilbert spaces associated with a homogeneous two-variable function on $[0,\infty)^2$. Our construction has special features that functions on $[0,\infty)^2$ are assumed only locally bounded from below and that the functional calculus is allowed… ▽ More
Submitted 20 May, 2021; originally announced May 2021.
Comments: 63 pages
MSC Class: 47A60; 47A64; 47A63; 47B65; 47A07
-
arXiv:2101.01176 [pdf, ps, other]
Connections of unbounded operators and some related topics: von Neumann algebra case
Abstract: The Kubo-Ando theory deals with connections for positive bounded operators. On the other hand, in various analysis related to von Neumann algebras it is impossible to avoid unbounded operators. In this article we try to extend a notion of connections to cover various classes of positive unbounded operators (or unbounded objects such as positive forms and weights) appearing naturally in the setting… ▽ More
Submitted 1 February, 2021; v1 submitted 4 January, 2021; originally announced January 2021.
Comments: 89 pages, final version to appear in Internat. J. Math
MSC Class: 46L10; 47A64; 46L51; 47A63
-
arXiv:2004.02383 [pdf, ps, other]
Concise lectures on selected topics of von Neumann algebras
Abstract: A breakthrough took place in the von Neumann algebra theory when the Tomita-Takesaki theory was established around 1970. Since then, many important issues in the theory were developed through 1970's by Araki, Connes, Haagerup, Takesaki and others, which are already very classics of the von Neumann algebra theory. Nevertheless, it seems still difficult for beginners to access them, though a few big… ▽ More
Submitted 5 April, 2020; originally announced April 2020.
Comments: 159 pages
MSC Class: 46L10
-
Ando-Hiai type inequalities for operator means and operator perspectives
Abstract: We improve the existing Ando-Hiai inequalities for operator means and present new ones for operator perspectives in several ways. We also provide the operator perspective version of the Lie-Trotter formula and consider the extension problem of operator perspectives to non-invertible positive operators.
Submitted 6 May, 2019; originally announced May 2019.
Comments: 46 pages
MSC Class: 47A64; 47A63; 47B65
-
arXiv:1901.03858 [pdf, ps, other]
Operator means of probability measures
Abstract: Let $\mathbb{P}$ be the complete metric space consisting of positive invertible operators on an infinite-dimensional Hilbert space with the Thompson metric. We introduce the notion of operator means of probability measures on $\mathbb{P}$, in parallel with Kubo and Ando's definition of two-variable operator means, and show that every operator mean is contractive for the $\infty$-Wasserstein distan… ▽ More
Submitted 12 January, 2019; originally announced January 2019.
Comments: 40 pages
MSC Class: 47A64; 47B65; 47L07; 58B20
-
arXiv:1810.05476 [pdf, ps, other]
Matrix limit theorems of Kato type related to positive linear maps and operator means
Abstract: We obtain limit theorems for $Φ(A^p)^{1/p}$ and $(A^pσB)^{1/p}$ as $p\to\infty$ for positive matrices $A,B$, where $Φ$ is a positive linear map between matrix algebras (in particular, $Φ(A)=KAK^*$) and $σ$ is an operator mean (in particular, the weighted geometric mean), which are considered as certain reciprocal Lie-Trotter formulas and also a generalization of Kato's limit to the supremum… ▽ More
Submitted 12 October, 2018; originally announced October 2018.
Comments: 23 pages
MSC Class: 15A45; 15A42; 47A64
-
arXiv:1808.03866 [pdf, ps, other]
Log-majorization related to Rényi divergences
Abstract: For $α,z>0$ with $α\ne1$, motivated by comparison between different kinds of Rényi divergences in quantum information, we consider log-majorization between the matrix functions \begin{align*} P_α(A,B)&:=B^{1/2}(B^{-1/2}AB^{-1/2})^αB^{1/2}, \\ Q_{α,z}(A,B)&:=(B^{1-α\over2z}A^{α\over z}B^{1-α\over2z})^z \end{align*} of two positive (semi)definite matrices $A,B$. We precisely determine the parameter… ▽ More
Submitted 11 August, 2018; originally announced August 2018.
Comments: 21 pages
MSC Class: 15A42; 15A45; 47A64
-
arXiv:1807.03118 [pdf, ps, other]
Quantum $f$-divergences in von Neumann algebras II. Maximal $f$-divergences
Abstract: As a continuation of the paper [20] on standard $f$-divergences, we make a systematic study of maximal $f$-divergences in general von Neumann algebras. For maximal $f$-divergences, apart from their definition based on Haagerup's $L^1$-space, we present the general integral expression and the variational expression in terms of reverse tests. From these definition and expressions we prove important… ▽ More
Submitted 9 July, 2018; originally announced July 2018.
Comments: 38 pages
MSC Class: 81P45; 46L10; 46L53; 94A17
-
arXiv:1805.08558 [pdf, ps, other]
Convergence theorems for barycentric maps
Abstract: We first develop a theory of conditional expectations for random variables with values in a complete metric space $M$ equipped with a contractive barycentric map $β$, and then give convergence theorems for martingales of $β$-conditional expectations. We give the Birkhoff ergodic theorem for $β$-values of ergodic empirical measures and provide a description of the ergodic limit function in terms of… ▽ More
Submitted 22 May, 2018; originally announced May 2018.
Comments: 37 pages
MSC Class: 60B05; 47H25; 60G48
-
arXiv:1805.02050 [pdf, ps, other]
Quantum $f$-divergences in von Neumann algebras I. Standard $f$-divergences
Abstract: We make a systematic study of standard $f$-divergences in general von Neumann algebras. An important ingredient of our study is to extend Kosaki's variational expression of the relative entropy to an arbitary standard $f$-divergence, from which most of the important properties of standard $f$-divergences follow immediately. In a similar manner we give a comprehensive exposition on the Rényi diverg… ▽ More
Submitted 5 May, 2018; originally announced May 2018.
Comments: 33 pages
MSC Class: 81P45; 46L10; 46L53; 94A17
-
arXiv:1804.01881 [pdf, ps, other]
Ando-Hiai type inequalities for multivariate operator means
Abstract: We present several Ando-Hiai type inequalities for $n$-variable operator means for positive invertible operators. Ando-Hiai's inequalities given here are not only of the original type but also of the complementary type and of the reverse type involving the generalized Kantorovich constant.
Submitted 5 April, 2018; originally announced April 2018.
Comments: 30 pages
MSC Class: 47A64; 47A63; 47B65
-
arXiv:1711.10170 [pdf, ps, other]
Operator means deformed by a fixed point method
Abstract: By means of a fixed point method we discuss the deformation of operator means and multivariate means of positive definite matrices/operators. It is shown that the deformation of an operator mean becomes again an operator mean. The means deformed by the weighted power means are particularly examined.
Submitted 28 November, 2017; originally announced November 2017.
Comments: 35 pages
MSC Class: 47A64
-
arXiv:1710.00494 [pdf, ps, other]
Log-majorizations for the (symplectic) eigenvalues of the Cartan barycenter
Abstract: In this paper we show that the eigenvalue map and the symplectic eigenvalue map of positive definite matrices are Lipschitz for the Cartan-Hadamard Riemannian metric, and establish log-majorizations for the (symplectic) eigenvalues of the Cartan barycenter of integrable probability Borel measures. This leads a version of Jensen's inequality for geometric integrals of matrix-valued integrable rando… ▽ More
Submitted 2 October, 2017; originally announced October 2017.
Comments: 17 pages
MSC Class: 15A42; 47A64; 47B65; 47L07
-
arXiv:1709.04187 [pdf, ps, other]
The stochastic order of probability measures on ordered metric spaces
Abstract: The general notion of a stochastic ordering is that one probability distribution is smaller than a second one if the second attaches more probability to higher values than the first. Motivated by recent work on barycentric maps on spaces of probability measures on ordered Banach spaces, we introduce and study a stochastic order on the space of probability measures $\mathcal{P}(X)$, where $X$ is a… ▽ More
Submitted 13 September, 2017; originally announced September 2017.
Comments: 25 pages
-
arXiv:1705.04825 [pdf, ps, other]
Geometric mean flows and the Cartan barycenter on the Wasserstein space over positive definite matrices
Abstract: We introduce a class of flows on the Wasserstein space of probability measures with finite first moment on the Cartan-Hadamard Riemannian manifold of positive definite matrices, and consider the problem of differentiability of the corresponding Cartan barycentric trajectory. As a consequence we have a version of Lie-Trotter formula and a related unitarily invariant norm inequality. Furthermore, a… ▽ More
Submitted 13 May, 2017; originally announced May 2017.
Comments: 14 pages
MSC Class: 15A42; 47A64; 47B65; 47L07
-
arXiv:1609.08909 [pdf, ps, other]
Log-majorization and Lie-Trotter formula for the Cartan barycenter on probability measure spaces
Abstract: We extend Ando-Hiai's log-majorization for the weighted geometric mean of positive definite matrices into that for the Cartan barycenter in the general setting of probability measures on the Riemannian manifold of positive definite matrices equipped with trace metric. The main key is the settlement of the monotonicity problem of the Cartan barycenteric map on the space of probability measures with… ▽ More
Submitted 7 December, 2016; v1 submitted 28 September, 2016; originally announced September 2016.
Comments: 20 pages
MSC Class: 15A42; 47A64; 47B65; 47L07
-
arXiv:1609.01999 [pdf, ps, other]
Generalized Log-Majorization and Multivariate Trace Inequalities
Abstract: We show that recent multivariate generalizations of the Araki-Lieb-Thirring inequality and the Golden-Thompson inequality [Sutter, Berta, and Tomamichel, Comm. Math. Phys. (2016)] for Schatten norms hold more generally for all unitarily invariant norms and certain variations thereof. The main technical contribution is a generalization of the concept of log-majorization which allows us to treat maj… ▽ More
Submitted 10 December, 2017; v1 submitted 7 September, 2016; originally announced September 2016.
Comments: 17 pages
Journal ref: Annales Henri Poincare vol. 18, no. 7, 2499-2521 (2017)
-
arXiv:1604.03089 [pdf, ps, other]
Different quantum f-divergences and the reversibility of quantum operations
Abstract: The concept of classical $f$-divergences gives a unified framework to construct and study measures of dissimilarity of probability distributions; special cases include the relative entropy and the Rényi divergences. Various quantum versions of this concept, and more narrowly, the concept of Rényi divergences, have been introduced in the literature with applications in quantum information theory; m… ▽ More
Submitted 27 June, 2017; v1 submitted 11 April, 2016; originally announced April 2016.
Comments: 70 pages. v4: New Proposition 3.8 and Appendix D on the continuity properties of the standard f-divergences. The 2-positivity assumption removed from Theorem 3.34. The achievability of the measured f-divergence is shown in Proposition 4.17, and Theorem 4.18 is updated accordingly
Journal ref: Reviews in Mathematical Physics, Volume No.29, Issue No. 07, (2017)
-
arXiv:1601.01715 [pdf, ps, other]
A generalization of Araki's log-majorization
Abstract: We generalize Araki's log-majorization to the log-convexity theorem for the eigenvalues of $Φ(A^p)^{1/2}Ψ(B^p)Φ(A^p)^{1/2}$ as a function of $p\ge0$, where $A,B$ are positive semidefinite matrices and $Φ,Ψ$ are positive linear maps between matrix algebras. A similar generalization of the log-majorization of Ando-Hiai type is given as well.
Submitted 14 January, 2016; v1 submitted 13 December, 2015; originally announced January 2016.
Comments: 16 pages, the last section is expanded
-
arXiv:1508.05442 [pdf, ps, other]
Operator $k$-tone functions and analytic functional calculus
Abstract: Operator $k$-tone functions on an open interval of the real line, which are higher order extensions of operator monotone and convex functions, are characterized via certain inequalities for the real and imaginary parts of analytic functional calculus by those functions.
Submitted 21 August, 2015; originally announced August 2015.
Comments: 19 pages
-
arXiv:1508.03551 [pdf, ps, other]
Contraction coefficients for noisy quantum channels
Abstract: Generalized relative entropy, monotone Riemannian metrics, geodesic distance, and trace distance are all known to decrease under the action of quantum channels. We give some new bounds on, and relationships between, the maximal contraction for these quantities.
Submitted 14 August, 2015; originally announced August 2015.
Comments: 40 pages
MSC Class: 46L60; 46L87; 15A63; 81P45; 53B50
-
arXiv:1507.00853 [pdf, ps, other]
Concavity of certain matrix trace and norm functions. II
Abstract: We refine Epstein's method to prove joint concavity/convexity of matrix trace functions of Lieb type $\mathrm{Tr}\,f(Φ(A^p)^{1/2}Ψ(B^q)Φ(A^p)^{1/2})$ and symmetric (anti-) norm functions of the form $\|f(Φ(A^p)\,σ\,Ψ(B^q))\|$, where $Φ$ and $Ψ$ are positive linear maps, $σ$ is an operator mean, and $f(x^γ)$ with a certain power $γ$ is an operator monotone function on $(0,\infty)$. Moreover, the va… ▽ More
Submitted 22 September, 2015; v1 submitted 3 July, 2015; originally announced July 2015.
Comments: 28 pages, a number of minor changes, Lemma A.3 added
MSC Class: 15A60; 47A30; 47A60
-
arXiv:1412.7905 [pdf, ps, other]
Anti Lie-Trotter formula
Abstract: Let $A$ and $B$ be positive semidefinite matrices. The limit of the expression $Z_p:=(A^{p/2}B^pA^{p/2})^{1/p}$ as $p$ tends to $0$ is given by the well known Lie-Trotter-Kato formula. A similar formula holds for the limit of $G_p:=(A^p\,\#\,B^p)^{2/p}$ as $p$ tends to $0$, where $X\,\#\,Y$ is the geometric mean of $X$ and $Y$. In this paper we study the complementary limit of $Z_p$ and $G_p$ as… ▽ More
Submitted 26 December, 2014; originally announced December 2014.
Comments: 26 pages
MSC Class: 15A42; 15A16; 47A64
-
arXiv:1405.2509 [pdf, ps, other]
Anti-norms on finite von Neumann algebras
Abstract: As the reversed version of usual symmetric norms, we introduce the notion of symmetric anti-norms $\|\cdot\|_!$ defined on the positive operators affiliated with a finite von Neumann algebra with a finite normal trace. Related to symmetric anti-norms, we develop majorization theory and superadditivity inequalities of the form $\|ψ(A+B)\|_!\ge\|ψ(A)\|_!+\|ψ(B)\|_!$ for a wide class of functions… ▽ More
Submitted 16 January, 2015; v1 submitted 11 May, 2014; originally announced May 2014.
Comments: 27 pages, largely revised from the previous version, to appear in Publ. Res. Inst. Math. Sci
MSC Class: 47A30; 46L52; 46L51
-
arXiv:1310.3877 [pdf, ps, other]
Orbital free pressure and its Legendre transform
Abstract: Orbital counterparts of the free pressure and its Legendre transform (or $η$-entropy) are introduced and studied in comparison with other entropy quantities in free probability theory and in relation to random multi-matrix models.
Submitted 15 May, 2014; v1 submitted 14 October, 2013; originally announced October 2013.
Comments: v2; 23 pages; to appear in CMP
Journal ref: Comm. Math. Phys., Vol.334, No.1 (2015), 275--300
-
arXiv:1310.1539 [pdf, ps, other]
Conic structure of the non-negative operator convex functions on $(0,\infty)$
Abstract: The conic structure of the convex cone of non-negative operator convex functions on $(0,\infty)$ (also on $(-1,1)$) is clarified. We completely determine the extreme rays, the closed faces, and the simplicial closed faces of this convex cone.
Submitted 16 May, 2014; v1 submitted 6 October, 2013; originally announced October 2013.
Comments: 18 pages
MSC Class: 47A56; 47A60
Journal ref: Ann. Funct. Anal. 5, no. 2, 158-175, 2014
-
arXiv:1302.7040 [pdf, ps, other]
On matrix inequalities between the power means: counterexamples
Abstract: We prove that the known sufficient conditions on the real parameters $(p,q)$ for which the matrix power mean inequality $((A^p+B^p)/2)^{1/p}\le((A^q+B^q)/2)^{1/q}$ holds for every pair of matrices $A,B>0$ are indeed best possible. The proof proceeds by constructing $2\times2$ counterexamples. The best possible conditions on $(p,q)$ for which $Φ(A^p)^{1/p}\leΦ(A^q)^{1/q}$ holds for every unital pos… ▽ More
Submitted 3 April, 2013; v1 submitted 27 February, 2013; originally announced February 2013.
Comments: 18 pages, Theorems 2.4 and 2.5 added
MSC Class: 15A45; 47A64
-
Families of completely positive maps associated with monotone metrics
Abstract: An operator convex function on (0,\infty) which satisfies the symmetry condition k(1/x) = x k(x) can be used to define a type of non-commutative multiplication by a positive definite matrix (or its inverse) using the primitive concepts of left and right multiplication and the functional calculus. The operators for the inverse can be used to define quadratic forms associated with Riemannian metrics… ▽ More
Submitted 9 June, 2013; v1 submitted 6 December, 2012; originally announced December 2012.
Comments: Final version to appear in Lin Alg. Appl. Links to preprints added
MSC Class: 15A63; 15A60; 42A82; 46L60; 46L87; 26E05
Journal ref: J. Math. Phys. 57, 015211 (2016)
-
arXiv:1210.7524 [pdf, ps, other]
Concavity of certain matrix trace and norm functions
Abstract: We refine Epstein's method to prove joint concavity/convexity of matrix trace functions of the extended Lieb type $Tr{Φ(A^p)^{1/2}Ψ(B^q)Φ(A^p)^{1/2}}^s$, where $Φ$ and $Ψ$ are positive linear maps. By the same method combined with majorization technique, similar properties are proved for symmetric (anti-) norm functions of the form $||{Φ(A^p)σΨ(B^q)}^s||$ involving an operator mean $σ$. Carlen and… ▽ More
Submitted 10 March, 2013; v1 submitted 28 October, 2012; originally announced October 2012.
Comments: 27 pages
MSC Class: 15A60; 47A30; 47A60
-
arXiv:1209.0546 [pdf, ps, other]
Convexity of quasi-entropy type functions: Lieb's and Ando's convexity theorems revisited
Abstract: Given a positive function $f$ on $(0,\infty)$ and a non-zero real parameter $θ$, we consider a function $I_f^θ(A,B,X)=Tr X^*(f(L_AR_B^{-1})R_B)^θ(X)$ in three matrices $A,B>0$ and $X$. In the literature $θ=\pm1$ has been typical. The concept unifies various quantum information quantities such as quasi-entropy, monotone metrics, etc. We characterize joint convexity/concavity and monotonicity proper… ▽ More
Submitted 4 September, 2012; originally announced September 2012.
Comments: 27 pages
MSC Class: 81P45; 54C70
-
arXiv:1106.2213 [pdf, ps, other]
Jensen and Minkowski inequalities for operator means and anti-norms
Abstract: Jensen inequalities for positive linear maps of Choi and Hansen-Pedersen type are established for a large class of operator/matrix means. These results are also extensions of the Minkowski determinantal inequality. To this end we develop the study of anti-norms, a notion parallel to the symmetric norms in matrix analysis, including functionals like Schatten q-norms for a parameter q<1 and the Mink… ▽ More
Submitted 14 September, 2011; v1 submitted 11 June, 2011; originally announced June 2011.
-
arXiv:1105.3881 [pdf, ps, other]
Higher order extension of Löwner's theory: Operator $k$-tone functions
Abstract: The new notion of operator/matrix $k$-tone functions is introduced, which is a higher order extension of operator/matrix monotone and convex functions. Differential properties of matrix $k$-tone functions are shown. Characterizations, properties, and examples of operator $k$-tone functions are presented. In particular, integral representations of operator $k$-tone functions are given, generalizing… ▽ More
Submitted 16 May, 2014; v1 submitted 19 May, 2011; originally announced May 2011.
Comments: final version, 33 pages
MSC Class: 47A56; 47A60; 47A63; 15A39
Journal ref: Trans. Amer. Math. Soc. 366, pp. 3043-3074, 2014
-
arXiv:1012.5171 [pdf, ps, other]
Norm and anti-norm inequalities for positive semi-definite matrices
Abstract: Some subadditivity results involving symmetric (unitarily invariant) norms are obtained. For instance, if $g(t)=\sum_{k=0}^m a_kt^k$ is a polynomial of degree $m$ with non-negative coefficients, then, for all positive operators $A,\,B$ and all symmetric norms, $\|g(A+B)\|^{1/m} \le \|g(A)\|^{1/m} + \|g(B)\|^{1/m}$. To give parallel superadditivity results, we investigate anti-norms, a class of fun… ▽ More
Submitted 7 February, 2011; v1 submitted 23 December, 2010; originally announced December 2010.
Comments: 16 pages, to apppear in IJM
MSC Class: 15A60; 47A30; 47A60
-
arXiv:1008.2529 [pdf, ps, other]
Quantum f-divergences and error correction
Abstract: Quantum f-divergences are a quantum generalization of the classical notion of f-divergences, and are a special case of Petz' quasi-entropies. Many well known distinguishability measures of quantum states are given by, or derived from, f-divergences; special examples include the quantum relative entropy, the Renyi relative entropies, and the Chernoff and Hoeffding measures. Here we show that the qu… ▽ More
Submitted 27 June, 2017; v1 submitted 15 August, 2010; originally announced August 2010.
Comments: v6: An error in Proposition 2.12 (on the continuity of the quantum f-divergences) has been corrected, and the proofs of Theorem 4.3 and Proposition A.3 have been updated accordingly. No change in the main content of the paper. See also Proposition 3.8 and Appendix D in arXiv:1604.03089v4 for the continuity properties of quantum f-divergences
Report number: Mittag-Leffler-2010fall
Journal ref: Reviews in Mathematical Physics, volume 23, issue 7, pp. 691 -- 747, (2011)
-
arXiv:1007.4626 [pdf, ps, other]
Strongly subadditive functions
Abstract: Let f be a function defined on positive numbers. The subject is the trace inequality $Tr f(A) + Tr f(P_2AP_2) \le Tr f(P_{12}AP_{12}) + \Tr f(P_{23}AP_{23})$, where $A$ is a positive operator, $P_1,P_2,P_3$ are orthogonal projections such that $P_1+P_2+P_3=I$, $P_{12}=P_1+P_2$ and $P_{23}=P_2+P_3$. There are several examples of functions f satisfying the inequality (called (SSA)) and the case of e… ▽ More
Submitted 27 July, 2010; originally announced July 2010.
Comments: 8 pages
-
arXiv:1007.2478 [pdf, ps, other]
Loewner matrices of matrix convex and monotone functions
Abstract: The matrix convexity and the matrix monotony of a real $C^1$ function $f$ on $(0,\infty)$ are characterized in terms of the conditional negative or positive definiteness of the Loewner matrices associated with $f$, $tf(t)$, and $t^2f(t)$. Similar characterizations are also obtained for matrix monotone functions on a finite interval $(a,b)$.
Submitted 5 August, 2010; v1 submitted 15 July, 2010; originally announced July 2010.
Comments: 20 pages
MSC Class: 15A45; 47A63; 42A82
-
arXiv:0912.1286 [pdf, ps, other]
On the quantum Renyi relative entropies and related capacity formulas
Abstract: We show that the quantum $α$-relative entropies with parameter $α\in (0,1)$ can be represented as generalized cutoff rates in the sense of [I. Csiszar, IEEE Trans. Inf. Theory 41, 26-34, (1995)], which provides a direct operational interpretation to the quantum $α$-relative entropies. We also show that various generalizations of the Holevo capacity, defined in terms of the $α$-relative entropies,… ▽ More
Submitted 26 July, 2010; v1 submitted 7 December, 2009; originally announced December 2009.
Comments: v4: Cutoff rates are treated for correlated hypotheses, some proofs are given in greater detail
Journal ref: IEEE Transactions on Information Theory, vol. 57, 2474--2487, (2011)
-
arXiv:0911.5267 [pdf, ps, other]
Operator log-convex functions and operator means
Abstract: We study operator log-convex functions on $(0,\infty)$, and prove that a continuous nonnegative function on $(0,\infty)$ is operator log-convex if and only if it is operator monotone decreasing. Several equivalent conditions related to operator means are given for such functions. Operator log-concave functions are also discussed.
Submitted 19 December, 2014; v1 submitted 27 November, 2009; originally announced November 2009.
Comments: 20 pages
MSC Class: 47A63; 47A64; 15A45
Journal ref: Math. Ann. 350 (2011), 611-630
-
arXiv:0904.0704 [pdf, ps, other]
Quantum hypothesis testing with group symmetry
Abstract: The asymptotic discrimination problem of two quantum states is studied in the setting where measurements are required to be invariant under some symmetry group of the system. We consider various asymptotic error exponents in connection with the problems of the Chernoff bound, the Hoeffding bound and Stein's lemma, and derive bounds on these quantities in terms of their corresponding statistical… ▽ More
Submitted 18 April, 2009; v1 submitted 4 April, 2009; originally announced April 2009.
Comments: 33 pages
Journal ref: J. Math. Phys. 50, 103304 (2009)
-
arXiv:0901.1072 [pdf, ps, other]
A new approach to mutual information. II
Abstract: A new concept of mutual pressure is introduced for potential functions on both continuous and discrete compound spaces via discrete micro-states of permutations, and its relations with the usual pressure and the mutual information are established. This paper is a continuation of the paper of Hiai and Petz in Banach Center Publications, Vol. 78.
Submitted 8 January, 2009; originally announced January 2009.
Comments: 21 pages
MSC Class: 62B10; 94A17
-
arXiv:0809.4974 [pdf, ps, other]
Riemannian metrics on positive definite matrices related to means
Abstract: The Riemannian metric on the manifold of positive definite matrices is defined by a kernel function $φ$ in the form $K_D^φ(H,K)=\sum_{i,j}φ(λ_i,λ_j)^{-1} Tr P_iHP_jK$ when $\sum_iλ_iP_i$ is the spectral decomposition of the foot point $D$ and the Hermitian matrices $H,K$ are tangent vectors. For such kernel metrics the tangent space has an orthogonal decomposition. The pull-back of a kernel metr… ▽ More
Submitted 7 November, 2008; v1 submitted 29 September, 2008; originally announced September 2008.
Comments: 28 pages
MSC Class: 15A45; 15A48; 53B21; 53C22
-
arXiv:0802.0567 [pdf, ps, other]
Asymptotic distinguishability measures for shift-invariant quasi-free states of fermionic lattice systems
Abstract: We apply the recent results of F. Hiai, M. Mosonyi and T. Ogawa [arXiv:0707.2020, to appear in J. Math. Phys.] to the asymptotic hypothesis testing problem of locally faithful shift-invariant quasi-free states on a CAR algebra. We use a multivariate extension of Szego's theorem to show the existence of the mean Chernoff and Hoeffding bounds and the mean relative entropy, and show that these quan… ▽ More
Submitted 10 March, 2008; v1 submitted 5 February, 2008; originally announced February 2008.
Comments: Results extended to higher dimensional lattices, title changed. Submitted version
Journal ref: J. Math. Phys. 49 072104 (2008)
-
arXiv:0712.1208 [pdf, ps, other]
Quantum covariance, quantum Fisher information and the uncertainty principle
Abstract: In this paper the relation between quantum covariances and quantum Fisher informations are studied. This study is applied to generalize a recently proved uncertainty relation based on quantum Fisher information. The proof given hereconsiderably simplifies the previously proposed proofs and leads to more general inequalities.
Submitted 7 December, 2007; originally announced December 2007.
-
arXiv:0709.1235 [pdf, ps, other]
Monotonicity for entrywise functions of matrices
Abstract: We characterize real functions $f$ on an interval $(-α,α)$ for which the entrywise matrix function $[a_{ij}] \mapsto [f(a_{ij})]$ is positive, monotone and convex, respectively, in the positive semidefiniteness order. Fractional power functions are exemplified and related weak majorizations are shown.
Submitted 9 October, 2007; v1 submitted 8 September, 2007; originally announced September 2007.
Comments: 23 pages; Section 6 is considerably improved
MSC Class: 15A45; 15A48