Abstract:The exploration of pathways and alternative pathways that have a specific function is of interest in numerous chemical contexts. A framework for specifying and searching for pathways has previously been developed, but a focus on which of the many pathway solutions are realisable, or can be made realisable, is missing. Realisable here means that there actually exists some sequencing of the reactions of the pathway that will execute the pathway. We present a method for analysing the realisability of pathways based on the reachability question in Petri nets. For realisable pathways, our method also provides a certificate encoding an order of the reactions which realises the pathway. We present two extended notions of realisability of pathways, one of which is related to the concept of network catalysts. We exemplify our findings on the pentose phosphate pathway. Furthermore, we discuss the relevance of our concepts for elucidating the choices often implicitly made when depicting pathways. Lastly, we lay the foundation for the mathematical theory of realisability.

What problem does this paper attempt to address?

The paper attempts to address the issue of the practical realizability of pathways in chemical reaction networks (CRNs). Specifically, the authors focus on which pathways in a given chemical reaction network can be practically executed, i.e., there exists some sequence of reactions that can accomplish these pathways. The paper points out that although pathways can be defined and identified through integer hyperflows, whether these pathways can be practically executed is an under-researched problem. ### Main Issues: 1. **Practical Realizability of Pathways**: Determine which pathways are practically realizable, i.e., there exists some sequence of reactions that can accomplish these pathways. 2. **Proof of Realizability**: For realizable pathways, provide a certificate that includes a specific sequence of reactions proving the realizability of the pathway. 3. **Extending Realizability**: Explore how to transform non-realizable pathways into realizable ones, including methods such as scaling and borrowing molecules. ### Background and Motivation: - **Importance of Chemical Reaction Networks**: Large chemical reaction networks play a crucial role in many scientific, industrial, and societal challenges, such as metabolic network analysis, optimization of chemical synthesis processes, and modeling of molecular ion fragmentation in mass spectrometry. - **Definition and Identification of Pathways**: Pathways are typically defined as a set of reactions with specific functions that can achieve particular chemical transformations in a chemical reaction network. - **Limitations of Existing Methods**: Existing methods (such as integer linear programming) can identify pathways but cannot determine whether these pathways can be practically executed. ### Solutions: 1. **Petri Net Conversion**: Convert integer hyperflows into Petri nets and use Petri net methods to analyze the realizability of pathways. 2. **Realizability Certificate**: For realizable pathways, provide a certificate that includes a specific sequence of reactions proving the realizability of the pathway. 3. **Methods to Extend Realizability**: - **Scaling**: Make pathways realizable by increasing the scale of the pathway (i.e., duplicating the pathway). - **Borrowing**: Make pathways realizable by temporarily borrowing certain molecules, which are returned after the reaction is completed. ### Application Example: - **Pentose Phosphate Pathway (PPP)**: The paper uses the non-oxidative phase of the pentose phosphate pathway as an example to demonstrate the application of the method and discusses potential catalysts. ### Discussion: - **Implicit Choices in Pathway Representation**: The paper points out that common pathway representations in life sciences literature often lie between integer hyperflows and realizability certificates, with some implicit choices that may affect the understanding and application of pathways. - **Importance of Borrowing Pathways**: Avoiding borrowing pathways may introduce bias, as borrowing pathways are often equally simple and realistic in chemistry. Overall, the paper fills an important gap in the analysis of pathways in chemical reaction networks by introducing the concepts of pathway realizability and realizability certificates, providing a theoretical foundation and computational methods for the practical application of pathways.

Pathway Realisability in Chemical Networks

Chemical Transformation Motifs - Modelling Pathways as Integer Hyperflows

Exploration of Reaction Pathways and Chemical Transformation Networks

Finding Thermodynamically Favorable Pathways in Reaction Networks using Flows in Hypergraphs and Mixed Integer Linear Programming

Pathfinder -- Navigating and Analyzing Chemical Reaction Networks with an Efficient Graph-based Approach

Feasible-metabolic-pathway-exploration technique using chemical latent space

Context-Driven Exploration of Complex Chemical Reaction Networks

Heuristics-Guided Exploration of Reaction Mechanisms

Inferring Catalysis in Biological Systems

Concentration-Flux-Steered Mechanism Exploration with an Organocatalysis Application

Towards modular verification of pathways: fairness and assumptions

Integrated Reaction Path Processing from Sampled Structure Sequences

A computational approach to persistence, permanence, and endotacticity of biochemical reaction systems

Ideation and Evaluation of Novel Multicomponent Reactions via Mechanistic Network Analysis and Automation

Reachability in Restricted Chemical Reaction Networks

Systematic and unbiased pathway exploration by artificial force application to a generic neural network potential

CRNs Exposed: Systematic Exploration of Chemical Reaction Networks

A human-machine interface for automatic exploration of chemical reaction networks

Synthetic route design & assessment using vectors derived from similarity and complexity