English
Related papers

Related papers: Concavity of certain matrix trace and norm functio…

200 papers

For any densely defined, lower semi-continuous trace \tau on a C*-algebra A with mutually commuting C*-subalgebras A_1, A_2, ... A_n, and a convex function f of n variables, we give a short proof of the fact that the function (x_1, x_2,…

Operator Algebras · Mathematics 2015-06-26 Elliott H. Lieb , Gert K. Pedersen

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

Functional Analysis · Mathematics 2010-08-06 Fumio Hiai , Takashi Sano

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…

Functional Analysis · Mathematics 2011-02-08 Jean-Christophe Bourin , Fumio Hiai

In this brief note, it is shown that the function p^TW log(p) is convex in p if W is a diagonally dominant positive definite M-matrix. The techniques used to prove convexity are well-known in linear algebra and essentially involves…

Optimization and Control · Mathematics 2025-01-06 Shravan Mohan

We consider the following trace function on n-tuples of positive operators: \Phi_p(A_1,A_2,...,A_n) = Trace (\sum_{j=1}^n A_j^p)^{1/p} and prove that it is jointly concave for 0<p\le 1 and convex for p=2. We then derive from this a…

Operator Algebras · Mathematics 2007-05-23 Eric A. Carlen , Elliott H. Lieb

We study geometric properties of trace functionals that generalize those in [Zhang, Adv. Math. 365:107053 (2020)], arising from a novel family of conditional entropies with applications in quantum information. Building on new convexity…

Quantum Physics · Physics 2026-03-17 Roberto Rubboli , Milad M. Goodarzi , Marco Tomamichel

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…

Quantum Physics · Physics 2023-07-06 Fumio Hiai

In this paper, we prove a trace inequality $\text{Tr}[ f(A) A^s B^s ] \leq \text{Tr}[ f(A) (A^{1/2} B A^{1/2} )^s ]$ for any positive and monotone increasing function $f$, $s\in[0,1]$, and positive semi-definite matrices $A$ and $B$. On the…

Mathematical Physics · Physics 2025-09-25 Po-Chieh Liu , Hao-Chung Cheng

Matrix extension of a scalar function of a single variable is well-studied in literature. Of particular interest is the trace of such functions. It is known that for diagonalizable matrices, $M$, the function $g(M) = \text{Tr}(f(M)) =…

Functional Analysis · Mathematics 2025-01-29 Subhrajit Bhattacharya

Let $p$ be a positive number and $h$ a function on $\mathbb{R}^+$ satisfying $h(xy) \ge h(x) h(y)$ for any $x, y \in \mathbb{R}^+$. A non-negative continuous function $f$ on $K (\subset \mathbb{R}^+)$ is said to be {\it operator…

Functional Analysis · Mathematics 2017-12-22 Trung Hoa Dinh , Khue TB Vo

We prove a matrix trace inequality for completely monotone functions and for Bernstein functions. As special cases we obtain non-trivial trace inequalities for the power function x->x^q, which for certain values of q complement McCarthy's…

Functional Analysis · Mathematics 2013-04-23 Koenraad M. R. Audenaert

A famous result of Lieb establishes that the map $(A,B) \mapsto \text{tr}\left[K^* A^{1-t} K B^t\right]$ is jointly concave in the pair $(A,B)$ of positive definite matrices, where $K$ is a fixed matrix and $t \in [0,1]$. In this paper we…

Optimization and Control · Mathematics 2020-04-14 Hamza Fawzi , James Saunderson

We prove several trace inequalities that extend the Golden-Thompson and the Araki-Lieb-Thirring inequality to arbitrarily many matrices. In particular, we strengthen Lieb's triple matrix inequality. As an example application of our four…

Mathematical Physics · Physics 2017-03-17 David Sutter , Mario Berta , Marco Tomamichel

In this note we prove a trace theorem in fractional spaces with variable exponents. To be more precise, we show that if $p\colon\overline{\Omega}\times \overline{\Omega}\to (1,\infty)$ and $q:\partial \Omega \rightarrow (1,\infty)$ are…

Analysis of PDEs · Mathematics 2017-09-25 Leandro M. Del Pezzo , Julio D. Rossi

We study trace functions on the form $ t\to\tr f(A+tB) $ where $ f $ is a real function defined on the positive half-line, and $ A $ and $ B $ are matrices such that $ A $ is positive definite and $ B $ is positive semi-definite. If $ f $…

Operator Algebras · Mathematics 2007-05-23 Frank Hansen

Subaddivity type matrix inequalities for concave funcions and symetric norms are given.

Functional Analysis · Mathematics 2008-04-08 Jean-Christophe Bourin , Eun-Young Lee

We discuss the following question: For a function f of two or more variables which is convex in the directions of coordinate axes, how can its trace g(x) = f(x, x, ..., x) look like? In the two-dimensional case, we provide some necessary…

Optimization and Control · Mathematics 2017-10-24 Ondřej Kurka , Dušan Pokorný

In this article, we prove that convex functions and log-convex functions obey certain general refinements that lead to several refinements and reverses of well known inequalities for matrices, including Young's inequality, Heinz inequality,…

Functional Analysis · Mathematics 2016-06-28 Mohammad Sababheh

We derive new characterisations of the matrix $\mathrm{\Phi}$-entropy functionals introduced in [Electron.~J.~Probab., 19(20): 1--30, 2014]. Notably, all known equivalent characterisations of the classical $\Phi$-entropies have their matrix…

Mathematical Physics · Physics 2016-08-25 Hao-Chung Cheng , Min-Hsiu Hsieh

We investigate geometric properties of a class of trace functions expressed in terms of the deformed logarithmic and exponential functions. These trace functions and their properties may be of independent interest. We use them in particular…

Mathematical Physics · Physics 2024-05-15 Frank Hansen