-
Computing phylogenetic invariants for time-reversible models: from TN93 to its submodels
Authors:
Marta Casanellas,
Jennifer Garbett,
Roser Homs,
Annachiara Korchmaros,
Niharika Chakrabarty Paul
Abstract:
Phylogenetic invariants are equations that vanish on algebraic varieties associated with Markov processes that model molecular substitutions on phylogenetic trees. For practical applications, it is essential to understand these equations across a wide range of substitution models. Recent work has shown that, for equivariant models, phylogenetic invariants can be derived from those of the general M…
▽ More
Phylogenetic invariants are equations that vanish on algebraic varieties associated with Markov processes that model molecular substitutions on phylogenetic trees. For practical applications, it is essential to understand these equations across a wide range of substitution models. Recent work has shown that, for equivariant models, phylogenetic invariants can be derived from those of the general Markov model by restricting to the linear space defined by the model (namely, the space of mixtures of distributions on the model). Following this philosophy, we describe the space of mixtures and phylogenetic invariants for time-reversible models that are not equivariant. Specifically, we study two submodels of the Tamura-Nei nucleotide substitution model (Felsenstein 81 and 84) using an orthogonal change of basis recently introduced for algebraic time-reversible models.
For tripods, we prove that the algebraic variety of each submodel coincides with the variety of Tamura-Nei intersected with the linear space of the submodel. In the case of quartets, we show that it is an irreducible component of this intersection. Moreover, we demonstrate that it suffices to consider only the binomial equations defining the linear space, which correspond to the natural symmetries of the model in the new coordinates. For each submodel, we explicitly provide equations defining a local complete intersection that characterizes the phylogenetic variety on a dense open subset containing the biologically relevant points.
△ Less
Submitted 26 May, 2025;
originally announced May 2025.
-
Deformations of local Artin rings via Hilbert-Burch matrices
Authors:
Roser Homs,
Anna-Lena Winz
Abstract:
In the local setting, Gröbner cells are affine spaces that parametrize ideals in $\mathbf{k}[\![x,y]\!]$ that share the same leading term ideal with respect to a local term ordering. In particular, all ideals in a cell have the same Hilbert function, so they provide a cellular decomposition of the punctual Hilbert scheme compatible with its Hilbert function stratification. We exploit the parametri…
▽ More
In the local setting, Gröbner cells are affine spaces that parametrize ideals in $\mathbf{k}[\![x,y]\!]$ that share the same leading term ideal with respect to a local term ordering. In particular, all ideals in a cell have the same Hilbert function, so they provide a cellular decomposition of the punctual Hilbert scheme compatible with its Hilbert function stratification. We exploit the parametrization given in \cite{HW21} via Hilbert-Burch matrices to compute the Betti strata, with hands-on examples of deformations that preserve the Hilbert function, and revisit some classical results along the way. Moreover, we move towards an explicit parametrization of all local Gröbner cells.
△ Less
Submitted 13 September, 2023;
originally announced September 2023.
-
Identifiability in Continuous Lyapunov Models
Authors:
Philipp Dettling,
Roser Homs,
Carlos Améndola,
Mathias Drton,
Niels Richard Hansen
Abstract:
The recently introduced graphical continuous Lyapunov models provide a new approach to statistical modeling of correlated multivariate data. The models view each observation as a one-time cross-sectional snapshot of a multivariate dynamic process in equilibrium. The covariance matrix for the data is obtained by solving a continuous Lyapunov equation that is parametrized by the drift matrix of the…
▽ More
The recently introduced graphical continuous Lyapunov models provide a new approach to statistical modeling of correlated multivariate data. The models view each observation as a one-time cross-sectional snapshot of a multivariate dynamic process in equilibrium. The covariance matrix for the data is obtained by solving a continuous Lyapunov equation that is parametrized by the drift matrix of the dynamic process. In this context, different statistical models postulate different sparsity patterns in the drift matrix, and it becomes a crucial problem to clarify whether a given sparsity assumption allows one to uniquely recover the drift matrix parameters from the covariance matrix of the data. We study this identifiability problem by representing sparsity patterns by directed graphs. Our main result proves that the drift matrix is globally identifiable if and only if the graph for the sparsity pattern is simple (i.e., does not contain directed two-cycles). Moreover, we present a necessary condition for generic identifiability and provide a computational classification of small graphs with up to 5 nodes.
△ Less
Submitted 15 November, 2023; v1 submitted 8 September, 2022;
originally announced September 2022.
-
Third-Order Moment Varieties of Linear Non-Gaussian Graphical Models
Authors:
Carlos Améndola,
Mathias Drton,
Alexandros Grosdos,
Roser Homs,
Elina Robeva
Abstract:
In this paper we study linear non-Gaussian graphical models from the perspective of algebraic statistics. These are acyclic causal models in which each variable is a linear combination of its direct causes and independent noise. The underlying directed causal graph can be identified uniquely via the set of second and third order moments of all random vectors that lie in the corresponding model. Ou…
▽ More
In this paper we study linear non-Gaussian graphical models from the perspective of algebraic statistics. These are acyclic causal models in which each variable is a linear combination of its direct causes and independent noise. The underlying directed causal graph can be identified uniquely via the set of second and third order moments of all random vectors that lie in the corresponding model. Our focus is on finding the algebraic relations among these moments for a given graph. We show that when the graph is a polytree these relations form a toric ideal. We construct explicit trek-matrices associated to 2-treks and 3-treks in the graph. Their entries are covariances and third order moments and their 2-minors define our model set-theoretically. Furthermore, we prove that their 2-minors also generate the vanishing ideal of the model. Finally, we describe the polytopes of third order moments and the ideals for models with hidden variables.
△ Less
Submitted 20 December, 2021;
originally announced December 2021.
-
Inverting catalecticants of ternary quartics
Authors:
Laura Brustenga i Moncusí,
Elisa Cazzador,
Roser Homs
Abstract:
We study the reciprocal variety to the linear space of symmetric matrices (LSSM) of catalecticant matrices associated with ternary quartics. With numerical tools, we obtain 85 to be its degree and 36 to be the ML-degree of the LSSM. We provide a geometric explanation to why equality between these two invariants is not reached, as opposed to the case of binary forms, by describing the intersection…
▽ More
We study the reciprocal variety to the linear space of symmetric matrices (LSSM) of catalecticant matrices associated with ternary quartics. With numerical tools, we obtain 85 to be its degree and 36 to be the ML-degree of the LSSM. We provide a geometric explanation to why equality between these two invariants is not reached, as opposed to the case of binary forms, by describing the intersection of the reciprocal variety and the orthogonal of the LSSM in the rank loci. Moreover, we prove that only the rank-$1$ locus, namely the Veronese surface $ν_4(\mathbb{P}^2)$, contributes to the degree of the reciprocal variety.
△ Less
Submitted 21 May, 2021;
originally announced May 2021.
-
Bounds on complexity of matrix multiplication away from CW tensors
Authors:
Roser Homs,
Joachim Jelisiejew,
Mateusz Michałek,
Tim Seynnaeve
Abstract:
We present three families of minimal border rank tensors: they come from highest weight vectors, smoothable algebras, or monomial algebras. We analyse them using Strassen's laser method and obtain an upper bound $2.431$ on $ω$. We also explain how in certain monomial cases using the laser method directly is less profitable than first degenerating. Our results form possible paths in the search for…
▽ More
We present three families of minimal border rank tensors: they come from highest weight vectors, smoothable algebras, or monomial algebras. We analyse them using Strassen's laser method and obtain an upper bound $2.431$ on $ω$. We also explain how in certain monomial cases using the laser method directly is less profitable than first degenerating. Our results form possible paths in the search for valuable tensors for the laser method away from Coppersmith-Winograd tensors.
△ Less
Submitted 11 April, 2022; v1 submitted 23 March, 2021;
originally announced March 2021.
-
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.
-
Canonical Hilbert-Burch matrices for power series
Authors:
Roser Homs,
Anna-Lena Winz
Abstract:
Sets of zero-dimensional ideals in the polynomial ring $k[x,y]$ that share the same leading term ideal with respect to a given term ordering are known to be affine spaces called Gröbner cells. Conca-Valla and Constantinescu parametrize such Gröbner cells in terms of certain canonical Hilbert-Burch matrices for the lexicographical and degree-lexicographical term orderings, respectively.
In this p…
▽ More
Sets of zero-dimensional ideals in the polynomial ring $k[x,y]$ that share the same leading term ideal with respect to a given term ordering are known to be affine spaces called Gröbner cells. Conca-Valla and Constantinescu parametrize such Gröbner cells in terms of certain canonical Hilbert-Burch matrices for the lexicographical and degree-lexicographical term orderings, respectively.
In this paper, we give a parametrization of $(x,y)$-primary ideals in Gröbner cells which is compatible with the local structure of such ideals. More precisely, we extend previous results to the local setting by defining a notion of canonical Hilbert-Burch matrices of zero-dimensional ideals in the power series ring $k[[x,y]]$ with a given leading term ideal with respect to a local term ordering.
△ Less
Submitted 4 May, 2021; v1 submitted 9 April, 2020;
originally announced April 2020.
-
Primary ideals and their differential equations
Authors:
Yairon Cid-Ruiz,
Roser Homs,
Bernd Sturmfels
Abstract:
An ideal in a polynomial ring encodes a system of linear partial differential equations with constant coefficients. Primary decomposition organizes the solutions to the PDE. This paper develops a novel structure theory for primary ideals in a polynomial ring. We characterize primary ideals in terms of PDE, punctual Hilbert schemes, relative Weyl algebras, and the join construction. Solving the PDE…
▽ More
An ideal in a polynomial ring encodes a system of linear partial differential equations with constant coefficients. Primary decomposition organizes the solutions to the PDE. This paper develops a novel structure theory for primary ideals in a polynomial ring. We characterize primary ideals in terms of PDE, punctual Hilbert schemes, relative Weyl algebras, and the join construction. Solving the PDE described by a primary ideal amounts to computing Noetherian operators in the sense of Ehrenpreis and Palamodov. We develop new algorithms for this task, and we present efficient implementations.
△ Less
Submitted 19 November, 2020; v1 submitted 14 January, 2020;
originally announced January 2020.
-
Computing minimal Gorenstein covers
Authors:
Juan Elias,
Roser Homs,
Bernard Mourrain
Abstract:
We analyze and present an effective solution to the minimal Gorenstein cover problem: given a local Artin k-algebra $A = k[[x 1 ,. .. x n ]]/I$, compute an Artin Gorenstein $k$-algebra $G = k[[x 1 ,. .. x n ]]/J$ such that $\ell(G)--\ell(A)$ is minimal. We approach the problem by using Macaulay's inverse systems and a modification of the integration method for inverse systems to compute Gorenstein…
▽ More
We analyze and present an effective solution to the minimal Gorenstein cover problem: given a local Artin k-algebra $A = k[[x 1 ,. .. x n ]]/I$, compute an Artin Gorenstein $k$-algebra $G = k[[x 1 ,. .. x n ]]/J$ such that $\ell(G)--\ell(A)$ is minimal. We approach the problem by using Macaulay's inverse systems and a modification of the integration method for inverse systems to compute Gorenstein covers. We propose new characterizations of the minimal Gorenstein cover and present a new algorithm for the effective computation of the variety of all minimal Gorenstein covers of A for low Gorenstein colength. Experimentation illustrates the practical behavior of the method.
△ Less
Submitted 29 October, 2019; v1 submitted 14 January, 2019;
originally announced January 2019.
