Automorphisms of Hilbert space effect algebras**This research was supported by a grant from ARRS, Slovenia.

Abstract

Let H be a Hilbert space and E (H) the effect algebra on H. A bijective map is called an ortho-order automorphism of E (H) if for every we have and . The classical theorem of Ludwig states that every such ϕ is of the form , , for some unitary or antiunitary operator U. It is also known that each bijective map on E (H) preserving order and coexistency in both directions is of the same form. Can we improve these two theorems by relaxing the bijectivity assumption and/or replacing the above preserving properties by the weaker assumptions of preserving above relations in one direction only and still get the same conclusion? For both characterizations of automorphisms of effect algebras we will prove the optimal versions and give counterexamples showing the optimality of the obtained results.