Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content

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

.
  1. arXiv:2404.07617  [pdf, ps, other

    quant-ph math.OA

    $α$-$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

    Submitted 11 April, 2024; originally announced April 2024.

    Comments: 42 pages

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

  2. arXiv:2402.16067  [pdf, ps, other

    math.FA math.OA quant-ph

    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

    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

  3. arXiv:2304.04361  [pdf, ps, other

    quant-ph math.FA

    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

    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

  4. arXiv:2209.00646  [pdf, ps, other

    quant-ph cs.IT math-ph math.FA

    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

    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

  5. arXiv:2201.05477  [pdf, ps, other

    quant-ph cs.IT math-ph

    Test-measured Rényi divergences

    Authors: Milán Mosonyi, Fumio Hiai

    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)

  6. arXiv:2110.07320  [pdf, ps, other

    quant-ph cs.IT math-ph math.OA

    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

    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

  7. arXiv:2105.09549  [pdf, ps, other

    math.FA

    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

    Submitted 20 May, 2021; originally announced May 2021.

    Comments: 63 pages

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

  8. arXiv:2101.01176  [pdf, ps, other

    math.OA math.FA

    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

    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

  9. arXiv:2004.02383  [pdf, ps, other

    math.OA math-ph

    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

    Submitted 5 April, 2020; originally announced April 2020.

    Comments: 159 pages

    MSC Class: 46L10

  10. arXiv:1905.01929  [pdf, other

    math.FA

    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.

    Submitted 6 May, 2019; originally announced May 2019.

    Comments: 46 pages

    MSC Class: 47A64; 47A63; 47B65

  11. arXiv:1901.03858  [pdf, ps, other

    math.FA

    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

    Submitted 12 January, 2019; originally announced January 2019.

    Comments: 40 pages

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

  12. arXiv:1810.05476  [pdf, ps, other

    math.FA

    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

    Submitted 12 October, 2018; originally announced October 2018.

    Comments: 23 pages

    MSC Class: 15A45; 15A42; 47A64

  13. arXiv:1808.03866  [pdf, ps, other

    math.FA

    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

    Submitted 11 August, 2018; originally announced August 2018.

    Comments: 21 pages

    MSC Class: 15A42; 15A45; 47A64

  14. arXiv:1807.03118  [pdf, ps, other

    math-ph math.OA

    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

    Submitted 9 July, 2018; originally announced July 2018.

    Comments: 38 pages

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

  15. arXiv:1805.08558  [pdf, ps, other

    math.PR math.FA

    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

    Submitted 22 May, 2018; originally announced May 2018.

    Comments: 37 pages

    MSC Class: 60B05; 47H25; 60G48

  16. arXiv:1805.02050  [pdf, ps, other

    math-ph math.OA

    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

    Submitted 5 May, 2018; originally announced May 2018.

    Comments: 33 pages

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

  17. arXiv:1804.01881  [pdf, ps, other

    math.FA

    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.

    Submitted 5 April, 2018; originally announced April 2018.

    Comments: 30 pages

    MSC Class: 47A64; 47A63; 47B65

  18. arXiv:1711.10170  [pdf, ps, other

    math.FA

    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.

    Submitted 28 November, 2017; originally announced November 2017.

    Comments: 35 pages

    MSC Class: 47A64

  19. arXiv:1710.00494  [pdf, ps, other

    math.FA math.PR

    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

    Submitted 2 October, 2017; originally announced October 2017.

    Comments: 17 pages

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

  20. arXiv:1709.04187  [pdf, ps, other

    math.FA math.PR

    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

    Submitted 13 September, 2017; originally announced September 2017.

    Comments: 25 pages

  21. arXiv:1705.04825  [pdf, ps, other

    math.FA

    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

    Submitted 13 May, 2017; originally announced May 2017.

    Comments: 14 pages

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

  22. arXiv:1609.08909  [pdf, ps, other

    math.FA

    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

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

    Comments: 20 pages

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

  23. Generalized Log-Majorization and Multivariate Trace Inequalities

    Authors: Fumio Hiai, Robert Koenig, Marco Tomamichel

    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)

  24. arXiv:1604.03089  [pdf, ps, other

    math-ph cs.IT quant-ph

    Different quantum f-divergences and the reversibility of quantum operations

    Authors: Fumio Hiai, Milan Mosonyi

    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)

  25. arXiv:1601.01715  [pdf, ps, other

    math.RA math.OA

    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.

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

    Comments: 16 pages, the last section is expanded

  26. arXiv:1508.05442  [pdf, ps, other

    math.FA math.OA

    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.

    Submitted 21 August, 2015; originally announced August 2015.

    Comments: 19 pages

  27. arXiv:1508.03551  [pdf, ps, other

    quant-ph math-ph math.OA

    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.

    Submitted 14 August, 2015; originally announced August 2015.

    Comments: 40 pages

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

  28. arXiv:1507.00853  [pdf, ps, other

    math.FA

    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

    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

  29. arXiv:1412.7905  [pdf, ps, other

    math.FA

    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

    Submitted 26 December, 2014; originally announced December 2014.

    Comments: 26 pages

    MSC Class: 15A42; 15A16; 47A64

  30. arXiv:1405.2509  [pdf, ps, other

    math.OA math.FA

    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

    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

  31. 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.

    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

  32. 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.

    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

  33. arXiv:1302.7040  [pdf, ps, other

    math.FA

    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

    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

  34. arXiv:1212.1337  [pdf, other

    quant-ph math.FA

    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

    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)

  35. arXiv:1210.7524  [pdf, ps, other

    math.FA math-ph math.OA

    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

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

    Comments: 27 pages

    MSC Class: 15A60; 47A30; 47A60

  36. arXiv:1209.0546  [pdf, ps, other

    math-ph math.FA

    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

    Submitted 4 September, 2012; originally announced September 2012.

    Comments: 27 pages

    MSC Class: 81P45; 54C70

  37. arXiv:1106.2213  [pdf, ps, other

    math.FA

    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

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

  38. 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

    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

  39. arXiv:1012.5171  [pdf, ps, other

    math.FA math.OA

    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

    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

  40. arXiv:1008.2529  [pdf, ps, other

    math-ph cs.IT quant-ph

    Quantum f-divergences and error correction

    Authors: F. Hiai, M. Mosonyi, D. Petz, C. Beny

    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)

  41. arXiv:1007.4626  [pdf, ps, other

    math.FA quant-ph

    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

    Submitted 27 July, 2010; originally announced July 2010.

    Comments: 8 pages

  42. arXiv:1007.2478  [pdf, ps, other

    math.FA

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

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

    Comments: 20 pages

    MSC Class: 15A45; 47A63; 42A82

  43. On the quantum Renyi relative entropies and related capacity formulas

    Authors: M. Mosonyi, F. Hiai

    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)

  44. 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.

    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

  45. Quantum hypothesis testing with group symmetry

    Authors: Fumio Hiai, Milan Mosonyi, Masahito Hayashi

    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)

  46. arXiv:0901.1072  [pdf, ps, other

    math.PR math.ST

    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.

    Submitted 8 January, 2009; originally announced January 2009.

    Comments: 21 pages

    MSC Class: 62B10; 94A17

  47. arXiv:0809.4974  [pdf, ps, other

    math-ph math.FA

    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

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

    Comments: 28 pages

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

  48. arXiv:0802.0567  [pdf, ps, other

    quant-ph math-ph

    Asymptotic distinguishability measures for shift-invariant quasi-free states of fermionic lattice systems

    Authors: M. Mosonyi, F. Hiai, T. Ogawa, M. Fannes

    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)

  49. arXiv:0712.1208  [pdf, ps, other

    math-ph

    Quantum covariance, quantum Fisher information and the uncertainty principle

    Authors: Paolo Gibilisco, Fumio Hiai, Denes Petz

    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.

  50. arXiv:0709.1235  [pdf, ps, other

    math.FA

    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.

    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