How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Qm Angular Momentum And Spin — Examples
1 · Prerequisites
- Absolute and Conditional Convergence; Rearrangement; Products
- Absolute Continuity and the Sharp Fundamental Theorem of Calculus
- Algebraic Closure, Embeddings, and Separability
- Algebraic Extensions, Extension Degree, and Finite Fields
- Analyticity of Holomorphic Functions; Liouville and Morera
- Approximation and Compactness in C(K)
- Arc Length and Rectifiable Curves
- Areas of Elementary Plane Figures
- Banach Alaoglu Goldstine and Krein Milman
- Banach Algebras Spectrum and Holomorphic Functional Calculus
- Banach Valued Integration and the Radon Nikodym Property
- Bessel-Potential Completions and Real-Order Sobolev Spaces
- Binary Operations, Monoids, Groups and Subgroups
- Bounded Linear Operators and Quotient Spaces
- Bounded Variation and the Riemann–Stieltjes Integral
- Cm Math Central
- Cm Math Geometry
- Cm Math Rigid
- Compact Operators and Riesz Schauder Theory
- Compact Self Adjoint Hilbert Schmidt and Trace Class Operators
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Complex Differentiability and the Cauchy–Riemann Equations
- Complex Lp Spaces and Test-Function Conventions
- Complex Power Series and Analytic Functions
- Composition Series, the Jordan–Hölder Theorem and Solvable Groups
- Congruences, the Integers Modulo n and the Chinese Remainder Theorem
- Connectedness
- Constant Rank, Submersions, Immersions and Regular Level Sets
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Continuous Functional Calculus for Self Adjoint and Normal Operators
- Contour Integration
- Convergence: Nets and Filters
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Covering Spaces and Lifting
- Cyclic Groups and Direct Products
- Darboux, L'Hôpital, and Taylor's Theorem
- Density Separability and Convolution in Lᵖ
- Determinants of Matrices over a Commutative Ring
- Diagonalisation and the Minimal Polynomial
- Differentiation of Monotone Functions and the Vitali Covering Theorem
- Distributions Test Functions and Differentiation
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Divisibility, Greatest Common Divisors and Bézout's Identity
- Dual Spaces Adjoint Operators and Annihilators
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Eigenvalues, Eigenvectors and the Characteristic Polynomial
- Euclidean Ordinary Differential Equations with Smooth Dependence
- Euclidean Surface Measure, Divergence, and Green Identities
- Exterior Powers, Orientation and Hodge Duality
- Filters and Ultrafilters
- Finite Averaging and Character-Theory Prerequisites
- Finite Counting, Factorials and Binomial Coefficients
- Finite Dimensional Normed Spaces and Riesz Lemma
- Finite Probability and the Probabilistic Method
- Formal Power Series
- Foundations of the Real Numbers for Analysis
- Fourier Multipliers and Sobolev Characterisations
- Fourier Transform Convolution and Approximate Identities
- Fredholm Elliptic Problems and the Elliptic Spectrum
- Free Modules, Exact Sequences, Projective and Injective Modules
- Fubini and Change of Variables
- Function Space Topologies and the Exponential Law
- Fundamental Trigonometric Identities
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Gelfand Theory and Commutative C Star Algebras
- Goursat's Theorem and Cauchy's Theorem in a Convex Domain
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Harmonic Functions and Mean Values in Rn
- Hausdorff via the Diagonal
- Hereditary and Productive Behaviour of the Separation Axioms
- Hilbert Space Geometry and Riesz Representation
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper and Parameter-Dependent Multiple Integrals
- Improper Integrals
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Lebesgue Measure on Euclidean Space
- Lie Groups, Invariant Fields, and the Exponential Map
- Lie Subgroups, Actions, and Homogeneous Spaces
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Line Integrals and the Gradient Theorem
- Linear Algebra Methods in Combinatorics
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Manifolds with Boundary Collars and Orientations
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Modes of Convergence Egorov and Lusin
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Normed and Banach Spaces
- Norming and Separation under Hahn–Banach
- Order, Zorn's Lemma, and the Axiom of Choice
- Orthonormal Bases, Parseval and Fourier Series
- Outer Measure and the Caratheodory Extension Theorem
- Partitions of Unity and Paracompactness
- pi: the Equivalent Characterizations
- Picard-Lindelöf and First-Order Ordinary Differential Equations
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Primes, Euclid's Lemma and the Fundamental Theorem of Arithmetic
- Product Measures and the Fubini Tonelli Theorems
- Projective Algebraic Sets Projective Morphisms and Cones
- Properties of the Integral and the Working FTC
- Qm Angular Momentum And Spin
- Qm Autonomous Dynamics
- Qm Framework And Quantities
- Qm Massive Particle Kinematics
- Qm Math Composites
- Qm Math Fock And Equilibrium
- Qm Math Magnetic And Detection
- Qm Math Orbital And Spin
- Qm Math Oscillator
- Qm Observables And Born Probabilities
- Qm State Geometry
- Qm Symmetries And Conservation
- Qm Uncertainty And Compatibility
- Radon Measures and the Riesz Markov Kakutani Theorem
- Rank Theorems and Embedded Submanifolds
- Rees Modules Artin Rees and Hilbert Samuel Theory
- Regular Surfaces and Surface Integrals
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Rotation Double Cover
- Schwartz Space and the Plancherel Theorem
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Signed and Complex Measures Hahn and Jordan
- Simple Field Extensions and the Construction of the Complex Numbers
- Sine, Cosine, and the Definition of Pi
- Smooth Approximation and Sobolev Extension
- Smooth Manifolds and Smooth Maps
- Smooth Partitions of Unity and Exhaustions
- Smooth Vector Bundles and Sections
- Sobolev Poincare and Morrey Inequalities
- Spectral Measures and Borel Functional Calculus
- Splitting Fields
- Stone–Weierstrass in General
- Strongly Continuous Semigroups and Hille Yosida
- Subspaces, Products, and Quotients
- Suprema and Infima
- Sylow's Theorems, p-Groups and Nilpotent Groups
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tangent Cotangent and the Differential
- Tempered Distributions and the Fourier Transform
- Tensor Products of Modules
- The Analytic Hahn Banach Theorem
- The Baire Principles of Functional Analysis
- The Branching Rule and the Young Graph
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The Complex Exponential and Euler's Formula
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Divergence Theorem and Classical Stokes
- The Exponential Function
- The Fundamental Theorem of Algebra
- The Fundamental Theorem of Finite Abelian Groups
- The Fundamental Theorems of Calculus
- The Galois Correspondence
- The Group Algebra and Representations of Finite Groups
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Lebesgue and Riemann Integrals Compared
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Lᵖ Spaces Holder Minkowski and Riesz Fischer
- The Maximal Function and Lebesgue Differentiation
- The Radon Nikodym Theorem and Lebesgue Decomposition
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Spectral Theorem, Positive Operators and Singular Value Decomposition
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Unbounded Self Adjoint Operators and Stones Theorem
- Uniform Spaces: the Three Definitions
- Unitary Representations, Positive Type and GNS
- Urysohn's Lemma and the Tietze Extension Theorem
- Vector Fields Flows and Lie Derivatives
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Weak Derivatives and Sobolev Spaces
2 · Summary
The companion page to qm-angular-momentum-and-spin collects exact model computations of the spin and orbital structure and one conditional thought experiment. Spin-half outcome probabilities along an arbitrary direction: the Bloch parametrization and worked cases evaluates the Born probabilities of the directional spin components on product preparations in the Bloch parametrization, with the coordinate and worked special cases. Orbital angular momentum eigenfunctions: the low spherical harmonics of the massive model writes the explicit harmonic polynomial representatives of the low spherical harmonics, checks their orthonormality on the sphere, computes and the sphere Casimir value on the degree-one block, and records the general identities. The two-level Zeeman toy model: sector energies, level splitting and spin precession computes a uniform-field Zeeman model: the sector operator and expectation identities on product vectors in , the factorized flow on all product states, an explicitly labelled two-level truncation with gap , and the precession matrices of the transverse means. The idealized Stern-Gerlach splitting: transverse momentum separation of the two spin sectors under a window hypothesis is a conditional thought experiment: under the explicit hypothetical containment premise it derives the increment in the difference of the two spin-sector mean transverse momenta when both weights are positive; this increment vanishes when . It also derives conservation of the sector weights and, for equal sector weights, of the total transverse mean; it asserts no apparatus, no trajectory and no measured record. What the angular momentum examples establish and what they do not records what these computations establish and the measurement and empirical questions they leave open.
3 · Logical flowchart
4 · Definitions, postulates, theorems and proofs
None yet.
5 · Examples, experiments and counterexamples
Spin-half outcome probabilities along an arbitrary direction: the Bloch parametrization and worked cases
An exact computation inside the massive spin-half model of the framework: the Bloch parametrization of a unit internal spinor, the Born probabilities of the directional spin component n·S, and worked cases including the coordinate directions and the state e_{1/2}. The example uses the model's own outcome law; it involves no dynamics, no magnetic coupling, no apparatus model, no measurement record and no empirical value.
Example
Adopt the state and composition postulate P1, the observable and probability postulate P2, the kinematics and massive-particle model postulate P5 and the internal-factor assignment of the spin postulate P6, read for the massive spin- model of The massive spin-s particle model of the framework: state space, operators, units and frame readings with mass parameter , and the angular momentum readings of Orbital, spin and total angular momentum of the massive spin-s model: assigned sharp observables, units and readings (State and composition postulate P1: Hilbert spaces, preparations and composite systems, Observable and probability postulate P2: self-adjoint observables, spectral probability and finite unsharp outcomes, Kinematics and massive-particle model postulate P5: Newtonian frames and one-particle operators, Identical-particle and spin assignments P6: permutation sectors and finite-spin representations). Fix a unit vector and a unit internal spinor , and put Let and let be the directional spin of Spin spectra and outcome laws of the massive spin-s model: directional components, the Casimir law and the spin-half probabilities. Then:
(i) is a unit vector, , and for every unit
(ii) for the parametrization with and one has , and for the coordinate directions
(iii) for the basis state (the case ) the component has the laws and , while for both signs; and for the component has and .
All quantities are model probabilities for the pure preparation ; no measurement procedure, apparatus, calibration or empirical frequency is asserted, and the example makes no claim that a laboratory device realizes the observable .
Facts & Assumptions
Given: The postulates P1, P2, P5 and P6 in the stated readings; the spin-half model with mass parameter ; the unit spatial factor ; the unit internal spinor ; the vector ; a unit direction ; angles .
Spin matrices of the model. In the internal basis one has with the Pauli matrices , , , and , , (Finite spin matrices clause (e), The massive spin-s particle model of the framework: state space, operators, units and frame readings clause (c), Orbital, spin and total angular momentum of the massive spin-s model: assigned sharp observables, units and readings clause (c)).
Directional spectrum and law. For every unit the operator has the simple internal eigenvalues with eigenline projections read fibrewise, and for every unit vector (Spin spectra and outcome laws of the massive spin-s model: directional components, the Casimir law and the spin-half probabilities clauses (a),(c), Atoms of the spectral measure and eigenvalues of a self-adjoint operator clauses (a),(b), Assigned sharp observables and the outcome law of the framework clause (b)).
Preparations and the product form. is the componentwise spinor with , a unit vector of the model's state space, hence a pure preparation (The massive spin-s particle model of the framework: state space, operators, units and frame readings clause (a), The state space of the framework: preparations, pure rays and density operators, The state space: density operators, pure and mixed states, and purity, Real and complex inner product spaces, with the inner product linear in the first argument).
Verification
Proof technique: direct; evaluate the Pauli matrices on the spinor in the product preparation and read the two projection weights.
Given: The data of the example and [F1]-[F3].
[Bloch vector] Writing with and , the Pauli actions in [F1] and the inner product linear in the first argument give , while ; also . Thus is the vector of Pauli expectations, and .
[Directional law] For the product vector and a unit , the fibrewise projection acts as , so by [F2], using step 1.1; this is (i).
[Parametrized spinor] For one has , so , and ; substituting and into step 2.1 gives the coordinate probabilities of (ii).
[Worked states] For the parametrization has , so and step 2.1 gives , and ; for one has by step 1.1, and step 2.1 with gives and , which is (iii).
Remarks
- One preparation, all directions. The Bloch vector determines the whole family of directional laws of this preparation. These marginal laws alone do not specify joint probabilities for measurements in two directions. Such probabilities require a declared joint or sequential measurement model, including any state change between measurements; none is supplied here. No impossibility of all joint probability laws is asserted.
- No apparatus. The probabilities are Born weights of the model; whether a given Stern-Gerlach or optical apparatus realizes is a tested identification under the preparation and apparatus postulate P7 and is not established here.
Orbital angular momentum eigenfunctions: the low spherical harmonics of the massive model
Explicit low-degree computations inside the angular theory of the massive model: the degree-zero and degree-one spherical harmonics, their orthonormality on the sphere and their eigenvalue equations for the third orbital generator and the orbital Casimir form, together with the citation of the general eigenstate theorem. The example concerns the spatial angular factor; it asserts no dynamics, no radial spectrum, no measurement and no empirical value.
Example
Adopt the mass parameter , a spin label and the angular momentum readings of Orbital, spin and total angular momentum of the massive spin-s model: assigned sharp observables, units and readings for the massive spin- model of The massive spin-s particle model of the framework: state space, operators, units and frame readings, and assume the Axiom of Countable Choice (The Axiom of Countable Choice ()). Let be the spherical harmonics of Associated Legendre function normalization and their harmonic polynomial representatives of Harmonic polynomial dimension clause (c), and let be the self-adjoint orbital generators on of Orbital self-adjoint generators, and let act on polynomials on . The polynomial and sphere actions are related by as specified by that theorem. Then:
(i) the harmonic polynomial representatives of the degrees and are and the family is orthonormal in ;
(ii) on the degree-one block, while the corresponding polynomial identity is on ; on the degree-zero block for every , so ;
(iii) more generally, for every and one has ; for every nonzero and unit , the normalized model vector satisfies . Thus the low-degree computations of (i),(ii) are the first two cases of the sphere identities.
The low-degree sphere computations are independent of the radial profile; clause (iii) uses a nonzero radial profile to form a normalized model vector. The example involves no dynamics, no detector and no empirical input.
Facts & Assumptions
Given: A mass parameter and a spin label ; the harmonic polynomials and the sphere functions ; the orbital generators with ; the polar surface measure with .
Low harmonics. The associated-polynomial normalization gives , , with , and , and the polynomial representatives are , and (Associated Legendre function normalization clauses (c),(e), Harmonic polynomial dimension clause (c)).
Sphere integrals. For the coordinate functions one has and , computed in angle coordinates with (Sphere integrals in angle coordinates, The derivatives of sine and cosine are cosine and minus sine, The second fundamental theorem: if is differentiable on with and is integrable, then , The addition formulas for sine and cosine, Sine and cosine defined by their real power series).
Core action and Casimir on blocks. For polynomial representatives one has and for , and (Orbital self-adjoint generators clauses (a),(c), The orbital Casimir identity: the restrictions of the orbital generators to the degree-l blocks are spin-l models clauses (b),(c)).
Defined model generators and polar integration. The assigned spatial orbital generator generates the given coordinate rotations , with strong derivative generator (Orbital, spin and total angular momentum of the massive spin-s model: assigned sharp observables, units and readings clause (b)). Its domain consists exactly of the vectors for which has a two-sided limit in , and is that limit (Infinitesimal generator of a unitary group). Under Countable Choice, polar integration gives for every nonnegative Borel (Polar coordinates decompose Lebesgue measure into r^{n-1} dr d sigma).
Verification
Given: The data of the example and [F1]-[F4].
[Low polynomials] Substituting the constants of [F1] gives , , and , which are the displayed polynomials of (i); each is harmonic and homogeneous of the stated degree by [F1].
[General sphere identity and the spatial generator domain] The general sphere identity is [F3]. Put , extended by zero at . Its support lies in a fixed compact annulus, so it is smooth there and zero near . Rotations preserve , hence by [F4], . In the fixed finite-dimensional space of homogeneous degree- polynomials, the coefficients of are smooth functions of ; differentiating the rotation matrices at gives the polynomial derivative . Each fixed polynomial times belongs to by [F4], since it is bounded and compactly supported. Thus coefficientwise convergence of the finitely many difference quotients gives convergence in to . The domain definition in [F4] proves and . This establishes the needed full spatial action directly for these vectors, using the assigned operators without a general spectral or Stone construction.
[Sphere norms and orthogonality] By [F2] and step 1.1, ; ; and . The mixed products with integrate to zero: and have zero -integrals, while for , by the angle formula and the trigonometric primitives in [F2]. The mixed products of with vanish by from [F2]. Finally, has zero integral because [F2] gives equal second moments for and a zero cross moment; the reversed mixed integrals are their complex conjugates. Hence the four functions are orthonormal.
[Degree-one eigenvalues] By step 1.1, direct differentiation gives for , hence as a polynomial identity; restricting to the sphere and using [F3] gives . The Casimir identity of [F3] with gives for . For , each , so [F3] gives and therefore . This proves (ii).
[Radial norm and Casimir form] By homogeneity, , and is the homogeneous polynomial representative of by [F3]. Polar integration [F4] and therefore give and , where . Since is nonzero and continuous, it is bounded below in modulus by a positive constant on some nondegenerate interval inside , so . The sphere generators preserve and are self-adjoint there; hence [F3] gives . Dividing the spatial norm identities by proves , the rest of (iii). Together with steps 1.1, 2.1 and 2.2 this completes (i)-(iii), under the stated Countable Choice hypothesis.
Remarks
- The exception. The vanishing of all three components on illustrates that a state with zero total orbital angular momentum has every component sharp at value zero; the noncommutation of two components on other states is not contradicted.
- Radial scope. Clause (iii) is verified locally from the defined rotation generators on the displayed compactly supported radial harmonics. The broader eigenstate and outcome-law theorem Orbital angular momentum eigenstates of the massive model: spherical harmonics, the l,m quantum numbers and the Casimir value also addresses their measurement laws under its additional Choice premise; those laws are not used here. No radial dynamics or radial energy equation is solved here.
The two-level Zeeman toy model: sector energies, level splitting and spin precession
A worked example inside the massive spin-half model with the adopted effective magnetic-moment coupling in a uniform static field: the exact sector identities for the Zeeman operator on product states, the energy offsets, and an explicitly labeled two-level truncation in which the internal levels differ by gamma hbar B_z and the spin precesses with angular frequency gamma B_z. The truncation is a toy model assumption, not derived from the full operator; no spectroscopy, no radiation, no measured gyromagnetic parameter and no apparatus is asserted.
Example
Adopt the state and composition postulate P1, the observable and probability postulate P2, the autonomous-dynamics postulate P4, the kinematics and massive-particle model postulate P5 and the internal-factor assignment of the spin postulate P6, read for the massive spin- model of The massive spin-s particle model of the framework: state space, operators, units and frame readings with mass parameter , together with the effective magnetic-moment coupling of Effective magnetic-moment coupling of the finite-spin model: gyromagnetic parameter, magnetic moment and Zeeman energy operator with parameter , and assume the Axiom of Countable Choice and the Axiom of Choice (The Axiom of Countable Choice (), The Axiom of Choice). Fix and the uniform field , let on be the model's Zeeman operator with flow and put . Then:
(i) for every unit and each sign, the product flow satisfies and the transverse spin means of such a product state precess as in Spin precession and the Zeeman splitting in a uniform magnetic field: Larmor angular frequency and the conservation of one component. If in addition , then the displayed expectation is defined only for these domain vectors.
(ii) toy truncation. Fix a real energy parameter in joules. Suppose in addition that, on a declared two-dimensional internal subspace, the free part is replaced by the scalar (a truncation assumption of the toy model, not a theorem of the full model): then the truncated operator is in the basis , with energy levels and signed level difference ; its evolution is so the relative phase of the two amplitudes accumulates at the angular frequency (equivalently at the ordinary frequency );
(iii) in the truncation the conjugation identities of the precession theorem reduce to explicit matrix identities, with ;
(iv) the toy model contains no driving field: its diagonal evolution preserves the two sector weights, hence there is no spin flip between and under alone. Statements about spin-flip transitions, resonance or spectroscopy require a separately adopted drive or coupling, belong to the driven-dynamics and light-matter pages, and are not derived here. No apparatus, calibration, measured frequency or measured value of is asserted.
Facts & Assumptions
Given: The postulates P1, P2, P4, P5 and P6 and the magnetic-moment postulate in the stated readings; the two choice principles; the parameters , , , and ; the operator and its flow; a unit ; the basis ; the scalar .
Uniform-field Zeeman operator. has domain , and is self-adjoint on with flow , commutes with the flow, and for every unit vector the transverse means satisfy the precession identities of Spin precession and the Zeeman splitting in a uniform magnetic field: Larmor angular frequency and the conservation of one component clauses (a),(b),(c) (Effective magnetic-moment coupling of the finite-spin model: gyromagnetic parameter, magnetic moment and Zeeman energy operator clauses (i),(ii), Assigned energy observable, unitary flow and the two pictures of autonomous evolution, The state space of the framework: preparations, pure rays and density operators).
Spin-half matrices. with , , , and the Pauli matrices satisfy , , (Finite spin matrices clause (e), Orbital, spin and total angular momentum of the massive spin-s model: assigned sharp observables, units and readings clause (c)).
Bounded exponentials. For a bounded self-adjoint matrix the map is a norm-continuous unitary group with (The exponential series of a bounded operator, The operator norm as the least bound and as the unit-sphere or unit-ball supremum, The state space: density operators, pure and mixed states, and purity).
Verification
Given: The data of the example and [F1]-[F3].
[Sector identities] By [F2] one has and acts on the spatial factor only; hence, for , , and taking the inner product with the unit vector gives the displayed expectation. For every , not necessarily in , [F1] gives the product-flow identity, with by [F2]; the transverse means then precess as in the cited theorem, proving (i).
[Toy levels and evolution] In the two-dimensional internal model with free part , the operator is diagonal in with entries by [F2], so its eigenvalues are those entries and the signed difference is ; by [F3] the exponential is the displayed diagonal unitary, and the relative phase accumulates at the angular frequency , which is (ii).
[Conjugation identities] With from step 2.1, direct matrix multiplication using [F2] gives and , which is (iii) and agrees with the general conjugation of Spin precession and the Zeeman splitting in a uniform magnetic field: Larmor angular frequency and the conservation of one component clause (c).
[Scope] Since is diagonal in , its evolution multiplies the two amplitudes by phases and preserves the sector weights : no spin flip occurs without a driving term, and the truncation was an explicit toy assumption, which is (iv).
Remarks
- What the truncation discards. Replacing by discards the kinetic and any potential structure of the spatial factor; the truncated model is a toy description of the internal degree of freedom, and no spatial dynamics or position-space measurement model follows from it.
- Frequency conventions. is an angular frequency in ; the ordinary frequency is in hertz, with the radian dimensionless, in the conventions of Dimensions, SI unit conventions and quantity types of the framework.
The idealized Stern-Gerlach splitting: transverse momentum separation of the two spin sectors under a window hypothesis
An idealized model prediction of the spin-half Zeeman model with a static windowed-gradient field: under an explicitly hypothetical containment premise (the first-coordinate marginals of both spin-sector components remain supported in the window of constant gradient during [0,tau]), the normalized sector mean transverse momenta change at rates plus and minus gamma hbar G / 2, so their difference changes by gamma hbar G tau over the time tau; the change is zero if gamma G is zero. The sector weights are conserved; the total transverse mean is conserved for equal sector weights or zero coupling-gradient product, and otherwise has rate gamma hbar G (w_plus-w_minus) / 2. The item is a hypothetical calculation, not a reported experiment: it asserts no apparatus, no beam, no counts, no detector, no measured value and no claim that the containment premise holds for realistic preparations.
Statement
Adopt the postulates P1, P2, P4, P5 and P6 and the effective magnetic-moment coupling as in The conditional Stern-Gerlach force prediction of the spin-half Zeeman model: transverse momentum rate in a smooth bounded gradient field, for the massive spin- model with mass parameter and parameter (State and composition postulate P1: Hilbert spaces, preparations and composite systems, Observable and probability postulate P2: self-adjoint observables, spectral probability and finite unsharp outcomes, Autonomous dynamics postulate P4: self-adjoint generators and unitary evolution, Kinematics and massive-particle model postulate P5: Newtonian frames and one-particle operators, Identical-particle and spin assignments P6: permutation sectors and finite-spin representations, Effective magnetic-moment coupling of the finite-spin model: gyromagnetic parameter, magnetic moment and Zeeman energy operator), and assume the Axiom of Countable Choice and the Axiom of Choice (The Axiom of Countable Choice (), The Axiom of Choice). Fix a real with , bounded, reals and , and the field profile , and suppose that for every . Let be the Zeeman operator of the model with flow for a unit vector , let be the two spin-sector components with , and write and, for each sign, let be the first-coordinate marginal density of the component of , where denotes that nonzero component. Fix and adopt the following hypothetical containment premise: for each sign and every , Then:
(i) the sector weights are conserved: for every , and is independent of ;
(ii) under the containment premise, for each sign with the normalized sector transverse mean is affine in on : so, when , their difference changes by : independently of the initial means; a sector with is trivial;
(iii) the total transverse mean evolves by the weighted rate so for the equal-weight preparation the total transverse mean is conserved while the sector mean changes are equal and opposite; if , both changes vanish;
(iv) Status and scope. This is an idealized hypothetical calculation: the containment premise is an explicitly assumed possible property of the evolved state, not an observed fact and not a consequence of the model; no position-space splitting, detector trace, count, calibration or measured value is asserted, no apparatus is modeled, and the historical Stern-Gerlach experiment is not described or explained by this item. The identification of the model with any real beam experiment remains a tested identification with uncertainty under Preparation and apparatus postulate P7: declared preparations, isolation and sampling assumptions.
Facts & Assumptions
Given: The postulates P1, P2, P4, P5 and P6 and the magnetic-moment postulate in the stated readings; the two choice principles; the parameters , , and the real with bounded; the reals , , ; the profile ; the operator ; the flow ; the unit vector ; the sector projections ; the marginal densities .
Model force theorem. For the present model and profile, with the identifications of The conditional Stern-Gerlach force prediction of the spin-half Zeeman model: transverse momentum rate in a smooth bounded gradient field clauses (a),(b): is self-adjoint on , commutes with on the domain, the sector weights and the mean are independent of , and for every with flow one has if additionally and on a Borel set carrying the first-coordinate marginal of , then ; in the model readings the operator is times the Pauli on the internal factor (The conditional Stern-Gerlach force prediction of the spin-half Zeeman model: transverse momentum rate in a smooth bounded gradient field clauses (a),(b), Finite spin matrices clause (e), Orbital, spin and total angular momentum of the massive spin-s model: assigned sharp observables, units and readings clause (c)).
Sector invariance. are orthogonal projections with and ; since commutes with on by [F1], commute with , preserve and , and commute with the flow, so lies in the spin sector for every , with (Assigned energy observable, unitary flow and the two pictures of autonomous evolution, The state space: density operators, pure and mixed states, and purity, The state space of the framework: preparations, pure rays and density operators). Moreover act on the internal factor while is the componentwise momentum in the spatial coordinate, so and on ; consequently whenever these expectations are defined.
Hypothetical containment premise. It is assumed that for each sign and every the density is supported in ; under this premise, since for by the window hypothesis, the identity holds as classes. This premise is assumed, not derived, and is labeled hypothetical (Assigned sharp observables and the outcome law of the framework, The state space of the framework: preparations, pure rays and density operators, Dimensions, SI unit conventions and quantity types of the framework).
Proof
Given: The data of the statement and [F1]-[F3].
[Sector decomposition and conservation] By [F2] the sector components satisfy with , , and is independent of ; this is (i).
[Sector rates] Apply the general rate identity of [F1] to each sector component : ; by the numerical identity of [F2] and the premise [F3] giving , the right-hand side equals ; dividing by the constant sector weight gives on .
[Integration and separation] Integrating the unnormalized rates of step 2.1 over gives . For each sector with , division by its conserved weight gives ; when both weights are positive, subtracting these identities gives , so the difference changes by , independently of its initial value. For the total mean, [F2] gives , so summing the unnormalized rates of step 2.1 gives ; this vanishes for , proving (ii) and (iii).
[Assembly and scope] Steps 1.1, 2.1 and 3.1 prove (i)-(iii) under the explicit premise [F3]; the premise is hypothetical, no position-space trace, count or apparatus entered, and no empirical conclusion is drawn, which is the status statement (iv).
Remarks
- Normalization of the means. The mean transverse momentum of a sector is read from the outcome law of the whole preparation restricted to the sector, that is from the normalized sector mean; the statement and the proof use this reading, and the sector rate is constant under the window premise.
- How strong the premise is. The containment premise constrains the prepared state and the field window jointly; for a spreading wave packet and a finite window it can fail for large or narrow packets, and the item asserts nothing about when it holds. The physical two-beam profile of a real Stern-Gerlach magnet is not modeled here.
What the angular momentum examples establish and what they do not
The scope of the examples companion page of the angular momentum and spin page: the exact model computations recorded there, their status as conditional model statements, and the measurement, apparatus and empirical qualifications that remain outside them. The remark asserts no model fact, no measurement and no empirical conclusion.
Scope of the examples
-
Recorded content. The companion page contains exact model computations: Spin-half outcome probabilities along an arbitrary direction: the Bloch parametrization and worked cases evaluates the Born probabilities of the directional spin components for an arbitrary unit spinor and works the coordinate cases; Orbital angular momentum eigenfunctions: the low spherical harmonics of the massive model computes the low spherical harmonics, their orthonormality and their orbital eigenvalues; The two-level Zeeman toy model: sector energies, level splitting and spin precession records the sector expressions of the uniform-field Zeeman operator on product vectors in , its factorized flow on all product vectors, an explicitly labeled two-level truncation with its level splitting, and the explicit precession matrices; and The idealized Stern-Gerlach splitting: transverse momentum separation of the two spin sectors under a window hypothesis derives, under an explicitly hypothetical containment premise, the change in the difference of the two sector mean transverse momenta.
-
Status. All four items are conditional statements inside the model of The massive spin-s particle model of the framework: state space, operators, units and frame readings with the readings of Orbital, spin and total angular momentum of the massive spin-s model: assigned sharp observables, units and readings and, in the last two, with the adopted magnetic-moment coupling. None of them reports a measurement; the thought experiment's containment premise is a hypothetical assumption, and the toy truncation is a toy model assumption; the numerical values appearing in them (-multiples, probabilities and frequencies) are model expressions, not measured numbers.
-
Empirical qualifications. The identification of any of these preparations and observables with a laboratory setup is a tested identification with uncertainty under Preparation and apparatus postulate P7: declared preparations, isolation and sampling assumptions; detector resolution, background, calibration, sampling and selection are not modeled here. The directional-probability example specializes Spin spectra and outcome laws of the massive spin-s model: directional components, the Casimir law and the spin-half probabilities, while the Zeeman toy example specializes the uniform static-field result Spin precession and the Zeeman splitting in a uniform magnetic field: Larmor angular frequency and the conservation of one component, retaining its isolated evolution and its separate truncation assumption. The gradient-field thought experiment instead retains its own hypotheses from The idealized Stern-Gerlach splitting: transverse momentum separation of the two spin sectors under a window hypothesis: real bounded with bounded derivative, an initial unit vector in , a constant gradient on the declared interval and the hypothetical containment premise throughout ; normalized sector means require positive sector weights. It does not specialize the uniform-field precession theorem. The orbital example retains its harmonic-polynomial and normalization hypotheses. Each computation inherits the qualifications of the suppliers it actually uses.
-
What is deliberately absent. No experiment item, no measured frequency, no measured gyromagnetic parameter, no source-backed Stern-Gerlach dataset, no spin-orbit or fine-structure computation and no radiation or relaxation model appears on the examples companion; those belong to other pages of the category, with their own sources and qualifications.
Sources
- B. Zwiebach, MIT 8.05 Quantum Physics II (Fall 2013), Chapter 2 'Spin One-Half, Bras, Kets, and Operators', Section 4, printed pages 16-19: the directional spin operator n·sigma, its eigenstates and the spin probability formula
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Section 7.4.2, printed pages 161-164 (PDF pages 169-172): spin-half states, the expectation vector of the Pauli matrices and directional probabilities
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Section 7.2, printed pages 145-154 (PDF pages 153-162): the l = 0, 1 spherical harmonics, their orthonormality and their angular momentum eigenvalues
- D. Tong, Quantum Mechanics (author-hosted lecture set), Sections 4.1-4.1.2, printed pages 96-103 (PDF pages 99-106): the low spherical harmonics and the angular momentum eigenvalue equations, including the l = 0 exceptions
- B. Zwiebach, MIT 8.05 Quantum Physics II (Fall 2013), Chapter 7 'Two State Systems', Sections 1-3, chapter pages 1-6 (PDF pages 1-6 of 22): the two-level spin system in a uniform field, its energy levels and its precession
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Section 7.4, printed pages 164-169 (PDF pages 172-177): the two-level spin model, magnetic energies and precession
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Section 7.4.2, printed pages 161-164 (PDF pages 169-172): the ideal two-beam Stern-Gerlach model and the force on the two spin components
- B. Zwiebach, MIT 8.05 Quantum Physics II (Fall 2013), Chapter 2 'Spin One-Half, Bras, Kets, and Operators', Section 1, printed pages 1-7 (the Stern-Gerlach idealization with two peaks, explicitly presented as an idealized model of the apparatus) and Section 4, printed pages 16-19 (spin states in an arbitrary direction)
- B. Zwiebach, MIT 8.05 Quantum Physics II (Fall 2013), Chapter 2 'Spin One-Half, Bras, Kets, and Operators', Section 1, printed pages 1-7: the status of the Stern-Gerlach discussion as an idealization and its separation from quantitative apparatus analysis
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, Preface, printed pages xi-xiii (PDF pages xiii-xv): the boundary between the operator-theoretic model and its physical interpretation