-
Identifiability and Observability Analysis for Epidemiological Models: Insights on the SIRS Model
Authors:
Alicja B Kubik,
Benjamin Ivorra,
Alain Rapaport,
Ángel M Ramos
Abstract:
The problems of observability and identifiability have been of great interest as previous steps to estimating parameters and initial conditions of dynamical systems to which some known data (observations) are associated. While most works focus on linear and polynomial/rational systems of ODEs, general nonlinear systems have received far less attention and, to the best of our knowledge, no general…
▽ More
The problems of observability and identifiability have been of great interest as previous steps to estimating parameters and initial conditions of dynamical systems to which some known data (observations) are associated. While most works focus on linear and polynomial/rational systems of ODEs, general nonlinear systems have received far less attention and, to the best of our knowledge, no general constructive methodology has been proposed to assess and guarantee parameter and state recoverability in this context. We consider a class of systems of parameterized nonlinear ODEs and some observations, and study if a system of this class is observable, identifiable or jointly observable-identifiable; our goal is to identify its parameters and/or reconstruct the initial condition from the data. To achieve this, we introduce a family of efficient and fully constructive procedures that allow recoverability of the unknowns with low computational cost and address the aforementioned gap. Each procedure is tailored to different observational scenarios and based on the resolution of linear systems. As a case study, we apply these procedures to several epidemic models, with a detailed focus on the SIRS model, demonstrating its joined observability-identifiability when only a portion of the infected individuals is measured, a scenario that has not been studied before. In contrast, for the same observations, the SIR model is observable and identifiable, but not jointly observable-identifiable. This distinction allows us to introduce a novel approach to discriminating between different epidemiological models (SIR vs. SIRS) from short-time data. For these two models, we illustrate the theoretical results through some numerical experiments, validating the approach and highlighting its practical applicability to real-world scenarios.
△ Less
Submitted 13 June, 2025;
originally announced June 2025.
-
About identifiability and observability for a class of dynamical systems
Authors:
Alicja B Kubik,
Alain Rapaport,
Benjamin Ivorra,
Ángel M Ramos
Abstract:
In this note, we propose a novel approach for a class of autonomous dynamical systems that allows, given some observations of the solutions, to identify its parameters and reconstruct the state vector. This approach relies on proving the linear independence between some functions depending on the observations and its derivatives. In particular, we show that, in some cases, only low-order derivativ…
▽ More
In this note, we propose a novel approach for a class of autonomous dynamical systems that allows, given some observations of the solutions, to identify its parameters and reconstruct the state vector. This approach relies on proving the linear independence between some functions depending on the observations and its derivatives. In particular, we show that, in some cases, only low-order derivatives are necessary, opposed to classical approaches that need more derivation. We also provide different constructive procedures to retrieve the unknowns, which are based on the resolution of some linear systems. Moreover, under some analytic conditions, these unknowns may be retrieved with very few data. We finally apply this approach to some illustrative examples.
△ Less
Submitted 21 August, 2024;
originally announced August 2024.
-
Minimal Free Resolutions of Edge Ideals of Edge-Weighted Complete Bipartite Graphs
Authors:
Bethany Kubik,
Denise Rangel Tracy,
Keri Ann Sather-Wagstaff
Abstract:
We explicitly describe cellular minimal free resolutions of certain classes of edge ideals of weighted complete bipartite graphs based on a construction of Visscher. Specifically, we show that Visscher's construction minimally resolves all edge ideals of undirected vertex-weighted complete bipartite graphs, and we characterize the edge-weighted complete bipartite graphs whose edge ideals are minim…
▽ More
We explicitly describe cellular minimal free resolutions of certain classes of edge ideals of weighted complete bipartite graphs based on a construction of Visscher. Specifically, we show that Visscher's construction minimally resolves all edge ideals of undirected vertex-weighted complete bipartite graphs, and we characterize the edge-weighted complete bipartite graphs whose edge ideals are minimally resolved by Visscher's construction.
△ Less
Submitted 29 June, 2024;
originally announced July 2024.
-
On Atomic Density of Numerical Semigroup Algebras
Authors:
A. A. Antoniou,
R. A. C. Edmonds,
B. Kubik,
C. O'Neill,
S. Talbott
Abstract:
A numerical semigroup $S$ is a cofinite, additively-closed subset of the nonnegative integers that contains $0$. In this paper, we initiate the study of atomic density, an asymptotic measure of the proportion of irreducible elements in a given ring or semigroup, for semigroup algebras. It is known that the atomic density of the polynomial ring $\mathbb{F}_q[x]$ is zero for any finite field…
▽ More
A numerical semigroup $S$ is a cofinite, additively-closed subset of the nonnegative integers that contains $0$. In this paper, we initiate the study of atomic density, an asymptotic measure of the proportion of irreducible elements in a given ring or semigroup, for semigroup algebras. It is known that the atomic density of the polynomial ring $\mathbb{F}_q[x]$ is zero for any finite field $\mathbb{F}_q$; we prove that the numerical semigroup algebra $\mathbb{F}_q[S]$ also has atomic density zero for any numerical semigroup~$S$. We also examine the particular algebra $\mathbb{F}_2[x^2,x^3]$ in more detail, providing a bound on the rate of convergence of the atomic density as well as a counting formula for irreducible polynomials using Möbius inversion, comparable to the formula for irreducible polynomials over a finite field $\mathbb{F}_q$.
△ Less
Submitted 6 March, 2021; v1 submitted 3 March, 2020;
originally announced March 2020.
-
Lattice point visibility on generalized lines of sight
Authors:
Edray Herber Goins,
Pamela E. Harris,
Bethany Kubik,
Aba Mbirika
Abstract:
For a fixed $b\in\mathbb{N}=\{1,2,3,\ldots\}$ we say that a point $(r,s)$ in the integer lattice $\mathbb{Z} \times \mathbb{Z}$ is $b$-visible from the origin if it lies on the graph of a power function $f(x)=ax^b$ with $a\in\mathbb{Q}$ and no other integer lattice point lies on this curve (i.e., line of sight) between $(0,0)$ and $(r,s)$. We prove that the proportion of $b$-visible integer lattic…
▽ More
For a fixed $b\in\mathbb{N}=\{1,2,3,\ldots\}$ we say that a point $(r,s)$ in the integer lattice $\mathbb{Z} \times \mathbb{Z}$ is $b$-visible from the origin if it lies on the graph of a power function $f(x)=ax^b$ with $a\in\mathbb{Q}$ and no other integer lattice point lies on this curve (i.e., line of sight) between $(0,0)$ and $(r,s)$. We prove that the proportion of $b$-visible integer lattice points is given by $1/ζ(b+1)$, where $ζ(s)$ denotes the Riemann zeta function. We also show that even though the proportion of $b$-visible lattice points approaches $1$ as $b$ approaches infinity, there exist arbitrarily large rectangular arrays of $b$-invisible lattice points for any fixed $b$. This work specialized to $b=1$ recovers original results from the classical lattice point visibility setting where the lines of sight are given by linear functions with rational slope through the origin.
△ Less
Submitted 12 October, 2017;
originally announced October 2017.
-
The Graph of Critical Pairs of a Crown
Authors:
Fidel Barrera-Cruz,
Rebecca Garcia,
Pamela Harris,
Bethany Kubik,
Heather C. Smith,
Shannon Talbott,
Libby Taylor,
William T. Trotter
Abstract:
There is a natural way to associate with a poset $P$ a hypergraph $H$, called the hypergraph of critical pairs, so that the dimension of $P$ is exactly equal to the chromatic number of $H$. The edges of $H$ have variable sizes, but it is of interest to consider the graph $G$ formed by the edges of $H$ that have size~2. The chromatic number of $G$ is less than or equal to the dimension of $P$ and t…
▽ More
There is a natural way to associate with a poset $P$ a hypergraph $H$, called the hypergraph of critical pairs, so that the dimension of $P$ is exactly equal to the chromatic number of $H$. The edges of $H$ have variable sizes, but it is of interest to consider the graph $G$ formed by the edges of $H$ that have size~2. The chromatic number of $G$ is less than or equal to the dimension of $P$ and the difference between the two values can be arbitrarily large. Nevertheless, there are important instances where the two parameters are the same, and we study one of these in this paper. Our focus is on a family $\{S_n^k:n\ge 3, k\ge 0\}$ of height two posets called crowns. We show that the chromatic number of the graph $G_n^k$ of critical pairs of the crown $S_n^k$ is the same as the dimension of $S_n^k$, which is known to be $\lceil 2(n+k)/(k+2)\rceil$. In fact, this theorem follows as an immediate corollary to the stronger result: The independence number of $G_n^k$ is $(k+1)(k+2)/2$. We obtain this theorem as part of a comprehensive analysis of independent sets in $G_n^k$ including the determination of the second largest size among the maximal independent sets, both the reversible and non-reversible types.
△ Less
Submitted 22 August, 2017;
originally announced August 2017.
-
Upper broadcast domination of toroidal grids and a classification of diametrical trees
Authors:
Erik Insko,
Bethany Kubik,
Candice Price
Abstract:
A broadcast on a graph $G=(V,E)$ is a function $f:V \rightarrow \{0,1, \ldots, \text{diam}(G)\}$ satisfying $f(v) \leq e(v)$ for all $v \in V$, where $e(v)$ denotes the eccentricity of $v$ and $\text{diam}(G)$ denotes the diameter of $G$. We say that a broadcast dominates $G$ if every vertex can hear at least one broadcasting node. The upper domination number is the maximum cost of all possible mi…
▽ More
A broadcast on a graph $G=(V,E)$ is a function $f:V \rightarrow \{0,1, \ldots, \text{diam}(G)\}$ satisfying $f(v) \leq e(v)$ for all $v \in V$, where $e(v)$ denotes the eccentricity of $v$ and $\text{diam}(G)$ denotes the diameter of $G$. We say that a broadcast dominates $G$ if every vertex can hear at least one broadcasting node. The upper domination number is the maximum cost of all possible minimal broadcasts, where the cost of a broadcast is defined as $\text{cost} (f)= \sum_{v \in V}f(v)$. In this paper we establish both the upper domination number and the upper broadcast domination number on toroidal grids. In addition, we classify all diametrical trees, that is, trees whose upper domination number is equal to its diameter.
△ Less
Submitted 17 October, 2016;
originally announced October 2016.
-
Block Circulant Graphs and the Graphs of Critical Pairs of a Crown
Authors:
Rebecca E. Garcia,
Pamela E. Harris,
Bethany Kubik,
Joseph M. Pedersen,
Shannon Talbott
Abstract:
In this paper, we provide a natural bijection between a special family of block circulant graphs and the graphs of critical pairs of the posets known as generalized crowns. In particular, every graph in this family of block circulant graphs we investigate has a generating block row that follows a symmetric growth pattern of the all ones matrix. The natural bijection provides an upper bound on the…
▽ More
In this paper, we provide a natural bijection between a special family of block circulant graphs and the graphs of critical pairs of the posets known as generalized crowns. In particular, every graph in this family of block circulant graphs we investigate has a generating block row that follows a symmetric growth pattern of the all ones matrix. The natural bijection provides an upper bound on the chromatic number for this infinite family of graphs.
△ Less
Submitted 8 March, 2017; v1 submitted 19 October, 2014;
originally announced October 2014.
-
Path Ideals of Weighted Graphs
Authors:
Bethany Kubik,
Sean Sather-Wagstaff
Abstract:
We introduce and study the weighted $r$-path ideal of a weighted graph $G_ω$, which is a common generalization of Conca and De Negri's $r$-path ideal for unweighted graphs and Paulsen and Sather-Wagstaff's edge ideal of the weighted graph. Over a field, we explicitly describe primary decompositions of these ideals, and we characterize Cohen-Macaulayness of these ideals for trees (with arbitrary…
▽ More
We introduce and study the weighted $r$-path ideal of a weighted graph $G_ω$, which is a common generalization of Conca and De Negri's $r$-path ideal for unweighted graphs and Paulsen and Sather-Wagstaff's edge ideal of the weighted graph. Over a field, we explicitly describe primary decompositions of these ideals, and we characterize Cohen-Macaulayness of these ideals for trees (with arbitrary $r$) and complete graphs (for $r=2$).
△ Less
Submitted 7 August, 2014;
originally announced August 2014.
-
Homology of artinian and mini-max modules, II
Authors:
Bethany Kubik,
Micah Leamer,
Sean Sather-Wagstaff
Abstract:
Let R be a commutative ring, and let L and L' be R-modules. We investigate finiteness conditions (e.g., noetherian, artinian, mini-max, Matlis reflexive) of the modules Ext^i_R(L,L') and Tor_i^R(L,L') when L and L' satisfy combinations of these finiteness conditions. For instance, if R is noetherian, then given R-modules M and M' such that M is Matlis reflexive and M' is mini-max (e.g., noetherian…
▽ More
Let R be a commutative ring, and let L and L' be R-modules. We investigate finiteness conditions (e.g., noetherian, artinian, mini-max, Matlis reflexive) of the modules Ext^i_R(L,L') and Tor_i^R(L,L') when L and L' satisfy combinations of these finiteness conditions. For instance, if R is noetherian, then given R-modules M and M' such that M is Matlis reflexive and M' is mini-max (e.g., noetherian or artinian), we prove that Ext^i_R(M,M'), Ext^i_R(M',M), and Tor_i^R(M,M') are Matlis reflexive over R for all i\geq 0 and that Ext^i_R(M,M')^\vee\cong Tor_i^R(M,M'^\vee) and Ext^i_R(M',M)^\vee\cong Tor_i^R(M',M^\vee).
△ Less
Submitted 27 August, 2012;
originally announced August 2012.
-
Quasidualizing Modules
Authors:
Bethany Kubik
Abstract:
We introduce and study "quasidualizing" modules. An artinian R-module T is quasidualizing if the homothety map \hat R\rightarrow Hom(T,T) is an isomorphism and Ext_R^i(T,T)=0 for each integer i>0. Quasidualizing modules are associated to semidualizing modules via Matlis duality. We investigate the associations via Matlis duality between subclasses of the Auslander class and Bass class and subclass…
▽ More
We introduce and study "quasidualizing" modules. An artinian R-module T is quasidualizing if the homothety map \hat R\rightarrow Hom(T,T) is an isomorphism and Ext_R^i(T,T)=0 for each integer i>0. Quasidualizing modules are associated to semidualizing modules via Matlis duality. We investigate the associations via Matlis duality between subclasses of the Auslander class and Bass class and subclasses of derived T-reflexive modules.
△ Less
Submitted 3 February, 2012;
originally announced February 2012.
-
Homology of artinian and Matlis reflexive modules, I
Authors:
Bethany Kubik,
Micah J. Leamer,
Sean Sather-Wagstaff
Abstract:
Let R be a commutative local noetherian ring, and let L and L' be R-modules. We investigate the properties of the functors Tor_i^R(L,-) and Ext^i_R(L,-). For instance, we show the following:
(a) if L is artinian and L' is noetherian, then Hom_R(L,L') has finite length;
(b) if L and L' are artinian, then the tensor product L \otimes_R L' has finite length;
(c) if L and L' are artinian, then T…
▽ More
Let R be a commutative local noetherian ring, and let L and L' be R-modules. We investigate the properties of the functors Tor_i^R(L,-) and Ext^i_R(L,-). For instance, we show the following:
(a) if L is artinian and L' is noetherian, then Hom_R(L,L') has finite length;
(b) if L and L' are artinian, then the tensor product L \otimes_R L' has finite length;
(c) if L and L' are artinian, then Tor_i^R(L,L') is artinian, and Ext^i_R(L,L') is noetherian over the completion \hat R; and
(d) if L is artinian and L' is Matlis reflexive, then Ext^i_R(L,L'), Ext^i_R(L',L), and Tor_i^R(L,L') are Matlis reflexive.
Also, we study the vanishing behavior of these functors, and we include computations demonstrating the sharpness of our results.
△ Less
Submitted 6 October, 2010;
originally announced October 2010.
