[Paper Review] Pythagoras Theorem in Noncommutative Geometry

Francesco D’Andrea|arXiv (Cornell University)|Jul 31, 2015

Advanced Operator Algebra Research32 references3 citations

TL;DR

This paper investigates the noncommutative generalization of the Pythagorean Theorem in spectral geometry, establishing that Pythagorean inequalities hold for spectral triples under product structures. It identifies conditions under which equality is achieved, particularly for pure states in products of finite metric spaces and Riemannian manifolds with finite spaces, using an algebraic approach that avoids geodesic computations.

ABSTRACT

After a review of the results in arXiv:1203.3184 [math-ph] about Pythagorean inequalities for products of spectral triples, I will present some new results and discuss classes of spectral triples and states for which equality holds.

Motivation & Objective

• To extend the classical Pythagorean Theorem to noncommutative geometry using spectral triples.
• To determine under what conditions equality holds in the Pythagorean inequalities for states in product spectral triples.
• To generalize previous results on pure states in products of Riemannian manifolds and Moyal planes to arbitrary finite metric spaces.
• To provide an algebraic proof of Pythagoras equality for pure states in finite metric space products, independent of geodesic structure.
• To explore the connection between spectral distance and quantum information distances, particularly purified distance.

Proposed method

• Uses spectral triples to define a distance on the state space of a C*-algebra, generalizing Riemannian metric structure.
• Applies the product metric structure to C*-algebras of the form $ A = A_1 \otimes A_2 $, defining distances between product states.
• Proves the Pythagorean inequalities $ \sqrt{b^2 + c^2} \leq a \leq \sqrt{2}\sqrt{b^2 + c^2} $ for spectral triples, with the left inequality valid for unital triples.
• Introduces a novel algebraic proof of equality in the Pythagorean relation for pure states in the product of two finite metric spaces, bypassing geodesic analysis.
• Uses marginal states and purified distance to generalize results to arbitrary product states, including the case of two two-point spaces.
• Relies on the structure of eigenbases and purifications in finite-dimensional Hilbert spaces to characterize distances between quantum states.

Experimental results

Research questions

• RQ1 Under what conditions does the Pythagorean equality hold in noncommutative geometry for spectral triples?
• RQ2 Can the equality be achieved for pure states in the product of arbitrary unital spectral triples, not just Riemannian manifolds or two-point spaces?
• RQ3 Is there a general algebraic criterion for Pythagoras equality that does not depend on geodesic flow or Riemannian structure?
• RQ4 Does the equality hold for arbitrary product states, not just pure states, in noncommutative products?
• RQ5 How do spectral distances relate to quantum information distances like the purified distance in finite-dimensional systems?

Key findings

• Pythagoras equality holds for pure states in the product of two finite metric spaces, proven via an algebraic method that avoids geodesic computation.
• The equality is achieved for pure states in the product of a Riemannian manifold and a finite metric space, completing the commutative picture.
• The equality holds for arbitrary product states in the product of two two-point spaces, a case where it is not restricted to pure states.
• The left inequality $ \sqrt{b^2 + c^2} \leq a $ in the Pythagorean framework holds for unital spectral triples and all states, including marginals.
• The right inequality $ a \leq \sqrt{2}\sqrt{b^2 + c^2} $ is optimal and holds for arbitrary spectral triples.
• The spectral distance between pure states in the two-point space case coincides with the Euclidean distance, and the result extends to Moyal plane with translation-invariant states.