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
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 and spin label (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 (), The axiom of dependent choice: a relation in which every element is related to something admits an -indexed chain). Let , , be the model's state space with componentwise operators , let 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 be the coordinate rotation subgroups with Stone generators on the Schwartz classes (Coordinate-rotation generators on the Schwartz classes and their commutators), let be real, bounded and measurable, and let be the model's bounded-potential energy operator with flow 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 one has , and is a symmetry of in the sense of Symmetries of the declared dynamics, unitary symmetry groups and conserved sharp observables clause (b) if and only if almost everywhere;
(b) if almost everywhere for every , then every is a symmetry, the map is a strongly continuous unitary symmetry group of the declared dynamics, and each generator is a conserved observable of the model with energy in the unit of the model's action (Dimensions, SI unit conventions and quantity types of the framework): for every preparation , every Borel and every , and for a unit vector the mean and second moment of the law of are finite and independent of , with time-zero values and ;
(c) if for almost every , then on , so is a symmetry of , and is a symmetry if and only if almost everywhere; moreover, reading the self-adjoint unitary as an assigned sharp observable with its spectral coordinate in the dimensionless unit of its eigenvalues , the outcome law of is time-independent in every preparation:
(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 ; the operators ; the rotation action and its coordinate subgroups with generators ; the parity action ; a real bounded measurable ; the operator with flow ; a preparation ; a unit vector ; a Borel set ; ; and .
Model. is self-adjoint with domain and generates the strongly continuous unitary group (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 is a unitary with and on ; 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).
Rotation action. is unitary, , , is continuous for every , and , ; moreover for the free operator and , hence (The spatial rotation action on the component-valued wave-function space clauses (a)-(c), The orthogonal group and the rotation group , is a subgroup of the general linear group, with ).
Multiplier equality. For real bounded measurable functions one has if and only if almost everywhere (Real multiplication operators and free plus bounded-potential Schrödinger operators clause (a), The space as the quotient by null functions).
Parity action. is unitary, and ; ; and , hence (The spatial parity action on the component-valued wave-function space clauses (a),(d)).
Rotation generators. For each , is a strongly continuous one-parameter unitary group with for a self-adjoint generator , and on (Coordinate-rotation generators on the Schwartz classes and their commutators clauses (a),(b), Infinitesimal generator of a unitary group).
Conservation theorem. For a declared isolated system with energy and flow , the following are equivalent: commutation of the flows of an assigned self-adjoint observable with , strong spectral commutation of the PVMs, and domain preservation with ; when they hold the outcome law of is time-independent in every preparation and the mean and second moment are conserved for unit vectors in ; a unitary symmetry satisfies for every ; and a self-adjoint unitary symmetry assigned as has a time-independent outcome law (Conservation of a symmetry generator: commuting flows, energy compatibility and conserved outcome laws clauses (a)-(c)).
Outcome laws and moments. For an assigned sharp observable one has and , and for a unit vector the mean and second moment of the law exist and equal and (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].
[Rotation covariance and symmetry criterion] By [F2] one has and ; by [F1] the unitary is a symmetry exactly when also as operators on , that is exactly when . Both sides are self-adjoint with the same domain , so subtracting the common free part of [F2] gives the equivalent condition , which by [F3] is equivalent to almost everywhere. This proves (a).
[Invariance gives a unitary symmetry group] Assume almost everywhere for every . By step 1.1 each is a symmetry; by [F2] the map satisfies , and strong continuity, so it is a strongly continuous unitary symmetry group in the sense of [F1].
[Parity symmetry and conserved parity law] Assume almost everywhere. By [F4] on and , being unitary and self-adjoint; hence by [F1] is a symmetry. Conversely, if is a symmetry, then , and subtracting the common free part gives , so almost everywhere by [F3]. Reading as a self-adjoint unitary assigned sharp observable, applying [F6] clause (c) to the unitary symmetry gives for every and the time-independence of the outcome law of the assigned sharp observable in every preparation, which by [F7] is the displayed identity ; the spectral coordinate of takes the eigenvalues in the dimensionless unit. This proves (c).
[Conservation of the rotation generators] Fix and . Since , step 2.1 makes a symmetry, so by [F6] the first part of clause (c) gives for every . By [F5], ; hence the flow-commutation condition (i) of [F6] holds for the self-adjoint generator and the flow of . Applying [F6] clauses (a),(b) to that pair and reading the laws through [F7] gives the time-independence of in every preparation and the conservation of the mean and second moment for with the time-zero values and ; the unit is the unit of the spectral coordinate of in the model's units of [F5] and Dimensions, SI unit conventions and quantity types of the framework. This proves (b).
[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 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
The Axiom of Choice
The orthogonal group and the rotation group
The Axiom of Countable Choice ()
The axiom of dependent choice: a relation in which every element is related to something admits an -indexed chain
Infinitesimal generator of a unitary group
The space as the quotient by null functions
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
The state space: density operators, pure and mixed states, and purity
Symmetries of the declared dynamics, unitary symmetry groups and conserved sharp observables
Strongly continuous one-parameter unitary group
Trace class operator
is a subgroup of the general linear group, with
Density operators and scalar spectral probability
Componentwise position and momentum operators on the component-valued wave-function space
Mean, second moment and variance of the scalar spectral law
The spatial parity action on the component-valued wave-function space
Coordinate-rotation generators on the Schwartz classes and their commutators
The spatial rotation action on the component-valued wave-function space
A self-adjoint operator generates a strongly continuous unitary group
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
Conservation of a symmetry generator: commuting flows, energy compatibility and conserved outcome laws
Real multiplication operators and free plus bounded-potential Schrödinger operators
Spectral theorem for unbounded self-adjoint operators (PVM form)
Stone's theorem: unitary groups and self-adjoint generators
Dependency tree · 2 levels
Sources
- J. Binney and D. Skinner, The Physics of Quantum Mechanics, Sections 4.1.3-4.3, printed pages 62-70 (PDF pages 70-78): the rotation operator and its generators, parity and vector operators, symmetry of the Hamiltonian and conservation laws; PDF page = printed page + 8
- B. Zwiebach, MIT 8.05 Quantum Physics II (Fall 2013), Chapter 6 'Quantum Dynamics', Section 3.2, printed pages 20-22 (PDF pages 20-22): conserved operators as those commuting with the Hamiltonian and their constant Heisenberg representatives
- B. Zwiebach, MIT 8.05 Quantum Physics II (Fall 2013), Chapter 9 'Angular Momentum', Sections 1.2-1.3, printed pages 6-11 (PDF pages 6-11): the angular momentum operators and their commutation relations, and the commutativity of the angular momentum operators with any central-potential Hamiltonian (equation (1.70))
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, Section 8.1, printed pages 173-175 (PDF pages 185-187) and Theorem 8.1 printed page 174 (PDF page 186): conserved quantities and commuting self-adjoint operators