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

Certain trace inequalities related to matrix logarithm are shown. These results enable us to give a partial answer of the open problem conjectured by A.S.Holevo. That is, concavity of the auxiliary function which appears in the random…

Two non-commutative versions of the classical L^q(L^p) norm on the algebra of (mn)x(mn) matrices are compared. The first norm was defined recently by Carlen and Lieb, as a byproduct of their analysis of certain convex functions on matrix…

Some of the important inequalities associated with quantum entropy are immediate algebraic consequences of the Hansen-Pedersen-Jensen inequality. A general argument is given using matrix perspectives of operator convex functions. A matrix…

We derive a formula for the regularized trace of operators with compact spectrum which act on the space of square integrable functions on the quotient of a semisimple Liegroup of real rank one by a convex-cocompact subgroup. The sum of…

An inequality of Brascamp and Lieb provides a bound on the covariance of two functions with respect to log-concave measures. The bound estimates the covariance by the product of the $L^2$ norms of the gradients of the functions, where the…

We investigate monotone operator functions of several variables under a trace or a trace-like functional. In particular, we prove the inequality \tau(x_1... x_n)\le\tau(y_1... y_n) for a trace \tau on a C^*-algebra and abelian n-tuples…

We present a characterization of operator log-convex functions by using positive linear mappings. Moreover, we study the non-commutative f-divergence functional of operator log-convex functions. In particular, we prove that f is operator…

We provide comparison principles for convex functions through its proximal mappings. Consequently, we prove that the norm of the proximal operator determines a convex the function up to a constant. A new characterization of Lipschitzianity…

We derive the monotonicity of the quantum relative entropy by an elementary operational argument based on Stein's lemma in quantum hypothesis testing. For the latter we present an elementary and short proof that requires the law of large…

We investigate the convexity property on $(0,1)$ of the function $$f_a(x)=\frac{{\cal K}{(\sqrt x)}}{a-(1/2)\log(1-x)}.$$ We show that $f_a$ is strictly convex on $(0,1)$ if and only if $a\geq a_c$ and $1/f_a$ is strictly convex on $(0,1)$…

We consider the problems of \emph{learning} and \emph{testing} real-valued convex functions over Gaussian space. Despite the extensive study of function convexity across mathematics, statistics, and computer science, its learnability and…

We investigate the univalency and the directional convexity of the convolution $\phi\tilde{*}f=\phi*h+\overline{\phi*g}$ of the harmonic mapping $f=h+\bar{g}$ with a mapping $\phi$ whose convolution with the mapping…

In this work, several sharp bounds for the \v{C}eby\v{s}ev functional involving various type of functions are proved. In particular, for the \v{C}eby\v{s}ev functional of two absolutely continuous functions whose first derivatives are both…

We give two different definitions of what it means for a matrix-valued function to be log concave, guided by similar notions in complex differential geometry. After discussing a few simple examples, we proceed to develop some of the basic…

We study the convexity properties of the generalized trigonometric functions considered as functions of parameter. We show that $p\to\sin_p(y)$ and $p\to\cos_p(y)$ are log-concave on the appropriate intervals while $p\to\tan_p(y)$ is…

Let $\mathcal{M}$ be a semifinite von Neumann algebra equipped with a normal faithful semifinite trace $\tau$, and let $L_p(\mathcal{M})$ denote the associated noncommutative $L_p$-space for $1<p<\infty$. Let $n\in\mathbb{N}$ and let $a, b$…

We study multivariate entire functions and polynomials with non-negative coefficients. A class of {\bf Strongly Log-Concave} entire functions, generalizing {\it Minkowski} volume polynomials, is introduced: an entire function $f$ in $m$…

In the paper, we analyze the Lebesgue exponents $p_\Phi$ and $q_\Phi$, and show that for any $p_\Phi< p < \infty$ and $1< q<q_\Phi$, there exists an equivalent Young function $\Psi$ with $p < p_\Psi < \infty$ and $1<q_\Psi < q$. This type…

In the dual $L_{\Phi^*}$ of a $\Delta_2$-Orlicz space $L_\Phi$, that we call a dual Orlicz space, we show that a proper (resp. finite) convex function is lower semicontinuous (resp. continuous) for the Mackey topology…

We introduce the notion of trace convexity for functions and respectively, for subsets of a compact topological space. This notion generalizes both classical convexity of vector spaces, as well as Choquet convexity for compact metric…