The intrusion of spurious components into the numerical nullspace (kernel) of an operator or discretized system, which obscures true kernel elements and undermines exact enforcement of constraints or invariants associated with that nullspace.

Principle

Discretization errors, inconsistent constraint enforcement, ill-conditioned solvers, or incompatible nullspace-aware preconditioners can introduce nonphysical vectors that appear to lie in the numerical kernel (near-zero singular values), so projections and nullspace-based decompositions capture spurious content.

Demonstration

For an incompressible flow discretization, a poor pressure-velocity coupling or a solver that does not respect divergence-free basis functions can allow non-divergence-free numerical modes to persist in the nominal divergence-free nullspace, leading to artificial mass sources/sinks. In linear algebra, forming a basis for the nullspace from contaminated numerics yields incorrect homogeneous solutions.

Misapplication

Assuming that computed nullspace vectors are exact physical modes and using them to reduce or eliminate degrees of freedom without verifying orthogonality to true constraints; or using preconditioners that project onto an approximate nullspace and thereby amplify spurious components.

Consequence

Constraint enforcement fails or becomes unreliable, iterative solvers stagnate or converge to incorrect subspaces, and physical invariants tied to the nullspace (e.g., divergence-free condition, rigid-body modes) are violated or masked by spurious numerics.

Reversal

Construct nullspace bases with numerically stable procedures, enforce constraints in a compatible variational or constraint-preserving manner, use nullspace-aware solvers and preconditioners, and regularize or refine discretization to separate genuine nullspace directions from contaminating modes.

Boundary

Pertains to discretized operators, matrix computations, and solver/preconditioner interactions where near-kernel directions exist; it does not denote modelling uncertainty about the continuous kernel itself or isolated floating-point roundoff without structural causes.

Semantic Tension

Related to but distinct from roundoff error and ill-conditioning: roundoff is small-scale noise, ill-conditioning is sensitivity, while nullspace pollution specifically denotes spurious persistent directions that masquerade as kernel elements and affect constraint projections.

Synthesis

Nullspace pollution is the contamination of the computed kernel of an operator by spurious numerical modes due to inconsistent discretization, enforcement, or solver behavior; the remedy is to compute and enforce nullspaces compatibly and to use nullspace-aware algorithms that isolate true kernel directions.