Showing 1–50 of 50 results for author: Pogudin, G

Support bound for differential elimination in polynomial dynamical systems

Authors: Yulia Mukhina, Gleb Pogudin

Abstract: We study an important special case of the differential elimination problem: given a polynomial dynamical system $\mathbf{x}' = \mathbf{g}(\mathbf{x})$ and a polynomial observation function $y = f(\mathbf{x})$, find the minimal differential equation satisfied by $y$. In our previous work, for the case $y = x_1$, we established a bound on the support of such a differential equation and shown that it… ▽ More We study an important special case of the differential elimination problem: given a polynomial dynamical system $\mathbf{x}' = \mathbf{g}(\mathbf{x})$ and a polynomial observation function $y = f(\mathbf{x})$, find the minimal differential equation satisfied by $y$. In our previous work, for the case $y = x_1$, we established a bound on the support of such a differential equation and shown that it can be turned into an algorithm via the evaluation-interpolation approach. The main contribution of the present paper is a generalization of the aforementioned result in two directions: to allow any polynomial function $y = f(\mathbf{x})$, not just a single coordinate, and to allow $\mathbf{g}$ and $f$ depend on unknown symbolic parameters. We conduct computation experiments to evaluate the accuracy of our new bound and show that the approach allows to perform elimination for some cases out of reach for the state of the art software. △ Less

Submitted 10 June, 2025; originally announced June 2025.

Structural and Practical Identifiability of Phenomenological Growth Models for Epidemic Forecasting

Authors: Yuganthi R. Liyanage, Gerardo Chowell, Gleb Pogudin, Necibe Tuncer

Abstract: Phenomenological models are highly effective tools for forecasting disease dynamics using real world data, particularly in scenarios where detailed knowledge of disease mechanisms is limited. However, their reliability depends on the model parameters' structural and practical identifiability. In this study, we systematically analyze the identifiability of six commonly used growth models in epidemi… ▽ More Phenomenological models are highly effective tools for forecasting disease dynamics using real world data, particularly in scenarios where detailed knowledge of disease mechanisms is limited. However, their reliability depends on the model parameters' structural and practical identifiability. In this study, we systematically analyze the identifiability of six commonly used growth models in epidemiology:the generalized growth model, the generalized logistic model, the Richards model, the generalized Richards model, the Gompertz model, and a modified SEIR model with inhomogeneous mixing. To address challenges posed by non-integer power exponents in these models, we reformulate them by introducing additional state variables. This enables rigorous structural identifiability analysis using the StructuralIdentifiability.jl package in JULIA. We validate the structural identifiability results by performing parameter estimation and forecasting using the GrowthPredict MATLAB toolbox. This toolbox is designed to fit and forecast time series trajectories based on phenomenological growth models. We applied it to three epidemiological datasets: weekly incidence data for monkeypox, COVID 19, and Ebola. Additionally, we assess practical identifiability through Monte Carlo simulations to evaluate parameter estimation robustness under varying levels of observational noise. Our results confirm that all six models are structurally identifiable under the proposed reformulation. Furthermore, practical identifiability analyses demonstrate that parameter estimates remain robust across different noise levels, though sensitivity varies by model and dataset. These findings provide critical insights into the strengths and limitations of phenomenological models to characterize epidemic trajectories, emphasizing their adaptability to real world challenges and their role in informing public health interventions. △ Less

Submitted 27 March, 2025; v1 submitted 21 March, 2025; originally announced March 2025.

Comments: 28 pages, 6 figures. This paper has been accepted for publication in Viruses

Discovering Polynomial and Quadratic Structure in Nonlinear Ordinary Differential Equations

Authors: Boris Kramer, Gleb Pogudin

Abstract: Dynamical systems with quadratic or polynomial drift exhibit complex dynamics, yet compared to nonlinear systems in general form, are often easier to analyze, simulate, control, and learn. Results going back over a century have shown that the majority of nonpolynomial nonlinear systems can be recast in polynomial form, and their degree can be reduced further to quadratic. This process of polynomia… ▽ More Dynamical systems with quadratic or polynomial drift exhibit complex dynamics, yet compared to nonlinear systems in general form, are often easier to analyze, simulate, control, and learn. Results going back over a century have shown that the majority of nonpolynomial nonlinear systems can be recast in polynomial form, and their degree can be reduced further to quadratic. This process of polynomialization/quadratization reveals new variables (in most cases, additional variables have to be added to achieve this) in which the system dynamics adhere to that specific form, which leads us to discover new structures of a model. This chapter summarizes the state of the art for the discovery of polynomial and quadratic representations of finite-dimensional dynamical systems. We review known existence results, discuss the two prevalent algorithms for automating the discovery process, and give examples in form of a single-layer neural network and a phenomenological model of cell signaling. △ Less

Submitted 14 February, 2025; originally announced February 2025.

Comments: Survey paper

Projecting dynamical systems via a support bound

Authors: Yulia Mukhina, Gleb Pogudin

Abstract: For a polynomial dynamical system, we study the problem of computing the minimal differential equation satisfied by a chosen coordinate (in other words, projecting the system on the coordinate). This problem can be viewed as a special case of the general elimination problem for systems of differential equations and appears in applications to modeling and control. We give a bound for the Newton p… ▽ More For a polynomial dynamical system, we study the problem of computing the minimal differential equation satisfied by a chosen coordinate (in other words, projecting the system on the coordinate). This problem can be viewed as a special case of the general elimination problem for systems of differential equations and appears in applications to modeling and control. We give a bound for the Newton polytope of such minimal equation and show that our bound is sharp in "more than half of the cases". We further use this bound to design an algorithm for computing the minimal equation following the evaluation-interpolation paradigm. We demonstrate that our implementation of the algorithm can tackle problems which are out of reach for the state-of-the-art software for differential elimination. △ Less

Submitted 4 March, 2025; v1 submitted 23 January, 2025; originally announced January 2025.

Wronskians form the inverse system of the arcs of a double point

Authors: Rida Ait El Manssour, Gleb Pogudin

Abstract: The ideal of the arc scheme of a double point or, equivalently, the differential ideal generated by the ideal of a double point is a primary ideal in an infinite-dimensional polynomial ring supported at the origin. This ideal has a rich combinatorial structure connecting it to singularity theory, partition identities, representation theory, and differential algebra. Macaulay inverse system is a po… ▽ More The ideal of the arc scheme of a double point or, equivalently, the differential ideal generated by the ideal of a double point is a primary ideal in an infinite-dimensional polynomial ring supported at the origin. This ideal has a rich combinatorial structure connecting it to singularity theory, partition identities, representation theory, and differential algebra. Macaulay inverse system is a powerful tool for studying the structure of primary ideals which describes an ideal in terms of certain linear differential operators. In the present paper, we show that the inverse system of the ideal of the arc scheme of a double point is precisely a vector space spanned by all the Wronskians of the variables and their formal derivatives. We then apply this characterization to extend our recent result on Poincaré-type series for such ideals. △ Less

Submitted 14 May, 2024; originally announced May 2024.

MSC Class: 12H05; 13D40; 05A17

Time-efficient filtering of polarimetric data by checking physical realizability of experimental Mueller matrices

Authors: Tatiana Novikova, Alexey Ovchinnikov, Gleb Pogudin, Jessica C. Ramella-Roman

Abstract: Imaging Mueller polarimetry has already proved its potential for metrology, remote sensing and biomedicine. The real-time applications of this modality require both video rate image acquisition and fast data post-processing algorithms. First, one must check the physical realizability of the experimental Mueller matrices in order to filter out non-physical data, i.e. to test the positive semi-defin… ▽ More Imaging Mueller polarimetry has already proved its potential for metrology, remote sensing and biomedicine. The real-time applications of this modality require both video rate image acquisition and fast data post-processing algorithms. First, one must check the physical realizability of the experimental Mueller matrices in order to filter out non-physical data, i.e. to test the positive semi-definiteness of the 4x4 Hermitian coherency matrix calculated from the elements of the corresponding Mueller matrix pixel-wise. For this purpose, we compared the execution time for the calculations of i) eigenvalues, ii) Cholesky decomposition, iii) Sylvester's criterion, and iv) coefficients of the characteristic polynomial of the Hermitian coherency matrix using two different approaches, all calculated for the experimental Mueller matrix images (600 pixels x 700 pixels) of mouse uterine cervix. The calculations were performed using C++ and Julia programming languages. Our results showed the superiority of the algorithm iv), in particular, the version based on the simplification via Pauli matrices, in terms of execution time for our dataset, over other algorithms. The sequential implementation of the latter algorithm on a single core already satisfies the requirements of real-time polarimetric imaging in various domains. This can be further amplified by the proposed parallelization (for example, we achieve a 5-fold speed up on 6 cores). △ Less

Submitted 28 February, 2024; originally announced February 2024.

Algebraic identifiability of partial differential equation models

Authors: Helen Byrne, Heather Harrington, Alexey Ovchinnikov, Gleb Pogudin, Hamid Rahkooy, Pedro Soto

Abstract: Differential equation models are crucial to scientific processes. The values of model parameters are important for analyzing the behaviour of solutions. A parameter is called globally identifiable if its value can be uniquely determined from the input and output functions. To determine if a parameter estimation problem is well-posed for a given model, one must check if the model parameters are glo… ▽ More Differential equation models are crucial to scientific processes. The values of model parameters are important for analyzing the behaviour of solutions. A parameter is called globally identifiable if its value can be uniquely determined from the input and output functions. To determine if a parameter estimation problem is well-posed for a given model, one must check if the model parameters are globally identifiable. This problem has been intensively studied for ordinary differential equation models, with theory and several efficient algorithms and software packages developed. A comprehensive theory of algebraic identifiability for PDEs has hitherto not been developed due to the complexity of initial and boundary conditions. Here, we provide theory and algorithms, based on differential algebra, for testing identifiability of polynomial PDE models. We showcase this approach on PDE models arising in the sciences. △ Less

Submitted 6 February, 2024; originally announced February 2024.

MSC Class: 92B05; 12H05; 35R30; 93C20; 93B25; 93B30

Persistent components in Canny's Generalized Characteristic Polynomial

Authors: Gleb Pogudin

Abstract: When using resultants for elimination, one standard issue is that the resultant vanishes if the variety contains components of dimension larger than the expected dimension. J. Canny proposed an elegant construction, generalized characteristic polynomial, to address this issue by symbolically perturbing the system before the resultant computation. Such perturbed resultant would typically involve ar… ▽ More When using resultants for elimination, one standard issue is that the resultant vanishes if the variety contains components of dimension larger than the expected dimension. J. Canny proposed an elegant construction, generalized characteristic polynomial, to address this issue by symbolically perturbing the system before the resultant computation. Such perturbed resultant would typically involve artefact components only loosely related to the geometry of the variety of interest. For removing these components, J.M. Rojas proposed to take the greatest common divisor of the results of two different perturbations. In this paper, we investigate this construction, and show that the extra components persistent under taking different perturbations must come either from singularities or from positive-dimensional fibers. △ Less

Submitted 5 October, 2024; v1 submitted 3 January, 2024; originally announced January 2024.

Dissipative quadratizations of polynomial ODE systems

Authors: Yubo Cai, Gleb Pogudin

Abstract: Quadratization refers to a transformation of an arbitrary system of polynomial ordinary differential equations to a system with at most quadratic right-hand side. Such a transformation unveils new variables and model structures that facilitate model analysis, simulation, and control and offers a convenient parameterization for data-driven approaches. Quadratization techniques have found applicatio… ▽ More Quadratization refers to a transformation of an arbitrary system of polynomial ordinary differential equations to a system with at most quadratic right-hand side. Such a transformation unveils new variables and model structures that facilitate model analysis, simulation, and control and offers a convenient parameterization for data-driven approaches. Quadratization techniques have found applications in diverse fields, including systems theory, fluid mechanics, chemical reaction modeling, and mathematical analysis. In this study, we focus on quadratizations that preserve the stability properties of the original model, specifically dissipativity at given equilibria. This preservation is desirable in many applications of quadratization including reachability analysis and synthetic biology. We establish the existence of dissipativity-preserving quadratizations, develop an algorithm for their computation, and demonstrate it in several case studies. △ Less

Submitted 24 January, 2024; v1 submitted 4 November, 2023; originally announced November 2023.

Comments: Accepted by 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS24)

On the dimension of the solution space of linear difference equations over the ring of infinite sequences

Authors: Sergei Abramov, Gleb Pogudin

Abstract: For a linear difference equation with the coefficients being computable sequences, we establish algorithmic undecidability of the problem of determining the dimension of the solution space including the case when some additional prior information on the dimension is available. For a linear difference equation with the coefficients being computable sequences, we establish algorithmic undecidability of the problem of determining the dimension of the solution space including the case when some additional prior information on the dimension is available. △ Less

Submitted 5 October, 2024; v1 submitted 3 November, 2023; originally announced November 2023.

Comments: In memory of Marko Petkovšek

Linear difference operators with sequence coefficients having infinite-dimentional solution spaces

Authors: Sergei Abramov, Gleb Pogudin

Abstract: The notion of lacunary infinite numerical sequence is introduced. It is shown that for an arbitrary linear difference operator L with coefficients belonging to the set R of infinite numerical sequences, a criterion (i.e., a necessary and sufficient condition) for the infinite dimensionality of its space $V_L$ of solutions belonging to R is the presence of a lacunary sequence in $V_L$. The notion of lacunary infinite numerical sequence is introduced. It is shown that for an arbitrary linear difference operator L with coefficients belonging to the set R of infinite numerical sequences, a criterion (i.e., a necessary and sufficient condition) for the infinite dimensionality of its space $V_L$ of solutions belonging to R is the presence of a lacunary sequence in $V_L$. △ Less

Submitted 3 November, 2023; originally announced November 2023.

Comments: In memory of Marko Petkovšek

Journal ref: ACM Communications in Computer Algebra, vol 57, issue 1, 2023

Identifiable specializations for ODE models

Authors: Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin, Thomas Scanlon

Abstract: The parameter identifiability problem for a dynamical system is to determine whether the parameters of the system can be found from data for the outputs of the system. Verifying whether the parameters are identifiable is a necessary first step before a meaningful parameter estimation can take place. Non-identifiability occurs in practical models. To reparametrize a model to achieve identifiability… ▽ More The parameter identifiability problem for a dynamical system is to determine whether the parameters of the system can be found from data for the outputs of the system. Verifying whether the parameters are identifiable is a necessary first step before a meaningful parameter estimation can take place. Non-identifiability occurs in practical models. To reparametrize a model to achieve identifiability is a challenge. The existing approaches have been shown to be useful for many important examples. However, these approaches are either limited to linear models and scaling parametrizations or are not guaranteed to find a reparametrization even if it exists. In the present paper, we prove that there always exists a locally identifiable model with the same input-output behaviour as the original one obtained from a given one by a partial specialization of the parameters. As an extra feature of our approach, the resulting (at least) locally identifiable reparameterization has the same shape: the monomials in the new state variables in the new model are formed in the same way as in the original model. Furthermore, we give a sufficient observability condition for the existence of a state space transformation from the original model to the new one. Our proof is constructive and can be translated to an algorithm, which we illustrate by several examples. △ Less

Submitted 10 June, 2025; v1 submitted 30 August, 2023; originally announced August 2023.

Comments: Maple code for the examples from the paper is available here: https://github.com/alexeyovchinnikov/Identifiable-specializations-for-ODE-models

Exact and optimal quadratization of nonlinear finite-dimensional non-autonomous dynamical systems

Authors: Andrey Bychkov, Opal Issan, Gleb Pogudin, Boris Kramer

Abstract: Quadratization of polynomial and nonpolynomial systems of ordinary differential equations is advantageous in a variety of disciplines, such as systems theory, fluid mechanics, chemical reaction modeling and mathematical analysis. A quadratization reveals new variables and structures of a model, which may be easier to analyze, simulate, control, and provides a convenient parametrization for learnin… ▽ More Quadratization of polynomial and nonpolynomial systems of ordinary differential equations is advantageous in a variety of disciplines, such as systems theory, fluid mechanics, chemical reaction modeling and mathematical analysis. A quadratization reveals new variables and structures of a model, which may be easier to analyze, simulate, control, and provides a convenient parametrization for learning. This paper presents novel theory, algorithms and software capabilities for quadratization of non-autonomous ODEs. We provide existence results, depending on the regularity of the input function, for cases when a quadratic-bilinear system can be obtained through quadratization. We further develop existence results and an algorithm that generalizes the process of quadratization for systems with arbitrary dimension that retain the nonlinear structure when the dimension grows. For such systems, we provide dimension-agnostic quadratization. An example is semi-discretized PDEs, where the nonlinear terms remain symbolically identical when the discretization size increases. As an important aspect for practical adoption of this research, we extended the capabilities of the QBee software towards both non-autonomous systems of ODEs and ODEs with arbitrary dimension. We present several examples of ODEs that were previously reported in the literature, and where our new algorithms find quadratized ODE systems with lower dimension than the previously reported lifting transformations. We further highlight an important area of quadratization: reduced-order model learning. This area can benefit significantly from working in the optimal lifting variables, where quadratic models provide a direct parametrization of the model that also avoids additional hyperreduction for the nonlinear terms. A solar wind example highlights these advantages. △ Less

Submitted 5 December, 2023; v1 submitted 17 March, 2023; originally announced March 2023.

Exact hierarchical reductions of dynamical models via linear transformations

Authors: Alexander Demin, Elizaveta Demitraki, Gleb Pogudin

Abstract: Dynamical models described by ordinary differential equations (ODEs) are a fundamental tool in the sciences and engineering. Exact reduction aims at producing a lower-dimensional model in which each macro-variable can be directly related to the original variables, and it is thus a natural step towards the model's formal analysis and mechanistic understanding. We present an algorithm which, given a… ▽ More Dynamical models described by ordinary differential equations (ODEs) are a fundamental tool in the sciences and engineering. Exact reduction aims at producing a lower-dimensional model in which each macro-variable can be directly related to the original variables, and it is thus a natural step towards the model's formal analysis and mechanistic understanding. We present an algorithm which, given a polynomial ODE model, computes a longest possible chain of exact linear reductions of the model such that each reduction refines the previous one, thus giving a user control of the level of detail preserved by the reduction. This significantly generalizes over the existing approaches which compute only the reduction of the lowest dimension subject to an approach-specific constraint. The algorithm reduces finding exact linear reductions to a question about representations of finite-dimensional algebras. We provide an implementation of the algorithm, demonstrate its performance on a set of benchmarks, and illustrate the applicability via case studies. Our implementation is freely available at https://github.com/x3042/ExactODEReduction.jl △ Less

Submitted 3 January, 2024; v1 submitted 27 January, 2023; originally announced January 2023.

MSC Class: 34C20; 34-04; 16G10

More Efficient Identifiability Verification in ODE Models by Reducing Non-Identifiability

Authors: Ilia Ilmer, Alexey Ovchinnikov, Gleb Pogudin, Pedro Soto

Abstract: Structural global parameter identifiability indicates whether one can determine a parameter's value from given inputs and outputs in the absence of noise. If a given model has parameters for which there may be infinitely many values, such parameters are called non-identifiable. We present a procedure for accelerating a global identifiability query by eliminating algebraically independent non-ident… ▽ More Structural global parameter identifiability indicates whether one can determine a parameter's value from given inputs and outputs in the absence of noise. If a given model has parameters for which there may be infinitely many values, such parameters are called non-identifiable. We present a procedure for accelerating a global identifiability query by eliminating algebraically independent non-identifiable parameters. Our proposed approach significantly improves performance across different computer algebra frameworks. △ Less

Submitted 4 April, 2022; originally announced April 2022.

On realizing differential-algebraic equations by rational dynamical systems

Authors: Dmitrii Pavlov, Gleb Pogudin

Abstract: Real-world phenomena can often be conveniently described by dynamical systems (that is, ODE systems in the state-space form). However, if one observes the state of the system only partially, the observed quantities (outputs) and the inputs of the system can typically be related by more complicated differential-algebraic equations (DAEs). Therefore, a natural question (referred to as the realizabil… ▽ More Real-world phenomena can often be conveniently described by dynamical systems (that is, ODE systems in the state-space form). However, if one observes the state of the system only partially, the observed quantities (outputs) and the inputs of the system can typically be related by more complicated differential-algebraic equations (DAEs). Therefore, a natural question (referred to as the realizability problem) is: given a differential-algebraic equation (say, fitted from data), does it come from a partially observed dynamical system? A special case in which the functions involved in the dynamical system are rational is of particular interest. For a single differential-algebraic equation in a single output variable, Forsman has shown that it is realizable by a rational dynamical system if and only if the corresponding hypersurface is unirational, and he turned this into an algorithm in the first-order case. In this paper, we study a more general case of single-input-single-output equations. We show that if a realization by a rational dynamical system exists, the system can be taken to have the dimension equal to the order of the DAE. We provide a complete algorithm for first-order DAEs. We also show that the same approach can be used for higher-order DAEs using several examples from the literature. △ Less

Submitted 14 May, 2022; v1 submitted 7 March, 2022; originally announced March 2022.

Faster Gröbner bases for Lie derivatives of ODE systems via monomial orderings

Authors: Mariya Bessonov, Ilia Ilmer, Tatiana Konstantinova, Alexey Ovchinnikov, Gleb Pogudin, Pedro Soto

Abstract: Symbolic computation for systems of differential equations is often computationally expensive. Many practical differential models have a form of polynomial or rational ODE system with specified outputs. A basic symbolic approach to analyze these models is to compute and then symbolically process the polynomial system obtained by sufficiently many Lie derivatives of the output functions with respec… ▽ More Symbolic computation for systems of differential equations is often computationally expensive. Many practical differential models have a form of polynomial or rational ODE system with specified outputs. A basic symbolic approach to analyze these models is to compute and then symbolically process the polynomial system obtained by sufficiently many Lie derivatives of the output functions with respect to the vector field given by the ODE system. In this paper, we present a method for speeding up Gröbner basis computation for such a class of polynomial systems by using specific monomial ordering, including weights for the variables, coming from the structure of the ODE model. We provide empirical results that show improvement across different symbolic computing frameworks and apply the method to speed up structural identifiability analysis of ODE models. △ Less

Submitted 6 June, 2024; v1 submitted 13 February, 2022; originally announced February 2022.

Exact linear reduction for rational dynamical systems

Authors: Antonio Jiménez-Pastor, Joshua Paul Jacob, Gleb Pogudin

Abstract: Detailed dynamical systems models used in life sciences may include dozens or even hundreds of state variables. Models of large dimension are not only harder from the numerical perspective (e.g., for parameter estimation or simulation), but it is also becoming challenging to derive mechanistic insights from such models. Exact model reduction is a way to address this issue by finding a self-consist… ▽ More Detailed dynamical systems models used in life sciences may include dozens or even hundreds of state variables. Models of large dimension are not only harder from the numerical perspective (e.g., for parameter estimation or simulation), but it is also becoming challenging to derive mechanistic insights from such models. Exact model reduction is a way to address this issue by finding a self-consistent lower-dimensional projection of the corresponding dynamical system. A recent algorithm CLUE allows one to construct an exact linear reduction of the smallest possible dimension such that the fixed variables of interest are preserved. However, CLUE is restricted to systems with polynomial dynamics. Since rational dynamics occurs frequently in the life sciences (e.g., Michaelis-Menten or Hill kinetics), it is desirable to extend CLUE to the models with rational dynamics. In this paper, we present an extension of CLUE to the case of rational dynamics and demonstrate its applicability on examples from literature. Our implementation is available in version 1.5 of CLUE at https://github.com/pogudingleb/CLUE. △ Less

Submitted 4 July, 2022; v1 submitted 31 January, 2022; originally announced January 2022.

Comments: 19 pages, 4 algorithms, 4 tables, 1 figure

Multiplicity structure of the arc space of a fat point

Authors: Rida Ait El Manssour, Gleb Pogudin

Abstract: The equation $x^m = 0$ defines a fat point on a line. The algebra of regular functions on the arc space of this scheme is the quotient of $k[x, x', x^{(2)}, \ldots]$ by all differential consequences of $x^m = 0$. This infinite-dimensional algebra admits a natural filtration by finite dimensional algebras corresponding to the truncations of arcs. We show that the generating series for their dimensi… ▽ More The equation $x^m = 0$ defines a fat point on a line. The algebra of regular functions on the arc space of this scheme is the quotient of $k[x, x', x^{(2)}, \ldots]$ by all differential consequences of $x^m = 0$. This infinite-dimensional algebra admits a natural filtration by finite dimensional algebras corresponding to the truncations of arcs. We show that the generating series for their dimensions equals $\frac{m}{1 - mt}$. We also determine the lexicographic initial ideal of the defining ideal of the arc space. These results are motivated by nonreduced version of the geometric motivic Poincaré series, multiplicities in differential algebra, and connections between arc spaces and the Rogers-Ramanujan identities. We also prove a recent conjecture put forth by Afsharijoo in the latter context. △ Less

Submitted 20 February, 2024; v1 submitted 19 November, 2021; originally announced November 2021.

MSC Class: 12H05; 13D40; 05A17

Journal ref: Alg. Number Th. 18 (2024) 947-967

Differential elimination for dynamical models via projections with applications to structural identifiability

Authors: Ruiwen Dong, Christian Goodbrake, Heather A Harrington, Gleb Pogudin

Abstract: Elimination of unknowns in a system of differential equations is often required when analysing (possibly nonlinear) dynamical systems models, where only a subset of variables are observable. One such analysis, identifiability, often relies on computing input-output relations via differential algebraic elimination. Determining identifiability, a natural prerequisite for meaningful parameter estimat… ▽ More Elimination of unknowns in a system of differential equations is often required when analysing (possibly nonlinear) dynamical systems models, where only a subset of variables are observable. One such analysis, identifiability, often relies on computing input-output relations via differential algebraic elimination. Determining identifiability, a natural prerequisite for meaningful parameter estimation, is often prohibitively expensive for medium to large systems due to the computationally expensive task of elimination. We propose an algorithm that computes a description of the set of differential-algebraic relations between the input and output variables of a dynamical system model. The resulting algorithm outperforms general-purpose software for differential elimination on a set of benchmark models from literature. We use the designed elimination algorithm to build a new randomized algorithm for assessing structural identifiability of a parameter in a parametric model. A parameter is said to be identifiable if its value can be uniquely determined from input-output data assuming the absence of noise and sufficiently exciting inputs. Our new algorithm allows the identification of models that could not be tackled before. Our implementation is publicly available as a Julia package at https://github.com/SciML/StructuralIdentifiability.jl. △ Less

Submitted 23 November, 2022; v1 submitted 1 November, 2021; originally announced November 2021.

From algebra to analysis: new proofs of theorems by Ritt and Seidenberg

Authors: Dmitrii Pavlov, Gleb Pogudin, Yury Razmyslov

Abstract: Ritt's theorem of zeroes and Seidenberg's embedding theorem are classical results in differential algebra allowing to connect algebraic and model-theoretic results on nonlinear PDEs to the realm of analysis. However, the existing proofs of these results use sophisticated tools from constructive algebra (characteristic set theory) and analysis (Riquier's existence theorem). In this paper, we give n… ▽ More Ritt's theorem of zeroes and Seidenberg's embedding theorem are classical results in differential algebra allowing to connect algebraic and model-theoretic results on nonlinear PDEs to the realm of analysis. However, the existing proofs of these results use sophisticated tools from constructive algebra (characteristic set theory) and analysis (Riquier's existence theorem). In this paper, we give new short proofs for both theorems relying only on basic facts from differential algebra and the classical Cauchy-Kovalevskaya theorem for PDEs. △ Less

Submitted 7 July, 2021; originally announced July 2021.

Comments: 13 pages

MSC Class: 12H05; 13N15; 35A01

Web-based Structural Identifiability Analyzer

Authors: Ilia Ilmer, Alexey Ovchinnikov, Gleb Pogudin

Abstract: Parameter identifiability describes whether, for a given differential model, one can determine parameter values from model equations. Knowing global or local identifiability properties allows construction of better practical experiments to identify parameters from experimental data. In this work, we present a web-based software tool that allows to answer specific identifiability queries. Concretel… ▽ More Parameter identifiability describes whether, for a given differential model, one can determine parameter values from model equations. Knowing global or local identifiability properties allows construction of better practical experiments to identify parameters from experimental data. In this work, we present a web-based software tool that allows to answer specific identifiability queries. Concretely, our toolbox can determine identifiability of individual parameters of the model and also provide all functions of parameters that are identifiable (also called identifiable combinations) from single or multiple experiments. The program is freely available at https://maple.cloud/app/6509768948056064. △ Less

Submitted 28 June, 2021; originally announced June 2021.

Interpretable exact linear reductions via positivity

Authors: Gleb Pogudin, Xingjian Zhang

Abstract: Kinetic models of biochemical systems used in the modern literature often contain hundreds or even thousands of variables. While these models are convenient for detailed simulations, their size is often an obstacle to deriving mechanistic insights. One way to address this issue is to perform an exact model reduction by finding a self-consistent lower-dimensional projection of the corresponding dyn… ▽ More Kinetic models of biochemical systems used in the modern literature often contain hundreds or even thousands of variables. While these models are convenient for detailed simulations, their size is often an obstacle to deriving mechanistic insights. One way to address this issue is to perform an exact model reduction by finding a self-consistent lower-dimensional projection of the corresponding dynamical system. Recently, a new algorithm CLUE has been designed and implemented, which allows one to construct an exact linear reduction of the smallest possible dimension such that the fixed variables of interest are preserved. It turned out that allowing arbitrary linear combinations (as opposed to zero-one combinations used in the prior approaches) may yield a much smaller reduction. However, there was a drawback: some of the new variables did not have clear physical meaning, thus making the reduced model harder to interpret. We design and implement an algorithm that, given an exact linear reduction, re-parametrizes it by performing an invertible transformation of the new coordinates to improve the interpretability of the new variables. We apply our algorithm to three case studies and show that "uninterpretable" variables disappear entirely in all the case studies. The implementation of the algorithm and the files for the case studies are available at https://github.com/xjzhaang/LumpingPostiviser. △ Less

Submitted 26 June, 2021; v1 submitted 29 April, 2021; originally announced April 2021.

Optimal monomial quadratization for ODE systems

Authors: Andrey Bychkov, Gleb Pogudin

Abstract: Quadratization problem is, given a system of ODEs with polynomial right-hand side, transform the system to a system with quadratic right-hand side by introducing new variables. Such transformations have been used, for example, as a preprocessing step by model order reduction methods and for transforming chemical reaction networks. We present an algorithm that, given a system of polynomial ODEs,… ▽ More Quadratization problem is, given a system of ODEs with polynomial right-hand side, transform the system to a system with quadratic right-hand side by introducing new variables. Such transformations have been used, for example, as a preprocessing step by model order reduction methods and for transforming chemical reaction networks. We present an algorithm that, given a system of polynomial ODEs, finds a transformation into a quadratic ODE system by introducing new variables which are monomials in the original variables. The algorithm is guaranteed to produce an optimal transformation of this form (that is, the number of new variables is as small as possible), and it is the first algorithm with such a guarantee we are aware of. Its performance compares favorably with the existing software, and it is capable to tackle problems that were out of reach before. △ Less

Submitted 12 May, 2021; v1 submitted 14 March, 2021; originally announced March 2021.

Multi-experiment parameter identifiability of ODEs and model theory

Authors: Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin, Thomas Scanlon

Abstract: Structural identifiability is a property of an ODE model with parameters that allows for the parameters to be determined from continuous noise-free data. This is a natural prerequisite for practical identifiability. Conducting multiple independent experiments could make more parameters or functions of parameters identifiable, which is a desirable property to have. How many experiments are sufficie… ▽ More Structural identifiability is a property of an ODE model with parameters that allows for the parameters to be determined from continuous noise-free data. This is a natural prerequisite for practical identifiability. Conducting multiple independent experiments could make more parameters or functions of parameters identifiable, which is a desirable property to have. How many experiments are sufficient? In the present paper, we provide an algorithm to determine the exact number of experiments for multi-experiment local identifiability and obtain an upper bound that is off at most by one for the number of experiments for multi-experiment global identifiability. Interestingly, the main theoretical ingredient of the algorithm has been discovered and proved using model theory (in the sense of mathematical logic). We hope that this unexpected connection will stimulate interactions between applied algebra and model theory, and we provide a short introduction to model theory in the context of parameter identifiability. As another related application of model theory in this area, we construct a nonlinear ODE system with one output such that single-experiment and multiple-experiment identifiability are different for the system. This contrasts with recent results about single-output linear systems. We also present a Monte Carlo randomized version of the algorithm with a polynomial arithmetic complexity. Implementation of the algorithm is provided and its performance is demonstrated on several examples. The source code is available at https://github.com/pogudingleb/ExperimentsBound. △ Less

Submitted 17 August, 2021; v1 submitted 21 November, 2020; originally announced November 2020.

Parameter identifiability and input-output equations

Authors: Alexey Ovchinnikov, Gleb Pogudin, Peter Thompson

Abstract: Structural parameter identifiability is a property of a differential model with parameters that allows for the parameters to be determined from the model equations in the absence of noise. One of the standard approaches to assessing this problem is via input-output equations and, in particular, characteristic sets of differential ideals. The precise relation between identifiability and input-outpu… ▽ More Structural parameter identifiability is a property of a differential model with parameters that allows for the parameters to be determined from the model equations in the absence of noise. One of the standard approaches to assessing this problem is via input-output equations and, in particular, characteristic sets of differential ideals. The precise relation between identifiability and input-output identifiability is subtle. The goal of this note is to clarify this relation. The main results are: 1) identifiability implies input-output identifiability; 2) these notions coincide if the model does not have rational first integrals; 3) the field of input-output identifiable functions is generated by the coefficients of a "minimal" characteristic set of the corresponding differential ideal. We expect that some of these facts may be known to the experts in the area, but we are not aware of any articles in which these facts are stated precisely and rigorously proved. △ Less

Submitted 27 December, 2020; v1 submitted 27 July, 2020; originally announced July 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:1910.03960

Algorithms yield upper bounds in differential algebra

Authors: Wei Li, Alexey Ovchinnikov, Gleb Pogudin, Thomas Scanlon

Abstract: Consider an algorithm computing in a differential field with several commuting derivations such that the only operations it performs with the elements of the field are arithmetic operations, differentiation, and zero testing. We show that, if the algorithm is guaranteed to terminate on every input, then there is a computable upper bound for the size of the output of the algorithm in terms of the s… ▽ More Consider an algorithm computing in a differential field with several commuting derivations such that the only operations it performs with the elements of the field are arithmetic operations, differentiation, and zero testing. We show that, if the algorithm is guaranteed to terminate on every input, then there is a computable upper bound for the size of the output of the algorithm in terms of the size of the input. We also generalize this to algorithms working with models of good enough theories (including for example, difference fields). We then apply this to differential algebraic geometry to show that there exists a computable uniform upper bound for the number of components of any variety defined by a system of polynomial PDEs. We then use this bound to show the existence of a computable uniform upper bound for the elimination problem in systems of polynomial PDEs with delays. △ Less

Submitted 28 August, 2021; v1 submitted 21 April, 2020; originally announced May 2020.

MSC Class: 12H05; 12H10; 03C10; 03C60; 03D15

CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations

Authors: Alexey Ovchinnikov, Isabel Cristina Pérez Verona, Gleb Pogudin, Mirco Tribastone

Abstract: Motivation: Detailed mechanistic models of biological processes can pose significant challenges for analysis and parameter estimations due to the large number of equations used to track the dynamics of all distinct configurations in which each involved biochemical species can be found. Model reduction can help tame such complexity by providing a lower-dimensional model in which each macro-variable… ▽ More Motivation: Detailed mechanistic models of biological processes can pose significant challenges for analysis and parameter estimations due to the large number of equations used to track the dynamics of all distinct configurations in which each involved biochemical species can be found. Model reduction can help tame such complexity by providing a lower-dimensional model in which each macro-variable can be directly related to the original variables. Results: We present CLUE, an algorithm for exact model reduction of systems of polynomial differential equations by constrained linear lumping. It computes the smallest dimensional reduction as a linear mapping of the state space such that the reduced model preserves the dynamics of user-specified linear combinations of the original variables. Even though CLUE works with nonlinear differential equations, it is based on linear algebra tools, which makes it applicable to high-dimensional models. Using case studies from the literature, we show how CLUE can substantially lower model dimensionality and help extract biologically intelligible insights from the reduction. Availability: An implementation of the algorithm and relevant resources to replicate the experiments herein reported are freely available for download at https://github.com/pogudingleb/CLUE. Supplementary information: enclosed. △ Less

Submitted 14 December, 2020; v1 submitted 24 April, 2020; originally announced April 2020.

Computing all identifiable functions of parameters for ODE models

Authors: Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin, Thomas Scanlon

Abstract: Parameter identifiability is a structural property of an ODE model for recovering the values of parameters from the data (i.e., from the input and output variables). This property is a prerequisite for meaningful parameter identification in practice. In the presence of nonidentifiability, it is important to find all functions of the parameters that are identifiable. The existing algorithms check w… ▽ More Parameter identifiability is a structural property of an ODE model for recovering the values of parameters from the data (i.e., from the input and output variables). This property is a prerequisite for meaningful parameter identification in practice. In the presence of nonidentifiability, it is important to find all functions of the parameters that are identifiable. The existing algorithms check whether a given function of parameters is identifiable or, under the solvability condition, find all identifiable functions. However, this solvability condition is not always satisfied, which presents a challenge. Our first main result is an algorithm that computes all identifiable functions without any additional assumptions, which is the first such algorithm as far as we know. Our second main result concerns the identifiability from multiple experiments (with generically different inputs and initial conditions among the experiments). For this problem, we prove that the set of functions identifiable from multiple experiments is what would actually be computed by input-output equation-based algorithms (whether or not the solvability condition is fulfilled), which was not known before. We give an algorithm that not only finds these functions but also provides an upper bound for the number of experiments to be performed to identify these functions. We provide an implementation of the presented algorithms. △ Less

Submitted 3 June, 2021; v1 submitted 16 April, 2020; originally announced April 2020.

MSC Class: 34A55; 12H05; 03C60; 92B99; 93B07; 93B30

Separating Variables in Bivariate Polynomial Ideals

Authors: Manfred Buchacher, Manuel Kauers, Gleb Pogudin

Abstract: We present an algorithm which for any given ideal $I\subseteq\mathbb{K} [x,y]$ finds all elements of $I$ that have the form $f(x) - g(y)$, i.e., all elements in which no monomial is a multiple of $xy$. We present an algorithm which for any given ideal $I\subseteq\mathbb{K} [x,y]$ finds all elements of $I$ that have the form $f(x) - g(y)$, i.e., all elements in which no monomial is a multiple of $xy$. △ Less

Submitted 5 June, 2020; v1 submitted 4 February, 2020; originally announced February 2020.

Input-output equations and identifiability of linear ODE models

Authors: Alexey Ovchinnikov, Gleb Pogudin, Peter Thompson

Abstract: Structural identifiability is a property of a differential model with parameters that allows for the parameters to be determined from the model equations in the absence of noise. The method of input-output equations is one method for verifying structural identifiability. This method stands out in its importance because the additional insights it provides can be used to analyze and improve models.… ▽ More Structural identifiability is a property of a differential model with parameters that allows for the parameters to be determined from the model equations in the absence of noise. The method of input-output equations is one method for verifying structural identifiability. This method stands out in its importance because the additional insights it provides can be used to analyze and improve models. However, its complete theoretical grounds and applicability are still to be established. A subtlety and key for this method to work correctly is knowing whether the coefficients of these equations are identifiable. In this paper, to address this, we prove identifiability of the coefficients of input-output equations for types of differential models that often appear in practice, such as linear models with one output and linear compartment models in which, from each compartment, one can reach either a leak or an input. This shows that checking identifiability via input-output equations for these models is legitimate and, as we prove, that the field of identifiable functions is generated by the coefficients of the input-output equations. Finally, we exploit a connection between input-output equations and the transfer function matrix to show that, for a linear compartment model with an input and strongly connected graph, the field of all identifiable functions is generated by the coefficients of the transfer function matrix even if the initial conditions are generic. △ Less

Submitted 27 January, 2022; v1 submitted 9 October, 2019; originally announced October 2019.

MSC Class: 12H05; 34A55; 92B05; 93C15; 93B25; 93B30

Solving difference equations in sequences: Universality and Undecidability

Authors: Gleb Pogudin, Thomas Scanlon, Michael Wibmer

Abstract: $… ▽ More $ $We study solutions of difference equations in the rings of sequences and, more generally, solutions of equations with a monoid action in the ring of sequences indexed by the monoid. This framework includes, for example, difference equations on grids (e.g., standard difference schemes) and difference equations in functions on words. On the universality side, we prove a version of strong Nullstellensatz for such difference equations under the assuption that the cardinality of the ground field is greater than the cardinality of the monoid and construct an example showing that this assumption cannot be omitted. On the undecidability side, we show that the following problems are undecidable: $\bullet$ testing radical difference ideal membership or, equivalently, determining whether a given difference polynomial vanishes on the solution set of a given system of difference polynomials; $\bullet$ determining consistency of a system of difference equations in the ring of real-valued sequences; $\bullet$ determining consistency of a system of equations with action of $\mathbb{Z}^2$, $\mathbb{N}^2$, or the free monoid with two generators in the corresponding ring of sequences over any field of characteristic zero. △ Less

Submitted 18 March, 2020; v1 submitted 7 September, 2019; originally announced September 2019.

The Dynamics of Canalizing Boolean Networks

Authors: Elijah Paul, Gleb Pogudin, William Qin, Reinhard Laubenbacher

Abstract: Boolean networks are a popular modeling framework in computational biology to capture the dynamics of molecular networks, such as gene regulatory networks. It has been observed that many published models of such networks are defined by regulatory rules driving the dynamics that have certain so-called canalizing properties. In this paper, we investigate the dynamics of a random Boolean network with… ▽ More Boolean networks are a popular modeling framework in computational biology to capture the dynamics of molecular networks, such as gene regulatory networks. It has been observed that many published models of such networks are defined by regulatory rules driving the dynamics that have certain so-called canalizing properties. In this paper, we investigate the dynamics of a random Boolean network with such properties using analytical methods and simulations. From our simulations, we observe that Boolean networks with higher canalizing depth have generally fewer attractors, the attractors are smaller, and the basins are larger, with implications for the stability and robustness of the models. These properties are relevant to many biological applications. Moreover, our results show that, from the standpoint of the attractor structure, high canalizing depth, compared to relatively small positive canalizing depth, has a very modest impact on dynamics. Motivated by these observations, we conduct mathematical study of the attractor structure of a random Boolean network of canalizing depth one (i.e., the smallest positive depth). For every positive integer $\ell$, we give an explicit formula for the limit of the expected number of attractors of length $\ell$ in an $n$-state random Boolean network as $n$ goes to infinity. △ Less

Submitted 5 December, 2019; v1 submitted 31 January, 2019; originally announced February 2019.

Elimination of unknowns for systems of algebraic differential-difference equations

Authors: Wei Li, Alexey Ovchinnikov, Gleb Pogudin, Thomas Scanlon

Abstract: We establish effective elimination theorems for differential-difference equations. Specifically, we find a computable function $B(r,s)$ of the natural number parameters $r$ and $s$ so that for any system of algebraic differential-difference equations in the variables $\mathbf{x} = x_1, \ldots, x_q$ and $\mathbf{y} = y_1, \ldots, y_r$ each of which has order and degree in $\mathbf{y}$ bounded by… ▽ More We establish effective elimination theorems for differential-difference equations. Specifically, we find a computable function $B(r,s)$ of the natural number parameters $r$ and $s$ so that for any system of algebraic differential-difference equations in the variables $\mathbf{x} = x_1, \ldots, x_q$ and $\mathbf{y} = y_1, \ldots, y_r$ each of which has order and degree in $\mathbf{y}$ bounded by $s$ over a differential-difference field, there is a non-trivial consequence of this system involving just the $\mathbf{x}$ variables if and only if such a consequence may be constructed algebraically by applying no more than $B(r,s)$ iterations of the basic difference and derivation operators to the equations in the system. We relate this finiteness theorem to the problem of finding solutions to such systems of differential-difference equations in rings of functions showing that a system of differential-difference equations over $\mathbb{C}$ is algebraically consistent if and only if it has solutions in a certain ring of germs of meromorphic functions. △ Less

Submitted 29 December, 2018; originally announced December 2018.

MSC Class: 12H05; 12H10; 03C10; 14Q20

Journal ref: Transactions of the American Mathematical Society 374 (2021) 303-326

Primitive Element Theorem for Fields with Commuting Derivations and Automorphisms

Authors: Gleb Pogudin

Abstract: We establish a Primitive Element Theorem for fields equipped with several commuting operators such that each of the operators is either a derivation or an automorphism. More precisely, we show that for every extension $F \subset E$ of such fields of zero characteristic such that $\bullet$ $E$ is generated over $F$ by finitely many elements using the field operations and the operators,… ▽ More We establish a Primitive Element Theorem for fields equipped with several commuting operators such that each of the operators is either a derivation or an automorphism. More precisely, we show that for every extension $F \subset E$ of such fields of zero characteristic such that $\bullet$ $E$ is generated over $F$ by finitely many elements using the field operations and the operators, $\bullet$ every element of $E$ satisfies a nontrivial equation with coefficient in $F$ involving the field operations and the operators, $\bullet$ the action of the operators on $E$ is irredundant there exists an element $a \in E$ such that $E$ is generated over $F$ by $a$ using the field operations and the operators. This result generalizes the Primitive Element Theorems by Kolchin and Cohn in two directions simultaneously: we allow any numbers of derivations and automorphisms and do not impose any restrictions on the base field $F$. △ Less

Submitted 13 September, 2019; v1 submitted 29 December, 2018; originally announced December 2018.

SIAN: software for structural identifiability analysis of ODE models

Authors: Hoon Hong, Alexey Ovchinnikov, Gleb Pogudin, Chee Yap

Abstract: Biological processes are often modeled by ordinary differential equations with unknown parameters. The unknown parameters are usually estimated from experimental data. In some cases, due to the structure of the model, this estimation problem does not have a unique solution even in the case of continuous noise-free data. It is therefore desirable to check the uniqueness a priori before carrying out… ▽ More Biological processes are often modeled by ordinary differential equations with unknown parameters. The unknown parameters are usually estimated from experimental data. In some cases, due to the structure of the model, this estimation problem does not have a unique solution even in the case of continuous noise-free data. It is therefore desirable to check the uniqueness a priori before carrying out actual experiments. We present a new software SIAN (Structural Identifiability ANalyser) that does this. Our software can tackle problems that could not be tackled by previously developed packages. △ Less

Submitted 25 December, 2018; originally announced December 2018.

Comments: This article has been accepted for publication in Bioinformatics published by Oxford University Press

Journal ref: Bioinformatics 35 (2019) 2873-2874

Degree bound for toric envelope of a linear algebraic group

Authors: Eli Amzallag, Andrei Minchenko, Gleb Pogudin

Abstract: Algorithms working with linear algebraic groups often represent them via defining polynomial equations. One can always choose defining equations for an algebraic group to be of the degree at most the degree of the group as an algebraic variety. However, the degree of a linear algebraic group $G \subset \mathrm{GL}_n(C)$ can be arbitrarily large even for $n = 1$. One of the key ingredients of Hrush… ▽ More Algorithms working with linear algebraic groups often represent them via defining polynomial equations. One can always choose defining equations for an algebraic group to be of the degree at most the degree of the group as an algebraic variety. However, the degree of a linear algebraic group $G \subset \mathrm{GL}_n(C)$ can be arbitrarily large even for $n = 1$. One of the key ingredients of Hrushovski's algorithm for computing the Galois group of a linear differential equation was an idea to `approximate' every algebraic subgroup of $\mathrm{GL}_n(C)$ by a `similar' group so that the degree of the latter is bounded uniformly in $n$. Making this uniform bound computationally feasible is crucial for making the algorithm practical. In this paper, we derive a single-exponential degree bound for such an approximation (we call it toric envelope), which is qualitatively optimal. As an application, we improve the quintuply exponential bound for the first step of the Hrushovski's algorithm due to Feng to a single-exponential bound. For the cases $n = 2, 3$ often arising in practice, we further refine our general bound. △ Less

Submitted 28 August, 2021; v1 submitted 17 September, 2018; originally announced September 2018.

Comments: Accepted to Mathematics of Computation, 27 months between the submission and the first report

Irredundant Triangular Decomposition

Authors: Gleb Pogudin, Agnes Szanto

Abstract: Triangular decomposition is a classic, widely used and well-developed way to represent algebraic varieties with many applications. In particular, there exist sharp degree bounds for a single triangular set in terms of intrinsic data of the variety it represents, and powerful randomized algorithms for computing triangular decompositions using Hensel lifting in the zero-dimensional case and for irre… ▽ More Triangular decomposition is a classic, widely used and well-developed way to represent algebraic varieties with many applications. In particular, there exist sharp degree bounds for a single triangular set in terms of intrinsic data of the variety it represents, and powerful randomized algorithms for computing triangular decompositions using Hensel lifting in the zero-dimensional case and for irreducible varieties. However, in the general case, most of the algorithms computing triangular decompositions produce embedded components, which makes it impossible to directly apply the intrinsic degree bounds. This, in turn, is an obstacle for efficiently applying Hensel lifting due to the higher degrees of the output polynomials and the lower probability of success. In this paper, we give an algorithm to compute an irredundant triangular decomposition of an arbitrary algebraic set $W$ defined by a set of polynomials in C[x_1, x_2, ..., x_n]. Using this irredundant triangular decomposition, we were able to give intrinsic degree bounds for the polynomials appearing in the triangular sets and apply Hensel lifting techniques. Our decomposition algorithm is randomized, and we analyze the probability of success. △ Less

Submitted 7 June, 2018; v1 submitted 5 February, 2018; originally announced February 2018.

MSC Class: 14Q15; 13P15; 68W30

Global Identifiability of Differential Models

Authors: Hoon Hong, Alexey Ovchinnikov, Gleb Pogudin, Chee Yap

Abstract: Many real-world processes and phenomena are modeled using systems of ordinary differential equations with parameters. Given such a system, we say that a parameter is globally identifiable if it can be uniquely recovered from input and output data. The main contribution of this paper is to provide theory, an algorithm, and software for deciding global identifiability. First, we rigorously derive an… ▽ More Many real-world processes and phenomena are modeled using systems of ordinary differential equations with parameters. Given such a system, we say that a parameter is globally identifiable if it can be uniquely recovered from input and output data. The main contribution of this paper is to provide theory, an algorithm, and software for deciding global identifiability. First, we rigorously derive an algebraic criterion for global identifiability (this is an analytic property), which yields a deterministic algorithm. Second, we improve the efficiency by randomizing the algorithm while guaranteeing the probability of correctness. With our new algorithm, we can tackle problems that could not be tackled before. A software based on the algorithm (called SIAN) is available at https://github.com/pogudingleb/SIAN. △ Less

Submitted 23 May, 2023; v1 submitted 24 January, 2018; originally announced January 2018.

MSC Class: 12H05; 14Q20; 68W20; 68W30; 93C15; 93B25; 93B40; 93A30

Journal ref: Communications on Pure and Applied Mathematics 73 (2020) 1831-1879

Effective difference elimination and Nullstellensatz

Authors: Alexey Ovchinnikov, Gleb Pogudin, Thomas Scanlon

Abstract: We prove effective Nullstellensatz and elimination theorems for difference equations in sequence rings. More precisely, we compute an explicit function of geometric quantities associated to a system of difference equations (and these geometric quantities may themselves be bounded by a function of the number of variables, the order of the equations, and the degrees of the equations) so that for any… ▽ More We prove effective Nullstellensatz and elimination theorems for difference equations in sequence rings. More precisely, we compute an explicit function of geometric quantities associated to a system of difference equations (and these geometric quantities may themselves be bounded by a function of the number of variables, the order of the equations, and the degrees of the equations) so that for any system of difference equations in variables $\mathbf{x} = (x_1, \ldots, x_m)$ and $\mathbf{u} = (u_1, \ldots, u_r)$, if these equations have any nontrivial consequences in the $\mathbf{x}$ variables, then such a consequence may be seen algebraically considering transforms up to the order of our bound. Specializing to the case of $m = 0$, we obtain an effective method to test whether a given system of difference equations is consistent. △ Less

Submitted 24 January, 2019; v1 submitted 4 December, 2017; originally announced December 2017.

MSC Class: 12H10; 13P25 (Primary); 14Q20; 03C10; 03C60 (Secondary)

Journal ref: Journal of the European Mathematical Society 22 (2020) 2419-2452

Power series expansions for the planar monomer-dimer problem

Authors: Gleb Pogudin

Abstract: We compute the free energy of the planar monomer-dimer model. Unlike the classical planar dimer model, an exact solution is not known in this case. Even the computation of the low-density power series expansion requires heavy and nontrivial computations. Despite of the exponential computational complexity, we compute almost three times more terms than were previously known. Such an expansion provi… ▽ More We compute the free energy of the planar monomer-dimer model. Unlike the classical planar dimer model, an exact solution is not known in this case. Even the computation of the low-density power series expansion requires heavy and nontrivial computations. Despite of the exponential computational complexity, we compute almost three times more terms than were previously known. Such an expansion provides both lower and upper bound for the free energy, and allows to obtain more accurate numerical values than previously possible. We expect that our methods can be applied to other similar problems. △ Less

Submitted 17 August, 2017; v1 submitted 29 May, 2017; originally announced May 2017.

Journal ref: Phys. Rev. E 96, 033303 (2017)

Bounds for Substituting Algebraic Functions into D-finite Functions

Authors: Manuel Kauers, Gleb Pogudin

Abstract: It is well known that the composition of a D-finite function with an algebraic function is again D-finite. We give the first estimates for the orders and the degrees of annihilating operators for the compositions. We find that the analysis of removable singularities leads to an order-degree curve which is much more accurate than the order-degree curve obtained from the usual linear algebra reasoni… ▽ More It is well known that the composition of a D-finite function with an algebraic function is again D-finite. We give the first estimates for the orders and the degrees of annihilating operators for the compositions. We find that the analysis of removable singularities leads to an order-degree curve which is much more accurate than the order-degree curve obtained from the usual linear algebra reasoning. △ Less

Submitted 26 May, 2017; v1 submitted 26 January, 2017; originally announced January 2017.

Products of Ideals and Jet Schemes

Authors: Gleb Pogudin

Abstract: In the present paper, we give a full description of the jet schemes of the polynomial ideal $\left( x_1\ldots x_n \right) \in k[x_1, \ldots, x_n]$ over a field of zero characteristic. We use this description to answer questions about products and intersections of ideals emerged recently in algorithmic studies of algebraic differential equations. In the present paper, we give a full description of the jet schemes of the polynomial ideal $\left( x_1\ldots x_n \right) \in k[x_1, \ldots, x_n]$ over a field of zero characteristic. We use this description to answer questions about products and intersections of ideals emerged recently in algorithmic studies of algebraic differential equations. △ Less

Submitted 2 December, 2018; v1 submitted 14 October, 2016; originally announced October 2016.

MSC Class: 12H20; 12H05; 14B10

Bounds for elimination of unknowns in systems of differential-algebraic equations

Authors: Alexey Ovchinnikov, Gleb Pogudin, N. Thieu Vo

Abstract: Elimination of unknowns in systems of equations, starting with Gaussian elimination, is a problem of general interest. The problem of finding an a priori upper bound for the number of differentiations in elimination of unknowns in a system of differential-algebraic equations (DAEs) is an important challenge, going back to Ritt (1932). The first characterization of this via an asymptotic analysis i… ▽ More Elimination of unknowns in systems of equations, starting with Gaussian elimination, is a problem of general interest. The problem of finding an a priori upper bound for the number of differentiations in elimination of unknowns in a system of differential-algebraic equations (DAEs) is an important challenge, going back to Ritt (1932). The first characterization of this via an asymptotic analysis is due to Grigoriev's result (1989) on quantifier elimination in differential fields, but the challenge still remained. In this paper, we present a new bound, which is a major improvement over the previously known results. We also present a new lower bound, which shows asymptotic tightness of our upper bound in low dimensions, which are frequently occurring in applications. Finally, we discuss applications of our results to designing new algorithms for elimination of unknowns in systems of DAEs. △ Less

Submitted 5 October, 2020; v1 submitted 13 October, 2016; originally announced October 2016.

Comments: minor revision

MSC Class: 12H05; 12H20; 14Q20; 34A09

Complexity of Triangular Representations of Algebraic Sets

Authors: Eli Amzallag, Gleb Pogudin, Mengxiao Sun, Thieu N. Vo

Abstract: Triangular decomposition is one of the standard ways to represent the radical of a polynomial ideal. A general algorithm for computing such a decomposition was proposed by A. Szanto. In this paper, we give the first complete bounds for the degrees of the polynomials and the number of components in the output of the algorithm, providing explicit formulas for these bounds. Triangular decomposition is one of the standard ways to represent the radical of a polynomial ideal. A general algorithm for computing such a decomposition was proposed by A. Szanto. In this paper, we give the first complete bounds for the degrees of the polynomials and the number of components in the output of the algorithm, providing explicit formulas for these bounds. △ Less

Submitted 17 September, 2018; v1 submitted 30 September, 2016; originally announced September 2016.

MSC Class: 14Q20; 13P10; 68W30

New order bounds in differential elimination algorithms

Authors: Richard Gustavson, Alexey Ovchinnikov, Gleb Pogudin

Abstract: We present a new upper bound for the orders of derivatives in the Rosenfeld-Groebner algorithm. This algorithm computes a regular decomposition of a radical differential ideal in the ring of differential polynomials over a differential field of characteristic zero with an arbitrary number of commuting derivations. This decomposition can then be used to test for membership in the given radical diff… ▽ More We present a new upper bound for the orders of derivatives in the Rosenfeld-Groebner algorithm. This algorithm computes a regular decomposition of a radical differential ideal in the ring of differential polynomials over a differential field of characteristic zero with an arbitrary number of commuting derivations. This decomposition can then be used to test for membership in the given radical differential ideal. In particular, this algorithm allows us to determine whether a system of polynomial PDEs is consistent. Previously, the only known order upper bound was given by Golubitsky, Kondratieva, Moreno Maza, and Ovchinnikov for the case of a single derivation. We achieve our bound by associating to the algorithm antichain sequences whose lengths can be bounded using the results of Leon Sanchez and Ovchinnikov. △ Less

Submitted 30 November, 2016; v1 submitted 31 January, 2016; originally announced February 2016.

MSC Class: 12H05; 12H20; 14Q20

Journal ref: Journal of Symbolic Computation 85 (2018) 128-147

A differential analog of the Noether normalization lemma

Authors: Gleb Pogudin

Abstract: In this paper, we prove the following differential analog of the Noether normalization lemma: for every $d$-dimensional differential algebraic variety over differentially closed field of zero characteristic there exists a surjective map onto the $d$-dimensional affine space. Equivalently, for every integral differential algebra $A$ over differential field of zero characteristic there exist diffe… ▽ More In this paper, we prove the following differential analog of the Noether normalization lemma: for every $d$-dimensional differential algebraic variety over differentially closed field of zero characteristic there exists a surjective map onto the $d$-dimensional affine space. Equivalently, for every integral differential algebra $A$ over differential field of zero characteristic there exist differentially independent $b_1, \ldots, b_d$ such that $A$ is differentially algebraic over subalgebra $B$ differentially generated by $b_1, \ldots, b_d$, and whenever $\mathfrak{p} \subset B$ is a prime differential ideal, there exists a prime differential ideal $\mathfrak{q} \subset A$ such that $\mathfrak{p} = B \cap \mathfrak{q}$. We also prove the analogous theorem for differential algebraic varieties over the ring of formal power series over an algebraically closed differential field and present some applications to differential equations. △ Less

Submitted 5 June, 2018; v1 submitted 8 August, 2015; originally announced August 2015.

MSC Class: 12H05

Journal ref: International Mathematics Research Notices, vol. 2018(4), pp. 1177-1199, 2018

Prime Lie algebras satisfying the standard Lie identity of degree 5

Authors: G. A. Pogudin, Yu. P. Razmyslov

Abstract: For every commutative differential algebra one can define the Lie algebra of special derivations. It is known for years that not every Lie algebra can be embedded to the Lie algebra of special derivations of some differential algebra. More precisely, the Lie algebra of special derivations of a commutative algebra always satisfy the standard Lie identity of degree $5$. The problem of existenc… ▽ More For every commutative differential algebra one can define the Lie algebra of special derivations. It is known for years that not every Lie algebra can be embedded to the Lie algebra of special derivations of some differential algebra. More precisely, the Lie algebra of special derivations of a commutative algebra always satisfy the standard Lie identity of degree $5$. The problem of existence of such embedding is a long-standing problem (see \cite{YuPSt5,PoinsotAAM,Poinsot}), which is closely related to the Lie algebra of vector fields on the affine line (see \cite{YuPSt5}). It was solved by Razmyslov in \cite{YuPSt5} for simple Lie algebras satisfying this identity (see also \cite[Th. 16]{Poinsot}). We extend this result to prime (and semiprime) Lie algebras over a field of zero characteristic satisfying the standard Lie identity of degree~$5$. As an application, we prove that for any semiprime Lie algebra the standard identity $St_5$ implies all other identities of the Lie algebra of polynomial vector fields on the affine line. We also generalize some previous results about primeness of the Lie algebra of special derivations of a prime differential algebra to the case of non-unitary differential algebra. △ Less

Submitted 23 August, 2016; v1 submitted 23 July, 2015; originally announced July 2015.

MSC Class: 17B66; 17B01

Journal ref: Journal of Algebra, vol. 468, pp 182--192, 2016

The primitive element theorem for differential fields with zero derivation on the ground field

Authors: Gleb A. Pogudin

Abstract: In this paper we strengthen Kolchin's theorem ([1]) in the ordinary case. It states that if a differential field $E$ is finitely generated over a differential subfield $F \subset E$, $trdeg_F E < \infty$, and $F$ contains a nonconstant, i.e. an element $f$ such that $f^{\prime} \neq 0$, then there exists $a \in E$ such that $E$ is generated by $a$ and $F$. We replace the last condition with th… ▽ More In this paper we strengthen Kolchin's theorem ([1]) in the ordinary case. It states that if a differential field $E$ is finitely generated over a differential subfield $F \subset E$, $trdeg_F E < \infty$, and $F$ contains a nonconstant, i.e. an element $f$ such that $f^{\prime} \neq 0$, then there exists $a \in E$ such that $E$ is generated by $a$ and $F$. We replace the last condition with the existence of a nonconstant element in $E$. △ Less

Submitted 1 April, 2019; v1 submitted 12 September, 2014; originally announced September 2014.

Comments: 6 pages

Journal ref: Journal of Pure and Applied Algebra, 2015, Vol. 219, no. 9, P. 4035-4041

Prime differential nilalgebra exists

Authors: Gleb Pogudin

Abstract: We construct a monomorphism from the differential algebra $k\{x\} / [x^m]$ to a Grassmann algebra endowed with a structure of differential algebra. Using this monomorphism we prove primality of $k\{x\} / [x^m]$ and its algebra of differential polynomials, solve one of Ritt's problems and give a new proof of integrality of the ideal $[x^m]$. We construct a monomorphism from the differential algebra $k\{x\} / [x^m]$ to a Grassmann algebra endowed with a structure of differential algebra. Using this monomorphism we prove primality of $k\{x\} / [x^m]$ and its algebra of differential polynomials, solve one of Ritt's problems and give a new proof of integrality of the ideal $[x^m]$. △ Less

Submitted 5 October, 2014; v1 submitted 21 April, 2013; originally announced April 2013.

Comments: 4 pages

MSC Class: 13N99

Journal ref: Moscow University Mathematics Bulletin, January 2014, Volume 69, Issue 1, pp 33-36