2024/09/23 by David Herrera, Herrera, David
Computer Science · Mathematics · Physics and Astronomy · #15A60 #46L05 #46L60 #47A55 (Primary) 15A27 #47A60 #47B15 #47B37 #47B93 #81P15 #81R05 #81S07 (Secondary) #Advanced Mathematical Theories and Applications #FOS: Mathematics #FOS: Physical sciences #Functional Analysis (math.FA) #Mathematical Analysis and Transform Methods #Mathematical Physics (math-ph) #Matrix Theory and Algorithms #Operator Algebras (math.OA)
paper · pdf · doi:10.48550/arxiv.2409.14636
openalex publication_date 2024/09/23 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Resolving a conjecture of von Neumann, Ogata's theorem in arXiv:1111.5933 showed the highly nontrivial result that arbitrarily many matrices corresponding to macroscopic observables with N sites and a fixed site dimension d are asymptotically nearby commuting observables as N → ∞. We develop a method to construct nearby commuting matrices for normalized highly reducible representations of su(2) whose multiplicities of irreducible subrepresentations exhibit a certain monotonically decreasing behavior. We then provide a constructive proof of Ogata's theorem for site dimension d=2 with explicit estimates for how close the nearby observables are. Moreover, motivated by the application to time-reversal symmetry explored in arXiv:1012.3494, our construction has the property that real macroscopic observables are asymptotically nearby real commuting observables. This thesis also contains an introduction to the prerequisite matrix analysis for understanding the proof of the results gotten, a primer on the functional analysis of C^∗-algebras frequently used in the literature of almost commuting operators, a detailed discussion of the history and main results in the problem of almost commuting matrices, a review of the basics of measurement of observables in finite dimensional quantum mechanical systems, and a discussion of the uncertainty principle for non-commuting bounded operators with some results obtained for observables with nearby commuting approximants.