Appendix A 4 October 2026
Nonzero approximation and nodes
A Nonzero approximation and nodes
Normalized nowhere-zero Schwartz functions are -dense in the unit sphere of .
Approximate a target by a bounded step function of compact support on finitely many disjoint boxes. Ignore boxes with zero value. Fix a positive Schwartz Gaussian . On slightly smaller boxes prescribe a smooth positive amplitude equal to the norm of the corresponding constant value, and a smooth unit vector equal to its direction. These prescriptions can be realized in the form
where is real smooth and compactly supported and is a smooth unitary matrix field equal to outside a compact set. For each box, a constant Hermitian logarithm of a unitary sending to its desired direction, multiplied by a cutoff, gives the required rotation. Disjoint box neighborhoods keep the constructions independent. Prescribe on a box of desired norm , and join it smoothly to a large negative value on the rest of a large ball.
Choose the large ball so the exterior Gaussian tail is small, then the negative value so the undesired interior amplitude is small. Transition strips can be made arbitrarily thin; the finitely many interpolating amplitudes are bounded, so their contribution tends to zero with strip volume. The resulting is Schwartz and nowhere zero. This proves arbitrary approximation of the step function and hence of the target. Normalization preserves nonvanishing and convergence.
□For scalar states with full scalar annihilators, and for spinors with the matrix annihilators established in theorem 6.1, the proof of uniqueness before approximation is local: on any connected nonzero region it makes constant. Distinct components need not initially have the same constant. Nor does local regularity rule out a density supported on a zero set of positive Lebesgue measure. Assumption A4, applied to lemma A.1, fixes both issues without a pointwise limit argument at nodes. The nowhere-zero set itself need not be open in the Schwartz topology; the open sets used for differentiation are the of A2.