Seminars and Colloquia by Series

Two short talks

Series
Algebra Seminar
Time
Monday, February 5, 2024 - 13:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
May Cai and Matt BakerGeorgia Tech

This special algebra seminar will feature short talks by our very own May Cai and Matt Baker, who will speak on the following topics: 

May Cai: The completion problem asks one to take a partial observation of some underlying object, and try to recover the original observation. Concretely, we have some object of interest, and a point in the image of that object under a projection map, and want to understand the fiber of this point under this map. In particular, for log-linear models, which are the restrictions of toric varieties to the probability simplex, under certain mild conditions, when this fiber is finite it turns out to have exactly either one or two entries. This is joint work with Cecilie Olesen Recke and Thomas Yahl.

Matt Baker: The determinant of a skew-symmetric matrix has a canonical square root given by the Pfaffian. Similarly, the resultant of two reciprocal polynomials of even degree has a canonical square root given by their reciprocant. Computing the reciprocant of two cyclotomic polynomials yields a short and elegant proof of the Law of Quadratic Reciprocity.

Polynomials with Lorentzian Signature over Cones, and Perron-Frobenius Theorem

Series
Algebra Seminar
Time
Monday, January 29, 2024 - 13:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Papri DeyGeorgia Tech

Please Note: There is no pre-seminar this time.

 The classical theorems of Perron and Frobenius, which explore spectral properties of nonnegative matrices, have been extensively examined and generalized from various perspectives, including a cone-theoretic (geometric) viewpoint. Concurrently, in the past decade, there has been a notable effort to fuse the techniques of algebraic geometry and combinatorics in an exploration of Lorentzian polynomials by Brändén and Huh, also known as completely log-concave polynomials (CLC) by Anari et.al. or strongly log-concave polynomials by Gurvits.

 

In this talk, I will discuss my ongoing joint work with Greg Blekherman regarding the class of polynomials with Lorentzian signature (PLS) defined over closed convex cones. This class encompasses various special polynomials, including Lorentzian polynomials over the nonnegative orthant and hyperbolic polynomials over hyperbolicity cones. We establish a compelling connection between PLS over a self-dual cone K and the generalized Perron Frobenius theorem over K. This connection enables us to provide an alternative necessary and sufficient condition to characterize the Lorentzian polynomials.

Max-Intersection Completeness of Neural Codes and the Neural Ideal

Series
Algebra Seminar
Time
Monday, January 22, 2024 - 13:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Alexander Ruys de PerezGeorgia Tech

Please Note: There will be a pre-seminar (aimed toward grad students and postdocs) from 11:30 am to noon in Skiles 005.

A neural code C on n neurons is a collection of subsets of {1,2,...,n} which is used to encode the intersections of subsets U_1, U_2,...,U_n of some topological space. The study of neural codes reveals the ways in which geometric or topological properties can be encoded combinatorially. A prominent example is the property of max-intersection completeness: if a code C contains every possible intersection of its maximal codewords, then one can always find a collection of open convex U_1, U_2,..., U_n for which C is the code. In this talk I will answer a question posed by Curto et al. (2018), which asks if there is a way of determining max-intersection completeness from examination of the neural ideal, an algebraic counterpart to the neural code.

Certified computation in algebraic geometry using interval arithmetic

Series
Algebra Seminar
Time
Monday, December 4, 2023 - 13:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Kisun LeeClemson University

Please Note: There will be a pre-seminar (aimed toward grad students and postdocs) from 11 am to 11:30 am in Skiles 006.

The homotopy continuation is a widely recognized method for finding solutions to polynomial systems by tracking the homotopy paths of solutions. However, the current implementation of homotopy continuation relies on heuristics, and hence it requires certification to verify its correctness. We discuss two modalities of certification in algebraic geometry exploiting interval arithmetic. The first is certified homotopy tracking using the Krawczyk method which guarantees correct tracking without path jumping. The second is Smale’s alpha theory over regions for faster certification. We discuss experimental results to demonstrate the effectiveness of these new methods. This talk is a preliminary report of two separate ongoing works.

Chebyshev varieties

Series
Algebra Seminar
Time
Monday, November 27, 2023 - 13:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Chiara MeroniHarvard John A. Paulson School of Engineering and Applied Sciences

Please Note: There will be a pre-seminar (aimed toward grad students and postdocs) from 11 am to 11:30 am in Skiles 006.

Chebyshev polynomials offer a natural basis for solving polynomial equations. When we switch from monomials to Chebyshev polynomials, we can replace toric varieties with Chebyshev varieties. We will introduce these objects and discuss their main properties, including equations, dimension, and degree. This is an ongoing project with Zaïneb Bel-Afia and Simon Telen.

Geometry and the complexity of matrix multiplication

Series
Algebra Seminar
Time
Monday, November 20, 2023 - 13:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Austin ConnerHarvard University

Please Note: There will be a pre-seminar (aimed toward grad students and postdocs) from 11 am to 11:30 am in Skiles 006.

Determining the computational complexity of matrix multiplication has been one of the central open problems in theoretical computer science ever since in 1969
Strassen presented an algorithm for multiplication of n by n matrices requiring only O(n^2.81) arithmetic operations. The data describing this method is
equivalently an expression to write the structure tensor of the 2 by 2 matrix algebra as a sum of 7 decomposable tensors. Any such decomposition of an n by n
matrix algebra yields a Strassen type algorithm, and Strassen showed that such algorithms are general enough to determine the exponent of matrix multiplication. Bini later showed all of the above remains true when we allow the decomposition to depend on a parameter and take limits.

I present a recent technique for lower bounds for this decomposition problem, border apolarity. Two key ideas to this technique are (i) to not just look at the sequence of decompositions, but the sequence of ideals of the point sets determining the decompositions and (ii) to exploit the symmetry of the matrix
multiplication tensor to insist that the limiting ideal has an extremely restrictive structure. I discuss its applications to the matrix multiplication
tensor and other tensors potentially useful for obtaining upper bounds via Strassen's laser method. This talk discusses joint work with JM Landsberg, Alicia Harper, and Amy Huang.

Toric vector bundles, valuations and matroids

Series
Algebra Seminar
Time
Monday, November 13, 2023 - 13:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Kiumars KavehUniversity of Pittsburgh

Please Note: There will be a pre-seminar from 11am to 11:30am (aimed toward grad students and postdocs) in Skiles 006.

A toric vector bundle is a vector bundle over a toric variety equipped with a linear action by the torus of the base. Toric vector bundles pf rank r were famously classified by Klyachko (1989) using certain combinatorial data of compatible filtrations in an r-dimensional vector space E. This data can be thought of as a higher rank generalization of an (integer-valued) piecewise linear function. In this talk, we give an interpretation of Klyachko data as a "piecewise linear map" to a tropical linear space. This point of view leads us to introduce the notion of a "matroidal vector bundle", a generalization of toric vector bundles to (possibly non-representable) matroids. As a special case and by-product of this construction, one recovers the tautological classes of matroids introduced by Berget, Eur, Spink and Tseng. This is a work in progress with Chris Manon (Kentucky).

Sums of squares on surfaces

Series
Algebra Seminar
Time
Monday, November 6, 2023 - 13:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Gregory G. SmithQueen's University

Please Note: There will be a pre-seminar (aimed toward grad students and postdocs) from 11 am to 11:30 am in Skiles 006.

How do we effectively verify that a polynomial function is nonnegative?  One may certify nonnegativity by exhibiting a nonnegative multiplier such that the product is a sum of squares.  We will survey a few known results before focusing on some new degree bounds on multipliers.  Unexpectedly, our novel techniques are particularly well-suited to ruled surfaces.  This talk is based on joint work with Grigoriy Blekherman, Rainer Sinn, and Mauricio Velasco.
 

Lie algebra representations, flag manifolds, and combinatorics. An old story with new twists

Series
Algebra Seminar
Time
Monday, October 30, 2023 - 13:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Cristian LenartSUNY Albany

Please Note: There will be a pre-seminar from 11am to 11:30am (aimed toward grad students and postdocs) in Skiles 006.

The connections between representations of complex semisimple Lie algebras and the geometry of the corresponding flag manifolds have a long history. Moreover, combinatorics plays an important role in the related computations. My talk is devoted to new aspects of this story. On the Lie algebra side, I consider certain modules for quantum affine algebras. I discuss their relationship with Macdonald polynomials, which generalize the irreducible characters of simple Lie algebras. On the geometric side, I consider the quantum K-theory of flag manifolds, which is a K-theoretic generalization of quantum cohomology. A new combinatorial model, known as the quantum alcove model, is also presented. The talk is based on joint work with S. Naito, D. Sagaki, A. Schilling, and M. Shimozono.

Standard monomials and Gröbner bases for positroid varieties

Series
Algebra Seminar
Time
Monday, October 23, 2023 - 13:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Ayah AlmousaUniversity of Minnesota - Twin Cities

Please Note: There will be a pre-seminar (aimed toward grad students and postdocs) from 11 am to 11:30 am in Skiles 006.

Positroid varieties are subvarieties of the Grassmannian that arise in the study of total positivity. Knutson, Lam, and Speyer described a certain type of Gröbner degeneration called the Hodge degeneration as projections of order complexes of intervals in the Bruhat order, but their description does not give an explicit Gröbner basis nor initial ideal. We give an explicit, combinatorial description of the Gröbner basis and initial ideal corresponding to the Hodge degeneration for an arbitrary positroid variety. As an application, we show that promotion on rectangular-shaped semistandard tableaux gives a bijection between standard monomials of a positroid variety and its cyclic shifts. This is joint work with Shiliang Gao (UIUC) and Daoji Huang (Minnesota).

Pages