# Maximal set of commuting observables

by McLaren Rulez
Tags: commuting, maximal, observables
 P: 261 Hi, I am having a little trouble with the concept of finding out the maximal set of commuting observables. Suppose I have n commuting operators. Then the wavefunction I use must have n parameters also. For instance, $L_{3}, L^{2}$ and $H$ where H is the Hamiltonian and L is the angular momentum operator all commute. So the common eigenstates have three variables inside i.e $|n l m>$. What I can't figure out is how to ensure that these operators are "distinct" from each other. For example, if I take a one of the above operators and multiply it by a scalar I will get a different operator, say something like $2H$. Now I have four commuting operators instead of three. Obviously, this is not going to give me another independent variable inside the wavefunction. This was a trivial example but in general, how should one ensure that the commuting operators that one has are all distinct? My best guess so far is to check that the matrix representations form a linearly independent set but is there a) a weaker condition and b) a way to do this without resorting to matrix representation? Thank you.
 Sci Advisor P: 1,395 The answer is that, in order completely specify an eigenstate, you must specify its eigenvalues (quantum numbers will typically suffice) with respect to all commuting observables of which it is an eigenfunction. Thus, if you find degenerate eigenstates, it suggests (perhaps guarantees) that you do not have a complete specification of your quantum state yet. In the example of the one-electron atomic states you mentioned, if you specify only the energy (eigenvalue of H, quantum number $n$), then you have an n^2-fold degeneracy to deal with. Specifying the angular momentum (eigenvalue of L2, quantum number $l$), improves that, but now each state for which you know $n$ and $l$ still has a degeneracy of $2l+1$, which you rectify by specifying the z-projection of angular momentum (eigenvalue of Lz, quantum number $m_l$). Now you have a unique designation completely specifying a particular atomic orbital. All of these wavefunctions are orthogonal and uniquely specified by their set of quantum numbers. As you point out, you can create arbitrary operators such as 2H for which they are also eigenfunctions, but doing so gives you no further information about the quantum states.
 P: 261 SpectraCat, my problem is like this: Let's say I have three commuting operators. Now, when I specify the common eigenstate, I should put in three quantum numbers. But how can I be sure that my three operators are all distinct and not trivial variations of one another like H and 2H are?
P: 679

## Maximal set of commuting observables

It's probably easier to check the eigenvalues over the simultaneous eigenvectors, let's say if $L_3$ is a linear combination of $L^2$ and $H$, then their eigenvalues must satisfy the same linear combination, that means if you can find a definite linear relation among those eigenvalues, then you only have 2 effective commuting observables;if you can't, then you have 3.
P: 1,395
 Quote by McLaren Rulez SpectraCat, my problem is like this: Let's say I have three commuting operators. Now, when I specify the common eigenstate, I should put in three quantum numbers. But how can I be sure that my three operators are all distinct and not trivial variations of one another like H and 2H are?
Well, to me that problem seems contrived. If you know what the operators are well-enough to know that they commute, then you should be able to figure out if they have trivial relationships to each other. Operators correspond to physical observables (at least the ones we typically care about do), so just saying the name of the physical observable corresponding to the operator should tell you what you want to know. Mathematically, the answer that kof9595995 gave seems reasonable to me. Additionally, if you know the mathematical form of the eigenfunctions, and there is an unresolved degeneracy, then it may mean that there is an additional commuting observable that has not yet been specified.

I guess my point is that I don't think this issue comes up in practice ... can you give an example of what you are talking about? I mean one that doesn't rely on contrived operators like 2H, but rather on operators corresponding to physical observables that have a linear dependency that is not immediately obvious.
 P: 261 I agree, it hasn't come up in practice yet but I'm only a couple of semesters into QM so I thought perhaps there might be situations where it would be necessary to verify that the operators were all independent. Just one more thing: Suppose we had a set of commuting operators where one of the elements was not a linear combination but had some other relationship with the other elements in the set. For instance let's pretend $L_{1}$, $L_{2}$, $L_{3}$ and $L^{2}$ did commute. Now $L^{2}=L_{1}^{2}+L_{2}^{2}+L_{3}^{2}$. How many quantum numbers should the common eigenstate have? So my question is, in general, when do we know that every one of the commuting operators gives us a new quantum number? Not just for this example but more generally. Sorry if this sounds very contrived. I admit I've never (yet) faced a problem but I just want to know exactly how to deal with it if I ever need to. Thank you
 Quote by McLaren Rulez I agree, it hasn't come up in practice yet but I'm only a couple of semesters into QM so I thought perhaps there might be situations where it would be necessary to verify that the operators were all independent. Just one more thing: Suppose we had a set of commuting operators where one of the elements was not a linear combination but had some other relationship with the other elements in the set. For instance let's pretend $L_{1}$, $L_{2}$, $L_{3}$ and $L^{2}$ did commute. Now $L^{2}=L_{1}^{2}+L_{2}^{2}+L_{3}^{2}$. How many quantum numbers should the common eigenstate have? So my question is, in general, when do we know that every one of the commuting operators gives us a new quantum number? Not just for this example but more generally. Sorry if this sounds very contrived. I admit I've never (yet) faced a problem but I just want to know exactly how to deal with it if I ever need to. Thank you
 P: 668 You can consider the case of a free particle. The Hamiltonian reads $H \propto P_1^2 + P_2^2 + P_3^2$, so you have 4 commuting observables. Of the four quantum numbers $E, p_1, p_2, p_3$ you can chose three to characterize your state. There is no difference between linear and non-linear combinations of observables, since the relation $f(A_1, A_2, ...) |eigenstate \rangle = f(a_1, a_2,...) |eigenstate \rangle$ (with eigenvalues $a_i$) always holds.