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
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.
Depends on
The Axiom of Choice
The Axiom of Countable Choice ()
Real and complex inner product spaces, with the inner product linear in the first argument
Orbital, spin and total angular momentum of the massive spin-s model: assigned sharp observables, units and readings
Dimensions, SI unit conventions and quantity types of the framework
The massive spin-s particle model of the framework: state space, operators, units and frame readings
Assigned sharp observables and the outcome law of the framework
The state space of the framework: preparations, pure rays and density operators
The state space: density operators, pure and mixed states, and purity
Atoms of the spectral measure and eigenvalues of a self-adjoint operator
Identical-particle and spin assignments P6: permutation sectors and finite-spin representations
Kinematics and massive-particle model postulate P5: Newtonian frames and one-particle operators
Observable and probability postulate P2: self-adjoint observables, spectral probability and finite unsharp outcomes
State and composition postulate P1: Hilbert spaces, preparations and composite systems
Finite spin matrices
Spin spectra and outcome laws of the massive spin-s model: directional components, the Casimir law and the spin-half probabilities
Dependency tree · 2 levels
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