{"id":"hexagon/2610.00439","pdf":"https://hexagonmath.org/pdf/2610.00439v1","url":"https://hexagonmath.org/abs/2610.00439v1","tags":["msc:92C42","msc:80A30","msc:15B48","Lean formalization","Type V networks","autocatalytic cores","mass-action kinetics","nonnegative degradation","unistationarity"],"score":0,"title":"Unistationarity of Type II_l and Type V autocatalytic cores with nonnegative degradation","domain":"math.DS","origin":"ai-generated","source":"hexagon","authors":["Michael Mislan"],"reviews":0,"subject":"math.DS","summary":"We prove that reversible Type II_l autocatalytic cores with l at least three and Type V cores admit at most one positive stationary state when every degradation rate is nonnegative. The Type II result assumes source-minimality, while the Type V statement uses its literal normal form. Strictly positive reaction rate constants are retained throughout. A reduction to the fork skeleton, source-exhaustion identities and diagonal current criteria control both positive-loss and boundary cases, including internal chains. We also derive determinant estimates and local continuation results, with…","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-30-000025&version=1"],"human_understanding":"some"}