Related papers: Strongly subadditive functions

Let $\phi$ be a linear map from the $n\times n$ matrices ${\mathcal M}_n$ to the $m\times m$ matrices ${\mathcal M}_m$. It is known that $\phi$ is $2$-positive if and only if for all $K\in {\mathcal M}_n$ and all strictly positive $X\in…

Let $f\colon\mathbb{N}\rightarrow\mathbb{N}_0$ be a multiplicative arithmetic function such that for all primes $p$ and positive integers $\alpha$, $f(p^{\alpha})<p^{\alpha}$ and $f(p)\vert f(p^{\alpha})$. Suppose also that any prime that…

In this note, we characterize all functions $f : \mathbb{N} \rightarrow \mathbb{C}$ such that $f(x_1^2+ \cdots + x_k^2)=f(x_1)^2+ \cdots + f(x_k)^2$, where $k \geq 3$ and $x_1, \cdots, x_k$ are positive integers.

In this paper, we establish Ostrowski's type inequalities for strongly-convex functions where c>0 by using some classical inequalities and elemantery analysis. We also give some results for product of two strongly-convex functions.

This addendum devotes to a detailed proof for the inequality (9.14) in our joint work: Arithmetic exponent pairs for algebraic trace functions and applications, with an appendix by Will Sawin, arXiv:1603.07060 [math.NT], which will appear…

In this paper, we prove the convexity of trace functionals $$(A,B,C)\mapsto \text{Tr}|B^{p}AC^{q}|^{s},$$ for parameters $(p,q,s)$ that are best possible, where $B$ and $C$ are any $n$-by-$n$ positive definite matrices, and $A$ is any…

For every positive integer h, the representation function of order h associated to a subset A of the integers or, more generally, of any group or semigroup X, counts the number of ways an element of X can be written as the sum (or product,…

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 define a function in terms of quotients of the $p$-adic gamma function which generalizes earlier work of the author on extending hypergeometric functions over finite fields to the $p$-adic setting. We prove, for primes $p > 3$, that the…

Let $f$ be a measurable function defined on $\mathbb{R}$. For each $n\in\mathbb{Z}$ define the operator $A_n$ by $$A_nf(x)=\frac{1}{2^n}\int_x^{x+2^n}f(y)\, dy.$$ Consider the variation operator…

For an analytic function f(z)=z+\sum_{n=2}^\infty a_n z^n satisfying the inequality \sum_{n=2}^\infty n(n-1)|a_n|\leq \beta, sharp bound on $\beta$ is determined so that $f$ is either starlike or convex of order $\alpha$. Several other…

If a function $f$, acting on a Euclidean space $\mathbb{R}^n$, is "almost" orthogonally additive in the sense that $f(x+y)=f(x)+f(y)$ for all $(x,y)\in\bot\setminus Z$, where $Z$ is a "negligible" subset of the $(2n-1)$-dimensional manifold…

In this survey, we explore how superorthogonality amongst functions in a sequence $f_1,f_2,f_3,\ldots$ results in direct or converse inequalities for an associated square function. We distinguish between three main types of…

We characterize real functions $f$ on an interval $(-\alpha,\alpha)$ for which the entrywise matrix function $[a_{ij}] \mapsto [f(a_{ij})]$ is positive, monotone and convex, respectively, in the positive semidefiniteness order. Fractional…

Starting from some of Norman Levinson's results, we construct interesting examples of functions $f(s)$ such that for $s=\frac12+it$, we have $Z(t)=2\Re\{\pi^{-\frac{s}{2}}\Gamma(s/2)f(s)\}$. For example one such function is…

We describe recent work of Kim in arXiv:1210.5190 to show that operator convex functions associated with quasi-entropies can be used to prove a large class of new matrix inequalities in the tri-partite and bi-partite setting by taking a…

A function in a class $\mathcal{F}(X)$ is said to be subdifferentially determined in $\mathcal{F}(X)$ if it is equal up to an additive constant to any function in $\mathcal{F}(X)$ with the same subdifferential. A function is said to be…

In [P. Renaud, "A matrix formulation of Gr\"uss inequality", Linear Algebra Appl. 335 (2001), 95--100] it was proved an operator inequality involving the usual trace functional. In this article, we give a refinement of such result and we…

Using the properties of geometric mean, we shall show for any $0\le \alpha ,\beta \le 1$, \[f\left( A{{\nabla }_{\alpha }}B \right)\le f\left( \left( A{{\nabla }_{\alpha }}B \right){{\nabla }_{\beta }}A \right){{\sharp}_{\alpha }}f\left(…

We evaluate three-point correlation functions of single trace operators in N=4 SYM at both weak and strong coupling. We focus on the case where two of the operators belong in a SL(2) sub-sector, and are dual to string solutions in a broad…