Finest decomposition coarsening of reaction networks of biochemical systems
Authors:
Bryan S. Hernandez,
Juan Paolo C. Santos,
Patrick Vincent N. Lubenia,
Eduardo R. Mendoza
Abstract:
Biochemical reaction networks are typically modeled by $\dfrac{dx}{dt}=N\cdot K(x)=Y\cdot I_a\cdot K(x)$, with $x$ and $K(x)$ as the concentration and rate vectors, respectively, and $N$, $Y$, and $I_a$ as the stoichiometric, molecularity, and incidence matrices, respectively. Steady states, which describe their long-term behaviors, are determined by solving $N\cdot K(x)=0$, while complex balanced…
▽ More
Biochemical reaction networks are typically modeled by $\dfrac{dx}{dt}=N\cdot K(x)=Y\cdot I_a\cdot K(x)$, with $x$ and $K(x)$ as the concentration and rate vectors, respectively, and $N$, $Y$, and $I_a$ as the stoichiometric, molecularity, and incidence matrices, respectively. Steady states, which describe their long-term behaviors, are determined by solving $N\cdot K(x)=0$, while complex balanced steady states are found by solving $I_a \cdot K(x)=0$. To investigate these complex networks, decomposition techniques are important, in particular, for computing steady states. Previously, we identified a widespread property across many networks: the existence of independent and incidence-independent decompositions, characterized by the ability to directly sum the stoichiometric and incidence matrices of the subnetworks, respectively, to match those of the entire network. Here, we discover the ubiquitous property that we call the Finest Decomposition Coarsening (FDC), where the finest independent decomposition (FID) is a coarsening of the finest incidence-independent decomposition (FIID). To support the analysis of this property, we introduce a MATLAB package designed to compute both these decompositions. We then characterize the FDC property and its relationship to structural factors such as the invertibility of the molecularity matrix. We also introduce and characterize the Finest Decompositions Equality (FDE) property, where FIID equals FID. Notably, we show that all deficiency zero networks exhibit the FDE property. Furthermore, we establish important relationships of the FID and FIID with decomposition of the network into its connected components. Our results highlight the prevalence of the coarsening property in reaction networks and deepens the understanding of the algebraic structure and dynamics of biochemical networks.
△ Less
Submitted 4 December, 2024;
originally announced December 2024.
On commutators of unipotent matrices of index 2
Authors:
Kennett L. Dela Rosa,
Juan Paolo C. Santos
Abstract:
A commutator of unipotent matrices of index 2 is a matrix of the form $XYX^{-1}Y^{-1}$, where $X$ and $Y$ are unipotent matrices of index 2, that is, $X\ne I_n$, $Y\ne I_n$, and $(X-I_n)^2=(Y-I_n)^2=0_n$. If $n>2$ and $\mathbb F$ is a field with $|\mathbb F|\geq 4$, then it is shown that every $n\times n$ matrix over $\mathbb F$ with determinant 1 is a product of at most four commutators of unipot…
▽ More
A commutator of unipotent matrices of index 2 is a matrix of the form $XYX^{-1}Y^{-1}$, where $X$ and $Y$ are unipotent matrices of index 2, that is, $X\ne I_n$, $Y\ne I_n$, and $(X-I_n)^2=(Y-I_n)^2=0_n$. If $n>2$ and $\mathbb F$ is a field with $|\mathbb F|\geq 4$, then it is shown that every $n\times n$ matrix over $\mathbb F$ with determinant 1 is a product of at most four commutators of unipotent matrices of index 2. Consequently, every $n\times n$ matrix over $\mathbb F$ with determinant 1 is a product of at most eight unipotent matrices of index 2. Conditions on $\mathbb F$ are given that improve the upper bound on the commutator factors from four to three or two. The situation for $n=2$ is also considered. This study reveals a connection between factorability into commutators of unipotent matrices and properties of $\mathbb F$ such as its characteristic or its set of perfect squares.
△ Less
Submitted 20 September, 2024;
originally announced September 2024.
