Related papers: On trace-convex noncommutative polynomials
A convex-polynomial is a convex combination of the monomials $\{1, x, x^2, \ldots\}$. This paper establishes that the convex-polynomials on $\mathbb R$ are dense in $L^p(\mu)$ and weak$^*$ dense in $L^\infty(\mu)$, precisely when…
Given a function $f:(0,\infty)\rightarrow\RR$ and a positive semidefinite $n\times n$ matrix $P$, one may define a trace functional on positive definite $n\times n$ matrices as $A\mapsto \Tr(Pf(A))$. For differentiable functions $f$, the…
If a noncommutative polynomial $f$ is neither an identity nor a central polynomial of $\mathcal A=M_n(\C)$, then every trace zero matrix in $\mathcal A$ can be written as a sum of two matrices from $f(\mathcal A)-f(\mathcal A)$. Moreover,…
We prove a condition on f \in C^2(\R+,\R) for the convexity of (f o det) on PSym(n), namely that f o det is convex on PSym(n) if and only if f"(s)+(n-1)/(ns) f'(s) >= 0 and f'(s)<= 0 \forall s \in \R+. This generalizes the observation that…
For a given l-adic sheaf F on a commutative algebraic group over a finite field k and an integer r we define the r-th local norm L-function of F at a point t in G(k) and prove its rationality. This function gives information on the sum of…
The paper is devoted to characterizing convex trace ranges in finite atomic von Neumann algebras. The main result provides us with the necessary and sufficient condition for the range of a faithful normal trace on a finite atomic von…
We say a polynomial f having integer coefficients is strongly coefficient convex if the set of coefficients of f consists of consecutive integers only. We establish various results suggesting that the divisors of x^n-1 with integer…
We show that every real nonnegative polynomial $f$ can be approximated as closely as desired by a sequence of polynomials $\{f_\epsilon\}$ that are sums of squares. Each $f_\epsilon$ has a simple et explicit form in terms of $f$ and…
We prove the real non-attractive fixed point conjecture for complex polynomial and rational harmonic functions. A harmonic function $f=h+\overline{g}$ is polynomial (rational) if both $h$ and $g$ are polynomials (rational functions) of…
Linear statistics, a random variable build out of the sum of the evaluation of functions at the eigenvalues of a N times N random matrix,sum[j=1 to N]f(xj) or tr f(M), is an ubiquitous statistical characteristics in random matrix theory.…
Given $n\times n$ symmetric matrices $A$ and $B$, Dines in 1941 proved that the joint range set $\{(x^TAx,x^TBx)|~x\in\mathbb{R}^n\}$ is always convex. Our paper is concerned with non-homogeneous extension of the Dines theorem for the range…
In this paper we give an integral representation of an $n$-convex function $f$ in general case without additional assumptions on function $f$. We prove that any $n$-convex function can be represented as a sum of two $(n+1)$-times monotone…
Let $f$ be a holomorphic modular form of prime level $p$ and trivial nebentypus. We show that there exists a computable $\delta>0$, such that $$ L\left(\tfrac{1}{2},\mathrm{Sym}^2 f\right)\ll p^{\tfrac{1}{2}-\delta}, $$ with the implied…
A long-standing conjecture asserts that the polynomial \[p(t) = \text{Tr}[(A+tB)^m]\] has nonnegative coefficients whenever $m$ is a positive integer and $A$ and $B$ are any two $n \times n$ positive semidefinite Hermitian matrices. The…
Let C be convex, compact, with nonempty interior and h be Legendre with domain C, continuous on C. We prove that h is Bregman if and only if it is strictly convex on C and C is a polytope. This provides insights on sequential convergence of…
The paper studies the problem, for which continuous functions $f$ on the real line ${\Bbb R}$, the difference of the functions $f(B)-f(A)$ of self-adjoint operators $A$ and $B$ with trace class difference must also be of trace class. The…
We investigate polyconvexity of the double well function $f(X)\,:= |X-X\_1|^2|X-X\_2|^2$ for given matrices $X\_1, X\_2 \in \R^{n \times n}$. Such functions are fundamental in the modeling of phase transitions in materials, but their…
In this paper, we extend some estimates of the right hand side of a Hermite- Hadamard type inequality for nonconvex functions whose second derivatives absolute values are \phi-convex, log-\phi-convex, and quasi-\phi-convex.
In this paper we study the joint convexity/concavity of the trace functions \[ \Psi_{p,q,s}(A,B)=\text{Tr}(B^{\frac{q}{2}}K^*A^{p}KB^{\frac{q}{2}})^s,~~p,q,s\in \mathbb{R}, \] where $A$ and $B$ are positive definite matrices and $K$ is any…
We show that if a polynomial $f\in \mathbb{R}[x_1,\ldots,x_n]$ is nonnegative on a closed basic semialgebraic set $X=\{x\in\mathbb{R}^n:g_1(x)\ge 0,\ldots,g_r (x)\ge 0\}$, where $g_1,\ldots,g_r\in\mathbb{R}[x_1,\ldots,x_n]$, then $f$ can be…