An elementary proof of symmetrization postulate in quantum mechanics for a system of particles

This paper provides a mathematical justification for the symmetrization postulate in three-dimensional quantum mechanics by demonstrating that, for a system of N identical particles with a continuous wave function and an exchange-invariant potential on a connected configuration space, the requirement of time-invariant probability density under particle exchange necessitates that the wave function be either totally symmetric or totally antisymmetric.

The Gist

Here is an explanation of the paper, translated into everyday language with creative analogies.

The Big Idea: The "Identical Twins" Rule

Imagine you have a room full of identical twins. Not just similar-looking twins, but twins so perfectly alike that if you swapped their positions, no camera, no scale, and no microscope could tell the difference. In the quantum world, particles like electrons are exactly like this.

The Symmetrization Postulate is a fundamental rule of the universe that says: When you swap two of these identical particles, the "state" of the universe (described by a mathematical object called a wave function) can only do one of two things:

1. Stay exactly the same. (Like a mirror reflection that looks identical).
2. Flip its sign. (Imagine a wave going up, and after the swap, it goes down with the exact same shape).

It cannot do anything in between. It can't change slightly, or become a different shape. It's all or nothing.

This paper by Diganta Parai and Nikhilesh Maity attempts to prove why this rule exists using simple math, without needing complex advanced theories. They want to show that this isn't just a random rule we made up; it's an unavoidable consequence of how the universe works.

---

The Setup: The "Dance Floor" Analogy

To understand their proof, imagine the particles are dancers on a giant, 3D dance floor (the "configuration space").

The Rules of the Dance:

1. Indistinguishability: If you swap two dancers, the probability of seeing them in any specific spot doesn't change. The "crowd density" looks the same.
2. Smoothness: The dancers move smoothly. They don't teleport or make sudden, jagged jumps. Their path is continuous.
3. Connectedness: The dance floor is one big, connected room. You can walk from any point to any other point without hitting a wall that separates the room into isolated islands.
4. Fairness: The music and the obstacles (the "potential") treat every dancer exactly the same. If you swap two dancers, the music doesn't change.

The Proof: The "Phase Shift" Mystery

The authors start by asking: If I swap two dancers, what happens to the wave function?

Mathematically, they know the wave function can change by a "phase factor" (let's call it a magic multiplier).

• If the wave function is $\psi$, after swapping, it becomes $e^{i\theta} \times \psi$.
• The question is: Is $\theta$ a constant number, or does it change depending on where the dancers are or what time it is?

The Authors' Argument:
They use the "Schrödinger Equation" (the rulebook for how quantum dancers move) to show that if the phase factor $\theta$ tried to change based on position or time, it would break the smoothness of the dance or violate the conservation of energy.

Think of it like this:
If the "magic multiplier" changed depending on where you were on the dance floor, the dancers would have to suddenly speed up or slow down in a way that contradicts the laws of physics. The math shows that the only way for the dance to remain smooth and consistent is if that multiplier is constant. It's the same number everywhere, all the time.

The "Flip" or "Stay" Conclusion

Once they prove the multiplier is constant, they look at what happens if you swap the dancers twice.

• Swap once: The wave function gets multiplied by $e^{iA}$.
• Swap again: It gets multiplied by $e^{iA}$ again.
• Total result: $e^{2iA}$.

But wait! If you swap two identical dancers and then swap them back, you are back to the exact original state. The universe hasn't changed. So, the total multiplier must be 1.

Mathematically, the only numbers that, when squared, equal 1 are 1 and -1.

• 1 means the wave function stays the same (Symmetric). These are Bosons (like photons).
• -1 means the wave function flips its sign (Antisymmetric). These are Fermions (like electrons).

The "Three Dancer" Test:
The authors also show a clever trick with three dancers. If you try to make a rule where swapping Dancer A and B is "Symmetric" (stays the same), but swapping B and C is "Antisymmetric" (flips), you run into a logical paradox. The math forces the wave function to become zero (meaning the state is impossible).

Therefore, the rule must be consistent for everyone. Either all swaps are symmetric, or all swaps are antisymmetric. You can't have a mix.

What About Magnetic Fields?

In Section 3, they ask: "What if the dancers are wearing magnetic boots?" (i.e., the particles are in an electromagnetic field).

Usually, magnetic fields complicate things because they push particles in specific directions. However, the authors show that even with these magnetic boots, the "smoothness" of the dance still forces the same result. The magnetic field might change how they dance, but it doesn't change the fundamental rule that they must either stay the same or flip when swapped.

Why Does This Matter?

This proof is important because it strips away the complicated "spin" parts of quantum mechanics to show that the Symmetrization Postulate is a geometric necessity.

• For Fermions (Antisymmetric): This rule leads to the Pauli Exclusion Principle. Because the wave function flips sign, two fermions cannot occupy the exact same spot (if they did, the wave function would be $X = -X$, which means $X=0$, meaning they don't exist). This is why matter takes up space and why atoms have structure.
• For Bosons (Symmetric): This allows particles to clump together in the same state, leading to phenomena like lasers and superfluids.

Summary

The paper is essentially saying:

"If you have a group of identical particles moving smoothly in a connected space, and the laws of physics treat them all fairly, the universe forces them to be either 'Team Same' (Bosons) or 'Team Flip' (Fermions). There is no 'Team Maybe'."

They proved this by showing that any other option would break the smooth, continuous flow of time and space that quantum mechanics requires.

Technical Summary

Here is a detailed technical summary of the paper "An elementary proof of symmetrization postulate in quantum mechanics for a system of particles" by Diganta Parai and Nikhilesh Maity.

1. Problem Statement

The Symmetrization Postulate is a fundamental principle in quantum mechanics stating that the wave function of a system of identical particles must be either completely symmetric (Bose-Einstein statistics) or completely antisymmetric (Fermi-Dirac statistics) under the exchange of any two particle coordinates.

While this postulate is standard in textbooks, existing proofs often rely on:

• Complex mathematical machinery (e.g., group theory, topology).
• Specific assumptions about non-degenerate energy levels.
• Properties of wave function nodes.
• The assumption that the phase factor $\theta$ in the relation $\psi(\vec{r}_2, \vec{r}_1) = e^{i\theta}\psi(\vec{r}_1, \vec{r}_2)$ is a constant a priori.

The authors aim to provide an elementary, self-contained mathematical justification for this postulate. They seek to prove that the phase factor is necessarily a constant (and specifically $0$or$\pi$) solely based on the Schrödinger equation, the continuity of the wave function, and the invariance of the probability density, without invoking non-degenerate energy levels or spin.

2. Methodology

The proof is structured in two main parts: first for a system governed by the standard Schrödinger equation, and second for a system in an electromagnetic field.

A. Core Assumptions

The proof relies on four specific conditions:

1. Probability Invariance: The probability density $|\psi|^2$ remains invariant when any two particle positions are exchanged.
2. Continuity: The wave function $\psi$ and its gradient are continuous.
3. Connected Configuration Space: The $3N$-dimensional configuration space is connected.
4. Hamiltonian Symmetry: The potential energy term $V$ in the Hamiltonian is invariant under the exchange of any two particle positions.

B. Proof for Standard Schrödinger Equation (Section 2)

1. Exchange Operator Definition: The authors define an exchange operator $P_{ij}$ such that $P_{ij}\psi_{ij} = \psi_{ji}$. Based on probability invariance, they posit $\psi_{ji} = e^{i\phi_{ij}(t)}\psi_{ij}$, where $\phi_{ij}$ is initially allowed to be a function of coordinates and time.
2. Deriving Constraints on $\phi$: By substituting the exchange relation into the Schrödinger equation and its complex conjugate, the authors derive a differential equation involving the gradient of the phase $\phi_{ij}$.
3. Integration over Configuration Space:
   • They manipulate the resulting equation to isolate terms involving $(\nabla \phi_{ij})^2$.
   • By integrating over the entire configuration space and applying boundary conditions (wave function vanishes at infinity), they show that the integral of $|\psi|^2 (\nabla \phi_{ij})^2$ must be zero.
   • Crucial Deduction: Since $|\psi|^2$ is non-negative and the space is connected, $\nabla \phi_{ij}$ must be zero everywhere. Thus, $\phi_{ij}$ cannot depend on spatial coordinates; it is a function of time only, $\phi(t)$.
4. Time Independence:
   • The authors define an overlap integral $S(t) = \int \psi_{ij}^* \psi_{ji} d\tau$.
   • By calculating $dS/dt$ using the Schrödinger equation and the Hamiltonian's symmetry, they prove that $dS/dt = 0$.
   • Since $S(t) = \int |\psi|^2 e^{i\phi(t)} d\tau$, the time-independence of $S(t)$ implies that $\phi(t)$ must be a constant, $A$.
5. Quantization of Phase: Applying the exchange operator twice ($P_{ij}^2 = I$) yields $e^{2iA} = 1$, leading to $A = n\pi$. Consequently, $\psi_{ji} = \pm \psi_{ij}$.
6. Global Symmetry: The authors demonstrate that if a wave function is symmetric (or antisymmetric) for one pair of particles, the connectedness of the configuration space and the transitivity of permutations force the wave function to be globally symmetric or globally antisymmetric for all particles. A mixed symmetry (symmetric for some pairs, antisymmetric for others) leads to a contradiction ($\psi = 0$).

C. Extension to Electromagnetic Fields (Section 3)

The authors extend the proof to systems where particles interact with an electromagnetic field (using the Coulomb gauge, $\nabla \cdot \vec{A} = 0$).

• The Hamiltonian is modified to include the vector potential $\vec{A}$ and scalar potential $U$.
• Despite the additional terms in the Schrödinger equation (specifically the $\vec{A} \cdot \nabla$ term), the authors show that the extra terms cancel out or integrate to zero when deriving the constraints on the phase $\phi$.
• The continuity equation is modified to include the current density due to the vector potential, but the final integral argument remains identical to the non-field case.
• Result: The phase factor remains a constant, and the wave function must still be totally symmetric or totally antisymmetric.

3. Key Contributions

• Elementary Derivation: The paper provides a proof accessible to graduate students using standard calculus and the Schrödinger equation, avoiding advanced topological arguments or group representation theory.
• Elimination of "A Priori" Assumptions: Unlike standard textbook derivations that assume the phase is constant, this proof derives the constancy of the phase from the Schrödinger equation and probability conservation.
• No Non-Degeneracy Requirement: The proof does not require the assumption of non-degenerate energy levels, addressing a limitation noted in previous works (e.g., Girardeau).
• Generalization to EM Fields: The proof explicitly handles the case of identical particles in electromagnetic fields, showing that the symmetrization postulate holds even in the presence of gauge fields.

4. Results

• Theorem: For a system of $N$ identical spinless particles in a connected configuration space with a symmetric interaction potential, the wave function must be either totally symmetric ($\psi_{ji} = +\psi_{ij}$) or totally antisymmetric ($\psi_{ji} = -\psi_{ij}$) under the exchange of any two particles.
• Phase Factor: The phase factor relating exchanged wave functions is proven to be a time-independent constant, specifically $0$or$\pi$(modulo$2\pi$).
• Consistency: The result holds for both free systems and systems subject to electromagnetic fields.

5. Significance

• Foundational Clarity: This work reinforces the Symmetrization Postulate not as an independent axiom, but as a necessary mathematical consequence of the Schrödinger equation and the indistinguishability of particles.
• Pedagogical Value: By simplifying the mathematical reasoning, the paper offers a clearer path for understanding the origin of Bose-Einstein and Fermi-Dirac statistics.
• Implications for Pauli Exclusion: The authors note that for totally antisymmetric wave functions, this proof directly supports the derivation of the Pauli Exclusion Principle and the Slater determinant formalism for non-interacting fermions.
• Robustness: By including the electromagnetic field case, the paper demonstrates the robustness of the postulate against external gauge interactions, which is crucial for applications in condensed matter physics and quantum chemistry.