Research · Flagship Submission
Gap-Free Global Universality (Submission v19)
Project Scope
This is the flagship result in its most reusable form.
The earlier gap-free pages show the core phenomenon: when you impose real constraints and push growth as low as it can go, messy behavior collapses into a small rigid core. The important promise is that this collapse can be checked by a finite procedure.
This submission answers the question that determines whether the theory is only admirable or genuinely usable.
Does the certificate survive nearby inputs, or does it only work at one exact point?
The central upgrade is robustness.
When the pipeline succeeds, it does not merely say that a mixing word exists. It stores the witness, the recurrence object, and an explicit rate pack. It also stores margins that control sensitivity. Those margins yield a computed stability radius \(\varepsilon^*\): a neighborhood where the same witness remains valid.
That changes the meaning of the work.
- It turns a theorem that can be read into a certificate that can be trusted.
- It turns a single example into a method for navigating a region.
The second upgrade is regional.
On a compact normalized family \(\Theta\), openness becomes finite coverage. The output becomes cover-or-atlas.
- Either a finite list of robust certificates covers the region, giving one uniform rate story across \(\Theta\).
- Or the pipeline produces an atlas report that points to the boundary mechanism responsible for failure.
If you want a runnable version of this viewpoint, the RU Engine is the companion project.
This expansion deepens the package in a way that affects placement in the library.
It adds a frontier layer that names the witness-producing boundary targets, and it adds dedicated artifact schemas for frontier reports and frontier atlases.
This means the top-level submission is no longer only a theorem-and-engine bundle.
It is also a research navigation system: it tells you what to try next, what a successful output must look like, and what a failure must return.
If you want to track what changed and why this is the top-level package, use the updates page.
This page hosts the most advanced submission package in the rigidity program.
It takes the gap-free rigidity mechanism and upgrades it from a single carefully chosen instance to a region-level decision layer on normalized parameter families.
What this submission does
| Output type | What the pipeline returns | What you can do with it |
|---|---|---|
| Robust universality certificate | A witnessed Doeblin word, recurrence data, an explicit contraction rate pack, and quantitative margins that yield a stability radius \(\varepsilon^*\) | Trust the conclusion under small perturbations and reuse the witness on nearby inputs |
| Obstruction witness | A finite witness object (OG1–OG4) localizing the failure mechanism | Learn why universality is not forced and where the boundary lives |
| Region-level report | A finite cover of certificates over a normalized family, or an atlas describing the boundary where uniform behavior fails | Certify a whole compact region or obtain a structured boundary map |
What this update adds
The v19 package is now deep enough to support a serious decidability-frontier discussion without hand-waving.
| Frontier-layer addition | What it is | Why it matters |
|---|---|---|
| Open-problem resolution map | A structured map of the witness-producing frontier for robust switching stability and related boundary questions | It turns open problems into a navigational program with named targets and finite outputs |
| Frontier report + atlas schemas | Artifact contracts for reporting either certified regions or boundary atlases on normalized families | It makes the region-level claim auditable and reusable outside this site |
| Imprimitive core reporting | A standard way to represent cyclic decomposition when the minimizing core is not primitive | It closes a common realism gap in certification pipelines |
| Mather/sofic model artifacts | A finite model interface for representing calibrated minimizing dynamics at the descriptor boundary | It anchors the boundary narrative in a concrete object that can be inspected and validated |
What is new beyond the earlier flagship
| Upgrade | What changes | Why it matters |
|---|---|---|
| Explicit robustness radii | Certificates carry margins and compute \(\varepsilon^*\) | You can perturb template entries and still know the result remains valid |
| Strong obstruction-or-certificate contract | Every failure is a named obstruction with finite payload | Failure is informative rather than ambiguous |
| Cover-or-atlas on \(\Theta\) | Compact normalized families can be certified by finite cover, or mapped by boundary atlas | The theory becomes a navigational tool, not a one-off theorem |
Where to go next
| If you want | Open |
|---|---|
| Visitor-facing meaning and map | Rigidity and Reconstruction |
| The strongest single-instance gateway | Gap-Free Rigidity and Robust Certificates |
| Runnable audited artifacts | RU Universality Certificate Engine |
| Referee-facing audit map | Referee Map and Checklist |
| Applied examples on physics-adjacent families | String Theory Bridge |
| The frontier program (targets + witnesses) | Open Problem Resolution Map |
| The robust switching frontier viewpoint | JSR Decidability Frontier |
What to open
Updates and significance
Books by Drew Higgins
