[Physics] How to know if a set of commuting observables is complete

commutatorhilbert-spacemathematical physicsoperatorsquantum mechanics

We define a complete set of commuting observables as a set of observables $\{A_1,\ldots, A_n\}$ such that:

  1. $\left[A_i, A_j\right]=0$, for every $1\leq i,~j \leq n$;

  2. If $a_1,\ldots, a_n$ are eigenvalues of $A_1,\ldots, A_n$ respectively, there exists a unique state $\psi$ such that $A_i\psi=a_i\psi$.

I was wondering if there is a theorem or standard procedure to say if a set of observables is complete. In finite dimensional spaces it seems quite easy, but how do to it in infinite dimensional spaces, in particular, when the degenerescence is also infinite?

Some practical questions:

  1. How to prove $\{H,L^2,L_z\}$ is a complete set, where $L$ is the angular momentum, $L_z$ is the $z$-direction component of $L$, and $H=\frac{1}{2m}\nabla^2-\frac{e^2}{r}$ is the hamiltonian?

  2. How to prove $\{H,L_z\}$ is a complete set in the case of the Landau levels?

Best Answer

It's complete if there is only one basis of common eigenvectors. That means, There is only one basis in which the matrices are diagonal matrices.

Let's start with only 2: operators $A$ and $B$. If $[A,B]=0$, there is at least one orthonormal basis of common eigenvectors.

If the eigenvalues of $A$ have no degenerancy, then the basis is unique (except for global phase factors), and hence the set is complete.

If $A$ has degenerate eigenvalues, then they form subspaces (the matrix has boxes along the diagonal). $B$ acts on each subspace without merging with others.

Inside every subspace, you can find a basis of $B$ which makes sub-sub-spaces (sub-boxes).

If those subspaces are more than 1-dimensional, then the system is not complete, but there's a third commuting observable $C$ that might make the matrices diagonal.

There might be more than 1 CSCO with different eigenvalues.

For a given CSCO, eigenvalues of all operators specify one only common eigenvector.


As for the practical question, you can show it in the particular case.

But one can show that any spherically-symmetric setup satisfies $[H,\vec{L}]=0$, and therefore there's $[H, L^2]=0, \ [H, L_z]=0$.

This is because any system which is invariant under rotations verifies that $H$ conmutes with rotations, and rotations are a function of $\vec{L}$, so $[H, \vec{L}]=0$. It's long to prove, but it is a very beautiful topic.

Note: invariant under rotations refers that you'll get the same result by a) Let it evolve in time and then rotate it. b) Rotate it first and then let it evolve.

Related Question