Spectral order automorphisms of the spaces of Hilbert space effects and observables (Q2642700): Difference between revisions

Let \(A\) and \(B\) be elements of the JBW-algebra \(B_s(H)\) of self-adjoint bounded linear operators on the complex Hilbert space \(H\) and let \(E_A\) and \(E_B\) be the corresponding projection-valued measures on the \(\sigma\)-algebra \({\mathcal B}(\mathbb{R})\) of Borel subsets of \(\mathbb{R}\). Write \(A\leq B\) when \(B- A\) is a positive element in the JBW-algebra \(B_s(H)\), and write \(A\preceq B\) when, for all elements \(t\) in \(\mathbb{R}\), \(E_B((-\infty, t])\leq E_A((-\infty, t])\). This partial order on \(B_s(H)\) or its restriction to the unit interval \({\mathcal E}(H)\) in \(B_s(H)\) is said to be the spectral order. The present paper is concerned with the characterization of the mappings \(\varphi\) from \(B_s(H)\) to itself or \({\mathcal E}(H)\) to itself which, along with their inverses, are spectral order automorphisms. The main result shows that, for \({\mathcal E}(H)\), if \(H\) is infinite-dimensional, then there exist a strictly increasing function \(f:[0,1]\to [0,1]\), an invertible positive contraction \(T\) on \(H\) and a unitary or antiunitary operator \(U\) on \(H\) such that, for all elements \(A\) of \({\mathcal E}(H)\), \[ \varphi(A)= \lim_{n\to\infty} U(Tf(A)^nT)^{1/n} U^*. \] The authors conjecture that the same result holds for \(B_s(H)\).