Alphabeta Math
RemarkRemark: AI-adaptedProof: Not applicable
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

Physical scope

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 V≡0 every translation is a symmetry, the free flow in the momentum representation is the unimodular multiplier Mft, ft(p)=e−it∣p∣2/(2mℏ), the translations are the multipliers Me−ia⋅p/ℏ, 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 E∗1B(0,R), with E∗>0 in J and R=1 m, 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 a, the criterion is exactly V(⋅−a)=V 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 ⟨Qjψ,ψ′⟩ vanishes for unit vectors ψ,ψ′∈Hs=L2(R3;C2s+1) of equal definite parity with ψ∈D(Qj), as in clause (c). Here j∈{1,2,3}, Qjψ(x)=xjψ(x) on the maximal domain D(Qj)={f∈Hs:xjf∈Hs}, and equal definite parity means Πψ=σψ and Πψ′=σψ′ for a common σ∈{−1,1}, with Πf(x)=f(−x). 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 Li 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 m, q when present, s, 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 V≡0; 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 D(Qj) 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

Dependency tree · 2 levels

Sources