A group theoretic approach to model comparison with simplicial representations

DOI10.1007/S00285-022-01807-2zbMATH Open1501.92036arXiv2111.02170OpenAlexW3209160818MaRDI QIDQ2088005FDOQ2088005

Authors: Sean T. Vittadello, Michael P. H. Stumpf 

Publication date: 21 October 2022

Published in: Journal of Mathematical Biology (Search for Journal in Brave)

Abstract: The complexity of biological systems, and the increasingly large amount of associated experimental data, necessitates that we develop mathematical models to further our understanding of these systems. As biological systems are generally not well understood, most mathematical models of these systems are based on experimental data, resulting in a seemingly heterogeneous collection of models that ostensibly represent the same system. To understand the system we therefore need to know how the different models are related, with a view to obtaining a unified mathematical description. This goal is complicated by the fact that distinct mathematical formalisms may be used to represent the same system, making direct comparison of the models very difficult. In previous work we developed an appropriate framework for model comparison where we represent models as labelled simplicial complexes and compare them with two general methodologies: comparison by distance or equivalence. In this article we continue the development of our model comparison methodology in two directions. First, we present a rigorous and automatable methodology for the core process of comparison by equivalence, namely determining the vertices in a simplicial representation, corresponding to model components, that are conceptually related and the identification of these vertices via simplicial operations. Our methodology is based on considerations of vertex symmetry in the simplicial representation, for which we develop the required mathematical theory of group actions on simplicial complexes. This methodology greatly simplifies and expedites the process of determining model equivalence. Second, we provide an alternative mathematical framework for our model-comparison methodology by representing models as groups, which allows for the direct application of group-theoretic techniques within our model-comparison methodology.

Full work available at URL: https://arxiv.org/abs/2111.02170

Recommendations

• Comparing minimal simplicial models
• Dimension-independent modeling with simplicial complexes
• Model selection for simplicial approximation
• Simplicial group models for \(\Omega ^ nS^ nX\)
• A representation for abstract simplicial complexes: an analysis and a comparison.
• Discrete group analysis and construction of exact models
• On the Equivalence of Generic Group Models
• scientific article; zbMATH DE number 1019703
• Models for configuration space in a simplicial complex
• Constructive degree bounds for group-based models

zbMATH Keywords

model equivalencesimplicial complexgroup actionmodel comparisonorbit spacemodel similarity

Mathematics Subject Classification ID

Systems biology, networks (92C42) Simplicial sets and complexes in algebraic topology (55U10) Combinatorial aspects of simplicial complexes (05E45) General theory for finite permutation groups (20B05) Finite transformation groups (57S17) Group actions on combinatorial structures (05E18)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A theory of biological pattern formation
• Title not available (Why is that?)
• Pattern formation in generalized Turing systems. I: Steady-state patterns in systems with mixed boundary conditions
• Title not available (Why is that?)
• Combinatorial algebraic topology
• Title not available (Why is that?)
• Scaling of morphogen gradients by an expansion-repression integral feedback control
• A two-dimensional numerical study of spatial pattern formation in interacting Turing systems
• Handbook of Teichmüller theory. Volume III
• Topological sensitivity analysis for systems biology

Cited In (1)

• Open problems in mathematical biology

Uses Software

• NFsim

This page was built for publication: A group theoretic approach to model comparison with simplicial representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2088005)