Pythagoras's theorem on a two-dimensional lattice from a `natural' Dirac operator and Connes's distance formula

One of the key ingredients of Connes's noncommutative geometry is a generalized Dirac operator which induces a metric (Connes's distance) on the pure state space. We generalize such a Dirac operator devised by Dimakis et al, whose Connes distance recovers the linear distance on an one-dimensional lattice, to the two-dimensional case. This Dirac operator has the local eigenvalue property and induces a Euclidean distance on this two-dimensional lattice, which is referred to as `natural'. This kind of Dirac operator can be easily generalized into any higher-dimensional lattices.