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.
Definite parity of nondegenerate eigenstates and the position-matrix-element selection rule
A model computation for the massive spin-s model with an even real bounded measurable potential: the parity invariance of every energy eigenspace, the definite parity of nondegenerate eigenstates, and the vanishing of the position matrix element between two states of the same parity. The item is a conditional identity about the model's operators and assigned position observables; it computes no transition rate, models no measurement and records no empirical result.
Example
Adopt the postulates P1, P2, P4, P5 and P6 in the readings of 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, Assigned energy observable, unitary flow and the two pictures of autonomous evolution and Symmetries of the declared dynamics, unitary symmetry groups and conserved sharp observables for a declared particle of mass parameter and spin label , with state space , , componentwise operators and the parity action (The spatial parity action on the component-valued wave-function space); assume the Axiom of Countable Choice, the Axiom of Choice and the Axiom of Dependent Choice (The Axiom of Countable Choice (), The Axiom of Choice, The axiom of dependent choice: a relation in which every element is related to something admits an -indexed chain). Let be real, bounded and measurable with let and put . Then:
(a) if is an eigenvector of with eigenvalue , and , then is again an eigenvector of with the same eigenvalue ; consequently every eigenspace of is invariant under ;
(b) if the eigenspace of is one-dimensional, then with : the state has definite parity;
(c) if are unit vectors with and for signs and , then the position matrix element of two states of equal parity vanishes, while no nonvanishing statement is made for opposite parities;
(d) Scope. The example is conditional on the postulates and the cited mathematics; the matrix element of (c) is an identity about the model's assigned position observables. No transition rate, no spectral intensity, no time-dependent coupling, no measurement model and no empirical consequence is computed; the hypothesis that the relevant eigenvalue is nondegenerate is essential for (b).
Facts & Assumptions
Given: The postulates P1, P2, P4, P5, P6 in the stated readings; the Axioms of Countable Choice, Choice and Dependent Choice; the state space ; the operators ; the parity action ; a real bounded measurable with almost everywhere; the operator on ; an eigenvector with eigenvalue ; unit vectors with parities ; a coordinate .
Model and evenness. is self-adjoint with domain (Real multiplication operators and free plus bounded-potential Schrödinger operators clause (c), Componentwise position and momentum operators on the component-valued wave-function space clause (a)); under the hypothesis almost everywhere the parity theorem gives on and (Rotational and parity invariance of bounded-potential models: symmetries and conservation of angular momentum and parity laws clause (c), Symmetries of the declared dynamics, unitary symmetry groups and conserved sharp observables).
Parity action. is unitary, and ; and with as an identity of operators with domain (The spatial parity action on the component-valued wave-function space clauses (a),(b)).
Bounded parity-adjoint identity. The operator is bounded and self-adjoint, so for all (The spatial parity action on the component-valued wave-function space clause (a)).
Verification
Proof technique: direct; conjugate the eigenvalue equation by the involution , use one-dimensionality for definite parity, and evaluate the position matrix element through the operator identity and the self-adjointness of .
Given: The data of the example and [F1]-[F3].
[Eigenspaces are parity invariant] By [F1] one has on ; multiplying this identity on the left by gives on , again using of [F2]. For an eigenvector the vector lies in because , and ; since is injective, whenever . Hence maps every eigenspace into itself, which is (a).
[Selection rule] By [F2] the identity holds with domain preserved; multiplying on the left and on the right by gives as an identity with domain . Let . Then by [F2], so is defined, and by the operator identity and one has . Since by [F2] and , taking the pairing with gives by [F3]. Hence , and if then and the matrix element vanishes. This proves (c).
[Definite parity in the nondegenerate case] If the eigenspace of is one-dimensional and is an eigenvector, then belongs to that eigenspace by step 1.1, so for some . Applying again and using gives ; since , and hence . This proves (b).
[Conclusion and scope] Steps 1.1 and 2.1 prove (a) and (b), and step 1.2 proves (c); clause (d) records that only the model's operators and its even-potential hypothesis are used, that the nondegeneracy hypothesis is essential in (b), and that no transition rate, measurement model or empirical claim is made.
Remarks
- Why the same-parity case vanishes. The parity action conjugates the position operator to its negative, so a matrix element between two states of equal parity equals its own negative; the argument uses the involution structure and self-adjointness of , not the details of the potential beyond its evenness.
- What a selection rule is not. The vanishing statement is an identity for the model's assigned position observables in the declared even-potential model. Turning it into a statement about observed transition intensities requires a time-dependent coupling model, the corresponding transition-rate analysis, a detection model and a sampling model, none of which is supplied here.
Depends on
Adjoint of a densely defined operator
The Axiom of Choice
Complex Lp classes and Euclidean test-function conventions
The Axiom of Countable Choice ()
The axiom of dependent choice: a relation in which every element is related to something admits an -indexed chain
Hilbert space
Assigned energy observable, unitary flow and the two pictures of autonomous evolution
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
Symmetries of the declared dynamics, unitary symmetry groups and conserved sharp observables
Componentwise position and momentum operators on the component-valued wave-function space
The spatial parity action on the component-valued wave-function space
Autonomous dynamics postulate P4: self-adjoint generators and unitary evolution
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
Rotational and parity invariance of bounded-potential models: symmetries and conservation of angular momentum and parity laws
Symmetric, self-adjoint and essentially self-adjoint operators
Real multiplication operators and free plus bounded-potential Schrödinger operators
Spectral theorem for unbounded self-adjoint operators (PVM form)
Dependency tree · 2 levels
Sources
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Sections 4.1.4 and 4.2, printed pages 62-67 (PDF pages 70-75): the parity operator and its eigenvalues, the commutation of parity with the Hamiltonian for an even potential (equation (4.43)) and the vanishing of matrix elements of a vector operator between states of equal definite parity (equation (4.42), printed page 67); PDF page = printed page + 8
- D. Tong, Quantum Mechanics (author-hosted lecture set), Sections 2.2-2.3.1, printed pages 39-47 (PDF pages 42-50): parity of energy eigenfunctions for even potentials (printed page 39) and the even and odd bound-state solutions of the finite potential well; PDF page = printed page + 3