Study Music. Click to play or pause. After it starts, press the Space Bar to play or pause. If enabled, it will resume across pages.

Main Paper

RelatedProof AppendixVerification ToolkitRigidity And Reconstruction

Research · Main Paper

Main Paper

Main Paper (PDF)Proof Appendix (PDF)Rigidity and ReconstructionResearch Library

Project Scope

This page is the formal backbone.

If Rigidity and Reconstruction is the story, the Main Paper is the contract. It tells you exactly what is being assumed, exactly what is being proved, and exactly what kind of conclusion you are allowed to take away.

What you are holding when you read this

  • A precise model class for the constrained growth systems being studied.
  • A definition of what “minimal growth” means inside that class.
  • A flagship theorem that says: at true minimality, the system must collapse into a recurrent structural core, and that collapse can be described in a way that is stable and reusable.

What the paper is trying to accomplish

A lot of research in this neighborhood fails because it mixes three things that should not be mixed:

  • Structural mathematics: what is true regardless of algorithms and numerics.
  • Certification: how you actually verify a claim in a concrete instance.
  • Narrative: why any of this matters.

This paper keeps those layers separated. That is not an aesthetic choice. It is what makes the project referee-safe and reader-safe.

How to read it efficiently

Your goalWhere to focusWhat to skim
Understand the theorem statementDefinitions and the main theorem sectionProof details
Check whether the assumptions are reasonableThe model class and hypothesesMotivation text
Follow the proof at high levelLemma roadmap and proof skeletonConstant chasing
Audit the quantitative detailsProof AppendixEverything else

Where the “meaning” lives

The Main Paper is intentionally not trying to be inspirational. Its job is to be accurate.

If you want the meaning, read Rigidity and Reconstruction first. Then the Main Paper will feel like a clean translation into research language rather than a wall.

What you should feel after reading

You should be able to answer, without guessing:

  • What class of systems is being studied.
  • What minimality means in that class.
  • What the theorem forces at minimality.
  • What is proved structurally and what is only asserted as a verification procedure.

If you can answer those, you are not lost. You are reading like a serious reader.

Project Scope

This is the main research writeup.

  • Purpose: state the central theorem and the exact conditions under which it is true.
  • Meaning: the “slowest possible growth” cases are not arbitrary, they are the most structured and therefore the most describable.
  • What to expect inside: clear model assumptions, a core structural theorem, and a bridge to concrete certification artifacts.
Where it helpsExample uses
Transfer-matrix growth problemsShowing that a baseline rate cannot be beaten under stated constraints
Rigidity and extremality questionsExplaining why minimizers must look uniform or recurrent
Tool-supported verificationMaking it realistic for others to reproduce checks

Books by Drew Higgins