English
Related papers

Related papers: On trace-convex noncommutative polynomials

200 papers

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…

Functional Analysis · Mathematics 2015-11-02 Nathan S. Feldman , Paul J. McGuire

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…

Functional Analysis · Mathematics 2020-05-07 Mark W. Girard

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,…

Rings and Algebras · Mathematics 2021-03-22 Matej Bresar , Peter Semrl

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…

Mathematical Physics · Physics 2012-09-26 Stephan Lehmich , Patrizio Neff , Johannes Lankeit

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…

Number Theory · Mathematics 2019-12-19 Antonio Rojas-León

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…

Operator Algebras · Mathematics 2025-12-01 A. Arziev , K. Kudaybergenov

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…

Number Theory · Mathematics 2020-08-28 Andreas Decker , Pieter Moree

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…

Algebraic Geometry · Mathematics 2007-05-23 Jean B. Lasserre

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…

Complex Variables · Mathematics 2025-07-25 Mohd Vaseem

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

Mathematical Physics · Physics 2019-12-18 Chao Min , Yang Chen

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…

Optimization and Control · Mathematics 2025-03-04 Huu-Quang Nguyen , Ya-Chi Chu , Ruey-Lin Sheu

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…

Classical Analysis and ODEs · Mathematics 2010-08-17 Teresa Rajba

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…

Number Theory · Mathematics 2017-09-19 Ritabrata Munshi

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…

Operator Algebras · Mathematics 2007-05-23 Christopher J. Hillar

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…

Optimization and Control · Mathematics 2025-03-05 Edouard Pauwels

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…

Functional Analysis · Mathematics 2024-02-16 A. B. Aleksandrov , V. V. Peller

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…

Optimization and Control · Mathematics 2025-11-21 Didier Henrion , Martin Kružík

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.

Functional Analysis · Mathematics 2013-12-04 Mehmet Zeki Sarikaya , Hakan Bozkurt , Mehmet Eyüp Kiris

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…

Functional Analysis · Mathematics 2023-01-31 Haonan Zhang

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…

Algebraic Geometry · Mathematics 2015-07-23 Krzysztof Kurdyka , Stanisław Spodzieja