Simultaneous Eigenstate

In the counter-intuitive realm of quantum mechanics, a particle's properties like position and momentum are not always well-defined. While we can measure a single property to find a definite value, collapsing the particle into a state of certainty called an eigenstate, a fundamental question arises: can a particle exist in a state of certainty for multiple properties at once? This query probes the limits of what is simultaneously knowable and introduces the concept of the simultaneous eigenstate. The ability—or inability—to possess definite values for two observables at the same time is not a limitation of our instruments, but a deep, structural rule of the universe itself.

This article explores this foundational principle and its far-reaching consequences. Across the following chapters, you will gain a comprehensive understanding of the rules that govern quantum certainty. The first chapter, "Principles and Mechanisms," will delve into the mathematical heart of this question, introducing the commutator as the definitive test for whether two observables are compatible. The second chapter, "Applications and Interdisciplinary Connections," will then explore how this fundamental principle is used to label and understand the states of atoms, explain the behavior of electrons in crystals, and even engineer the robust and complex states required for the future of quantum computing.

Imagine you are a detective investigating the subatomic world. Your suspects are particles, and your clues are their properties: position, momentum, energy, spin. Your goal is to know everything about your suspect at a single moment in time—a complete profile. But quantum mechanics, the rulebook for this world, is peculiar. It tells us that some pieces of information are mutually exclusive. You can know a particle’s exact position, or you can know its exact momentum, but you can’t know both. Why is this? What is the deep principle that governs what we can and cannot know simultaneously? This question brings us to the very heart of quantum theory, to the beautiful interplay of operators, commutators, and the concept of a ​​simultaneous eigenstate​​.

In our everyday world, a property has a definite value. A car is going at 60 miles per hour. A ball is at a specific location. In the quantum world, things are a bit fuzzier. A particle's state, described by a wavefunction or state vector $|\psi\rangle$, is generally a mixture of possibilities. When you measure a property, say its energy, the result you get is one of several possible values, and the state of the particle "collapses" into one corresponding to that value.

However, there are special states—very special states. For any given observable, like energy, there exist states where the property already has a definite value before you even measure it. If a particle is in one of these states, every time you measure the observable, you will get the exact same answer, with zero uncertainty. We call such a state an ​​eigenstate​​ of the observable's operator, and the definite value we measure is called the ​​eigenvalue​​. So, an eigenstate of energy is a state of definite energy. An eigenstate of momentum is a state of definite momentum. They are states of absolute certainty for a particular observable.

This naturally leads to our central question: can a particle be in a a state of certainty for two different observables at the same time? Can a state be a simultaneous eigenstate of, say, both energy and momentum?

Let’s play a little game with the mathematics. Suppose we have a state, let's call it $|\psi\rangle$, that is indeed an eigenstate of two different operators, $\hat{A}$ and $\hat{B}$. This means:

$\hat{A}|\psi\rangle = a|\psi\rangle$ $\hat{B}|\psi\rangle = b|\psi\rangle$

where $a$ and $b$ are the definite numerical values (the eigenvalues) we would get upon measurement. Now, let’s see what happens when we apply the combination $\hat{A}\hat{B}$ to our state. It’s a two-step process: first $\hat{B}$, then $\hat{A}$.

$\hat{A}\hat{B}|\psi\rangle = \hat{A}(b|\psi\rangle) = b(\hat{A}|\psi\rangle) = b(a|\psi\rangle) = ab|\psi\rangle$

Simple enough. Now what about the reverse order, $\hat{B}\hat{A}$?

$\hat{B}\hat{A}|\psi\rangle = \hat{B}(a|\psi\rangle) = a(\hat{B}|\psi\rangle) = a(b|\psi\rangle) = ab|\psi\rangle$

Look at that! For this special state, the order of operations doesn't matter. $\hat{A}\hat{B}|\psi\rangle$ is the same as $\hat{B}\hat{A}|\psi\rangle$. This means their difference must be zero. Physicists have a special name for this difference: the ​​commutator​​, denoted with brackets:

$[\hat{A}, \hat{B}] = \hat{A}\hat{B} - \hat{B}\hat{A}$

For our simultaneous eigenstate $|\psi\rangle$, we have just shown a crucial fact:

$[\hat{A}, \hat{B}]|\psi\rangle = (\hat{A}\hat{B} - \hat{B}\hat{A})|\psi\rangle = ab|\psi\rangle - ba|\psi\rangle = 0$

This is our litmus test. If a state has definite values for two observables, the commutator of their operators acting on that state must give zero.

The result above is profound. It suggests a deep connection between the order of operations and the possibility of shared certainty. Now let’s elevate this idea. What if we want to be able to describe any state of our system using a basis of states that have definite values for both $\hat{A}$ and $\hat{B}$? This requires not just one simultaneous eigenstate, but a complete set of them that spans the entire space of possibilities.

This grander condition is met if and only if the commutator is zero not just for one state, but for all states. In other words, the commutator itself must be the zero operator:

$[\hat{A}, \hat{B}] = 0$

When this is true, we say the operators ​​commute​​. This simple algebraic statement is one of the most powerful principles in quantum mechanics. It is the condition for the existence of a shared reality between two observables. If two operators commute, there exists a complete set of basis states that are simultaneous eigenstates of both. Such observables are called ​​compatible observables​​. You can measure one, then the other, and the outcome of the second measurement is not disturbed by the first. The joint probability of getting outcomes $a$ and $b$ is independent of the order in which you measure them.

If $\hat{A}$ and $\hat{B}$ commute, it means we can label our quantum states with two quantum numbers simultaneously, one for each observable. A measurement of $\hat{A}$ helps define the state, and a measurement of $\hat{B}$ can further refine our knowledge without destroying the information we gained from $\hat{A}$. This is the very foundation for how we classify states in atoms, molecules, and solids.

So, if we are handed two commuting operators, how do we actually construct this basis of shared certainty? The procedure is a beautiful example of using one tool to solve a problem, and then, where that tool is too blunt, using the other to make a finer cut.

1. ​​First Pass: Diagonalize One Operator.​​ We start by finding all the eigenstates of one operator, say $\hat{A}$. This process divides our entire space of states (the Hilbert space) into a set of separate, orthogonal "bins," known as ​​eigenspaces​​. Each bin contains all the states that share the same eigenvalue of $\hat{A}$.

2. ​​The Easy Case: No Degeneracy.​​ For any bin that contains only a single type of state (a one-dimensional eigenspace), the job is already done! Because the operators commute, $\hat{B}$ must respect this bin. Acting with $\hat{B}$ on the state in this bin must produce another state in the same bin. Since there's only one kind of state there, the new state must be just a multiple of the original. This means that state is automatically an eigenstate of $\hat{B}$ as well.

3. ​​The Interesting Case: Degeneracy.​​ Now we come to a bin corresponding to a ​​degenerate eigenvalue​​ of $\hat{A}$—a bin with room for multiple, different states that all share the same value of $a$. Here, our label "$a$" is ambiguous. If you have two states $|\psi_1\rangle$ and $|\psi_2\rangle$ in this bin, any combination like $c_1|\psi_1\rangle + c_2|\psi_2\rangle$ is also in the bin. The operator $\hat{A}$ can't tell them apart. But $\hat{B}$ can! Because they commute, $\hat{B}$ also respects this degenerate subspace. It acts like a key that only works inside this specific room. While an arbitrary state in this bin is not necessarily an eigenstate of $\hat{B}$, we can now perform a search just within this subspace to find a new set of basis states that are eigenstates of $\hat{B}$. Since these new states were constructed entirely from states within the bin for eigenvalue $a$, they remain eigenstates of $\hat{A}$.

We have used $\hat{B}$ to break the degeneracy of $\hat{A}$ and provide a second, finer label. This is precisely why the states of a hydrogen atom are labeled with quantum numbers ($n$, $l$, $m_l$). The energy depends (mostly) on $n$. But for a given $n$, there are states with different total angular momentum $l$ and different z-components of angular momentum $m_l$. This is possible because the operators for energy, total angular momentum squared ($\hat{L}^2$), and one component of angular momentum (say, $\hat{L}_z$) all commute with each other. They form a ​​Complete Set of Commuting Observables​​ (CSCO).

What happens when operators do not commute? This is where quantum mechanics reveals its most famous and counter-intuitive features. If $[\hat{A}, \hat{B}] \neq 0$, then there is no complete basis of simultaneous eigenstates. The observables are ​​incompatible​​. A state of perfect certainty for one observable is necessarily a state of uncertainty for the other. This isn't a flaw in our instruments; it's a fundamental property of reality.

The degree of incompatibility is quantified by the famous ​​Heisenberg Uncertainty Principle​​, which in its general form, derived by Robertson, states:

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

where $(\Delta A)$ is the uncertainty in observable $A$. If the commutator is non-zero, the product of the uncertainties has a non-zero lower bound. You can make one uncertainty smaller, but only at the cost of making the other one larger.

The Canonical Clash: Position and Momentum

The most famous pair of incompatible observables is position ($\hat{x}$) and momentum ($\hat{p}$). Their commutator is not zero, but a fundamental constant of nature:

$[\hat{x}, \hat{p}] = i\hbar$

where $\hbar$ is the reduced Planck constant. Because this is not zero, it is fundamentally impossible to create a state that is an eigenstate of both position and momentum. If such a state existed, we saw that the commutator acting on it must give zero. But the rule here says the result must be $i\hbar$ times the state itself—a clear contradiction. The very structure of spacetime, as encoded in quantum mechanics, forbids simultaneous, perfect knowledge of "where" and "how fast."

There is a beautiful and simple proof that this kind of relationship can only exist in a world with an infinite number of possible states (an infinite-dimensional Hilbert space). In any finite-dimensional world, the "trace" (the sum of the diagonal elements) of any commutator matrix must be zero. But the trace of $i\hbar$ times the identity matrix is $i\hbar N$ (where $N$ is the number of states), which is not zero. The existence of observables like position and momentum forces reality to be infinitely complex.

Nature's Forced Choice: The Tale of Angular Momentum

Another crucial example comes from angular momentum. The operators for the components of angular momentum along the x, y, and z axes do not commute. Their relationship is a beautiful cycle:

$[\hat{L}_x, \hat{L}_y] = i\hbar \hat{L}_z$ (and cyclic permutations for the other pairs)

This means you cannot know more than one component of an electron's angular momentum with certainty at the same time (unless the total angular momentum is zero). If you prepare a particle in an eigenstate of $\hat{L}_z$, so its "spin" around the z-axis is perfectly defined, its state will be a superposition of different possible outcomes for a measurement of $\hat{L}_x$. Nature forces us to choose an axis. This is why we can label a state by its total [angular momentum quantum number](@article_id:148035) $l$ (from the operator $\hat{L}^2$) and the z-component $m_l$ (from $\hat{L}_z$), but not by $m_l$ and $m_x$ simultaneously.

For spin-1/2 particles like electrons, this incompatibility is captured in a wonderfully concise formula. The sum of the variances (uncertainties squared) for the three spin components is a fixed constant for any pure state: $\Delta S_x^2 + \Delta S_y^2 + \Delta S_z^2 = \text{constant}$. This is like a "conservation of uncertainty." If you squeeze the uncertainty in one component down to zero, the uncertainty must pop up in the other two.

To cap our journey, let's touch upon one final subtlety. We've established a strong link: commuting operators imply a full basis of simultaneous eigenstates, while non-commuting operators do not. But does non-commutation forbid even a single shared eigenstate? Not necessarily.

Consider the momentum operator $\hat{P}$ and the parity operator $\hat{\Pi}$ (which flips the sign of the coordinate, $\hat{\Pi}\psi(x) = \psi(-x)$). These operators do not commute. However, the special state of zero momentum, $\psi(x) = \text{constant}$, is a simultaneous eigenstate of both. It has momentum $p=0$ and it is an even function, so it has parity eigenvalue $+1$. Likewise, for the angular momentum components, the state with total angular momentum zero ($l=0$) is an eigenstate of $\hat{L}_x$, $\hat{L}_y$, and $\hat{L}_z$, all with eigenvalue zero.

These are exceptions—isolated points of shared certainty in a landscape of incompatibility. The crucial difference is the lack of a complete basis. While a zero-momentum particle can have definite parity, a particle with non-zero momentum cannot. The existence of a single shared state does not allow us to build a comprehensive description of the world based on both observables. For that, for two realities to be fully compatible, their operators must commute. This simple, elegant, algebraic rule is the gatekeeper of what is, and is not, simultaneously knowable in our strange and beautiful quantum universe.

In our previous discussion, we uncovered a remarkable feature of the quantum world: if two observables correspond to operators that commute, a state can possess definite values for both simultaneously. This might sound like a technical detail from the abstract machinery of quantum theory, but it is anything but. This single principle is the master key that unlocks our understanding of nearly every quantum system, from the atoms that make up our bodies to the crystalline solids in our electronics and the qubits in our most advanced computers. It provides us with a "labeling system" for reality itself, and in the story of these labels, we find an astonishing unity across diverse fields of science.

How do we organize the world? We assign properties. A book has a title, an author, and a location on a shelf. A quantum state, too, can be identified by its properties—the eigenvalues of observables. But there's a catch: you can only assign a complete set of sharp labels if the corresponding measurements don't disturb each other. That is, if the operators commute.

Consider an electron in an atom. It is governed by a Hamiltonian, $\hat{H}$, which dictates its energy. In a lone atom, floating in empty space, there is no preferred direction. The physics is the same if we rotate the whole system. This "rotational symmetry" means the Hamiltonian must commute with the operator for angular momentum, for instance, its component along the $z$-axis, $\hat{L}_z$. Because $[\hat{H}, \hat{L}_z] = 0$, the energy eigenstates can also be chosen to be eigenstates of angular momentum. This allows us to label the states of the atom with a set of quantum numbers for both energy and angular momentum. This is precisely why atomic orbitals are labeled not just by their energy level ($n$), but also by their angular momentum ($l$) and its projection ($m_l$). This set of commuting observables provides a perfect "filing system" for organizing the complex zoo of electron states.

This idea escalates beautifully in more complex atoms with many electrons. When we account for the interactions between an electron's spin and its orbital motion (spin-orbit coupling), the individual orbital and spin angular momenta, $\mathbf{L}$ and $\mathbf{S}$, may no longer be conserved. But in an isolated atom, the rotational symmetry of space as a whole remains. Therefore, the Hamiltonian must still commute with the total angular momentum operator, $\mathbf{J} = \mathbf{L} + \mathbf{S}$.

A profound consequence follows: the energy of a state can depend on the magnitude of the total angular momentum (the quantum number $j$), but it cannot depend on its orientation in space (the magnetic quantum number $m_j$). Why? Because the ladder operators $J_\pm$, which change $m_j$, also commute with the Hamiltonian. They can walk us from one orientation to another, all without changing the energy. This fundamental symmetry dictates that every energy level with total angular momentum $j$ must be $(2j+1)$-fold degenerate. This is not an accident; it is a direct, observable consequence of the fact that the universe, at this level, does not have a "preferred" direction.

What happens when we move from a single atom to the vast, ordered array of atoms in a crystal? A new symmetry emerges: the system looks the same if you shift your view by one lattice spacing, $a$. This is discrete translational symmetry, and it is represented by a translation operator, $\hat{T}_a$. The periodicity of the crystal's potential, $V(\hat{x}+a) = V(\hat{x})$, ensures that the Hamiltonian commutes with this translation operator: $[\hat{H}, \hat{T}_a] = 0$.

Once again, this commutation is not a mere mathematical curiosity; it is the secret to solid-state physics. It implies that the energy eigenstates of an electron in a crystal must also be eigenstates of the translation operator. The eigenvalues of the unitary operator $\hat{T}_a$ are pure phases, which we can write as $\exp(ika)$. The new label, $k$, is called the ​​crystal momentum​​. This quantity, born from the symmetry of the lattice, acts as a conserved quantum number for an electron navigating the periodic potential.

This is a beautiful and subtle point. The electron's ordinary momentum, $\hat{p}$, is not conserved, because the electron is constantly bumping into the periodic potential of the atomic nuclei. But the crystal momentum $k$ is conserved. It is the proper label for organizing the behavior of the trillions of electrons in the material. It is the existence of this quantum number that allows us to understand why some materials are conductors, others are insulators, and yet others are the semiconductors that form the basis of all modern electronics. The entire "band structure" of solids is a direct map of how energy depends on this symmetry label, $k$.

The universe, however, has a few more rules for us. One of the strangest is the principle of indistinguishability. All electrons are utterly identical. When we describe a system of two or more electrons, the total wavefunction must be antisymmetric under the exchange of any two of them. This strict rule can have surprising consequences for our labeling scheme.

Imagine two fermions in a one-dimensional box. We might naively think we can form a "complete set of commuting observables" (CSCO) by using the Hamiltonians for each particle, $\hat{H}_1$ and $\hat{H}_2$, and the total spin, $\hat{S}^2$. These operators all commute with each other. But here is the wrinkle: the physically allowed states—the ones that are properly antisymmetrized—are generally not eigenstates of the individual Hamiltonians $\hat{H}_1$ and $\hat{H}_2$! The requirement of antisymmetry forces the particles into a collective state, a superposition that makes it impossible to speak of "the energy of particle 1". The labels have to apply to the system as a whole, not its indistinguishable components. The Pauli exclusion principle itself is woven into this fabric.

Even when particles are distinguishable, non-commuting operators can hold surprises. The operators for the total spin of a two-particle system, $\hat{S}^2$, and the spin of just one of those particles, $\hat{S}_{1z}$, do not commute. This means that, in general, a measurement of one will disrupt the value of the other. One cannot, for instance, build a complete basis for the system out of states that have a definite value for both observables. Yet, it turns out that a few specific states, like the triplet states $|s=1, m_s=+1\rangle$ and $|s=1, m_s=-1\rangle$, happen to be simultaneous eigenstates of both. This teaches us a valuable lesson in precision: non-commutation forbids a complete basis of common eigenstates, but not necessarily the existence of a few special ones that satisfy both conditions.

The complexity of quantum mechanics, especially in many-body systems, can be daunting. But what if we could turn this logic on its head? Instead of discovering the commuting operators that describe a natural system, what if we could engineer a system to obey a set of commuting operators of our own design? This is a central idea in the field of quantum information and computation.

Consider a Hamiltonian built as a sum of terms, where every term commutes with every other term: $\hat{H} = \sum_j \hat{h}_j$ with $[\hat{h}_j, \hat{h}_k] = 0$. Such a system is called "frustration-free". Finding its ground state, often an astronomically difficult task, becomes dramatically simpler. The ground state must be a state that is simultaneously a ground state of every single term $\hat{h}_j$. This powerful design principle allows us to construct complex quantum systems whose ground states are known and have specific, desirable properties of entanglement.

This concept flowers into the ​​stabilizer formalism​​. Here, we don't start with a Hamiltonian; we start with a set of commuting operators $\{\hat{S}_i\}$, called stabilizers. We then define a state $|\psi\rangle$ as the unique vector that is a $+1$ eigenstate of all of them: $\hat{S}_i |\psi\rangle = |\psi\rangle$ for all $i$. Such "stabilizer states" form the backbone of quantum error correction codes. Their properties are completely determined by the algebra of their stabilizers. For example, if a state is stabilized by $\hat{S}_1$, then the expectation value of any operator $\hat{O}$ that anticommutes with $\hat{S}_1$ (i.e., $\hat{S}_1 \hat{O} = -\hat{O} \hat{S}_1$) must be exactly zero. This provides a stunningly powerful algebraic toolkit to create, manipulate, and protect the fragile quantum states needed for quantum computing. This same core idea—that commuting operators possess a common eigenvector—is so fundamental that it appears in pure mathematics as Lie's theorem, which provides a critical entry point for understanding the structure of abstract algebraic objects known as solvable Lie algebras.

As we step back, a grand tapestry reveals itself. The principle of the simultaneous eigenstate is not just a tool; it is a profound expression of the relationship between symmetry and conservation laws. Whenever a physical system possesses a symmetry—be it rotational, translational, or something more abstract—its Hamiltonian commutes with the operator that generates that symmetry. This commutation, as guaranteed by the spectral theorem, ensures the existence of a common basis of eigenstates.

This gives rise to conserved quantities, our "good quantum numbers," which allow us to label and make sense of the quantum world. This thread connects the degeneracy of atomic energy levels, the existence of electronic bands in solids, and the design of error-correcting codes. Looking for commuting operators is, in essence, looking for the hidden symmetries of a system. And in finding them, we do more than solve a problem; we reveal the inherent beauty and unity of the laws that govern our universe.