Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userTraces on operator ideals and arithmetic means
204
0
0.0
(
0
)
Authors
Victor Kaftal
Ask ChatGPT about the research
No Arabic abstract
This article - a part of a multipaper project investigating arithmetic mean ideals - investigates the codimension of commutator spaces [I, B(H)] of operator ideals on a separable Hilbert space, i.e., ``How many traces can an ideal support? We conjecture that the codimension can be only zero, one, or infinity. Using the arithmetic mean (am) operations on ideals introduced by Dykema, Figiel, Weiss, and Wodzicki, and the analogous am operations at infinity that we develop in this article, the conjecture is proven for all ideals not contained in the largest am-infinity stable ideal and not containing the smallest am-stable ideal. It is also proven for all soft-edged ideals (i.e., I= IK(H)) and all soft-complemented ideals (i.e., I= I/K(H)), which include many classical operator ideals. In the process, we prove that an ideal of trace class operators supports a unique trace (up to scalar multiples) if and only if it is am-infinity stable and that, for a principal ideal, am-infinity stability is equivalent to regularity at infinity of the sequence of s-numbers of the generator. Furthermore, we apply trace extension methods to two problems on elementary operators studied by V. Shulman and to Fuglede-Putnam type problems of the second author.
rate research
Read More
Recently the behavior of operator monotone functions on unbounded intervals with respect to the relation of strictly positivity has been investigated. In this paper we deeply study such behavior not only for operator monotone functions but also for operator convex functions on bounded intervals. More precisely, we prove that if $f$ is a nonlinear operator convex function on a bounded interval $(a,b)$ and $A, B$ are bounded linear operators acting on a Hilbert space with spectra in $(a,b)$ and $A-B$ is invertible, then $sf(A)+(1-s)f(B)>f(sA+(1-s)B)$. A short proof for a similar known result concerning a nonconstant operator monotone function on $[0,infty)$ is presented. Another purpose is to find a lower bound for $f(A)-f(B)$, where $f$ is a nonconstant operator monotone function, by using a key lemma. We also give an estimation of the Furuta inequality, which is an excellent extension of the Lowner--Heinz inequality.
We improve the existing Ando-Hiai inequalities for operator means and present new ones for operator perspectives in several ways. We also provide the operator perspective version of the Lie-Trotter formula and consider the extension problem of operator perspectives to non-invertible positive operators.
Let $G$ be a compact connected Lie group. The question of when a weighted Fourier algebra on $G$ is completely isomorphic to an operator algebra will be investigated in this paper. We will demonstrate that the dimension of the group plays an important role in the question. More precisely, we will get a positive answer to the question when we consider a polynomial type weight coming from a length function on $G$ with the order of growth strictly bigger than the half of the dimension of the group. The case of SU(n) will be examined, focusing more on the details including negative results. The proof for the positive directions depends on a non-commutative version of Littlewood multiplier theory, which we will develop in this paper, and the negative directions will be taken care of by restricting to a maximal torus.
We develop a natural generalization of vector-valued frame theory, we term operator-valued frame theory, using operator-algebraic methods. This extends work of the second author and D. Han which can be viewed as the multiplicity one case and extends to higher multiplicity (e.g., multiframes) their dilation approach. We prove several results for operator-valued frames concerning their parametrization, duality, disjointeness, complementarity, and composition and the relationship between the two types of similarity (left and right) of such frames. We then apply these notions to prove that the collection of multiframe generators for the action of a discrete group on a Hilbert space is norm pathwise-connected precisely when the von Neumann algebra generated by the right representation of the group has no minimal projections. The proof is obtained by parametrizing this collection by a class of partial isometries in a larger von Neumann algebra. In the multiplicity one case this class reduces to the unitary class which is path-connected in norm, but in the infinite multiplicity case this class is path connected only in the strong operator topology and the proof depends on properties of tensor product slice maps.
Let $mathbb{P}$ be the complete metric space consisting of positive invertible operators on an infinite-dimensional Hilbert space with the Thompson metric. We introduce the notion of operator means of probability measures on $mathbb{P}$, in parallel with Kubo and Andos definition of two-variable operator means, and show that every operator mean is contractive for the $infty$-Wasserstein distance. By means of a fixed point method we consider deformation of such operator means, and show that the deformation of any operator mean becomes again an operator mean in our sense. Based on this deformation procedure we prove a number of properties and inequalities for operator means of probability measures.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
