1 · The essentials
The main manuscript concerns finite systems of chemical reactions with fixed positive reaction rates and a particular return-path structure called weak reversibility. It says that, within each group of positive starting states linked by the reaction constraints, there is one shared safe region for the concentrations. Every trajectory starting in that group enters this region after a finite time and stays there. Inside it, every concentration stays above a positive lower limit and below a finite upper limit. These limits are shared across the group, although different starting states can take different amounts of time to reach the region. The conclusion applies even when the group itself extends without bound. The main result has a Lean formalization, though the supplied description does not specify its detailed coverage.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine travelers starting at different places on an unlimited landscape, all eventually entering the same fenced area and never leaving it. Their arrival times differ, but the fence gives everyone the same eventual limits on where they can go.
Why it matters
The result strengthens bounds for individual trajectories into bounds shared by an entire positive compatibility class. It also supplies a common region that trajectories cannot leave once they enter, rather than only a statement about their eventual concentration limits. No assumption that the compatibility class is bounded is required.
2 · Going further
The precise setting is a finite weakly reversible mass-action system with fixed positive reaction rates. The main manuscript states that every positive stoichiometric compatibility class admits a compact, convex, forward-invariant absorbing set. Every positive trajectory in the class enters that set in finite time, including when the class is unbounded. The set depends only on the reaction network, the rates, and the class; the entry time may depend on the initial state.
Consequently, within a given class there are shared constants such that, for each positive initial state, there is a finite entry time after which every concentration satisfies for all . The important distinction is between common concentration bounds and potentially different entry times. The abstract identifies the common invariant absorbing set as the object delivering this conclusion, but it does not describe the construction or other steps of the argument.
The companion manuscript addresses boundedness and persistence under the same finite-network, weak-reversibility, and positive-constant-rate hypotheses. It states that every solution from a positive initial condition exists for all forward time, with every concentration bounded above and bounded away from zero. Those bounds may depend on the initial condition, and the compatibility class need not be bounded. The main manuscript's classwise permanence statement therefore adds shared eventual bounds and a shared compact convex invariant absorbing set. The source presents these results as resolving the respective conjectures; the main result has a Lean formalization, but the supplied material does not detail its scope.
Useful notions
- Concentrations changing along a trajectory
- Positive initial conditions
- Reaction rates and mass-action systems
- Stoichiometric compatibility classes
- Upper and lower bounds
What was known before / what is new
Before
The source identifies permanence, boundedness, and persistence as conjectures addressed by these manuscripts. It does not provide their historical origins or describe earlier partial results. The companion manuscript states trajectory-dependent bounds, in contrast to the main manuscript's shared eventual bounds.
New
The main manuscript states classwise permanence: one compact convex forward-invariant absorbing set works for every positive trajectory in a given positive compatibility class. This includes unbounded classes. The shared set and eventual bounds depend on the network, rates, and class, not on the individual starting state.
Limits and assumptions
The hypotheses are finiteness, weak reversibility, mass-action dynamics, fixed positive reaction rates, and positive initial conditions. The shared set is class-specific, not asserted to be common to all classes, and no common entry time is stated. The main result has a Lean formalization, but the supplied description does not identify exactly which claims it covers; it does not separately establish formalization of the companion manuscript. The abstracts give no argument construction and identify no remaining open problem.
Mini glossary
- Trajectory —
- A trajectory records the concentrations as they change over time from a chosen initial state.
- Stoichiometric compatibility class —
- A stoichiometric compatibility class groups states linked by the concentration changes allowed by the reactions.
- Forward-invariant set —
- A forward-invariant set is a region that a trajectory cannot leave as time advances once it is inside.
- Absorbing set —
- Here, an absorbing set is a region that every positive trajectory in the relevant class enters in finite time.
- Classwise permanence —
- Classwise permanence means that all positive trajectories in a class eventually obey shared positive lower and finite upper concentration bounds.
- Persistence —
- In the companion abstract, persistence means that every concentration stays bounded away from zero along a trajectory from a positive initial state.
Keywords : Weak reversibility · Mass-action systems · Classwise permanence
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Proves the permanence conjecture for every finite weakly reversible mass-action system with fixed positive rate constants. Every positive stoichiometric compatibility class, even an unbounded one, has a common compact convex forward-invariant absorbing set. All positive trajectories in that class therefore eventually share positive lower and finite upper concentration bounds.
Verified by Lean: the Lean software checked the part of the reasoning described below, sometimes only part of the manuscript. This does not mean independent mathematicians have validated the result.
Manuscripts in this family
Uniform Permanence in Weakly Reversible Mass-Action Systems
05/10/2026We prove the permanence conjecture for finite weakly reversible mass-action systems with fixed positive reaction rates. Every positive stoichiometric compatibility class admits one compact convex forward-invariant set that every positive trajectory in that class enters in finite time, even when the class is unbounded. The set depends only on the network, the rates, and the class; the entry time may depend on the initial state. Thus, after its entry time, every concentration satisfies the same positive lower and finite upper bounds throughout that class.
Boundedness and persistence of weakly reversible mass-action systems
25/09/2026We prove the boundedness and persistence conjectures for finite weakly reversible mass-action systems with positive constant reaction rates. For every positive initial condition, the solution exists for all forward time, and every concentration remains bounded above and bounded away from zero. The bounds may depend on the initial condition, and no boundedness assumption is imposed on its stoichiometric compatibility class.