Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-adaptedPipeline-generated
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.

Malus and Jones ratios of the declared analyser: the same cos^2 from the Born law and from a classical transverse amplitude

Physical scope

A finite-dimensional model comparison on the declared fixed propagation-mode polarisation space: the Born probability cos^2(theta) of the quantised model's ideal analyser for the preparation along e_1, and the dimensionless relative-intensity ratio cos^2(theta) of a declared normalized classical transverse complex amplitude passed through the same projection. The example establishes that the two declared models agree on this ratio and asserts no field quantisation, no detector claim, no Maxwell derivation and no empirical result.

Example

Adopt the state and composition postulate P1, the observable and probability postulate P2 (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), the radiation extension postulate clause (i) (Radiation extension of the framework: transverse mode and photon assignments) and the declared fixed-mode polarisation model The fixed-mode polarisation model of the framework with polarisation space V, orthonormal basis (e1,e2) and analyser projections Pθ. Assume the Axioms of Countable Choice, Dependent Choice and Choice (The Axiom of Countable Choice (ACω), The axiom of dependent choice: a relation in which every element is related to something admits an N-indexed chain, The Axiom of Choice). Fix an angle θ∈R. This example compares two declared models of the same analyser:

(a) The quantised-model ratio. Consider the pure one-photon polarisation preparation of the ray [e1] and the declared ideal analyser at angle θ. By The analyser outcome law of the fixed-mode polarisation model: Born probabilities and the Malus ratio the outcome law of the analyser is p+1=∥Pθe1∥2=cos⁡2θ,p−1=sin⁡2θ, so the transmitted Born probability is cos⁡2θ in the unit 1 of dimensionless probabilities.

(b) The declared classical transverse-amplitude model. Declare the following elementary model, with no claim that it is Maxwell theory: its field data are complex vectors E∈V whose coordinates are dimensionless amplitude ratios relative to one fixed reference amplitude Eref; no absolute field strength is assigned. The analyser at angle θ acts on the field data by the orthogonal projection E⟼PθE; the model's declared dimensionless relative intensity of a field datum is I(E):=∥E∥2, and the transmitted intensity fraction is I(PθE)/I(E) for E≠0. This is a declared idealisation of the classical description of a polariser as projecting the transverse field amplitude (the Jones-vector reading); it imports no Maxwell equation and makes no detector claim.

The example computes both ratios for the same declared data and compares them.

Verification

Given: The declared polarisation space V with orthonormal basis (e1,e2), the analyser projections Pθ,Pθ⊥ and the angle θ.

[L1] Projection formulas. ⟨eθ,e1⟩=cos⁡θ, Pθe1=cos⁡θ eθ, ∥Pθe1∥2=cos⁡2θ, and ∥PθE∥2=⟨E,PθE⟩ for every E∈V (Analyzer projections of a two-dimensional polarisation space and their overlaps clauses (a),(b)).

[L2] Born law of the analyser. For the declared analyser and a pure preparation of unit vector ψ, the outcome probability is ∥Pθψ∥2 (The analyser outcome law of the fixed-mode polarisation model: Born probabilities and the Malus ratio clause (c), Assigned sharp observables and the outcome law of the framework clause (b)).

[L3] Norm positivity. For E≠0 one has I(E)=∥E∥2>0; and I(cE)=∣c∣2I(E) for c∈C (The state space: density operators, pure and mixed states, and purity, Analyzer projections of a two-dimensional polarisation space and their overlaps Fact [F1] of the inner-product conventions).

Proof technique: direct; evaluate the projection on e1 and form the ratio of the squared norms.

Given: The data of the Example and [L1]-[L3].

1.1L1L2algebra

[Quantised ratio] By [L1] the projectors satisfy Pθe1=cos⁡θ eθ and hence p+1=∥Pθe1∥2=cos⁡2θ; the complementary probability is p−1=1−p+1=sin⁡2θ. This is (a) read from the theorem of [L2].

1.2L1L3algebra

[Classical ratio] Let E∈V, E≠0. Applying [L1] with E in place of e1 gives ∥PθE∥2=⟨E,PθE⟩; for the particular field datum E=e1 this is ∥Pθe1∥2=cos⁡2θ, and I(e1)=∥e1∥2=1 by [L1] and [L3]. Hence the declared transmitted intensity fraction is I(Pθe1)I(e1)=cos⁡2θ.

2.1step 1.1step 1.2algebra∎

[Comparison] Steps 1.1 and 1.2 show that the quantised model's transmitted Born probability and the declared classical model's transmitted intensity fraction coincide at cos⁡2θ for the same declared angle and the same declared alignment e1. This shared prediction does not distinguish these two models, and agreement with it alone does not establish field quantisation. An observation could still bear on a comparison with another specified model under a declared observation model; no observation or statistical comparison is supplied here. The declared classical model is not refuted by the shared prediction. This completes the announced computation.

Remarks

Depends on

Dependency tree · 2 levels

Sources