{"id":"arxiv/2610.30808","url":"https://arxiv.org/abs/2610.30808","tags":["cs.LO","math.DS","q-bio.MN"],"score":0,"title":"Global Convergence of Detailed Balanced Mass Action Systems","domain":"cs.LO","source":"arxiv","authors":["Haoran Lv","Chengjin Ni","Manqin Wang","Shenli He"],"reviews":0,"subject":"cs.LO","summary":"We give a self-contained proof that, for a finite detailed balanced mass-action system with positive rate constants, each positive stoichiometric compatibility class contains exactly one positive equilibrium and every positive trajectory converges to it, together with a Lean 4 formalization of the complete argument from persistence to convergence. Boundedness and persistence come from the barrier argument of OpenAI (2026) for weakly reversible systems: an arbitrary-tolerance affine approximation yields a finite-minimum barrier whose superlevel sets confine trajectories and give one…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-22","reactions":{}}