ICERM Semester Program on “Nonlinear Algebra”


The Fall of 2018 is the semester of Nonlinear Algebra at the Institute for Computational and Experimental Research in Mathematics (ICERM) which is in  Brown University.


“… This semester will work towards a time when ideas of nonlinear algebra, its theory, methods, and software are as ubiquitous as those of linear algebra.”

The application deadline for students and postdocs is January 1.


SIAM AG 2017 in pictures

The SIAM AG meeting gathered close to 450 registered participants! The live stream of the plenary talks brought about as many virtual ones (according to the viewing statistics).

As a group photo was deemed not feasible, here are several pictures from the reception and poster session that will help us to remember that cool summer week. (Yes, the weather did cooperate as well!)

SIAM AG reception




Last month the latest stable version (1.10) of Macaulay2 was released. This includes the first stable version of the package MonodromySolver, developed by some of us at Georgia Tech (Anton, Cvetelina, Kisun, Tim), as well as our collaborators Jeff Sommars and Anders Jensen. The corresponding paper has been on the arXiv for about a year.

People in algebraic geometry have used monodromy groups for a long time—in particular, use of monodromy group to solve polynomial systems has appeared elsewhere recently (see here, and here) and is certainly implicit in earlier algorithms. In fact, the possible variations on this idea seem limitless. Our implementation allows one to compare various approaches and unifies them in a general framework.

The package currently works best for the following problem: we are given a family of square polynomial systems (F_p )_{p \in B} in n variables over the complex numbers, where the parameter space B is a finite-dimensional affine space, such that, for a Zariski open subset of z \in \mathbb{C}^n, there exists p \in B such that F_p(z) =0. However, the various methods are modular enough to incorporate them into solving more general systems—see here for a great example. Understanding what users want in more general settings will help us improve the package in the future, so try it out and let us know what you think!

New paper: Toric h-vectors and Chow Betti Numbers of Dual Hypersimplices

Toric h-vectors and Chow Betti Numbers of Dual Hypersimplices
by Charles Wang and Josephine Yu

Abstract: The toric h-numbers of a dual hypersimplex and the Chow Betti numbers of the normal fan of a hypersimplex are the ranks of intersection cohomology and Chow cohomology respectively of the torus orbit closure of a generic point in the Grassmannian. We give explicit formulas for these numbers. We also show that similar formulas hold for the coordinator numbers of type A^* lattices.


Applied Macaulay2 tutorials

Preceding SIAM AG 2017 are 3-day tutorials on Macaulay2, a computer (nonlinear) algebra system.

image from Berlin poster“These tutorials are intended to appeal to participants with any level of prior M2 experience. The topics will range from the basic functionality of M2 to modeling problems in the M2 language to more specialized tutorials on algebraic statistics and numerical algebraic geometry. We will also reserve ample time for practice and Q&A sessions.”

Go here for more information.