Alphabeta Math
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

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 L3sphY1m=ℏmY1m and the sphere Casimir value 2ℏ2 on the degree-one block, and records the general (l,m) 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 D(H0), the factorized flow on all product states, an explicitly labelled two-level truncation with gap ΔE=ℏω, 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 γℏGτ in the difference of the two spin-sector mean transverse momenta when both weights are positive; this increment vanishes when γG=0. 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

ExampleConstruction: AI-adaptedVerification: AI-adaptedprecheck passOpen item page →

Spin-half outcome probabilities along an arbitrary direction: the Bloch parametrization and worked cases

Physical scope

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-12 model of The massive spin-s particle model of the framework: state space, operators, units and frame readings with mass parameter m>0, 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 f∈L2(R3;C) and a unit internal spinor v=(v1,v2)∈C2, and put ⟨σ⟩v:=(2Re⁡(v1v2‾), −2Im⁡(v1v2‾), ∣v1∣2−∣v2∣2)∈R3. Let ψ:=f⊗v∈H1/2 and let Sn=∑iniSi 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, ∣⟨σ⟩v∣=1, and for every unit n∈R3 μψSn({ℏ2})=1+n⋅⟨σ⟩v2,μψSn({−ℏ2})=1−n⋅⟨σ⟩v2;

(ii) for the parametrization v=(eiφcos⁡(θ/2), sin⁡(θ/2)) with θ∈[0,π] and φ∈R one has ⟨σ⟩v=(sin⁡θcos⁡φ, −sin⁡θsin⁡φ, cos⁡θ), and for the coordinate directions μψS3({±ℏ2})=cos⁡2θ2, sin⁡2θ2,μψS1({±ℏ2})=1±sin⁡θcos⁡φ2;

(iii) for the basis state v=e1/2 (the case θ=0) the component S3 has the laws μψS3({ℏ/2})=1 and μψS3({−ℏ/2})=0, while μψS1({±ℏ/2})=12 for both signs; and for v=(e1/2+e−1/2)/2 the component S1 has μψS1({ℏ/2})=1 and μψS1({−ℏ/2})=0.

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 Sn.

Facts & Assumptions

Given: The postulates P1, P2, P5 and P6 in the stated readings; the spin-half model with mass parameter m>0; the unit spatial factor f; the unit internal spinor v; the vector ψ=f⊗v; a unit direction n; angles θ,φ.

[F1]

Spin matrices of the model. In the internal basis (e1/2,e−1/2) one has Si=ℏ2σi with the Pauli matrices σ1=σx, σ2=σy, σ3=σz, and S1=Sx, S2=Sy, S3=Sz (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)).

[F2]

Directional spectrum and law. For every unit n the operator Sn has the simple internal eigenvalues ±ℏ2 with eigenline projections P±=12(I±n⋅σ) read fibrewise, and for every unit vector ψ∈H1/2 μψSn({±ℏ2})=⟨P±ψ,ψ⟩ (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)).

[F3]

Preparations and the product form. ψ=f⊗v is the componentwise spinor ψ(x)=f(x)v with ∥ψ∥=∥f∥ ∥v∥=1, 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].

1.1F1givenalgebra

[Bloch vector] Writing v=(v1,v2) with ∣v1∣2+∣v2∣2=1 and z:=v1v2‾, the Pauli actions in [F1] and the inner product linear in the first argument give ⟨σ1v,v⟩=z+z‾=2Re⁡z, while ⟨σ2v,v⟩=−iz‾+iz=i(z−z‾)=−2Im⁡z; also ⟨σ3v,v⟩=∣v1∣2−∣v2∣2. Thus ⟨σ⟩v is the vector of Pauli expectations, and ∣⟨σ⟩v∣2=4∣v1v2∣2+(∣v1∣2−∣v2∣2)2=(∣v1∣2+∣v2∣2)2=1.

2.1step 1.1F2F3algebra

[Directional law] For the product vector ψ=f⊗v and a unit n, the fibrewise projection acts as P±ψ=f⊗12(I±n⋅σ)v, so by [F2], μψSn({±ℏ/2})=12(1±⟨(n⋅σ)v,v⟩)=12(1±n⋅⟨σ⟩v) using step 1.1; this is (i).

3.1step 2.1algebra

[Parametrized spinor] For v=(eiφcos⁡(θ/2),sin⁡(θ/2)) one has v1v2‾=eiφcos⁡(θ/2)sin⁡(θ/2), so 2Re⁡(v1v2‾)=sin⁡θcos⁡φ, −2Im⁡(v1v2‾)=−sin⁡θsin⁡φ and ∣v1∣2−∣v2∣2=cos⁡2(θ/2)−sin⁡2(θ/2)=cos⁡θ; substituting n=e3 and n=e1 into step 2.1 gives the coordinate probabilities of (ii).

4.1step 1.1step 2.1F1algebra∎

[Worked states] For v=e1/2 the parametrization has θ=0, so ⟨σ⟩v=(0,0,1) and step 2.1 gives μψS3({ℏ/2})=1, μψS3({−ℏ/2})=0 and μψS1({±ℏ/2})=12; for v=(e1/2+e−1/2)/2 one has ⟨σ⟩v=(1,0,0) by step 1.1, and step 2.1 with n=e1 gives μψS1({ℏ/2})=1 and μψS1({−ℏ/2})=0, 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 Sn is a tested identification under the preparation and apparatus postulate P7 and is not established here.
ExampleConstruction: AI-adaptedVerification: AI-adaptedprecheck passOpen item page →

Orbital angular momentum eigenfunctions: the low spherical harmonics of the massive model

Physical scope

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 m>0, a spin label s 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-s 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 (ACω)). Let Ylm be the spherical harmonics of Associated Legendre function normalization and hlm their harmonic polynomial representatives of Harmonic polynomial dimension clause (c), and let Lisph be the self-adjoint orbital generators on L2(S2,σ) of Orbital self-adjoint generators, and let Di=(x×∇)i act on polynomials on R3. The polynomial and sphere actions are related by LisphYlm=res⁡l(−iℏDihlm) as specified by that theorem. Then:

(i) the harmonic polynomial representatives of the degrees l=0 and l=1 are h00=14π,h10=34π x3,h1,1=−38π (x1+ix2),h1,−1=38π (x1−ix2), and the family (Y00,Y1,−1,Y10,Y11) is orthonormal in L2(S2,σ);

(ii) on the degree-one block, L3sphY1m=ℏm Y1m,∑i=13(Lisph)2F=2ℏ2F(F∈V1), while the corresponding polynomial identity is −iℏD3h1m=ℏmh1m on R3; on the degree-zero block LisphY00=0 for every i, so ∑i(Lisph)2Y00=0;

(iii) more generally, for every l≥0 and m∈{−l,…,l} one has L3sphYlm=ℏmYlm; for every nonzero R∈Cc∞((0,∞)) and unit w∈Cr, the normalized model vector φ=R(∣x∣)hlm(x)w/∥R(∣x∣)hlm(x)w∥ satisfies ∑i∥Liφ∥2=ℏ2l(l+1). 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 m>0 and a spin label s; the harmonic polynomials hlm and the sphere functions Ylm; the orbital generators Li with Di=(x×∇)i; the polar surface measure σ with σ(S2)=4π.

[F1]

Low harmonics. The associated-polynomial normalization gives w00=P0=1, w10=P1=t, w11=−(1−t2)1/2 with b00=(∫−111 dt)−1/2=2−1/2, b10=(∫−11t2dt)−1/2=3/2 and b11=(∫−11(1−t2)dt)−1/2=3/4, and the polynomial representatives are h00=b00/2π, h10=b10 x3/2π and h1,±1=∓b11(x1±ix2)/2π (Associated Legendre function normalization clauses (c),(e), Harmonic polynomial dimension clause (c)).

[F2]

Sphere integrals. For the coordinate functions Ωj(x)=xj/∣x∣ one has ∫S2ΩiΩj dσ=4π3δij and ∫S21 dσ=4π, computed in angle coordinates Φ(θ,φ) with sin⁡θ d(θ,φ) (Sphere integrals in angle coordinates, The derivatives of sine and cosine are cosine and minus sine, The second fundamental theorem: if G is differentiable on [a,b] with G′=f and f is integrable, then ∫abf=G(b)−G(a), The addition formulas for sine and cosine, Sine and cosine defined by their real power series).

[F3]

Core action and Casimir on blocks. For polynomial representatives one has LisphF=resl(−iℏDipF) and ∑i(Lisph)2F=ℏ2l(l+1)F for F∈Vl, and L3sphYlm=ℏmYlm (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)).

[F4]

Defined model generators and polar integration. The assigned spatial orbital generator Li generates the given coordinate rotations Ui(t)f(x)=f(Ri(−t)x), with strong derivative generator Gi=−iLi/ℏ (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 (Ui(t)f−f)/t has a two-sided limit in Hs, and Gif is that limit (Infinitesimal generator of a unitary group). Under Countable Choice, polar integration gives ∫R3f(x) dx=∫0∞∫S2f(rΩ)r2 dσ(Ω) dr for every nonnegative Borel f (Polar coordinates decompose Lebesgue measure into r^{n-1} dr d sigma).

Verification

technique · direct; insert the explicit low-degree polynomials, evaluate the sphere integrals in angle coordinates, and apply the polynomial action of the generators and the Casimir identity on the degree-one block

Given: The data of the example and [F1]-[F4].

1.1F1algebra

[Low polynomials] Substituting the constants of [F1] gives h00=2−1/2(2π)−1/2=(4π)−1/2, h10=3/2(2π)−1/2x3=3/(4π)x3, and h1,±1=∓3/4(2π)−1/2(x1±ix2)=∓3/(8π)(x1±ix2), which are the displayed polynomials of (i); each is harmonic and homogeneous of the stated degree by [F1].

1.2F1F3F4algebra

[General sphere identity and the spatial generator domain] The general sphere identity L3sphYlm=ℏmYlm is [F3]. Put ψ(x)=R(∣x∣)hlm(x)w, extended by zero at 0. Its support lies in a fixed compact annulus, so it is smooth there and zero near 0. Rotations preserve ∣x∣, hence by [F4], Ui(t)ψ(x)=R(∣x∣)hlm(Ri(−t)x)w. In the fixed finite-dimensional space of homogeneous degree-l polynomials, the coefficients of hlm(Ri(−t)x) are smooth functions of t; differentiating the rotation matrices at 0 gives the polynomial derivative −Dihlm. Each fixed polynomial times R(∣x∣)w belongs to Hs by [F4], since it is bounded and compactly supported. Thus coefficientwise convergence of the finitely many difference quotients gives convergence in Hs to −R(∣x∣)Dihlm(x)w. The domain definition in [F4] proves ψ∈D(Li) and Liψ=−iℏR(∣x∣)Dihlm(x)w. This establishes the needed full spatial action directly for these vectors, using the assigned operators without a general spectral or Stone construction.

2.1step 1.1F2algebra

[Sphere norms and orthogonality] By [F2] and step 1.1, ∫S2∣Y00∣2dσ=14π⋅4π=1; ∫S2∣Y10∣2dσ=34π∫Ω32dσ=34π⋅4π3=1; and ∫S2∣Y1,±1∣2dσ=38π∫(Ω12+Ω22)dσ=38π⋅8π3=1. The mixed products with Y00 integrate to zero: Ω1 and Ω2 have zero φ-integrals, while ∫0πcos⁡θsin⁡θ dθ=0 for Ω3, by the angle formula and the trigonometric primitives in [F2]. The mixed products of Y10 with Y1,±1 vanish by ∫Ω3Ω1 dσ=∫Ω3Ω2 dσ=0 from [F2]. Finally, Y11Y1,−1‾=−38π(Ω12−Ω22+2iΩ1Ω2) has zero integral because [F2] gives equal second moments for Ω1,Ω2 and a zero cross moment; the reversed mixed integrals are their complex conjugates. Hence the four functions are orthonormal.

2.2step 1.1F3algebra

[Degree-one eigenvalues] By step 1.1, direct differentiation gives D3h1m=(x1∂2−x2∂1)h1m=im h1m for m=−1,0,1, hence −iℏD3h1m=ℏmh1m as a polynomial identity; restricting to the sphere and using [F3] gives L3sphY1m=ℏmY1m. The Casimir identity of [F3] with l=1 gives ∑i(Lisph)2F=2ℏ2F for F∈V1. For l=0, each Dih00=0, so [F3] gives LisphY00=0 and therefore ∑i(Lisph)2Y00=0. This proves (ii).

3.1step 1.2step 1.1step 2.1step 2.2F1F3F4algebra∎

[Radial norm and Casimir form] By homogeneity, hlm(rΩ)=rlYlm(Ω), and −iℏDihlm is the homogeneous polynomial representative of LisphYlm by [F3]. Polar integration [F4] and ∥w∥=∥Ylm∥=1 therefore give ∥ψ∥2=AR and ∥Liψ∥2=AR∥LisphYlm∥2, where AR=∫0∞∣R(r)∣2r2l+2 dr<∞. Since R is nonzero and continuous, it is bounded below in modulus by a positive constant on some nondegenerate interval inside (0,∞), so AR>0. The sphere generators preserve Vl and are self-adjoint there; hence [F3] gives ∑i∥LisphYlm∥2=⟨∑i(Lisph)2Ylm,Ylm⟩=ℏ2l(l+1). Dividing the spatial norm identities by AR proves ∑i∥Li(ψ/∥ψ∥)∥2=ℏ2l(l+1), 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 l=0 exception. The vanishing of all three components on Y00 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.
ExampleConstruction: AI-adaptedVerification: AI-adaptedprecheck passOpen item page →

The two-level Zeeman toy model: sector energies, level splitting and spin precession

Physical scope

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-12 model of The massive spin-s particle model of the framework: state space, operators, units and frame readings with mass parameter m>0, 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 γ:=γ1/2∈R, and assume the Axiom of Countable Choice and the Axiom of Choice (The Axiom of Countable Choice (ACω), The Axiom of Choice). Fix Bz∈R and the uniform field B=(0,0,Bz), let HZ=H0−γBzS3 on D(HZ)=W2,2(R3;C2) be the model's Zeeman operator with flow UZ(t)=e−itHZ/ℏ and put ω:=γBz. Then:

(i) for every unit f∈L2(R3;C) and each sign, the product flow satisfies UZ(t)(f⊗e±)=e±iγBzt/2(e−itH0/ℏf)⊗e±(t∈R), 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 f∈D(H0)=W2,2(R3;C), then HZ(f⊗e±)=(H0f)⊗e±∓γℏBz2 f⊗e±,⟨HZ⟩f⊗e±:=⟨HZ(f⊗e±),f⊗e±⟩=⟨H0f,f⟩∓γℏBz2; the displayed expectation is defined only for these domain vectors.

(ii) toy truncation. Fix a real energy parameter E0∈R in joules. Suppose in addition that, on a declared two-dimensional internal subspace, the free part is replaced by the scalar E0I (a truncation assumption of the toy model, not a theorem of the full model): then the truncated operator is HZ(2)=E0I−γBzS3=(E0−γℏBz2)e+e+∗+(E0+γℏBz2)e−e−∗ in the basis (e+,e−), with energy levels E0∓γℏBz2 and signed level difference ΔE:=γℏBz=ℏω; its evolution is e−itHZ(2)/ℏ=e−itE0/ℏ(eiωt/200e−iωt/2), so the relative phase of the two amplitudes accumulates at the angular frequency ω (equivalently at the ordinary frequency ∣ω∣/(2π));

(iii) in the truncation the conjugation identities of the precession theorem reduce to explicit matrix identities, V(t)∗σ1V(t)=cos⁡(ωt)σ1+sin⁡(ωt)σ2,V(t)∗σ2V(t)=cos⁡(ωt)σ2−sin⁡(ωt)σ1, with V(t)=e−itHZ(2)/ℏeitE0/ℏ;

(iv) the toy model contains no driving field: its diagonal evolution preserves the two sector weights, hence there is no spin flip between e+ and e− under HZ(2) 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 m>0, s=12, γ∈R, Bz∈R and ω=γBz; the operator HZ and its flow; a unit f∈L2(R3;C); the basis (e+,e−); the scalar E0.

[F1]

Uniform-field Zeeman operator. H0 has domain D(H0)=W2,2(R3;C), and HZ=H0−γBzS3 is self-adjoint on D(HZ)=W2,2(R3;C2) with flow UZ(t)=e−itH0/ℏeitγBzS3/ℏ, S3 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).

[F2]

Spin-half matrices. S3=ℏ2σ3 with σ3e±=±e±, S1=ℏ2σ1, S2=ℏ2σ2, and the Pauli matrices satisfy σ12=σ22=I, σ1σ2=iσ3, σ2σ1=−iσ3 (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)).

[F3]

Bounded exponentials. For a bounded self-adjoint matrix A the map t↦e−itA/ℏ=∑n(−itA/ℏ)n/n! is a norm-continuous unitary group with (e−itA/ℏ)∗=eitA/ℏ (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

technique · direct; evaluate the Zeeman operator on the product basis of sectors, read the eigenvalues of the truncated internal matrix, and compute the conjugated Pauli matrices explicitly

Given: The data of the example and [F1]-[F3].

1.1F1F2algebra

[Sector identities] By [F2] one has S3(f⊗e±)=±ℏ2f⊗e± and H0 acts on the spatial factor only; hence, for f∈D(H0), HZ(f⊗e±)=(H0f)⊗e±∓γℏBz2f⊗e±, and taking the inner product with the unit vector f⊗e± gives the displayed expectation. For every f∈L2, not necessarily in D(H0), [F1] gives the product-flow identity, with eitγBzS3/ℏe±=e±iγBzt/2e± by [F2]; the transverse means then precess as in the cited theorem, proving (i).

2.1step 1.1F2F3algebra

[Toy levels and evolution] In the two-dimensional internal model with free part E0I, the operator HZ(2)=E0I−γBzS3 is diagonal in (e+,e−) with entries E0∓γℏBz2 by [F2], so its eigenvalues are those entries and the signed difference is γℏBz=ℏω; by [F3] the exponential is the displayed diagonal unitary, and the relative phase accumulates at the angular frequency ω, which is (ii).

3.1step 2.1F2algebra

[Conjugation identities] With V(t)=e−itHZ(2)/ℏeitE0/ℏ=diag⁡(eiωt/2,e−iωt/2) from step 2.1, direct matrix multiplication using [F2] gives V(t)∗σ1V(t)=(0e−iωteiωt0)=cos⁡(ωt)σ1+sin⁡(ωt)σ2 and V(t)∗σ2V(t)=(0−ie−iωtieiωt0)=cos⁡(ωt)σ2−sin⁡(ωt)σ1, 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).

4.1step 2.1step 3.1F2algebra∎

[Scope] Since HZ(2) is diagonal in (e+,e−), its evolution multiplies the two amplitudes by phases and preserves the sector weights ∣c±∣2: 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 H0 by E0I 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. ω=γBz is an angular frequency in s−1; the ordinary frequency is ∣ω∣/(2π) in hertz, with the radian dimensionless, in the conventions of Dimensions, SI unit conventions and quantity types of the framework.
Thought experimentStatement: AI-adaptedProof: AI-adaptedprecheck passOpen item page →

The idealized Stern-Gerlach splitting: transverse momentum separation of the two spin sectors under a window hypothesis

Physical scope

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-12 model with mass parameter m>0 and parameter γ:=γ1/2∈R (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 (ACω), The Axiom of Choice). Fix a real Bz∈C1(R) with Bz, Bz′ bounded, reals 0<a<∞ and G, and the field profile B(x)=(0,0,Bz(x1)), and suppose that Bz′(x1)=G for every x1∈(−a,a). Let HZ be the Zeeman operator of the model with flow u(t)=e−itHZ/ℏu0 for a unit vector u0∈D(HZ2), let u±(t):=P±u(t) be the two spin-sector components with P±=12(I±2S3/ℏ), and write w±:=∥u±(0)∥2 and, for each sign, let η±(t,x1):=∫R2∣u±±(t,x1,x2,x3)∣2 dx2 dx3 be the first-coordinate marginal density of the ± component of u±(t), where u±± denotes that nonzero component. Fix τ>0 and adopt the following hypothetical containment premise: for each sign and every t∈[0,τ], ∫R∖(−a,a)η±(t,x1) dx1=0. Then:

(i) the sector weights are conserved: ∥u±(t)∥2=w± for every t, and ⟨S3⟩u(t)=ℏ2(w+−w−) is independent of t;

(ii) under the containment premise, for each sign with w±>0 the normalized sector transverse mean M±(t):=w±−1⟨Pxu±(t),u±(t)⟩ is affine in t on [0,τ]: ddtM±(t)=±γℏG2,M±(τ)=M±(0)±γℏGτ2, so, when w+w−>0, their difference changes by γℏGτ: M+(τ)−M−(τ)=M+(0)−M−(0)+γℏGτ, independently of the initial means; a sector with w±=0 is trivial;

(iii) the total transverse mean evolves by the weighted rate ddt⟨Pxu(t),u(t)⟩=γℏG2(w+−w−)=γG ⟨S3⟩u0,t∈[0,τ], so for the equal-weight preparation w+=w−=12 the total transverse mean is conserved while the sector mean changes are equal and opposite; if γG=0, 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 m>0, s=12, γ∈R and the real Bz∈C1(R) with Bz,Bz′ bounded; the reals a>0, G, τ>0; the profile B; the operator HZ; the flow u(t); the unit vector u0∈D(HZ2); the sector projections P±; the marginal densities η±.

[F1]

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): HZ is self-adjoint on W2,2, S3 commutes with HZ on the domain, the sector weights ∥P±u(t)∥2 and the mean ⟨S3⟩u(t) are independent of t, and for every v0∈D(HZ2) with flow v(t)=e−itHZ/ℏv0 one has ddt⟨Pxv(t),v(t)⟩=γ ⟨S3Bz′(Qx)v(t),v(t)⟩; if additionally P+v0=v0 and Bz′=G on a Borel set carrying the first-coordinate marginal of v0+, then ddt∣t=0⟨Pxv(t),v(t)⟩=γℏ2G; in the model readings the operator S3 is ℏ2 times the Pauli σz 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)).

[F2]

Sector invariance. P±=12(I±2S3/ℏ) are orthogonal projections with P++P−=I and S3P±=±ℏ2P±; since S3 commutes with HZ on D(HZ) by [F1], P± commute with HZ, preserve D(HZ) and D(HZ2), and commute with the flow, so u±(t)=P±u(t)=e−itHZ/ℏP±u0 lies in the ± spin sector for every t, with ∥u±(t)∥=w±1/2 (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 P± act on the internal factor while Px=P1 is the componentwise momentum in the x1 spatial coordinate, so P±D(Px)⊆D(Px) and PxP±=P±Px on D(Px); consequently ⟨Pxu(t),u(t)⟩=∑±⟨Pxu±(t),u±(t)⟩ whenever these expectations are defined.

[F3]

Hypothetical containment premise. It is assumed that for each sign and every t∈[0,τ] the density η±(t,⋅) is supported in (−a,a); under this premise, since Bz′(x1)=G for x1∈(−a,a) by the window hypothesis, the identity S3Bz′(Qx)u±(t)=±ℏ2G u±(t) 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

technique · direct; decompose the state into the conserved spin sectors, apply the conditional force identity to each sector with the window premise, and integrate the resulting constant rates

Given: The data of the statement and [F1]-[F3].

1.1F1F2algebra

[Sector decomposition and conservation] By [F2] the sector components u±(t) satisfy u±(t)=e−itHZ/ℏu±(0) with u±(0)=P±u0∈D(HZ2), ∥u±(t)∥2=w±, and ⟨S3⟩u(t)=ℏ2∥u+(t)∥2−ℏ2∥u−(t)∥2=ℏ2(w+−w−) is independent of t; this is (i).

2.1step 1.1F1F2F3algebra

[Sector rates] Apply the general rate identity of [F1] to each sector component u±: ddt⟨Pxu±(t),u±(t)⟩=γ⟨S3Bz′(Qx)u±(t),u±(t)⟩; by the numerical identity S3u±(t)=±ℏ2u±(t) of [F2] and the premise [F3] giving S3Bz′(Qx)u±(t)=±ℏ2Gu±(t), the right-hand side equals ±γℏG2∥u±(t)∥2=±γℏG2w±; dividing by the constant sector weight w±>0 gives ddtM±(t)=±γℏG2 on [0,τ].

3.1step 2.1step 1.1F2algebra

[Integration and separation] Integrating the unnormalized rates of step 2.1 over [0,τ] gives ⟨Pxu±(τ),u±(τ)⟩=⟨Pxu±(0),u±(0)⟩±γℏGτ2w±. For each sector with w±>0, division by its conserved weight gives M±(τ)=M±(0)±γℏGτ2; when both weights are positive, subtracting these identities gives M+(τ)−M−(τ)=M+(0)−M−(0)+γℏGτ, so the difference changes by γℏGτ, independently of its initial value. For the total mean, [F2] gives ⟨Pxu(t),u(t)⟩=∑±⟨Pxu±(t),u±(t)⟩, so summing the unnormalized rates of step 2.1 gives ddt⟨Pxu(t),u(t)⟩=γℏG2(w+−w−)=γG⟨S3⟩u0; this vanishes for w+=w−, proving (ii) and (iii).

4.1step 1.1step 2.1step 3.1F3∎

[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.
RemarkRemark: AI-adaptedProof: Not applicableOpen item page →

What the angular momentum examples establish and what they do not

Physical scope

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

Sources