Table of Contents
Fetching ...

Filtered Markovian Projection: Dimensionality Reduction in Filtering for Stochastic Reaction Networks

Chiheb Ben Hammouda, Maksim Chupin, Sophia Münker, Raúl Tempone

TL;DR

The paper addresses the curse of dimensionality in filtering partially observed SRNs by introducing Filtered Markovian Projection (FMP), a principled framework that reduces the effective state dimension while preserving the targeted marginal conditional distributions. It presents two MP-based filters: the Unconditional MP (UMP), which is simple but can be inconsistent for filtering, and the Consistent Conditional MP (CMP), which enforces consistency with the observed trajectory via a new FMP theorem. CMP combines a particle filter to estimate projected propensities with a reduced-dimension FFSP for the marginal filtering equations, achieving significant computational gains (up to orders of magnitude) while maintaining accuracy in the marginal distributions. Theoretical results establish consistency and an $O(M^{-1/2})$ convergence rate with respect to the number of particles, and numerical examples (e.g., bistable gene networks and linear cascades) demonstrate substantial speedups and improved tail probability estimation relative to FFSP and standard PF. The work paves the way for scalable, consistent filtering in high-dimensional SRNs and related stochastic systems.

Abstract

Stochastic reaction networks (SRNs) model stochastic effects for various applications, including intracellular chemical or biological processes and epidemiology. A typical challenge in practical problems modeled by SRNs is that only a few state variables can be dynamically observed. Given the measurement trajectories, one can estimate the conditional probability distribution of unobserved (hidden) state variables by solving a stochastic filtering problem. In this setting, the conditional distribution evolves over time according to an extensive or potentially infinite-dimensional system of coupled ordinary differential equations with jumps, known as the filtering equation. The current numerical filtering techniques, such as the filtered finite state projection (D'Ambrosio et al., 2022), are hindered by the curse of dimensionality, significantly affecting their computational performance. To address these limitations, we propose to use a dimensionality reduction technique based on the Markovian projection (MP), initially introduced for forward problems (Ben Hammouda et al., 2024). In this work, we explore how to adapt the existing MP approach to the filtering problem and introduce a novel version of the MP, the Filtered MP, that guarantees the consistency of the resulting estimator. The novel consistent MP filter employs a reduced-variance particle filter for estimating the jump intensities of the projected model and solves the filtering equations in a low-dimensional space. The analysis and empirical results highlight the superior computational efficiency of projection methods compared to the existing filtered finite state projection in the large dimensional setting.

Filtered Markovian Projection: Dimensionality Reduction in Filtering for Stochastic Reaction Networks

TL;DR

The paper addresses the curse of dimensionality in filtering partially observed SRNs by introducing Filtered Markovian Projection (FMP), a principled framework that reduces the effective state dimension while preserving the targeted marginal conditional distributions. It presents two MP-based filters: the Unconditional MP (UMP), which is simple but can be inconsistent for filtering, and the Consistent Conditional MP (CMP), which enforces consistency with the observed trajectory via a new FMP theorem. CMP combines a particle filter to estimate projected propensities with a reduced-dimension FFSP for the marginal filtering equations, achieving significant computational gains (up to orders of magnitude) while maintaining accuracy in the marginal distributions. Theoretical results establish consistency and an convergence rate with respect to the number of particles, and numerical examples (e.g., bistable gene networks and linear cascades) demonstrate substantial speedups and improved tail probability estimation relative to FFSP and standard PF. The work paves the way for scalable, consistent filtering in high-dimensional SRNs and related stochastic systems.

Abstract

Stochastic reaction networks (SRNs) model stochastic effects for various applications, including intracellular chemical or biological processes and epidemiology. A typical challenge in practical problems modeled by SRNs is that only a few state variables can be dynamically observed. Given the measurement trajectories, one can estimate the conditional probability distribution of unobserved (hidden) state variables by solving a stochastic filtering problem. In this setting, the conditional distribution evolves over time according to an extensive or potentially infinite-dimensional system of coupled ordinary differential equations with jumps, known as the filtering equation. The current numerical filtering techniques, such as the filtered finite state projection (D'Ambrosio et al., 2022), are hindered by the curse of dimensionality, significantly affecting their computational performance. To address these limitations, we propose to use a dimensionality reduction technique based on the Markovian projection (MP), initially introduced for forward problems (Ben Hammouda et al., 2024). In this work, we explore how to adapt the existing MP approach to the filtering problem and introduce a novel version of the MP, the Filtered MP, that guarantees the consistency of the resulting estimator. The novel consistent MP filter employs a reduced-variance particle filter for estimating the jump intensities of the projected model and solves the filtering equations in a low-dimensional space. The analysis and empirical results highlight the superior computational efficiency of projection methods compared to the existing filtered finite state projection in the large dimensional setting.

Paper Structure

This paper contains 17 sections, 4 theorems, 75 equations, 8 figures, 3 tables, 2 algorithms.

Key Result

Theorem 2.1

Let $\boldsymbol{Z}(t) = $ be a non-explosive (i.e., satisfying eq:non_expl_cond) SRN with initial distribution $\mu$. A $d'$-dimensional stochastic process $\overline{\boldsymbol{Z}}'$ via independent Poisson processes $\overline{R}_1, \dots, \overline{R}_J$ is defined as follows: with and $\overline{\boldsymbol{Z}}'(0) \overset{d}{=} \boldsymbol{Z}'(0)$. The symbol $\overset{d}{=}$ denotes the

Figures (8)

  • Figure 1: A graphical illustration of the proposed projection methods for the filtering problem. Instead of solving a full $d$-dimensional system of filtering equations, MP methods approximate the SRN dynamics by another SRN of lower dimensionality $d' \ll d$, allowing to work with significantly smaller system of filtering equations.
  • Figure 2: Reaction diagram of the bistable gene expression network (Section \ref{['subsec:bistable_gene']}).
  • Figure 3: Numerical results for the bistable gene expression network (Section \ref{['subsec:bistable_gene']}). The projection filters reduce the dimensionality of the hidden process from $6$ to $1$. (a): Observed trajectory of $\text{protein}_1$ and $\text{protein}_2$. (b): Hidden trajectory of $\text{mRNA}_2$ and the corresponding estimates of its conditional expectation obtained with UMP and CMP filters and the FFSP method for reference. (c)--(d): Conditional distribution of $\text{mRNA}_2$ at time $t = 1$ and $t = 4.5$ obtained with the UMP and CMP filters and the FFSP method for reference. The UMP has a larger error compared to the CMP filter, which agrees with our theoretical results.
  • Figure 4: Reaction diagram of the bistable gene expression network (Section \ref{['subsec:linear_cascade']}).
  • Figure 5: Numerical results for the linear cascade model (Section \ref{['subsec:linear_cascade']}) with $d=5$ species. (a): Observed trajectory of $Z_d$. (b): Hidden trajectory of $Z_1$ and the corresponding estimates of its conditional expectation obtained with the UMP filter, CMP filter, and the FFSP method for reference.
  • ...and 3 more figures

Theorems & Definitions (12)

  • Theorem 2.1: Markovian projection for SRN
  • proof
  • Theorem 3.1: FMP for SRN
  • proof
  • Remark 3.2
  • Theorem 3.3: Sensitivity of the filtering problem for SRN
  • proof
  • Corollary 3.4: Projection error in the MP filter
  • Remark 3.5
  • proof
  • ...and 2 more