Manuscript XVI-M@1 · XVI-M.tex · proposition · 7346c909

Proposition: Region ledger for fixed preparation/switch

M.4 Contact collapse and Helmholtz conditions › Stage 2: fixed-data and region-wise readings · lines 1240–1252

XVI-M@1#prop:fixed-regions

Back to manuscript

Assume Gate V. Distinguish four regions.

  1. Full switched/prepared region. Comparison classes: formal universal reading, and the time-only class, whose Helmholtz analysis is now exact (Theorem thm:to-timeonly). Status: sufficient criteria (Proposition prop:fixed-crit); on with a universal switch the time-only table applies under the explicit hypotheses of Proposition prop:to-actual; actual dimensions where is non-constant Unresolved.

  2. Preparation plateau with variable switch, universal reading. On with formal -jets (reading prep_plateau): support kills /; exactly; by ; the SA directions lie in , so the variational image is exactly the -dimensional ultralocal family. Exact for the universal reading; for the actual fixed it holds under (ii)–(iii) only.

  3. Double plateau. On : recover Theorem thm:M4 exactly (, variational image ).

  4. Transition regions near plateau boundaries: exact dimensions Unresolved. Only the domain-size bound is asserted. (The previously stated upper bound was unsupported: rank is only lower semicontinuous, so special points of the fixed data could have larger kernels. No sharper bound is proved.)

Vanishing by support, additional relations among fixed coefficient functions, and genuine Gate V self-adjointness are kept distinct: no concrete ramp identity enlarging is certified. {Status: fixed-data criteria, universal region comparisons and the time-only classification constructed; actual fixed-data dimensions unresolved where is non-constant} (status table at the end of Section sec:to-timeonly). Archives: fixed_data_reading.py, fixed_data_reading.json, prep_plateau_sa.json; wpC/.

Nearby in this section