1: \begin{abstract}
2: The idea that symmetries simplify or reduce the complexity of a system
3: has been remarkably fruitful in physics, and especially in quantum
4: mechanics. On a mathematical level, symmetry groups single out a certain
5: structure in the Hilbert space that leads to a reduction. This structure
6: is given by the irreducible representations of the group, and in general
7: it can be identified with an operator algebra (a.k.a. $C^{*}$-algebra
8: or von Neumann algebra). The primary focus of this thesis is the extension
9: of the framework of reductions from symmetries to operator algebras,
10: and its applications in finite-dimensional quantum mechanics.
11:
12: Finding the irreducible representations structure is the principal
13: problem when working with operator algebras. We will therefore review
14: the representation theory of finite-dimensional operator algebras
15: and elucidate this problem with the help of two novel concepts: minimal
16: isometries and bipartition tables. One of the main technical results
17: that we present is the Scattering Algorithm for analytical derivations
18: of the irreducible representations structure of operator algebras.
19:
20: For applications, we will introduce a symmetry-agnostic approach to
21: the reduction of dynamics where we circumvent the non-trivial task
22: of identifying symmetries, and directly reduce the dynamics generated
23: by a Hamiltonian. We will also consider quantum state reductions that
24: arise from operational constraints, such as the partial trace or the
25: twirl map, and study how operational constraints lead to decoherence.
26: Apart from our primary focus we will extend the idea of reduction
27: beyond operator algebras to operator systems, and formulate a quantum
28: notion of coarse-graining that so far only existed in classical probability
29: theory. In addition, we will characterize how the uncertainty principle
30: transitions to the classical regime under coarse-grained measurements
31: and discuss the implications in a finite-dimensional setting.
32: \end{abstract}
33: