Skip to content
Shadow Theory

Appendix A 4 October 2026

Nonzero approximation and nodes

Reading position 10 of 15

A Nonzero approximation and nodes

Lemma A.1

Normalized nowhere-zero Schwartz functions Rd→Cs\R^d\to\C^s are L2L^2-dense in the unit sphere of L2(Rd;Cs)L^2(\R^d;\C^s).

Proof

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 gg. 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

Φ(q)=g(q)ea(q)U(q)e1, \Phi(q)=g(q)e^{a(q)}U(q)e_1,

where aa is real smooth and compactly supported and UU is a smooth unitary matrix field equal to II outside a compact set. For each box, a constant Hermitian logarithm of a unitary sending e1e_1 to its desired direction, multiplied by a cutoff, gives the required rotation. Disjoint box neighborhoods keep the constructions independent. Prescribe a=log⁡(c/g)a=\log(c/g) on a box of desired norm c>0c>0, 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 L2L^2 contribution tends to zero with strip volume. The resulting Φ\Phi is Schwartz and nowhere zero. This proves arbitrary L2L^2 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 pΨ/rΨp^\Psi/r^\Psi 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 UK\mathscr U_K of A2.