Rickey W. Austin
St Claire Scientific Research, Development, and Publishing
The tensor product construction of QM7 produces a Hilbert space
containing states that do not factorize as
These entangled states, introduced concretely in the coupled oscillator
ground state of QM7 and the Bell states previewed in QM8, are the subject
of the present paper.
Their mathematical structure is analyzed by the Schmidt decomposition,
their information content by the reduced density matrix and von Neumann
entropy, and their operational content by the Bell inequalities.
The Schmidt decomposition establishes that every pure state
can be written as
with
and
orthonormal families in and
respectively.
The Schmidt rank is the number of non-zero Schmidt coefficients;
is a product state if and only if
The reduced density matrix
describes the subsystem after tracing out subsystem ; it is a
positive trace-class operator on with
For a pure product state, is a pure state projector; for an
entangled state, is a mixed state.
The von Neumann entanglement entropy
is derived from the Schmidt decomposition and vanishes if and only if
is a product state.
The Bell states for two spin- configurations are the four
maximally entangled states of
identified as the singlet and the three triplet states of
the
Clebsch-Gordan decomposition of QM8.
Their Schmidt decompositions, reduced density matrices, and entanglement
entropies are derived.
The Bell states form a complete orthonormal basis for
the Bell basis.
The CHSH inequality is derived as a consequence of local hidden
variable, LHV, theories: any LHV model for correlations of measurements
on a bipartite system satisfies
Quantum mechanics violates this bound: for the singlet Bell state, the
maximum quantum value is
Tsirelson's bound, derived from the operator norm of the CHSH operator on
No new postulates are introduced.
All results follow from the QM7 tensor product construction, the QM8
Pauli algebra and Clebsch-Gordan coefficients, and the general spectral
theory of QM1.
The tensor product construction of QM7 produced a two-particle Hilbert
space
containing all bilinear combinations of single-particle states, including
states that cannot be written as
for any
and
The existence of these non-product states was noted in QM7 as a
structural consequence of the tensor product---not an additional
postulate---and two concrete instances were introduced: the coupled
oscillator ground state, which is entangled for any non-zero coupling
and the Bell states, identified as the singlet and triplet
states of the
Clebsch-Gordan decomposition.
The present paper, QM9, develops the complete theory of these non-product
states within the scalar--conformal NUVO framework: the Schmidt
decomposition as their canonical mathematical representation, the reduced
density matrix as the description of one subsystem when the joint state
is entangled, the von Neumann entropy as the measure of the degree of
entanglement, and the Bell inequalities as the operational signature that
distinguishes quantum entanglement from all classical correlations.
QM9 depends on the prior series in three structurally specific ways.
The tensor product construction of QM7 is the mathematical foundation:
the definition of entanglement as the failure to factorize, the Schmidt
decomposition derived from the singular value decomposition of the
coefficient matrix in the product orthonormal basis, and the reduced
density matrix defined via the partial trace all operate on the structure
The spectral theorem of QM1 is the analytic input to the Schmidt
decomposition: the reduced density matrix is a positive
trace-class operator on , and its spectral decomposition
by QM1 gives the Schmidt eigenbasis whose squares are the Schmidt
coefficients.
The Pauli algebra of QM8 is the computational input to the Bell state
analysis and the CHSH inequality: the expectation values
that determine the CHSH parameter are computed directly from the Pauli
anticommutation relations of QM8, and the Tsirelson bound is derived from
the operator norm of the CHSH operator on
using the same algebra.
QM9 introduces two qualitatively new structures that have no counterpart
in the single-particle papers QM1 through QM6.
The first is the mixed state.
For a single particle described by a pure state
the state space is the set of normalized rays in ; every
state is pure.
For a subsystem of a bipartite system in an entangled pure state
the subsystem cannot be described by any pure state
the correct description is the reduced density matrix , a
positive trace-class operator with
that is not a pure-state projector when
is entangled.
Mixed states are not a new physical ingredient but a derived mathematical
structure: they arise from the act of restricting attention to one
subsystem of a larger entangled pure state, and their statistical
properties follow from the Born rule of QM1 applied to the full pure
state on .
The second new structure is the Bell inequality violation.
The CHSH inequality
is a consequence of probability theory and the assumption that the
measurement outcomes of and are determined by local pre-existing
properties, the local hidden variable assumption; it holds for all
classical correlations regardless of their origin.
The quantum value
for the singlet Bell state, derived from the Pauli algebra of QM8,
exceeds this bound.
The gap
is not a quantitative imprecision: it is a structural incompatibility
between quantum mechanical correlations and any local hidden variable
description.
Its derivation requires no physical postulate beyond the Born rule and
the tensor product structure already established; it is a theorem.
QM9 opens the program arc toward quantum information theory, which lies
beyond the current QM-series but whose foundational structures are
established here.
QM10 uses the density matrix formalism of the present paper to describe
scattered particles after tracing out the environmental degrees of
freedom, making the reduced density matrix a practical computational tool
rather than a formal definition.
QM11 analyzes the Lorentz transformation of entangled spin states,
establishing that entanglement is a Lorentz-invariant property, the von
Neumann entropy of the reduced spin density matrix is invariant, even
though the Schmidt basis changes under boosts.
Beyond the current series, the Bell basis and the operator Schmidt
decomposition are the primary tools for quantum teleportation,
entanglement swapping, and quantum error correction, whose treatment
would require the additional structure of classical communication
channels and is deferred.
The central objective of the present paper is to develop the complete
theory of bipartite entanglement within the scalar--conformal NUVO
transport closure framework, from the Schmidt decomposition through the
Bell inequality violation.
Specifically, the paper establishes six claims.
Every pure state
has a unique Schmidt decomposition
with
orthonormal in ,
orthonormal in , and
The Schmidt rank satisfies
and
if and only if is a product state.
The decomposition is derived from the singular value decomposition of
the coefficient matrix
in any product orthonormal basis.
The reduced density matrix
is the unique positive trace-class operator on
satisfying the Born rule
for all observables on .
Its eigenvalues are
the squares of the Schmidt coefficients, and its eigenstates are the
Schmidt basis
The reduced density matrix is a pure-state projector if and
only if
The von Neumann entanglement entropy
satisfies: with equality if and only if is a
product state;
with equality if and only if all Schmidt coefficients are equal,
maximally entangled state; and
for any pure bipartite state.
The four Bell states
of
each have Schmidt rank
Schmidt coefficients
reduced density matrix
the maximally mixed state, and entanglement entropy
They form a complete orthonormal basis for
the Bell basis.
The singlet is the Clebsch-Gordan state and
is the , Clebsch-Gordan state from QM8.
Any local hidden variable, LHV, theory satisfies the CHSH inequality
where
and is the correlation of dichotomic
observables.
The bound follows from the arithmetic inequality
for
and integration over any hidden variable distribution.
For the singlet Bell state and optimal measurement
settings
and
the quantum CHSH parameter is
derived from the Pauli algebra of QM8.
The Tsirelson bound
for any quantum state and any dichotomic observables follows from the
operator norm bound
Since
quantum mechanics violates the CHSH inequality: entangled quantum
states produce correlations incompatible with any LHV description.
Claims 1 through 6 are logically ordered.
The Schmidt decomposition of claim 1 is the foundational result from
which the reduced density matrix of claim 2 is derived, as the spectral
decomposition with eigenvalues .
The von Neumann entropy of claim 3 is computed from the Schmidt
coefficients and inherits its properties from them.
The Bell states of claim 4 are the explicit two-qubit realization of
claims 1--3, with the maximum entropy confirming their maximally
entangled character.
The CHSH inequality of claim 5 characterizes what correlations are
classically achievable; the quantum violation of claim 6 establishes that
the Bell state correlations exceed this classical bound.
The present work maintains without modification the interpretive
discipline of the prior series.
Four exclusions are of particular importance for QM9.
The mixed state density matrix is not introduced as a new axiom of quantum
mechanics.
In many formulations, the density matrix is presented as the general
state of a quantum system, with the pure state as a special case.
In the NUVO framework, the density matrix appears exclusively as the
reduced density matrix of a subsystem of a bipartite pure state:
is defined by the partial trace and the pure state on
.
The Born rule for mixed states,
is derived from the pure-state Born rule, established via the transport
closure frequency law of the QB-series, applied to the full state.
No new measurement postulate is introduced for mixed states.
The Schmidt decomposition is not assumed.
It is derived as a consequence of the singular value decomposition of the
coefficient matrix in the product orthonormal basis, which is
itself a consequence of the spectral theorem of QM1 applied to the
positive operator
The SVD theorem for finite-dimensional matrices is a consequence of the
spectral theorem; for the infinite-dimensional case, relevant for the
coupled oscillator, the corresponding result for compact operators is
cited from the standard functional analysis literature.
Bell inequality violation is not a physical postulate.
The CHSH inequality
is a mathematical theorem about probability distributions and locality
assumptions, proved without reference to quantum mechanics.
The quantum value
is a theorem about the Pauli algebra, proved by direct computation of
expectation values and operator norms.
The empirical violation of the CHSH inequality in experiments, Aspect
et al., Zeilinger et al., and others, is a physical fact that the NUVO
framework predicts as a theorem; it is not an additional experimental
input to the theory.
Quantum information applications are not developed.
The Bell basis and the partial trace formalism are the mathematical
prerequisites for quantum teleportation, dense coding, entanglement
swapping, and quantum error correction.
These applications require the additional structure of classical
communication protocols---the specification of what classical information
is transmitted between parties alongside the quantum channel---which is
outside the scope of the present paper.
The present paper establishes the entanglement theory; the
information-theoretic applications are deferred.
Section 2 recalls the tensor product and coefficient matrix from QM7, the
spectral theorem from QM1 that underlies the Schmidt decomposition, and
the Pauli algebra and Clebsch-Gordan coefficients from QM8 that are used
in the Bell state and CHSH calculations.
Section 3 defines product states and entanglement precisely, derives the
Schmidt decomposition from the singular value decomposition of the
coefficient matrix in the product orthonormal basis, and establishes the
Schmidt rank as the canonical measure of entanglement structure.
Section 4 introduces the density matrix of a pure state, defines the
partial trace and the reduced density matrix, derives the Born rule for
subsystem observables, and establishes the spectral structure of the
reduced density matrix from the Schmidt coefficients.
Section 5 defines the von Neumann entanglement entropy, derives its three
key properties, non-negativity, upper bound by
and equality of subsystem entropies, and computes its value for specific
Schmidt coefficient distributions.
Section 6 defines the four Bell states from the
Clebsch-Gordan decomposition of QM8, computes their Schmidt
decompositions, reduced density matrices, and entanglement entropies,
verifies their maximally entangled character, and establishes the Bell
basis completeness.
Section 7 derives the CHSH inequality for local hidden variable theories,
computes the quantum CHSH parameter for the singlet Bell state and
optimal measurement settings, derives Tsirelson's bound from the operator
norm of the CHSH operator, and establishes the quantum violation as a
theorem.
Section 8 applies the Schmidt decomposition to the coupled oscillator
ground state of QM7, derives the geometric Schmidt coefficient
distribution and the squeeze parameter , and establishes the
entanglement entropy as a monotonically increasing function of the
coupling constant .
Section 9 records the derivational status of the density matrix and Bell
inequality violation, and the scope of the present construction.
Section 10 summarizes the twelve principal results, records their
programmatic significance, and prepares the transition to QM10.
The present section collects the results from QM1, QM7, and QM8 that are
directly required for the derivations of Sections 3--8.
Nothing in this section is new.
The recalled material falls into three categories: the tensor product
structure and coefficient matrix representation from QM7, whose singular
value decomposition gives the Schmidt decomposition; the spectral theorem
from QM1, which underlies both the singular value decomposition and the
spectral analysis of the reduced density matrix; and the Pauli algebra and
Clebsch-Gordan structure from QM8, which are the computational inputs to
the Bell state and CHSH analyses.
The following results from QM7 are the mathematical setting for the entire
paper.
The tensor product Hilbert space, from QM7 Definition 3.1 and Proposition 3.2.
For Hilbert spaces and with complete
orthonormal bases
and
respectively, the tensor product
has complete orthonormal basis
and every element
expands as
Equation. State expansion in product basis.
where the coefficient matrix encodes the state in the
product orthonormal basis.
Product states and the rank-one criterion.
The state is a product state
if and only if the coefficient matrix has rank one:
for sequences and with
An entangled state has
This characterization makes the Schmidt rank equal to
, as established in the Schmidt decomposition
theorem.
Observable algebra, from QM7 Proposition 3.3.
For observables on and on
:
Equation. Tensor-factor commutation recall.
This is used in Section 4 to derive the Born rule for subsystem
observables, and in Section 7 to establish that the CHSH operator
factorizes as a sum of tensor products.
Non-interacting spectrum, from QM7 Proposition 3.4.
For a product Hamiltonian
the energy eigenvalues are pairwise sums
and the eigenstates are product states
The ground state of the non-interacting system is a product state; the
interaction
of QM7 generates entanglement, as analyzed in Section 8.
The coupled oscillator ground state, from QM7 Proposition 7.2.
The ground state of the coupled oscillator has position-space
representation
Equation. Recalled coupled oscillator ground state.
with normal mode frequencies
and
This state is entangled for
because the exponent contains the cross term proportional to
, preventing factorization.
Its Schmidt decomposition in the normal mode Fock basis is derived in
Section 8.
Remark.
The coefficient matrix
is the central object in the entanglement analysis.
Changing the product orthonormal basis from
to
transforms to
for unitary matrices and acting on the basis indices.
The singular values of ---and hence the Schmidt coefficients---are
invariant under such unitary changes of basis, confirming that the
Schmidt decomposition is basis-independent even though the coefficient
matrix is not.
The Schmidt coefficients are the intrinsic entanglement data of the
state; the Schmidt bases are the bases that diagonalize simultaneously
from the left and right.
The Schmidt decomposition is derived from the singular value decomposition
of the coefficient matrix , which is itself a consequence of the
spectral theorem.
The relevant results are recalled here.
Spectral theorem for self-adjoint operators, from QM1 Theorem 6.1.
Every self-adjoint operator on a Hilbert space has a
spectral decomposition
with eigenstates, or generalized eigenstates, forming a complete system.
For a bounded positive operator with
a trace-class operator, the spectral decomposition reduces to a countable
sum
with
and a complete orthonormal set of eigenstates.
This result is applied in Section 4 to
the reduced density matrix is a positive trace-class operator with
eigenvalues .
Singular value decomposition.
For any
complex matrix , finite-dimensional case, there exist unitary matrices
and
and a non-negative diagonal matrix
with
such that
Equation. Singular value decomposition.
The singular values are the positive square roots of the
eigenvalues of the positive semi-definite matrix
and the columns of and are the left and right singular vectors.
The singular value decomposition follows from the spectral theorem applied
to : diagonalizing
gives and , and then
on the non-zero singular value subspace completes the factorization.
Extension to infinite-dimensional spaces.
For the coupled oscillator of Section 8, the coefficient matrix is an
infinite matrix, a Hilbert-Schmidt operator on
.
The singular value decomposition generalizes to the polar decomposition
of a compact operator: every compact operator on
has a decomposition
where and are partial isometries and is a positive compact
operator, the modulus
The resulting Schmidt decomposition has countably many non-zero Schmidt
coefficients
the state is normalizable when
which holds for the coupled oscillator ground state.
Remark.
The connection from singular value decomposition to Schmidt decomposition
is direct.
Given the singular value decomposition
define the new orthonormal families
and
Then
which is the Schmidt decomposition with
and Schmidt bases , .
The Schmidt coefficients are the singular values of and
are invariant under changes of the original product orthonormal basis,
since a change of orthonormal basis transforms
with unitaries and , which does not change the singular values.
The following results from QM8 are used in Sections 6 and 7.
Pauli matrices and spin expectation values, from QM8 Theorem 4.2 and Proposition 4.3.
On
with basis
the spin operators are
and the Pauli matrices satisfy the product formula
For the Bell state calculations, the key expectation values are those of
in the singlet state :
Equation. Singlet correlator.
established in Section 6 as a consequence of the singlet's antisymmetry
under exchange and the Pauli algebra.
The Clebsch-Gordan decomposition, from QM8.
The tensor product
decomposes as
Equation. Recalled one-half times one-half Clebsch-Gordan structure.
with the triplet, , three states, and singlet, , one state.
The explicit Clebsch-Gordan states are:
Equation. Triplet plus state.
Equation. Triplet zero state.
Equation. Triplet minus state.
and
Equation. Singlet state.
The singlet is the Bell state and the triplet is
the states and are linear
combinations of the and triplet states.
Remark.
The singlet
is the antisymmetric combination
i.e.,
where is the exchange operator of QM7.
This antisymmetry is the property
confirming that the singlet lies in the antisymmetric sector
of QM7.
The three triplet states are symmetric,
and lie in .
In the context of two identical fermionic spin-
configurations, for which by QM7, only the singlet is
consistent with the fermionic exchange symmetry when both particles
occupy the same spatial mode; the triplet states require the two
particles to be in different spatial modes, by the Pauli exclusion
principle, to form a fully antisymmetric total state.
This remark anticipates the connection between the Bell basis and the
fermionic structure that will appear in the atomic physics applications
of QM10.
Remark.
The identification of two Bell states, and
, as Clebsch-Gordan states of the
decomposition reflects the fact that the Clebsch-Gordan decomposition
diagonalizes the total spin and , while the
Bell basis is a complete orthonormal basis for the four-dimensional space
The other two Bell states and are
not Clebsch-Gordan states in the standard labeling because they are
superpositions of and triplet states, i.e., they are not
eigenstates of , but they are related to the Clebsch-Gordan
basis by a local unitary transformation on subsystem alone.
The Bell basis and the Clebsch-Gordan basis are therefore distinct
orthonormal bases for
with the Bell basis optimized for the CHSH measurement settings of
Section 7 and the Clebsch-Gordan basis optimized for the total angular
momentum analysis of QM8.
The present section establishes the fundamental dichotomy between product
states and entangled states, derives the Schmidt decomposition as the
canonical representation of any pure bipartite state, and records its
properties.
The Schmidt decomposition is the principal technical tool of the remainder
of the paper: the reduced density matrix of Section 4 is its spectral
decomposition, the von Neumann entropy of Section 5 is the Shannon entropy
of its coefficient squares, the Bell state analysis of Section 6 reads off
Schmidt coefficients by inspection, and the coupled oscillator analysis of
Section 8 identifies the Schmidt decomposition in the normal mode Fock
basis.
Definition. Product states and entanglement.
A pure state
is a product state, or separable pure state, if there exist normalized
and
such that
Equation. Product state.
A pure state that is not a product state is entangled.
Remark.
The definition makes no new physical assumption: entanglement is defined
entirely in terms of the tensor product structure of QM7.
The Hilbert space
contains product states, whose coefficient matrices have rank one, and
non-product states, rank greater than one; the latter are entangled by
definition.
The physical content of entanglement---the impossibility of attributing
independent states to the two subsystems, the correlations in measurement
outcomes, the Bell inequality violation---all follow as theorems from
this definition and the Born rule, without introducing any new
interpretive assumption.
The criterion for a state to be a product state in terms of the
coefficient matrix is the following.
Lemma. Rank-one criterion for product states.
A pure state
is a product state if and only if the coefficient matrix
has rank one.
Proof.
is a product state if and only if
for some sequences and , since
and
give
by the product state definition and the expansion in the product
orthonormal basis.
The matrix
is the outer product
and has rank one.
Conversely, if has rank one, it factors as
for some and , the standard characterization of
rank-one matrices, giving a product state.
Example.
In
with basis
Product state:
The coefficient matrix is
rank one.
The state describes spin-up for particle and spin-down for particle
independently.
Entangled state:
The coefficient matrix is
rank two.
The state is the singlet ; neither particle nor
particle has a definite spin independently.
Theorem. Schmidt decomposition.
Every pure state
has a Schmidt decomposition:
Equation. Schmidt decomposition.
where:
for , ordered
is an orthonormal family in
;
is an orthonormal family in
;
the coefficients satisfy
The Schmidt rank
satisfies: if and only if is a product state.
The Schmidt coefficients are unique, up to reordering;
the Schmidt bases and are
unique when all Schmidt coefficients are distinct.
Proof.
Existence.
Choose any product orthonormal basis
for and
for , and expand
as in the state expansion equation.
Apply the singular value decomposition to :
where is unitary on the -index space, is unitary
on the -index space, and
with
Define the new orthonormal families:
Equation. Schmidt basis construction.
These are orthonormal since and are unitary:
and similarly for .
Substituting into the expansion:
confirming the Schmidt decomposition with
Normalization.
using the orthonormality of the Schmidt bases.
Schmidt rank and product state equivalence.
The Schmidt rank satisfies
by the singular value decomposition.
By the rank-one lemma,
if and only if is a product state.
Uniqueness of Schmidt coefficients.
The squared Schmidt coefficients are the eigenvalues of
since
gives
and the eigenvalues of a self-adjoint matrix are unique.
Uniqueness of Schmidt bases when coefficients are distinct.
If all are distinct, the eigenspaces of are
one-dimensional, and the eigenvectors are uniquely
determined up to phase.
The are then determined by
Remark.
The Schmidt decomposition is basis-independent: the Schmidt coefficients
are intrinsic properties of the state ,
not of the choice of product orthonormal basis used to construct the
coefficient matrix .
A change of product orthonormal basis
and
transforms
which has the same singular values as , since the singular values are
invariant under unitary equivalence
for unitaries and .
This invariance makes the Schmidt rank and the Schmidt coefficients
genuine invariants of the entanglement structure of the
state.
Remark.
The Schmidt decomposition expresses as a diagonal sum
in the biorthogonal Schmidt bases.
This diagonality---only terms with the same index appear in both
factors---is the key structural property: a general expansion in a product
orthonormal basis has terms
for all pairs , while the Schmidt decomposition has only diagonal
terms .
The diagonality is precisely the singular value decomposition
diagonalization of ; it is achievable for any and for any bipartite
Hilbert space, regardless of the dimensions of and
.
Proposition. Schmidt decomposition of the subsystem states.
In the Schmidt decomposition, the partial inner products are:
Equation. Partial inner product over subsystem A.
and
Equation. Partial inner product over subsystem B.
That is, projecting onto the -th Schmidt vector of
yields times the -th Schmidt vector of
, and vice versa.
Proof.
Using the orthonormality of the Schmidt bases:
The first equation follows identically.
Remark.
The preceding proposition encodes the perfect correlations in the Schmidt
basis measurements that are the hallmark of entanglement.
If an observer measures subsystem in the Schmidt basis and finds
outcome
which occurs with probability by the Born rule, the
post-measurement state of subsystem is
Conversely, if is measured in its Schmidt basis and outcome
is found, the state of is
For a product state,
this correlation is trivial: the single Schmidt vector is the definite
state of each subsystem, and measurement of one reveals nothing new about
the other.
For an entangled state,
the correlation is non-trivial: neither subsystem has a definite state
prior to measurement, yet the outcomes are perfectly correlated in the
Schmidt basis.
The Bell inequality analysis of Section 7 shows that these correlations
cannot be attributed to any pre-existing local properties, hidden
variables, of the two subsystems.
Corollary. Schmidt rank under local unitaries.
The Schmidt rank and the Schmidt coefficients are
invariant under local unitary operations
on :
Equation. Schmidt local-unitary invariance.
Proof.
Under
the coefficient matrix transforms as
in the transformed product orthonormal basis.
The singular values of
are the same as those of , since and are unitary and
the singular values are invariant under unitary equivalence.
Remark.
The preceding corollary establishes a necessary condition for any
quantitative measure of entanglement: it must be invariant under local
unitaries, since local unitaries cannot create or destroy entanglement;
they merely change the local basis used to describe the subsystems.
The Schmidt rank and the Schmidt coefficients
satisfy this condition.
The von Neumann entropy of Section 5 also satisfies it:
depends only on the Schmidt coefficients, not on the Schmidt bases.
Entanglement measures that fail the local unitary invariance
condition---such as the Euclidean norm of the coefficient matrix in a
specific product orthonormal basis---are basis-dependent artifacts, not
genuine entanglement measures.
The Schmidt decomposition of Section 3 provides the canonical
representation of a pure bipartite state.
When attention is restricted to one subsystem of an entangled pair, a new
mathematical object is required: the reduced density matrix, which encodes
all measurable properties of the subsystem without reference to the other.
The present section introduces the density matrix formalism, defines the
partial trace as the operation that extracts the subsystem state from the
joint state, derives the Born rule for subsystem observables, and
establishes the spectral structure of the reduced density matrix from the
Schmidt coefficients.
Throughout, the density matrix is treated as a derived object---a
consequence of the tensor product structure of QM7 and the Born rule of
QB6---rather than a new primitive.
Definition. Density matrix of a pure state.
The density matrix, or state operator, of a normalized pure state
is the rank-one projector
Equation. Density matrix.
where denotes the bounded operators on
.
The density matrix satisfies:
Positive semi-definiteness:
since
for all
Unit trace:
Self-adjointness:
Idempotence:
so is a rank-one projector.
Remark.
For a single system described by a pure state , the density
matrix
carries the same information as the state vector: the expectation value
of any observable is
The density matrix becomes strictly more than a notational convenience
when attention is restricted to a subsystem of a larger entangled system,
because the subsystem cannot then be described by any pure state vector
in alone.
The reduced density matrix introduced below is in general not
idempotent,
when the state
is entangled; this is the mathematical signature of the mixed character
of the subsystem state.
The partial trace is the linear map that extracts the reduced density
matrix of one subsystem from the joint density matrix of both.
Definition. Partial trace and reduced density matrix.
Let
be any complete orthonormal basis for .
The partial trace over is the linear map
defined by
Equation. Partial trace definition.
where
denotes the operator on obtained by contracting
with on the factor.
The definition is independent of the choice of orthonormal basis
.
The reduced density matrix of subsystem for the pure state
is
Equation. Reduced density matrix definition.
Remark.
On simple tensor operators
the partial trace acts as:
Equation. Partial trace of a simple tensor operator.
since
This is the operational definition most useful in computations: to take
the partial trace over , replace any operator on by
its scalar trace, leaving the operator on intact.
The full reduced density matrix is obtained by linearity from this rule
applied to the expansion of
in the product orthonormal basis.
The fundamental property of the reduced density matrix is that it gives
the correct expectation values for all observables of subsystem , even
when is entangled with .
Theorem. Born rule for subsystem observables.
For any self-adjoint operator on and any
normalized pure state
one has:
Equation. Born rule for subsystem observables.
The reduced density matrix is the unique positive
trace-class operator on with
satisfying this equation for all .
Proof.
Existence.
Expand
in any product orthonormal basis.
The left-hand side is
The right-hand side with
is
which equals the left-hand side, confirming the subsystem Born rule.
Uniqueness.
Suppose is any positive trace-class operator on
satisfying
for all .
Taking
one obtains
for all .
Since this holds for all matrix elements in the orthonormal basis
,
Remark.
The theorem is the key result that establishes the density matrix as a
derived object rather than a new axiom.
The right-hand side,
is the Born rule for mixed states: the expectation value of in
the mixed state described by .
But the subsystem Born rule shows that this expression equals the standard
pure-state Born rule
applied to the full state
No new measurement postulate for mixed states is required: the Born rule
for subsystem observables follows from the pure-state Born rule and the
partial trace, both of which are established in prior papers.
The spectral structure of the reduced density matrix is read directly
from the Schmidt decomposition.
Theorem. Spectral decomposition of the reduced density matrix.
For the Schmidt decomposition
the reduced density matrices are:
Equation. Reduced density matrix of subsystem A.
and
Equation. Reduced density matrix of subsystem B.
Both and have the same non-zero eigenvalues
and the same rank .
The reduced density matrix is a pure-state projector,
if and only if
Proof.
Reduced density matrix of subsystem .
Apply the partial trace to
Then
using the orthonormality
of the Schmidt basis and the simple-tensor partial trace rule.
Reduced density matrix of subsystem .
The argument is identical with and exchanged.
Same non-zero eigenvalues.
Both and have spectral decompositions with non-zero
eigenvalues
confirming the same spectrum.
Pure state criterion.
This equals
if and only if
for all , i.e.,
Since all Schmidt coefficients are positive and
this forces
and
Remark.
The preceding theorem makes the connection between entanglement and mixed
subsystem states precise.
For a product state,
one has
a pure state projector.
The subsystem has a definite state , and measuring
cannot reveal information about beyond what is already encoded in
the product state.
For an entangled state,
one has
a proper mixture of the Schmidt eigenstates with weights
.
The subsystem does not have a definite state; any measurement on
will yield outcome with probability
, and the post-measurement state of will be
.
This is the sense in which the subsystems of an entangled state are
“correlated without being in definite states”: neither nor
is a pure state, yet the joint state is pure.
The purity
with equality if and only if , provides an alternative measure of
entanglement: the more entangled the state, the lower the purity of its
reduced density matrix.
The von Neumann entropy of Section 5 refines this to a quantitative
measure.
Corollary. Symmetry of subsystem entropies.
The non-zero eigenvalues of and are identical: both
are
In particular, any function of the eigenvalues alone takes the same value
on as on .
Proof.
Immediate from the spectral decomposition theorem: both reduced density
matrices have the same spectral decomposition, with the Schmidt
coefficients squared as eigenvalues, differing only in the eigenstates
versus .
Remark.
If
the two reduced density matrices and have different
dimensions but the same non-zero spectrum.
The larger-dimensional reduced density matrix has additional zero
eigenvalues, from the larger space dimension, that do not contribute to
entropy calculations, consistent with the convention
The equality
established in the von Neumann entropy theorem is a direct consequence of
this shared non-zero spectrum.
The reduced density matrix is an example of a mixed state: a
positive trace-class operator with unit trace that is not a pure state
projector.
While the present paper derives mixed states exclusively as reduced
density matrices of pure bipartite states, it is useful to record the
general structure.
Definition. Mixed state density matrix.
A mixed state density matrix on is any operator
satisfying:
Positive semi-definiteness:
Unit trace:
Self-adjointness:
The expectation value of any observable in the mixed state
is
Equation. Mixed-state Born rule.
A pure state satisfies additionally
idempotency; a proper mixed state satisfies
Remark.
In the NUVO framework, every mixed state that appears in the QM-series
arises as the reduced density matrix of a pure state on a larger Hilbert
space: specifically, as
for some pure
This is always possible: given any mixed state
on , the purification
for an ancillary Hilbert space with orthonormal basis
satisfies
The purification is not unique, since different ancillary spaces give
different purifications, but the reduced density matrix is unique.
The mixed-state Born rule is therefore always derivable from the
pure-state Born rule by tracing out the ancilla, consistent with the NUVO
principle that mixed states require no new postulate.
The Schmidt decomposition provides a complete description of the
entanglement structure of a pure bipartite state: the Schmidt rank
distinguishes product states from entangled states, and the Schmidt
coefficients encode the distribution of entanglement across the Schmidt
basis.
A single scalar measure that captures this distribution is the von
Neumann entanglement entropy, defined as the Shannon entropy of the
probability distribution
The present section defines this entropy, derives its three principal
properties, and records its values for the cases arising in the remainder
of the paper.
Definition. Von Neumann entanglement entropy.
The von Neumann entanglement entropy of a pure bipartite state
with Schmidt decomposition
is
Equation. Von Neumann entanglement entropy.
where the convention
applies, and the logarithm may be taken in any base: base for nats,
base for bits or ebits.
By the preliminary entropy-symmetry corollary,
so is well-defined independently of which subsystem is traced out.
Remark.
The von Neumann entropy is precisely the Shannon entropy of the probability
distribution
on the index set :
Equation. Von Neumann entropy as Shannon entropy.
The probabilities
are the Born-rule probabilities for finding subsystem in the -th
Schmidt eigenstate
when measured in the Schmidt basis.
The von Neumann entropy therefore quantifies the classical uncertainty
about the Schmidt basis measurement outcome: it is zero when the outcome
is certain,
and maximal when all outcomes are equally likely,
for all .
This identification with a Shannon entropy makes the operational content
of the von Neumann entropy transparent: it measures the number of bits of
classical information needed, on average, to describe which Schmidt state
the subsystem will be found in upon measurement.
Theorem. Properties of the von Neumann entanglement entropy.
The entanglement entropy satisfies:
Non-negativity:
with equality if and only if is a product state,
Upper bound:
with equality if and only if
for all
and
a maximally entangled state.
Subsystem symmetry:
for any pure bipartite state.
Invariance under local unitaries:
For any unitaries on and on
,
Proof.
Part 1: Non-negativity.
Each term
for
since
implies
so
Therefore
Equality holds if and only if
for all , which holds if and only if
for all .
Since
and all
the only solution is
and
i.e., is a product state.
Part 2: Upper bound.
The Schmidt rank satisfies
For fixed , the Shannon entropy
subject to
and
is maximized by the uniform distribution
for all , by the concavity of and the method of Lagrange
multipliers.
This gives
Since
and the logarithm is increasing,
Equality requires
and the uniform distribution
for all .
Part 3: Subsystem symmetry.
By the preliminary entropy-symmetry corollary, and
have the same non-zero eigenvalues
Since depends only on the eigenvalues of , via the Shannon
entropy formula,
Part 4: Local unitary invariance.
By the local-unitary invariance of the Schmidt coefficients, the Schmidt
coefficients of
are the same as those of .
Since depends only on the Schmidt coefficients, is invariant.
Remark.
The von Neumann entropy is a continuous function of the state
.
If
in -norm, then the Schmidt coefficients
since they are singular values of the coefficient matrix
and singular values are continuous functions of the matrix entries.
Therefore
In particular, a state with small Schmidt coefficients on all but the
leading term has entanglement entropy close to zero, quantifying the sense
in which “nearly product” states have “nearly zero” entanglement.
For the coupled oscillator of Section 8, the entanglement entropy
as
since the Schmidt coefficient distribution concentrates on the
term, consistent with the QM7 result that the ground state is a product
state for
The following specific entropy values arise in the remainder of the paper
and are recorded here for reference.
Proposition. Entropy of the Bell states.
For the uniform two-term distribution
Schmidt rank
and
one has:
Equation. Bell-state entropy.
This is the maximum possible entanglement entropy for a two-qubit system
and is achieved by all four Bell states, treated in Section 6.
Proof.
Direct substitution of
into the von Neumann entropy gives
The upper bound
is achieved, confirming maximality.
Proposition. Entropy of the geometric Schmidt distribution.
For the geometric distribution
for
and
with Schmidt rank
one has:
Equation. Geometric-distribution entropy.
This entropy arises in the coupled oscillator ground state of Section 8,
where is the squeeze parameter.
Proof.
The normalization
confirms that is a probability distribution.
The entropy is
Using
and
the standard geometric series and its derivative, gives
confirming the geometric-distribution entropy formula.
Remark.
The geometric entropy has the limiting behavior:
Equation. Zero-coupling entropy limit.
and
Equation. Stability-threshold entropy limit.
The limit
corresponds to
no coupling, where the squeeze parameter vanishes and the ground state is
a product; the entropy goes to zero continuously, consistent with
non-negativity of the entropy.
The limit
corresponds to
where the distribution becomes uniform on infinitely many Schmidt modes
and the entropy diverges.
Physically,
means the coupling
approaches the stability threshold; beyond this point the Hamiltonian is
no longer bounded below and the system has no ground state.
The divergence of the entanglement entropy at the stability threshold is
a precursor of the quantum phase transition that would occur at
Remark.
For the geometric entropy, the entropy is strictly increasing in
This follows from the fact that larger corresponds to a more uniform
distribution over more Schmidt modes: the geometric distribution becomes
flatter as
and the Shannon entropy increases as the distribution becomes more
uniform.
Since
is an increasing function of for fixed and , the
entanglement entropy of the coupled oscillator ground state is strictly
increasing in the coupling constant : stronger coupling generates
more entanglement.
Proposition. Von Neumann entropy under local operations.
The von Neumann entanglement entropy cannot increase under local
operations, operations on alone or alone, without classical
communication:
Equation. Entropy monotonicity under local operations.
where is any completely positive trace-preserving,
CPTP, map on
Proof stub.
The CPTP map changes the reduced state of subsystem
through a local operation. For unitary local operations, the entropy
is invariant by the local-unitary invariance theorem above. The general
CPTP case uses the data processing inequality for the quantum relative
entropy, which is beyond the current scope but may be cited as a standard
result.
Remark.
The preceding proposition establishes that the von Neumann entropy is an
entanglement monotone: a function of the state that does not increase
under operations that cannot generate entanglement, local operations
without classical communication, LOCC.
This operational property is what makes the von Neumann entropy the
canonical measure of bipartite entanglement for pure states: any physical
process that cannot create entanglement cannot increase , so
measures something that is genuinely preserved or created only by
non-local operations.
The full proof of the monotone property for general CPTP maps uses the
data processing inequality for the quantum relative entropy, whose
derivation requires the theory of quantum channels beyond the scope of
the present paper.
For the specific operations appearing in QM9, unitary local operations and
projective measurements, the monotone property follows directly from the
local unitary invariance of the von Neumann entropy theorem and the
concavity of the von Neumann entropy.
The Bell states are the four maximally entangled pure states of the
two-qubit Hilbert space
They were previewed in QM7 Remark 8.3 as the singlet and
triplet states of the
Clebsch-Gordan decomposition, and identified in QM8 as the primary
application of the
Clebsch-Gordan coefficients derived there.
The present section constructs all four Bell states explicitly, derives
their Schmidt decompositions and reduced density matrices, establishes
their maximally entangled character by computing the entanglement entropy,
verifies the Bell basis completeness, and records the spin correlation
functions that enter the CHSH analysis of Section 7.
The singlet state is the primary object of Section 7;
the triplet states complete the Bell basis required for the completeness
analysis.
Definition. Bell states.
The Bell states are the four normalized states of
Equation. Bell state .
Equation. Bell state .
Equation. Bell state .
and
Equation. Bell state .
Remark.
Two of the four Bell states are Clebsch-Gordan eigenstates from QM8.
The singlet
is the antisymmetric combination, satisfying
with exchange parity
fermionic exchange symmetry.
The state
is the member of the symmetric triplet, satisfying
with exchange parity
The states and are not
Clebsch-Gordan eigenstates in the standard labeling because they are
superpositions of
the triplet, and
the triplet: they do not have a definite value of .
They are related to the triplet states by a local unitary on
subsystem :
and
By the local unitary invariance of entanglement, all four Bell states
therefore have the same entanglement entropy as and
.
Theorem. Schmidt decompositions of the Bell states.
All four Bell states have Schmidt rank
with Schmidt coefficients
The Schmidt decompositions and reduced density matrices are:
Equation. Schmidt data.
Equation. Schmidt data.
Equation. Schmidt data.
and
Equation. Schmidt data.
In all four cases the reduced density matrix is the maximally mixed state
on
Proof.
Schmidt decompositions.
Each Bell state is already written in the form
with orthonormal Schmidt bases.
For , the Schmidt bases are
on both subsystems, with both Schmidt coefficients equal to
Orthonormality is immediate:
Normalization is
For , the Schmidt bases are the same
on both subsystems, but the
second Schmidt coefficient has a phase .
Since Schmidt coefficients are defined as positive, the decomposition is
Thus the Schmidt coefficients are both
with Schmidt basis on given by
and Schmidt basis on given by
The cases and proceed identically,
with the Schmidt bases on and exchanged relative to
and .
Reduced density matrices.
For , with Schmidt basis
and equal Schmidt coefficients,
by the spectral decomposition of the reduced density matrix, with
and
The identical result holds for the other three Bell states by the same
argument, since all four have the same Schmidt coefficients
, and the Schmidt bases
span and give the same projector sum .
Remark.
The reduced density matrix
for every Bell state is the unique maximally mixed state on
it is the state of maximum entropy,
and minimum purity,
on a two-dimensional Hilbert space.
A maximally mixed reduced density matrix means that, if only subsystem
is accessible, no measurement on alone can distinguish any of the
four Bell states from one another: all four give the same expectation
values for all operators on .
The Bell states are therefore maximally entangled in the operational
sense: all information about which Bell state the joint system is in is
encoded entirely in the correlations between and , not in either
subsystem individually.
This is the sense in which entanglement is a non-local resource: it cannot
be detected by local measurements on either party alone but only by joint
measurements that compare the outcomes of both.
Theorem. The Bell basis.
The four Bell states form a complete orthonormal basis---the Bell
basis---for
They satisfy
Equation. Bell-state normalization.
all other inner products vanish, and
Equation. Bell-basis completeness.
Proof.
Orthonormality.
Each Bell state is normalized, since the Schmidt coefficients sum to
one, as verified above.
The six pairwise inner products between distinct Bell states are computed
directly.
Taking
as a representative example:
The remaining five pairs give zero by the same calculation, using the
orthonormality
Completeness.
The four Bell states are four orthonormal vectors in the four-dimensional
space .
Four orthonormal vectors in a four-dimensional space span that space and
hence form a complete orthonormal basis.
Equivalently, one may verify that the sum of projectors
equals the identity by computing its action on the product basis
For instance,
The same computation for the other three product basis states confirms
that the sum of projectors acts as the identity on a spanning set.
Remark.
The Bell basis and the product basis
are related by the unitary transformation, the Bell matrix:
Equation. Bell matrix.
where the columns correspond to
expressed in the product basis ordering
This matrix is unitary, verified by
confirming the completeness and orthonormality of the Bell basis by an
explicit computation.
The CHSH analysis of Section 7 requires the expectation values of spin
correlation operators
in the singlet state.
These are derived here from the Pauli algebra of QM8.
Proposition. Singlet spin correlation functions.
For the singlet state :
Equation. Singlet Pauli correlator.
and
Equation. General singlet spin correlator.
for any unit vectors
Proof.
Singlet Pauli correlator.
Use the antisymmetry of :
For any operator that is symmetric under exchange,
one has
For
exchange swaps the two factors:
Therefore
For , compute directly.
Using the definition of ,
By isotropy, the singlet is invariant under simultaneous rotations
for any
so
is the same for all .
Therefore
for
For , direct computation gives zero.
For example, for , :
and
Thus
Therefore
by orthogonality of the Bell states.
The same argument shows
for all
confirming
General singlet spin correlator.
Writing
and
and using linearity:
Remark.
The correlation function
has a striking physical interpretation: when Alice measures spin along
and Bob measures along , the correlation of
their outcomes depends only on the angle between the two
measurement directions via
For anti-parallel directions,
the correlation is : perfect positive correlation, both outcomes
identical.
For parallel directions,
the correlation is : perfect anti-correlation, outcomes always
opposite.
For orthogonal directions,
the correlation is : no correlation.
This
dependence is impossible to reproduce with any local hidden variable
model unless the hidden variables can conspire to predict the outcomes for
all possible directions simultaneously---which the CHSH inequality of
Section 7 shows is impossible.
Remark.
The singlet is the unique, up to overall phase, state
in
invariant under simultaneous rotations:
Equation. Singlet invariance.
This follows from the singlet being the state, the trivial
representation of :
and
for all .
The singlet invariance implies that the correlation function
depends only on the relative angle between and
, not on their individual orientations.
In the CHSH analysis of Section 7, this isotropy means that the maximum
quantum violation is achieved by any set of measurement directions that
satisfies the optimal relative angles, regardless of the overall
orientation of the frame.
The spin correlation functions of Section 6 show that the singlet state
produces correlations
that depend on the angle between the measurement directions.
The present section addresses a structural question about these
correlations: can they be explained by a local hidden variable model, in
which each particle carries pre-existing properties that determine its
measurement outcome independently of what the other particle is measured?
The CHSH inequality establishes a necessary condition that all such models
must satisfy.
Quantum mechanics violates this condition: the quantum value of the CHSH
parameter for the singlet state exceeds the classical bound by a factor of
demonstrating that the correlations predicted by quantum mechanics are
fundamentally incompatible with any local realistic description.
Both the inequality and its violation are derived as theorems---one from
probability theory and a locality assumption, the other from the Pauli
algebra of QM8.
The CHSH framework involves two parties, traditionally called Alice, ,
and Bob, , each performing one of two possible measurements on their
respective subsystem.
Definition. CHSH measurement setting.
In the CHSH setting, Alice measures one of two dichotomic observables
or
on subsystem , and Bob measures one of two dichotomic observables
or
on subsystem , where dichotomic means the observables have
eigenvalues only.
For spin- particles, the dichotomic observables are
and
for unit vectors
The CHSH correlation function is
Equation. CHSH parameter.
where is the expectation value of the product
of outcomes.
A local hidden variable, LHV, theory for this setting postulates the
existence of a hidden variable in a probability space
such that the measurement outcomes are:
Equation. LHV outcomes.
and
with independent of Bob's choice and
independent of Alice's choice, the locality assumption.
The expected correlation is then
Equation. LHV correlation.
Theorem. CHSH inequality for local hidden variable theories.
Any local hidden variable theory satisfying the LHV outcome and LHV
correlation equations obeys
Equation. CHSH inequality.
Proof.
For any fixed
define the quantity
Equation. CHSH integrand.
Since
the two factors
and
satisfy the constraint that one of them is zero and the other is ,
since and are either equal or opposite.
If
then
and
so
giving
If
then
and
so
giving
In both cases
and therefore
for every
Taking the expectation over :
and hence
where the inequality is the triangle inequality for integrals and the
last step uses
Remark.
The proof of the CHSH inequality uses only two ingredients:
the dichotomic assumption
the eigenvalues of the observables are ;
the locality assumption that depends only on and
Alice's choice , not on Bob's choice , and vice versa.
No assumption is made about the physical origin of the hidden variable
or the form of the functions and
.
The bound
therefore applies to any local realistic model, however constructed.
The algebraic identity
for all , which follows from the fact that
is either or , is the heart
of the argument; it is a purely combinatorial consequence of the
constraint.
The quantum counterpart of the CHSH parameter is the expectation value of
the CHSH operator in the state under consideration.
Definition. CHSH operator.
The CHSH operator for measurement directions
and
is
Equation. CHSH operator.
on
where
and
are the dichotomic spin observables.
The quantum CHSH parameter for a state is
Theorem. Quantum CHSH value and Tsirelson's bound.
For the optimal measurement settings
Equation. Optimal CHSH settings.
the quantum CHSH parameter for the singlet state is
Equation. Tsirelson value for the singlet.
which violates the CHSH inequality
Furthermore, for any quantum state
and any dichotomic observables, the Tsirelson bound holds:
Equation. Tsirelson bound.
Proof.
The quantum value.
With the optimal settings,
Using the singlet correlation function,
The four correlations are:
and
Substituting into the CHSH parameter:
Taking the absolute value gives
The sign depends on the labeling convention; the violation is
The Tsirelson bound.
The quantum CHSH parameter satisfies
It suffices to bound
since is self-adjoint for real
measurement directions.
Compute
Since
from
and unit, and similarly
one has
Therefore, after expanding and collecting terms,
Equation. CHSH operator squared.
For spin- observables,
using
and similarly for the commutator.
The operator norm bound is
since
Similarly,
Therefore
From the CHSH operator-squared identity,
Therefore
giving
Remark.
The quantum value
is a strict violation of the CHSH inequality: no local hidden variable
theory can reproduce it.
The violation is not a matter of experimental precision: it is a
structural consequence of the Pauli algebra.
The proof of the quantum CHSH theorem uses no physical input beyond the
definition of the singlet state, the spin correlation function, and the
Pauli product formula from QM8.
There is no assumption that the Pauli algebra is the correct description
of nature; the violation is a theorem within the NUVO framework, which
predicts it.
The empirical observation that real experiments, Aspect 1982, Zeilinger
et al. 1998, and many subsequent loophole-free tests, confirm
is a physical validation of the quantum mechanical prediction, not an
input to the theory.
Remark.
The Tsirelson bound
is saturated by the singlet with the optimal settings above.
The saturation condition follows from the CHSH operator-squared identity:
requires
which requires the commutator term in the CHSH operator-squared identity
to contribute , achieved when
and
are maximally non-commuting, i.e., when the measurement directions are at
to each other within each party.
For the optimal settings,
and
are orthogonal, and
and
are at
to each other; these are the optimal settings that saturate Tsirelson's
bound.
Remark.
The CHSH violation is not specific to the singlet .
For any of the four Bell states and appropriate measurement settings,
related to the singlet settings by a local unitary, the maximum quantum
CHSH value is
This follows from the local unitary invariance of the CHSH parameter:
for
with settings equals for
with rotated settings
so any Bell state achieves the same maximum CHSH value as the singlet
with appropriately rotated settings.
The singlet is the most natural choice because its
invariance makes the optimal settings particularly symmetric: the
angle between Alice's directions and the offset
between Alice's and Bob's frames are the optimal geometric configuration
for any rotationally invariant state.
The coupled harmonic oscillator of QM7 was the first concrete entangled
state to appear in the QM-series.
QM7 Proposition 7.2 established that the ground state
is not a product state for any non-zero coupling
and identified it as an entangled state in the sector
where
is the Hilbert space of the -th oscillator.
The present section completes that analysis: the Schmidt decomposition of
the ground state is derived explicitly in the normal mode Fock basis, the
Schmidt coefficients are identified as a geometric distribution with
squeeze parameter , the reduced density matrix is computed, and the
entanglement entropy is evaluated as a function of the coupling constant
.
The results confirm that the entanglement entropy increases monotonically
from at
to infinity as
quantifying the degree to which the oscillator coupling generates
entanglement between the two modes.
The analysis uses the normal mode decomposition of QM7 Section 7.
The coupled oscillator Hamiltonian, QM7 Equation 7.1,
Equation. Recalled coupled oscillator Hamiltonian.
is diagonalized by the center-of-mass and relative coordinates
Equation. Recalled normal coordinates.
with normal mode frequencies
Equation. Recalled normal mode frequencies.
valid for
The ground state wave function in the original coordinates is, by QM7
Proposition 7.2,
Equation. Recalled coupled oscillator ground state.
with normalization constant
In the normal mode coordinates the ground state factorizes:
where is the Fock vacuum of the mode.
The entanglement structure of the ground state in the original oscillator
basis is parametrized by a single dimensionless quantity, the squeeze
parameter.
Definition. Squeeze parameter.
The squeeze parameter of the coupled oscillator ground state is
Equation. Squeeze parameter.
where and are the normal mode frequencies.
The squeeze parameter satisfies:
Lemma. Ground state in the Fock basis of the original modes.
In terms of the Fock states of the -th original
oscillator, frequency , the ground state expands as:
Equation. Coupled oscillator ground state in original Fock basis.
where is the squeeze parameter.
Proof.
The key is to express the normal mode vacuum
in terms of the original mode Fock states.
The original mode creation and annihilation operators are
and their adjoints.
The normal mode operators , for modes with frequencies
and , are related to and
by the Bogoliubov transformation:
Equation. Plus-mode Bogoliubov transformation.
Equation. Minus-mode Bogoliubov transformation.
where
determines the squeezing angle in terms of the squeeze parameter
.
The normal mode vacuum satisfying
is the two-mode squeezed vacuum state.
Solving the Bogoliubov vacuum condition
and
in the original Fock basis
gives the expansion
Equation. Two-mode squeezed vacuum.
where is related to the squeeze parameter by .
To confirm : the normalization of the two-mode squeezed vacuum
requires
which gives
the geometric series, valid for , and confirms .
The squeeze parameter satisfies
consistent with the standard two-mode squeezing algebra.
Setting gives the stated Fock-basis expansion.
Theorem. Schmidt decomposition of the coupled oscillator ground state.
The ground state of the coupled oscillator with
coupling
has Schmidt decomposition:
Equation. Coupled oscillator Schmidt decomposition.
with Schmidt coefficients
Equation. Coupled oscillator Schmidt coefficients.
where
is the squeeze parameter.
The Schmidt rank is
for
and
for
Proof.
The expansion of the ground state in the original Fock basis is already
in Schmidt form: the Fock states
are orthonormal in , the Fock states
are orthonormal in , and the expansion is diagonal, only
terms with the same index appear in both factors.
The Schmidt coefficients are
taking the absolute value to ensure positivity, since the sign
can be absorbed into the Schmidt basis vector
on side .
Normalization:
using the geometric series
for
For ,
and
giving
a product state.
For
all
giving countably infinite Schmidt rank.
Remark.
The infinite Schmidt rank of the coupled oscillator ground state for any
is a structural feature of the infinite-dimensional Hilbert space setting.
In a finite-dimensional bipartite system
the Schmidt rank is at most ; but in
the Schmidt rank can be countably infinite, as here.
The infinite Schmidt rank means that no finite truncation of the
expansion, retaining only terms
for finite , is exact.
Any such truncation produces an approximation that improves as
and is controlled by the truncation error
which goes to zero exponentially in for any fixed .
Proposition. Reduced density matrix of oscillator 1.
The reduced density matrix of oscillator 1 for the ground state
is
Equation. Coupled oscillator reduced density matrix.
a thermal state of oscillator 1 with occupation probabilities
a geometric distribution.
Proof.
Immediate from the spectral decomposition of the reduced density matrix:
the eigenvalues of are the squared Schmidt coefficients
and the eigenstates are the Fock states .
Remark.
The reduced density matrix is a thermal, Gibbs, state of a harmonic
oscillator with frequency :
Equation. Thermal-state form of the reduced density matrix.
where the effective inverse temperature is determined by
i.e.,
This identification connects the entanglement of the pure bipartite
ground state to a thermal mixed state of the subsystem: tracing out
oscillator 2 leaves oscillator 1 in a thermal state, as if it were in
thermal equilibrium at an effective temperature
The effective temperature increases with the coupling , since
increases with and decreases, reflecting the
intuition that stronger coupling generates stronger entanglement and thus
a more mixed, higher effective temperature, reduced state.
The limiting cases are:
with
ground state of the free oscillator, no entanglement, zero temperature;
and
with
stability threshold, infinite effective temperature, divergent
entanglement entropy.
Theorem. Entanglement entropy of the coupled oscillator ground state.
The von Neumann entanglement entropy of the ground state
is
Equation. Coupled oscillator entanglement entropy.
where
is the squeeze parameter.
The entropy is strictly increasing in , with
Equation. Coupled oscillator entropy limits.
and
Proof.
The entanglement entropy is the von Neumann entropy of the reduced
density matrix, computed from the geometric Schmidt distribution
By the geometric-distribution entropy formula,
The boundary values and monotonicity follow from the geometric entropy
limits and the monotonicity of the geometric entropy.
Proposition. Entanglement entropy in terms of the coupling constant.
The squeeze parameter as a function of is
Equation. Squeeze parameter as a function of coupling.
and the entanglement entropy
satisfies:
Equation. Zero-coupling entropy.
Equation. Initial entropy slope.
and
Equation. Entropy divergence at the stability threshold.
Proof.
For zero coupling,
so
For the stability threshold,
as
since
so
For the initial slope, differentiate at .
At
one has
so
The entropy near satisfies
for small , so
since the leading behavior is quadratic, with logarithmic correction, in
.
By the chain rule,
Thus the entropy starts with zero slope and increases only for
.
Remark.
The entanglement entropy has a natural qualitative
description.
At
the two oscillators are independent and the ground state is a product; the
entropy is exactly zero and the subsystem state is a pure Fock vacuum
For small
the entropy grows from zero with zero initial slope: the entropy is
quadratic in , up to a logarithmic correction, for small , and
is linear in near .
Thus the entropy grows approximately as
for small coupling.
As increases toward , the squeeze parameter
and the entropy diverges, reflecting the appearance of infinitely
many increasingly weighted Schmidt modes as the system approaches the
stability threshold.
At the stability threshold
the mode has zero restoring force and the ground state is
no longer normalizable, so the coupled oscillator system does not have a
well-defined ground state; this is the onset of an instability, and the
divergent entanglement entropy is a precursor.
Remark.
The Schmidt decomposition theorem and the reduced density matrix
proposition complete the entanglement analysis of the coupled oscillator
ground state initiated in QM7 Section 7.
QM7 proved that the state is entangled for
and identified the state as a two-mode squeezed vacuum but without
computing the Schmidt coefficients.
The present section supplies the complete quantitative structure: the
Schmidt decomposition is the two-mode squeezed vacuum expansion, the
Schmidt coefficients form a geometric distribution with squeeze parameter
, the reduced density matrix is a thermal state of the subsystem
oscillator at effective temperature determined by , and the
entanglement entropy is the analytic function
The identification of the reduced density matrix as a thermal state is
the first example in the QM-series of the general principle that tracing
out one part of an entangled quantum system produces a thermal mixed
state---a principle that underlies the Unruh effect and Hawking radiation
in the relativistic extensions of the series.
The present section collects the interpretive constraints governing the
entanglement analysis of the preceding sections and records the precise
boundary between what the present paper establishes and what is deferred.
Three items are addressed: the derivational status of entanglement as a
structural consequence of the tensor product, the derivational status of
the density matrix as a derived rather than primitive object, and the
complete inventory of what the present paper establishes and does not
establish.
Entanglement is not a new physical postulate of the NUVO program.
It is a mathematical consequence of the tensor product structure of QM7:
the Hilbert space
contains vectors that are not of the form
and these non-product vectors are the entangled states.
No additional axiom is required to introduce entanglement; it is present
in
by virtue of the algebraic structure of the tensor product.
This derivational status has a precise consequence for the Bell
inequality violation.
The CHSH inequality
is a theorem of probability theory and the locality assumption.
The quantum value
is a theorem of the Pauli algebra.
The violation
is therefore a structural theorem of the NUVO program: the correlations
predicted by quantum mechanics for the singlet state exceed the bound
that any local realistic theory must satisfy.
The violation does not require a new physical postulate; it requires only
the Born rule, QB-series, the tensor product, QM7, and the Pauli algebra,
QM8.
The historical context is worth recording.
Bell's original 1964 paper derived an inequality for correlations in the
singlet state and showed that quantum mechanics violates it,
demonstrating the incompatibility of quantum mechanics with local realism.
Clauser, Horne, Shimony, and Holt reformulated the inequality in a form
amenable to experimental test; the CHSH form is the one derived in this
paper.
Tsirelson derived the quantum upper bound
establishing that the quantum violation has a maximum.
The experimental confirmations, Aspect et al., and subsequent
loophole-free tests, confirm the quantum prediction.
In the NUVO framework, these experimental results validate the theoretical
prediction rather than serving as inputs to it.
The reduced density matrix
is derived from two pre-existing structures: the pure state
established in QM7, and the partial trace
a linear map on operators on
defined from the QM7 product basis.
The Born rule for mixed states,
is derived in the subsystem Born rule theorem from the pure-state Born
rule and the partial trace.
No new measurement axiom is introduced.
The general mixed state density matrix arises in the NUVO program
exclusively as the reduced density matrix of a pure bipartite state.
Every mixed state has a purification: given any
the state
for ancillary
with ONB
purifies
The density matrix formalism therefore adds no new physics to the
QM-series: it is the correct tool for describing subsystems of entangled
pure states, and its properties, positivity, unit trace, Born rule, all
follow from the pure state and the partial trace.
The present paper establishes the following results, available as inputs
to subsequent QM-series papers.
Schmidt decomposition and entanglement:
Product states and entanglement; the rank-one criterion for product
states; the Schmidt decomposition derived from SVD; Schmidt rank;
uniqueness of Schmidt coefficients; basis independence of Schmidt
coefficients; local unitary invariance of Schmidt coefficients; and
perfect Schmidt basis correlations and their connection to measurement.
Density matrix and partial trace:
The density matrix of a pure state with its four properties; the partial
trace and reduced density matrix; the Born rule for subsystem observables;
uniqueness of the reduced density matrix; the spectral decomposition of
from Schmidt coefficients; equal non-zero spectra of
and
the pure state criterion
if and only if
and general mixed states and their purifications.
Von Neumann entropy:
The von Neumann entropy as Shannon entropy of Schmidt probabilities;
non-negativity with equality if and only if product state; upper bound
with equality if and only if maximally entangled; subsystem symmetry
local unitary invariance; Bell state entropy
geometric Schmidt distribution entropy; and limiting behavior
as
and
as
Bell states:
The four Bell states
their Schmidt rank
their reduced density matrix
their entropy
the equivalence of all four Bell states under local unitaries; Bell basis
orthonormality and completeness; the Bell matrix; and singlet correlators
and
CHSH inequality and Bell violation:
The CHSH inequality
for LHV theories, proved from the combinatorial identity
the CHSH operator; the quantum value
for the singlet with optimal settings; Tsirelson's bound
from the operator norm of the CHSH operator; and the violation
Coupled oscillator entanglement:
The Fock basis expansion via Bogoliubov transformation; the Schmidt
decomposition of the ground state; geometric Schmidt coefficients;
infinite Schmidt rank for
the reduced density matrix as a thermal state with effective temperature
determined by
the entanglement entropy
monotone increase from
to
and entropy as a function of
including zero slope at
and divergence at the stability threshold.
The following topics are outside the scope of the present paper.
Quantum teleportation, dense coding, and entanglement swapping.
These protocols use the Bell basis established here and the reduced
density matrix formalism, but require the additional structure of
classical communication channels: the specification of which classical
bits are transmitted between the parties alongside the quantum channel.
The NUVO program's treatment of classical communication channels is
deferred.
Decoherence and open quantum systems.
The Lindblad master equation, which governs the time evolution of a
density matrix under coupling to an environment, uses the density matrix
formalism of the present paper but requires the theory of quantum
channels, completely positive trace-preserving maps, beyond the scope of
the present series.
Separability criteria for mixed states.
The present paper characterizes entanglement for pure bipartite states
via the Schmidt rank.
For mixed states
the definition of entanglement is more subtle.
A mixed state is separable if it can be written as
with positive
The PPT, positive partial transpose, separability criterion and the theory
of entanglement witnesses for mixed states are deferred.
Multipartite entanglement.
The present paper treats bipartite entanglement, two subsystems.
Multipartite entanglement, three or more subsystems, has a richer
classification structure, including GHZ states, W states, and graph
states, that is not developed here.
Relativistic entanglement.
The Lorentz transformation of Bell states and the frame dependence of the
Schmidt decomposition are deferred to QM11.
The Unruh effect and Hawking radiation, which connect the thermal state
identification of the coupled oscillator reduced density matrix to
relativistic quantum field theory, are similarly deferred.
The present paper has derived the complete theory of bipartite quantum
entanglement within the scalar--conformal NUVO transport closure
framework, from the Schmidt decomposition through the Bell inequality
violation and the coupled oscillator entanglement analysis.
The twelve principal results are as follows.
Product states and entanglement.
A pure state
is entangled if and only if its coefficient matrix in any product ONB
has rank greater than one.
Entanglement is not a postulate but a structural consequence of the tensor
product
of QM7.
Schmidt decomposition.
Every pure bipartite state has a unique Schmidt decomposition
derived from the SVD of the coefficient matrix.
The Schmidt coefficients
are basis-independent invariants; the Schmidt rank
if and only if the state is a product state.
Reduced density matrix.
The reduced density matrix
is the unique positive trace-class operator satisfying the subsystem Born
rule
Its eigenvalues are
it is pure if and only if
The reduced density matrices
and
have the same non-zero spectrum.
Von Neumann entropy: properties.
satisfies:
with equality if and only if the state is a product state;
with equality if and only if the state is maximally entangled;
and invariance under local unitaries.
Von Neumann entropy: values.
The uniform two-term distribution gives
the Bell-state entropy and the maximum for a two-qubit system.
The geometric distribution
gives
the coupled oscillator ground-state entropy.
Bell states: construction and maximality.
The four Bell states
each have Schmidt rank
reduced density matrix
the maximally mixed state, and entropy
the maximum for two qubits.
The singlet
and triplet
are identified as Clebsch-Gordan states from QM8.
Bell basis completeness.
The four Bell states form a complete orthonormal basis for
related to the product basis by the unitary Bell matrix.
Singlet correlations.
for all unit vectors
In particular,
CHSH inequality.
Any local hidden variable theory satisfies
proved from the combinatorial identity
for all hidden variables
Quantum violation and Tsirelson's bound.
The singlet with optimal settings achieves
violating the CHSH inequality.
The general bound
follows from
The violation is a theorem, not a physical postulate.
Coupled oscillator Schmidt decomposition.
The ground state
has Schmidt decomposition
with geometric Schmidt coefficients and infinite Schmidt rank for
Coupled oscillator entropy and thermal identification.
The entanglement entropy
increases monotonically from
to
as goes from
to
The reduced density matrix is a thermal state of the subsystem oscillator
at effective temperature
The results of the present paper are of broad programmatic significance
on three grounds.
The first is the completion of the entanglement theory initiated in QM7.
QM7 established that the coupled oscillator ground state is entangled for
and identified the Bell states as the
Clebsch-Gordan states.
QM8 provided the explicit Clebsch-Gordan coefficients that give the Bell
states in the product basis.
QM9 completes the program: the Schmidt decomposition identifies the
structure of entanglement, the reduced density matrix provides the
subsystem description, the von Neumann entropy quantifies the degree of
entanglement, and the Bell inequality violation establishes that this
entanglement has observable consequences structurally incompatible with
any local classical description.
The three papers QM7, QM8, and QM9 together constitute the full
entanglement theory of the non-relativistic NUVO program.
The second ground of significance is the Bell inequality violation as a
theorem.
In the standard formulation of quantum mechanics, the Bell inequality
violation is typically presented as an experimental fact, confirmed by
many experiments, or as a consequence of the quantum mechanical formalism
without derivation.
In the NUVO program, the violation is a theorem derived from three
ingredients: the tensor product, QM7; the Pauli algebra, QM8; and the Born
rule, QB-series.
No new postulate is required.
The derivational chain from the
double-cover holonomy of QM8 through the Pauli matrices, the spin
correlator
and the CHSH operator norm bound makes the logical structure of the
violation completely explicit: it is a consequence of the algebraic
structure of the spin operators, not of any physical assumption about the
behavior of entangled particles.
The third ground is the thermal state identification for the coupled
oscillator reduced density matrix.
Tracing out one oscillator from the entangled ground state produces a
thermal mixed state of the other oscillator.
This is the first instance in the QM-series of a general principle:
tracing out one part of an entangled bipartite system produces a thermal,
or more generally mixed, state of the remaining part, even when the full
system is in a pure ground state at zero temperature.
The effective temperature is determined by the entanglement structure, the
squeeze parameter , not by any external heat bath.
This principle, entanglement as the origin of apparent thermality for
subsystems, is the quantum mechanical precursor of the Unruh effect, where
tracing out modes beyond the Rindler horizon of an accelerating observer
produces a thermal state at the Unruh temperature, and Hawking radiation,
where tracing out the interior of a black hole produces a thermal state
for the exterior observer.
Establishing it here as a derived consequence of the NUVO tensor product
structure positions QM9 as the direct precursor to the relativistic
entanglement theory of QM11.
QM10 develops the theory of quantum scattering within the two-particle
framework of QM7 and the density matrix formalism of QM9.
The primary objects are the scattering states: non-normalizable continuum
eigenstates
of the free Hamiltonian
at positive energy
and the
-matrix, which encodes the probability amplitudes for scattering from an
initial state
to a final state
The central result is the Lippmann-Schwinger equation:
Equation. Lippmann-Schwinger equation preview.
which defines the outgoing, plus, and incoming, minus, scattering states
as perturbative corrections to the free states by the interaction
potential
The
-matrix
is unitary as a consequence of the conservation laws derived in QM4.
The density matrix formalism of QM9 enters when spin-dependent scattering
is analyzed: if the incident particle is in a spin superposition, the
post-scattering state is an entangled spatial-spin state in
and the spin-dependent differential cross-section is computed from the
reduced density matrix of the spin degree of freedom.
This connection makes QM10 the first paper in the series where the full
Hilbert space
of QM8 and the density matrix formalism of QM9 are used together in a
single physical calculation.