Fermionic optimal transport
Rocco Duvenhage, Dylan van Zyl, Paola Zurlo
TL;DR
This work extends quantum optimal transport to fermionic, ${\mathbb Z}_2$-graded settings by formulating fermionic transport plans on graded tensor products and translating them to usual tensor products via cyclic representations and twisted commutants. It defines quadratic fermionic Wasserstein distances $W^{\mathrm{F}}, W^{\mathrm{F}}_{\sigma}, W^{\mathrm{F}}_{\sigma\sigma}$ through a cost functional built from the associated even channels $E_{\omega}$, and shows these distances inherit key metric properties from the non-graded theory by translation. A central result is a one-to-one correspondence between fermionic transport plans and usual plans, enabling a transfer of metric results and symmetry properties, including KMS duality and Klein-type gradings, to the fermionic context. The framework also develops a detailed balance theory for indistinguishable fermions, connecting fermionic detailed balance to standard quantum detailed balance via copying and reversing operations, and derives symmetry-based bounds on deviations from fermionic detailed balance. Collectively, the paper provides a rigorous canonical approach to measuring dynamical distance and non-equilibrium behavior in fermionic quantum systems, with potential implications for quantum statistical mechanics and noncommutative geometry.
Abstract
Quadratic Wasserstein distances are obtained between dynamical systems (with states as special case), on $\mathbb{Z}_2$-graded von Neumann algebras. This is achieved through a systematic translation from non-graded to $\mathbb{Z}_2$-graded transport plans, on usual and fermionic (or $\mathbb{Z}_2$-graded) tensor products respectively. The metric properties of these fermionic Wasserstein distances are shown, and their symmetries relevant to deviation of a system from quantum detailed balance are investigated. The latter is done in conjunction with the development of a complete mathematical framework for detailed balance in systems involving indistinguishable fermions.
