BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Robert Krone

Robert Krone appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.ACmath.AGSymbolic Computationmath.COPopulations and Evolution

Catalog footprint

What is connected

11works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2020arXiv

Noetherian operators and primary decomposition

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Uniqueness of nonnegative matrix factorizations by rigidity theory

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Equivariant Gröbner bases of symmetric toric ideals

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Phylogenetic trees

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Noetherianity for infinite-dimensional toric varieties

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Equivariant lattice generators and Markov bases

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Numerical Hilbert functions for Macaulay2

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Numerical Algorithms for Dual Bases of Positive-Dimensional Ideals

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 stopping 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.

0 citations0 reviewsNo code linkedOpen access