| Title: |
Polynomial Simulations of CRN Models with Trimolecular Void Step-Cycle CRNs |
| Authors: |
Luchsinger, Austin; Massie, Aiden J.; Schweller, Robert; Tomai, Evan; Wylie, Tim |
| Source: |
Computer Science Faculty Publications |
| Publisher Information: |
ScholarWorks @ UTRGV |
| Publication Year: |
2026 |
| Subject Terms: |
Chemical Reaction Networks; Simulations; Petri-nets; Vector; Addition Systems; Computer Sciences |
| Description: |
We investigate the computational power of Step-Cycle Chemical Reaction Networks (CRNs) when restricted to void reactions of size at most (3, 1). Step-Cycle CRNs extend the previously introduced step CRN model by repeatedly cycling through a fixed sequence of species additions and reaction phases. We show that even under the severe constraint of trimolecular void rules—which can only delete or preserve species—the model retains full computational power. In particular, we prove that (3,1) void Step-Cycle CRNs can polynomially simulate (1) any general CRN, (2) any general Step CRN, and (3) any general Step-Cycle CRN. Ultimately, these results demonstrate that the Step-Cycle model retains its complete expressive power even when restricted to (3, 1)-size void rules. |
| Document Type: |
text |
| Language: |
unknown |
| Relation: |
https://scholarworks.utrgv.edu/cs_fac/214; https://rdcu.be/e7TyO |
| DOI: |
10.1007/978-3-032-15641-9_25 |
| Availability: |
https://scholarworks.utrgv.edu/cs_fac/214; https://doi.org/10.1007/978-3-032-15641-9_25; https://rdcu.be/e7TyO |
| Accession Number: |
edsbas.FDCC9560 |
| Database: |
BASE |