-
WGTDA: A Topological Perspective to Biomarker Discovery in Gene Expression Data
Authors:
Ndivhuwo Nyase,
Lebohang Mashatola,
Aviwe Kohlakala,
Kahn Rhrissorrakrai,
Stephanie Muller
Abstract:
Advancing the discovery of prognostic cancer biomarkers is crucial for comprehending disease mechanisms, refining treatment plans, and improving patient outcomes. This study introduces Weighted Gene Topological Data Analysis (WGTDA), an innovative framework utilizing topological principles to identify gene interactions and distinctive biomarker features. WGTDA undergoes evaluation against Weighted…
▽ More
Advancing the discovery of prognostic cancer biomarkers is crucial for comprehending disease mechanisms, refining treatment plans, and improving patient outcomes. This study introduces Weighted Gene Topological Data Analysis (WGTDA), an innovative framework utilizing topological principles to identify gene interactions and distinctive biomarker features. WGTDA undergoes evaluation against Weighted Gene Co-expression Network Analysis (WGCNA), underscoring that topology-based biomarkers offer more reliable predictors of survival probability than WGCNA's hub genes. Furthermore, WGTDA identifies gene signatures that are significant to survival probability, irrespective of whether the expression is above or below the median. WGTDA provides a new perspective on biomarker discovery, uncovering intricate gene-to-gene relationships often overlooked by conventional correlation-based analyses, emphasizing the potential advantage of leveraging topological concepts to extract crucial information about gene-gene interactions.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
Most discriminative stimuli for functional cell type clustering
Authors:
Max F. Burg,
Thomas Zenkel,
Michaela Vystrčilová,
Jonathan Oesterle,
Larissa Höfling,
Konstantin F. Willeke,
Jan Lause,
Sarah Müller,
Paul G. Fahey,
Zhiwei Ding,
Kelli Restivo,
Shashwat Sridhar,
Tim Gollisch,
Philipp Berens,
Andreas S. Tolias,
Thomas Euler,
Matthias Bethge,
Alexander S. Ecker
Abstract:
Identifying cell types and understanding their functional properties is crucial for unraveling the mechanisms underlying perception and cognition. In the retina, functional types can be identified by carefully selected stimuli, but this requires expert domain knowledge and biases the procedure towards previously known cell types. In the visual cortex, it is still unknown what functional types exis…
▽ More
Identifying cell types and understanding their functional properties is crucial for unraveling the mechanisms underlying perception and cognition. In the retina, functional types can be identified by carefully selected stimuli, but this requires expert domain knowledge and biases the procedure towards previously known cell types. In the visual cortex, it is still unknown what functional types exist and how to identify them. Thus, for unbiased identification of the functional cell types in retina and visual cortex, new approaches are needed. Here we propose an optimization-based clustering approach using deep predictive models to obtain functional clusters of neurons using Most Discriminative Stimuli (MDS). Our approach alternates between stimulus optimization with cluster reassignment akin to an expectation-maximization algorithm. The algorithm recovers functional clusters in mouse retina, marmoset retina and macaque visual area V4. This demonstrates that our approach can successfully find discriminative stimuli across species, stages of the visual system and recording techniques. The resulting most discriminative stimuli can be used to assign functional cell types fast and on the fly, without the need to train complex predictive models or show a large natural scene dataset, paving the way for experiments that were previously limited by experimental time. Crucially, MDS are interpretable: they visualize the distinctive stimulus patterns that most unambiguously identify a specific type of neuron.
△ Less
Submitted 14 March, 2024; v1 submitted 29 November, 2023;
originally announced January 2024.
-
A parallelized cellular Potts model that enables simulations at tissue scale
Authors:
Shabaz Sultan,
Sapna Devi,
Scott N. Mueller,
Johannes Textor
Abstract:
The Cellular Potts Model (CPM) is a widely used simulation paradigm for systems of interacting cells that has been used to study scenarios ranging from plant development to morphogenesis, tumour growth and cell migration. Despite their wide use, CPM simulations are considered too computationally intensive for three-dimensional (3D) models at organ scale. CPMs have been difficult to parallelise bec…
▽ More
The Cellular Potts Model (CPM) is a widely used simulation paradigm for systems of interacting cells that has been used to study scenarios ranging from plant development to morphogenesis, tumour growth and cell migration. Despite their wide use, CPM simulations are considered too computationally intensive for three-dimensional (3D) models at organ scale. CPMs have been difficult to parallelise because of their inherently sequential update scheme. Here, we present a Graphical Processing Unit (GPU)-based parallelisation scheme that preserves local update statistics and is up to 3-4 orders of magnitude faster than serial implementations. We show several examples where our scheme preserves simulation behaviors that are drastically altered by existing parallelisation methods. We use our framework to construct tissue-scale models of liver and lymph node environments containing millions of cells that are directly based on microscopy-imaged tissue structures. Thus, our GPU-based CPM framework enables in silico studies of multicellular systems of unprecedented scale.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
Every atom-atom map can be explained by electron pushing diagrams
Authors:
Christoph Flamm,
Stefan Müller,
Peter F. Stadler
Abstract:
Chemical reactions can be understood as transformations of multigraphs (molecules) that preserve vertex labels (atoms) and degrees (sums of bonding and non-bonding electrons), thereby implying the atom-atom map of a reaction. The corresponding reaction mechanism is often described by an electron pushing diagram that explains the transformation by consecutive local relocations of invidudal edges (e…
▽ More
Chemical reactions can be understood as transformations of multigraphs (molecules) that preserve vertex labels (atoms) and degrees (sums of bonding and non-bonding electrons), thereby implying the atom-atom map of a reaction. The corresponding reaction mechanism is often described by an electron pushing diagram that explains the transformation by consecutive local relocations of invidudal edges (electron pairs). Here, we show that every degree-preserving map between multigraphs, and thus every atom-atom map, can be generated by cyclic electron pushing. Moreover, it is always possible to decompose such an explanation into electron pushing diagrams involving only four electron pairs. This in turn implies that every reaction can be decomposed into a sequence of elementary reactions that involve at most two educt molecules and two product molecules. Hence, the requirement of a mechanistic explantion in terms of electron pushing and small imaginary transition states does not impose a combinatorial constraint on the feasibility of hypothetical chemical reactions.
△ Less
Submitted 22 November, 2023;
originally announced November 2023.
-
Parametrized systems of polynomial inequalitites with real exponents via linear algebra and convex geometry
Authors:
Stefan Müller,
Georg Regensburger
Abstract:
We consider parametrized systems of generalized polynomial inequalities (with real exponents) in $n$ positive variables $x$ and involving $m$ monomial terms $c \circ x^B$ (with exponent matrix $B$, positive parameters $c$, and component-wise product $\circ$). More generally, we study solutions $x \in \mathbb{R}^n_>$ to $(c \circ x^B) \in C$ for a "coefficient cone" $C \subseteq \mathbb{R}^m_>$. Ou…
▽ More
We consider parametrized systems of generalized polynomial inequalities (with real exponents) in $n$ positive variables $x$ and involving $m$ monomial terms $c \circ x^B$ (with exponent matrix $B$, positive parameters $c$, and component-wise product $\circ$). More generally, we study solutions $x \in \mathbb{R}^n_>$ to $(c \circ x^B) \in C$ for a "coefficient cone" $C \subseteq \mathbb{R}^m_>$. Our framework encompasses systems of generalized polynomial equations, as studied in real fewnomial and reaction network theory.
We identify the relevant geometric objects of the problem, namely a bounded set $P$ arising from the coefficient cone and two subspaces representing monomial differences and dependencies. The dimension of the latter subspace (the monomial dependency $d$) is crucial.
As our main result, we rewrite the problem in terms of $d$ binomial conditions on the "coefficient set" $P$, involving $d$ monomials in the parameters. In particular, we obtain a classification of polynomial inequality systems. If $d=0$, solutions exist (for all $c$) and can be parametrized explicitly, thereby generalizing monomial parametrizations (of the solutions). Even if $d>0$, solutions on the coefficient set can often be determined more easily than solutions of the original system.
Our framework allows a unified treatment of multivariate polynomial inequalities, based on linear algebra and convex geometry. We demonstrate its novelty and relevance in three examples from real fewnomial and reaction network theory. For two mass-action systems, we parametrize the set of equilibria and the region for multistationarity, respectively, and for univariate trinomials, we provide a "solution formula" involving discriminants and "roots".
△ Less
Submitted 19 October, 2023; v1 submitted 24 June, 2023;
originally announced June 2023.
-
Sufficient conditions for linear stability of complex-balanced equilibria in generalized mass-action systems
Authors:
Stefan Müller,
Georg Regensburger
Abstract:
Generalized mass-action systems are power-law dynamical systems arising from chemical reaction networks. Essentially, every nonnegative ODE model used in chemistry and biology (for example, in ecology and epidemiology) and even in economics and engineering can be written in this form. Previous results have focused on existence and uniqueness of special steady states (complex-balanced equilibria) f…
▽ More
Generalized mass-action systems are power-law dynamical systems arising from chemical reaction networks. Essentially, every nonnegative ODE model used in chemistry and biology (for example, in ecology and epidemiology) and even in economics and engineering can be written in this form. Previous results have focused on existence and uniqueness of special steady states (complex-balanced equilibria) for all rate constants, thereby ruling out multiple (special) steady states. Recently, necessary conditions for linear stability have been obtained.
In this work, we provide sufficient conditions for the linear stability of complex-balanced equilibria for all rate constants (and also for the non-existence of other steady states). In particular, via sign-vector conditions (on the stoichiometric coefficients and kinetic orders), we guarantee that the Jacobian matrix is a $P$-matrix. Technically, we use a new decomposition of the graph Laplacian which allows to consider orders of (generalized) monomials. Alternatively, we use cycle decomposition which allows a linear parametrization of all Jacobian matrices. In any case, we guarantee stability without explicit computation of steady states. We illustrate our results in examples from chemistry and biology: generalized Lotka-Volterra systems and SIR models, a two-component signaling system, and an enzymatic futile cycle.
△ Less
Submitted 20 November, 2023; v1 submitted 21 December, 2022;
originally announced December 2022.
-
What makes a reaction network "chemical"?
Authors:
Stefan Müller,
Christoph Flamm,
Peter F. Stadler
Abstract:
Reaction networks (RNs) comprise a set $X$ of species and a set $\mathscr{R}$ of reactions $Y\to Y'$, each converting a multiset of educts $Y\subseteq X$ into a multiset $Y'\subseteq X$ of products. RNs are equivalent to directed hypergraphs. However, not all RNs necessarily admit a chemical interpretation. Instead, they might contradict fundamental principles of physics such as the conservation o…
▽ More
Reaction networks (RNs) comprise a set $X$ of species and a set $\mathscr{R}$ of reactions $Y\to Y'$, each converting a multiset of educts $Y\subseteq X$ into a multiset $Y'\subseteq X$ of products. RNs are equivalent to directed hypergraphs. However, not all RNs necessarily admit a chemical interpretation. Instead, they might contradict fundamental principles of physics such as the conservation of energy and mass or the reversibility of chemical reactions. The consequences of these necessary conditions for the stoichiometric matrix $\mathbf{S} \in \mathbb{R}^{X\times\mathscr{R}}$ have been discussed extensively in the literature. Here, we provide sufficient conditions for $\mathbf{S}$ that guarantee the interpretation of RNs in terms of balanced sum formulas and structural formulas, respectively.
Chemically plausible RNs allow neither a perpetuum mobile, i.e., a "futile cycle" of reactions with non-vanishing energy production, nor the creation or annihilation of mass. Such RNs are said to be thermodynamically sound and conservative. For finite RNs, both conditions can be expressed equivalently as properties of $\mathbf{S}$. The first condition is vacuous for reversible networks, but it excludes irreversible futile cycles and - in a stricter sense - futile cycles that even contain an irreversible reaction. The second condition is equivalent to the existence of a strictly positive reaction invariant. Furthermore, it is sufficient for the existence of a realization in terms of sum formulas, obeying conservation of "atoms". In particular, these realizations can be chosen such that any two species have distinct sum formulas, unless $\mathbf{S}$ implies that they are "obligatory isomers". In terms of structural formulas, every compound is a labeled multigraph, in essence a Lewis formula, and reactions comprise only a rearrangement of bonds such that the total bond order is preserved.
△ Less
Submitted 5 January, 2022;
originally announced January 2022.
-
Nachhaltige Strategien gegen die COVID-19-Pandemie in Deutschland im Winter 2021/2022
Authors:
Viola Priesemann,
Eberhard Bodenschatz,
Sandra Ciesek,
Eva Grill,
Emil N. Iftekhar,
Christian Karagiannidis,
André Karch,
Mirjam Kretzschmar,
Berit Lange,
Sebastian A. Müller,
Kai Nagel,
Armin Nassehi,
Mathias W. Pletz,
Barbara Prainsack,
Ulrike Protzer,
Leif Erik Sander,
Andreas Schuppert,
Anita Schöbel,
Klaus Überla,
Carsten Watzl,
Hajo Zeeb
Abstract:
In this position paper, a large group of interdisciplinary experts outlines response strategies against the spread of SARS-CoV-2 in the winter of 2021/2022 in Germany. We review the current state of the COVID-19 pandemic, from incidence and vaccination efficacy to hospital capacity. Building on this situation assessment, we illustrate various possible scenarios for the winter, and detail the mecha…
▽ More
In this position paper, a large group of interdisciplinary experts outlines response strategies against the spread of SARS-CoV-2 in the winter of 2021/2022 in Germany. We review the current state of the COVID-19 pandemic, from incidence and vaccination efficacy to hospital capacity. Building on this situation assessment, we illustrate various possible scenarios for the winter, and detail the mechanisms and effectiveness of the non-pharmaceutical interventions, vaccination, and booster. With this assessment, we want to provide orientation for decision makers about the progress and mitigation of COVID-19.
△ Less
Submitted 10 November, 2021;
originally announced November 2021.
-
Detailed balance = complex balance + cycle balance. A graph-theoretic proof for reaction networks and Markov chains
Authors:
Stefan Müller,
Badal Joshi
Abstract:
We further clarify the relation between detailed-balanced and complex-balanced equilibria of reversible chemical reaction networks. Our results hold for arbitrary kinetics and also for boundary equilibria. Detailed balance, complex balance, "formal balance", and the new notion of "cycle balance" are all defined in terms of the underlying graph. This fact allows elementary graph-theoretic (non-alge…
▽ More
We further clarify the relation between detailed-balanced and complex-balanced equilibria of reversible chemical reaction networks. Our results hold for arbitrary kinetics and also for boundary equilibria. Detailed balance, complex balance, "formal balance", and the new notion of "cycle balance" are all defined in terms of the underlying graph. This fact allows elementary graph-theoretic (non-algebraic) proofs of a previous result (detailed balance = complex balance + formal balance), our main result (detailed balance = complex balance + cycle balance), and a corresponding result in the setting of continuous-time Markov chains.
△ Less
Submitted 28 September, 2020; v1 submitted 12 March, 2020;
originally announced March 2020.
-
Planar S-systems: Global stability and the center problem
Authors:
Balázs Boros,
Josef Hofbauer,
Stefan Müller,
Georg Regensburger
Abstract:
S-systems are simple examples of power-law dynamical systems (polynomial systems with real exponents). For planar S-systems, we study global stability of the unique positive equilibrium and solve the center problem. Further, we construct a planar S-system with two limit cycles.
S-systems are simple examples of power-law dynamical systems (polynomial systems with real exponents). For planar S-systems, we study global stability of the unique positive equilibrium and solve the center problem. Further, we construct a planar S-system with two limit cycles.
△ Less
Submitted 8 May, 2018; v1 submitted 7 July, 2017;
originally announced July 2017.
-
The center problem for the Lotka reactions with generalized mass-action kinetics
Authors:
Balázs Boros,
Josef Hofbauer,
Georg Regensburger,
Stefan Müller
Abstract:
Chemical reaction networks with generalized mass-action kinetics lead to power-law dynamical systems. As a simple example, we consider the Lotka reactions and the resulting planar ODE. We characterize the parameters (positive coefficients and real exponents) for which the unique positive equilibrium is a center.
Chemical reaction networks with generalized mass-action kinetics lead to power-law dynamical systems. As a simple example, we consider the Lotka reactions and the resulting planar ODE. We characterize the parameters (positive coefficients and real exponents) for which the unique positive equilibrium is a center.
△ Less
Submitted 2 February, 2017;
originally announced February 2017.
-
On global stability of the Lotka reactions with generalized mass-action kinetics
Authors:
Balázs Boros,
Josef Hofbauer,
Stefan Müller
Abstract:
Chemical reaction networks with generalized mass-action kinetics lead to power-law dynamical systems. As a simple example, we consider the Lotka reactions with two chemical species and arbitrary power-law kinetics. We study existence, uniqueness, and stability of the positive equilibrium, in particular, we characterize its global asymptotic stability in terms of the kinetic orders.
Chemical reaction networks with generalized mass-action kinetics lead to power-law dynamical systems. As a simple example, we consider the Lotka reactions with two chemical species and arbitrary power-law kinetics. We study existence, uniqueness, and stability of the positive equilibrium, in particular, we characterize its global asymptotic stability in terms of the kinetic orders.
△ Less
Submitted 17 November, 2016;
originally announced November 2016.
-
Elementary vectors and conformal sums in polyhedral geometry and their relevance for metabolic pathway analysis
Authors:
Stefan Müller,
Georg Regensburger
Abstract:
A fundamental result in metabolic pathway analysis states that every flux mode can be decomposed into a sum of elementary modes. However, only a decomposition without cancelations is biochemically meaningful, since a reversible reaction cannot have different directions in the contributing elementary modes. This essential requirement has been largely overlooked by the metabolic pathway community.…
▽ More
A fundamental result in metabolic pathway analysis states that every flux mode can be decomposed into a sum of elementary modes. However, only a decomposition without cancelations is biochemically meaningful, since a reversible reaction cannot have different directions in the contributing elementary modes. This essential requirement has been largely overlooked by the metabolic pathway community.
Indeed, every flux mode can be decomposed into elementary modes without cancelations. The result is an immediate consequence of a theorem by Rockafellar which states that every element of a linear subspace is a conformal sum (a sum without cancelations) of elementary vectors (support-minimal vectors). In this work, we extend the theorem, first to "subspace cones" and then to general polyhedral cones and polyhedra. Thereby, we refine Minkowski's and Carathéodory's theorems, two fundamental results in polyhedral geometry. We note that, in general, elementary vectors need not be support-minimal, in fact, they are conformally non-decomposable and form a unique minimal set of conformal generators.
Our treatment is mathematically rigorous, but suitable for systems biologists, since we give self-contained proofs for our results and use concepts motivated by metabolic pathway analysis. In particular, we study cones defined by linear subspaces and nonnegativity conditions - like the flux cone - and use them to analyze general polyhedral cones and polyhedra.
Finally, we review applications of elementary vectors and conformal sums in metabolic pathway analysis.
△ Less
Submitted 30 April, 2016; v1 submitted 1 December, 2015;
originally announced December 2015.
-
Genetic Recombination as a Chemical Reaction Network
Authors:
Stefan Müller,
Josef Hofbauer
Abstract:
The process of genetic recombination can be seen as a chemical reaction network with mass-action kinetics. We review the known results on existence, uniqueness, and global stability of an equilibrium in every compatibility class and for all rate constants, from both the population genetics and the reaction networks point of view.
The process of genetic recombination can be seen as a chemical reaction network with mass-action kinetics. We review the known results on existence, uniqueness, and global stability of an equilibrium in every compatibility class and for all rate constants, from both the population genetics and the reaction networks point of view.
△ Less
Submitted 3 March, 2015;
originally announced March 2015.
-
Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents
Authors:
Stefan Müller,
Georg Regensburger
Abstract:
Dynamical systems arising from chemical reaction networks with mass action kinetics are the subject of chemical reaction network theory (CRNT). In particular, this theory provides statements about uniqueness, existence, and stability of positive steady states for all rate constants and initial conditions. In terms of the corresponding polynomial equations, the results guarantee uniqueness and exis…
▽ More
Dynamical systems arising from chemical reaction networks with mass action kinetics are the subject of chemical reaction network theory (CRNT). In particular, this theory provides statements about uniqueness, existence, and stability of positive steady states for all rate constants and initial conditions. In terms of the corresponding polynomial equations, the results guarantee uniqueness and existence of positive solutions for all positive parameters.
We address a recent extension of CRNT, called generalized mass-action systems, where reaction rates are allowed to be power-laws in the concentrations. In particular, the (real) kinetic orders can differ from the (integer) stoichiometric coefficients. As with mass-action kinetics, complex balancing equilibria are determined by the graph Laplacian of the underlying network and can be characterized by binomial equations and parametrized by monomials. In algebraic terms, we focus on a constructive characterization of positive solutions of polynomial equations with real and symbolic exponents.
Uniqueness and existence for all rate constants and initial conditions additionally depend on sign vectors of the stoichiometric and kinetic-order subspaces. This leads to a generalization of Birch's theorem, which is robust with respect to certain perturbations in the exponents. In this context, we discuss the occurrence of multiple complex balancing equilibria. We illustrate our results by a running example and provide a MAPLE worksheet with implementations of all algorithmic methods.
△ Less
Submitted 25 June, 2014;
originally announced June 2014.
-
Enzyme allocation problems in kinetic metabolic networks: Optimal solutions are elementary flux modes
Authors:
Stefan Müller,
Georg Regensburger,
Ralf Steuer
Abstract:
The survival and proliferation of cells and organisms require a highly coordinated allocation of cellular resources to ensure the efficient synthesis of cellular components. In particular, the total enzymatic capacity for cellular metabolism is limited by finite resources that are shared between all enzymes, such as cytosolic space, energy expenditure for amino-acid synthesis, or micro-nutrients.…
▽ More
The survival and proliferation of cells and organisms require a highly coordinated allocation of cellular resources to ensure the efficient synthesis of cellular components. In particular, the total enzymatic capacity for cellular metabolism is limited by finite resources that are shared between all enzymes, such as cytosolic space, energy expenditure for amino-acid synthesis, or micro-nutrients. While extensive work has been done to study constrained optimization problems based only on stoichiometric information, mathematical results that characterize the optimal flux in kinetic metabolic networks are still scarce. Here, we study constrained enzyme allocation problems with general kinetics, using the theory of oriented matroids. We give a rigorous proof for the fact that optimal solutions of the non-linear optimization problem are elementary flux modes. This finding has significant consequences for our understanding of optimality in metabolic networks as well as for the identification of metabolic switches and the computation of optimal flux distributions in kinetic metabolic networks.
△ Less
Submitted 9 December, 2013; v1 submitted 2 August, 2013;
originally announced August 2013.
-
Generalized mass action systems: Complex balancing equilibria and sign vectors of the stoichiometric and kinetic-order subspaces
Authors:
Stefan Müller,
Georg Regensburger
Abstract:
Mass action systems capture chemical reaction networks in homogeneous and dilute solutions. We suggest a notion of generalized mass action systems that admits arbitrary nonnegative power-law rate functions and serves as a more realistic model for reaction networks in intracellular environments. In addition to the chemical complexes and the related stoichiometric subspace, we introduce correspondin…
▽ More
Mass action systems capture chemical reaction networks in homogeneous and dilute solutions. We suggest a notion of generalized mass action systems that admits arbitrary nonnegative power-law rate functions and serves as a more realistic model for reaction networks in intracellular environments. In addition to the chemical complexes and the related stoichiometric subspace, we introduce corresponding kinetic complexes, which represent the nonnegative exponents in the rate functions and determine the kinetic-order subspace. We show that several results of Chemical Reaction Network Theory carry over to the case of generalized mass action kinetics. Our main result essentially states that, if the sign vectors of the stoichiometric and the kinetic-order subspace coincide, there exists a unique positive complex balancing equilibrium in every stoichiometric compatibility class. However, in contrast to classical mass action systems, multiple complex balancing equilibria in one stoichiometric compatibility class are possible in general.
△ Less
Submitted 28 September, 2012;
originally announced September 2012.