Showing 1–19 of 19 results for author: Krone, R

Dimensions of Level-1 Group-Based Phylogenetic Networks

Authors: Elizabeth Gross, Robert Krone, Samuel Martin

Abstract: Phylogenetic networks represent evolutionary histories of sets of taxa where horizontal evolution or hybridization has occurred. Placing a Markov model of evolution on a phylogenetic network gives a model that is particularly amenable to algebraic study by representing it as an algebraic variety. In this paper, we give a formula for the dimension of the variety corresponding to a triangle-free lev… ▽ More Phylogenetic networks represent evolutionary histories of sets of taxa where horizontal evolution or hybridization has occurred. Placing a Markov model of evolution on a phylogenetic network gives a model that is particularly amenable to algebraic study by representing it as an algebraic variety. In this paper, we give a formula for the dimension of the variety corresponding to a triangle-free level-1 phylogenetic network under a group-based evolutionary model. On our way to this, we give a dimension formula for codimension zero toric fiber products. We conclude by illustrating applications to identifiability. △ Less

Submitted 12 September, 2023; v1 submitted 27 July, 2023; originally announced July 2023.

Noetherian Operators in Macaulay2

Authors: Justin Chen, Yairon Cid-Ruiz, Marc Härkönen, Robert Krone, Anton Leykin

Abstract: A primary ideal in a polynomial ring can be described by the variety it defines and a finite set of Noetherian operators, which are differential operators with polynomial coefficients. We implement both symbolic and numerical algorithms to produce such a description in various scenarios as well as routines for studying affine schemes through the prism of Noetherian operators and Macaulay dual spac… ▽ More A primary ideal in a polynomial ring can be described by the variety it defines and a finite set of Noetherian operators, which are differential operators with polynomial coefficients. We implement both symbolic and numerical algorithms to produce such a description in various scenarios as well as routines for studying affine schemes through the prism of Noetherian operators and Macaulay dual spaces. △ Less

Submitted 4 January, 2021; originally announced January 2021.

Comments: 6 pages, source code distributed with Macaulay2 since version 1.17

MSC Class: 14-04; 14Q15; 13N05; 65L80; 65D05

Journal ref: J. Softw. Alg. Geom. 12 (2022) 33-41

Multiple typical ranks in matrix completion

Authors: Mareike Dressler, Robert Krone

Abstract: Low-rank matrix completion addresses the problem of completing a matrix from a certain set of generic specified entries. Over the complex numbers a matrix with a given entry pattern can be uniquely completed to a specific rank, called the generic completion rank. Completions over the reals may generically have multiple completion ranks, called typical ranks. We demonstrate techniques for proving t… ▽ More Low-rank matrix completion addresses the problem of completing a matrix from a certain set of generic specified entries. Over the complex numbers a matrix with a given entry pattern can be uniquely completed to a specific rank, called the generic completion rank. Completions over the reals may generically have multiple completion ranks, called typical ranks. We demonstrate techniques for proving that many sets of specified entries have only one typical rank, and show other families with two typical ranks, specifically focusing on entry sets represented by circulant graphs. This generalizes the results of Bernstein, Blekherman, and Sinn. In particular, we provide a complete characterization of the set of unspecified entries of an $n\times n$ matrix such that $n-1$ is a typical rank and fully determine the typical ranks for entry set $G(n,1)$ for $n<9$. Moreover, we study the asymptotic behaviour of typical ranks and present results regarding unique matrix completions. △ Less

Submitted 19 October, 2020; originally announced October 2020.

Comments: 15 pages, 7 figures

MSC Class: Primary: 05C50; 14P05; 15A83; Secondary: 12D99

Noetherian operators and primary decomposition

Authors: Justin Chen, Marc Härkönen, Robert Krone, Anton Leykin

Abstract: Noetherian operators are differential operators that encode primary components of a polynomial ideal. We develop a framework, as well as algorithms, for computing Noetherian operators with local dual spaces, both symbolically and numerically. For a primary ideal, such operators provide an alternative representation to one given by a set of generators. This description fits well with numerical alge… ▽ More Noetherian operators are differential operators that encode primary components of a polynomial ideal. We develop a framework, as well as algorithms, for computing Noetherian operators with local dual spaces, both symbolically and numerically. For a primary ideal, such operators provide an alternative representation to one given by a set of generators. This description fits well with numerical algebraic geometry, taking a step toward the goal of numerical primary decomposition. △ Less

Submitted 24 June, 2020; originally announced June 2020.

Comments: 17 pages, codebase available at https://github.com/haerski/NoetherianOperators

MSC Class: 14Q15; 14-04; 13N05; 65L80; 65D05

Uniqueness of nonnegative matrix factorizations by rigidity theory

Authors: Robert Krone, Kaie Kubjas

Abstract: Nonnegative matrix factorizations are often encountered in data mining applications where they are used to explain datasets by a small number of parts. For many of these applications it is desirable that there exists a unique nonnegative matrix factorization up to trivial modifications given by scalings and permutations. This means that model parameters are uniquely identifiable from the data. Rig… ▽ More Nonnegative matrix factorizations are often encountered in data mining applications where they are used to explain datasets by a small number of parts. For many of these applications it is desirable that there exists a unique nonnegative matrix factorization up to trivial modifications given by scalings and permutations. This means that model parameters are uniquely identifiable from the data. Rigidity theory of bar and joint frameworks is a field that studies uniqueness of point configurations given some of the pairwise distances. The goal of this paper is to use ideas from rigidity theory to study uniqueness of nonnegative matrix factorizations in the case when nonnegative rank of a matrix is equal to its rank. We characterize infinitesimally rigid nonnegative factorizations, prove that a nonnegative factorization is infinitesimally rigid if and only if it is locally rigid and a certain matrix achieves its maximal possible Kruskal rank, and show that locally rigid nonnegative factorizations can be extended to globally rigid nonnegative factorizations. These results give so far the strongest necessary condition for the uniqueness of a nonnegative factorization. We also explore connections between rigidity of nonnegative factorizations and boundaries of the set of matrices of fixed nonnegative rank. Finally we extend these results from nonnegative factorizations to completely positive factorizations. △ Less

Submitted 1 September, 2020; v1 submitted 7 February, 2019; originally announced February 2019.

Comments: 34 pages, 3 figures

MSC Class: 13A50; 13P25; 14R20; 14P10

The tropical Cayley-Menger variety

Authors: Daniel Irving Bernstein, Robert Krone

Abstract: The Cayley-Menger variety is the Zariski closure of the set of vectors specifying the pairwise squared distances between $n$ points in $\mathbb{R}^d$. This variety is fundamental to algebraic approaches in rigidity theory. We study the tropicalization of the Cayley-Menger variety. In particular, when $d = 2$, we show that it is the Minkowski sum of the set of ultrametrics on $n$ leaves with itself… ▽ More The Cayley-Menger variety is the Zariski closure of the set of vectors specifying the pairwise squared distances between $n$ points in $\mathbb{R}^d$. This variety is fundamental to algebraic approaches in rigidity theory. We study the tropicalization of the Cayley-Menger variety. In particular, when $d = 2$, we show that it is the Minkowski sum of the set of ultrametrics on $n$ leaves with itself, and we describe its polyhedral structure. We then give a new, tropical, proof of Laman's theorem. △ Less

Submitted 4 December, 2019; v1 submitted 21 December, 2018; originally announced December 2018.

MSC Class: 14T05; 14N10; 52C25

Journal ref: SIAM J. Discrete Math. 33 (2019) no. 3 pp. 1725-1742

Average Behavior of Minimal Free Resolutions of Monomial Ideals

Authors: Jesús A. De Loera, Serkan Hoşten, Robert Krone, Lily Silverstein

Abstract: We describe the typical homological properties of monomial ideals defined by random generating sets. We show that, under mild assumptions, random monomial ideals (RMI's) will almost always have resolutions of maximal length; that is, the projective dimension will almost always be $n$, where $n$ is the number of variables in the polynomial ring. We give a rigorous proof that Cohen-Macaulayness is a… ▽ More We describe the typical homological properties of monomial ideals defined by random generating sets. We show that, under mild assumptions, random monomial ideals (RMI's) will almost always have resolutions of maximal length; that is, the projective dimension will almost always be $n$, where $n$ is the number of variables in the polynomial ring. We give a rigorous proof that Cohen-Macaulayness is a "rare" property. We characterize when an RMI is generic/strongly generic, and when it "is Scarf"---in other words, when the algebraic Scarf complex of $M\subset S=k[x_1,\ldots,x_n]$ gives a minimal free resolution of $S/M$. As a result we see that, outside of a very specific ratio of model parameters, RMI's are Scarf only when they are generic. We end with a discussion of the average magnitude of Betti numbers. △ Less

Submitted 2 October, 2018; v1 submitted 19 February, 2018; originally announced February 2018.

Comments: Final version, to appear in Proceedings of the AMS

MSC Class: 13D02; 13P20

Dimensions of Group-based Phylogenetic Mixtures

Authors: Hector Baños, Nathaniel Bushek, Ruth Davidson, Elizabeth Gross, Pamela E. Harris, Robert Krone, Colby Long, Allen Stewart, Robert Walker

Abstract: In this paper we study group-based Markov models of evolution and their mixtures. In the algebreo-geometric setting, group-based phylogenetic tree models correspond to toric varieties, while their mixtures correspond to secant and join varieties. Determining properties of these secant and join varieties can aid both in model selection and establishing parameter identifiability. Here we explore the… ▽ More In this paper we study group-based Markov models of evolution and their mixtures. In the algebreo-geometric setting, group-based phylogenetic tree models correspond to toric varieties, while their mixtures correspond to secant and join varieties. Determining properties of these secant and join varieties can aid both in model selection and establishing parameter identifiability. Here we explore the first natural geometric property of these varieties: their dimension. The expected projective dimension of the join variety of a set of varieties is one more than the sum of their dimensions. A join variety that realizes the expected dimension is nondefective. Nondefectiveness is not only interesting from a geometric point-of-view, but has been used to establish combinatorial identifiability for several classes of phylogenetic mixture models. In this paper, we focus on group-based models where the equivalence classes of identified parameters are orbits of a subgroup of the automorphism group of the group defining the model. In particular, we show that, for these group-based models, the variety corresponding to the mixture of $r$ trees with $n$ leaves is nondefective when $n \geq 2r+5$. We also give improved bounds for claw trees and give computational evidence that 2-tree and 3-tree mixtures are nondefective for small~$n$. △ Less

Submitted 23 November, 2017; originally announced November 2017.

Comments: 24 pages, 4 figures

The degree of $\text{SO}(n)$

Authors: Madeline Brandt, DJ Bruce, Taylor Brysiewicz, Robert Krone, Elina Robeva

Abstract: We provide a closed formula for the degree of $\text{SO}(n)$ over an algebraically closed field of characteristic zero. In addition, we describe symbolic and numerical techniques which can also be used to compute the degree of $\text{SO}(n)$ for small values of $n$. As an application of our results, we give a formula for the number of critical points of a low-rank semidefinite programming optimiza… ▽ More We provide a closed formula for the degree of $\text{SO}(n)$ over an algebraically closed field of characteristic zero. In addition, we describe symbolic and numerical techniques which can also be used to compute the degree of $\text{SO}(n)$ for small values of $n$. As an application of our results, we give a formula for the number of critical points of a low-rank semidefinite programming optimization problem. Finally, we provide some evidence for a conjecture regarding the real locus of $\text{SO}(n)$. △ Less

Submitted 12 January, 2017; v1 submitted 11 January, 2017; originally announced January 2017.

Comments: 21 pages, 3 figures

Report number: Fields 2016 CAG book MSC Class: 14L35

Phylogenetic trees

Authors: Hector Baños, Nathaniel Bushek, Ruth Davidson, Elizabeth Gross, Pamela E. Harris, Robert Krone, Colby Long, Allen Stewart, Robert Walker

Abstract: We introduce the package PhylogeneticTrees for Macaulay2 which allows users to compute phylogenetic invariants for group-based tree models. We provide some background information on phylogenetic algebraic geometry and show how the package PhylogeneticTrees can be used to calculate a generating set for a phylogenetic ideal as well as a lower bound for its dimension. Finally, we show how methods wit… ▽ More We introduce the package PhylogeneticTrees for Macaulay2 which allows users to compute phylogenetic invariants for group-based tree models. We provide some background information on phylogenetic algebraic geometry and show how the package PhylogeneticTrees can be used to calculate a generating set for a phylogenetic ideal as well as a lower bound for its dimension. Finally, we show how methods within the package can be used to compute a generating set for the join of any two ideals. △ Less

Submitted 17 November, 2016; originally announced November 2016.

Journal ref: J. Softw. Alg. Geom. 11 (2021) 1-7

Equivariant Gröbner bases

Authors: Christopher J. Hillar, Robert Krone, Anton Leykin

Abstract: Algorithmic computation in polynomial rings is a classical topic in mathematics. However, little attention has been given to the case of rings with an infinite number of variables until recently when theoretical efforts have made possible the development of effective routines. Ability to compute relies on finite generation up to symmetry for ideals invariant under a large group or monoid action, s… ▽ More Algorithmic computation in polynomial rings is a classical topic in mathematics. However, little attention has been given to the case of rings with an infinite number of variables until recently when theoretical efforts have made possible the development of effective routines. Ability to compute relies on finite generation up to symmetry for ideals invariant under a large group or monoid action, such as the permutations of the natural numbers. We summarize the current state of theory and applications for equivariant Gröbner bases, develop several algorithms to compute them, showcase our software implementation, and close with several open problems and computational challenges. △ Less

Submitted 1 August, 2017; v1 submitted 6 October, 2016; originally announced October 2016.

Comments: 23 pages, 1 figure. arXiv admin note: text overlap with arXiv:1604.08517

Hilbert series of symmetric ideals in infinite polynomial rings via formal languages

Authors: Robert Krone, Anton Leykin, Andrew Snowden

Abstract: Let $R$ be the polynomial ring $K[x_{i,j}]$ where $1 \le i \le r$ and $j \in \mathbb{N}$, and let $I$ be an ideal of $R$ stable under the natural action of the infinite symmetric group $S_{\infty}$. Nagel--Römer recently defined a Hilbert series $H_I(s,t)$ of $I$ and proved that it is rational. We give a much shorter proof of this theorem using tools from the theory of formal languages and a simpl… ▽ More Let $R$ be the polynomial ring $K[x_{i,j}]$ where $1 \le i \le r$ and $j \in \mathbb{N}$, and let $I$ be an ideal of $R$ stable under the natural action of the infinite symmetric group $S_{\infty}$. Nagel--Römer recently defined a Hilbert series $H_I(s,t)$ of $I$ and proved that it is rational. We give a much shorter proof of this theorem using tools from the theory of formal languages and a simple algorithm that computes the series. △ Less

Submitted 25 June, 2016; originally announced June 2016.

Comments: 8 pages, no figures

MSC Class: 13D40; 13P99

Equivariant Gröbner bases of symmetric toric ideals

Authors: Robert Krone

Abstract: It has been shown previously that a large class of monomial maps equivariant under the action of an infinite symmetric group have finitely generated kernels up to the symmetric action. We prove that these symmetric toric ideals also have finite Gröbner bases up to symmetry for certain monomial orders. An algorithm is presented for computing equivariant Gröbner bases that terminates whenever a fini… ▽ More It has been shown previously that a large class of monomial maps equivariant under the action of an infinite symmetric group have finitely generated kernels up to the symmetric action. We prove that these symmetric toric ideals also have finite Gröbner bases up to symmetry for certain monomial orders. An algorithm is presented for computing equivariant Gröbner bases that terminates whenever a finite basis exists, improving on previous algorithms that only guaranteed termination in rings Noetherian up to symmetry. This algorithm can be used to compute equivariant Gröbner bases of the above toric ideals, given the monomial map. △ Less

Submitted 28 April, 2016; originally announced April 2016.

Comments: 16 pages, 0 figures

MSC Class: 13P10; 13E15

Eliminating dual spaces

Authors: Robert Krone, Anton Leykin

Abstract: Macaulay dual spaces provide a local description of an affine scheme and give rise to computational machinery that is compatible with the methods of numerical algebraic geometry. We introduce eliminating dual spaces, use them for computing dual spaces of quotient ideals, and develop an algorithm for detection of embedded points on an algebraic curve. Macaulay dual spaces provide a local description of an affine scheme and give rise to computational machinery that is compatible with the methods of numerical algebraic geometry. We introduce eliminating dual spaces, use them for computing dual spaces of quotient ideals, and develop an algorithm for detection of embedded points on an algebraic curve. △ Less

Submitted 6 March, 2015; originally announced March 2015.

Comments: 18 pages, 0 figures. arXiv admin note: substantial text overlap with arXiv:1405.7871

MSC Class: 14Q99; 13P99; 65D99

Numerical algorithms for detecting embedded components

Authors: Robert Krone, Anton Leykin

Abstract: We produce algorithms to detect whether a complex affine variety computed and presented numerically by the machinery of numerical algebraic geometry corresponds to an associated component of a polynomial ideal. We produce algorithms to detect whether a complex affine variety computed and presented numerically by the machinery of numerical algebraic geometry corresponds to an associated component of a polynomial ideal. △ Less

Submitted 14 January, 2016; v1 submitted 30 May, 2014; originally announced May 2014.

Comments: 22 pages, 2 figures

MSC Class: 14Q99; 13P99; 65D99

Numerical Hilbert functions for Macaulay2

Authors: Robert Krone

Abstract: The NumericalHilbert package for Macaulay2 includes algorithms for computing local dual spaces of polynomial ideals, and related local combinatorial data about its scheme structure. These techniques are numerically stable, and can be used with floating point arithmetic over the complex numbers. They provide a viable alternative in this setting to purely symbolic methods such as standard bases. In… ▽ More The NumericalHilbert package for Macaulay2 includes algorithms for computing local dual spaces of polynomial ideals, and related local combinatorial data about its scheme structure. These techniques are numerically stable, and can be used with floating point arithmetic over the complex numbers. They provide a viable alternative in this setting to purely symbolic methods such as standard bases. In particular, these methods can be used to compute initial ideals, local Hilbert functions and Hilbert regularity. △ Less

Submitted 21 May, 2014; originally announced May 2014.

Comments: 5 pages

MSC Class: 14Q99; 68N01

Equivariant lattice generators and Markov bases

Authors: Thomas Kahle, Robert Krone, Anton Leykin

Abstract: It has been shown recently that monomial maps in a large class respecting the action of the infinite symmetric group have, up to symmetry, finitely generated kernels. We study the simplest nontrivial family in this class: the maps given by a single monomial. Considering the corresponding lattice map, we explicitly construct an equivariant lattice generating set, whose width (the number of variable… ▽ More It has been shown recently that monomial maps in a large class respecting the action of the infinite symmetric group have, up to symmetry, finitely generated kernels. We study the simplest nontrivial family in this class: the maps given by a single monomial. Considering the corresponding lattice map, we explicitly construct an equivariant lattice generating set, whose width (the number of variables necessary to write it down) depends linearly on the width of the map. This result is sharp and improves dramatically the previously known upper bound as it does not depend on the degree of the image monomial. In the case of of width two, we construct an explicit finite set of binomials generating the toric ideal up to symmetry. Both width and degree of this generating set are sharply bounded by linear functions in the exponents of the monomial. △ Less

Submitted 9 May, 2014; v1 submitted 2 January, 2014; originally announced January 2014.

Comments: 18 pages; v2: small improvements, added Corollary 2.7, Remark 4.10, v3: final version, accepted at ISSAC 2014

MSC Class: Primary: 13E15; Secondary: 13P10; 14M25; 05E18; 14L30; 20B30

Journal ref: Proc. ISSAC '14 (2014) 264-271

Noetherianity for infinite-dimensional toric varieties

Authors: Jan Draisma, Rob H. Eggermont, Robert Krone, Anton Leykin

Abstract: We consider a large class of monomial maps respecting an action of the infinite symmetric group, and prove that the toric ideals arising as their kernels are finitely generated up to symmetry. Our class includes many important examples where Noetherianity was recently proved or conjectured. In particular, our results imply Hillar-Sullivant's Independent Set Theorem and settle several finiteness co… ▽ More We consider a large class of monomial maps respecting an action of the infinite symmetric group, and prove that the toric ideals arising as their kernels are finitely generated up to symmetry. Our class includes many important examples where Noetherianity was recently proved or conjectured. In particular, our results imply Hillar-Sullivant's Independent Set Theorem and settle several finiteness conjectures due to Aschenbrenner, Martin del Campo, Hillar, and Sullivant. We introduce a matching monoid and show that its monoid ring is Noetherian up to symmetry. Our approach is then to factorize a more general equivariant monomial map into two parts going through this monoid. The kernels of both parts are finitely generated up to symmetry: recent work by Yamaguchi-Ogawa-Takemura on the (generalized) Birkhoff model provides an explicit degree bound for the kernel of the first part, while for the second part the finiteness follows from the Noetherianity of the matching monoid ring. △ Less

Submitted 16 June, 2015; v1 submitted 4 June, 2013; originally announced June 2013.

Comments: 20 pages

MSC Class: 13E05; 13E15; 13P10

Numerical Algorithms for Dual Bases of Positive-Dimensional Ideals

Authors: Robert Krone

Abstract: An ideal of a local polynomial ring can be described by calculating a standard basis with respect to a local monomial ordering. However standard basis algorithms are not numerically stable. Instead we can describe the ideal numerically by finding the space of dual functionals that annihilate it, reducing the problem to one of linear algebra. There are several known algorithms for finding the trunc… ▽ More An ideal of a local polynomial ring can be described by calculating a standard basis with respect to a local monomial ordering. However standard basis algorithms are not numerically stable. Instead we can describe the ideal numerically by finding the space of dual functionals that annihilate it, reducing the problem to one of linear algebra. There are several known algorithms for finding the truncated dual up to any specified degree, which is useful for describing zero-dimensional ideals. We present a stop** criterion for positive-dimensional cases based on homogenization that guarantees all generators of the initial monomial ideal are found. This has applications for calculating Hilbert functions. △ Less

Submitted 21 November, 2012; v1 submitted 11 January, 2012; originally announced January 2012.

Comments: 19 pages, 4 figures

MSC Class: 14Q99