-
Reductions of discrete Bayesian networks via lum**
Authors:
Linard Hoessly
Abstract:
Bayesian networks are widely utilised in various fields, offering elegant representations of factorisations and causal relationships. We use surjective functions to reduce the dimensionality of the Bayesian networks by combining states and study the preservation of their factorisation structure. We introduce and define corresponding notions, analyse their properties, and provide examples of highly…
▽ More
Bayesian networks are widely utilised in various fields, offering elegant representations of factorisations and causal relationships. We use surjective functions to reduce the dimensionality of the Bayesian networks by combining states and study the preservation of their factorisation structure. We introduce and define corresponding notions, analyse their properties, and provide examples of highly symmetric special cases, enhancing the understanding of the fundamental properties of such reductions for Bayesian networks. We also discuss the connection between this and reductions of homogeneous and non-homogeneous Markov chains.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Asymptotic analysis for stationary distributions of scaled reaction networks
Authors:
Linard Hoessly,
Carsten Wiuf,
Panqiu Xia
Abstract:
We study stationary distributions in the context of stochastic reaction networks. In particular, we are interested in complex balanced reaction networks and reduction of such networks by assuming a set of species (called non-interacting species) are degraded fast (and therefore essentially absent in the network), implying some reaction rates are large compared to others. Technically, we assume the…
▽ More
We study stationary distributions in the context of stochastic reaction networks. In particular, we are interested in complex balanced reaction networks and reduction of such networks by assuming a set of species (called non-interacting species) are degraded fast (and therefore essentially absent in the network), implying some reaction rates are large compared to others. Technically, we assume these reaction rates are scaled by a common parameter $N$ and let $N\to\infty$. The limiting stationary distribution as $N\to\infty$ is compared to the stationary distribution of the reduced reaction network obtained by algebraic elimination of the non-interacting species. In general, the limiting stationary distribution might differ from the stationary distribution of the reduced reaction network. We identify various sufficient conditions for when these two distributions are the same, including when the reaction network is detailed balanced and when the set of non-interacting species consists of intermediate species. In the latter case, the limiting stationary distribution essentially retains the form of the complex balanced distribution. This finding is particularly surprising given that the reduced reaction network might be non-weakly reversible and exhibit unconventional kinetics.
△ Less
Submitted 3 February, 2024;
originally announced February 2024.
-
Complex balanced distributions for chemical reaction networks
Authors:
Linard Hoessly,
Carsten Wiuf,
Panqiu Xia
Abstract:
Stationary distributions of continuous time Markov chains (CTMCs) are often a main interest, but hard to find. We consider CTMCs modelling reaction networks, and characterise complex balanced distributions (provided they exist) of reaction networks with arbitrary transition functions through conditions on the cycles of their corresponding digraph. The proof works by constructing a dynamically equi…
▽ More
Stationary distributions of continuous time Markov chains (CTMCs) are often a main interest, but hard to find. We consider CTMCs modelling reaction networks, and characterise complex balanced distributions (provided they exist) of reaction networks with arbitrary transition functions through conditions on the cycles of their corresponding digraph. The proof works by constructing a dynamically equivalent reaction network of disjoint cycles. We further derive a sufficient condition for the existence of a complex balanced distribution, and give precise conditions on when it is necessary. The sufficient condition holds for mass-action kinetics or if the digraph consists of only cyclic connected components. Hence, we fully characterise the existence and form of complex balanced distributions. Moreover, these results can be used to design complex balanced reaction networks with a given stationary distribution.
△ Less
Submitted 10 January, 2023;
originally announced January 2023.
-
Fast reactions with non-interacting species in stochastic reaction networks
Authors:
Linard Hoessly,
Carsten Wiuf
Abstract:
We consider stochastic reaction networks modeled by continuous-time Markov chains. Such reaction networks often contain many reactions, potentially occurring at different time scales, and have unknown parameters (kinetic rates, total amounts). This makes their analysis complex. We examine stochastic reaction networks with non-interacting species that often appear in examples of interest (e.g. in t…
▽ More
We consider stochastic reaction networks modeled by continuous-time Markov chains. Such reaction networks often contain many reactions, potentially occurring at different time scales, and have unknown parameters (kinetic rates, total amounts). This makes their analysis complex. We examine stochastic reaction networks with non-interacting species that often appear in examples of interest (e.g. in the two-substrate Michaelis Menten mechanism). Non-interacting species typically appear as intermediate (or transient) chemical complexes that are depleted at a fast rate. We embed the Markov process of the reaction network into a one-parameter family under a two time-scale approach, such that molecules of non-interacting species are degraded fast. We derive simplified reaction networks where the non-interacting species are eliminated and that approximate the scaled Markov process in the limit as the parameter becomes small. Then, we derive sufficient conditions for such reductions based on the reaction network structure for both homogeneous and time-varying stochastic settings, and study examples and properties of the reduction.
△ Less
Submitted 25 October, 2021;
originally announced October 2021.
-
On the sum of chemical reactions
Authors:
Linard Hoessly,
Carsten Wiuf,
Panqiu Xia
Abstract:
It is standard in chemistry to represent a sequence of reactions by a single overall reaction, often called a complex reaction in contrast to an elementary reaction. Photosynthesis $6 \text{CO}_2+6 \text{H}_2\text{O} \to \ \text{C}_6\text{H}_{12}\text{O}_6$ $+\ 6 \text{O}_2$ is an example of such complex reaction. We introduce a mathematical operation that corresponds to summing two chemical react…
▽ More
It is standard in chemistry to represent a sequence of reactions by a single overall reaction, often called a complex reaction in contrast to an elementary reaction. Photosynthesis $6 \text{CO}_2+6 \text{H}_2\text{O} \to \ \text{C}_6\text{H}_{12}\text{O}_6$ $+\ 6 \text{O}_2$ is an example of such complex reaction. We introduce a mathematical operation that corresponds to summing two chemical reactions. Specifically, we define an associative and non-communicative operation on the product space $\mathbb{N}_0^n\times \mathbb{N}_0^n$ (representing the reactant and the product of a chemical reaction, respectively). The operation models the overall effect of two reactions happening in succession, one after the other. We study the algebraic properties of the operation and apply the results to stochastic reaction networks, in particular to reachability of states, and to reduction of reaction networks.
△ Less
Submitted 25 March, 2022; v1 submitted 10 May, 2021;
originally announced May 2021.
-
Monitoring and Forecasting COVID-19: Statistical Heuristic Regression, Susceptible-Infected-Removed model and, Spatial Stochastics
Authors:
Pedro L. de Andres,
Lucia de Andres-Bragado,
Linard D. Hoessly
Abstract:
The COVID-19 pandemic has had worldwide devastating effects on human lives, highlighting the need for tools to predict its development. Dynamics of such public-health threats can often be efficiently analysed through simple models that help to make quantitative timely policy decisions. We benchmark a minimal version of a Susceptible-Infected-Removed model for infectious diseases (SIR) coupled with…
▽ More
The COVID-19 pandemic has had worldwide devastating effects on human lives, highlighting the need for tools to predict its development. Dynamics of such public-health threats can often be efficiently analysed through simple models that help to make quantitative timely policy decisions. We benchmark a minimal version of a Susceptible-Infected-Removed model for infectious diseases (SIR) coupled with a simple least-squares Statistical Heuristic Regression (SHR) based on a lognormal distribution. We derived the three free parameters for both models in several cases and tested them against the amount of data needed to bring accuracy in predictions. The SHR model is approximately +/- 2% accurate about 20 days past the second inflexion point in the daily curve of cases, while the SIR model reaches a similar accuracy a fortnight before. All the analyzed cases assert the utility of SHR and SIR approximants as a useful tool to forecast the evolution of the disease. Finally, we have studied simulated stochastic individual-based SIR dynamics, which yields a detailed spatial and temporal view of the disease that cannot be given by SIR or SHR methods.
△ Less
Submitted 3 June, 2021; v1 submitted 26 January, 2021;
originally announced January 2021.
-
An algebraic approach to product-form stationary distributions for some reaction networks
Authors:
Beatriz Pascual-Escudero,
Linard Hoessly
Abstract:
Exact results for product-form stationary distributions of Markov chains are of interest in different fields. In stochastic reaction networks (CRNs), stationary distributions are mostly known in special cases where they are of product-form. However, there is no full characterization of the classes of networks whose stationary distributions have product-form. We develop an algebraic approach to pro…
▽ More
Exact results for product-form stationary distributions of Markov chains are of interest in different fields. In stochastic reaction networks (CRNs), stationary distributions are mostly known in special cases where they are of product-form. However, there is no full characterization of the classes of networks whose stationary distributions have product-form. We develop an algebraic approach to product-form stationary distributions in the framework of CRNs. Under certain hypotheses on linearity and decomposition of the state space for conservative ergodic CRNs, this gives sufficient and necessary algebraic conditions for product-form stationary distributions. Correspondingly we obtain a semialgebraic subset of the parameter space that captures rates where, under the corresponding hypotheses, CRNs have product-form. We employ the developed theory to CRNs and some models of statistical mechanics, besides sketching the pertinence in other models from applied probability.
△ Less
Submitted 6 December, 2021; v1 submitted 6 December, 2020;
originally announced December 2020.
-
Stationary distributions via decomposition of stochastic reaction networks
Authors:
Linard Hoessly
Abstract:
We examine reaction networks (CRNs) through their associated continuous-time Markov processes. Studying the dynamics of such networks is in general hard, both analytically and by simulation. In particular, stationary distributions of stochastic reaction networks are only known in some cases. We analyze class properties of the underlying continuous-time Markov chain of CRNs under the operation of j…
▽ More
We examine reaction networks (CRNs) through their associated continuous-time Markov processes. Studying the dynamics of such networks is in general hard, both analytically and by simulation. In particular, stationary distributions of stochastic reaction networks are only known in some cases. We analyze class properties of the underlying continuous-time Markov chain of CRNs under the operation of join and examine conditions such that the form of the stationary distributions of a CRN is derived from the parts of the decomposed CRNs. The conditions can be easily checked in examples and allow recursive application. The theory developed enables sequential decomposition of the Markov processes and calculations of stationary distributions. Since the class of processes expressible through such networks is big and only few assumptions are made, the principle also applies to other stochastic models. We give examples of interest from CRN theory to highlight the decomposition.
△ Less
Submitted 14 January, 2021; v1 submitted 7 October, 2019;
originally announced October 2019.
-
Impossibility results on stability of phylogenetic consensus methods
Authors:
Emanuele Delucchi,
Linard Hoessly,
Giovanni Paolini
Abstract:
We answer two questions raised by Bryant, Francis and Steel in their work on consensus methods in phylogenetics. Consensus methods apply to every practical instance where it is desired to aggregate a set of given phylogenetic trees (say, gene evolution trees) into a resulting, "consensus" tree (say, a species tree). Various stability criteria have been explored in this context, seeking to model de…
▽ More
We answer two questions raised by Bryant, Francis and Steel in their work on consensus methods in phylogenetics. Consensus methods apply to every practical instance where it is desired to aggregate a set of given phylogenetic trees (say, gene evolution trees) into a resulting, "consensus" tree (say, a species tree). Various stability criteria have been explored in this context, seeking to model desirable consistency properties of consensus methods as the experimental data are updated (e.g., more taxa, or more trees, are mapped). However, such stability conditions can be incompatible with some basic regularity properties that are widely accepted to be essential in any meaningful consensus method. Here, we prove that such an incompatibility does arise in the case of extension stability on binary trees and in the case of associative stability. Our methods combine general theoretical considerations with the use of computer programs tailored to the given stability requirements.
△ Less
Submitted 13 November, 2023; v1 submitted 8 October, 2018;
originally announced October 2018.
-
Stationary distributions and condensation in autocatalytic CRN
Authors:
Linard Hoessly,
Christian Mazza
Abstract:
We investigate a broad family of non weakly reversible stochastically modeled reaction networks (CRN), by looking at their steady-state distributions. Most known results on stationary distributions assume weak reversibility and zero deficiency. We first give explicitly product-form steady-state distributions for a class of non weakly reversible autocatalytic CRN of arbitrary deficiency. Examples o…
▽ More
We investigate a broad family of non weakly reversible stochastically modeled reaction networks (CRN), by looking at their steady-state distributions. Most known results on stationary distributions assume weak reversibility and zero deficiency. We first give explicitly product-form steady-state distributions for a class of non weakly reversible autocatalytic CRN of arbitrary deficiency. Examples of interest in statistical mechanics (inclusion process), life sciences and robotics (collective decision making in ant and robot swarms) are provided. The product-form nature of the steady-state then enables the study of condensation in particle systems that are generalizations of the inclusion process.
△ Less
Submitted 21 June, 2019; v1 submitted 19 September, 2018;
originally announced September 2018.
-
Mean field repulsive Kuramoto models: Phase locking and spatial signs
Authors:
Corina Ciobotaru,
Linard Hoessly,
Christian Mazza,
Xavier Richard
Abstract:
The phenomenon of self-synchronization in populations of oscillatory units appears naturally in neurosciences. However, in some situations, the formation of a coherent state is damaging. In this article we study a repulsive mean-field Kuramoto model that describes the time evolution of n points on the unit circle, which are transformed into incoherent phase-locked states. It has been recently show…
▽ More
The phenomenon of self-synchronization in populations of oscillatory units appears naturally in neurosciences. However, in some situations, the formation of a coherent state is damaging. In this article we study a repulsive mean-field Kuramoto model that describes the time evolution of n points on the unit circle, which are transformed into incoherent phase-locked states. It has been recently shown that such systems can be reduced to a three-dimensional system of ordinary differential equations, whose mathematical structure is strongly related to hyperbolic geometry. The orbits of the Kuramoto dynamical system are then described by a ow of Möbius transformations. We show this underlying dynamic performs statistical inference by computing dynamically M-estimates of scatter matrices. We also describe the limiting phase-locked states for random initial conditions using Tyler's transformation matrix. Moreover, we show the repulsive Kuramoto model performs dynamically not only robust covariance matrix estimation, but also data processing: the initial configuration of the n points is transformed by the dynamic into a limiting phase-locked state that surprisingly equals the spatial signs from nonparametric statistics. That makes the sign empirical covariance matrix to equal 1 2 id2, the variance-covariance matrix of a random vector that is uniformly distributed on the unit circle.
△ Less
Submitted 7 March, 2018;
originally announced March 2018.
-
Fundamental polytopes of metric trees via parallel connections of matroids
Authors:
Emanuele Delucchi,
Linard Hoessly
Abstract:
We tackle the problem of a combinatorial classification of finite metric spaces via their fundamental polytopes, as suggested by Vershik in 2010. In this paper we consider a hyperplane arrangement associated to every split pseudometric and, for tree-like metrics, we study the combinatorics of its underlying matroid. We give explicit formulas for the face numbers of fundamental polytopes and Lipsch…
▽ More
We tackle the problem of a combinatorial classification of finite metric spaces via their fundamental polytopes, as suggested by Vershik in 2010. In this paper we consider a hyperplane arrangement associated to every split pseudometric and, for tree-like metrics, we study the combinatorics of its underlying matroid. We give explicit formulas for the face numbers of fundamental polytopes and Lipschitz polytopes of all tree-like metrics, and we characterize the metric trees for which the fundamental polytope is simplicial.
△ Less
Submitted 1 April, 2019; v1 submitted 16 December, 2016;
originally announced December 2016.
-
Realization spaces of matroids over hyperfields
Authors:
Emanuele Delucchi,
Linard Hoessly,
Elia Saini
Abstract:
We study realization spaces of matroids over hyperfields (in the sense of Baker and Bowler). More precisely, given a matroid M and a hyperfield H we determine the space of all H-matroids over M. This can be seen as the matroid stratum of the hyperfield Grassmannians in the sense of Anderson and Davis. We give different descriptions of these realization spaces (e.g., in terms of Tutte groups or pro…
▽ More
We study realization spaces of matroids over hyperfields (in the sense of Baker and Bowler). More precisely, given a matroid M and a hyperfield H we determine the space of all H-matroids over M. This can be seen as the matroid stratum of the hyperfield Grassmannians in the sense of Anderson and Davis. We give different descriptions of these realization spaces (e.g., in terms of Tutte groups or projective classes), allowing for explicit computations. When the hyperfield at hand is topological, the realization spaces have a natural topology. In this case, our models carry the correct homeomorphism type. As applications of our methods we obtain a theorem on the existence of phased matroids that are not realizable over the complex field and are not chirotopal, as well as a result on the diffeomorphism type of complex hyperplane arrangements whose underlying matroid is uniform.
△ Less
Submitted 14 January, 2020; v1 submitted 27 April, 2015;
originally announced April 2015.
