Relating moments of self-adjoint polynomials in two orthogonal projections

TL;DR

This paper establishes algebraic relations between moments of certain self-adjoint polynomials in two orthogonal projections within a non-commutative probability space, extending known formulas without assuming freeness.

Contribution

It provides new algebraic and enumerative relations for moments of sums, commutators, and specific polynomials of two orthogonal projections, generalizing previous free probability results.

Findings

Derived relations between moments of P+Q, [PQ - QP], and P+QPQ.

Established recurrence relations for moments of P+QPQ in terms of PQP.

Connected results to Kato's dual pair, yielding new moment identities.

Abstract

Given two orthogonal projections $\{P,Q\}$ in a non commutative tracial probability space, we prove relations between the moments of $P+Q$, of $\sqrt{-1}(PQ-QP)$ and of $P+QPQ$ and those of the angle operator $PQP$. Our proofs are purely algebraic and enumerative and does not assume $P,Q$ satisfying Voiculescu's freeness property or being in general position. As far as the sum and the commutator are concerned, the obtained relations follow from binomial-type formulas satisfied by the orthogonal symmetries associated to $P$ and $Q$ together with the trace property. In this respect, they extend those corresponding to the cases where one of the two projections is rotated by a free Haar unitary operator or more generally by a free unitary Brownian motion. As to the operator $P+QPQ$, we derive autonomous recurrence relations for the coefficients (double sequence) of the expansion of its moments as linear combinations of those of $PQP$ and determine explicitly few of them. These relations are obtained after a careful analysis of the structure of words in the alphabet $\{P, QPQ\}$. We close the paper by exploring the connection of our previous results to the so-called Kato's dual pair. Doing so leads to new identities satisfied by their moments.