Pith. sign in

REVIEW 1 major objections 1 cited by

All solutions remain bounded in feedback systems using antithetic controllers, even when equilibria are unstable.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-07-01 08:29 UTC pith:23JHEM2N

load-bearing objection The abstract says this paper proves global boundedness for antithetic controllers using a new persistently negative feedback argument, closing an open question, but the proof itself is not available to check. the 1 major comments →

arxiv 2604.27290 v2 pith:23JHEM2N submitted 2026-04-30 math.OC cs.SYeess.SYmath.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
classification math.OC cs.SYeess.SYmath.DS
keywords antithetic feedback controllersboundedness of solutionsfeedback systemssynthetic biologynonlinear dynamicsequilibrium stability
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper establishes that trajectories in closed-loop systems with antithetic controllers never diverge to infinity. This answers a prior open question by showing that instability at the unique equilibrium does not produce unbounded excursions. Earlier work had already shown that any bounded trajectory staying away from equilibrium converges to a periodic orbit. The proof avoids Lyapunov functions and instead treats the controller as supplying a persistently negative feedback that activates far from equilibrium to confine the states.

Core claim

In closed-loop systems with antithetic feedback controllers, every trajectory is bounded. The equilibria are unique but may be unstable for some parameter values; however, the antithetic structure ensures that nonlinear effects prevent trajectories from escaping to infinity.

What carries the argument

Persistently negative feedback supplied by the antithetic controller far from the equilibrium, which prevents divergence.

Load-bearing premise

The antithetic controller supplies a persistently negative feedback that acts far from equilibrium to block divergence.

What would settle it

An explicit choice of parameters and initial condition for which at least one state component tends to infinity as time increases.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

If this is right

  • No trajectory can escape to infinity regardless of initial conditions.
  • The state space remains confined even when the equilibrium loses stability.
  • Any trajectory that stays away from the equilibrium must still approach a periodic orbit, as previously shown.
  • The boundedness result holds for the full nonlinear closed-loop dynamics without additional restrictions on parameters.

Where Pith is reading between the lines

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

  • The same persistently-negative-feedback idea could be tested on other biomolecular controller architectures that exhibit similar integral action.
  • Design rules for choosing controller gains might be derived directly from the boundedness argument rather than from local stability calculations.
  • Numerical searches for counter-examples can now be replaced by direct simulation within known bounded regions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 0 minor

Summary. The manuscript claims to prove that all solutions in feedback systems with antithetic controllers are bounded, even when the unique equilibrium is unstable. This is achieved by a new approach specific to antithetic configurations, interpreting the controller as providing persistently negative feedback far from the equilibrium to prevent divergence, rather than using Lyapunov functions. It builds on prior results that bounded trajectories converge to periodic orbits.

Significance. If the result holds, it would affirmatively resolve a long-standing open question in the theory of antithetic feedback controllers used in synthetic biology for protein regulation. The new approach might extend to other applications. However, the significance is tempered by the fact that only the abstract is available for review, preventing full evaluation of the proof.

major comments (1)
  1. [Abstract (final paragraph)] Abstract (final paragraph): The central argument relies on viewing the antithetic controller as supplying 'persistently negative feedback' that acts far away from the equilibrium. No specific construction, equations, or proof strategy (e.g., contradiction or invariant set) is provided in the abstract, making it impossible to verify if this indeed ensures boundedness in the full state space.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their review of the manuscript. We address the single major comment below.

read point-by-point responses

  1. Referee: Abstract (final paragraph): The central argument relies on viewing the antithetic controller as supplying 'persistently negative feedback' that acts far away from the equilibrium. No specific construction, equations, or proof strategy (e.g., contradiction or invariant set) is provided in the abstract, making it impossible to verify if this indeed ensures boundedness in the full state space.

    Authors: The abstract is a concise summary and therefore omits the detailed construction, equations, and proof strategy. The full manuscript develops the persistently negative feedback argument with explicit state-space equations for the antithetic controller and proves boundedness via a contradiction argument: assuming a trajectory diverges, it must eventually enter a region where the controller enforces a strictly negative feedback effect that produces an invariant set preventing further escape. This construction and the associated invariant-set analysis appear in Sections 3 and 4. Because the review was limited to the abstract, the complete verification requires the full text (arXiv:2604.27290). revision: no

Circularity Check

0 steps flagged

No circularity in available abstract; boundedness claimed via new structural argument

full rationale

Only the abstract is provided, which states that boundedness of all solutions is established via a new approach viewing the antithetic controller as supplying persistently negative feedback far from equilibrium. No equations, Lyapunov functions, or derivation steps are exhibited. The text references prior work by Khammash et al. on equilibria and periodic orbits but presents the boundedness result as an independent affirmative answer to an open question, without any self-citation load-bearing on the core claim or any reduction of the result to fitted inputs or self-definitional constructions. No patterns from the enumerated circularity kinds are present.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; no explicit free parameters, axioms, or invented entities are stated. The proof relies on the structural property of antithetic feedback, which is treated as given by the controller definition.

pith-pipeline@v0.9.1-grok · 5732 in / 936 out tokens · 24281 ms · 2026-07-01T08:29:39.835276+00:00 · methodology

0 comments
Cite this review

Pith. "Pith review of Boundedness of solutions in feedback systems with antithetic controllers." pith.science (2026). https://pith.science/paper/23JHEM2N

@misc{pith2026260427290,
  author       = {Pith},
  title        = {Pith review of: Boundedness of solutions in feedback systems with antithetic controllers},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/23JHEM2N}},
  note         = {Machine review of arXiv:2604.27290}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

Antithetic feedback controllers have become a key experimental and theoretical tool in synthetic biology. Introduced by Khammash and collaborators about 10 years ago, they are employed in order to achieve the practical regulation of protein expression, including tracking and robust disturbance rejection. In closed-loop, there are unique equilibria which, depending on parameter values, can be unstable. It had been shown, however, that this instability is not arbitrary: any bounded trajectory that stays away from the equilibrium must converge to a periodic orbit. This motivated a long-standing open question: is every trajectory bounded? In other words, even if the equilibrium is unstable, can nonlinear effects prevent unbounded excursions in the state space? This paper provides an affirmative answer, establishing the boundedness of all solutions. Previous attempts to prove this fact using Lyapunov functions had no success. Instead, this paper takes a completely different approach, specific to antithetic configurations, in which the key idea is to think of the controller as providing a ``persistently negative feedback'' which acts far away from the equilibrium in such a way so as to keep trajectories from diverging. This new approach, although tailored to the antithetic controller, might be useful in other applications as well.

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 ↗

Review history (2 revisions) →

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On input-output persistency and the interconnection of positive nonlinear systems

    eess.SY 2026-08 accept novelty 6.0

    Persistent-input/persistent-output (PIPO) plants connected to persistent-input/transient-output (PITO) controllers have bounded control signals in positive feedback loops.