Symmetries and Wigner representations of operational theories

Ties-A. Ohst,Martin Plávala

2023-06-20

Abstract:We develop the theory of Wigner representations for a large class of operational theories that include both classical and quantum theory. The Wigner representations that we introduce are a natural way to describe the theory in terms of some fixed observables; these observables are often picked to be position and momentum or spin observables. This allows us to introduce symmetries which transform the outcomes of the observables used to construct the Wigner representation; we obtain several results for when these symmetries are well defined or when they uniquely specify the Wigner representation.

Quantum Physics

What problem does this paper attempt to address?

This paper aims to solve the problem of how to construct the Wigner representation for a wide range of operational theories (including classical and quantum theories). Specifically, the author has developed a set of Wigner representation theories applicable to multiple operational theories. These theories can naturally describe systems through certain fixed observables. These observables are usually chosen as position and momentum or spin observables. In this way, the author has introduced symmetries that transform the results of these observables and has obtained several results on when these symmetries are well - defined or uniquely specify the Wigner representation.

### Core Problems of the Paper

1. **Constructing the Wigner Representation**: The main objective of the paper is to construct a Wigner representation for finite - dimensional generalized probability theories that mimics the characteristics of the Wigner function in quantum theory. Due to its simplicity, the author mainly focuses on the finite - dimensional case, which helps to construct counterexamples and establish an intuitive understanding of the Wigner representation.

2. **Symmetries and Transformations**: The author also studies the transformations and symmetries of the Wigner representation, because these also play a key role in the theory of the Wigner function. The author's main achievements include identifying the necessary and sufficient conditions for the Wigner representation to be positive, and the conditions under which the Wigner representation can be equivalent to the state - space description. In addition, the author has introduced the symmetries of the Wigner representation and identified when they induce symmetries on the state space.

3. **Uniqueness Conditions**: Finally, the author has identified the conditions under which the Wigner representation is unique. Some of these conditions (such as complementarity) are natural generalizations of the properties of position and momentum observables.

### Main Contributions

- **Theoretical Framework**: Proposed a theoretical framework of the Wigner representation applicable to multiple operational theories.
- **Symmetry Analysis**: Conducted an in - depth analysis of the symmetries of the Wigner representation and their relationship with the state - space symmetries.
- **Uniqueness Conditions**: Provided the conditions for the uniqueness of the Wigner representation, which is of great significance for understanding and applying the Wigner representation.

### Structural Overview

- **Section II**: Introduces the basic concepts of generalized probability theories, including state space and observables.
- **Section III**: Defines the Wigner representation of operational theories.
- **Section IV**: Introduces the symmetries of the Wigner representation.
- **Section V**: Explores symmetry groups.
- **Section VI**: Proposes and proves the conditions for the uniqueness of the Wigner representation.
- **Section VII**: Studies an example of the Wigner representation in quantum theory, especially the single - qubit case.
- **Section VIII**: Studies an example of the Wigner representation in Boxworld theory, which is a non - classical and non - quantum operational theory.

Through these studies, the author not only provides a comprehensive theoretical basis for the Wigner representation but also provides important tools and methods for further research and application.