Paper List
-
Nyxus: A Next Generation Image Feature Extraction Library for the Big Data and AI Era
This paper addresses the core pain point of efficiently extracting standardized, comparable features from massive (terabyte to petabyte-scale) biomedi...
-
Topological Enhancement of Protein Kinetic Stability
This work addresses the long-standing puzzle of why knotted proteins exist by demonstrating that deep knots provide a functional advantage through enh...
-
A Multi-Label Temporal Convolutional Framework for Transcription Factor Binding Characterization
This paper addresses the critical limitation of existing TF binding prediction methods that treat transcription factors as independent entities, faili...
-
Social Distancing Equilibria in Games under Conventional SI Dynamics
This paper solves the core problem of proving the existence and uniqueness of Nash equilibria in finite-duration SI epidemic games, showing they are a...
-
Binding Free Energies without Alchemy
This paper addresses the core bottleneck of computational expense in Absolute Binding Free Energy calculations by eliminating the need for numerous al...
-
SHREC: A Spectral Embedding-Based Approach for Ab-Initio Reconstruction of Helical Molecules
This paper addresses the core bottleneck in cryo-EM helical reconstruction: eliminating the dependency on accurate initial symmetry parameter estimati...
-
Budget-Sensitive Discovery Scoring: A Formally Verified Framework for Evaluating AI-Guided Scientific Selection
This paper addresses the critical gap in evaluating AI-guided scientific selection strategies under realistic budget constraints, where existing metri...
-
Probabilistic Joint and Individual Variation Explained (ProJIVE) for Data Integration
This paper addresses the core challenge of accurately decomposing shared (joint) and dataset-specific (individual) sources of variation in multi-modal...
Framing local structural identifiability and observability in terms of parameter-state symmetries
Mathematical Sciences, Chalmers University of Technology, Gothenburg, Sweden | Mathematical Institute, University of Oxford, United Kingdom | School of Mathematics and Statistics, University of Melbourne, Melbourne, Australia | Department of Mathematics and Mathematical Statistics, Umeå University, Umeå, Sweden
30秒速读
IN SHORT: This paper addresses the core challenge of systematically determining which parameters and states in a mechanistic ODE model can be uniquely inferred from observed outputs, a fundamental prerequisite for reliable parameter estimation and state reconstruction.
核心创新
- Methodology Introduces a novel subclass of Lie symmetries, termed 'parameter-state symmetries', which simultaneously transform model parameters and states while preserving all observed outputs at every time point.
- Theory Proves a fundamental theorem linking locally structurally identifiable parameter combinations and observable states to the universal invariants of all parameter-state symmetries of a model, providing a rigorous mathematical foundation.
- Methodology Provides a unified framework that simultaneously analyzes local structural identifiability and observability, extending previous work that focused only on identifiability via parameter symmetries of the output system.
主要结论
- Parameter-state symmetries, defined by their preservation of observed outputs (y(t, x, θ) = y(t, x*, θ*)), provide the precise mathematical objects whose invariants correspond to locally identifiable/observable quantities.
- The framework successfully recovers known identifiability results (e.g., from differential algebra methods) and reveals new insights into state observability for canonical models like glucose-insulin regulation and SEI epidemiological models.
- The approach offers a systematic, symmetry-based alternative to established methods (e.g., differential algebra, EAR method) for the joint analysis of two critical structural properties in dynamical systems modeling.
摘要: We introduce a subclass of Lie symmetries, called parameter–state symmetries, to analyse the local structural identifiability and observability of mechanistic models consisting of state-dependent ODEs with observed outputs. These symmetries act on parameters and states while preserving observed outputs at every time point. We prove that locally structurally identifiable parameter combinations and locally structurally observable states correspond to universal invariants of all parameter–state symmetries of a given model. We illustrate the framework on four previously studied mechanistic models, confirming known identifiability results and revealing novel insights into which states are observable, providing a unified symmetry-based approach for analysing structural properties of dynamical systems.