Abstract:Resolving a conjecture of von Neumann, Ogata's theorem in <a class="link-https" data-arxiv-id="1111.5933" href="https://arxiv.org/abs/1111.5933">arXiv:1111.5933</a> 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 \to \infty$. 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 <a class="link-https" data-arxiv-id="1012.3494" href="https://arxiv.org/abs/1012.3494">arXiv:1012.3494</a>, 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^\ast$-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.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to solve the problems of almost commuting matrices, especially in relation to non - commuting operators in quantum mechanics, and proves an extended version of Ogata's theorem. Specifically, the paper addresses the following issues:
1. **History and background of almost commuting matrices**:
- The paper reviews the mathematical history of the almost commuting matrices problem and the importance of this problem in quantum mechanics. Almost commuting matrices mean that the product of two matrices \(A\) and \(B\) is close to their commuting form, that is, \(AB\approx BA\).
2. **Extension of Ogata's theorem**:
- Ogata's theorem shows that for a macroscopic system composed of many identical small systems, its observables can be approximated as commuting observables. Specifically, if \(A_1, A_2,\ldots, A_m\) are self - adjoint matrices in a \(d\)-dimensional space, then there exist some commuting observables \(Y_{i,N}\) such that \(\|H_{i,N}-Y_{i,N}\|\to0\) as \(N\to\infty\), where \(H_{i,N} = T_N(A_i)\) is the macroscopic observable.
3. **Specific construction methods**:
- The paper provides a specific construction method for generating these nearby commuting matrices. In particular, for the case of \(d = 2\), the paper gives explicit constants and an asymptotic decay rate of \(N^{- 1/7}\). The specific results are as follows:
\[
\|T_N(\sigma_1)-Y_{1,N}\|,\|T_N(\sigma_2)-Y_{2,N}\|\leq6.29N^{-1/7},
\]
\[
\|T_N(\sigma_3)-Y_{3,N}\|\leq1.09N^{-3/7},
\]
where \(\sigma_i\) are the standard Pauli spin matrices.
4. **Applications and significance**:
- These results not only provide theoretical proofs but also give practical construction methods, which are of great significance for understanding and dealing with the quantum behavior of macroscopic systems. In addition, these results may also find applications in fields such as topological insulators.
### Summary
Through detailed mathematical analysis and specific construction methods, the paper solves the problem of almost commuting matrices and extends Ogata's theorem, providing a more accurate approximation method for quantum observables in macroscopic systems. These results are not only of great theoretical significance but may also play a role in practical applications.