Related papers: Commutativity from the Equality of two Heron-type …
We prove sharp Heron-type majorization inequalities for two quadratic matrix expressions associated with the spectral and Kubo-Ando geometric means. For the spectral geometric mean cross term, we show that \[…
In one of his recent papers \cite{ML1}, Moln\'ar showed that if $\mathcal{A}$ is a von Neumann algebra without $I_1, I_2$-type direct summands, then any function from the positive definite cone of $\mathcal{A}$ to the positive real numbers…
Let $A, B$ be positive definite matrices, $p=1, 2$ and $r\ge 0$. It is shown that \begin{equation*} ||A+ B + r(A\sharp_t B+A\sharp_{1-t} B)||_p \le ||A+ B + r(A^{t}B^{1-t} + A^{1-t}B^t)||_p. \end{equation*} We also prove that for positive…
Let \( A_i \) be a commutative \( C^{*} \)-algebra for \( i = 1, 2 \), and denote by \( A_i^{+} \) its positive cone, consisting of all positive elements of \( A_i \). In this paper, we investigate surjective, not necessarily continuous…
In the paper, the authors find the greatest value $\lambda$ and the least value $\mu $ such that the double inequality \begin{multline*} C(\lambda a+(1-\lambda)b,\lambda b+(1-\lambda )a)<\alpha A(a,b)+(1-\alpha)T(a,b)\\ < C(\mu…
Given a simple Lie algebra $\mathfrak{g}$ and an element $\mu\in\mathfrak{g}^*$, the corresponding shift of argument subalgebra of $\text{S}(\mathfrak{g})$ is Poisson commutative. In the case where $\mu$ is regular, this subalgebra is known…
In this paper, we consider a (nonlinear) transformation $\Phi$ of invertible positive elements in $C^*$-algebras which preserves the norm of any of the three fundamental means of positive elements; namely, $\|\Phi(A)\mm \Phi(B)\| = \|A\mm…
It is shown that if $A,B\in \mathbb{B}\left( \mathcal{H} \right)$ be positive operators, then \begin{equation*} \begin{aligned} A\#B&\le \frac{1}{1-2\mu }{A^{\frac{1}{2}}}{{F}_{\mu }}\left( {A^{-\frac{1}{2}}}B{A^{-\frac{1}{2}}}…
Jacobson's commutativity theorem says that a ring is commutative if, for each $x$, $x^n = x$ for some $n > 1$. Herstein's generalization says that the condition can be weakened to $x^n-x$ being central. In both theorems, $n$ may depend on…
Recently, Hartz proved that every commuting contractive classical multishift with non-zero weights satisfies the matrix-version of von Neumann's inequality. We show that this result does not extend to the class of commuting operator-valued…
We derive two formulae for (A + B)^n, where A and B are elements in a non-commutative, associative algebra with identity.
In this paper, we prove that the inequalities $\alpha [1/3 Q(a,b)+2/3 A(a,b)]+(1-\alpha)Q^{1/3}(a,b)A^{2/3}(a,b)<M(a,b) <\beta [1/3 Q(a,b)+2/3 A(a,b)]+(1-\beta)Q^{1/3}(a,b)A^{2/3}(a,b)$ and $\lambda [1/6 C(a,b)+5/6…
We show how one can obtain a class of quadratic Wasserstein metrics, that is to say, Wasserstein metrics of order 2, on the set of faithful normal states of a von Neumann algebra $A$, via transport plans, rather than through a dynamical…
We characterize projections among positive norm-one elements in unital C$^*$-algebras in pure geometric terms determined by the norm of the underlying Banach space. Concretely, let $A$ be a C$^*$-algebra (or a JB$^*$-algebra) whose positive…
Motivated by the latest CDF $W$-mass measurement as well as the muon $g-2$ anomaly and the discrepancies observed in $b \to s \ell^+ \ell^-$ transitions, we propose an extension of the Standard Model (SM) with the $SU(2)_L$-singlet…
Let $H$ be a complex separable Hilbert space and $B(H)$ the algebra of all bounded linear operators on $H$. In this paper, we give considerable generalizations of the inequalities for norms of commutators of normal operators. Let $S, T \in…
A classical result of Sherman says that if the space of self-adjoint elements in a $C^*$-algebra $\mathcal{A}$ is a lattice with respect to its canonical order, then $\mathcal{A}$ is commutative. We give a new proof of this theorem which…
Let $A_f(1,n)$ be the normalized Fourier coefficients of a $GL(3)$ Maass cusp form $f$ and let $a_g(n)$ be the normalized Fourier coefficients of a $GL(2)$ cusp form $g$. Let $\lambda(n)$ be either $A_f(1,n)$ or the triple divisor function…
The celebrated Heinz inequality asserts that $ 2|||A^{1/2}XB^{1/2}|||\leq |||A^{\nu}XB^{1-\nu}+A^{1-\nu}XB^{\nu}|||\leq |||AX+XB|||$ for $X \in \mathbb{B}(\mathscr{H})$, $A,B\in \+$, every unitarily invariant norm $|||\cdot|||$ and $\nu \in…
While Jordan algebras are commutative, their non-associativity makes it so that the Jordan product operators do not necessarily commute. When the product operators of two elements commute, the elements are said to operator commute. In some…