Commuting Observables

In our daily lives, we assume that we can measure multiple properties of an object simultaneously and with arbitrary precision. The quantum world, however, operates under a stricter and more subtle set of rules, where the act of measuring one property can fundamentally disturb another. This raises a critical question: what physical properties of a system can be known at the same time, and what is the fundamental limit on our knowledge? The answer is elegantly provided by the quantum mechanical concept of ​​commuting observables​​.

This article delves into this crucial principle, which forms the organizational backbone for understanding quantum systems. In the "Principles and Mechanisms" chapter, we will unpack the mathematical foundation of commutators, their direct link to the Heisenberg Uncertainty Principle, and their profound role in defining conserved quantities through the Hamiltonian. Following this, the "Applications and Interdisciplinary Connections" chapter will demonstrate how this framework is practically applied to label quantum states, understand the structure of atoms, and interpret the symmetries of molecules, revealing commuting observables as the architect's toolkit for describing the universe.

In the world of our everyday experience, information seems cheap. We can, with enough care, determine the position of a moving car and its velocity at the same instant. We imagine we can know everything about a system simultaneously. But when we dive into the atomic realm, the rules of the game change profoundly. Nature, it turns out, is a bit shy. The very act of observing a property of a particle can violently disturb another. This isn't a failure of our instruments; it is a fundamental, unavoidable feature of our universe. The question then becomes not "What can we know?" but "What can we know at the same time?" The answer lies in one of the most elegant and powerful ideas in quantum mechanics: the concept of ​​commuting observables​​.

To speak about measurement in quantum mechanics, we must use the language of operators. Every physical property you can measure—position, momentum, energy, spin—is represented by a mathematical object called an operator. When an operator, let's call it $\hat{A}$, acts on a quantum state, it "pulls out" the possible values you could get from a measurement.

Now, imagine we want to measure two properties, A and B. We could measure A first, then B. The mathematical description of this sequence of actions is applying the operators in that order: $\hat{B}\hat{A}$ acting on the state. What if we measured B first, then A? That would be $\hat{A}\hat{B}$. In our classical world, the order doesn't matter. Measuring a car's speed and then checking its location gives the same information as checking its location and then its speed. If the quantum world were so simple, we would have $\hat{A}\hat{B} = \hat{B}\hat{A}$.

Physicists have a shorthand for this comparison: the ​​commutator​​, defined as $[\hat{A}, \hat{B}] = \hat{A}\hat{B} - \hat{B}\hat{A}$. If the order of measurement makes no difference, the commutator is zero. When $[\hat{A}, \hat{B}] = 0$, we say the observables A and B are ​​compatible​​. They are properties that can be simultaneously known with perfect precision.

The most famous example of incompatible observables is the position ($\hat{x}$) and momentum ($\hat{p}_x$) of a particle along the same axis. They are the archetypal non-commuting pair: their commutator is not zero, but a constant, $[\hat{x}, \hat{p}_x] = i\hbar$. The non-zero result tells us that nature fundamentally forbids us from knowing both the exact position and the exact momentum of a particle at the same time.

But what about properties that seem unrelated? Consider the position of a particle along the x-axis ($\hat{x}$) and its momentum along the y-axis ($\hat{p}_y$). Intuitively, measuring how far east or west a particle is shouldn't mess up its north-south velocity. The mathematics beautifully confirms this intuition. The operators act on different dimensions, and their commutator is zero: $[\hat{x}, \hat{p}_y] = 0$. They are compatible observables.

This idea extends even further. An electron has a position in space, but it also possesses an intrinsic, purely quantum mechanical property called spin. Think of the electron's world as having two independent aspects: its external life in space and its internal life of spin. The operator for position, $\hat{x}$, only cares about the spatial part of the electron's state, while the operator for a component of its spin, say $\hat{S}_z$, only cares about the internal spin part. Since they operate in completely separate "worlds"—different Hilbert spaces, in the technical jargon—they have no effect on each other. Naturally, they commute: $[\hat{x}, \hat{S}_z] = 0$. You can know where an electron is and what its spin is along the z-axis, simultaneously.

The commutator does more than just give a "yes" or "no" answer to compatibility. It quantifies the incompatibility. The famous Heisenberg Uncertainty Principle is just one specific case of a more general and even more beautiful relationship, the ​​Heisenberg-Robertson uncertainty relation​​:

$\Delta A \Delta B \ge \frac{1}{2} |\langle[\hat{A}, \hat{B}]\rangle|$

Here, $\Delta A$ and $\Delta B$ are the standard deviations—the "fuzziness" or uncertainty—in the measurements of A and B. This equation is remarkable. It tells us that the absolute minimum product of the uncertainties is directly set by the average value of their commutator. If the commutator is large, the trade-off is severe: a precise measurement of A (small $\Delta A$) forces a huge uncertainty in B (large $\Delta B$).

But what happens when our observables are compatible? If $[\hat{A}, \hat{B}] = 0$, the right-hand side of the uncertainty relation vanishes!

$\Delta A \Delta B \ge 0$

This is the mathematical seal of approval. It tells us there is no fundamental lower limit to the product of their uncertainties. It means we can, in principle, find or prepare states of a system for which both $\Delta A$ and $\Delta B$ are zero. These special states are called ​​simultaneous eigenstates​​, states where both observables have definite, sharp values. For the case of position $\hat{x}$ and spin $\hat{S}_z$, their commuting nature means their uncertainty relation is simply $\Delta x \Delta S_z \ge 0$, confirming that no intrinsic barrier prevents their simultaneous measurement.

Of all the operators in quantum mechanics, the most important is the ​​Hamiltonian​​, $\hat{H}$. It represents the total energy of a system, and more profoundly, it is the conductor of the quantum orchestra, dictating how the state of the system evolves in time.

So, a particularly interesting question arises: what does it mean for an observable $\hat{A}$ to be compatible with the energy? What does it mean if $[\hat{A}, \hat{H}] = 0$?

It means that the observable $\hat{A}$ is a ​​constant of motion​​. If you measure the quantity A and find a certain value, that value will remain the same for all future times, as long as the system is left undisturbed. This is the quantum mechanical equivalent of a conservation law. And the consequences are profound. If an observable $\hat{A}$ commutes with $\hat{H}$, the probability of measuring any particular value for A will not change over time, regardless of the system's state.

Let's look at a concrete example: a spinning particle in a magnetic field $\vec{B}$. The energy of the system is described by the Hamiltonian $H = -\gamma \vec{S} \cdot \vec{B}$. If the magnetic field points, say, along some direction in the x-y plane, the rotational symmetry of the system around the z-axis is broken. As a result, the spin component along z, $S_z$, will no longer commute with $H$. $S_z$ is not conserved; its value will wobble in time. However, the total spin squared, $S^2$, represents the intrinsic magnitude of the particle's spin, which doesn't change. It will always commute with $H$. Likewise, the component of spin along the direction of the magnetic field itself, $S_{\vec{B}}$, is also conserved. These commuting observables, $S^2$ and $S_{\vec{B}}$, correspond to stable, conserved properties of the system.

This brings us to a beautiful connection: ​​symmetries of a system give rise to conserved quantities​​, which in turn are represented by operators that commute with the Hamiltonian.

There is another side to this coin. If a system is in an eigenstate of the Hamiltonian—a state with a definite energy, called a ​​stationary state​​—then something magical happens. The state itself doesn't really "change." It just accumulates a phase factor over time, like a clock ticking. Since all physical measurements are insensitive to this overall phase, the probability distribution for any observable you might measure will be constant in time. This is why they are called "stationary".

When we study chemistry, we learn that electrons in atoms are described by a set of quantum numbers, such as $(n, \ell, m_l, m_s)$. Have you ever wondered what these numbers really are, from a fundamental perspective? They are not just arbitrary labels. They are the physical addresses of the quantum states, and the address is written in the language of commuting observables.

A ​​quantum number​​ is nothing more than the eigenvalue (a possible measurement outcome) of an observable whose operator commutes with the Hamiltonian. The collection of quantum numbers that we use to describe an atomic electron, like $(n, \ell, m_l, m_s)$, corresponds to the eigenvalues of a very special set of operators: $\{\hat{H}, \hat{L}^2, \hat{L}_z, \hat{S}_z\}$. In a simple model of an atom where we ignore certain subtle effects, all of these operators commute with each other. They form a ​​Complete Set of Commuting Observables (CSCO)​​.

"Complete" is the key word here. It means that if you specify the value of each of these quantum numbers, you have uniquely pinpointed a single quantum state. There is no ambiguity left.

The beauty of this framework is its adaptability. Physics is about refining our models. Suppose we add a more subtle effect to our atom, like ​​spin-orbit coupling​​, which is an interaction between the electron's spin and its orbital motion. The Hamiltonian changes. We find that our new Hamiltonian no longer commutes with $\hat{L}_z$ and $\hat{S}_z$ separately. They are no longer conserved quantities! This means $m_l$ and $m_s$ are no longer "good" quantum numbers for labeling the true energy states.

But the principle doesn't fail us. We just have to find a new set of operators that commute with the new Hamiltonian. In this case, we find that the total angular momentum, $\hat{\mathbf{J}} = \hat{\mathbf{L}} + \hat{\mathbf{S}}$, saves the day. The new CSCO becomes $\{\hat{H}, \hat{L}^2, \hat{S}^2, \hat{J}^2, \hat{J}_z\}$. The corresponding "good" quantum numbers are now $(E, \ell, s, j, m_j)$. The states have new addresses, but the postal system, based on commuting observables, remains the same.

Why do we need a set of quantum numbers? Why isn't the energy, the principal quantum number $n$, enough? The answer is ​​degeneracy​​. It often happens in quantum mechanics that several completely different states share the exact same energy. The energy level is said to be degenerate. For example, in a hydrogen atom, the $2p_x$, $2p_y$, and $2p_z$ orbitals all have the same energy. If I just tell you "the electron has energy $E_2$," you don't know which of these states it is in.

This is where the other commuting observables in our CSCO come to the rescue. They act as tie-breakers. Imagine you have a collection of states that are all degenerate with respect to energy. Because another operator, say $\hat{L}_z$, commutes with the Hamiltonian, it is guaranteed to act in a well-behaved way within this degenerate family of states. We can then re-organize this family of states into subgroups that are eigenstates of $\hat{L}_z$.

The procedure is a beautiful piece of quantum engineering. You first find the eigenstates of the Hamiltonian. If an energy eigenvalue is degenerate, you isolate that multi-dimensional eigenspace. Then, you take the next operator in your set, $\hat{A}$, and you effectively diagonalize it within that subspace. This process splits the degenerate family into smaller, distinct subgroups, each labeled by a unique eigenvalue of $\hat{A}$. You continue this process with all the operators in your CSCO until every single state has a unique list of eigenvalues—a unique address. A CSCO is a set of compatible tools that allows us to lift the veil of degeneracy and see the distinct individual states hiding beneath.

There is one last, subtle point that reveals the true elegance of this idea. It's tempting to think that if two observables commute, one must simply be a function of the other. For instance, the kinetic energy operator $\hat{T} = \hat{p}^2/(2m)$ is a function of the momentum operator $\hat{p}$, and they certainly commute. But this is not the general case.

Compatibility is a more general and profound relationship than mere functional dependence. Consider a simple rotating molecule. Its energy, given by the Hamiltonian $H$, depends on the square of its total angular momentum, $J^2$. The two operators commute trivially. Now, the z-component of angular momentum, $J_z$, also commutes with both $H$ and $J^2$. So, energy and the z-component of angular momentum are compatible observables.

However, $J_z$ is not a function of the energy $H$. We know this because for a given energy level (a fixed eigenvalue of $H$), there are multiple possible values for the z-component of angular momentum (the quantum number $M_J$). If $J_z$ were a simple function of $H$, then every state with the same energy would have to have the same value of $M_J$, which is demonstrably false.

Commuting observables are not necessarily redundant. They represent independent, co-existing facts about the world. They are the different, compatible dimensions of reality that quantum mechanics allows us to perceive simultaneously. This principle of compatibility is not just a mathematical curiosity; it is the very framework that allows us to organize the quantum world, to label its states, to understand its symmetries, and to ultimately give a unique and stable identity to every particle and every system within it.

We have spent some time with the gears and levers of quantum mechanics, learning the formal rule that if two observables commute, they can be known simultaneously. This might seem like a rather abstract piece of mathematical machinery. But now we ask the most important question: So what? Where does this rule touch the real world? The answer, it turns out, is everywhere. The concept of commuting observables is not merely a footnote; it is the master key that unlocks our understanding of the structure of matter, the nature of symmetry, and the very language we use to describe the universe. It is the organizing principle behind the dizzying complexity of the quantum world.

Imagine trying to describe every person in a large city using only their height. It would be a hopeless task! Many people would share the same height, and you would have no way to distinguish them. You need more information—their age, their street address, perhaps a unique identification number. The quantum world is much the same. An energy measurement alone is often not enough to uniquely identify a quantum state, a phenomenon we call degeneracy. To resolve this, we need a ​​Complete Set of Commuting Observables (CSCO)​​. This is nature's identification card.

The hydrogen atom is the perfect place to see this in action. The energy of an electron in a hydrogen atom depends only on a single quantum number, $n$. But for any $n$ greater than 1, there are multiple, distinct states that share the exact same energy. How do we tell them apart? We must find other questions we can ask about the electron for which nature will give us a definite answer at the same time as we know its energy. These "questions" correspond to other operators that commute with the Hamiltonian. For the hydrogen atom, these operators are the square of the orbital angular momentum, $\hat{L}^2$, and one of its components, which we conventionally choose to be $\hat{L}_z$.

The set $\{\hat{H}, \hat{L}^2, \hat{L}_z\}$ forms a CSCO. They all commute with each other. This means we can find states that are simultaneous eigenstates of all three. The eigenvalues of this set—the energy $E_n$, the squared angular momentum $\hbar^2 \ell(\ell+1)$, and the z-component of angular momentum $\hbar m_\ell$—give us the unique label $(n, \ell, m_\ell)$ for each stationary state. This isn't just a naming convention; it's a reflection of the fundamental symmetries of the system.

But why $\hat{L}_z$? Why not $\hat{L}_x$ and $\hat{L}_y$ as well? Because while $\hat{L}^2$ commutes with all its components, the components do not commute with each other. For instance, $[\hat{L}_x, \hat{L}_y] = i\hbar \hat{L}_z$. This profound little fact means we can't know the x-component and the y-component of angular momentum at the same time. The moment we decide to measure the angular momentum along one axis—our "z-axis"—we establish a reference. All other directions become fuzzy. This choice of a "quantization axis" is arbitrary; space is isotropic, after all. Physically, it could be defined by an external magnetic field in an experiment. But once chosen, it defines the basis for our description. The set of common eigenstates $|\ell, m\rangle$ diagonalizes $\hat{L}^2$ and $\hat{L}_z$, providing a stable framework, but these same states are scrambled by $\hat{L}_x$ and $\hat{L}_y$, which connect states with different $m$ values.

There is a deep and beautiful connection between what commutes and what stays the same. If an observable's operator commutes with the Hamiltonian, that observable is a ​​conserved quantity​​. The property doesn't change as the system evolves in time. This is Noether's theorem whispered in the language of quantum mechanics.

Consider one of the simplest possible quantum systems: a particle trapped in a one-dimensional box. If we place the origin at the center, the box has reflection symmetry. The potential energy looks the same whether we look at coordinate $x$ or $-x$. The Hamiltonian, which contains this potential, must therefore be symmetric. This means it commutes with the parity operator, $\hat{\Pi}$, which performs the reflection. And because $[\hat{H}, \hat{\Pi}] = 0$, the energy and parity are compatible observables. The consequence is stunning: every single energy eigenstate of the symmetric box must have a definite parity. It must be either perfectly even or perfectly odd. The symmetry of the container is indelibly stamped onto the character of the states within it.

This principle extends far beyond simple boxes. In chemistry, the shapes of molecules are described by symmetry groups. A water molecule has reflection planes; a benzene molecule has rotational symmetries. For every symmetry operation in the molecule's point group, there is a corresponding operator that commutes with the molecular Hamiltonian. Using the mathematics of group theory, we can construct special operators called projection operators. A projection operator like $\hat{P}^{(i)}$ isolates the part of a wavefunction that transforms according to a specific symmetry type (an irreducible representation). A fundamental theorem of group theory shows that these projection operators commute with all symmetry operators of the group. This allows chemists to classify molecular orbitals (like $\sigma$, $\pi$, $a_1$, $b_2$) and vibrational modes based on their symmetry properties, which in turn determines which spectroscopic transitions are allowed or forbidden. The rules of commutation dictate the very colors of the substances we see.

Of course, the real world is rarely so pristine. What happens when a symmetry is only approximate? Here, too, the framework of commutation provides clarity, giving us the crucial distinction between "good" and "approximate" quantum numbers.

A quantum number is "good" if its operator commutes perfectly with the full Hamiltonian. It represents a truly conserved quantity. But often, our Hamiltonian can be split into a large, simple part and a small, complicating part: $\hat{H} = \hat{H}_0 + \hat{V}_{\text{pert}}$. An operator $\hat{Q}$ might commute with $\hat{H}_0$ but not with the full $\hat{H}$. In this case, $[\hat{H}, \hat{Q}] \neq 0$, so $Q$ is not strictly conserved. However, if the perturbation is small, the commutator is also small. The quantum number associated with $\hat{Q}$ is then "approximate"—it's not perfectly stable, but it's still a useful label because the state changes only slowly.

Atomic physics provides a magnificent example in the form of ​​spin-orbit coupling​​. For a many-electron atom, if we ignore the tiny magnetic interaction between an electron's spin and its own orbital motion, the Hamiltonian commutes with the total orbital angular momentum $\hat{\mathbf{L}}$ and the total spin $\hat{\mathbf{S}}$ separately. In this idealized world, the quantum numbers $L, S, M_L, M_S$ are all "good," and the CSCO is $\{\hat{H}_0, \hat{L}^2, \hat{S}^2, \hat{L}_z, \hat{S}_z\}$. But the spin-orbit interaction, proportional to $\hat{\mathbf{L}} \cdot \hat{\mathbf{S}}$, is real. When we include it in the Hamiltonian, we find that $\hat{L}_z$ and $\hat{S}_z$ no longer commute with the full $\hat{H}$! They are no longer conserved quantities; orbital and spin angular momentum are being exchanged. All is not lost, however. The total angular momentum, $\hat{\mathbf{J}} = \hat{\mathbf{L}} + \hat{\mathbf{S}}$, still commutes with the full Hamiltonian. Nature has forced us to trade two approximate quantum numbers ($M_L, M_S$) for one good one ($M_J$). Our CSCO becomes $\{\hat{H}, \hat{L}^2, \hat{S}^2, \hat{J}^2, \hat{J}_z\}$. This change in the set of commuting observables is not just an academic re-labeling; it is the physical reason for the fine structure splitting observed in atomic spectra.

The power of commuting observables stretches across all of quantum physics.

In systems with multiple identical particles, like the electrons in an atom or a metal, we must consider the symmetry of exchanging them. The exchange operator, $\hat{P}_{12}$, is a fundamental symmetry operator. For two electrons, this operator happens to commute with the total spin operator, $\hat{S}_z = \hat{S}_{z1} + \hat{S}_{z2}$. This compatibility allows us to construct states that have both a definite exchange symmetry (symmetric or antisymmetric) and a definite total spin. This is the origin of the famous singlet (antisymmetric spin) and triplet (symmetric spin) states, which have profoundly different energies and behaviors, forming the basis of chemical bonding and magnetism.

Even the most basic operators, kinetic energy $\hat{T}$ and potential energy $\hat{V}$, have a story to tell through their commutator. Do they commute? Let's check. For them to commute, the potential energy $V(x)$ must be a constant. If the potential varies with position, then $[\hat{T}, \hat{V}] \neq 0$. This means we can never know the kinetic and potential energies of a particle simultaneously if it's in a non-trivial potential. This makes perfect sense: kinetic energy is about motion, and motion changes the particle's position, which in a varying potential, necessarily changes its potential energy. The two are inextricably linked.

From the labeling of atomic states to the classification of molecular orbitals and the fine-tuning of spectroscopic models, the principle of commutation is the unifying thread. It provides a practical recipe: to understand a system, first find the family of commuting observables. This tells you which properties of the system can be simultaneously sharp and stable. Finding the common eigenbasis of this family gives you the natural "language" for describing the system's states. Once you have that basis, calculating physical predictions like energy levels becomes a well-defined, if sometimes complex, problem of linear algebra. The deep physical insight lies not in the final calculation, but in the initial, crucial step of identifying the symmetries that nature has chosen to respect.