Related papers: An elementary proof for the non-bijective version …
Under the mild condition of continuity at a single point we describe all the bijections of the set of all partial isometries on a Hilbert space which preserve the order and the orthogonality in both directions. Moreover, we present a…
The aim of this paper is to give a simple, geometric proof of Wigner's theorem on the realization of symmetries in quantum mechanics that clarifies its relation to projective geometry. Although several proofs exist already, it seems that…
We show that the transformations of Grassmannians (of complex Hilbert spaces) induced by linear or conjugate-linear isometries can be characterized as transformations preserving some of principal angles (corresponding to the orthogonality,…
Let $H$ be a complex Hilbert space whose dimension is not less than $3$ and let ${\mathcal F}_{s}(H)$ be the real vector space formed by all self-adjoint operators of finite rank on $H$. For every non-zero natural $k<\dim H$ we denote by…
Extending Wigner's theorem we give a characterization of positive maps of $B(H)$ into itself which map the set of rank k projections onto itself.
The purpose of the paper is to study the foundations of the main axioms of Quantum Mechanics. From a general study of the mathematical properties of the models used in Physics to represent systems, we prove that the states of a system can…
We extend some results of group representation theory and von Neumann algebras to the quaternionic Hilbert space case, proving the double commutant theorem (whose quaternionic proof requires a different procedure) and extend to the…
We analyse linear maps of operator algebras $\mathcal{B}_H(\mathcal{H})$ mapping the set of rank-$k$ projectors onto the set of rank-$l$ projectors surjectively. We give a complete characterisation of such maps for prime $n =…
Let $\mathcal H$ be a complex Hilbert space and $\mathcal F_s (\mathcal H)$ the real vector space of all self-adjoint finite rank bounded operators on $\mathcal H$. We generalize the famous Wigner's theorem by characterizing linear maps on…
The structure of the set of positivity-preserving maps between matrix algebras is notoriously difficult to describe. The notable exceptions are the results by St{\o}rmer and Woronowicz from 1960s and 1970s settling the low dimensional…
We prove rigidity results describing contextually-constrained maps defined on Grassmannians and manifolds of ordered independent line tuples in finite-dimensional vector or Hilbert spaces. One statement in the spirit of the Fundamental…
The leading idea of the paper is to treat the theorem of Wigner with methods inspired by geometry. The exercise mentionned in the title has two functions: On the one hand it can serve as a pedagogical text in order to make the reader…
In this paper first we describe all (not necessarily linear or bijective) transformations on $\mathbb{R}^d$ with $2\leq d<\infty$ which preserve the area of parallelograms spanned by any two vectors. We also characterize those (not…
In this note we generalize the well-known Wigner's unitary-anti\-unitary theorem. For $X$ and $Y$ smooth normed spaces and $f:X\to Y$ a surjective mapping such that $|[f(x),f(y)]|=|[x,y]|$, $x,y\in X$, where $[\cdot,\cdot]$ is the unique…
As established by Sol\`er, Quantum Theories may be formulated in real, complex or quaternionic Hilbert spaces only. St\"uckelberg provided physical reasons for ruling out real Hilbert spaces relying on Heisenberg principle. Focusing on this…
We describe the symmetry group of the stabilizer polytope for any number $n$ of systems and any prime local dimension $d$. In the qubit case, the symmetry group coincides with the linear and anti-linear Clifford operations. In the case of…
It is well known that the closed subspaces of a Hilbert space form an orthomodular lattice. Elements of this orthomodular lattice are the propositions of a quantum mechanical system represented by the Hilbert space, and by Gleason's theorem…
A derangement is a permutation with no fixed point, and a nonderangement is a permutation with at least one fixed point. There is a one-term recurrence for the number of derangements of $n$ elements, and we describe a bijective proof of…
We prove that every bijection preserving triple transition pseudo-probabilities between the sets of minimal tripotents of two atomic JBW$^*$-triples automatically preserves orthogonality in both directions. Consequently, each bijection…
Wigner-positive quantum states have the peculiarity to admit a Wigner function that is a genuine probability distribution over phase space. The Shannon differential entropy of the Wigner function of such states -- called Wigner entropy for…