
Information
Organized by: Thomas Yahl & Jose Israel Rodriguez
Algebra and geometry are increasingly popular tools to develop new techniques for applications. Such techniques have found success in numerous fields including chemical and biological reaction networks, robotics and kinematics, statistics and data science, and economics. This session features speakers on advances in the theory of algebraic techniques as well as practitioners throughout math, science, and industry.
There will be 3 sessions, each consisting of at most 4 talks. Each talk will be 20 minutes long with 5 minutes for questions and 5 minutes for speakers to set up for their presentation.
AMS 2024 Spring Central Sectional Meeting Official Webpage

Schedule
Session 1, Saturday April 20th, Location: TBD

9:00am

Jonathan Hauenstein
Title: Solving nonalgebraic systems with monodromy
Abstract

9:30am

Shelby Cox
Title: Maximum Likelihood Degrees of Brownian Motion Tree Models: Star Trees and Root Invariance
Abstract

10:00am

Jiayi Li
Title: An Algebraic approach to supply network formation and fragility
Abstract

10:30am

Emma Cobian
Title: Robust Numerical Algebraic Geometry
Abstract

Session 2, Saturday April 20th, Location: TBD

3:00pm

Sonja Petrovic
Title: Markov bases: a 25 year update
Abstract

3:30pm

Teresa Yu
Title: Moment varieties from inverse Gaussian and gamma distributions
Abstract

4:00pm

Margaret Regan
Title: Using monodromy to recover symmetries of polynomial systems
Abstract

4:30pm

Joy Zhang
Title: Testing Phylogenetic Tree Models with Algebraic Constraints Using Incomplete UStatistics
Abstract

Session 3, Sunday April 21st, Location: TBD

9:00am

Michael Burr
Title: Computing NewtonOkounkov bodies with Subalgebra Bases
Abstract

9:30am

May Cai
Title: Tropical symmetric determinantal positivity
Abstract

10:00am

Ivan Gvozdanovic
Title: Progressive ActorCritic Algorithm for Fiber Sampling
Abstract


Abstracts
• Jonathan Hauenstein, Title: Solving nonalgebraic systems with monodromy


Abstract: Methods in numerical algebraic geometry have been used to solve a wide range of polynomial systems arising in science and engineering. For example, algebraic kinematics considers the class of kinematic problems arising from polynomial constraints. A common example is synthesizing a linkage that depends on rigid links and rotational joints. For a robot built from sagging cables, the constraints are no longer algebraic. By developing a reformulation of the Irvine sagging cable model, this talk will consider applying monodromy solving to the resulting nonalgebraic system aiming to compute all kinetostatic equilibrium. Examples from 8cable spatial cabledriven parallel robots will be used to demonstrate the approach. This is joint work with Aravind Baskar, Mark Plecnik, and Charles Wampler.
Link to article: A numerical continuation approach using monodromy to solve the forward kinematics of cabledriven parallel robots with sagging cables

• Shelby Cox, Title: Maximum Likelihood Degrees of Brownian Motion Tree Models: Star Trees and Root Invariance


Abstract: A Brownian motion tree (BMT) model is a Gaussian model whose associated set of covariance matrices is linearly constrained according to common ancestry in a fixed phylogenetic tree. We study the complexity of inferring the maximum likelihood (ML) estimator for a BMT model by computing its MLdegree. Our main result is that the ML degree of the BMT model on a star tree with n+1 leaves is 2^(n+1)2n3, which was previously conjectured by Amendola and Zwiernik. This talk will focus on a combinatorial formula for the determinant of the concentration matrix of a BMT model, which generalizes the CayleyPrufer theorem to complete graphs with weights given by a tree, and on the intersection theory used to compute the MLdegree of the star tree.

• Jiayi Li, Title: An Algebraic approach to supply network formation and fragility


Abstract: The topic of Economic Fragility was seen to be important first hand as the global economy witnessed shocks to the supply chain during the covid19 lockdown era. Ben Golub, Matt Elliot and M. V. Leduc in recent work proposed a model to begin to explain why shocks to the economy can lead to disruption of delivery of goods. Their work found an expected phase transition. In this joint work with Jose Israel Rodriguez, a characterization of the transition point is given in terms of a polynomial system and a discriminant. With this algebraic framework we are able to study multiparameter versions of supply chain models, which brings us closer to modeling supply chains in real life scenarios.

• Emma Cobian, Title: Robust Numerical Algebraic Geometry


Abstract: The field of numerical algebraic geometry consists of algorithms for numerically solving systems of polynomial equations. When the system is exact, such as having integer or rational coefficients, the solution set is welldefined. When solving parameterized polynomial systems with parameter values that are not exact due to imprecision in measurement or prior computations, the structure of the solution set can change. This talk will describe methods to robustly recover nearby parameters corresponding to the desired structure for solutions at infinity, positive dimensional components, multiplicity, and irreducible components. These methods will be demonstrated through illustrative examples and problems arising from the kinematics of mechanisms and robots.

• Sonja Petrovic, Title: Markov bases: a 25 year update


Abstract: This talk will define a Markov basis and then evaluate the challenges and best practices associated with the Markov bases approach to sampling from conditional distributions. We provide insights and clarifications after 25 years of the publication of the fundamental theorem for Markov bases by Diaconis and Sturmfels. We also prove three new results on the complexity of Markov bases in hierarchical models, relaxations of the fibers in loglinear models, and limitations of partial sets of moves in providing an irreducible Markov chain. This short talk will give an overview of these results and their implications in practice.

• Teresa Yu, Title: Moment varieties from inverse Gaussian and gamma distributions


Abstract: Motivated by previous work on moment varieties for Gaussian distributions and their mixtures, we study moment varieties for two other statistically important twoparameter distributions: the inverse Gaussian and gamma distributions. In this talk, we will show how techniques from commutative algebra and algebraic geometry can be used to realize these moment varieties as determinantal varieties. This allows us to provide evidence for algebraic identifiability of mixtures of inverse Gaussian and mixtures of gamma distributions. This is joint work with Oskar Henriksson and Lisa Seccia.
arXiv:2312.10433

• Margaret Regan, Title: Using monodromy to recover symmetries of polynomial systems


Abstract: Many problems in computer vision are represented using a parameterized polynomial system, where the solution set is critical for 3D reconstruction. Minimal problems can be of special interest as these polynomial systems are wellconstrained and generically have finitely many solutions. Computing the Galois/monodromy group of the associated branch cover can yield information and understanding about the underlying structure of the minimal problem. One potential outcome of this computation is identifying the existence of possible decompositions or symmetries. Beyond the question of existence, one would like to compute formulas for these symmetries, towards the eventual goal of solving the systems more efficiently. These Galois/monodromy groups can be computed using numerical homotopy continuation via a multitude of softwares. The equations for the symmetries can be found with the additional technique of multivariate rational function interpolation. This talk will discuss these methods in theory, as well as illustrate the approach on practical examples of minimal problems in computer vision. This is joint work with Timothy Duff, Viktor Korotynskiy, and Tomas Pajdla.

• Joy Zhang, Title: Testing Phylogenetic Tree Models with Algebraic Constraints Using Incomplete UStatistics


Abstract: The representation of evolutionary relationships using phylogenetic trees has been central to understanding biological processes, such as speciation, the spread of pathogens, and cancer evolution. One of the key challenges in phylogenetics is that gene trees, which represent the evolutionary relationships of a single genetic locus across a set of individuals, often exhibit topological disagreements, both among themselves and with the species tree, which describes the evolutionary relationships among the populations or species from which these individuals are drawn. Recent and continuing rapid advances in genomic sequencing technologies have produced largescale genomic datasets, revealing that gene treespecies tree incongruence is widespread. We develop a new method to reliably infer species trees from gene trees despite the incongruences using incomplete ustatistics. Because the incomplete ustatistics method specializes in performing effective hypothesis testing when a model has singular points, we apply the method to test the MultiSpecies Network Coalescent Model (MSNC)—one of the most commonly used models described by algebraic constraints. We have shown that the incomplete ustatistics method verifies the behavior of the MSNC model at irregular points in all four of its submodels, which was first suggested by the MSCQuartets method—a method that does not adequately address the singular points in irregular models. Our next goal is to generalize the method to other models, such as the CavenderFarrisNeyman (CFN) model, and apply it to real biological data.

• Michael Burr, Title: Computing NewtonOkounkov bodies with Subalgebra Bases


Abstract: The NewtonOkounkov body is a convex set which generalizes the Newton polytope. In applications, the volume of the NewtonOkounkov body has been used to bound the number of solutions to zerodimensional systems of equations. In this talk, we will see how to compute the NewtonOkounkov body using subalgebra (SAGBI) bases (as opposed to Khovanskii bases). This presents a more effective computation of the volumes of these bodies. In the process of doing this, we will prove a strong equivalence between subalgebra bases and Khovanskii bases.

• May Cai, Title: Tropical symmetric determinantal positivity


Abstract: We examine two different notions of tropical positivity for symmetric determinantal varieties of certain ranks. In particular, following the language of Brandenburg, Loho, and Sinn, we describe the positive part and the really positive part of the tropical variety of symmetric tropical rank 2 matrices, and of the tropical hypersurface of rankdeficient symmetric tropical matrices. We show that these two notions of positivity coincide for the rank 2 case, but do not for the hypersurface.

• Ivan Gvozdanovic, Title: Progressive ActorCritic Algorithm for Fiber Sampling


Abstract: In this work, we implement a Reinforcement Learning algorithm to sample integer points in a polytope. The polytope arises as a fiber of a loglinear model. More specifically, we develop a novel Progressive ActorCritic algorithm and prove its convergence to a approximately optimal fiber sampling policy. The progression algorithm is used to bypass a common bottleneck of computation of Markov basis.



