Seminars and Colloquia by Series

An Introductory Proof of the Compactness Theorem and Some Applications

Series
Algebra Student Seminar
Time
Friday, October 28, 2022 - 10:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Griffin EdwardsGeorgia Institute Of Technology

We will introduce the foundations of model theory, by defining languages, models, and theories. Then we will look at a couple proofs of the compactness theorem, state Gödel's completeness theorem, and prove that any planar graph is four colorable. Expect a lot of examples, and I hope everyone comes away understanding the foundations of this wonderful theory.

What is a matroid?

Series
Algebra Student Seminar
Time
Friday, October 21, 2022 - 10:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Tong JinGeorgia Institute of Technology
This is a pre-talk for the Algebra Seminar on Oct. 24. I will discuss (various) definitions of matroids, matroid minors, Tutte polynomials and characteristic polynomials, matroid basis polytopes, and Grassmannians. If time permits, I'll also discuss permutohedral varieties and the Cremona map and/or my current work. 
 

What is a Coxeter group, and why is a Coxeter group?

Series
Algebra Student Seminar
Time
Friday, October 14, 2022 - 10:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Tong JinGeorgia Institute of Technology

A Coxeter group is a (not necessarily finite) group given by certain types of generators and relations. Examples of finite Coxeter groups include dihedral groups, symmetric groups, and reflection groups. They play an important role in various areas. In this talk, I will discuss why I am interested in Coxeter groups from a combinatorial perspective - the geometric concepts associated with the finite Coxeter groups form the language of Coxeter matroids, which are generalizations of ordinary matroids. In particular, finite Coxeter groups are related to Coxeter matroids in the same way as symmetric groups are related to ordinary matroids. The main reference for this talk is Chapter 5 of Borovik-Gelfand-White's book Coxeter Matroids. I will only assume basic group theory, but not familiarity with matroids.

Sparse Quadratic Programs via Polynomial Roots

Series
Algebra Student Seminar
Time
Friday, September 23, 2022 - 10:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Kevin ShuGeorgia Institute of Technology

We'll talk about problems of optimizing a quadratic function subject to quadratic constraints, in addition to a sparsity constraint that requires that solutions have only a few nonzero entries. Such problems include sparse versions of linear regression and principal components analysis. We'll see that this problem can be formulated as a convex conical optimization problem over a sparse version of the positive semidefinite cone, and then see how we can approximate such problems using ideas arising from the study of hyperbolic polynomials. We'll also describe a fast algorithm for such problems, which performs well in practical situations.

Polynomials over ordered blueprints and tracts

Series
Algebra Student Seminar
Time
Friday, September 16, 2022 - 10:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Trevor GunnGeorgia Tech

I will introduce the concept of an ordered blueprint and a tract and discuss some algebraic and categorical properties. I will then discuss the notion of a "tropical extension" and discuss the theory of polynomials in these contexts.

Sparse Fourier sum-of-squares decomposition for nonnegative functions on abelian groups

Series
Algebra Student Seminar
Time
Friday, September 9, 2022 - 10:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Shengding SunGeorgia Institute of Technology

(Based on paper by Fawzi, Saunderson and Parrilo in 2015) The space of complex-valued functions on a fixed abelian group has an orthonormal basis of group homomorphisms, via the well-known Discrete Fourier Transform. Given any nonnegative function with sparse Fourier support, it turns out that it’s possible to write it as a sum of squares, where the common Fourier support for all squares is not big. This can be used to prove results for the usual degree-based sum-of-squares hierarchy.

Log-concavity of coefficients of characteristic polynomials of matroids.

Series
Algebra Student Seminar
Time
Friday, April 29, 2022 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 006 or ONLINE
Speaker
Tong JinGeorgia Tech

This is an expanded version of a 10-minute presentation in MATH 6422. I'll explain what matroids and their characteristic polynomials as well as log-concavity mean, and then sketch a proof due to Petter Brändén and Jonathan Leake (arXiv:2110.00487). If time permits, I'll describe several consequences of this and/or other existing yet different proofs.

 

Teams link: https://teams.microsoft.com/l/meetup-join/19%3a3a9d7f9d1fca4f5b991b4029b09c69a1%40thread.tacv2/1651153648881?context=%7b%22Tid%22%3a%22482198bb-ae7b-4b25-8b7a-6d7f32faa083%22%2c%22Oid%22%3a%2206706002-23ff-4989-8721-b078835bae91%22%7d

Ranks of points via Macaulay 2 (2nd talk)

Series
Algebra Student Seminar
Time
Friday, April 22, 2022 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 006 and Teams
Speaker
Jaewoo JungGeorgia Tech

The rank of a point $p$ with respect to a non-degenerate variety is the smallest number of the points in the variety that spans the point $p$. Studies about the ranks of points are important in various areas of applied mathematics and engineering in the sense that they are the smallest number of summands in the decompositions of vectors into combinations of simple vectors.

In the last talk, we discussed how to generate points of given ranks with respect to the rational normal curves. We continue to discuss some known facts via Macaulay 2 and how to find the list of all ranks of points in linear spaces.

 

Links to Teams: https://teams.microsoft.com/l/meetup-join/19%3a3a9d7f9d1fca4f5b991b4029b09c69a1%40thread.tacv2/1650576543136?context=%7b%22Tid%22%3a%22482198bb-ae7b-4b25-8b7a-6d7f32faa083%22%2c%22Oid%22%3a%221269007f-fe20-4c2c-b6fa-a7e0eff0131e%22%7d

Ranks of points via Macaulay 2

Series
Algebra Student Seminar
Time
Friday, April 8, 2022 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 006 or ONLINE
Speaker
Jaewoo JungGeorgia Tech

The rank of a point $p$ with respect to a non-degenerate variety is the smallest number of the points in the variety that spans the point $p$. Studies about the ranks of points are interesting and important in various areas of applied mathematics and engineering in the sense that they are the shortest sizes of the decompositions of vectors into combinations of simple vectors.



In this talk, we focus on the ranks of points with respect to the rational normal curves, i.e. Waring ranks of binary forms. We introduce an algorithm that produces random points of given rank r. (Note that if we choose points randomly, we expect the rank of the points is just the generic rank.) Moreover, we check some known facts by Macaulay 2 computations. Lastly, we discuss the maximal and minimal rank of points in linear spaces.

 

Teams link: https://teams.microsoft.com/l/meetup-join/19%3a3a9d7f9d1fca4f5b991b4029b09c69a1%40thread.tacv2/1649360107625?context=%7b%22Tid%22%3a%22482198bb-ae7b-4b25-8b7a-6d7f32faa083%22%2c%22Oid%22%3a%2206706002-23ff-4989-8721-b078835bae91%22%7d

A computer program for matroid representation

Series
Algebra Student Seminar
Time
Friday, April 1, 2022 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 006 or ONLINE
Speaker
Tianyi ZhangGeorgia Tech

Baker and Lorscheid have developed a theory of foundation that characterize the representability of matroids. Justin Chen and I are developing a computer program that computes representations of matroids based on the theory of foundation. In this talk, I will introduce backgrounds on matroids and the foundation, then I will talk about the key algorithms in computing the morphisms of pastures. If possible, I will also show some examples of the program.

Teams link: https://teams.microsoft.com/l/meetup-join/19%3a3a9d7f9d1fca4f5b991b4029b09c69a1%40thread.tacv2/1648750292956?context=%7b%22Tid%22%3a%22482198bb-ae7b-4b25-8b7a-6d7f32faa083%22%2c%22Oid%22%3a%2206706002-23ff-4989-8721-b078835bae91%22%7d

Pages