{"id":"8a4c0d92-ba61-48ee-a325-404ba617f915","arxiv_id":"2608.01699","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Persistent-input/persistent-output (PIPO) plants connected to persistent-input/transient-output (PITO) controllers have bounded control signals in positive feedback loops.","lead":"This paper introduces two complementary properties, PIPO and PITO, for positive nonlinear control systems, and proves that connecting a PIPO plant to a PITO controller guarantees the control signal stays bounded. It shows these properties hold for broad system classes, including monotone plants and the antithetic integral controller used in synthetic biology.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's verdict ACCEPT is appropriate. The proof of Theorem 1 is a clean contradiction argument; the growth bound is used exactly to propagate upper bounds on the controller output. The PIPO/PITO shifted implications are valid, not a hidden assumption. The only minor issue is the theorem's 'k, ω > 0' wording versus the k=0 AIC case, but Corollary 2 handles that directly. Thus no load-bearing concern; verdict unchanged.","tokens_in":14954,"tokens_out":14558,"duration_ms":160302,"concrete_test":"Verify the finite-interval versions of Definitions 1 and 2 used in Theorem 1: for PIPO, if u≥U(κ) on [a,b] with b−a≥T(κ), then y(t)≥κ for t∈[a+T(κ),b]; and analogously for PITO with v≥V(ε) on [s,s+T(ε,δ)], then w(s+T(ε,δ))≤ε. A formal check (or counterexample search) that these follow from the definitions by causality and input extension would settle the proof's only subtle step.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After a careful pass over Theorem 1 and its supporting lemmas, I find the central argument sound. The one-sided affine growth bound is indeed the most load-bearing hypothesis, but it is explicitly assumed and satisfied by both controller classes treated in the paper. The proof's shifted/truncated applications of the PIPO and PITO definitions are the only delicate step; they are justified because systems are causal and the input can be extended after the interval of interest without changing outputs inside it. Thus the 'implicit causality-based extension' flagged by the Reader is valid and not a gap. The theorem statement's 'k, ω > 0' is slightly stronger than the examples (AIC has k=0), but Corollary 2 is proven directly, so this is a cosmetic issue, not a flaw.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies feedback interconnections of positive nonlinear SISO systems and introduces two complementary input-output properties: PIPO (persistent input drives the plant output eventually above any prescribed level, uniformly in the initial state) and PITO (persistent input drives the controller output eventually below any prescribed level, with transient time depending on the initial output). The central result, Theorem 1, states that if the closed loop is forward complete, the controller output satisfies a one-sided affine growth bound, the plant is PIPO, and the controller is PITO, then the control signal is bounded. Corollary 1 adds plant-state boundedness under BIBS stability. The paper then gives a structural sufficient condition for PIPO for positive monotone plants with a class-K∞ steady-state characteristic (Lemma 1), proves positivity, forward completeness, and explicit PITO gains for the antithetic integral controller (Lemmas 2–3), and applies the framework to the nonlinear-II integral-feedback motif with explicit PIPO/PITO gains (Lemmas 4–6, Corollary 3). The paper candidly states that the framework does not generally guarantee boundedness of the full controller state, in particular z2 in the antithetic controller.","tokens_in":15107,"tokens_out":16903,"duration_ms":201218,"significance":"If correct, the paper provides a modular, architecture-independent sufficient condition for boundedness of the control signal in positive feedback interconnections, without requiring linearity or monotonicity once PIPO and PITO are verified. The main theorem is self-contained and the worked examples supply explicit gain functions, which is practically useful for synthetic-biology control design. The limitations are clearly acknowledged: the result is a controller-output boundedness result, not a full-state boundedness result, and the nonlinear-II example recovers an existing conclusion rather than proving new asymptotic behavior. The framework itself is novel and appears to be a genuine step beyond the earlier case-specific boundedness analysis in [17]. The paper would be of interest to the systems-biology control community and the broader positive-systems community.","major_comments":[],"minor_comments":[{"comment":"The statement requires 'there exist k, ω > 0' for the affine growth bound, but the proof explicitly handles k=0 and Corollary 2 (AIC) relies on k=0, ω=α1. The condition should be restated as k, ω ≥ 0, not both zero, or the k=0 case should be separated into a remark.","section":"Section 3, Theorem 1"},{"comment":"The shifted applications of PIPO and PITO are justified by an implicit causality argument: the output at a finite time depends only on the input over the preceding interval, so an input can be extended beyond the interval of interest before applying the definition. This is correct, but the proof should spell it out explicitly; the current phrase 'By causality' is terse for such a delicate step.","section":"Section 3, proof of Theorem 1"},{"comment":"After the controller equation, the text says 'where z=(z1,z2)∈R^2_≥0, y∈R_≥0', but the controller input is v. Replace y by v to avoid confusing the controller input with the plant output.","section":"Equation (2), Section 4.2"},{"comment":"The phrase 'one-sided PITO property' appears to be a typo; it should read 'PITO property'.","section":"Section 4.2, Corollary 2 proof"},{"comment":"The use of u for both the fixed external stimulus and the closed-loop plant input is confusing. Rename the external parameter, for example μ, to avoid collision with the interconnection variable u=w.","section":"Section 4.3"},{"comment":"The limitation that z2 boundedness is not guaranteed by the framework is clearly stated in Section 4.2. A forward reference from Corollary 2 to this discussion would help readers avoid over-interpreting the corollary.","section":"Section 5"}],"recommendation":"minor_revision","confidential_remarks":"I have no significant concerns about the novelty or citation pattern. The paper is honest about the limitations of the framework and builds directly on prior work by the same group and others; the fit with the journal's scope is good. The central result is sound, and the required changes are local presentation and statement repairs."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The punchline: this is a genuinely new and usable input-output criterion. Theorem 1 is correctly proved, and the PITO verification for the antithetic controller with explicit gains is the kind of concrete result people will actually use. I read the proofs carefully, and the central argument holds up.\n\nWhat's new: the PIPO/PITO definitions themselves, the boundedness theorem that abstracts the time-domain argument from [17], Lemma 1 giving a structural sufficient condition for PIPO on monotone plants, and the explicit gain computations for the antithetic controller and the nonlinear-II motif. The contradiction proof in Theorem 1 is sound; the shifted-interval applications of PIPO and PITO are the only delicate step, and they are justified by causality, as the stress-test note says. The monotone-plant result is in the spirit of Angeli and Sontag's steady-state characteristic work, but the way it plugs into the boundedness theorem is new.\n\nSoft spots: the theorem statement assumes k, omega > 0 for the one-sided affine growth bound, but the antithetic example has k = 0. That's a cosmetic mismatch, not a flaw, because Corollary 2 proves the boundedness result directly. The shifted PIPO/PITO application could do with a sentence about extending the input, but it's easily patched. The paper is honest that the framework does not bound the full controller state; the discussion of z2 in the AIC is useful and correct. The nonlinear-II example is explicitly not a new theorem — it recovers a known boundedness result from [15] — but it is a good worked illustration of the multiplicative growth branch, complementing the additive AIC case.\n\nIs there a load-bearing flaw? No. The one-sided affine growth bound is the most important hypothesis, and it is explicitly assumed and satisfied by both controller classes. If a controller output could grow super-linearly, Theorem 1 would not apply, but that is a limitation, not an error.\n\nBottom line: this is a solid contribution for researchers working on positive systems, synthetic biology, and anti-windup analysis. I would cite it, and I would bring it to a reading group focused on those topics. Send it to peer review.","headline":"A clean new input-output criterion for bounded control signals in positive interconnections; the core theorem is sound, the examples are concrete, and the paper deserves a serious referee.","tokens_in":15582,"tokens_out":1504,"would_cite":true,"duration_ms":19152,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["93C10","93C28","93D25"],"pacs":[],"model":"deepseek-v4-flash","headline":"PIPO plants and PITO controllers keep positive feedback control signals bounded.","keywords":["positive nonlinear systems","input-output properties","PIPO","PITO","boundedness","antithetic integral controller","monotone systems","anti-windup"],"falsifier":"Run a numerical search over positive PIPO plants and PITO controllers satisfying forward completeness and the affine growth bound, looking for an initial condition whose control signal exceeds the proof's predicted bound R; if any trajectory exceeds R, Theorem 1 is false. Alternatively, exhibit a PIPO/PITO pair whose controller output obeys a superlinear growth bound, for example w_dot = w^2, and whose closed-loop control signal escapes to infinity; that would show the affine growth assumption is doing essential work.","tokens_in":1578,"feed_emoji":"🔄","tokens_out":4799,"duration_ms":103201,"temperature":0.7,"pith_summary":"This paper asks when a positive nonlinear feedback loop—plant and controller that keep their states and signals in the nonnegative orthant—can be guaranteed not to produce an unbounded control signal. The authors introduce two complementary input–output properties: a plant is persistent-input/persistent-output (PIPO) if any input that stays above a threshold eventually forces the output above any prescribed level, uniformly over initial states; a controller is persistent-input/transient-output (PITO) if any input that stays above a threshold eventually drives its output below any prescribed tolerance. Their main theorem proves that interconnecting a PIPO plant with a PITO controller, under forward completeness and a one-sided affine growth bound on the controller output, makes the control signal bounded for every initial condition. This matters because boundedness is the first step before studying asymptotic behavior of integral-feedback interconnections used in biomolecular control, and the result needs no linearity, monotonicity, or shared Lyapunov function.","feed_headline":"Amplify-then-attenuate feedback pairs keep control signals bounded","feed_subtitle":"A new input-output criterion rules out windup in positive nonlinear loops without assuming either subsystem is stable.","key_machinery":"The machinery is the pair of qualitative properties PIPO and PITO, plus the one-sided affine growth bound. PIPO is the plant-side 'amplifier' property: inputs never below U(κ) eventually force outputs never below κ, uniformly over initial states. PITO is the controller-side 'attenuator' property: inputs never below V(ε) eventually force outputs to fall below ε, with transient time depending on initial output only. Their roles in the proof are complementary: the plant converts a persistently large control signal into a persistently large measurement, and the controller converts that measurement into a small control signal. The one-sided affine bound on the controller output lets a comparison","core_discovery":"Theorem 1 states: for positive nonlinear plant and controller in feedback, if the plant is PIPO, the controller is PITO, the closed loop is forward complete, and the controller output satisfies the one-sided affine bound dw/dt ≤ k w + ω, then the control signal is bounded on [0,∞). The proof runs by contradiction: if the control signal ever reached a sufficiently large value R, the PIPO plant would turn the persistently large input into a persistently large plant output, which as controller input would trigger the PITO property and force the controller output below a small ε within a fixed time; however, the chosen thresholds and the growth bound force that same output to stay above ε during","pith_inferences":["A testable extension is to certify PIPO/PITO empirically: with a bench experiment, hold the input above candidate thresholds and measure whether output settles above or below prescribed levels; such measurements would supply the gain functions needed to invoke the theorem without a model.","The theorem's scope is bounded by the one-sided affine growth condition; controllers whose output can grow superlinearly in its own value (for example, through multiplicative state-dependent rates) will need a different argument or a coordinate change, since the comparison step is the only place the bound enters.","Because the result is purely input–output, it may transfer to stochastic or discrete-time positive systems if the PIPO/PITO definitions are adapted to almost-sure or sample-path persistence; the paper does not pursue this direction.","The open z2-boundedness issue for the AIC suggests a natural next question: identify minimal dissipativity or detectability conditions on the plant that turn controller-output boundedness into full state boundedness."],"forward_implications":["Any PIPO plant connected to any PITO controller with forward completeness and the affine growth bound will have a bounded control signal, for every initial condition, with no assumption that either subsystem is stable in isolation.","If the plant is also BIBS stable, boundedness of the control signal upgrades to boundedness of the plant state.","Every positive monotone plant with a globally asymptotically stable equilibrium for constant inputs and a class-K∞ input–output characteristic automatically satisfies PIPO and BIBS, so the framework covers a broad structural class.","For the antithetic integral controller, PITO is satisfied with explicit gains, so the AIC output is bounded in feedback with any positive PIPO plant; boundedness of the second AIC species is left open.","The nonlinear-II integral-feedback motif is verified with closed-form PIPO/PITO gains, recovering boundedness under a multiplicative growth bound."],"supporting_citations":[{"why":"Introduces the antithetic integral controller, the main controller example whose PITO property is established.","marker":"[7]"},{"why":"Proves boundedness for antithetic feedback with a time-domain argument; motivates the PIPO/PITO abstraction.","marker":"[17]"},{"why":"Supplies the monotone-systems and steady-state-characteristic theory behind Assumptions 1 and 2 and the structural PIPO result.","marker":"[3, 4]"},{"why":"Provides the standard continuation theorem used to prove forward completeness of the antithetic controller.","marker":"[16]"},{"why":"Defines the nonlinear-II integral-feedback motif whose PIPO/PITO verification and closed-form gains close the example.","marker":"[15]"}],"fun_headline_variants":["PIPO + PITO: bounded control in positive nonlinear loops","Bounded control signals via persistent input-output properties","New criterion prevents windup in positive nonlinear feedback","Persistent input-output conditions ensure bounded control","Positive nonlinear loops: PIPO and PITO yield bounded control"],"cache_read_input_tokens":17536,"weakest_assumption_plain":"The load-bearing premise is the one-sided affine growth bound on the controller output, w_dot ≤ k w + ω; if the controller output can grow faster than linearly in its own value, the comparison step used to limit it during the plant's response delay fails, and the contradiction proof of Theorem 1 no longer holds.","fun_headline_variants_meta":{"raw":{"variants":["PIPO + PITO: bounded control in positive nonlinear loops","Bounded control signals via persistent input-output properties","New criterion prevents windup in positive nonlinear feedback","Persistent input-output conditions ensure bounded control","Positive nonlinear loops: PIPO and PITO yield bounded control"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000206,"raw_usage":{"total_tokens":1199,"prompt_tokens":674,"completion_tokens":525,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":418,"completion_tokens_details":{"reasoning_tokens":449}},"tokens_in":418,"tokens_out":525,"duration_ms":5801,"temperature":1.0,"reasoning_tokens":449,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T22:38:03.701347+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run a numerical search over positive PIPO plants and PITO controllers satisfying forward completeness and the affine growth bound, looking for an initial condition whose control signal exceeds the proof's predicted bound R; if any trajectory exceeds R, Theorem 1 is false. Alternatively, exhibit a PIPO/PITO pair whose controller output obeys a superlinear growth bound, for example w_dot = w^2, and whose closed-loop control signal escapes to infinity; that would show the affine growth assumption is doing essential work.","supporting_citations":[{"cited_title":"Briat, A","cited_arxiv_id":null,"evidence_quote":"Introduces the antithetic integral controller, the main controller example whose PITO property is established."},{"cited_title":"Boundedness of solutions in feedback systems with antithetic controllers","cited_arxiv_id":"2604.27290","evidence_quote":"Proves boundedness for antithetic feedback with a time-domain argument; motivates the PIPO/PITO abstraction."},{"cited_title":"Sontag.Mathematical Control Theory","cited_arxiv_id":null,"evidence_quote":"Provides the standard continuation theorem used to prove forward completeness of the antithetic controller."},{"cited_title":"Symmetry invariance for adapting biological systems.SIAM journal on applied dynamical systems, 10(3):857–886, 2011","cited_arxiv_id":null,"evidence_quote":"Defines the nonlinear-II integral-feedback motif whose PIPO/PITO verification and closed-form gains close the example."}],"review_version":1}