A structure theorem for complex-valued quasiprobability representations of physical theories

Abstract

Quasiprobability representations are well-established tools in quantum information science, with applications ranging from the classical simulability of quantum computation to quantum process tomography, quantum error correction, and quantum sensing. While traditional quasiprobability representations typically employ real-valued distributions, recent developments highlight the usefulness of complex-valued ones -- most notably, via the family of Kirkwood--Dirac quasiprobability distributions. Building on the framework of Schmid et al. [Quantum 8, 1283 (2024)], we extend the analysis to encompass complex-valued quasiprobability representations that need not preserve the identity channel. Additionally, we also extend previous results to consider mappings towards infinite-dimensional spaces. We show that, for each system, every such representation can be expressed as the composition of two maps that are completely characterized by their action on states and on the identity (equivalently, on effects) for that system. Our results apply to all complex-valued quasiprobability representations of any finite-dimensional, tomographically-local generalized probabilistic theory, with finite-dimensional quantum theory serving as a paradigmatic example. In the quantum case, the maps' action on states and effects corresponds to choices of frames and dual frames for the representation. This work offers a unified mathematical framework for analyzing complex-valued quasiprobability representations in generalized probabilistic theories.