Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-adaptedprecheck pass
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.

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.

Depends on

Dependency tree · 2 levels

Sources