2026-07-28T16:48:15Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:26780 2026-07-27T07:33:58Z ddc:004 open_access

Modularity of Signal Propagation Networks in the Thermodynamic Binding Network Model Yilmaz, And Kaan Ata Soloveichik, David Thermodynamic Binding Networks Chemical Reaction Networks Modular Composition Verification Simulation The Thermodynamic Binding Network (TBN) model provides an equilibrium-based abstraction for molecular systems, but proving correctness of large networks built from individually verified modules remains difficult because modules can interact through shared binding-site types. We develop a method for proving correctness of modular TBNs by reducing a composition of arbitrarily many modules to a fixed coarse-grained TBN, computing the Hilbert basis of the reduced system, and lifting the resulting entropy bounds and polymer characterizations back to the original network. We apply this method to reversible signal-propagation modules: For the previously studied module implementing A+B ⟷ C, we show that stable configurations of an arbitrary network of such modules have the intended local structure, implying that firing an individual module preserves global stability. Under certain restrictions on the reaction set, these networks faithfully simulate a class of reversible chemical reaction networks: every bounded-length CRN execution can be realized by a height-2 path between stable TBN configurations, and any two stable TBN configurations map to CRN states in the same stoichiometric compatibility class. We further show that the same proof strategy extends to a novel module implementing reactions with two reactants and products like A+B ⟷ C+D. Schloss Dagstuhl – Leibniz-Zentrum für Informatik And Kaan Ata Yilmaz and David Soloveichik 2026 Is Part Of LIPIcs, Volume 387, 32nd International Conference on DNA Computing and Molecular Programming (DNA 32) (2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.DNA.32.10 urn:nbn:de:0030-drops-267809 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.32.10 eng https://creativecommons.org/licenses/by/4.0/legalcode