pith. sign in

arxiv: 2604.27290 · v1 · submitted 2026-04-30 · 🧮 math.OC · cs.SY· eess.SY· math.DS

Boundedness of solutions in feedback systems with antithetic controllers

Moh Kamalul Wafi , Arthur C. B. de Oliveira , Eduardo D. Sontag This is my paper

Pith reviewed 2026-05-07 09:45 UTC · model grok-4.3

classification 🧮 math.OC cs.SYeess.SYmath.DS
keywords boundednessfeedback systemsantithetic controllerssynthetic biologydifferential inequalitiesnonlinear systems
0
0 comments X

The pith

Feedback systems with antithetic controllers keep all trajectories bounded.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper proves that every trajectory in a class of nonlinear feedback systems with delayed antithetic controllers stays bounded for all time. Such systems model regulation in synthetic biology, where unbounded growth would break the intended control of a biological process. The argument shows that if the regulated state stays above a threshold long enough, the delayed feedback signal grows strong enough to force the state downward, after which the same mechanism prevents renewed unbounded increase. The proof works with differential inequalities and avoids constructing a Lyapunov function, making the time-domain small-gain effect explicit.

Core claim

Every trajectory of the system remains bounded. If the regulated state exceeds a given threshold and stays there for a sufficiently long interval, the delayed antithetic feedback produces a signal strong enough to make the state decrease; once this occurs, the feedback remains effective enough to keep the state from growing without bound thereafter.

What carries the argument

The delayed antithetic controller, whose internal dynamics strengthen the counteracting input precisely when the regulated state persists above threshold.

If this is right

  • No trajectory can diverge to infinity.
  • Persistent high values in the regulated state are eventually counteracted by the delayed loop.
  • Boundedness follows directly from differential inequalities without a global Lyapunov function.
  • The same mechanism supplies a time-domain small-gain interpretation for this class of controllers.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same boundedness argument may extend to other delayed integral-like controllers in biological models.
  • Numerical checks with large initial conditions or step disturbances could test whether the threshold-and-duration condition holds in practice.
  • Robustness to small parameter changes in the delay or gain might follow from the same differential-inequality estimates.

Load-bearing premise

The controller's delayed dynamics ensure that its output signal grows strong enough to drive the regulated state down whenever that state exceeds a threshold for long enough.

What would settle it

An explicit solution or numerical trajectory in which the regulated state grows to infinity without the feedback signal ever becoming strong enough to reverse the growth.

Figures

Figures reproduced from arXiv: 2604.27290 by Arthur C. B. de Oliveira, Eduardo D. Sontag, Moh Kamalul Wafi.

Figure 1
Figure 1. Figure 1: Figure: (a) Evolution of x1 with the bound M1. (b) All states for x(0) = [0, 0, 0, 0]⊤. (c) Evolution of x1 with the bound M1 for a different initial condition. (d) All states for x(0) = [0.043, 0.332, 0.407, 0.756]⊤. 4 Technical results Proposition 3. Let ∆2, ∆3 > 0 and θ, γ, α1 > 0. For each L > 0, consider the fixed-point equation τ(L) = ∆2 + ∆3 + θ γ(L + α1τ(L)). (11) Then, the unique positive solution… view at source ↗
read the original abstract

This paper studies whether solutions of a class of nonlinear feedback systems remain bounded over time. The systems we consider arise naturally in synthetic biology, where the antithetic feedback controller regulates a biological process through a delayed feedback loop. Our main result is that every trajectory of such a system is bounded. The key insight is simple: if the regulated state grows too large for too long, the feedback loop will eventually respond and push it back down. More precisely, we show that whenever the state exceeds a threshold and remains there long enough, the feedback signal becomes strong enough to force the state to decrease. We then show that once this happens, the feedback remains strong enough to keep the state from growing unbounded. The proof works directly with differential inequalities and does not require constructing a Lyapunov function, making the mechanism transparent and easy to interpret. The boundedness result can be understood as a time-domain small-gain effect, where the delayed feedback ultimately counteracts any persistent growth in the system.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript studies boundedness of solutions in a class of nonlinear feedback systems with antithetic controllers arising in synthetic biology. The central claim is that every trajectory remains bounded. The proof proceeds via differential inequalities: if the regulated state exceeds a threshold and remains above it sufficiently long, the delayed antithetic feedback signal grows strong enough to force the state to decrease; once this occurs, the signal strength persists to prevent subsequent unbounded growth. The argument is direct, avoids Lyapunov functions, and is interpreted as a time-domain small-gain effect.

Significance. If the central claim holds, the result is significant for control theory in biological systems. It supplies a transparent, Lyapunov-free proof of boundedness that directly exhibits the counteracting role of delayed antithetic feedback against persistent growth. This mechanism is easy to interpret and could inform the design of robust synthetic biological controllers. The time-domain small-gain framing adds conceptual clarity without relying on uniform continuity or specific growth-rate assumptions.

minor comments (2)
  1. The abstract refers to 'a threshold' and 'long enough' without indicating where these quantities are defined or how they depend on system parameters; ensure the main text introduces them with explicit notation and dependence on the controller gains and delays.
  2. The description of the feedback loop structure (how the antithetic signal becomes 'strong enough') should be cross-referenced to the precise differential inequalities used in the proof to allow readers to verify the timing argument without ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive review, accurate summary of our central claim, and recommendation for minor revision. The referee correctly identifies the direct differential-inequality argument, the absence of Lyapunov functions, and the time-domain small-gain interpretation. We appreciate the recognition of the result's potential utility in synthetic-biology controller design.

Circularity Check

0 steps flagged

Derivation self-contained via direct differential inequalities

full rationale

The paper establishes boundedness of trajectories by applying comparison principles and differential inequalities directly to the closed-loop dynamics of the antithetic controller. The argument proceeds by showing that prolonged exceedance of a threshold activates a sufficiently strong delayed feedback signal that forces the regulated state to decrease, after which the signal strength persists to preclude unbounded growth. No parameters are fitted to data, no self-citations serve as load-bearing uniqueness theorems, and the central claim does not reduce to a renaming or redefinition of its own inputs. The proof is therefore independent of any external fitted results or circular self-reference.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard properties of ordinary differential equations and the structural assumptions of the delayed antithetic feedback loop; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)
  • standard math Standard existence, uniqueness, and comparison properties for solutions of nonlinear ODEs and differential inequalities
    Invoked to analyze state behavior when the regulated variable exceeds a threshold for sufficient time.

pith-pipeline@v0.9.0 · 5483 in / 1195 out tokens · 42625 ms · 2026-05-07T09:45:35.294221+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages

  1. [1]

    Internal models in control, bioengineering, and neuroscience,

    M. Bin, J. Huang, A. Isidori, L. Marconi, M. Mischiati, an d E. Sontag, “Internal models in control, bioengineering, and neuroscience,” Annual Review of Control, Robotics, and Autonomous Systems , vol. 5, pp. 55–79, 2022

    work page 2022

  2. [2]

    Structural stability propert ies of antithetic integral (rein) control with output inhib i- tion,

    C. Briat and M. Khammash, “Structural stability propert ies of antithetic integral (rein) control with output inhib i- tion,” 2025

    work page 2025

  3. [3]

    Antithetic integra l feedback ensures robust perfect adaptation in noisy biomolecular networks,

    C. Briat, A. Gupta, and M. Khammash, “Antithetic integra l feedback ensures robust perfect adaptation in noisy biomolecular networks,” Cell Syst., vol. 2, pp. 15–26, 2016

    work page 2016

  4. [4]

    A universal biomolec- ular integral feedback controller for robust perfect adapt ation,

    S. K. Aoki, G. Lillacci, A. Gupta, A. Baumschlager, D. Sch weingruber, and M. Khammash, “A universal biomolec- ular integral feedback controller for robust perfect adapt ation,” Nature, vol. 570, pp. 533–537, 2019

    work page 2019

  5. [5]

    In vitro implementation of robust gene regulation in a synthetic biomolecular integral controller,

    D. K. Agrawal, R. Marshall, V . Noireaux, and E. D. Sontag, “In vitro implementation of robust gene regulation in a synthetic biomolecular integral controller,” Nature Communications, vol. 10, p. 5760, 2019

    work page 2019

  6. [6]

    A quasi-integr al controller for adaptation of genetic modules to variable ribosome demand,

    H.-H. Huang, Y . Qian, and D. Del V ecchio, “A quasi-integr al controller for adaptation of genetic modules to variable ribosome demand,” Nature Communications, vol. 9, no. 1, p. 5415, 2018

    work page 2018

  7. [7]

    Compact attractor s of an antithetic integral feedback system have a simple structure,

    M. Margaliot, C. Wu, and E. D. Sontag, “Compact attractor s of an antithetic integral feedback system have a simple structure,” in 2025 IEEE 64th Conference on Decision and Control (CDC) , pp. 2880–2885, 2025

    work page 2025

  8. [8]

    A generalization of linear po sitive systems with applications to nonlinear systems: Invariant sets and the Poincaré-Bendixson property,

    E. Weiss and M. Margaliot, “A generalization of linear po sitive systems with applications to nonlinear systems: Invariant sets and the Poincaré-Bendixson property,” Automatica, vol. 123, p. 109358, 2021

    work page 2021

  9. [9]

    Sontag, Mathematical Control Theory

    E. Sontag, Mathematical Control Theory. Deterministic Finite-Dimen sional Systems , vol. 6 of T exts in Applied Mathematics. New Y ork: Springer-V erlag, second ed., 1998. 10

    work page 1998