The selected claim illustrates the foundational distinction between **classical microstate counting** and **quantum statistical mechanics**. It asserts that in classical statistical mechanics, swapping two qualitatively identical, impenetrable particles between distinct physical states yields a genuinely distinct microstate—that is, $A_1 B_2 \neq B_1 A_2$.
This asymmetry forms the baseline against which quantum non-individuality and Ontic Structural Realism (OSR) are evaluated.
---
### Phase Space and Haecceitism
In classical phase space ($\Gamma$-space), a system of $N$ identical particles is represented as a point in a $6N$-dimensional space. The mathematical formulation assigns unique, labelled trajectories to individual particles:
$$\mathbf{z} = (\mathbf{r}_1, \mathbf{p}_1; \mathbf{r}_2, \mathbf{p}_2; \dots; \mathbf{r}_N, \mathbf{p}_N)$$
When particle $A$ occupies state 1 ($\mathbf{r}_1, \mathbf{p}_1$) and particle $B$ occupies state 2 ($\mathbf{r}_2, \mathbf{p}_2$), the permutation operation $\hat{P}_{AB}$ generates a mathematically distinct vector in $\Gamma$-space:
$$\hat{P}_{AB} \begin{pmatrix} \mathbf{r}_1, \mathbf{p}_1 \\ \mathbf{r}_2, \mathbf{p}_2 \end{pmatrix} = \begin{pmatrix} \mathbf{r}_2, \mathbf{p}_2 \\ \mathbf{r}_1, \mathbf{p}_1 \end{pmatrix}$$
```
Classical Phase Space Counting (N = 2, States = 2):
Microstate α: [ Particle A -> State 1 ] , [ Particle B -> State 2 ]
Microstate β: [ Particle B -> State 1 ] , [ Particle A -> State 2 ]
Result: Microstate α ≠ Microstate β (Weight = 2)
```
Philosophically, this assumes **haecceitism**—the view that an object possesses a primitive identity or "thisness" (*haecceity*) independent of any of its qualitative properties. Even if particle $A$ and particle $B$ share identical mass, charge, and spin, their distinct labelled positions in classical phase space render $A_1 B_2$ and $B_1 A_2$ two physically distinct arrangements.
When calculating the partition function $Z$, classical statistical mechanics integrates over all phase space points. Treating permuted states as distinct leads directly to Maxwell-Boltzmann statistics, where the number of microstates for distinct occupations scales via the full factorials of particle configurations.
---
### Thermodynamic Implications: The Gibbs Paradox
The physical significance of $A_1 B_2 \neq B_1 A_2$ emerges in thermodynamics. If $A_1 B_2$ and $B_1 A_2$ are distinct microstates, the number of accessible microstates $\Omega$ for an ideal gas of $N$ particles scales as $V^N$. Applying Boltzmann's entropy formula $S = k_B \ln \Omega$ yields:
$$S = N k_B \ln V + f(T)$$
This expression violates the requirement that entropy be an **extensive property**:
* Combining two identical volumes $V$ of the same gas at identical temperature and pressure causes predicted entropy to increase by $\Delta S_{mix} = 2 N k_B \ln 2$.
* This spurious "entropy of mixing" for identical gases is the classic formulation of the **Gibbs Paradox**.
In pre-quantum classical statistical mechanics, Josiah Willard Gibbs resolved this non-extensivity by introducing an *ad hoc* division by $N!$ to convert "specific phase space" into "generic phase space". However, classical mechanics provided no intrinsic physical justification for why $N!$ identical permutations should be treated as a single physical state.
---
### Material Disagreements and Alternative Models
Scholars debate whether classical statistical mechanics inherently demands haecceitistic particles.
| Perspective | Core Premise | View on $A_1 B_2 \neq B_1 A_2$ | Key References |
| :--- | :--- | :--- | :--- |
| **Traditional Phase Space** | Particles are individuals with continuous, non-intersecting spacetime trajectories. | $A_1 B_2$ and $B_1 A_2$ are real, distinct microstates; division by $N!$ is a practical correction for macroscopic observation. | Standard Boltzmann formulation |
| **Reduced Phase Space (Gibbs/Saunders)** | Physical reality corresponds to the quotient space $\Gamma / S_N$ (generic phase space). | Permutation is an artifact of redundant labelling; $A_1 B_2$ and $B_1 A_2$ represent the *same* physical point. | Gibbs; Saunders (2018) |
| **Field-Theoretic Classical Model (Redhead/French)** | Classical systems can be modeled as spatial fields with "Yes/No" state occupations rather than trajectories. | Eliminates haecceitism entirely within classical mechanics without invoking quantum effects. | Redhead (1983); French & Redhead (1988) |
---
### Scope Conditions and Quantum Contrast
The non-invariance described in the selected text holds under specific boundary conditions:
1. **Distinguishable Trajectories:** Particles must move along deterministic, non-overlapping worldlines, allowing space-time location to act as a principal index of identity.
2. **Phase Space Multiplicity:** The underlying space must support labelled Cartesian product representations ($M^N$) rather than quotient spaces.
This classical assumption breaks down in quantum mechanics. In quantum theory, the state space for $N$ identical particles is restricted to either symmetric (bosonic) or antisymmetric (fermionic) rays under the permutation group $S_N$. Swap operators do not create a new state; they yield $\hat{P}_{AB} |\Psi\rangle = \pm |\Psi\rangle$, representing the exact same physical state ray.
Understanding $A_1 B_2 \neq B_1 A_2$ in classical mechanics highlights why quantum statistics (Bose-Einstein and Fermi-Dirac) force a re-evaluation of objecthood. It illustrates how classical physics maintains labelled "objects" through trajectory tracking, whereas quantum mechanics eliminates distinct microstates upon permutation. This elimination forms the empirical basis for radical Ontic Structural Realism.