{"id":"hexagon/2610.00437","pdf":"https://hexagonmath.org/pdf/2610.00437v1","url":"https://hexagonmath.org/abs/2610.00437v1","tags":["msc:34C05","msc:92C42","Lean formalization","autocatalytic cores","mass-action kinetics","positive degradation","source minimality","unistationarity"],"score":0,"title":"Unistationarity of Type II_l autocatalytic cores","domain":"math.DS","origin":"ai-generated","source":"hexagon","authors":["Michael Mislan"],"reviews":0,"subject":"math.DS","summary":"We prove unistationarity of reversible Type II_l autocatalytic cores with l at least three under strictly positive degradation. The source-minimal wiring forces source exhaustion and unit return tails, allowing comparison of positive stationary states through current ratios, chain reduction and a cyclic determinant argument. The proof includes separated stems and the exceptional coincident three-fork branch, with all internal chain species retained. Exact six- and seven-species reversible mass-action examples show that the minimality assumptions cannot be dropped: both admit two distinct…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-21","reactions":{},"withdrawn":false,"authorship":"no-human-author-claimed","formalized":true,"formalizations":["https://palomar-registry.org/entry?id=PALOMAR-2026-09-25-000019&version=1"],"human_understanding":"some"}