arXiv subjects

Anne Shiu

Publications and source records attributed to Anne Shiu.

At least 19 recordsLinked to original sources

arXiv2025

Convexity of Neural Codes with Four Maximal Codewords

Place cells are neurons that act as biological position sensors, associated with and firing in response to regions of an environment to situate an organism in space. These associations are recorded in (combinatorial) neural codes, motivating the following mathematical question: Which neural codes are generated by a collection of convex open sets in Euclidean space? Giusti and Itskov showed that a necessary condition for convexity is the absence of ``local obstructions." This necessary condition is, in fact, sufficient for certain families of codes. One such family consists of all codes with up to three maximal codewords. In this article, we investigate codes with four maximal codewords, showing that for many such codes, convexity is characterized by the absence of local obstructions, whereas for other such codes, convexity is characterized by the absence of local obstructions and a second type of obstruction, a ``wheel". Key to our analysis is a case-by-case investigation based on the nerve complex of the set of maximal codewords of a neural code. Up to symmetry, there are 20 possible nerves; and our results fully characterize convexity in 15 of the 20 cases.

math.CO↗

arXiv2025

Structural Identifiability of Compartmental Models: Recent Progress and Future Directions

We summarize recent progress on the theory and applications of structural identifiability of compartmental models. On the applications side, we review identifiability analyses undertaken recently for models arising in epidemiology, oncology, and other areas; and we summarize common approaches for handling models that are unidentifiable. We also highlight recent theoretical and algorithmic results on how to reparametrize unidentifiable models and, in the context of linear compartmental models, how to predict identifiability properties directly from the model structure. Finally, we highlight future research directions.

stat.ME↗

arXiv2025

Parameter Identifiability of Linear-Compartmental Mammillary Models

Linear compartmental models are a widely used tool for analyzing systems arising in biology, medicine, and more. In such settings, it is essential to know whether model parameters can be recovered from experimental data. This is the identifiability problem. For a class of linear compartmental models with one input and one output, namely, those for which the underlying graph is a bidirected tree, Bortner et al. completely characterized which such models are structurally identifiability, which means that every parameter is generically locally identifiable. Here, we delve deeper, by examining which individual parameters are locally versus globally identifiable. Specifically, we analyze mammillary models, which consist of one central compartment which is connected to all other (peripheral) compartments. For these models, which fall into five infinite families, we determine which individual parameters are locally versus globally identifiable, and we give formulas for some of the globally identifiable parameters in terms of the coefficients of input-output equations. Our proofs rely on a combinatorial formula due to Bortner et al. for these coefficients.

math.CO↗

arXiv2025

From chemical reaction networks to algebraic and polyhedral geometry -- and back again

This is a chapter for a book in honor of Bernd Sturmfels and his contributions. We describe the contributions by Bernd Sturmfels and his collaborators in harnessing algebraic and combinatorial methods for analyzing chemical reaction networks. Topics explored include the steady-state variety, counting steady states, and the global attractor conjecture. We also recount some personal stories that highlight Sturmfels's long-lasting impact on this research area.

math.AG↗

arXiv2024

Identifiability of directed-cycle and catenary linear compartment models

A parameter of a mathematical model is structurally identifiable if it can be determined from noiseless experimental data. Here, we examine the identifiability properties of two important classes of linear compartmental models: directed-cycle models and catenary models (models for which the underlying graph is a directed cycle or a bidirected path, respectively). Our main result is a complete characterization of the directed-cycle models for which every parameter is (generically locally) identifiable. Additionally, for catenary models, we give a formula for their input-output equations. Such equations are used to analyze identifiability, so we expect our formula to support future analyses into the identifiability of catenary models. Our proofs rely on prior results on input-output equations, and we also use techniques from linear algebra and graph theory.

math.CO↗

arXiv2023

Absolute concentration robustness: Algebra and geometry

Motivated by the question of how biological systems maintain homeostasis in changing environments, Shinar and Feinberg introduced in 2010 the concept of absolute concentration robustness (ACR). A biochemical system exhibits ACR in some species if the steady-state value of that species does not depend on initial conditions. Thus, a system with ACR can maintain a constant level of one species even as the environment changes. Despite a great deal of interest in ACR in recent years, the following basic question remains open: How can we determine quickly whether a given biochemical system has ACR? Although various approaches to this problem have been proposed, we show that they are incomplete. Accordingly, we present new methods for deciding ACR, which harness computational algebra. We illustrate our results on several biochemical signaling networks.

math.AG↗

arXiv2023

Absolute Concentration Robustness and Multistationarity in Reaction Networks: Conditions for Coexistence

Many reaction networks arising in applications are multistationary, that is, they have the capacity for more than one steady state; while some networks exhibit absolute concentration robustness (ACR), which means that some species concentration is the same at all steady states. Both multistationarity and ACR are significant in biological settings, but only recently has attention focused on the possibility for these properties to coexist. Our main result states that such coexistence in at-most-bimolecular networks (which encompass most networks arising in biology) requires at least $3$ species, $5$ complexes, and $3$ reactions. We prove additional bounds on the number of reactions for general networks based on the number of linear conservation laws. Finally, we prove that, outside of a few exceptional cases, ACR is equivalent to non-multistationarity for bimolecular networks that are small (more precisely, one-dimensional or up to two species). Our proofs involve analyses of systems of sparse polynomials, and we also use classical results from chemical reaction network theory.

math.DS↗

arXiv2023

Deficiency of chemical reaction networks: The effect of operations that preserve multistationarity and periodic orbits

We investigate six operations on chemical reaction networks, all of which have been proven to preserve important dynamical properties, namely, the capacity for nondegenerate multistationarity (multiple steady states) and periodic orbits. Both multistationarity and periodic orbits are properties that are known to be precluded when the deficiency (a nonnegative integer associated to a network) is zero. It is therefore natural to conjecture that the deficiency never decreases when any of the six aforementioned network operations are performed. We prove that this is indeed the case, and moreover, we characterize the numerical difference in deficiency after performing each network operation.

math.DS↗

arXiv2023

On the connectedness of multistationarity regions of small reaction networks

A multistationarity region is the part of a reaction network's parameter space that gives rise to multiple steady states. Mathematically, this region consists of the positive parameters for which a parametrized family of polynomial equations admits two or more positive roots. Much recent work has focused on analyzing multistationarity regions of biologically significant reaction networks and determining whether such regions are connected; indeed, a better understanding of the topology and geometry of such regions may help elucidate how robust multistationarity is to perturbations. Here we focus on the multistationarity regions of small networks, those with few species and few reactions. For two families of such networks -- those with one species and up to three reactions, and those with two species and up to two reactions -- we prove that the resulting multistationarity regions are connected. We also give an example of a network with one species and six reactions for which the multistationarity region is disconnected. Our proofs rely on the formula for the discriminant of a trinomial, a classification of small multistationary networks, and a recent result of Feliu and Telek that partially generalizes Descartes' rule of signs.

math.DS↗

arXiv2023

Prevalence of multistationarity and absolute concentration robustness in reaction networks

For reaction networks arising in systems biology, the capacity for two or more steady states, that is, multistationarity, is an important property that underlies biochemical switches. Another property receiving much attention recently is absolute concentration robustness (ACR), which means that some species concentration is the same at all positive steady states. In this work, we investigate the prevalence of each property while paying close attention to when the properties occur together. Specifically, we consider a stochastic block framework for generating random networks, and prove edge-probability thresholds at which - with high probability - multistationarity appears and ACR becomes rare. We also show that the small window in which both properties occur only appears in networks with many species. Taken together, our results confirm that, in random reversible networks, ACR and multistationarity together, or even ACR on its own, is highly atypical. Our proofs rely on two prior results, one pertaining to the prevalence of networks with deficiency zero, and the other "lifting" multistationarity from small networks to larger ones.

math.PR↗

arXiv2021

Wheels: A New Criterion for Non-convexity of Neural Codes

We introduce new geometric and combinatorial criteria that preclude a neural code from being convex, and use them to tackle the classification problem for codes on six neurons. Along the way, we give the first example of a code that is non-convex, has no local obstructions, and has simplicial complex of dimension two. We also characterize convexity for neural codes for which the simplicial complex is pure of low or high dimension.

math.CO↗

arXiv2021

Identifiability of linear compartmental tree models and a general formula for input-output equations

A foundational question in the theory of linear compartmental models is how to assess whether a model is structurally identifiable -- that is, whether parameter values can be inferred from noiseless data -- directly from the combinatorics of the model. Our main result completely answers this question for models (with one input and one output) in which the underlying graph is a bidirectional tree; moreover, identifiability of such models can be verified visually}. Models of this structure include two families of models often appearing in biological applications: catenary and mammillary models. Our analysis of such models is enabled by two supporting results, which are significant in their own right. One result gives the first general formula for the coefficients of input-output equations (certain equations that can be used to determine identifiability) that allows for input and output to be in distinct compartments}. In another supporting result, we prove that identifiability is preserved when a model is enlarged and altered in specific ways involving adding a new compartment with a bidirected edge to an existing compartment.

math.DS↗

arXiv2021

Absolute concentration robustness in networks with low-dimensional stoichiometric subspace

A reaction system exhibits "absolute concentration robustness" (ACR) in some species if the positive steady-state value of that species does not depend on initial conditions. Mathematically, this means that the positive part of the variety of the steady-state ideal lies entirely in a hyperplane of the form $x_i=c$, for some $c>0$. Deciding whether a given reaction system -- or those arising from some reaction network -- exhibits ACR is difficult in general, but here we show that for many simple networks, assessing ACR is straightforward. Indeed, our criteria for ACR can be performed by simply inspecting a network or its standard embedding into Euclidean space. Our main results pertain to networks with many conservation laws, so that all reactions are parallel to one other. Such "one-dimensional" networks include those networks having only one species. We also consider networks with only two reactions, and show that ACR is characterized by a well-known criterion of Shinar and Feinberg. Finally, up to some natural ACR-preserving operations -- relabeling species, lengthening a reaction, and so on -- only three families of networks with two reactions and two species have ACR. Our results are proven using algebraic and combinatorial techniques.

math.DS↗

arXiv2021

Identifiability of Linear Compartmental Models: The Impact of Removing Leaks and Edges

A mathematical model is identifiable if its parameters can be recovered from data. Here, we focus on a particular class of model, linear compartmental models, which are used to represent the transfer of substances in a system. We analyze what happens to identifiability when operations are performed on a model, specifically, adding or deleting a leak or an edge. We first consider the conjecture of Gross et al. that states that removing a leak from an identifiable model yields a model that is again identifiable. We prove a special case of this conjecture, and also show that the conjecture is equivalent to asserting that leak terms do not divide the so-called singular-locus equation. As for edge terms that do divide this equation, we conjecture that removing any one of these edges makes the model become unidentifiable,and then prove a case of this somewhat surprising conjecture.

math.DS↗

arXiv2020

Nondegenerate Neural Codes and Obstructions to Closed-Convexity

Previous work on convexity of neural codes has produced codes that are open-convex but not closed-convex -- or vice-versa. However, why a code is one but not the other, and how to detect such discrepancies are open questions. We tackle these questions in two ways. First, we investigate the concept of degeneracy introduced by Cruz et al., and extend their results to show that nondegeneracy precisely captures the situation when taking closures or interiors of open or closed realizations, respectively, yields another realization of the code. Second, we give the first general criteria for precluding a code from being closed-convex (without ruling out open-convexity), unifying ad-hoc geometric arguments in prior works. One criterion is built on a phenomenon we call a rigid structure, while the other can be stated algebraically, in terms of the neural ideal of the code. These results complement existing criteria having the opposite purpose: precluding open-convexity but not closed-convexity. Finally, we show that a family of codes shown by Jeffs to be not open-convex is in fact closed-convex and realizable in dimension two.

math.CO↗

arXiv2020

Neural Codes With Three Maximal Codewords: Convexity and Minimal Embedding Dimension

Neural codes, represented as collections of binary strings called codewords, are used to encode neural activity. A code is called convex if its codewords are represented as an arrangement of convex open sets in Euclidean space. Previous work has focused on addressing the question: how can we tell when a neural code is convex? Giusti and Itskov identified a local obstruction and proved that convex neural codes have no local obstructions. The converse is true for codes on up to four neurons, but false in general. Nevertheless, we prove this converse holds for codes with up to three maximal codewords, and moreover the minimal embedding dimension of such codes is at most two.

math.CO↗

arXiv2020

Mixed volume of small reaction networks

An important invariant of a chemical reaction network is its maximum number of positive steady states. This number, however, is in general difficult to compute. Nonetheless, there is an upper bound on this number -- namely, a network's mixed volume -- that is easy to compute. Moreover, recent work has shown that, for certain biological signaling networks, the mixed volume does not greatly exceed the maximum number of positive steady states. Continuing this line of research, we further investigate this overcount and also compute the mixed volumes of small networks, those with only a few species or reactions.

q-bio.MN↗

arXiv2019

Non-monotonicity of closed convexity in neural codes

Neural codes are lists of subsets of neurons that fire together. Of particular interest are neurons called place cells, which fire when an animal is in specific, usually convex regions in space. A fundamental question, therefore, is to determine which neural codes arise from the regions of some collection of open convex sets or closed convex sets in Euclidean space. This work focuses on how these two classes of codes -- open convex and closed convex codes -- are related. As a starting point, open convex codes have a desirable monotonicity property, namely, adding non-maximal codewords preserves open convexity; but here we show that this property fails to hold for closed convex codes. Additionally, while adding non-maximal codewords can only increase the open embedding dimension by 1, here we demonstrate that adding a single such codeword can increase the closed embedding dimension by an arbitrarily large amount. Finally, we disprove a conjecture of Goldrup and Phillipson, and also present an example of a code that is neither open convex nor closed convex.

math.CO↗