2026-07-28T21:02:10Z https://drops.dagstuhl.de/oai

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

Scalable Enumeration of Pareto-Optimal Polymers for Computing Equilibrium Concentrations Patil, Archit Hhan, Minki Soloveichik, David Molecular computation Hilbert Basis Thermodynamic Binding Network covering design equilibrium concentration Predicting equilibrium concentrations of molecular complexes is essential for verifying the behavior of engineered DNA systems. However, a finite set of monomer types can in principle generate infinitely many complexes. We study this candidate-enumeration problem in a geometry-free, domain-level abstraction called a domain-monomer system, generalizing Thermodynamic Binding Networks (TBNs) to the unsaturated setting where not every possible bond need be formed. We define Pareto-suboptimal polymers as those that can be split into non-interacting parts, and show that restricting attention to Pareto-optimal polymers is thermodynamically justified: no Pareto-suboptimal polymer appears in any minimum free-energy configuration, and the total equilibrium concentration of such polymers is small. We prove that there are finitely many Pareto-optimal polymers and exactly characterize them via a Hilbert basis computation, extending prior work from the saturated TBN model. To scale this approach to large systems, we develop a framework that restricts the number of different monomer types that a single polymer contains, and uses combinatorial covering designs to reduce the number of Hilbert basis computations required. We benchmark the method on several families of DNA molecular programming systems, demonstrating order-of-magnitude speedups over direct computation while recovering nearly all equilibrium-relevant polymers. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Archit Patil and Minki Hhan 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.12 urn:nbn:de:0030-drops-267823 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.32.12 eng https://creativecommons.org/licenses/by/4.0/legalcode