Connes distance of 2D harmonic oscillators in quantum phase space

We study the Connes distance of quantum states of two-dimensional (2D) harmonic oscillators in phase space. Using the Hilbert-Schmidt operatorial formulation, we construct a boson Fock space and a quantum Hilbert space, and obtain the Dirac operator and a spectral triple corresponding to a four-dimensional (4D) quantum phase space. Based on the ball condition, we obtain some constraint relations about the optimal elements. We construct the corresponding optimal elements and then derive the Connes distance between two arbitrary Fock states of 2D quantum harmonic oscillators. We prove that these two-dimensional distances satisfy the Pythagoras theorem. These results are significant for the study of geometric structures of noncommutative spaces, and it can also help us to study the physical properties of quantum systems in some kinds of noncommutative spaces.