Related papers: Characterizations of Connections for Positive Oper…
In this paper we characterize those positive operators which are asymptotic limits of contractions in strong operator topology or uniform topology. We examine the problem when the asymptotic limits of two contractions coincide.
In this article we consider means of positive operators on a Hilbert space. We extend the theory of matrix power means to arbitrary operator means in the sense of Kubo-Ando. The basis of the extension is relying on ideas coming from…
The theory of one-sided coupled operator matrices, recently introduced by K.-J. Engel, is an abstract framework for concrete initial value problems and allows complete information on well-posedness, and stability of solutions. These notes…
The dominant method for defining multivariate operator means is to express them as fix-points under a contraction with respect to the Thompson metric. Although this method is powerful, it crucially depends on monotonicity. We are developing…
We prove that a continuous function $f:(0,\infty) \to (0,\infty)$ is operator monotone increasing if and only if $f(A \: !_t \: B) \leqs f(A) \: !_t \: f(B)$ for any positive operators $A,B$ and scalar $t \in [0,1]$. Here, $!_t$ denotes the…
In this paper we initiate the study of real operator monotonicity for functions of tuples of operators, which are multivariate structured maps with a functional calculus called free functions that preserve the order between real parts (or…
We consider all 16 unary operations that, given a homogeneous binary relation R, define a new one by a boolean combination of xRy and yRx. Operations can be composed, and connected by pointwise-defined logical junctors. We consider the…
Following Boros--Moll, a sequence $(a_n)$ is $m$-log-concave if $\mathcal{L}^j (a_n) \geq 0$ for all $j = 0, 1, \ldots, m$. Here, $\mathcal{L}$ is the operator defined by $\mathcal{L} (a_n) = a_n^2 - a_{n - 1} a_{n + 1}$. By a criterion of…
For positive definite matrices $A$ and $B$, the Kubo-Ando matrix power mean is defined as $$ P_\mu(p, A, B) = A^{1/2}\left(\frac{1+(A^{-1/2}BA^{-1/2})^p}{2}\right )^{1/p} A^{1/2}\quad (p \ge 0). $$ In this paper, for $0\le p \le 1 \le q$,…
The distance of an operation from being associative can be "measured" by its associative spectrum, an appropriate sequence of positive integers. Associative spectra were introduced in a publication by B. Cs\'ak\'any and T. Waldhauser in…
An open problem in polarization theory is to determine the binary operations that always lead to polarization (in the general multilevel sense) when they are used in Ar{\i}kan style constructions. This paper, which is presented in two…
We present the formalization of a theory of syntax with bindings that has been developed and refined over the last decade to support several large formalization efforts. Terms are defined for an arbitrary number of constructors of varying…
We demonstrate new abstract characterizations for unital and non-unital operator spaces. We characterize unital operator spaces in terms of the cone of accretive operators (operators whose real part is positive). Defining the gauge of an…
Classical matching theory can be defined in terms of matrices with nonnegative entries. The notion of Positive operator, central in Quantum Theory, is a natural generalization of matrices with nonnegative entries. Based on this point of…
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…
We consider a Hilbert space that is a product of a finite number of Hilbert spaces and operators that are represented by "componental operators" acting on the Hilbert spaces that form the product space. We attribute operatorial properties…
Contraction theory is a mathematical framework for studying the convergence, robustness, and modularity properties of dynamical systems and algorithms. In this opinion paper, we provide five main opinions on the virtues of contraction…
A family $f_1,...,f_n$ of operators on a complete metric space $X$ is called contractive if there exists a positive $\lambda < 1$ such that for any $x,y$ in $X$ we have $d(f_i(x),f_i(y)) \leq \lambda d(x,y)$ for some $i$. Austin conjectured…
In this work, the commutator of any two reasonable functions of several pairs of canonical conjugate operators is obtained as a sum of terms of partial derivatives of those functions (equations 9, 10 or 11). When applied to quantum…
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}$,…