Alphabeta Math
Physics theoremStatement: AI-adaptedProof: 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.

Rotational and parity invariance of bounded-potential models: symmetries and conservation of angular momentum and parity laws

Physical scope

Conditional symmetry and conservation statements for the massive spin-s model with a real bounded measurable potential: spatial rotations conjugate the bounded-potential energy operator to the rotated potential, rotational invariance makes every rotation a symmetry and the coordinate-rotation generators conserved sharp observables, and parity invariance makes the parity action a symmetry with a time-independent parity outcome law. The item asserts no symmetry of any concrete potential outside the stated invariance hypotheses, no spinorial or internal rotation action, no SU(2) lift, no apparatus and no empirical result.

Statement

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 (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, Autonomous dynamics postulate P4: self-adjoint generators and unitary evolution, 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), and assume the Axiom of Choice, the Axiom of Countable Choice and the Axiom of Dependent Choice (The Axiom of 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). Let Hs=L2(R3;Cr), r=2s+1, be the model's state space with componentwise operators Qj,Pk, let U(R) be the spatial rotation action and Π the spatial parity action (The spatial rotation action on the component-valued wave-function space, The spatial parity action on the component-valued wave-function space), let Ui(t)=U(Ri(t)) be the coordinate rotation subgroups with Stone generators Li on the Schwartz classes (Coordinate-rotation generators on the Schwartz classes and their commutators), let V:R3→R be real, bounded and measurable, and let HV:=12m∑k=13Pk2+MV,D(HV)=W2,2(R3;Cr),VR(x):=V(R−1x),VP(x):=V(−x), be the model's bounded-potential energy operator with flow U(t)=exp⁡(−itHV/ℏ) in the reading of Assigned energy observable, unitary flow and the two pictures of autonomous evolution clause (b) (Real multiplication operators and free plus bounded-potential Schrödinger operators clause (c) applied componentwise, Componentwise position and momentum operators on the component-valued wave-function space clause (a)). Then:

(a) for every R∈SO(3) one has U(R)HVU(R)−1=HVR, and U(R) is a symmetry of HV in the sense of Symmetries of the declared dynamics, unitary symmetry groups and conserved sharp observables clause (b) if and only if VR=V almost everywhere;

(b) if VR=V almost everywhere for every R∈SO(3), then every U(R) is a symmetry, the map R↦U(R) is a strongly continuous unitary symmetry group of the declared dynamics, and each generator Li is a conserved observable of the model with energy HV in the unit J s of the model's action (Dimensions, SI unit conventions and quantity types of the framework): for every preparation ρ, every Borel B⊆R and every t, μρ(t)Li(B)=μρ(0)Li(B), and for a unit vector ψ(0)∈D(Li) the mean and second moment of the law of Li are finite and independent of t, with time-zero values ⟨Liψ,ψ⟩ and ∥Liψ∥2;

(c) if V(−x)=V(x) for almost every x, then ΠHVΠ=HV on W2,2, so Π is a symmetry of HV, and Π is a symmetry if and only if VP=V almost everywhere; moreover, reading the self-adjoint unitary Π as an assigned sharp observable with its spectral coordinate in the dimensionless unit of its eigenvalues ±1, the outcome law of Π is time-independent in every preparation: μρ(t)Π(B)=μρ(0)Π(B)(B⊆R Borel, t∈R);

(d) Scope. The statement is conditional on P1, P2, P4, P5 and P6 and the cited mathematics, and it concerns the componentwise massive model with real bounded measurable potentials. Rotations and parity act on the spatial factor only: no SU(2) lift, no rotation of the internal factor and no spin angular momentum are introduced. The rotational and parity invariance hypotheses are exactly the displayed almost-everywhere identities; no concrete potential, apparatus, measured spectrum or empirical result is asserted, and no characterization of the invariant potentials beyond these identities is claimed.

Facts & Assumptions

Given: The postulates P1, P2, P4, P5, P6 in the stated readings; the Axioms of Choice, Countable Choice and Dependent Choice; the state space Hs; the operators Qj,Pk; the rotation action U and its coordinate subgroups Ui with generators Li; the parity action Π; a real bounded measurable V; the operator HV with flow U(t); a preparation ρ; a unit vector ψ; a Borel set B; R∈SO(3); i∈{1,2,3} and t,s∈R.

[F1]

Model. HV is self-adjoint with domain D(HV)=W2,2(R3;Cr) and generates the strongly continuous unitary group U(t)=e−itHV/ℏ (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), The massive spin-s particle model of the framework: state space, operators, units and frame readings, A self-adjoint operator generates a strongly continuous unitary group). A symmetry of the declared dynamics with energy HV is a unitary S with S D(HV)=D(HV) and S HV=HV S on D(HV); a unitary symmetry group is a group of such symmetries; a one-parameter symmetry group has all its members symmetries and its generator is furnished by Stone's theorem (Symmetries of the declared dynamics, unitary symmetry groups and conserved sharp observables clauses (b)-(d), Stone's theorem: unitary groups and self-adjoint generators, Strongly continuous one-parameter unitary group).

[F2]

Rotation action. U(R) is unitary, U(I)=id, U(RS)=U(R)U(S), R↦U(R)f is continuous for every f, and U(R)S(r)=S(r), U(R)W2,2(R3;Cr)=W2,2(R3;Cr); moreover U(R)H0U(R)−1=H0 for the free operator H0=12m∑kPk2 and U(R)MVU(R)−1=MVR, hence U(R)HVU(R)−1=HVR (The spatial rotation action on the component-valued wave-function space clauses (a)-(c), The orthogonal group O(3) and the rotation group SO(3), SO(3) is a subgroup of the general linear group, with R−1=RT).

[F3]

Multiplier equality. For real bounded measurable functions V1,V2 one has MV1=MV2 if and only if V1=V2 almost everywhere (Real multiplication operators and free plus bounded-potential Schrödinger operators clause (a), The space Lp(μ) as the quotient by null functions).

[F4]

Parity action. Π is unitary, Π2=id and Π∗=Π; ΠW2,2(R3;Cr)=W2,2(R3;Cr); ΠH0Π=H0 and ΠMVΠ=MVP, hence ΠHVΠ=HVP (The spatial parity action on the component-valued wave-function space clauses (a),(d)).

[F5]

Rotation generators. For each i, t↦Ui(t) is a strongly continuous one-parameter unitary group with Ui(t)=e−itLi/ℏ for a self-adjoint generator Li, and Liψ=−iℏ∑j(ei×x)jDjψ on ψ∈S(r) (Coordinate-rotation generators on the Schwartz classes and their commutators clauses (a),(b), Infinitesimal generator of a unitary group).

[F6]

Conservation theorem. For a declared isolated system with energy Hop and flow U(t), the following are equivalent: commutation of the flows W(s)U(t)=U(t)W(s) of an assigned self-adjoint observable (A,uA) with W(s)=e−isA/ℏ, strong spectral commutation of the PVMs, and domain preservation with U(t)AU(t)∗=A; when they hold the outcome law of A is time-independent in every preparation and the mean and second moment are conserved for unit vectors in D(A); a unitary symmetry S satisfies SU(t)=U(t)S for every t; and a self-adjoint unitary symmetry assigned as (S,1) has a time-independent outcome law (Conservation of a symmetry generator: commuting flows, energy compatibility and conserved outcome laws clauses (a)-(c)).

[F7]

Outcome laws and moments. For an assigned sharp observable A one has μρA(B)=tr⁡(ρEA(B)) and μψA(B)=∥EA(B)ψ∥2, and for a unit vector ψ∈D(A) the mean and second moment of the law exist and equal ⟨Aψ,ψ⟩ and ∥Aψ∥2 (Assigned sharp observables and the outcome law of the framework clauses (b),(e), Mean, second moment and variance of the scalar spectral law, Density operators and scalar spectral probability clause (a), Trace class operator, The state space of the framework: preparations, pure rays and density operators, The state space: density operators, pure and mixed states, and purity, Spectral theorem for unbounded self-adjoint operators (PVM form)).

Proof

Proof technique: direct; read the rotation covariance off the rotation action, convert the symmetry definition into the operator identity and apply the multiplier criterion, transfer the conservation theorem to the coordinate rotation generators, and handle parity as the discrete self-adjoint unitary symmetry.

Given: The data of the statement and [F1]-[F7].

1.1F1F2F3givenalgebra

[Rotation covariance and symmetry criterion] By [F2] one has U(R)HVU(R)−1=HVR and U(R)D(HV)=D(HV); by [F1] the unitary U(R) is a symmetry exactly when also U(R)HVU(R)−1=HV as operators on W2,2, that is exactly when HVR=HV. Both sides are self-adjoint with the same domain W2,2, so subtracting the common free part H0 of [F2] gives the equivalent condition MVR=MV, which by [F3] is equivalent to VR=V almost everywhere. This proves (a).

2.1step 1.1F2given

[Invariance gives a unitary symmetry group] Assume VR=V almost everywhere for every R∈SO(3). By step 1.1 each U(R) is a symmetry; by [F2] the map R↦U(R) satisfies U(I)=id, U(RS)=U(R)U(S) and strong continuity, so it is a strongly continuous unitary symmetry group in the sense of [F1].

2.2step 1.1F1F3F4F6F7givenalgebra

[Parity symmetry and conserved parity law] Assume VP=V almost everywhere. By [F4] ΠHVΠ=HVP=HV on W2,2 and ΠW2,2=W2,2, Π being unitary and self-adjoint; hence by [F1] Π is a symmetry. Conversely, if Π is a symmetry, then HVP=ΠHVΠ=HV, and subtracting the common free part gives MVP=MV, so VP=V almost everywhere by [F3]. Reading Π as a self-adjoint unitary assigned sharp observable, applying [F6] clause (c) to the unitary symmetry S:=Π gives ΠU(t)=U(t)Π for every t and the time-independence of the outcome law of the assigned sharp observable (Π,u) in every preparation, which by [F7] is the displayed identity μρ(t)Π(B)=μρ(0)Π(B); the spectral coordinate of Π takes the eigenvalues ±1 in the dimensionless unit. This proves (c).

3.1step 2.1F5F6F7givenalgebra

[Conservation of the rotation generators] Fix i and s∈R. Since Ri(s)∈SO(3), step 2.1 makes Ui(s)=U(Ri(s)) a symmetry, so by [F6] the first part of clause (c) gives Ui(s)U(t)=U(t)Ui(s) for every t∈R. By [F5], W(s):=e−isLi/ℏ=Ui(s); hence the flow-commutation condition (i) of [F6] holds for the self-adjoint generator Li and the flow U of HV. Applying [F6] clauses (a),(b) to that pair and reading the laws through [F7] gives the time-independence of μρ(t)Li(B) in every preparation and the conservation of the mean and second moment for ψ(0)∈D(Li) with the time-zero values ⟨Liψ,ψ⟩ and ∥Liψ∥2; the unit J s is the unit of the spectral coordinate of Li in the model's units of [F5] and Dimensions, SI unit conventions and quantity types of the framework. This proves (b).

4.1step 1.1step 2.1step 3.1step 2.2∎

[Assembly and scope] Step 1.1 proves (a); step 2.1 proves the symmetry-group assertion and step 3.1 the conservation assertions of (b); step 2.2 proves (c); clause (d) records the spatial-factor-only reading of the actions, the exact almost-everywhere form of the invariance hypotheses and the exclusion of any concrete-potential, spinorial, apparatus or empirical claim.

Remarks

  • Invariance is the hypothesis, not a universal property. No meaning of “generic” is used here. The companion counterexample V=1B(0,1) has no nonzero translation symmetry, but is invariant under every rotation and under parity because the Euclidean unit ball is rotation invariant and centrally symmetric. It therefore illustrates failure of translation symmetry only; no corresponding claim about a generic potential is made.
  • Discrete parity has no generator. Π is an involution, so its conservation is read directly from the commutation with the flow through the self-adjoint unitary clause of the conservation theorem; no one-parameter group and no Stone generator is attached to it.

Depends on

Dependency tree · 2 levels

Sources