Related papers: Convexity of a certain operator trace functional

The new notion of operator/matrix $k$-tone functions is introduced, which is a higher order extension of operator/matrix monotone and convex functions. Differential properties of matrix $k$-tone functions are shown. Characterizations,…

In this note we study the problem of evaluating the trace of $f(T)-f(R)$, where $T$ and $R$ are contractions on Hilbert space with trace class difference, i.e., $T-R\in\boldsymbol{S}_1$ and $f$ is a function analytic in the unit disk ${\Bbb…

We introduce a generalization of relative entropy derived from the Wigner-Yanase-Dyson entropy and give a simple, self-contained proof that it is convex. Moreover, special cases yield the joint convexity of relative entropy, and for the map…

In [1], Caffarelli-Charro introduced a fractional Monge-Amp\`{e}re operator. Later, Wu [17] generalized it to a fractional analogue of $k$-Hessian operators and proved the strict ellipticity for $k=2$. In this paper, we introduce a…

On the reference tetrahedron $K$, we construct, for each $k \in \mathbb{N}_0$, a right inverse for the trace operator $u \mapsto (u, \partial_{n} u, \ldots, \partial_{n}^k u)|_{\partial K}$. The operator is stable as a mapping from the…

A general `quantum history theory' can be characterised by the space of histories and by the space of decoherence functionals. In this note we consider the situation where the space of histories is given by the lattice of projection…

The inner plethysm of symmetric functions corresponds to the $\lambda$-ring operations of the representation ring $R({\mathfrak S}_n)$ of the symmetric group. It is known since the work of Littlewood that this operation possesses stability…

Let a:[0,1] -> R be a Lebesgue-almost everywhere positive function. We consider the Riemann-Liouville operator R^a of variable order a(.) as an operator from L_p[0,1] to L_q[0,1]. Our first aim is to study its continuity properties. For…

We introduce the notion of one-sided mapping cones of positive linear maps between matrix algebras. These are convex cones of maps that are invariant under compositions by completely positive maps from either the left or right side. The…

We prove an operator inequality that extends strong subadditivity of entropy: after taking a trace, the operator inequality becomes the strong subadditivity of entropy.

We consider a quantum quasi-relative entropy $S_f^K$ for an operator $K$ and an operator convex function $f$. We show how to obtain the error bounds for the monotonicity and joint convexity inequalities from the recent results for the…

We begin by reviewing Zhu's theorem on modular invariance of trace functions associated to a vertex operator algebra, as well as a generalisation by the author to vertex operator superalgebras. This generalisation involves objects that we…

For $\alpha\geq 0$, $\beta<1$ and $\gamma\geq 0$, the class $\mathcal{W}_{\beta}(\alpha,\gamma)$ satisfies the condition \begin{align*} {\rm Re\,} \left( e^{i\phi}\left((1-\alpha+2\gamma)f/z+(\alpha-2\gamma)f'+ \gamma…

Let $\mathcal{L}(x,a)$ be defined on $\left( -1,\infty \right) \times \left( 4/15,\infty \right) $ or $\left( 0,\infty \right) \times \left( 1/15,\infty \right) $ by the formula% \begin{equation*} \mathcal{L}(x,a)=\tfrac{1}{90a^{2}+2}\ln…

For operators defined on locally convex spaces we define the notions of boundedness and ergodicity associated to an infinite matrix. Given two matrices $ A$ and $ B$, we study when $ A$-bounded operators are $ B$-ergodic. Using this…

To each real continuous function f there is an associated trace function on real symmetric matrices Tr f. The classical Klein lemma states that f is convex if and only if Tr f is convex. In this note we present an algebraic strengthening of…

We study integral operators on the space of square-integrable functions from a compact set, $X$, to a separable Hilbert space, $H$. The kernel of such an operator takes values in the ideal of Hilbert-Schmidt operators on $H$. We establish…

Given a commuting $n$-tuple of bounded linear operators on a Hilbert space, together with a distinguished cyclic vector, Jim Agler defined a linear functional $\Lambda_{\mathbf{T},h}$ on the polynomial ring…

The partial trace operation is usually considered in composite quantum systems, to reduce the state on a single subsystem. This operation has a key role in the decoherence effect and quantum measurements. However, partial trace operations…

This paper studies an optimization problem on the sum of traces of matrix quadratic forms in $m$ semi-orthogonal matrices, which can be considered as a generalization of the synchronization of rotations. While the problem is nonconvex, the…