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
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 , orthonormal basis and analyser projections . Assume the Axioms of Countable Choice, Dependent Choice and Choice (The Axiom of Countable Choice (), The axiom of dependent choice: a relation in which every element is related to something admits an -indexed chain, The Axiom of Choice). Fix an angle . 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 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 so the transmitted Born probability is in the unit 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 whose coordinates are dimensionless amplitude ratios relative to one fixed reference amplitude ; no absolute field strength is assigned. The analyser at angle acts on the field data by the orthogonal projection the model's declared dimensionless relative intensity of a field datum is and the transmitted intensity fraction is for . 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 with orthonormal basis , the analyser projections and the angle .
[L1] Projection formulas. , , , and for every (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 (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 one has ; and for (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 and form the ratio of the squared norms.
Given: The data of the Example and [L1]-[L3].
[Quantised ratio] By [L1] the projectors satisfy and hence ; the complementary probability is . This is (a) read from the theorem of [L2].
[Classical ratio] Let , . Applying [L1] with in place of gives ; for the particular field datum this is , and by [L1] and [L3]. Hence the declared transmitted intensity fraction is
[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 for the same declared angle and the same declared alignment . 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
- What is compared. Only the two declared models on the declared two-dimensional space are compared. No claim is made that the elementary classical model reproduces the photon counting statistics or the non-classical states of the radiation sector. Quantum count laws are computed in Number statistics of a single declared mode: sharp, Poisson and geometric preparations; A two-bin comparison of a declared classical field model and the quantised model: identical normalised laws do not discriminate states the additional classical count law, preparation and detector declarations required for a count-statistics comparison.
- Sources and status. The coincidence of the classical transmitted fraction with the quantum transmitted probability is explicitly noted in the cited source; the classical model here is an elementary declared idealisation constructed for the comparison and is not a derivation from Maxwell theory.
Depends on
Radiation extension of the framework: transverse mode and photon assignments
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 fixed-mode polarisation model of the framework
The state space of the framework: preparations, pure rays and density operators
Assigned sharp observables and the outcome law of the framework
Dimensions, SI unit conventions and quantity types of the framework
The state space: density operators, pure and mixed states, and purity
Analyzer projections of a two-dimensional polarisation space and their overlaps
The analyser outcome law of the fixed-mode polarisation model: Born probabilities and the Malus ratio
The Axiom of Countable Choice ()
The axiom of dependent choice: a relation in which every element is related to something admits an -indexed chain
The Axiom of Choice
Dependency tree · 2 levels
Sources
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Section 1.3.6 printed pages 14-15 (PDF pages 22-23): the electric vector component transmitted by a polaroid with factor cos(theta), the energy fraction cos^2(theta), the individual-photon amplitude reading, and the remark that the transmitted fraction agrees with classical physics
- B. Zwiebach, MIT 8.05 Quantum Physics II (Fall 2013), Chapter 3 'Linear algebra: vector spaces and operators', Section 5 'Orthonormal basis and orthogonal projectors': finite-dimensional orthogonal projection formulas, ranges and eigenspaces