Rickey W. Austin
St Claire Scientific Research, Development, and Publishing
The single-particle framework established in QM1 through QM6 describes
the quantum mechanics of one transport closure configuration in the
scalar--conformal exchange sector.
The present paper extends this framework to systems of multiple
transport closure configurations, introducing the tensor product Hilbert
space
for two particles and
for particles, and deriving the physical constraints that arise when
the constituent configurations are indistinguishable.
The tensor product construction is established as the canonical
mathematical structure for multi-particle quantum states, with the inner
product, completeness, and observable algebra of the product space derived
from those of the constituent single-particle spaces.
The action of observables on the product space is defined through the
tensor extension: single-particle observables and
are extended to
and
on , and their commutation structure is derived.
When the transport closure configurations are indistinguishable---when
no physical quantity of the scalar--conformal transport system can
distinguish configuration from configuration ---the holonomy
structure of the transport system imposes a constraint on the exchange
symmetry of the state.
Under exchange of two indistinguishable configurations, the closure state
must either remain unchanged, symmetric for bosonic transport
configurations, or change sign, antisymmetric for fermionic transport
configurations.
This dichotomy is the exchange symmetry principle, derived from the
holonomy structure of the transport closure system rather than postulated.
The Fock space
is established as the natural state space for systems in which the number
of transport closure configurations is variable, with the vacuum
, the bosonic Fock space , and the fermionic
Fock space each derived from the tensor product
structure and the exchange symmetry.
The framework is applied to the coupled two-particle harmonic oscillator
with Hamiltonian
which is decoupled by the center-of-mass and relative coordinate
transformation.
The normal mode frequencies
and
are derived, the complete spectrum of the coupled system is obtained,
and the role of the coupling in generating entanglement between the two
subsystems is analyzed.
No new postulates are introduced beyond the tensor product construction
and the exchange symmetry principle derived from holonomy.
The scalar--conformal NUVO program has now established, through QM1 to
QM6, the complete framework for a single transport closure configuration
in the exchange sector: the Hilbert space, the superposition and
interference structure, the uncertainty relations, the Schrödinger
dynamics, the angular momentum and hydrogen spectrum, and the harmonic
oscillator with its coherent states.
This single-particle framework describes one closure configuration
evolving in a scalar--conformal background.
The present paper, QM7, opens the multi-particle sector: the extension
of the framework to systems consisting of two or more transport closure
configurations, each with its own spatial degrees of freedom, and their
mutual interaction through the exchange-sector coupling.
The transition from one particle to many is not a quantitative extension
of the single-particle framework but a qualitative one: two structures
appear in the multi-particle theory that have no single-particle
analogue---entanglement, the impossibility of factorizing the state
of a composite system into independent subsystem states, and exchange
symmetry, the constraint on multi-particle states imposed by the
indistinguishability of identical transport closure configurations---and
both arise from the tensor product structure that is the subject of
Sections 3--6.
QM7 depends on the prior papers in three structurally specific ways.
The tensor product construction of Section 3 builds directly on the
single-particle Hilbert space of QM1: the two-particle
space
is constructed as the completion of the algebraic tensor product of
with itself, inheriting the inner product and completeness
properties of .
The coupled harmonic oscillator of Section 7 uses the one-dimensional
oscillator results of QM6 directly: the decoupled normal modes each
inherit the Fock state structure, the ladder operators, and the coherent
state theory of QM6, and the coherent states of the normal modes are the
natural candidates for classical-limit states of the coupled system.
The angular momentum addition of Section 8 uses the QM5 angular momentum
algebra and spectrum: the total angular momentum
satisfies the same commutation algebra as the
single-particle angular momentum, with the Clebsch--Gordan decomposition
of the tensor product of two irreducible representations providing the
connection between the product basis
and the total angular momentum basis
The exchange symmetry principle derived in Section 5 connects QM7 to
the Q-series holonomy quantization at a deeper structural level.
In the Q-series, the holonomy quantization condition---the requirement
that the transport phase accumulated along a closed path be an integer
multiple of
---produced the quantization of energy, radial closure, principal
quantum number , and angular momentum, azimuthal closure, magnetic
quantum number .
In QM7, the same holonomy principle is applied to a different class of
closed paths: the exchange path, which continuously moves two
indistinguishable transport closure configurations from positions
to
Since the initial and final configurations are identical by
indistinguishability, this exchange path is closed in configuration
space, and its holonomy must be quantized.
The only two possibilities consistent with applying the exchange twice
returning to the original state are holonomy , bosons, and holonomy
, fermions, derived as a theorem in the exchange-symmetry theorem.
This is the NUVO framework's account of the boson-fermion dichotomy:
not a postulate but a consequence of the holonomy principle applied to
exchange paths, in direct structural parallel with the energy and angular
momentum quantization of the prior series.
QM7 opens the multi-particle sector that extends through QM8 to QM11.
QM8 applies the tensor product construction to the spin degree of
freedom: for a spin- particle, the full Hilbert space is
the product of the spatial Hilbert space and the two-dimensional spin
space, and the spin operators are derived from the double-cover holonomy
of QM8.
QM9 analyzes the entanglement structure of states in
that do not factorize as products
introducing the Schmidt decomposition as the canonical tool for
quantifying entanglement, and treating the Bell states and the EPR setup
as the primary examples.
QM10 uses the center-of-mass and relative coordinate separation
introduced in the coupled oscillator of the present paper to analyze
two-body scattering: the relative coordinate
carries the scattering dynamics while the center-of-mass coordinate
moves freely.
The Fock space of Section 6 provides the foundational framework for all
of these extensions and for the field-theoretic applications that lie
beyond the current series.
The central objective of the present paper is to extend the
single-particle scalar--conformal NUVO framework to multi-particle
systems by constructing the tensor product Hilbert space, deriving the
exchange symmetry from holonomy, establishing the Fock space for variable
particle number, and applying the framework to the canonical two-body
model of the coupled harmonic oscillator.
Specifically, the paper establishes six claims.
The two-particle Hilbert space
is the completion of the algebraic tensor product of
with itself, with inner product
extended by linearity.
A complete orthonormal basis for is
for any orthonormal basis of , and
in position space.
Single-particle observables of particle 1 and particle 2 commute
on :
The exchange operator satisfying
is a self-adjoint unitary with
and spectrum
The two-particle space decomposes orthogonally as
where and
are the eigenspaces of .
The symmetrization and antisymmetrization operators
and
project onto these subspaces.
For indistinguishable transport closure configurations, the exchange
path in configuration space---the path continuously moving
configuration 1 from to while
configuration 2 moves from to ---is
a closed path by indistinguishability, and its holonomy is a phase
from
The closure state must therefore satisfy
bosonic configurations, , have states in
and fermionic configurations,
, have states in .
The Pauli exclusion principle---no two identical fermions in the same
single-particle state---follows as a corollary.
The Fock space
is the natural state space for variable particle number, with vacuum
spanning
The bosonic Fock space and fermionic Fock space
are constructed from the symmetric and
antisymmetric -particle subspaces.
For an orthonormal basis of , the
creation and annihilation operators on Fock space satisfy the bosonic
canonical commutation relations
or the fermionic canonical anticommutation relations
The coupled harmonic oscillator
is decoupled by the normal mode transformation
and
giving two independent oscillators with normal mode frequencies
and
The complete spectrum is
for
and the ground state is entangled in the original particle coordinates
for .
The tensor product of two angular momentum multiplets,
decomposes into irreducible representations
the Clebsch--Gordan decomposition, establishing the total dimension
count
and the triangle selection rule.
The explicit Clebsch--Gordan coefficients are deferred to the full
angular momentum addition treatment.
Claims 1 through 6 are logically ordered.
The tensor product construction of claim 1 is the mathematical foundation
for all subsequent claims.
The exchange operator structure of claim 2 identifies the physically
relevant subspaces and
of the two-particle space.
The holonomy derivation of claim 3 establishes which subspace physical
states of identical particles must occupy.
The Fock space of claim 4 extends this to variable particle number.
The coupled oscillator of claim 5 is the first concrete multi-particle
application, using the QM6 oscillator structure in the two-particle
setting.
The angular momentum addition preview of claim 6 connects the
multi-particle framework to the QM5 angular momentum structure in
preparation for QM8.
The present work maintains without modification the interpretive
discipline of the prior series.
Four exclusions are of particular importance for QM7.
The tensor product structure is not postulated as a separate axiom of
multi-particle quantum mechanics.
In standard formulations, the multi-particle state space is postulated
to be the tensor product of single-particle spaces; the choice of tensor
product rather than, say, direct sum is an assumption.
In the NUVO framework, the tensor product
is the unique Hilbert space that represents two independent transport
closure configurations with independent spatial degrees of freedom, in
the sense that product states
represent configurations that are uncorrelated and have inner products
that factor as required by statistical independence.
This uniqueness, up to isomorphism, is the content of the universal
property of the tensor product, and it makes the tensor product the
natural rather than postulated structure.
The exchange symmetry principle is not postulated.
The standard quantum-mechanical treatment of identical particles
introduces the symmetrization postulate: the state of a system of
identical bosons must be symmetric under particle exchange, and the
state of identical fermions must be antisymmetric.
In the NUVO framework, this is derived as the exchange-symmetry theorem
from the holonomy quantization of the exchange path: the exchange path
is closed by indistinguishability, its holonomy must be quantized, and
the only consistent values are .
The symmetrization postulate is therefore a theorem in the NUVO program,
not an independent assumption.
The Pauli exclusion principle is not postulated.
It follows as a two-line consequence of the antisymmetry of fermionic
states: if both particles occupy the same single-particle state ,
the antisymmetrized state
vanishes identically.
The spin-statistics connection is not derived in the present paper and
is not assumed.
The theorem that integer-spin particles are bosons and half-integer-spin
particles are fermions---the spin-statistics theorem---requires the
relativistic framework: in the scalar--conformal NUVO program, it will be
derived in the RQM-series from the structure of the relativistic
transport closure system.
QM7 establishes that
and that each particle type has a definite exchange parity, but the
identification of specific particle types, electrons as fermions, photons
as bosons, with their spin requires the QM8 spin algebra and the
relativistic extension.
This is recorded explicitly so that the QM7 derivation is not overstated:
the boson-fermion dichotomy is established here; the spin-statistics
connection is deferred.
Section 2 recalls the single-particle Hilbert space from QM1, the
oscillator structure from QM6, the angular momentum structure from QM5,
and the Q-series holonomy principle as it applies to exchange paths.
Section 3 constructs the two-particle Hilbert space
as the completion of the algebraic tensor product, establishes its inner
product, orthonormal basis, and isomorphism with
and derives the observable algebra on the product space including the
commutation
Section 4 introduces the exchange operator , derives its
eigenvalues and eigenspaces, and constructs the symmetrization and
antisymmetrization projectors and .
Section 5 derives the exchange symmetry principle for indistinguishable
transport closure configurations from the holonomy of the exchange path,
establishes the boson-fermion dichotomy as a theorem, and derives the
Pauli exclusion principle as a corollary.
Section 6 constructs the Fock space
defines the bosonic and fermionic Fock spaces and the vacuum state,
introduces the creation and annihilation operators on Fock space, and
derives the bosonic canonical commutation relations and fermionic
canonical anticommutation relations.
Section 7 applies the two-particle framework to the coupled harmonic
oscillator: derives the center-of-mass and relative coordinate separation,
performs the normal mode transformation, obtains the normal mode
frequencies and complete spectrum, and analyzes the entanglement in the
coupled ground state.
Section 8 derives the total angular momentum algebra for two-particle
systems, records the Clebsch--Gordan decomposition structure, and
previews the full angular momentum addition theory deferred to the
complete treatment.
Section 9 collects interpretive clarifications and records the scope of
the present construction.
Section 10 summarizes the thirteen principal results, records their
programmatic significance, and prepares the transition to QM8.
The present section collects the results from the Q-series, QM1, QM5,
and QM6 that are directly required for the constructions of Sections 3--8.
Nothing in this section is new.
The recalled material falls into four categories: the single-particle
Hilbert space infrastructure that is duplicated and tensored in
Section 3, the oscillator structure that appears in the two copies of
Section 7, the angular momentum structure used in Section 8, and the
holonomy principle applied to exchange paths in Section 5.
The single-particle Hilbert space
was established in QM1 with the following properties that are used
directly in the tensor product construction.
Inner product and completeness, from QM1 Definition 4.1 and Theorem 4.3.
For
Equation. Recalled Hilbert-space inner product.
and is complete: every Cauchy sequence in
-norm converges in .
Complete orthonormal basis, from QM1 and the spectral theorem.
There exists a complete orthonormal basis
for :
and every
expands as
with the sum converging in -norm.
The resolution of the identity is
Canonical commutation relation, from QM1 Proposition 5.4.
On the dense domain
one has:
Equation. Recalled canonical commutation relations.
These will be used in two copies on : the observables
of particle 1 satisfy the canonical commutation relations among
themselves, and similarly for particle 2, while observables of particle 1
and particle 2 commute, as established in Section 3.
Spectral theorem and self-adjointness, from QM1 Theorem 6.1.
Every self-adjoint operator on has a spectral
decomposition
and the eigenstates, or generalized eigenstates, of form a complete
system in .
This is used in Section 3 to establish that the product basis of a pair
of self-adjoint operators is complete in .
Remark.
The four properties recalled above---inner product, completeness,
orthonormal basis, and the spectral theorem---are exactly the properties
needed for the tensor product construction of Section 3.
The inner product of defines the inner product of
.
The completeness of is inherited by
through the completion of the algebraic tensor product.
The orthonormal basis generates the product orthonormal
basis
of .
The spectral theorem provides the orthonormal bases needed for the
observable algebra on .
No new structure from the prior papers is needed for the tensor product
construction; QM1 already contains all the ingredients.
The harmonic oscillator results of QM6 are used in two distinct ways in
the present paper.
In Section 7, two copies of the one-dimensional oscillator Hamiltonian
appear in the coupled system, and the normal mode transformation converts
the coupled system back into a pair of independent oscillators.
In Section 6, the bosonic Fock space ladder operators
and
are direct generalizations of the single-mode annihilation and creation
operators
and
of QM6.
Hamiltonian decomposition, from QM6 Theorem 3.2.
For a single mode of frequency :
Equation. Recalled oscillator decomposition.
Fock state structure, from QM6 Theorem 4.1 and Proposition 4.3.
The spectrum of is
and it is non-degenerate.
The Fock states
are a complete orthonormal basis for the single-mode Hilbert space, with
and
Two-mode extension.
For the coupled oscillator of Section 7, two independent modes with
annihilation operators and act on different
factors of the tensor product
and
The commutation relations are
and
because operators on different tensor factors commute, by the general
result of the tensor-observable proposition.
Remark.
The Fock space bosonic canonical commutation relation
is the multi-mode generalization of the single-mode relation
of QM6.
The factor arises because modes act on different
factors of the Fock space, and hence their operators commute, while the
same mode gives the QM6 relation.
The fermionic anticommutation relation is the new result of QM7 that has
no single-mode analogue in QM6.
The angular momentum structure of QM5 enters QM7 in Section 8, where
the total angular momentum of a two-particle system is analyzed.
The following results are recalled in the form in which they will be
applied.
Angular momentum commutation algebra, from QM5 Theorem 3.1.
On
one has:
Equation. Recalled angular momentum commutation algebra.
Spectrum of and , from QM5 Theorem 5.2.
The joint eigenstates
satisfy:
Equation. Recalled angular momentum spectrum.
for
and
with -fold degeneracy in for each .
Total angular momentum in the two-particle system.
For a two-particle system on
the total angular momentum operators are
Equation. Total angular momentum.
for
These satisfy the same commutation algebra as the single-particle
angular momentum operators, as established in Section 8, so
and
are simultaneously diagonalizable, and the Clebsch--Gordan decomposition
of
into irreducible representations is established in
Section 8.
The Q-series holonomy quantization principle, recalled here in the form
applicable to exchange paths, is the key input to Section 5.
The holonomy principle, from the Q-series, Q1--Q2.
The transport phase accumulated along any admissible closed path in the
scalar--conformal exchange sector is quantized: on a closed path
that returns the transport closure configuration to its initial state,
the accumulated transport phase satisfies:
Equation. Recalled holonomy principle.
This is the principle that quantized the hydrogenic energy levels, radial
closed paths in the Q-series, and the magnetic quantum number, azimuthal
closed paths in QM5.
Application to exchange paths.
For two indistinguishable transport closure configurations at positions
and , the exchange path is the continuous
motion in configuration space that takes
By indistinguishability, the initial configuration
and the final configuration
are physically identical, so this exchange path is a closed path in the
configuration space
the symmetrized product of two copies of .
The holonomy of this closed path must be quantized by the recalled
holonomy principle; only the values
and
are consistent with the constraint
imposed by applying the exchange twice.
The derivation is given in the exchange-symmetry theorem.
Remark.
The present application of the holonomy principle to exchange paths is
the third distinct use of the same geometric principle in the NUVO
program.
In the Q-series, the holonomy of radial closure cycles quantized the
principal quantum number .
In QM5, the holonomy of azimuthal rotation paths quantized the magnetic
quantum number
In QM7, the holonomy of exchange paths in configuration space quantizes
the exchange parity
All three quantization results have the same geometric origin: on a
closed path in the relevant configuration space, the accumulated transport
phase must be a multiple of
The discreteness of the quantum spectrum is, in the NUVO framework, a
universal consequence of the holonomy structure of the transport closure
system rather than a separately postulated feature of each physical
sector.
QM8 will add a fourth instance: the holonomy of the double-cover exchange
path on quantizes the spin quantum number
The two-particle Hilbert space is the mathematical structure that
represents a physical system consisting of two distinct transport closure
configurations, each with its own spatial degrees of freedom.
The present section constructs this space as the tensor product
establishes its inner product, complete orthonormal basis, and isomorphism
with
and derives the observable algebra on the product space.
The construction is mathematical throughout: no new physical input beyond
the single-particle Hilbert space of QM1 is required, and
the multi-particle structure emerges from the algebraic properties of the
tensor product operation.
The tensor product
is built from the single-particle Hilbert space in two
steps: first the algebraic tensor product, a vector space, then its
completion to a Hilbert space.
Definition. Algebraic tensor product.
The algebraic tensor product is the
vector space over generated by formal products
for
subject to the bilinearity relations
and
for all
and
A general element of is a finite linear
combination
Remark.
The formal product
is not the pointwise product of functions: it is a new abstract object
representing the pair of single-particle states,
with the bilinearity relations encoding the physical requirement that
scaling or superposing one particle's state is equivalent at the
two-particle level.
Not every element of is a simple tensor
the linear combinations
that do not reduce to a single product are the entangled states,
which have no factorized form.
The existence of entangled states---and its physical consequences---is
the central new feature of the multi-particle framework.
The algebraic tensor product
is equipped with an inner product extending the single-particle inner
product, and then completed to a Hilbert space.
Definition. Two-particle Hilbert space.
The two-particle inner product on is
defined on simple tensors by
Equation. Tensor product inner product.
and extended by sesquilinearity to all of
The two-particle Hilbert space is
Equation. Two-particle Hilbert space.
the completion of with respect to the norm
Simple tensors in are denoted
Remark.
The extension of the tensor product inner product from simple tensors to
all of
by sesquilinearity must be verified to be well-defined and positive
definite.
Well-definedness follows from the universal property of the algebraic
tensor product: the assignment
is separately antilinear in and linear in , so it
factors through the algebraic tensor product consistently with the
bilinearity relations above.
Positive definiteness means
implies
in ; this follows from the positive
definiteness of the single-particle inner products and the definition of
the algebraic tensor product.
Proposition. Orthonormal basis and position-space isomorphism of .
Let
be a complete orthonormal basis for .
Then the family
is a complete orthonormal basis for , satisfying
Equation. Tensor product orthonormality.
and every
expands as
Equation. Tensor product basis expansion.
with
The resolution of the identity on is
Equation. Tensor product resolution of the identity.
Furthermore,
with the isomorphism given by
Equation. Tensor product position-space representation.
for simple tensors, extended by linearity and closure to all of
.
Proof.
Orthonormality.
By the tensor product inner product and the orthonormality of
:
Completeness.
Every simple tensor
expands as
and
giving
with
General elements of , finite linear combinations of
simple tensors and their limits, expand similarly, since the span of
is dense in by the density of simple tensors.
Isomorphism with .
The map
is an isometric isomorphism: it preserves the inner product, since
The image of the product orthonormal basis
is a complete orthonormal basis for
establishing surjectivity.
Remark.
The isomorphism
has a concrete physical interpretation: the two-particle closure state
is a complex-valued square-integrable function
of the positions of both transport closure configurations
simultaneously.
The closure density is
a function on , and by the Born frequency law of QB6,
extended to by the same argument as QM1 extended it
to , this gives the asymptotic joint event frequency at
positions
in the detection region.
For a simple tensor state
the joint event frequency factorizes as
the two configurations are statistically independent.
For an entangled state that does not factorize, the joint event frequency
does not separate, and the two configurations are statistically
correlated.
Physical observables in the two-particle system are either
single-particle observables, acting on one particle's degree of freedom,
or genuine two-particle observables, acting on both simultaneously.
The algebra of these observables on is derived here.
Definition. Single-particle observables on .
For a self-adjoint operator on , the extensions to
particle 1 and particle 2 on are:
Equation. Single-particle observable extensions.
Their action on simple tensors is:
Equation. Single-particle observable action.
Proposition. Commutativity of particle-1 and particle-2 observables.
For any self-adjoint operators and on :
Equation. Tensor-factor commutation.
In particular, all observables of particle 1 commute with all observables
of particle 2.
Proof.
On any simple tensor , using the
single-particle observable action:
while
Both give the same result, so
Since simple tensors are dense in and the commutator
is bounded for bounded and , and for unbounded operators the
argument extends to the common domain, the result holds on all of
.
Remark.
The preceding proposition expresses a fundamental physical principle:
observables of two independent transport closure configurations do not
interfere with each other.
This is the precise sense in which the tensor product structure encodes
physical independence: particle 1 and particle 2 can be measured
simultaneously without any algebraic constraint between their
measurements.
The contrast with the single-particle case is instructive: within one
particle, position and momentum do not commute,
reflecting the intrinsic quantum uncertainty.
Between particles, position of particle 1 and momentum of particle 2 do
commute,
reflecting the independence of the two closure configurations.
This independence can be broken by interactions: if the Hamiltonian
contains a term
coupling the two particles, the time evolution will generate
correlations between them, and a state that initially factorizes may
evolve into an entangled state.
Proposition. Two-particle Hamiltonian structure.
For two-particle systems with Hamiltonians
and
and an interaction potential depending on both particle
positions, the two-particle Hamiltonian is:
Equation. Two-particle Hamiltonian.
on .
For , non-interacting particles, the spectrum of
is the set of all sums
where and are eigenvalues of on
, and the corresponding eigenstates are simple tensors
Proof.
For :
Completeness of
in gives the complete spectral decomposition.
Remark.
The preceding proposition shows that in the non-interacting case the
eigenstates are simple product tensors: no entanglement is generated by
a non-interacting Hamiltonian from an initially product state.
The interaction term breaks this product structure: it
couples the two particles and can generate entanglement under the time
evolution
The coupled harmonic oscillator of Section 7 is the canonical example:
the coupling
is an interaction of exactly this form, and the ground state of the
coupled system is entangled for
The precise characterization of entanglement---its quantification, the
Schmidt decomposition, and the Bell inequality structure---is developed
in QM9.
The present paper introduces entanglement in the coupled oscillator
analysis but does not develop its full theory.
The two-particle construction generalizes straightforwardly to
particles.
Definition. -particle Hilbert space.
The -particle Hilbert space is
Equation. -particle Hilbert space.
with inner product
extended by sesquilinearity.
The position-space isomorphism is
with product states represented as
Remark.
The -particle Hilbert space
grows rapidly with : a complete orthonormal basis for
requires a countably infinite family
indexed by -tuples.
For identical particles, the physical subspace is much smaller:
, bosons, symmetric under all
permutations of particles, or ,
fermions, antisymmetric under all permutations.
The Fock space of Section 6 provides the natural framework for
organizing these physical subspaces across all particle numbers
simultaneously.
The two-particle Hilbert space constructed in
Section 3 contains all square-integrable functions of two particle
positions, including states that are neither symmetric nor antisymmetric
under the exchange of the two particles.
For systems of two identical transport closure configurations, however,
not all of is physically accessible: the
indistinguishability of the configurations restricts the physical states
to a specific subspace.
The present section introduces the exchange operator
that implements particle exchange on , derives its
eigenvalues and eigenspaces by elementary algebra, and constructs the
symmetrization and antisymmetrization projectors that select the
physically accessible subspaces.
The physical constraint that determines which subspace is occupied by a
given particle type is the content of Section 5; the present section
establishes the mathematical structure that makes that constraint precise.
Definition. Exchange operator.
The exchange operator on is defined
on simple tensors by
Equation. Exchange operator definition.
and extended by linearity and continuity to all of .
In position space, this reads
Equation. Exchange operator in position space.
i.e., the exchange operator swaps the position arguments of the
two-particle wave function.
Proposition. Properties of the exchange operator.
The exchange operator on is:
Bounded:
Self-adjoint:
Unitary:
Involutory:
Proof.
Bounded.
For any simple tensor,
So is an isometry on simple tensors, hence bounded with
on all of by density.
Self-adjoint.
For simple tensors and
:
while
Both expressions are equal, confirming
on simple tensors, hence on all of by
sesquilinearity and density.
Unitary.
This follows from self-adjointness and the involutory property:
Involutory.
For any simple tensor:
so
on simple tensors and hence on all of .
Remark.
The exchange operator transforms single-particle
observables by swapping the particle labels.
For any self-adjoint operator on :
Equation. Exchange transforms particle observables.
This is verified by computing
This relabeling property will be central in Section 5: for a system of
indistinguishable particles, any physical observable must be
symmetric under particle exchange,
because the labeling of particle 1 versus particle 2 carries no physical
meaning.
The involutory property
severely constrains the spectrum of .
Proposition. Spectrum and eigenspace decomposition of .
The spectrum of the exchange operator is
The corresponding eigenspaces are:
Equation. Symmetric subspace.
and
Equation. Antisymmetric subspace.
Moreover,
as an orthogonal direct sum.
Proof.
Spectrum.
If
for some , then
giving
so
Both values are achieved: for any
with , the states
and
are non-zero eigenstates with eigenvalues and respectively.
Orthogonality of eigenspaces.
For
and
using self-adjointness of :
Therefore
Decomposition.
Any
decomposes as
The first term lies in , since
The second term lies in , since
This proves the orthogonal direct sum decomposition.
Remark.
Explicit elements of and
for a given orthonormal basis
of are:
Symmetric states, in :
For ,
is already symmetric. For ,
is a normalized symmetric combination.
Antisymmetric states, in :
For ,
is a normalized antisymmetric combination. For ,
so there is no antisymmetric state with both particles in the same
mode.
The last observation---that there is no non-zero antisymmetric state
with both particles in the same single-particle mode---is the Pauli
exclusion principle, derived in Section 5 from the antisymmetry of
fermionic states.
The orthogonal projectors onto and
are determined by the spectral decomposition
of .
Proposition. Symmetrization and antisymmetrization operators.
The operators
Equation. Symmetrization and antisymmetrization operators.
are the orthogonal projectors onto and
respectively, satisfying:
and
Their action on product states is:
Equation. Symmetrization action.
and
Equation. Antisymmetrization action.
Proof.
Projector properties.
using
Similarly,
Self-adjointness.
From
one has
and similarly for .
Partition of unity and orthogonality.
Also,
Actions.
The action formulas follow directly from the exchange-operator definition
and the symmetrization/antisymmetrization definitions.
Remark.
The symmetrized and antisymmetrized product states of the previous
remark are not normalized when if one uses
and directly; their norm is
rather than .
The normalized symmetric and antisymmetric two-particle states built
from orthonormal basis elements are:
Equation. Normalized symmetric product.
and
Equation. Normalized antisymmetric product.
These are the normalized building blocks of the bosonic and fermionic
two-particle Hilbert spaces.
The antisymmetric product
is the two-particle Slater determinant:
Equation. Two-particle Slater determinant.
the standard antisymmetric two-particle wave function of fermionic
quantum mechanics, derived here from the antisymmetrization operator
rather than postulated.
Remark.
The symmetrization and antisymmetrization for particles generalizes
by replacing , transposition of two elements, with the full
permutation group acting on .
The symmetric subspace consists of
states invariant under all permutations, and the antisymmetric
subspace consists of states that pick
up the sign of the permutation, the signature
for .
For ,
has only two elements and one non-trivial transposition, giving exactly
the and of the preceding proposition.
The -particle Slater determinant is the antisymmetric product of
single-particle states
and the -particle permanent is the symmetric product; both are derived
from the -particle symmetrization operators.
The present paper treats the case in detail and uses the Fock space
of Section 6 for the general case.
The exchange operator and its eigenspaces
and are
mathematical structures available for any two-particle Hilbert space
, regardless of whether the two particles are
identical.
For distinguishable particles---two different species of transport
closure configuration---the full space
is physically accessible, and no exchange symmetry constraint applies.
For indistinguishable particles---two transport closure configurations
of the same type, with identical internal structure---the holonomy
quantization principle of the Q-series imposes a constraint: the physical
states must lie entirely within or entirely
within , and the choice is a fixed property
of the particle type.
The present section derives this exchange symmetry constraint, establishes
the boson-fermion dichotomy as a theorem, and derives the Pauli exclusion
principle as its most immediate corollary.
The concept of indistinguishability requires precise definition in the
NUVO transport closure framework.
Definition. Indistinguishable transport closure configurations.
Two transport closure configurations are indistinguishable if no
observable of the scalar--conformal exchange-sector transport system can
distinguish one from the other: for every self-adjoint observable
on that is a function of the transport
closure variables of the system, the expectation value of in
the state is equal to the expectation value in the exchanged state
:
Equation. Indistinguishability condition.
Remark.
The indistinguishability condition is a statement about the transport
closure geometry, not about experimental precision.
Two configurations are indistinguishable not because they are difficult
to distinguish experimentally but because the scalar--conformal transport
system contains no physical variable that assigns a label to one
configuration versus another.
If both configurations have the same type of transport closure loop,
same charge, same mass, same internal structure, there is no
exchange-sector observable that can tell them apart.
The labeling “particle 1” and “particle 2” is a mathematical convenience
with no physical content; any physical statement must be invariant under
the relabeling.
Proposition. Indistinguishability implies exchange invariance of observables.
If two transport closure configurations are indistinguishable in the
sense of the preceding definition, then every physical observable
on commutes with the exchange operator:
Equation. Observables commute with exchange.
Proof.
For any normalized
the indistinguishability condition gives
Using
this becomes
Since this holds for all , the operators and
have identical expectation values in all states, hence are equal as
operators:
Multiplying on the left by and using
gives
which is the stated commutation relation.
Remark.
The preceding proposition implies that is a
superselection operator: every physical observable commutes with it.
Consequently, the eigenspaces , eigenvalue
, and , eigenvalue , are
superselection sectors---subspaces that are mapped to themselves by all
physical observables and between which no physical process can create a
coherent superposition.
A state
with
and
both non-zero has
with no cross-terms
surviving.
Indeed,
but also
forcing the cross term to vanish.
This means the symmetric and antisymmetric sectors are completely
physically decoupled: no physical process can prepare, measure, or evolve
across the boundary between them.
The exchange symmetry constraint---whether the physical states of
identical particles lie in or
---is determined by the holonomy of a
specific path in the configuration space of the two-particle system.
Definition. Exchange path.
For two indistinguishable transport closure configurations at positions
and
an exchange path is a continuous path in configuration space
that takes the configuration
continuously to the configuration
Remark.
For distinguishable particles, the exchange path connects two distinct
points in configuration space:
is physically different from
and the exchange path is an open arc in
For indistinguishable particles, the configuration
and the configuration
are physically identical, so the exchange path connects a configuration
to itself.
It is therefore a closed path in the physical configuration space,
which for identical particles is not
but the symmetrized product
the quotient that identifies
with
The fundamental group of this symmetrized configuration space is
reflecting the two topologically distinct types of exchange paths:
those that can be continuously deformed to the identity, trivial holonomy
, and those that cannot, holonomy .
Theorem. Exchange symmetry from holonomy quantization.
For a system of two indistinguishable transport closure configurations,
the closure state must satisfy
Equation. Exchange eigenstate condition.
where is the exchange parity of the particle type.
States with , bosonic configurations, lying in
, are symmetric under exchange; states with
, fermionic configurations, lying in
, are antisymmetric.
The exchange parity is derived from the holonomy of the exchange path in
the physical configuration space
applying the exchange operation twice returns to the initial state,
requiring
Equation. Exchange parity squared.
which selects
Proof.
Step 1: Physical states must be exchange eigenstates.
By the exchange-invariance proposition, commutes with all
physical observables.
Since is self-adjoint with spectrum , the
physical Hilbert space decomposes as
A state
with
and
both non-zero would lie in neither eigenspace.
By the superselection argument above, the cross-terms
vanish for all physical , so the components and
evolve and are measured independently---they represent
distinct physical states that happen to be described by the same
mathematical vector.
For a pure state of identical particles, the physical state occupies
exactly one superselection sector.
Step 2: The exchange parity from the holonomy condition.
Consider the transport closure state of the two-particle system
as a function on the physical configuration space
The exchange path is a closed loop in this space.
The holonomy of is the phase accumulated by as
is traversed:
By the Q-series holonomy quantization principle, the accumulated phase
along any closed transport closure path must be quantized.
Traversing the exchange loop twice returns to the initial configuration:
giving
hence
The only solutions are
and
Step 3: is a fixed invariant of the particle type.
Since is a topological invariant of the exchange path in
it cannot change under continuous deformation of the path.
It is therefore a fixed property of the particle type, the same for all
states of a given species of indistinguishable transport closure
configuration.
Remark.
The exchange symmetry theorem establishes that the exchange parity
is a fixed invariant of the particle type.
It does not, however, determine which specific particle types have
bosons and which have
fermions.
In the standard quantum-mechanical framework, this is answered by the
spin-statistics theorem: particles with integer spin are bosons and
particles with half-integer spin are fermions.
In the NUVO program, this connection requires the relativistic framework:
the full spin-statistics theorem is a consequence of the relativistic
transport closure structure and will be derived in the RQM-series.
What QM7 establishes is the structural dichotomy---every identical
particle system has a definite exchange parity ---and the
consequences of each choice: symmetry and bosonic statistics for
; antisymmetry, fermionic statistics, and Pauli exclusion for
are derived in the remainder of the present section.
Remark.
The restriction
in three spatial dimensions is a consequence of the topology of the
symmetrized configuration space
its fundamental group is
which has only two elements, corresponding to the two possible
holonomies and .
In two spatial dimensions, the configuration space
has fundamental group
the braid group, which is infinite, and the holonomy can take any value
for
Particles in two dimensions with
are called anyons, any statistics.
The scalar--conformal NUVO program operates in three spatial dimensions,
so anyons do not arise; the full anyon structure requires a
two-dimensional transport closure system and is outside the scope of the
present paper.
The Pauli exclusion principle---the impossibility of two identical
fermions occupying the same single-particle state---follows immediately
from the antisymmetry of fermionic states.
Corollary. Pauli exclusion principle.
For two indistinguishable fermionic transport closure configurations,
, the two-particle closure state
satisfies
whenever both configurations occupy the same single-particle state
Equivalently:
Equation. Pauli exclusion.
Proof.
By the antisymmetrization action:
Remark.
The Pauli exclusion principle, derived in two lines from the antisymmetry
of fermionic states, is a structural theorem in the NUVO framework rather
than a separate postulate.
Its physical content in transport closure language is: if two
indistinguishable fermionic transport closure configurations were to
occupy the same spatial closure mode , the antisymmetrized state
would be identically zero---not a state of small amplitude, but a zero
vector, i.e., no such physical state exists.
The exclusion is therefore not a rule imposed on the system but a
consequence of the topology of the exchange path: the holonomy
produces antisymmetric states, and antisymmetric states with
both particles in the same mode simply do not exist in the Hilbert space.
Remark.
The Pauli exclusion principle has profound consequences for the structure
of matter that propagate throughout the QM-series.
For two fermionic configurations in distinct modes
the antisymmetric two-particle state
is non-zero.
The structure of atomic energy levels, the periodic table, the stability
of matter, and the Fermi-Dirac statistics of many-fermion systems all
follow from the exclusion principle combined with the single-particle
energy levels of the relevant Hamiltonian.
In the QM-series, the most immediate application is the electronic
structure of atoms, QM8: spin-orbit coupling and the aufbau principle,
and the fermionic Fock space of Section 6.
The two-particle Hilbert space describes systems with
exactly two transport closure configurations.
Physical systems in which the number of configurations is not fixed---
systems that can emit or absorb configurations, or systems that are most
naturally described in terms of occupation numbers rather than labeled
particle positions---require a state space that accommodates all
particle numbers simultaneously.
The Fock space
is this structure: a direct sum of zero-particle, one-particle,
two-particle, and higher spaces, with a vacuum state spanning the
zero-particle sector and creation and annihilation operators that move
between sectors by adding or removing one configuration at a time.
The present section constructs the Fock space, introduces the creation
and annihilation operators and derives their commutation or
anticommutation relations, and establishes the number operator and the
structure of multi-mode Fock states.
Definition. Fock space.
The Fock space over is the Hilbert space direct sum
Equation. Fock space.
where
is the vacuum sector and
for
An element of is a sequence
with
for each and
The inner product on is
Equation. Fock space inner product.
The vacuum state is the element with
and
for
normalized as
Definition. Bosonic and fermionic Fock spaces.
The bosonic Fock space is
Equation. Bosonic Fock space.
where
and is the fully symmetrized
-particle subspace for .
The fermionic Fock space is
Equation. Fermionic Fock space.
where
and is the fully antisymmetrized
-particle subspace for .
By the exchange symmetry theorem, physical bosonic systems have states
in and physical fermionic systems have states in
.
Remark.
The full Fock space carries a natural particle number
operator
Equation. Total particle number operator.
which multiplies the -particle component by .
The eigenspaces of are exactly the individual
particle-number sectors .
A state in a definite -particle sector is an eigenstate of
with eigenvalue .
A superposition of states from different sectors has indefinite particle
number; the expectation value
gives the mean particle number.
The Fock space accommodates both definite-number and indefinite-number
states within a single Hilbert space.
For a fixed single-particle mode
the creation and annihilation operators add and remove one configuration
in state .
Definition. Creation and annihilation operators on Fock space.
Let
be a normalized single-particle state.
The creation operator on ,
bosons, or , fermions, is defined on the -particle
sector by
Equation. Fock-space creation operator.
where is used for bosons and for fermions,
and the normalization ensures that the creation operator on
the Fock space is the adjoint of the annihilation operator.
The annihilation operator
removes one configuration in state from the -particle sector,
mapping to the -particle sector.
In terms of an orthonormal basis
of , the mode operators are
and
Theorem. Bosonic CCR and fermionic CAR on Fock space.
For an orthonormal basis
of , the mode creation and annihilation operators satisfy:
Bosonic canonical commutation relations, CCR:
Equation. Bosonic canonical commutation relation.
and
Equation. Bosonic zero commutators.
Fermionic canonical anticommutation relations, CAR:
Equation. Fermionic canonical anticommutation relation.
and
Equation. Fermionic zero anticommutators.
where
is the anticommutator.
In both cases, the vacuum is annihilated:
for all .
Proof.
Bosonic CCR.
The bosonic mode operators act on the symmetrized
-particle sector using the
Fock-space creation-operator definition with .
For the same mode , the action on the vacuum gives
a one-particle state, and
so
For the general Fock state
with occupation numbers particles in mode :
and
giving
for all occupation number states.
Since occupation number states span , the CCR
holds.
For , modes act on different single-particle factors; by the
independence of operators on different tensor factors,
The vanishing commutators
follow from symmetry of the bosonic product and the anti-Hermitian
nature of
which combined with the bosonic CCR gives zero.
Fermionic CAR.
For the same mode in the fermionic case, the antisymmetry of
and the Pauli exclusion principle
give
because two particles cannot be created in the same mode.
The anticommutator
acts on a state
with
since is forbidden by Pauli.
For
and
so the sum is
For
and
so the sum is
In both cases,
confirming the fermionic CAR for .
For , the antisymmetry of
under mode exchange combined with the definition of gives
because modes in different positions anticommute under the
antisymmetrization.
The anticommutators
follow from
for , by Pauli, and the antisymmetry for .
Remark.
The single-mode bosonic CCR
of the preceding theorem is precisely the single-mode commutation
relation
of QM6, with the mode index specifying which single-particle state is
being occupied.
The QM6 harmonic oscillator is therefore the single-mode bosonic Fock
space with mode frequency
the Fock states of QM6 are the occupation number states
of the -th mode, and the QM6 Hamiltonian
is the single-mode restriction of the many-mode Hamiltonian
The Fock space of the present section is therefore the natural
multi-mode generalization of the QM6 single-mode oscillator, not a new
structure.
The complete orthonormal basis for and
is provided by the occupation number states.
Definition. Occupation number states.
For an orthonormal basis
of , the bosonic occupation number state with
particles in mode for each is
Equation. Bosonic occupation number state.
where the product is understood to act in order and only finitely many
are non-zero.
The fermionic occupation number state is
Equation. Fermionic occupation number state.
where the Pauli exclusion principle restricts each occupation number to
in the fermionic case.
Proposition. Fock basis and ladder actions.
The occupation number states form a complete orthonormal basis for
and respectively.
The ladder operators act on them as follows.
Bosonic:
Equation. Bosonic creation action.
and
Equation. Bosonic annihilation action.
Fermionic:
Equation. Fermionic creation action.
and
Equation. Fermionic annihilation action.
The mode number operators
satisfy
in both cases.
Proof.
Bosonic.
The matrix elements for the bosonic creation and annihilation actions
are the multi-mode generalization of QM6 Proposition 4.3, derived by the
same normalization argument:
Different modes are unaffected by .
Fermionic.
The sign factor
in the fermionic creation and annihilation actions arises from the
antisymmetry of the fermionic Fock space: to add a particle in mode ,
it must be moved past all the particles in modes that are already
occupied, each transposition generating a sign .
The factor
counts the total sign from commuting the new particle through all
lower-mode occupants.
The mode number operator result follows directly from the definition
and the ladder actions.
Orthonormality and completeness of the occupation number states follow
from the completeness of in and the
construction of and as the
completions of the respective algebraic structures.
Remark.
The sign factor
in the fermionic ladder actions is known as the Jordan-Wigner factor.
It is the precise expression of the antisymmetry of the fermionic Fock
space at the level of the creation and annihilation operators: it ensures
that the operators satisfy the CAR
with the correct signs.
The Jordan-Wigner factor depends on the ordering of the modes and is
therefore conventional; different mode orderings give equivalent
descriptions.
For the physical applications in QM8--QM11, the mode ordering is fixed
by the energy eigenvalue ordering, and the Jordan-Wigner factors are
computed with respect to that ordering.
Proposition. Fock space as extension of fixed- theory.
The -particle sector , bosons, or
, fermions, sits inside the Fock space
as the eigenspace of with eigenvalue .
The bosonic occupation number state
with
corresponds to the symmetrized -particle state in
with particles in each mode
.
Explicitly, for with modes :
Equation. Two-particle bosonic Fock state.
and
Equation. Two-particle fermionic Fock state.
where and are
the normalized two-particle states of the normalized symmetric and
antisymmetric products.
Proof.
For bosons,
Using the creation operator definition,
Since
the result is
The fermionic case is identical with replaced by
and a sign convention fixed by the mode ordering.
Remark.
The preceding proposition confirms that the Fock space formalism is not a
replacement for the fixed- tensor product theory but its extension.
For systems with a fixed, conserved particle number , the physics lies
entirely within the -particle sector , and the Fock
space formalism reduces to the fixed- theory of Sections 3--5.
The Fock space becomes essential when the particle number is not fixed:
for the coupled oscillator of Section 7, where the normal modes have
definite energy but can be in any Fock state
with varying total excitation number; for photon emission and absorption
in QM10, where the radiation field has variable photon number; and for
the quantum field theoretic extensions of the RQM-series.
The key new content of the Fock space formalism---the CCR and CAR of the
Fock-space operator theorem---provides the algebraic framework for all of
these applications.
The coupled harmonic oscillator is the canonical two-body model of the
QM-series: it is the simplest system in which the tensor product structure
of Section 3, the Fock space algebra of Section 6, and the single-particle
oscillator theory of QM6 all interact in a single derivation.
The system consists of two particles of equal mass , each bound to its
own harmonic potential with frequency , and coupled by a bilinear
interaction
The coupling is exactly of the form described in the interaction
entanglement remark: it is a genuine two-particle observable that breaks
the product structure of the non-interacting Hamiltonian and generates
entanglement in the ground state.
The strategy for solving the coupled system is the same strategy used in
QM5 for the hydrogen atom: a coordinate transformation that simplifies
the potential.
There, the transformation from laboratory coordinates to center-of-mass
and relative coordinates reduced a two-body Coulomb problem to a one-body
problem in the reduced mass.
Here, the normal mode transformation---a linear canonical
transformation---decouples the coupled oscillator into two independent
oscillators, each governed by the QM6 theory with a modified frequency.
Definition. Coupled harmonic oscillator Hamiltonian.
The coupled harmonic oscillator Hamiltonian for two particles of mass
and natural frequency , with bilinear coupling constant
, is
Equation. Coupled oscillator Hamiltonian.
acting on
where and are the position and momentum
operators for particle , extended to via the
single-particle observable definition.
The coupling satisfies
ensuring that the normal mode frequencies are real.
Remark.
The coupled oscillator potential
is a quadratic form in , positive definite for
since the matrix
is positive definite under this condition.
A positive definite quadratic potential is a Kato-class potential on
, so is self-adjoint on the
Sobolev domain
by QM4 Theorem 4.2.
Stone's theorem gives the strongly continuous unitary time evolution
well-defined on for all
The decoupling is achieved by passing to normal mode coordinates, which
diagonalize the potential energy matrix of the coupled system.
Definition. Normal mode coordinates.
The normal mode coordinates and their conjugate momenta are defined by
the orthogonal transformation:
Equation. Plus normal mode coordinate and momentum.
Equation. Minus normal mode coordinate and momentum.
The inverse transformation is
Equation. Inverse normal mode transformation.
Lemma. Normal mode CCR.
The normal mode operators satisfy the canonical commutation relations:
Equation. Normal mode canonical commutation relations.
and
Equation. Normal mode cross commutators.
and all other commutators among
vanish.
Proof.
The normal mode operators are orthogonal linear combinations of the
original position and momentum operators.
Using the original CCR and the cross-particle commutators:
Similarly,
The cross-commutators satisfy
The remaining commutators vanish by the same linearity and
cross-particle commutation relations.
Remark.
The normal mode CCR lemma establishes that the normal mode transformation
is a canonical transformation: it maps the original canonical pairs
to new canonical pairs and
, preserving the commutation structure.
The two normal mode pairs are independent in the algebraic sense:
operators of the mode commute with operators of the mode.
This independence is the algebraic expression of the physical decoupling:
after the transformation, the mode and the mode do not interact.
Proposition. Decoupling of the coupled oscillator.
In normal mode coordinates, the coupled oscillator Hamiltonian separates
as
Equation. Decoupled coupled oscillator Hamiltonian.
where
Equation. Plus normal mode Hamiltonian.
and
Equation. Minus normal mode Hamiltonian.
with normal mode frequencies
Equation. Normal mode frequencies.
Both frequencies are real for
Proof.
Substitute the inverse normal mode transformation into the coupled
oscillator Hamiltonian.
Kinetic energy:
Potential energy:
For the coupling term, using the inverse transformation:
Combining the potential terms:
where
and
Assembling the kinetic and potential terms gives
Positivity of and for
is immediate from the definition.
Remark.
The two terms and commute with each other,
since involves only and while
involves only and .
The mode describes in-phase oscillation of the two particles:
and move together, is large, and
, with frequency
The coupling stiffens the in-phase mode.
The mode describes out-of-phase oscillation: and
move oppositely, is large, and , with frequency
The coupling softens the out-of-phase mode.
The limiting case
recovers
two decoupled oscillators with the same frequency, as expected.
The case
gives
the out-of-phase mode has zero frequency, corresponding to a flat
potential in the relative coordinate and a free relative motion, with no
restoring force.
Theorem. Complete spectrum of the coupled oscillator.
The coupled harmonic oscillator has the
complete discrete spectrum
Equation. Coupled oscillator spectrum.
with corresponding eigenstates
Equation. Coupled oscillator eigenstates.
where and are the QM6
Hermite-Gaussian eigenstates of frequency and
respectively.
The ground state energy is
Equation. Coupled oscillator ground energy.
which reduces to
when
two decoupled oscillators each contributing
Proof.
By the decoupling proposition,
with
Each is a single-mode harmonic oscillator Hamiltonian
with frequency or , acting on the normal mode
coordinates and respectively, each
satisfying the CCR.
By QM6 Theorem 4.1 applied to each mode independently,
and
Since and act on independent factors, the
eigenvalues of
are all sums
and the eigenstates are products
Completeness of the product eigenstates in follows
from the completeness of each set
in
Remark.
In terms of normal mode ladder operators defined via QM6 Definition 3.1
applied to each mode:
Equation. Normal mode ladder operators.
with adjoints
and
the decoupled Hamiltonian takes the form
Equation. Coupled oscillator Fock form.
by QM6 Theorem 3.2 applied to each mode.
The Fock state
is the eigenstate with the coupled oscillator spectrum above.
The ladder operators satisfy
and
The ground state of the coupled oscillator is a Gaussian in
the normal mode coordinates and hence in the original
coordinates .
Whether it is entangled depends on whether it factorizes as a product in
the original particle coordinates.
Proposition. Ground state entanglement for .
The coupled oscillator ground state in original coordinates is:
Equation. Coupled oscillator ground state.
where
is the normalization constant.
For
equivalently,
this state does not factorize as
and is therefore entangled.
For
equivalently,
the ground state factorizes as
and is a product state.
Proof.
The ground state in normal mode coordinates is the product Gaussian:
where
Substituting
and
gives
giving the coupled oscillator ground state.
Entanglement for .
Expanding the exponent:
The cross term
vanishes if and only if
i.e.,
When the cross term is present, the exponent does not separate as
so
does not factorize as
the ground state is entangled.
For
one has
the cross term vanishes, and
the ground state is a product.
Remark.
The ground state entanglement proposition is the first concrete
demonstration of entanglement in the QM-series.
The coupled oscillator ground state is a two-mode Gaussian state that is
entangled for any non-zero coupling
no matter how small.
An infinitesimally small coupling generates a non-factorizable ground
state: entanglement is not a threshold phenomenon but arises for
arbitrarily weak interactions.
The degree of entanglement, measured by the Schmidt number or the von
Neumann entropy of the reduced density matrix, to be defined in QM9,
grows monotonically with
from zero, product state at , to maximal entanglement as
where
and the relative mode becomes delocalized.
The full entanglement theory---Schmidt decomposition, entanglement
entropy, separability criteria---is developed in QM9 using the tensor
product framework of Section 3 as its foundation.
Remark.
The decoupling proposition can alternatively be formulated in terms of
center-of-mass and relative coordinates:
Equation. Center-of-mass and relative coordinates.
with total mass
and reduced mass
The Hamiltonian separates as
where
is a harmonic oscillator of mass and frequency , the coupling
does not affect the center-of-mass, and
is a harmonic oscillator of mass and frequency
The normal mode coordinates
and
are related to the center-of-mass and relative coordinates by a scaling,
confirming consistency between the two formulations.
This center-of-mass/relative separation is the direct two-body analogue
of the reduction from the two-body hydrogen atom to the one-body problem
in the reduced mass established in QM4--QM5, and it is the prototype for
the two-body scattering analysis of QM10.
The angular momentum of a two-particle system is the sum of the angular
momenta of its constituent particles.
In the single-particle setting of QM5, the angular momentum operators
generate rotations of the single-particle configuration
space , and the holonomy quantization of the azimuthal
closure path selects integer values for the magnetic quantum number.
In the two-particle setting of the present paper, the rotation of the full
configuration space
is generated by the total angular momentum, which is the sum of the
single-particle generators acting on each factor of the tensor product.
The present section establishes the algebra of the total angular momentum
operators, identifies the total angular momentum squared and its third
component as the natural quantum numbers for the two-particle system,
and records the structure of the Clebsch-Gordan decomposition---the
decomposition of the tensor product of two angular momentum multiplets
into irreducible representations.
The full derivation of the Clebsch-Gordan coefficients requires a
systematic treatment of the representation theory that
is beyond the scope of the present paper; the structure theorem is
established here and the explicit coefficients are deferred.
Definition. Total angular momentum of a two-particle system.
For a two-particle system on
the total angular momentum operators are
Equation. Total angular momentum.
where
and
are the single-particle extensions of the single-particle observable
definition.
The total angular momentum squared is
Equation. Total angular momentum squared.
Theorem. Total angular momentum algebra.
The total angular momentum operators satisfy the
commutation algebra:
Equation. Total angular momentum algebra.
and consequently
for all .
Proof.
Expand the commutator using the total angular momentum definition:
The cross-particle commutators vanish by the tensor-observable
proposition:
The single-particle commutators follow from the QM5 algebra, extended
to :
and
Summing gives
which is the total angular momentum algebra.
The commutativity
follows from the same algebraic identity as in QM5 Theorem 3.2 applied
to the total angular momentum algebra.
Remark.
The total angular momentum algebra theorem shows that the total angular
momentum satisfies the same algebra as the
single-particle angular momentum of QM5.
This means all the QM5 spectral theory applies to
: the eigenvalues of
are
and those of are
for some range of and values.
The new question is: what are the allowed values of for a system
with single-particle angular momenta and ?
The answer is the Clebsch-Gordan decomposition: ranges from
to
in integer steps.
The structure of reveals the two-particle
nature of the problem: it contains a genuine two-particle interaction
term that is not a tensor product of single-particle operators.
Proposition. Expansion of .
The total angular momentum squared on expands as:
Equation. Total angular momentum squared expansion.
where
and
are the single-particle angular momentum squared operators, and the
coupling term
is a genuine two-particle operator.
Proof.
Expand
using the total angular momentum definition:
Using
the two cross terms give
Summing over gives
Remark.
The operator
in the total angular momentum squared expansion is a sum of products of
single-particle angular momentum components, one from each particle.
It is not of the form
for any single pair of operators, since it involves a sum of three such
terms.
This operator is therefore a genuinely irreducible two-particle operator:
it cannot be expressed as a single simple tensor product
.
Its eigenvalues in the coupled basis are:
Equation. Dot-product eigenvalue.
obtained from the total angular momentum squared expansion by solving
for the cross term:
The eigenvalues
of determined by the Clebsch-Gordan
decomposition then give the dot-product eigenvalues directly.
This is the key simplification of the coupled basis: in the uncoupled
product basis
is not diagonal; in the
coupled basis
it is.
For the angular momentum addition problem, two natural orthonormal bases
exist on the tensor product space
Definition. Uncoupled and coupled bases.
The uncoupled basis is
for
and
consisting of
simultaneous eigenstates of
The coupled basis is
for
and
consisting of simultaneous eigenstates of
Equation. Coupled basis total angular momentum squared eigenvalue.
Equation. Coupled basis total third-component eigenvalue.
Equation. Coupled basis first angular momentum squared eigenvalue.
and
Equation. Coupled basis second angular momentum squared eigenvalue.
Both bases are complete orthonormal bases for the same
-dimensional space.
Remark.
The total magnetic quantum number
is conserved:
The constraint
holds in both bases and is the key organizing principle of the
Clebsch-Gordan decomposition: for fixed , only states with
contribute to the coupled state
The maximum value of is
which corresponds to
the state with
is unique and equals
The
lower bound is established by the dimension count of the Clebsch-Gordan
decomposition.
Proposition. Clebsch-Gordan decomposition: structure.
The tensor product of the angular momentum -multiplet
, dimension , and the
-multiplet , dimension
, decomposes as a direct sum of irreducible
representations:
Equation. Clebsch-Gordan decomposition.
where ranges in integer steps from
to
each multiplet has dimension , and the total
dimension is preserved:
Equation. Clebsch-Gordan dimension check.
The isomorphism is implemented by the Clebsch-Gordan coefficients
defined by
Equation. Clebsch-Gordan expansion.
with the constraint
expressing conservation of
Proof.
Dimension count.
The sum
contains
terms.
Taking
without loss of generality, the sum becomes
which evaluates by the arithmetic series formula:
using
Range of and the triangle rule.
The maximum eigenvalue of in the product
space is
achieved uniquely by
By the total angular momentum algebra theorem, the total angular
momentum algebra is the algebra, so
and the multiplet occupies
dimensions.
The remaining states in the product basis are distributed among smaller
multiplets
with the minimum value determined by the total dimension constraint:
after exhausting all multiplets from down to
the dimension count is exactly satisfied.
The explicit construction of the Clebsch-Gordan coefficients
via the ladder operator technique, applying
to the highest-weight state and using orthogonality, is deferred to the
full treatment.
Remark.
For the lowest non-trivial cases, the Clebsch-Gordan decomposition takes
explicit forms.
For
relevant for spin in QM8:
a triplet, , three states, and a singlet, , one state, total
dimensions.
For
the spin-orbit coupling case:
a quartet and a doublet, total
dimensions.
For
a quintuplet, triplet, and singlet, total
dimensions.
The first case,
is the primary input to QM8, where the spin degrees of freedom of two
particles are combined.
Remark.
The present paper establishes the structure of the Clebsch-Gordan
decomposition: the range of , the dimension count, the organization
into the coupled basis, and the form of the Clebsch-Gordan expansion.
The explicit values of the Clebsch-Gordan coefficients
---computed via the ladder operator method, tabulated for low quantum
numbers, and expressed in closed form via the Racah formula---are
deferred to the full treatment in QM8, where the spin- case
is the primary application.
The deferral is appropriate to the scope of the present paper: QM7 opens
the multi-particle sector and introduces the tensor product framework;
the angular momentum addition problem is a structural consequence of
applying that framework to the angular momentum sector
already established in QM5, and its full development belongs in the
context where it is first concretely needed---the spin theory of QM8.
The present section collects the interpretive constraints governing
the multi-particle analysis of the preceding sections and records
the precise boundary between what the present paper establishes and what
is deferred to subsequent papers.
Three items are addressed: the status of the tensor product as a derived
rather than postulated structure, the scope of the exchange symmetry
derivation relative to the spin-statistics theorem, and the complete
inventory of what QM7 establishes and does not establish.
In the standard formulation of multi-particle quantum mechanics, the
statement that the state space of a composite system is the tensor product
of the state spaces of its parts is a separate postulate---the
composition postulate---added to the single-particle axioms.
The NUVO framework does not introduce this postulate.
Instead, the tensor product
is the structure that emerges from the requirement that two independent
transport closure configurations be described by a single Hilbert space
that:
contains the single-particle states of each configuration as subsystem
states,
assigns statistically independent joint distributions to uncorrelated
configurations, and
is consistent with the inner product and completeness of QM1.
The algebraic content of these three requirements is precisely the
universal property of the tensor product: the tensor product is the unique,
up to isomorphism, Hilbert space satisfying all three simultaneously.
The practical consequence of this derivation is the commutation relation
of the tensor-observable proposition, which holds not because it is
postulated but because operators on independent tensor factors cannot
fail to commute.
The physical independence of the two transport closure configurations
is expressed algebraically as the independence of their operators, and
the tensor product is the unique algebraic structure that enforces this
independence while respecting linearity and the inner product.
Entangled states---elements of
that do not factorize as
---are therefore not a separate postulate either: they are the states in
that are not simple tensors, and they exist because the Hilbert space
is the completion of the algebraic tensor product, which is larger than
the set of simple tensors.
The existence of entanglement is a mathematical consequence of the tensor
product structure, not an additional physical assumption.
The exchange-symmetry theorem establishes the following chain of results:
For indistinguishable transport closure configurations, the exchange
operator commutes with all physical observables.
The eigenspaces and
are superselection sectors.
Physical states of identical configurations must lie in one or the
other sector.
The holonomy of the exchange path in
is quantized to
by the constraint
The Pauli exclusion principle follows from the antisymmetry of
fermionic states.
This chain is complete and self-contained within QM7.
What QM7 does not establish is the connection between the exchange
parity and the particle's spin.
The spin-statistics theorem---that particles with integer spin have
bosons, and particles with half-integer spin have
fermions---is a result of relativistic quantum field theory.
Its proof requires the analyticity of the -point functions in the
relativistic framework, the TCP symmetry of local field theories, and the
structure of the relativistic transport closure system that is developed
in the RQM-series of the NUVO program.
QM7 correctly derives the dichotomy
and all its consequences, Pauli exclusion, bosonic and fermionic
statistics, Fock space CCR and CAR; it does not claim to connect
to spin without the relativistic framework.
This interpretive boundary is recorded explicitly because the
spin-statistics theorem is sometimes stated in non-relativistic quantum
mechanics as if it can be derived without relativistic input; the NUVO
program takes the position that the relativistic origin of the theorem
is essential and defers its derivation accordingly.
The present paper establishes the following results, which are available
as inputs to subsequent QM-series papers.
Tensor product Hilbert space structure:
The two-particle Hilbert space
with inner product; the product ONB
and isomorphism
the observable algebra
the non-interacting two-particle spectrum as sums of single-particle
eigenvalues; and the -particle generalization
Exchange operator and symmetry sectors:
The exchange operator with properties self-adjoint,
unitary, and
the eigenspace decomposition
the symmetrization and antisymmetrization projectors
and , and the Slater determinant as the
two-particle fermionic state.
Exchange symmetry from holonomy:
Indistinguishability implies
for all physical ; and
are superselection sectors; the exchange
parity
is derived from the holonomy of the exchange path; the Pauli exclusion
principle follows; and anyons are excluded in three dimensions.
Fock space and second quantization:
The Fock space
with vacuum , the bosonic Fock space and
fermionic Fock space , the creation and annihilation
operators on Fock space, the bosonic CCR
and fermionic CAR
the occupation number states and their ladder actions including the
Jordan-Wigner sign factors, and the connection between the Fock space
and the fixed- tensor product theory.
Coupled harmonic oscillator:
The normal mode transformation to
and
the canonical character of the transformation, the decoupling
with normal mode frequencies
and
the complete spectrum
and the entanglement of the ground state for
Angular momentum addition:
The total angular momentum algebra, the expansion
the coupled and uncoupled bases, and the Clebsch-Gordan decomposition
structure with dimension count.
The following topics are outside the scope of the present paper and are
explicitly deferred.
Clebsch-Gordan coefficients.
The explicit values of
the Racah formula, the Wigner symbols, and the orthogonality and
completeness of the CG coefficients are deferred to QM8, where the
case is the primary application.
Quantum statistics.
The Bose-Einstein distribution for bosons and the Fermi-Dirac distribution
for fermions in thermal equilibrium are derived from the Fock space
structure of the present paper combined with the thermodynamic framework
developed in the statistical mechanics extension of the QM-series.
The spin-statistics theorem.
The connection between integer spin and bosonic statistics, and
half-integer spin and fermionic statistics, requires the relativistic
transport closure framework of the RQM-series.
Three or more particle systems in detail.
The present paper treats the two-particle case in full and notes the
-particle generalization.
The -particle Slater determinant, the structure of
for general , and the many-body
perturbation theory built on the Fock space of Section 6 are developed
in the many-body extension of the series.
Entanglement theory.
The Schmidt decomposition, von Neumann entanglement entropy, separability
criteria, Bell inequalities, and the EPR setup are developed in QM9 using
the tensor product framework of Section 3 as their mathematical
foundation.
The present paper has extended the scalar--conformal NUVO transport
closure framework from single-particle to multi-particle systems,
deriving the tensor product Hilbert space, the exchange symmetry from
holonomy, the Fock space and second quantization algebra, the coupled
oscillator spectrum, and the angular momentum addition structure.
The thirteen principal results are as follows.
Two-particle Hilbert space.
The two-particle Hilbert space
is the completion of the algebraic tensor product with inner product
The product ONB
is complete in
Entangled states exist as elements of that do not
factorize as simple tensors.
Observable algebra on .
Single-particle observables of different particles commute:
For non-interacting particles, the spectrum of the two-particle
Hamiltonian is the set of all pairwise sums of single-particle
eigenvalues, with product eigenstates.
Exchange operator and symmetry sectors.
The exchange operator is self-adjoint, unitary, and
involutory,
with spectrum
and eigenspace decomposition
Symmetrization and antisymmetrization.
The operators
and
are orthogonal projectors onto and
, with
and
The antisymmetrized product
is the two-particle Slater determinant, derived rather than postulated.
Exchange symmetry from holonomy.
For indistinguishable transport closure configurations,
indistinguishability forces
for all physical , making and
superselection sectors.
The exchange path is a closed loop in
its holonomy is
from
Bosonic configurations, , have states in
; fermionic configurations, , have
states in .
Pauli exclusion principle.
for all
no two identical fermions can occupy the same single-particle state.
This is derived in two lines from antisymmetry, not postulated.
Fock space.
The Fock space is
with vacuum and total number operator
.
The bosonic Fock space and fermionic Fock space
are built from the symmetrized and antisymmetrized
-particle subspaces.
Bosonic CCR and fermionic CAR.
For bosons,
generalizing the QM6 single-mode CCR
and for fermions,
with
from Pauli exclusion.
The vacuum is annihilated:
Occupation number states.
Bosonic states
have
while fermionic states have
The Jordan-Wigner sign factor
appears in the fermionic ladder actions.
Both families form complete ONBs for the respective Fock spaces.
Normal mode decoupling of the coupled oscillator.
The normal mode transformation
is canonical, preserves the CCR, and decouples the coupled oscillator
Hamiltonian as
with normal mode frequencies
and
Complete coupled oscillator spectrum.
for
with product Hermite-Gaussian eigenstates in normal mode coordinates.
Ground state entanglement.
The coupled oscillator ground state is entangled in the original particle
coordinates for all
the cross term
in the exponent prevents factorization.
Angular momentum addition structure.
The total angular momentum operators satisfy
the algebra, derived from the single-particle algebra
and
The Clebsch-Gordan decomposition
is established by the dimension count; the explicit CG coefficients are
deferred to QM8.
The results of the present paper are of broad programmatic significance
on three grounds.
The first is the opening of the multi-particle sector.
QM1 through QM6 established quantum mechanics for a single transport
closure configuration, culminating in the harmonic oscillator and coherent
state theory of QM6.
QM7 makes the qualitative transition to multi-particle systems by
introducing the two structures---entanglement and exchange symmetry---that
have no single-particle analogue.
These two structures, both derived from the tensor product construction
and the holonomy principle rather than postulated, are the foundation on
which all subsequent multi-particle papers build.
QM8 uses the tensor product
for spin, QM9 analyzes entanglement in , QM10 uses
the relative coordinate separation of the coupled oscillator for two-body
scattering, and the Fock space of Section 6 underlies all of QM10, QM11,
and the field-theoretic extensions.
The second ground of significance is the derivation of the exchange
symmetry from holonomy.
In the NUVO program, quantization results arise consistently from the
holonomy principle of the Q-series: radial closure paths quantize energy,
azimuthal closure paths quantize angular momentum in QM5, and now
exchange paths in configuration space quantize the exchange parity.
The boson-fermion dichotomy is therefore the third instance of a single
geometric principle---holonomy quantization of closed transport
paths---applied to a new class of paths.
This structural unity is one of the distinguishing features of the NUVO
program relative to standard formulations, where the symmetrization
postulate appears as a separate and unexplained axiom.
QM8 will add a fourth instance: the double-cover holonomy of
rotation paths quantizes the spin quantum number to
half-integers.
The pattern is consistent: every discrete quantum number in the program
arises from a topological quantization of a closed path in an appropriate
configuration space.
The third ground is the coupled oscillator as a structural template for
two-body dynamics.
The center-of-mass and relative coordinate separation used in the coupled
oscillator decoupling is the same technique used in QM4--QM5 to reduce
the two-body hydrogen problem to a one-body problem in the reduced mass.
There, the CM motion was free and the relative motion was bound by the
Coulomb potential; here, the CM motion is harmonic and the relative motion
is harmonic with a coupling-shifted frequency.
In QM10, the same separation will be applied to the two-body scattering
problem: the CM motion is again free, and the relative motion carries the
scattering dynamics.
The normal mode transformation itself is the simplest instance of a linear
canonical transformation, the prototype of the Bogoliubov transformations
that appear in many-body physics and quantum field theory.
Establishing this template in the concrete setting of the coupled
oscillator, where the full computation can be carried out exactly,
prepares the conceptual ground for all of these later applications.
The present paper has opened the multi-particle sector by establishing
the tensor product Hilbert space, the exchange symmetry, and the Fock
space.
QM8 applies this framework immediately to the simplest and most
fundamental two-particle problem: the spin degree of freedom.
Spin is the internal degree of freedom of a transport closure
configuration that generates the half-integer values of angular momentum
not derivable from the orbital holonomy of QM5.
In the NUVO framework, spin arises from the double-cover structure of the
rotation group: while the azimuthal holonomy of QM5 quantized the orbital
quantum number to non-negative integers via the single-valued
requirement
the spin holonomy arises from paths in the double cover
of , where a rotation returns the state to minus
itself,
for half-integer.
The spin- particle thus has a two-dimensional internal space
and its full Hilbert space is
the simplest non-trivial application of the QM7 tensor product
construction.
The spin operators satisfy the same
algebra
as the orbital angular momentum operators of QM5, but with spectrum
for
and
derived from the half-integer holonomy of the double-cover path.
The Clebsch-Gordan decomposition applied to
gives
the triplet-singlet decomposition of two spin- particles.
The spin-orbit coupling
is the first application of the two-particle coupling term
in the specific case where one factor is orbital,
, acting on the spatial , and the other
is spin, , acting on the internal .
QM8 is therefore a direct application of every major structure introduced
in QM7: the tensor product, the CG decomposition, the angular momentum
addition, and the holonomy quantization of closed paths in the rotation
group.