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.

Definite parity of nondegenerate eigenstates and the position-matrix-element selection rule

Physical scope

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 m>0 and spin label s, with state space Hs=L2(R3;Cr), r=2s+1, componentwise operators Qj,Pk 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 (ACω), The Axiom of Choice, The axiom of dependent choice: a relation in which every element is related to something admits an N-indexed chain). Let V:R3→R be real, bounded and measurable with V(−x)=V(x)for almost every x∈R3, let HV=12m∑k=13Pk2+MV,D(HV)=W2,2(R3;Cr), and put VP(x):=V(−x). Then:

(a) if ψ∈D(HV) is an eigenvector of HV with eigenvalue E∈R, HVψ=Eψ and ψ≠0, then Πψ is again an eigenvector of HV with the same eigenvalue E; consequently every eigenspace of HV is invariant under Π;

(b) if the eigenspace of E is one-dimensional, then Πψ=λψ with λ∈{−1,1}: the state has definite parity;

(c) if ψ,ψ′∈Hs are unit vectors with Πψ=σψ and Πψ′=τψ′ for signs σ,τ∈{−1,1} and ψ∈D(Qj), then σ=τ⟹⟨Qjψ,ψ′⟩=0; 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 Hs; the operators Qj,Pk; the parity action Π; a real bounded measurable V with VP=V almost everywhere; the operator HV on W2,2; an eigenvector ψ with eigenvalue E; unit vectors ψ,ψ′ with parities σ,τ; a coordinate j.

[F1]

Model and evenness. HV is self-adjoint with domain W2,2(R3;Cr) (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 VP=V almost everywhere the parity theorem gives ΠHVΠ=HV on W2,2 and ΠW2,2(R3;Cr)=W2,2(R3;Cr) (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).

[F2]

Parity action. Π is unitary, Π2=id and Π∗=Π; and ΠD(Qj)=D(Qj) with ΠQjΠ=−Qj as an identity of operators with domain D(Qj) (The spatial parity action on the component-valued wave-function space clauses (a),(b)).

[F3]

Bounded parity-adjoint identity. The operator Π is bounded and self-adjoint, so ⟨Πu,v⟩=⟨u,Πv⟩ for all u,v∈Hs (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 ΠQjΠ=−Qj and the self-adjointness of Π.

Given: The data of the example and [F1]-[F3].

1.1F1F2givenalgebra

[Eigenspaces are parity invariant] By [F1] one has ΠHVΠ=HV on W2,2; multiplying this identity on the left by Π=Π−1 gives HVΠ=ΠHV on W2,2, again using Π2=id of [F2]. For an eigenvector ψ∈D(HV) the vector Πψ lies in D(HV) because ΠW2,2=W2,2, and HV(Πψ)=ΠHVψ=Π(Eψ)=E Πψ; since Π is injective, Πψ≠0 whenever ψ≠0. Hence Π maps every eigenspace into itself, which is (a).

1.2F2F3givenalgebra

[Selection rule] By [F2] the identity ΠQjΠ=−Qj holds with domain D(Qj) preserved; multiplying on the left and on the right by Π gives Qj=−ΠQjΠ as an identity with domain D(Qj). Let ψ∈D(Qj). Then Πψ∈D(Qj) by [F2], so ΠQjΠψ is defined, and by the operator identity and Πψ=σψ one has Qjψ=−ΠQjΠψ=−σ ΠQjψ. Since Π∗=Π by [F2] and Πψ′=τψ′, taking the pairing with ψ′ gives ⟨Qjψ,ψ′⟩=−σ⟨ΠQjψ,ψ′⟩=−σ⟨Qjψ,Πψ′⟩=−στ⟨Qjψ,ψ′⟩ by [F3]. Hence (1+στ)⟨Qjψ,ψ′⟩=0, and if σ=τ then στ=1 and the matrix element vanishes. This proves (c).

2.1step 1.1F2givenalgebra

[Definite parity in the nondegenerate case] If the eigenspace of E is one-dimensional and ψ≠0 is an eigenvector, then Πψ belongs to that eigenspace by step 1.1, so Πψ=λψ for some λ∈C. Applying Π again and using Π2=id gives ψ=Π2ψ=λ Πψ=λ2ψ; since ψ≠0, λ2=1 and hence λ∈{−1,1}. This proves (b).

3.1step 1.1step 2.1step 1.2given∎

[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

Dependency tree · 2 levels

Sources