Showing 1–50 of 53 results for author: Hiai, F

$α$-$z$-Rényi divergences in von Neumann algebras: data-processing inequality, reversibility, and monotonicity properties in $α,z$

Authors: Fumio Hiai, Anna Jenčová

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 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 for $D_{α,z}(ψ\|\varphi)$, saying that for $(α,z)$ inside the DPI bounds, the equality $D_{α,z}(ψ\circγ\|\varphi\circγ)=D_{α,z}(ψ\|\varphi)<\infty$ in the DPI under a quantum channel (or a normal $2$-positive unital map) $γ$ implies the reversibility of $γ$ with respect to $ψ,\varphi$. Moreover, we show the monotonicity properties of $D_{α,z}(ψ\|\varphi)$ in the parameters $α,z$ and their limits to the normalized relative entropy as $α\nearrow1$ and $α\searrow1$. △ Less

Submitted 30 September, 2024; v1 submitted 11 April, 2024; originally announced April 2024.

Comments: 43 pages, the final version to appear in Comm. Math. Phys

MSC Class: 81P45; 81P16; 46L10; 46L53; 94A17

Log-majorization and matrix norm inequalities with application to quantum information

Authors: Fumio Hiai

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 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 Golden--Thompson type and in the norm inequality for the Karcher mean. The paper includes an appendix to correct the proof of the author's old result on the equality case in the norm inequality for the weighted geometric mean. △ Less

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

Equality cases in monotonicity of quasi-entropies, Lieb's concavity and Ando's convexity

Authors: Fumio Hiai

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 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. When $f$ is an operator monotone or operator convex function on $[0,\infty)$, we present several equivalent conditions for the equality $S_f^K(Φ(ρ)\|Φ(σ))=S_f^{Φ^*(K)}(ρ\|σ)$ to hold for given positive operators $ρ,σ$ on $\mathcal{H}$ and $K\in\mathcal{B}(\mathcal{K})$. The conditions include equality cases in the monotonicity versions of Lieb's concavity and Ando's convexity theorems. Specializing the map $Φ$ we have equivalent conditions for equality cases in Lieb's concavity and Ando's convexity. Similar equality conditions are discussed also for monotone metrics and $χ^2$-divergences. We further consider some types of linear preserver problems for those quantum information quantities. △ Less

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

Some continuity properties of quantum Rényi divergences

Authors: Milán Mosonyi, Fumio Hiai

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 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$. We prove the equality of these two threshold values (and therefore the strong converse property for this problem) using a minimax argument based on a newly established continuity property of the sandwiched Rényi divergences. Motivated by this, we give a detailed analysis of the continuity properties of various other quantum (channel) Rényi divergences, which may be of independent interest. △ Less

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

Quantum Rényi divergences and the strong converse exponent of state discrimination in operator algebras

Authors: Fumio Hiai, Milán Mosonyi

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 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 Neumann algebra, thereby establishing the operational significance of these quantities. Moreover, we show that in this setting, again similarly to the finite-dimensional case, the sandwiched Rényi divergences coincide with the regularized measured Rényi divergences, another distinctive feature of the former quantities. Our main tool is an approximation theorem (martingale convergence) for the sandwiched Rényi divergences, which may be used for the extension of various further results from the finite-dimensional to the von Neumann algebra setting. We also initiate the study of the sandwiched Rényi divergences of pairs of states on a $C^*$-algebra, and show that the above operational interpretation, as well as the equality to the regularized measured Rényi divergence, holds more generally for pairs of states on a nuclear $C^*$-algebra. △ Less

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

Pusz--Woronowicz functional calculus and extended operator convex perspectives

Authors: Fumio Hiai, Yoshimichi Ueda, Shuhei Wada

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 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 to take extended semibounded self-adjoint operators. To analyze convexity properties of the functional calculus, we extend the notion of operator convexity for real functions to that for functions with values in $(-\infty,\infty]$. Based on the first part, we generalize the concept of operator convex perspectives to pairs of (not necessarily invertible) bounded positive operators associated with any operator convex function on $(0,\infty)$. We then develop theory of such operator convex perspectives, regarded as an operator convex counterpart of Kubo and Ando's theory of operator means. Among other results, integral expressions and axiomatization are discussed for our operator perspectives. △ Less

Submitted 20 May, 2021; originally announced May 2021.

Comments: 63 pages

MSC Class: 47A60; 47A64; 47A63; 47B65; 47A07

Connections of unbounded operators and some related topics: von Neumann algebra case

Authors: Fumio Hiai, Hideki Kosaki

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 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 of von Neumann algebras, and we must keep all the expected properties maintained. This generalization is carried out for the following classes: (i) positive $τ$-measurable operators (affiliated with a semi-finite von Neumann algebra equipped with a trace $τ$), (ii) positive elements in Haagerup's $L^p$-spaces, (iii) semi-finite normal weights on a von Neumann algebra. Investigation on these generalizations requires some analysis (such as certain upper semi-continuity) on decreasing sequences in various classes. Several results in this direction are proved, which may be of independent interest. Ando studied Lebesgue decomposition for positive bounded operators by making use of parallel sums. Here, such decomposition is obtained in the setting of non-commutative (Hilsum) $L^p$-spaces. △ Less

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

Concise lectures on selected topics of von Neumann algebras

Authors: Fumio Hiai

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 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 volumes on the theory are available. These lecture notes are delivered as an intensive course in 2019, April at Department of Mathematical Analysis, Budapest University of Technology and Economics. The course was aimed at giving a fast track study of those main classics of the theory, from which people gain an enough background knowledge so that they can consult suitable volumes when more details are needed. △ Less

Submitted 5 April, 2020; originally announced April 2020.

Comments: 159 pages

MSC Class: 46L10

Ando-Hiai type inequalities for operator means and operator perspectives

Authors: Fumio Hiai, Yuki Seo, Shuhei Wada

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. 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. △ Less

Submitted 6 May, 2019; originally announced May 2019.

Comments: 46 pages

MSC Class: 47A64; 47A63; 47B65

Operator means of probability measures

Authors: Fumio Hiai, Yongdo Lim

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 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 distance. By means of a fixed point method we consider deformation of such operator means, and show that the deformation of any operator mean becomes again an operator mean in our sense. Based on this deformation procedure we prove a number of properties and inequalities for operator means of probability measures. △ Less

Submitted 12 January, 2019; originally announced January 2019.

Comments: 40 pages

MSC Class: 47A64; 47B65; 47L07; 58B20

Matrix limit theorems of Kato type related to positive linear maps and operator means

Authors: Fumio Hiai

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 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 $A\vee B$ with respect to the spectral order. △ Less

Submitted 12 October, 2018; originally announced October 2018.

Comments: 23 pages

MSC Class: 15A45; 15A42; 47A64

Log-majorization related to Rényi divergences

Authors: Fumio Hiai

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 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 $α,z$ for which $P_α(A,B)\prec_{\log}Q_{α,z}(A,B)$ and $Q_{α,z}(A,B)\prec_{\log}P_α(A,B)$ holds, respectively. △ Less

Submitted 11 August, 2018; originally announced August 2018.

Comments: 21 pages

MSC Class: 15A42; 15A45; 47A64

Quantum $f$-divergences in von Neumann algebras II. Maximal $f$-divergences

Authors: Fumio Hiai

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 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 properties of maximal $f$-divergences, for instance, the monotonicity inequality, the joint convexity, the lower semicontinuity, and the martingale convergence. The inequality between the standard and the maximal $f$-divergences is also given. △ Less

Submitted 9 July, 2018; originally announced July 2018.

Comments: 38 pages

MSC Class: 81P45; 46L10; 46L53; 94A17

Convergence theorems for barycentric maps

Authors: Fumio Hiai, Yongdo Lim

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 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 the $β$-conditional expectation. Moreover, we prove the continuity property of the ergodic limit function by finding a complete metric between contractive barycentric maps on the Wasserstein space of Borel probability measures on $M$. Finally, the large derivation property of $β$-values of i.i.d. empirical measures is obtained by applying the Sanov large deviation principle. △ Less

Submitted 22 May, 2018; originally announced May 2018.

Comments: 37 pages

MSC Class: 60B05; 47H25; 60G48

Quantum $f$-divergences in von Neumann algebras I. Standard $f$-divergences

Authors: Fumio Hiai

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 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 divergence in von Neumann algebra. Some results on relative hamiltonians formerly studied by Araki and Donald are improved as a by-product. △ Less

Submitted 5 May, 2018; originally announced May 2018.

Comments: 33 pages

MSC Class: 81P45; 46L10; 46L53; 94A17

Ando-Hiai type inequalities for multivariate operator means

Authors: Fumio Hiai, Yuki Seo, Shuhei Wada

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. 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. △ Less

Submitted 5 April, 2018; originally announced April 2018.

Comments: 30 pages

MSC Class: 47A64; 47A63; 47B65

Operator means deformed by a fixed point method

Authors: Fumio Hiai

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. 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. △ Less

Submitted 28 November, 2017; originally announced November 2017.

Comments: 35 pages

MSC Class: 47A64

Log-majorizations for the (symplectic) eigenvalues of the Cartan barycenter

Authors: Fumio Hiai, Yongdo Lim

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 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 random variables. △ Less

Submitted 2 October, 2017; originally announced October 2017.

Comments: 17 pages

MSC Class: 15A42; 47A64; 47B65; 47L07

The stochastic order of probability measures on ordered metric spaces

Authors: Fumio Hiai, Jimmie Lawson, Yongdo Lim

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 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 metric space equipped with a closed partial order, and derive several useful equivalent versions of the definition. We establish the antisymmetry and closedness of the stochastic order (and hence that it is a closed partial order) for the case of a partial order on a Banach space induced by a closed normal cone with interior. We also consider order-completeness of the stochastic order for a cone of a finite-dimensional Banach space and derive a version of the arithmetic-geometric-harmonic mean inequalities in the setting of the associated probability space on positive matrices. △ Less

Submitted 13 September, 2017; originally announced September 2017.

Comments: 25 pages

Geometric mean flows and the Cartan barycenter on the Wasserstein space over positive definite matrices

Authors: Fumio Hiai, Yongdo Lim

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 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 fixed point theorem related to the Karcher equation and the Cartan barycentric trajectory is also presented as an application. △ Less

Submitted 13 May, 2017; originally announced May 2017.

Comments: 14 pages

MSC Class: 15A42; 47A64; 47B65; 47L07

Log-majorization and Lie-Trotter formula for the Cartan barycenter on probability measure spaces

Authors: Fumio Hiai, Yongdo Lim

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 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 finite first moment for the stochastic order induced by the cone. We also derive a version of Lie-Trotter formula and related unitarily invariant norm inequalities for the Cartan barycenter as the main application of log-majorization. △ Less

Submitted 7 December, 2016; v1 submitted 28 September, 2016; originally announced September 2016.

Comments: 20 pages

MSC Class: 15A42; 47A64; 47B65; 47L07

A generalization of Araki's log-majorization

Authors: Fumio Hiai

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. 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. △ Less

Submitted 14 January, 2016; v1 submitted 13 December, 2015; originally announced January 2016.

Comments: 16 pages, the last section is expanded

Operator $k$-tone functions and analytic functional calculus

Authors: Fumio Hiai

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. 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. △ Less

Submitted 21 August, 2015; originally announced August 2015.

Comments: 19 pages

Contraction coefficients for noisy quantum channels

Authors: Fumio Hiai, Mary Beth Ruskai

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. 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. △ Less

Submitted 14 August, 2015; originally announced August 2015.

Comments: 40 pages

MSC Class: 46L60; 46L87; 15A63; 81P45; 53B50

Concavity of certain matrix trace and norm functions. II

Authors: Fumio Hiai

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 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 variational method of Carlen, Frank and Lieb is extended to general non-decreasing convex/concave functions on $(0,\infty)$ so that we prove joint concavity/convexity of more trace functions of Lieb type. △ Less

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

Anti Lie-Trotter formula

Authors: K. M. R. Audenaert, F. Hiai

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 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 $p$ tends to $\infty$, with the ultimate goal of finding an explicit formula, which we call the anti Lie-Trotter formula. We show that the limit of $Z_p$ exists and find an explicit formula in a special case. The limit of $G_p$ is shown for $2\times2$ matrices only. △ Less

Submitted 26 December, 2014; originally announced December 2014.

Comments: 26 pages

MSC Class: 15A42; 15A16; 47A64

Anti-norms on finite von Neumann algebras

Authors: Jean-Christophe Bourin, Fumio Hiai

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 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 $ψ$. △ Less

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

Orbital free pressure and its Legendre transform

Authors: Fumio Hiai, Yoshimichi Ueda

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. 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. △ Less

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

Conic structure of the non-negative operator convex functions on $(0,\infty)$

Authors: Uwe Franz, Fumio Hiai

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. 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. △ Less

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

On matrix inequalities between the power means: counterexamples

Authors: Koenraad M. R. Audenaert, Fumio Hiai

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 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 positive linear map $Φ$ and $A>0$ are also clarified. △ Less

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

Authors: Fumio Hiai, Hideki Kosaki, Denes Petz, Mary Beth Ruskai

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 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 which contract under the action of completely positive trace-preserving maps. We study the question of when these operators define maps which are also completely positive (CP). Although A --> D^{-1/2} A D^{-1/2} is the only case for which both the map and its inverse are CP, there are several well-known one parameter families for which either the map or its inverse is CP. We present a complete analysis of the behavior of these families, as well as the behavior of lines connecting an extreme point with the smallest one and some results for geometric bridges between these points. Our primary tool is an order relation based on the concept of positive definite functions. Although some results can be obtained from known properties, we also prove new results based on the positivity of the Fourier transforms of certain functions. Concrete computations of certain Fourier transforms not only yield new examples of positive definite functions, but also examples in the much stronger class of infinitely divisible functions. △ Less

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)

Concavity of certain matrix trace and norm functions

Authors: Fumio Hiai

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 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 Lieb's variational method is also used to improve the convexity property of norm functions $||Φ(A^p)^s||$. △ Less

Submitted 10 March, 2013; v1 submitted 28 October, 2012; originally announced October 2012.

Comments: 27 pages

MSC Class: 15A60; 47A30; 47A60

Convexity of quasi-entropy type functions: Lieb's and Ando's convexity theorems revisited

Authors: Fumio Hiai, Denes Petz

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 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 properties of the function $I_f^θ$, thus unifying some known results for various quantum quantities. △ Less

Submitted 4 September, 2012; originally announced September 2012.

Comments: 27 pages

MSC Class: 81P45; 54C70

Jensen and Minkowski inequalities for operator means and anti-norms

Authors: Jean-Christophe Bourin, Fumio Hiai

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 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 Minkowski functional. An interpolation theorem for the Schur multiplication is given in this setting. Two sections have been added to the previous version, devoted to means of severable variables and anti-norms. △ Less

Submitted 14 September, 2011; v1 submitted 11 June, 2011; originally announced June 2011.

Higher order extension of Löwner's theory: Operator $k$-tone functions

Authors: Uwe Franz, Fumio Hiai, Éric Ricard

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 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 familiar representations of operator monotone and convex functions. △ Less

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

Norm and anti-norm inequalities for positive semi-definite matrices

Authors: Jean-Christophe Bourin, Fumio Hiai

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 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 functionals containing the Schatten $q$-norms for $q\in(0,1]$ and $q<0$. The results are extensions of the Minkowski determinantal inequality. A few estimates for block-matrices are derived. For instance, let $f:[0,\infty) \to [0,\infty)$ be concave and $p\in(1,\infty)$. If $f^p(t)$ is superadditive, then $Tr f(A) \ge (\sum_{i=1}^m f^p(a_{ii}))^{1/p}$ for all positive $m\times m$ matrix $A=[a_{ij}]$. Furthermore, for the normalized trace $τ$, we consider functions $φ(t)$ and $f(t)$ for which the functional $A\mapstoφ\circτ\circ f(A)$ is convex or concave, and obtain a simple analytic criterion. △ Less

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

Strongly subadditive functions

Authors: Koenraad Audenaer, Fumio Hiai, Denes Petz

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 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 equality is described. △ Less

Submitted 27 July, 2010; originally announced July 2010.

Comments: 8 pages

Loewner matrices of matrix convex and monotone functions

Authors: Fumio Hiai, Takashi Sano

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)$. 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)$. △ Less

Submitted 5 August, 2010; v1 submitted 15 July, 2010; originally announced July 2010.

Comments: 20 pages

MSC Class: 15A45; 47A63; 42A82

Operator log-convex functions and operator means

Authors: Tsuyoshi Ando, Fumio Hiai

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. 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. △ Less

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

A new approach to mutual information. II

Authors: Fumio Hiai, Takuho Miyamoto

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. 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. △ Less

Submitted 8 January, 2009; originally announced January 2009.

Comments: 21 pages

MSC Class: 62B10; 94A17

Riemannian metrics on positive definite matrices related to means

Authors: F. Hiai, D. Petz

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 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 metric under a mapping $D\mapsto G(D)$ is a kernel metric as well. Several Riemannian geometries of the literature are particular cases, for example, the Fisher-Rao metric for multivariate Gaussian distributions and the quantum Fisher information. In the paper the case $φ(x,y)=M(x,y)^θ$ is mostly studied when $M(x,y)$ is a mean of the positive numbers $x$ and $y$. There are results about the geodesic curves and geodesic distances. The geometric mean, the logarithmic mean and the root mean are important cases. △ Less

Submitted 7 November, 2008; v1 submitted 29 September, 2008; originally announced September 2008.

Comments: 28 pages

MSC Class: 15A45; 15A48; 53B21; 53C22

Monotonicity for entrywise functions of matrices

Authors: Fumio Hiai

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. 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. △ Less

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

A new approach to mutual information

Authors: F. Hiai, D. Petz

Abstract: A new expression as a certain asymptotic limit via "discrete micro-states" of permutations is provided to the mutual information of both continuous and discrete random variables. A new expression as a certain asymptotic limit via "discrete micro-states" of permutations is provided to the mutual information of both continuous and discrete random variables. △ Less

Submitted 4 April, 2007; originally announced April 2007.

Comments: 14 pages

MSC Class: 62B10; 94A17

Orbital approach to microstate free entropy

Authors: Fumio Hiai, Takuho Miyamoto, Yoshimichi Ueda

Abstract: Motivated by Voiculescu's liberation theory, we introduce the orbital free entropy $χ_orb$ for non-commutative self-adjoint random variables (also for "hyperfinite random multi-variables"). Besides its basic properties the relation of $χ_orb$ with the usual free entropy $χ$ is shown. Moreover, the dimension counterpart $δ_{0,orb}$ of $χ_orb$ is discussed, and we obtain the relation of… ▽ More Motivated by Voiculescu's liberation theory, we introduce the orbital free entropy $χ_orb$ for non-commutative self-adjoint random variables (also for "hyperfinite random multi-variables"). Besides its basic properties the relation of $χ_orb$ with the usual free entropy $χ$ is shown. Moreover, the dimension counterpart $δ_{0,orb}$ of $χ_orb$ is discussed, and we obtain the relation of $δ_{0,orb}$ with the original free entropy dimension $δ_0$ with applications to $δ_0$ itself. △ Less

Submitted 21 December, 2007; v1 submitted 25 February, 2007; originally announced February 2007.

Comments: 38 pages; Section 5 was largely improved and Section 6 was added

MSC Class: Primary: 46L54; secondary: 52C17; 28A78; 94A17

Journal ref: Internat. J. Math., Vol.20, No.2 (2009), 227--273

Notes on microstate free entropy of projections

Authors: Fumio Hiai, Yoshimichi Ueda

Abstract: We study the microstate free entropy of projections, and establish its basic properties similar to the self-adjoint variable case. Our main contribution is to characterize the pair-block freeness of projections by the additivity of their free entropy (Theorem 4.1), in the proof of which a transportation cost inequality plays an important role. We also briefly discuss the free pressure in relatio… ▽ More We study the microstate free entropy of projections, and establish its basic properties similar to the self-adjoint variable case. Our main contribution is to characterize the pair-block freeness of projections by the additivity of their free entropy (Theorem 4.1), in the proof of which a transportation cost inequality plays an important role. We also briefly discuss the free pressure in relation to the microstate free entropy of projections. △ Less

Submitted 23 May, 2006; originally announced May 2006.

Journal ref: Publ. RIMS, Vol.44, No.1 (2008), 49--89

A log-Sobolev type inequality for free entropy of two projections

Authors: Fumio Hiai, Yoshimichi Ueda

Abstract: We prove an inequality between the free entropy and the mutual free Fisher information for two projections, regarded as a free analog of the logarithmic Sobolev inequality. The proof is based on the random matrix approximation procedure via the Grassmannian random matrix model of two projections. We prove an inequality between the free entropy and the mutual free Fisher information for two projections, regarded as a free analog of the logarithmic Sobolev inequality. The proof is based on the random matrix approximation procedure via the Grassmannian random matrix model of two projections. △ Less

Submitted 9 August, 2006; v1 submitted 9 January, 2006; originally announced January 2006.

Comments: The assumption of the main theorem is improved

MSC Class: 46L54; 94A17; 60E15

Journal ref: Annales IHP Probab. Stat., Vol.45, No.1 (2009), 239--249

Large deviations for functions of two random projection matrices

Authors: F. Hiai, D. Petz

Abstract: In this paper two independent and unitarily invariant projection matrices P(N) and Q(N) are considered and the large deviation is proven for the eigenvalue density of all polynomials of them as the matrix size $N$ converges to infinity. The result is formulated on the tracial state space $TS({\cal A})$ of the universal $C^*$-algebra ${\cal A}$ generated by two selfadjoint projections. The random… ▽ More In this paper two independent and unitarily invariant projection matrices P(N) and Q(N) are considered and the large deviation is proven for the eigenvalue density of all polynomials of them as the matrix size $N$ converges to infinity. The result is formulated on the tracial state space $TS({\cal A})$ of the universal $C^*$-algebra ${\cal A}$ generated by two selfadjoint projections. The random pair $(P(N),Q(N))$ determines a random tracial state $τ_N \in TS({\cal A})$ and $τ_N$ satisfies the large deviation. The rate function is in close connection with Voiculescu's free entropy defined for pairs of projections. △ Less

Submitted 21 April, 2005; originally announced April 2005.

Comments: 22 pages

MSC Class: 15A52; 60F10; 46L54

A free analogue of the transportation cost inequality on the circle

Authors: F. Hiai, D. Petz

Abstract: We give a new proof of the free transportation cost inequality for measures on the circle following M. Ledoux's idea. We give a new proof of the free transportation cost inequality for measures on the circle following M. Ledoux's idea. △ Less

Submitted 23 January, 2005; originally announced January 2005.

Comments: 8 pages

MSC Class: Primary: 46L54; secondary: 60E15; 94A17; 15A52

Free transportation cost inequalities for non-commutative multi-variables

Authors: Fumio Hiai, Yoshimichi Ueda

Abstract: We prove the free analogue of the transportation cost inequality for tracial distributions of non-commutative self-adjoint (also unitary) multi-variables based on random matrix approximation procedure. We prove the free analogue of the transportation cost inequality for tracial distributions of non-commutative self-adjoint (also unitary) multi-variables based on random matrix approximation procedure. △ Less

Submitted 16 January, 2005; originally announced January 2005.

MSC Class: Primary: 46L54; Secondary: 94A17; 60E15; 15A52

Journal ref: Inf. Dim. Analysis and Quant. Prob., Vol. 9, No.3 (2006), 391-412

Equilibrium states and their entropy densities in gauge-invariant C*-systems

Authors: N. Akiho, F. Hiai, D. Petz

Abstract: A gauge-invariant C*-system is obtained as the fixed point subalgebra of the infinite tensor product of full matrix algebras under the tensor product unitary action of a compact group. In the paper, thermodynamics is studied on such systems and the chemical potential theory developed by Araki, Haag, Kastler and Takesaki is used. As a generalization of quantum spin system, the equivalence of the… ▽ More A gauge-invariant C*-system is obtained as the fixed point subalgebra of the infinite tensor product of full matrix algebras under the tensor product unitary action of a compact group. In the paper, thermodynamics is studied on such systems and the chemical potential theory developed by Araki, Haag, Kastler and Takesaki is used. As a generalization of quantum spin system, the equivalence of the KMS condition, the Gibbs condition and the variational principle is shown for translation-invariant states. The entropy density of extremal equilibrium states is also investigated in relation to macroscopic uniformity. △ Less

Submitted 16 March, 2005; v1 submitted 30 September, 2004; originally announced September 2004.

Comments: 20 pages, revised in March 2005

MSC Class: 46L30; 37D35; 82B10