V.D57 — Density-saturated character

A boundary character chi is density-saturated at depth n* if ||T^mat_omega(chi)||_{n*} = C_{n*} / kappa_tau, where C_{n*} is the profinite bound from the density cap theorem. The depth n* is the saturation depth.