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.
What the worked items of the symmetry companion page establish
Scope of the companion examples page: an inventory of the exact model computations, the conditional construction and the counterexample it contains, and of the physical questions it does not address. The remark asserts no new dynamics and records no empirical data.
The worked items and what they establish
The free model: translation symmetries and conserved momentum in the momentum representation is the exact free-model computation: with every translation is a symmetry, the free flow in the momentum representation is the unimodular multiplier , , the translations are the multipliers , and the momentum components are conserved sharp observables with the law, moment and generator statements of Translation invariance of bounded potentials and conservation of momentum; the modulus of the momentum representative is invariant in time almost everywhere. A bounded nonconstant potential with no nontrivial translational symmetry shows that translations need not remain symmetries for nonconstant potentials: for the bounded measurable potential energy , with in J and , no nonzero translation is a symmetry, because the shifted potential differs from the original on a set of positive measure, so the symmetry criterion of the translation theorem is not met. For a specified translation , the criterion is exactly almost everywhere; nonconstancy in a direction alone does not exclude discrete translations along that direction. Definite parity of nondegenerate eigenstates and the position-matrix-element selection rule derives, under its stated model and choice hypotheses for a real bounded measurable potential even almost everywhere, that every energy eigenspace is invariant under the parity action, that a nondegenerate eigenstate has definite parity, and that the position matrix element vanishes for unit vectors of equal definite parity with , as in clause (c). Here , on the maximal domain , and equal definite parity means and for a common , with . No position-domain condition is required on ; evenness of the potential supplies none on . A radial bounded potential: rotational and parity symmetry and conservation of the rotation generators verifies the almost-everywhere rotational and parity invariance of a bounded radial potential and instantiates Rotational and parity invariance of bounded-potential models: symmetries and conservation of angular momentum and parity laws: all rotations are symmetries, the rotation action is a strongly continuous unitary symmetry group, and the coordinate-rotation generators are conserved sharp observables, with the underlying conservation mechanism of Conservation of a symmetry generator: commuting flows, energy compatibility and conserved outcome laws.
What none of the items establishes
None of the four items is an experiment: no apparatus, preparation map, calibration, detection model, efficiency, resolution, background model, sampling model, uncertainty budget, count or dataset appears, and no measured value of any model parameter is asserted. The objects , when present, , the potentials and the conserved laws are model data and model statements in the units of Dimensions, SI unit conventions and quantity types of the framework; deciding that a laboratory system realizes the model, that its potential is approximately radial or even, or that a transition amplitude is the matrix element computed here, is a tested identification with uncertainty under the preparation and apparatus assumptions, and it is external to this page. In particular the parity selection rule is an identity about the model's assigned position observables: turning it into a statement about observed 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.
Limits of the statements
The free computation is conditional on ; the counterexample concerns one potential inside the bounded measurable class and refutes only the universal claim that every bounded nonconstant potential has all nonzero translations as symmetries (potentials constant along a direction keep the corresponding translations). The central-potential example assumes the radial identity almost everywhere and a bounded radial function; it asserts no eigenvalue, bound state, degeneracy, radial solution or spectral line, and its boundedness hypothesis excludes the Coulomb and other unbounded radial models. The parity example requires the evenness hypothesis and, for definite parity, the nondegeneracy of the eigenvalue; at a degenerate eigenvalue only the eigenspace invariance is asserted for arbitrary eigenvectors. The equal-parity matrix-element identity separately requires the displayed condition and directly assumed parity signs; it requires neither an eigenvector hypothesis nor nondegeneracy. No item of this page makes a claim about antiunitary or time-reversal symmetries, about superselection, about spinorial rotations or the internal factor, or about relativistic and field-theoretic structures.
Depends on
A bounded nonconstant potential with no nontrivial translational symmetry
Dimensions, SI unit conventions and quantity types of the framework
A radial bounded potential: rotational and parity symmetry and conservation of the rotation generators
The free model: translation symmetries and conserved momentum in the momentum representation
Definite parity of nondegenerate eigenstates and the position-matrix-element selection rule
Conservation of a symmetry generator: commuting flows, energy compatibility and conserved outcome laws
Rotational and parity invariance of bounded-potential models: symmetries and conservation of angular momentum and parity laws
Translation invariance of bounded potentials and conservation of momentum
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, parity and vector operators, symmetry of the Hamiltonian and conservation laws; PDF page = printed page + 8
- D. Tong, Quantum Mechanics (author-hosted lecture set), Sections 2.2-2.3.1 and 4.1.1, printed pages 39-47 and 96-99 (PDF pages 42-50 and 99-102): parity of energy eigenfunctions and even/odd bound states, and the angular momentum commutation relations
- 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 and their constant Heisenberg representatives