Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOperator means of probability measures
191
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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.
rate research
Read More
In this paper, the notion of operator means in the setting of JB-algebras is introduced and their properties are studied. Many identities and inequalities are established, most of them have origins from operators on Hilbert space but they have different forms and connotations, and their proofs require techniques in JB-algebras.
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.
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.
We obtain limit theorems for $Phi(A^p)^{1/p}$ and $(A^psigma B)^{1/p}$ as $ptoinfty$ for positive matrices $A,B$, where $Phi$ is a positive linear map between matrix algebras (in particular, $Phi(A)=KAK^*$) and $sigma$ is an operator mean (in particular, the weighted geometric mean), which are considered as certain reciprocal Lie-Trotter formulas and also a generalization of Katos limit to the supremum $Avee B$ with respect to the spectral order.
We study the question, ``For which reals $x$ does there exist a measure $mu$ such that $x$ is random relative to $mu$? We show that for every nonrecursive $x$, there is a measure which makes $x$ random without concentrating on $x$. We give several conditions on $x$ equivalent to there being continuous measure which makes $x$ random. We show that for all but countably many reals $x$ these conditions apply, so there is a continuous measure which makes $x$ random. There is a meta-mathematical aspect of this investigation. As one requires higher arithmetic levels in the degree of randomness, one must make use of more iterates of the power set of the continuum to show that for all but countably many $x$s there is a continuous $mu$ which makes $x$ random to that degree.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
