Phase Group Categories of Bimodule Quantum Channels

In this paper, we study the quantum channel on a von Neuamnn algebra $\mathcal{M}$ preserving a von Neumann subalgebra $\mathcal{N}$, namely an $\mathcal{N}$-$\mathcal{N}$-bimodule unital completely positive map. By introducing the relative irreducibility of a bimodule quantum channel, we show that its eigenvalues with modulus 1 form a finite cyclic group, called its phase group. Moreover, the corresponding eigenspaces are invertible $\mathcal{N}$-$\mathcal{N}$-bimodules, which encode a categorification of the phase group. When $\mathcal{N}\subset \mathcal{M}$ is a finite-index irreducible subfactor of type II$_1$, we prove that any bimodule quantum channel is relatively irreducible for the intermediate subfactor of its fixed points. In addition, we can reformulate and prove these results intrinsically in subfactor planar algebras without referring to the subfactor using the methods of quantum Fourier analysis.

💡 Research Summary

The paper investigates quantum channels that preserve a von Neumann subalgebra (N) inside a larger von Neumann algebra (M). Such maps are called (N)‑(N) bimodule quantum channels: they are unital completely positive (UCP) maps (\Phi:M\to M) satisfying (\Phi(y_1xy_2)=y_1\Phi(x)y_2) for all (x\in M) and (y_1,y_2\in N). The authors introduce a new notion of relative irreducibility: a projection (p\in M) obeys (\Phi(p)\le\lambda p) (for some (\lambda>0)) only if (p) actually lies in the subalgebra (N). When (N=\mathbb{C}1) this reduces to the classical irreducibility used by Evans and Høegh‑Krohn.

The main results are threefold. First, under the assumptions that (N\subset M) has finite Jones index, that (N) is a factor, and that (\Phi) is relatively irreducible, the set of eigenvalues of (\Phi) with modulus one forms a finite cyclic group (\Gamma). This group is called the phase group of the channel. The proof relies on the Pimsner‑Popa inequality and a quantum Fourier transform that identifies (\Phi) with an element (y_\Phi) in the relative commutant (N’\cap M_1); the inverse Fourier transform (b_\Phi) lives in (M’\cap M_2). Positivity of (b_\Phi) is equivalent to complete positivity of (\Phi).

Second, each eigenvalue (\alpha\in\Gamma) has an associated eigenspace (H_\alpha) which is an invertible (N)‑(N) bimodule. Moreover, these bimodules have quantum dimension one and admit a concrete realization (H_\alpha = u_\alpha N = N u_\alpha) for a unitary (u_\alpha\in M). The collection ({H_\alpha}_{\alpha\in\Gamma}) forms a unitary fusion category, i.e., a categorification of the phase group. This generalizes the classical Perron‑Frobenius theorem where each peripheral eigenvector is one‑dimensional.

Third, when the inclusion (N\subset M) is an irreducible finite‑index subfactor of type II(_1), the fixed‑point algebra (P={x\in M\mid\Phi(x)=x}) is itself a subfactor intermediate between (N) and (M). The authors prove that (\Phi) is relatively irreducible as a (P)‑(P) bimodule map, and the phase group’s quantum dimension equals the Jones index (