pith. sign in

arxiv: 2604.08254 · v1 · submitted 2026-04-09 · 🧮 math.DS

Generalized Lotka-Volterra Model with Species Turnover in a Variable-Basis State Space

Arthur Doliveira (DIAPRO) , Christophe Roman (DIAPRO) , Guillaume Graton (DIAPRO) , Mustapha Ouladsine (DIAPRO) This is my paper

Pith reviewed 2026-05-10 17:57 UTC · model grok-4.3

classification 🧮 math.DS
keywords generalized Lotka-Volterravariable-basis state spacehybrid dynamical systemsspecies turnovergut microbiotabacteriotherapyecological modeling
0
0 comments X

The pith

Generalized Lotka-Volterra models can incorporate species turnover by using a variable-basis state space reformulated as hybrid dynamical systems.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that fixed-dimension state spaces in generalized Lotka-Volterra models overlook the renewal of species through addition, removal, or mutation. To fix this, it introduces a variable-base state space that allows the model's dimension to adjust dynamically with species changes. This change recasts the model as a hybrid dynamical system that switches bases at discrete events while preserving interaction rules. A sympathetic reader would care because it enables more realistic simulations of communities where species composition shifts often, such as microbial populations in the gut after medical treatments.

Core claim

The fixed-dimension state space classically used in gLV models does not account for the effective renewal of species through addition, removal, or mutation. To address this limitation, we propose a new variable-base state space, introduced in a previous study. This framework leads to a reformulation of the gLV model within the context of hybrid dynamical systems. To illustrate the approach, we apply the proposed model to the gut microbiota, particularly in the context of bacteriotherapy following antibiotic treatment.

What carries the argument

Variable-basis state space that changes dimension with species turnover and embeds the gLV equations into hybrid dynamical systems.

If this is right

  • Species interaction terms remain valid across discrete changes in the state-space basis.
  • The reformulated model applies to dynamic microbial communities such as the gut microbiota.
  • It supports analysis of interventions like bacteriotherapy after antibiotic treatment.
  • Trajectories can combine continuous population growth with discrete species addition or removal events.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The hybrid structure may allow direct comparison of community recovery trajectories before and after external perturbations.
  • Extensions could test whether the same variable-basis approach preserves stability properties known for fixed gLV systems.
  • Application to other ecological contexts might reveal how often basis changes occur in real datasets.

Load-bearing premise

The variable-basis state space can be integrated into the gLV framework to form consistent hybrid dynamical systems without losing core interaction properties or introducing unmodeled artifacts during basis changes.

What would settle it

A numerical simulation in which a new species is introduced and the hybrid model's population trajectories deviate from classical fixed-dimension gLV predictions in ways that cannot be explained by the added interactions alone.

Figures

Figures reproduced from arXiv: 2604.08254 by Arthur Doliveira (DIAPRO), Christophe Roman (DIAPRO), Guillaume Graton (DIAPRO), Mustapha Ouladsine (DIAPRO).

Figure 1
Figure 1. Figure 1: Evolution of a microbiota simulated with the gLV [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Evolution of a microbiota simulated with the gLV [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
read the original abstract

The state space is a fundamental concept for describing the trajectory of a dynamic system. Depending on its form, it can highlight certain changes over time while ignoring others. This is particularly the case for the spaces associated with theoretical ecology models, notably the generalized Lotka-Volterra (gLV) model, which allows the modeling of interacting populations. The fixed-dimension state space classically used in gLV models does not account for the effective renewal of species through addition, removal, or mutation. To address this limitation, we propose a new variable-base state space, introduced in a previous study. This framework leads to a reformulation of the gLV model within the context of hybrid dynamical systems. To illustrate the approach, we apply the proposed model to the gut microbiota, particularly in the context of bacteriotherapy following antibiotic treatment.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper argues that the fixed-dimension state space used in generalized Lotka-Volterra (gLV) models fails to capture species turnover via addition, removal, or mutation. It proposes a variable-basis state space (introduced in prior work) to reformulate the gLV model as a hybrid dynamical system and applies the framework to modeling gut microbiota recovery following antibiotic treatment and bacteriotherapy.

Significance. If the reformulation can be shown to preserve the bilinear interaction structure of classical gLV across basis changes while producing well-defined hybrid trajectories, the approach would extend gLV modeling to communities with dynamic species composition, offering a more realistic tool for applications such as microbiota restoration.

major comments (2)
  1. [Reformulation as hybrid dynamical systems] The reformulation of the gLV model within the hybrid dynamical systems framework (described after the introduction of the variable-basis state space) supplies no explicit switching map that updates the interaction matrix and vector field at each basis change. Without this construction it is impossible to verify that the continuous-time dynamics between switches remain exactly the classical gLV form and that no new non-bilinear terms or discontinuities are introduced.
  2. [Hybrid dynamical systems framework] No proof or verification is given that the resulting vector field satisfies standard hybrid-system consistency conditions (e.g., Carathéodory or Filippov solutions) at switching instants. This omission is load-bearing for the central claim that core interaction properties are retained.
minor comments (1)
  1. [Abstract] The abstract refers to the variable-basis state space as “introduced in a previous study” but does not indicate whether the present manuscript adds any new technical detail to that construction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive critique of our manuscript. We address each major comment below and will revise the paper accordingly to strengthen the hybrid dynamical systems formulation.

read point-by-point responses

  1. Referee: The reformulation of the gLV model within the hybrid dynamical systems framework (described after the introduction of the variable-basis state space) supplies no explicit switching map that updates the interaction matrix and vector field at each basis change. Without this construction it is impossible to verify that the continuous-time dynamics between switches remain exactly the classical gLV form and that no new non-bilinear terms or discontinuities are introduced.

    Authors: We agree that the current manuscript lacks an explicit switching map. In the revision we will add a precise definition of the switching map that, at each species-turnover event, updates the current basis, the state vector (by inserting or removing coordinates), the interaction matrix, and the growth-rate vector. We will prove that this map is constructed so that, between switches, the vector field is exactly the classical bilinear gLV form in the active basis and that the state trajectory itself remains continuous (only the basis representation changes). revision: yes

  2. Referee: No proof or verification is given that the resulting vector field satisfies standard hybrid-system consistency conditions (e.g., Carathéodory or Filippov solutions) at switching instants. This omission is load-bearing for the central claim that core interaction properties are retained.

    Authors: We acknowledge the omission. The revised manuscript will contain a new subsection that verifies the hybrid consistency conditions: we will show that the vector field is locally Lipschitz continuous on each fixed-basis interval (guaranteeing unique Carathéodory solutions) and that the switching map is continuous in the state, permitting well-defined Filippov solutions across switches. This will confirm that the bilinear interaction structure is preserved without introducing extraneous terms. revision: yes

Circularity Check

1 steps flagged

Variable-basis state space integration into gLV relies on prior self-citation without explicit hybrid consistency maps

specific steps
  1. self citation load bearing [Abstract]
    "To address this limitation, we propose a new variable-base state space, introduced in a previous study. This framework leads to a reformulation of the gLV model within the context of hybrid dynamical systems."

    The reformulation claim is justified solely by invoking the variable-basis state space from prior work (overlapping DIAPRO authors). No explicit construction of the basis-change maps, interaction-matrix updates, or hybrid-solution consistency (Filippov/Carathéodory) is supplied in the present text; the central assertion that core gLV interaction properties are retained therefore reduces directly to the cited prior definition.

full rationale

The paper's core contribution is the reformulation of gLV as a hybrid dynamical system using a variable-basis state space to handle species turnover. This state space is explicitly attributed to a previous study rather than derived anew here, and the manuscript applies it to microbiota without supplying the required switching maps for interaction coefficients or proofs that the vector field remains classical gLV between switches. The load-bearing premise therefore reduces to the unverified assumption that the prior construction preserves all interaction properties under basis changes, matching the self-citation load-bearing pattern.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based on abstract only; no explicit free parameters, axioms, or invented entities are detailed. The reformulation implicitly assumes the variable state space preserves interaction dynamics during changes.

axioms (1)
  • domain assumption Variable-basis state space can represent species turnover while maintaining the validity of generalized Lotka-Volterra interaction terms.
    Invoked to justify the hybrid dynamical systems reformulation for ecological modeling.

pith-pipeline@v0.9.0 · 5463 in / 1296 out tokens · 57968 ms · 2026-05-10T17:57:07.511465+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

  1. [1]

    Berryman, A.A. (1992). The orgins and evolution of predator-prey theory. Ecology, 73(5), 1530--1535

    work page 1992

  2. [2]

    Cheng, D., Qi, H., and Liu, Z. (2018). Linear system on dimension-varying state space. In 2018 IEEE 14th International Conference on Control and Automation (ICCA), 112--117. IEEE

    work page 2018

  3. [3]

    Doliveira, A., Roman, C., Graton, G., and Ouladsine, M. (2025). Dynamical System on Graph State-Space . ://hal.science/hal-05047454. Working paper or preprint

    work page 2025

  4. [4]

    Dominguez-Bello, M.G., Steiger, D., Fankhauser, M., Egli, A., Vonaesch, P., Bokulich, N.A., Lavrinienko, A., Hoffmann, C., Zimmermann, P., Muhummed, A., et al. (2025). The microbiota vault initiative: safeguarding earth’s microbial heritage for future generations. Nature Communications, 16(1), 1--6

    work page 2025

  5. [5]

    Fort, H. (2018). On predicting species yields in multispecies communities: Quantifying the accuracy of the linear lotka-volterra generalized model. Ecological modelling, 387, 154--162

    work page 2018

  6. [6]

    Goebel, R., Sanfelice, R.G., and Teel, A.R. (2012). Hybrid dynamical systems: Modeling, stability, and robustness. In Hybrid Dynamical Systems. Princeton University Press

    work page 2012

  7. [7]

    and Teel, A.R

    Goebel, R. and Teel, A.R. (2008). Zeno behavior in homogeneous hybrid systems. In 2008 47th IEEE conference on decision and control, 2758--2763. IEEE

    work page 2008

  8. [8]

    Hirsch, M.W. (1984). The dynamical systems approach to differential equations. Bulletin of the American mathematical society, 11(1), 1--64

    work page 1984

  9. [9]

    Jany s ka, J., Modugno, M., and Vitolo, R. (2007). Semi--vector spaces and units of measurement. arXiv preprint arXiv:0710.1313

    work page arXiv 2007

  10. [10]

    Jones, E.W., Shankin-Clarke, P., and Carlson, J.M. (2020). Navigation and control of outcomes in a generalized lotka-volterra model of the microbiome. arXiv preprint arXiv:2003.12954

    work page arXiv 2020

  11. [11]

    Li, J., Shen, X., and Li, Y. (2021). Modeling the temporal dynamics of gut microbiota from a local community perspective. Ecological Modelling, 460, 109733

    work page 2021

  12. [12]

    Lin, H., Eggesb , M., and Peddada, S.D. (2022). Linear and nonlinear correlation estimators unveil undescribed taxa interactions in microbiome data. Nature communications, 13(1), 4946

    work page 2022

  13. [13]

    Luo, M., Zhu, J., Jia, J., Zhang, H., and Zhao, J. (2024). Progress on network modeling and analysis of gut microecology: a review. Applied and Environmental Microbiology, 90(3), e00092--24

    work page 2024

  14. [14]

    Malcai, O., Biham, O., Richmond, P., and Solomon, S. (2002). Theoretical analysis and simulations of the generalized lotka-volterra model. Physical Review E, 66(3), 031102

    work page 2002

  15. [15]

    Panda, S., Guarner, F., and Manichanh, C. (2014). Structure and functions of the gut microbiome. Endocrine, Metabolic & Immune Disorders-Drug Targets (Formerly Current Drug Targets-Immune, Endocrine & Metabolic Disorders), 14(4), 290--299

    work page 2014

  16. [16]

    Rockwood, L.L. (2015). Introduction to population ecology. John Wiley & Sons

    work page 2015

  17. [17]

    and Willig, M.R

    Scheiner, S.M. and Willig, M.R. (2008). A general theory of ecology. Theoretical ecology, 1(1), 21--28

    work page 2008

  18. [18]

    Stein, R.R., Bucci, V., Toussaint, N.C., Buffie, C.G., R \"a tsch, G., Pamer, E.G., Sander, C., and Xavier, J.B. (2013). Ecological modeling from time-series inference: insight into dynamics and stability of intestinal microbiota. PLoS computational biology, 9(12), e1003388

    work page 2013

  19. [19]

    (1988 a )

    Taylor, P.J. (1988 a ). Consistent scaling and parameter choice for linear and generalized lotka-volterra models used in community ecology. Journal of theoretical biology, 135(4), 543--568

    work page 1988

  20. [20]

    (1988 b )

    Taylor, P.J. (1988 b ). The construction and turnover of complex community models having generalized lotka-volterra dynamics. Journal of theoretical biology, 135(4), 569--588

    work page 1988

  21. [21]

    and Juge, N

    Thursby, E. and Juge, N. (2017). Introduction to the human gut microbiota. Biochemical journal, 474(11), 1823--1836

    work page 2017

  22. [22]

    Vaidyanathan, S. (2015). Adaptive biological control of generalized lotka-volterra three-species biological system. International Journal of PharmTech Research, 8(4), 622--631

    work page 2015

  23. [23]

    Wangersky, P.J. (1978). Lotka-volterra population models. Annual Review of Ecology and Systematics, 9, 189--218

    work page 1978

  24. [24]

    Zhang, G., McAdams, D.A., Shankar, V., and Mohammadi Darani, M. (2018). Technology evolution prediction using lotka--volterra equations. Journal of Mechanical Design, 140(6), 061101

    work page 2018