Showing 1–11 of 11 results for author: Puente, L D G

Positive Steady-State Varieties of Small Chemical Reaction Networks

Authors: Maize Curiel, Elise Farr, Galileo Fries, Luis David García Puente, Julian Hutchins, Vuong Nguyen Hoang

Abstract: Chemical reaction network theory is a field of applied mathematics concerned with modeling chemical systems, and can be used in other contexts such as in systems biology to study cellular signaling pathways or epidemiology to study the effect of human interaction on the spread of disease. In this paper, we seek to understand a chemical reaction network's equilibrium points through the lens of alge… ▽ More Chemical reaction network theory is a field of applied mathematics concerned with modeling chemical systems, and can be used in other contexts such as in systems biology to study cellular signaling pathways or epidemiology to study the effect of human interaction on the spread of disease. In this paper, we seek to understand a chemical reaction network's equilibrium points through the lens of algebraic geometry by computing the positive part of the steady-state variety defined by polynomial equations arising from the assumption of mass-action kinetics. We provide a systematic classification of positive steady-state varieties produced by 2-species, 2-reaction networks, grounded in combinatorial and algebraic properties. While some (restricted) techniques exist to fully understand the ideal defining the positive steady-state variety, this computation presents a significant challenge in general. Our classification theorems provide a simplification of previous criteria, and aim to provide a foundation for future analysis of larger networks. △ Less

Submitted 13 June, 2024; originally announced June 2024.

MSC Class: 65H10; 92E20; 12D10

Absolute concentration robustness: Algebra and geometry

Authors: Luis David García Puente, Elizabeth Gross, Heather A Harrington, Matthew Johnston, Nicolette Meshkat, Mercedes Pérez Millán, Anne Shiu

Abstract: 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 a… ▽ More 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. △ Less

Submitted 29 December, 2023; originally announced January 2024.

Comments: 44 pages

MSC Class: 37N25; 92E20; 12D10; 37C25; 65H14; 14Q20

Using Exact Tests from Algebraic Statistics in Sparse Multi-way Analyses: An Application to Analyzing Differential Item Functioning

Authors: Shishir Agrawal, Luis David Garcia Puente, Minho Kim, Flavia Sancier-Barbosa

Abstract: Asymptotic goodness-of-fit methods in contingency table analysis can struggle with sparse data, especially in multi-way tables where it can be infeasible to meet sample size requirements for a robust application of distributional assumptions. However, algebraic statistics provides exact alternatives to these classical asymptotic methods that remain viable even with sparse data. We apply these meth… ▽ More Asymptotic goodness-of-fit methods in contingency table analysis can struggle with sparse data, especially in multi-way tables where it can be infeasible to meet sample size requirements for a robust application of distributional assumptions. However, algebraic statistics provides exact alternatives to these classical asymptotic methods that remain viable even with sparse data. We apply these methods to a context in psychometrics and education research that leads naturally to multi-way contingency tables: the analysis of differential item functioning (DIF). We explain concretely how to apply the exact methods of algebraic statistics to DIF analysis using the R package algstat, and we compare their performance to that of classical asymptotic methods. △ Less

Submitted 26 December, 2023; v1 submitted 19 December, 2023; originally announced December 2023.

Comments: 25 pages, tex tweaks; comments welcome

Computing algebraic degrees of phylogenetic varieties

Authors: Luis David Garcia Puente, Marina Garrote-López, Elima Shehu

Abstract: A phylogenetic variety is an algebraic variety parameterized by a statistical model of the evolution of biological sequences along a tree. Understanding this variety is an important problem in the area of algebraic statistics with applications in phylogeny reconstruction. In the broader area of algebra statistics, there have been important theoretical advances in computing certain invariants assoc… ▽ More A phylogenetic variety is an algebraic variety parameterized by a statistical model of the evolution of biological sequences along a tree. Understanding this variety is an important problem in the area of algebraic statistics with applications in phylogeny reconstruction. In the broader area of algebra statistics, there have been important theoretical advances in computing certain invariants associated to algebraic varieties arising in applications. Beyond the dimension and degree of a variety, one is interested in computing other algebraic degrees, such as the maximum likelihood degree and the Euclidean distance degree. Despite these efforts, the current literature lacks explicit computations of these invariants for the particular case of phylogenetic varieties. In our work, we fill this gap by computing these invariants for phylogenetic varieties arising from the simplest group-based models of nucleotide substitution Cavender-Farris-Neyman model, Jukes-Cantor model, Kimura 2-parameter model, and the Kimura 3-parameter model on small phylogenetic trees with at most 5 leaves. △ Less

Submitted 9 February, 2024; v1 submitted 5 October, 2022; originally announced October 2022.

Journal ref: Alg. Stat. 14 (2023) 215-231

Computing Maximum Likelihood Estimates for Gaussian Graphical Models with Macaulay2

Authors: Carlos Améndola, Luis David García Puente, Roser Homs, Olga Kuznetsova, Harshit J. Motwani

Abstract: We introduce the package "GraphicalModelsMLE" for computing the maximum likelihood estimates (MLEs) of a Gaussian graphical model in the computer algebra system Macaulay2. This package allows the computation of MLEs for the class of loopless mixed graphs. Additional functionality allows the user to explore the underlying algebraic structure of the model, such as its maximum likelihood degree and t… ▽ More We introduce the package "GraphicalModelsMLE" for computing the maximum likelihood estimates (MLEs) of a Gaussian graphical model in the computer algebra system Macaulay2. This package allows the computation of MLEs for the class of loopless mixed graphs. Additional functionality allows the user to explore the underlying algebraic structure of the model, such as its maximum likelihood degree and the ideal of score equations. △ Less

Submitted 19 April, 2022; v1 submitted 21 December, 2020; originally announced December 2020.

Comments: 9 pages, 5 figures

MSC Class: 14-04; 62R01; 62H22; 62F10

Journal ref: J. Softw. Alg. Geom. 12 (2022) 1-10

Arithmetical structures on bidents

Authors: Kassie Archer, Abigail Bishop, Alexander Diaz-Lopez, Luis David Garcia Puente, Darren Glass, Joel Louwsma

Abstract: An arithmetical structure on a finite, connected graph $G$ is a pair of vectors $(\mathbf{d}, \mathbf{r})$ with positive integer entries for which $(\operatorname{diag}(\mathbf{d}) - A)\mathbf{r} = \mathbf{0}$, where $A$ is the adjacency matrix of $G$ and where the entries of $\mathbf{r}$ have no common factor. The critical group of an arithmetical structure is the torsion part of the cokernel of… ▽ More An arithmetical structure on a finite, connected graph $G$ is a pair of vectors $(\mathbf{d}, \mathbf{r})$ with positive integer entries for which $(\operatorname{diag}(\mathbf{d}) - A)\mathbf{r} = \mathbf{0}$, where $A$ is the adjacency matrix of $G$ and where the entries of $\mathbf{r}$ have no common factor. The critical group of an arithmetical structure is the torsion part of the cokernel of $(\operatorname{diag}(\mathbf{d}) - A)$. In this paper, we study arithmetical structures and their critical groups on bidents, which are graphs consisting of a path with two "prongs" at one end. We give a process for determining the number of arithmetical structures on the bident with $n$ vertices and show that this number grows at the same rate as the Catalan numbers as $n$ increases. We also completely characterize the groups that occur as critical groups of arithmetical structures on bidents. △ Less

Submitted 10 August, 2020; v1 submitted 4 March, 2019; originally announced March 2019.

Comments: 32 pages

Journal ref: Discrete Math. 343 (2020) 111850

The Sandpile Group of a Thick Cycle Graph

Authors: Diane Christine Alar, Jonathan Celaya, Luis David García Puente, Micah Henson, Ashley K. Wheeler

Abstract: The majority of graphs whose sandpile groups are known are either regular or simple. We give an explicit formula for a family of non-regular multi-graphs called thick cycles. A thick cycle graph is a cycle where multi-edges are permitted. Its sandpile group is the direct sum of cyclic groups of orders given by quotients of greatest common divisors of minors of its Laplacian matrix. We show these g… ▽ More The majority of graphs whose sandpile groups are known are either regular or simple. We give an explicit formula for a family of non-regular multi-graphs called thick cycles. A thick cycle graph is a cycle where multi-edges are permitted. Its sandpile group is the direct sum of cyclic groups of orders given by quotients of greatest common divisors of minors of its Laplacian matrix. We show these greatest common divisors can be expressed in terms of monomials in the graph's edge multiplicities. △ Less

Submitted 16 October, 2017; originally announced October 2017.

Comments: 12 pages

MSC Class: 05E15 ACM Class: G.2.1; G.2.2

Counting Arithmetical Structures on Paths and Cycles

Authors: Benjamin Braun, Hugo Corrales, Scott Corry, Luis David García Puente, Darren Glass, Nathan Kaplan, Jeremy L. Martin, Gregg Musiker, Carlos E. Valencia

Abstract: Let $G$ be a finite, simple, connected graph. An arithmetical structure on $G$ is a pair of positive integer vectors $\mathbf{d},\mathbf{r}$ such that $(\mathrm{diag}(\mathbf{d})-A)\mathbf{r}=0$, where $A$ is the adjacency matrix of $G$. We investigate the combinatorics of arithmetical structures on path and cycle graphs, as well as the associated critical groups (the cokernels of the matrices… ▽ More Let $G$ be a finite, simple, connected graph. An arithmetical structure on $G$ is a pair of positive integer vectors $\mathbf{d},\mathbf{r}$ such that $(\mathrm{diag}(\mathbf{d})-A)\mathbf{r}=0$, where $A$ is the adjacency matrix of $G$. We investigate the combinatorics of arithmetical structures on path and cycle graphs, as well as the associated critical groups (the cokernels of the matrices $(\mathrm{diag}(\mathbf{d})-A)$). For paths, we prove that arithmetical structures are enumerated by the Catalan numbers, and we obtain refined enumeration results related to ballot sequences. For cycles, we prove that arithmetical structures are enumerated by the binomial coefficients $\binom{2n-1}{n-1}$, and we obtain refined enumeration results related to multisets. In addition, we determine the critical groups for all arithmetical structures on paths and cycles. △ Less

Submitted 23 July, 2018; v1 submitted 23 January, 2017; originally announced January 2017.

Journal ref: Discrete Math. 341 (2018), no. 10, 2949-2963

Gröbner Bases of Neural Ideals

Authors: Rebecca Garcia, Luis David García Puente, Ryan Kruse, Jessica Liu, Dane Miyata, Ethan Petersen, Kaitlyn Phillipson, Anne Shiu

Abstract: The brain processes information about the environment via neural codes. The neural ideal was introduced recently as an algebraic object that can be used to better understand the combinatorial structure of neural codes. Every neural ideal has a particular generating set, called the canonical form, that directly encodes a minimal description of the receptive field structure intrinsic to the neural c… ▽ More The brain processes information about the environment via neural codes. The neural ideal was introduced recently as an algebraic object that can be used to better understand the combinatorial structure of neural codes. Every neural ideal has a particular generating set, called the canonical form, that directly encodes a minimal description of the receptive field structure intrinsic to the neural code. On the other hand, for a given monomial order, any polynomial ideal is also generated by its unique (reduced) Gröbner basis with respect to that monomial order. How are these two types of generating sets -- canonical forms and Gröbner bases -- related? Our main result states that if the canonical form of a neural ideal is a Gröbner basis, then it is the universal Gröbner basis (that is, the union of all reduced Gröbner bases). Furthermore, we prove that this situation -- when the canonical form is a Gröbner basis -- occurs precisely when the universal Gröbner basis contains only pseudo-monomials (certain generalizations of monomials). Our results motivate two questions: (1)~When is the canonical form a Gröbner basis? (2)~When the universal Gröbner basis of a neural ideal is {\em not} a canonical form, what can the non-pseudo-monomial elements in the basis tell us about the receptive fields of the code? We give partial answers to both questions. Along the way, we develop a representation of pseudo-monomials as hypercubes in a Boolean lattice. △ Less

Submitted 20 April, 2018; v1 submitted 16 December, 2016; originally announced December 2016.

Comments: 13 pages, 2 figures, 1 table

MSC Class: 92-04 (Primary); 13P25; 68W30 (Secondary)

Neural Ideals in SageMath

Authors: Ethan Petersen, Nora Youngs, Ryan Kruse, Dane Miyata, Rebecca Garcia, Luis David Garcia Puente

Abstract: A major area in neuroscience research is the study of how the brain processes spatial information. Neurons in the brain represent external stimuli via neural codes. These codes often arise from stereotyped stimulus-response maps, associating to each neuron a convex receptive field. An important problem consists in determining what stimulus space features can be extracted directly from a neural cod… ▽ More A major area in neuroscience research is the study of how the brain processes spatial information. Neurons in the brain represent external stimuli via neural codes. These codes often arise from stereotyped stimulus-response maps, associating to each neuron a convex receptive field. An important problem consists in determining what stimulus space features can be extracted directly from a neural code. The neural ideal is an algebraic object that encodes the full combinatorial data of a neural code. This ideal can be expressed in a canonical form that directly translates to a minimal description of the receptive field structure intrinsic to the code. In here, we describe a SageMath package that contains several algorithms related to the canonical form of a neural ideal. △ Less

Submitted 30 September, 2016; originally announced September 2016.

Comments: 8 pages, 2 tables, software available at https://github.com/e6-1/NeuralIdeals

MSC Class: 92-04 (Primary); 13P25; 68W30 (Secondary)

The Avalanche Polynomial of a Graph

Authors: Demara Austin, Megan Chambers, Rebecca Funke, Luis David García Puente, Lauren Keough

Abstract: The (univariate) avalanche polynomial of a graph, introduced by Cori, Dartois and Rossin in 2006, captures the distribution of the length of (principal) avalanches in the abelian sandpile model. This polynomial has been used to show that the avalanche distribution in the sandpile model on a multiple wheel graph does not follow the expected power law function. In this article, we introduce the (mul… ▽ More The (univariate) avalanche polynomial of a graph, introduced by Cori, Dartois and Rossin in 2006, captures the distribution of the length of (principal) avalanches in the abelian sandpile model. This polynomial has been used to show that the avalanche distribution in the sandpile model on a multiple wheel graph does not follow the expected power law function. In this article, we introduce the (multivariate) avalanche polynomial that enumerates the toppling sequences of all principal avalanches. This polynomial generalizes the univariate avalanche polynomial and encodes more information. In particular, the avalanche polynomial of a tree uniquely identifies the underlying tree. In this paper, the avalanche polynomial is characterized for trees, cycles, wheels, and complete graphs. △ Less

Submitted 12 May, 2016; v1 submitted 9 May, 2016; originally announced May 2016.

Comments: 21 pages, 9 figures

MSC Class: 05C99 (Primary); 05A15; 05C30; 05C31 (Secondary)