Related papers: Trace functions as Laplace transforms
The BMV conjecture for traces, which states that $Tr exp(A -\lambda B)$ is the Laplace transform of a positive measure, is shown to be equivalent to two other statements: (i) The polynomial $\lambda\mapsto Tr(A+\lambda B)^p$ has only…
We prove the BMV (Bessis, Moussa, Villani, 1975) conjecture, which states that the function t -> Tr exp(A-tB), t \geq 0, is the Laplace transform of a positive measure on [0,\infty) if A and B are n x n Hermitian matrices and B is positive…
We find further implications of the BMV conjecture, which states that for hermitian matrices A and B, the function Tr exp(A - t B) is the Laplace transform of a positive measure.
The Bessis-Moussa-Villani conjecture states that the trace of $\exp(A-tB)$ is, as a function of the real variable $t$, the Laplace transform of a positive measure, where $A$ and $B$ are respectively a hermitian and positive semi-definite…
In this paper we show that for a non-negative operator monotone function $f$ on $[0, \infty)$ such that $f(0)= 0$ and for any positive semidefinite matrices $A$ and $B$, $$ Tr((A-B)(f(A)-f(B))) \le Tr(|A-B|f(|A-B|)). $$ When the function…
We consider convex trace functions $\Phi_{p,q,s} = Trace[ (A^{q/2}B^p A^{q/2})^s]$ where $A$ and $B$ are positive $n\times n$ matrices and ask when these functions are convex or concave. We also consider operator convexity/concavity of…
Given a pair $A,B$ of matrices of size $n\times n$, we consider the matrix function $e^{At+B}$ of the variable $t\in\mathbb{C}$. If the matrix $A$ is Hermitian, the matrix function $e^{At+B}$ is representable as the bilateral Laplace…
We classify all functions which, when applied term by term, leave invariant the sequences of moments of positive measures on the real line. Rather unexpectedly, these functions are built of absolutely monotonic components, or reflections of…
We define the local trace function for subspaces of $\ltworn$ which are invariant under integer translation. Our trace function contains the dimension function and the spectral function defined by Bownik and Rzeszotnik and completely…
We consider the task of estimating the trace of a matrix function, ${\rm tr}(f({\bf A}))$, of a large symmetric positive semi-definite matrix ${\bf A}$. This problem arises in multiple applications, including kernel methods and inverse…
The trace functions for the Parafermion vertex operator algebra associated to any finite dimensional simple Lie algebra $\g$ and any positive integer $k$ are studied and an explicit modular transformation formula of the trace functions is…
This work has a purpose to collect selected facts about the completely monotone (CM) functions that can be found in books and papers devoted to different areas of mathematics. We opted for lesser known ones, and for those which may help…
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…
We prove Lieb type convexity and concavity results for trace functionals associated with positive operator monotone (decreasing) functions and certain monotone concave functions. This gives a partial generalization of Hiai's recent work on…
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,…
In metric measure spaces, we study boundary traces of BV functions in domains equipped with a doubling measure and supporting a Poincar\'e inequality, but possibly having a very large and irregular boundary. We show that the trace exists in…
Let f be a function defined on positive numbers. The subject is the trace inequality $Tr f(A) + Tr f(P_2AP_2) \le Tr f(P_{12}AP_{12}) + \Tr f(P_{23}AP_{23})$, where $A$ is a positive operator, $P_1,P_2,P_3$ are orthogonal projections such…
Following a Maz'ya-type approach, we adapt the theory of rough traces of functions of bounded variation ($BV$) in the context of doubling metric measure spaces supporting a Poincar\'e inequality. This eventually allows for an integration by…
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…
In this paper we show that every $L^1$-integrable function on $\partial\Omega$ can be obtained as the trace of a function of bounded variation in $\Omega$ whenever $\Omega$ is a domain with regular boundary $\partial\Omega$ in a doubling…