From Symmetry and Reduction to Physically Meaningful Relational Observables in Many-Body Quantum Theory

We consider symmetries and reduction in non-relativistic many-body quantum mechanics, with the aim of identifying physically meaningful observables in systems such as molecules and crystalline solids. To this end, we propose a unified framework based on two additional postulates supplementing the standard quantum-mechanical formalism. For stable systems, the physically relevant states are normalizable stationary states, while physically meaningful observables are required to be invariant under a selected subgroup of the symmetry group and under Galilean boosts. In addition, we postulate the existence of a map from the set of all observables allowed by quantum mechanics to the corresponding invariant physically meaningful observables. The originality of the present work does not lie in specific reductions, but in the unified framework that connects symmetry reduction and relational many-body quantum theory. We interpret entities like superselection rules and quantum reference frames as important parts of the postulated process of obtaining the physically meaningful relational description. In particular, the requirement of Galilean-boost invariance added strengthens the criterion for physical observability by excluding quantities that depend on the choice of inertial frame. An important consequence of the postulates is that in the considered cases every physically meaningful observable necessarily depends on more than one non-invariant observable, the latter being typically associated with degrees of freedom assigned to a single particle. The postulates thus lead to theories that are well aligned with the literature on reduction and the description of molecules, while at the same time being consistent with the relational interpretation of quantum mechanics, according to which the complete physical description of a system is defined only relative to other systems.