{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:23JHEM2NNMXOTQRJKRT64ISG25","short_pith_number":"pith:23JHEM2N","schema_version":"1.0","canonical_sha256":"d6d272334d6b2ee9c2295467ee2246d7713fab2a22c98ed0872050b6c7f86872","source":{"kind":"arxiv","id":"2604.27290","version":2},"attestation_state":"computed","paper":{"title":"Boundedness of solutions in feedback systems with antithetic controllers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Feedback systems with antithetic controllers keep all trajectories bounded.","cross_cats":["cs.SY","eess.SY","math.DS"],"primary_cat":"math.OC","authors_text":"Arthur C. B. de Oliveira, Eduardo D. Sontag, Moh Kamalul Wafi","submitted_at":"2026-04-30T01:09:26Z","abstract_excerpt":"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 o"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2604.27290","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-04-30T01:09:26Z","cross_cats_sorted":["cs.SY","eess.SY","math.DS"],"title_canon_sha256":"7bccce8a41f4903db924a8b2e498eefffac7225444a1772e57819b6b92527de9","abstract_canon_sha256":"981887664067e79d3f4e7f0e8cfed2cff8c0c2296eaea127561f9b93d23245f7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-30T02:18:08.694165Z","signature_b64":"tCHCCLbjU7BZqpyV7Banoj6dtHCXTB9J5H1dbZrm6Agl4tLmG0IgamqJC8vt+RI6/4PASwVMN16/b12aDeyiAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d6d272334d6b2ee9c2295467ee2246d7713fab2a22c98ed0872050b6c7f86872","last_reissued_at":"2026-06-30T02:18:08.693429Z","signature_status":"signed_v1","first_computed_at":"2026-06-30T02:18:08.693429Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Boundedness of solutions in feedback systems with antithetic controllers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Feedback systems with antithetic controllers keep all trajectories bounded.","cross_cats":["cs.SY","eess.SY","math.DS"],"primary_cat":"math.OC","authors_text":"Arthur C. B. de Oliveira, Eduardo D. Sontag, Moh Kamalul Wafi","submitted_at":"2026-04-30T01:09:26Z","abstract_excerpt":"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 o"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"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.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The feedback loop structure is such that the signal becomes strong enough to force the state to decrease whenever the regulated state exceeds a threshold and remains there long enough, relying on the specific delayed antithetic controller dynamics.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Every trajectory in these antithetic feedback systems is bounded because persistent growth in the regulated state eventually triggers a strong enough delayed feedback response to force the state down and keep it controlled.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Feedback systems with antithetic controllers keep all trajectories bounded.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"407ed434c2ead8d9fe151166d9819ce2520bace729a0932a73fb8436a8be8cdd"},"source":{"id":"2604.27290","kind":"arxiv","version":2},"verdict":{"id":"78dd518c-3690-489e-84f4-8f22b9d26f03","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-07T09:45:35.294221Z","strongest_claim":"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.","one_line_summary":"Every trajectory in these antithetic feedback systems is bounded because persistent growth in the regulated state eventually triggers a strong enough delayed feedback response to force the state down and keep it controlled.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The feedback loop structure is such that the signal becomes strong enough to force the state to decrease whenever the regulated state exceeds a threshold and remains there long enough, relying on the specific delayed antithetic controller dynamics.","pith_extraction_headline":"Feedback systems with antithetic controllers keep all trajectories bounded."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2604.27290/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"ai_meta_artifact","ran_at":"2026-05-20T22:40:28.977807Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T19:24:36.622457Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"53ecc9399c8b7f24f31ae56c1d7da0c1b467b3489078e742cedf0dca223f2862"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2604.27290","created_at":"2026-06-30T02:18:08.693515+00:00"},{"alias_kind":"arxiv_version","alias_value":"2604.27290v2","created_at":"2026-06-30T02:18:08.693515+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.27290","created_at":"2026-06-30T02:18:08.693515+00:00"},{"alias_kind":"pith_short_12","alias_value":"23JHEM2NNMXO","created_at":"2026-06-30T02:18:08.693515+00:00"},{"alias_kind":"pith_short_16","alias_value":"23JHEM2NNMXOTQRJ","created_at":"2026-06-30T02:18:08.693515+00:00"},{"alias_kind":"pith_short_8","alias_value":"23JHEM2N","created_at":"2026-06-30T02:18:08.693515+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2608.01699","citing_title":"On input-output persistency and the interconnection of positive nonlinear systems","ref_index":17,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/23JHEM2NNMXOTQRJKRT64ISG25","json":"https://pith.science/pith/23JHEM2NNMXOTQRJKRT64ISG25.json","graph_json":"https://pith.science/api/pith-number/23JHEM2NNMXOTQRJKRT64ISG25/graph.json","events_json":"https://pith.science/api/pith-number/23JHEM2NNMXOTQRJKRT64ISG25/events.json","paper":"https://pith.science/paper/23JHEM2N"},"agent_actions":{"view_html":"https://pith.science/pith/23JHEM2NNMXOTQRJKRT64ISG25","download_json":"https://pith.science/pith/23JHEM2NNMXOTQRJKRT64ISG25.json","view_paper":"https://pith.science/paper/23JHEM2N","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2604.27290&json=true","fetch_graph":"https://pith.science/api/pith-number/23JHEM2NNMXOTQRJKRT64ISG25/graph.json","fetch_events":"https://pith.science/api/pith-number/23JHEM2NNMXOTQRJKRT64ISG25/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/23JHEM2NNMXOTQRJKRT64ISG25/action/timestamp_anchor","attest_storage":"https://pith.science/pith/23JHEM2NNMXOTQRJKRT64ISG25/action/storage_attestation","attest_author":"https://pith.science/pith/23JHEM2NNMXOTQRJKRT64ISG25/action/author_attestation","sign_citation":"https://pith.science/pith/23JHEM2NNMXOTQRJKRT64ISG25/action/citation_signature","submit_replication":"https://pith.science/pith/23JHEM2NNMXOTQRJKRT64ISG25/action/replication_record"}},"created_at":"2026-06-30T02:18:08.693515+00:00","updated_at":"2026-06-30T02:18:08.693515+00:00"}