Transition probabilities of normal states determine the Jordan structure of a quantum system

TL;DR

This paper characterizes when a bijection between normal state spaces of quantum systems implies the systems are Jordan *-isomorphic, based on the preservation of various notions of transition probabilities, extending Wigner's theorem.

Contribution

It establishes conditions under which preserving certain transition probabilities implies the systems are Jordan *-isomorphic, extending classical results like Wigner's theorem.

Findings

Preservation of zero transition probabilities implies Jordan *-isomorphism.

Preserving asymmetric transition probability characterizes Jordan *-isomorphism.

Normal state spaces with specific metrics serve as complete invariants for von Neumann algebras.

Abstract

Let $\Phi:\mathfrak{S}(M_1)\to \mathfrak{S}(M_2)$ be a bijection (not assumed affine nor continuous) between the sets of normal states of two quantum systems, modelled on the self-adjoint parts of von Neumann algebras $M_1$ and $M_2$, respectively. This paper concerns with the situation when $\Phi$ preserves (or partially preserves) one of the following three notions of "transition probability" on the normal state spaces: the Uhlmann transition probability $P_U$, the Raggio transition probability $P_B$ and an "asymmetric transition probability" $P_0$ as defined in this article. It is shown that the two systems are isomorphic, i.e. $M_1$ and $M_2$ are Jordan $^*$-isomorphic, if $\Phi$ preserves all pairs with zero Uhlmann (respectively, Raggio or asymmetric) transition probability, i.e., for any normal states $\mu$ and $\nu$, we have $$ P\big(\Phi(\mu),\Phi(\nu)\big) = 0 \quad \text{if and only if} \quad P(\mu,\nu)=0, $$ where $P$ stands for $P_U$ (respectively, $P_R$ or $P_0$). Furthermore, as an extension of Wigner's theorem, it is shown that there is a Jordan $^*$-isomorphism $\Theta:M_2\to M_1$ with $$\Phi = \Theta^*|_{\mathfrak{S}(M_1)}$$ if and only if $\Phi$ preserves the "asymmetric transition probability". This is also equivalent to $\Phi$ preserving the Raggio transition probability. Consequently, if $\Phi$ preserves the Raggio transition probability, it will preserve the Uhlmann transition probability as well. As another application, the sets of normal states equipped with either the usual metric, the Bures metric or "the metric induced by the self-dual cone" are complete Jordan $^*$-invariants for the underlying von Neumann algebras.