Seminars and Colloquia by Series

Quantitative convergence analysis of dynamical processes in machine learning

Series
Dissertation Defense
Time
Tuesday, June 25, 2024 - 10:30 for 2 hours
Location
Skiles 006 and online
Speaker
Yuqing WangGeorgia Tech

Zoom link: https://gatech.zoom.us/j/6681416875?pwd=eEc2WEpxeUpCRUFiWXJUM2tPN1MvUT09

This talk focuses on analyzing the quantitative convergence of selected important machine learning processes, from a dynamical perspective, in order to understand and guide machine learning practices. More precisely, it consists of four parts: 1) I will illustrate the effect of large learning rates on optimization dynamics in a specific setup, which often correlates with improved generalization. 2) The theory from part 1 will be extended to a unified mechanism of several implicit biases in optimization, including edge of stability, balancing, and catapult. 3) I will concentrate on diffusion models, which is a concrete and important real-world application, and theoretically demonstrate how to choose its hyperparameters for good performance through the convergence analysis of the full generation process, including optimization and sampling. 4) The generalization performance of different architectures, namely deep residual networks (ResNets) and deep feedforward networks (FFNets), will be discussed.

On Extremal, Algorithmic, and Inferential Problems in Graph Theory

Series
Dissertation Defense
Time
Thursday, May 30, 2024 - 13:00 for 2 hours
Location
Skiles 005 and Online: https://gatech.zoom.us/j/6125656239
Speaker
Abhishek DhawanGeorgia Tech Math

In this dissertation we study a variety of graph-theoretic problems lying at the intersection of mathematics, computer science, and statistics. This work consists of three parts, all of which use probabilistic techniques. 

In Part 1, we consider structurally constrained graphs and hypergraphs. We examine a celebrated conjecture of Alon, Krivelevich, and Sudakov regarding vertex coloring. Our results provide improved bounds in all known cases for which the conjecture holds. We introduce a generalized notion of local sparsity and study the independence and chromatic numbers of graphs satisfying this property. We also consider multipartite hypergraphs, a natural extension of bipartite graphs. We show how certain probabilistic techniques for problems on bipartite graphs can be adapted to multipartite hypergraphs, and are therefore able to extend and generalize a number of results.

In Part 2, we investigate edge coloring from an algorithmic standpoint. We focus on multigraphs of bounded maximum degree, i.e., $\Delta(G) = O(1)$. Following the so-called augmenting subgraph approach, we design deterministic and randomized algorithms using a near-optimal number of colors in the sequential setting as well as in the LOCAL model of distributed computing. Additionally, we study list-edge-coloring for list assignments satisfying certain local constraints, and describe a polynomial-time algorithm to compute such a coloring.

Finally, in Part 3, we explore a number of statistical inference problems in random hypergraph models. Specifically, we consider the statistical-computational gap for finding large independent sets in sparse random hypergraphs, and the computational threshold for the detection of planted dense subhypergraphs (a generalization of the classical planted clique problem). We explore the power and limitations of low-degree polynomial algorithms, a powerful class of algorithms which includes the class of local algorithms as well as approximate message passing and power iteration.

Numerical Methods for Optimal Transport Problems

Series
Dissertation Defense
Time
Friday, April 12, 2024 - 13:30 for 1.5 hours (actually 80 minutes)
Location
Skiles 268
Speaker
Daniyar OmarovSchool of Mathematics, Georgia Tech

I will present numerical methods for solving the optimal transport (OT) problems in three settings. Firstly, I will discuss discrete OT problems from the perspective of linear programming and assignment problems. Additionally, I will provide a solution for a discrete problem with an obstacle in the domain.

Next, I will consider and compare several different numerical methods to solve the classic continuous OT problem with the squared Euclidean cost function. I will compare two numerical methods used for the fluid dynamics formulation with a direct discretization of the Monge-Ampère PDE. Furthermore, I will introduce a new class of problems called separable, for which very accurate methods can be devised. 

Lastly, I propose a novel implementation of Newton's method for solving semi-discrete OT problems for cost functions that are a positive combination of $p$-norms, $1

Geometry, topology, and combinatorics of fine curve graph variants

Series
Dissertation Defense
Time
Friday, April 5, 2024 - 13:00 for 1 hour (actually 50 minutes)
Location
Skiles 169
Speaker
Roberta ShapiroGeorgia Tech

The goal of this talk is to explore curve graphs, which are combinatorial tools that encode topological information about surfaces. We focus on variants of the fine curve graph of a surface. The fine curve graph has its vertices essential simple closed curves on the surface and its edges connect pairs of curves that are disjoint. We will mention a sampling of related theorems which were proven in collaboration with various coauthors and then prove several results regarding the finitary curve graph, which has as its vertices essential simple closed curves while its edges connect pairs of curves that intersect at finitely many points.

In this talk, we will prove that the finitary curve graph has diameter 2 (geometry), that the flag complex induced by the finitary curve graph is contractible (topology), and that the automorphism group of the finitary curve graph is naturally isomorphic to the homeomorphism group of the surface (combinatorics).

Work mentioned in the talk will be a subset of independent work and of collaborations with Katherine Booth, Ryan Dickmann, Dan Minahan, and Alex Nolte. The talk will be aimed at a non-expert audience.

Topics in Toric and Tropical Geometry: Positivity and Completion

Series
Dissertation Defense
Time
Monday, April 1, 2024 - 11:30 for 1 hour (actually 50 minutes)
Location
Skiles 114
Speaker
May CaiGeorgia Institute of Technology

This defense will also be on zoom at: https://gatech.zoom.us/j/99428720697

In this defense we describe three topics in tropical and toric positivity and completion. In the first part, we describe the finite completability of a partial point to a log-linear statistical model: a toric variety restricted to the probability simplex. We show when a generic point in some projection of a log-linear model has finite preimage, and the exact number of preimages in such a case. In the second part, we describe the tropical variety of symmetric tropical rank 2 matrices. We give a description of the tropical variety as a coarsening of the simplicial complex of a type of bicolored trees, and show that the tropical variety is shellable. Finally, we discuss two tropical notions of positivity, and give results on the positive part of certain tropical determinantal varieties.

Committee:

Josephine Yu, Georgia Institute of Technology (Advisor)
Matt Baker, Georgia Institute of Technology
Greg Blekherman, Georgia Institute of Technology,
Kaie Kubjas, Aalto University
Anton Leykin, Georgia Institute of Technology

Thesis draft:
Link

Matroids, Matrices, and Partial Hyperstructures

Series
Dissertation Defense
Time
Wednesday, July 5, 2023 - 02:00 for 1.5 hours (actually 80 minutes)
Location
Skiles 006
Speaker
Tianyi ZhangGeorgia Tech

Please Note: Zoom Link: https://gatech.zoom.us/j/7776548887?pwd=SFEySmpVUW9FckxJVEZRY2hUbUVOQT09 Committee Members: Matt Baker (Co-advisor) Oliver Lorscheid (Co-advisor) Anton Leykin Josephine Yu Xingxing Yu

I will talk about the application of algebra and algebraic geometry to matroid theory. Baker and Bowler developed the notions of weak and strong matroids over tracts. Later, Baker and Lorscheid developed the notion of foundation of a matroid, which characterize the representability of the matroid. I will introduce a variety of topics under this theme. First, I will talk about a condition which is sufficient to guarantee that the notions of strong and weak matroids coincide. Next, I will describe a software program that computes all representations of matroids over a field, based on the theory of foundations. Finally, I will define a notion of rank for matrices over tracts in order to get uniform proofs of various results about ranks of matrices over fields.

Set Images and Convexity Properties of Convolutions for Sum Sets and Difference Sets

Series
Dissertation Defense
Time
Friday, June 23, 2023 - 14:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Chi-Nuo LeeGeorgia Tech

Many recent breakthroughs in additive combinatorics, such as results relating to Roth’s theorem or inverse sum set theorems, utilize a combination of Fourier analytical and physical methods. Physical methods refer to results relating to the physical space, such as almost-periodicity results regarding convolutions. This thesis focuses on the properties of convolutions.

Given a group G and sets A ⊆ G, we study the properties of the convolution for sum sets and difference sets, 1A ∗1A and 1A ∗1−A. Given x ∈ Gn, we study the set image of its sum set and difference set. We break down the study of set images into two cases, when x is independent, and when x is an arithmetic progression. In both cases, we provide some convexity result for the set image of both the sum set and difference set. For the case of the arithmetic progression, we prove convexity by first showing a recurrence relation for the distribution of the convolution.

Finally, we prove a smoothness property regarding 4-fold convolutions 1A ∗1A ∗1A ∗1A. We then construct different examples to better understand possible bounds for the smoothness property in the case of 2-fold convolutions 1A ∗ 1A.

Committee

Prof. Ernie Croot, Advisor

Prof. Michael Lacey

Prof. Josephine Yu

Prof. Anton Leykin

Prof. Will Perkins

Functional Ito Calculus for Lévy Processes (with a View Towards Mathematical Finance)

Series
Dissertation Defense
Time
Thursday, June 22, 2023 - 15:00 for 1 hour (actually 50 minutes)
Location
Skiles 006/Zoom
Speaker
Jorge Aurelio Víquez BolañosGeorgia Tech

Zoom link.  Meeting ID: 914 2801 6313, Passcode: 501018

We examine the relationship between Dupire's functional derivative and a variant of the functional derivative developed by Kim for analyzing functionals in systems with delay. Our findings demonstrate that if Dupire's space derivatives exist, differentiability in any continuous functional direction implies differentiability in any other direction, including the constant one. Additionally, we establish that co-invariant differentiable functionals can lead to a functional Ito formula in the Cont and Fournié path-wise setting under the right regularity conditions.

Next, our attention turns to functional extensions of the Meyer-Tanaka formula and the efforts made to characterize the zero-energy term for integral representations of functionals of semimartingales. Using Eisenbaum's idea for reversible semimartingales, we obtain an optimal integration formula for Lévy processes, which avoids imposing additional regularity requirements on the functional's space derivative, and extends other approaches using the stationary and martingale properties of Lévy processes.

Finally, we address the topic of integral representations for the delta of a path-dependent pay-off, which generalizes Benth, Di Nunno, and Khedher's framework for the approximation of functionals of jump-diffusions to cases where they may be driven by a process satisfying a path-dependent differential equation. Our results extend Jazaerli and Saporito's formula for the delta of functionals to the jump-diffusion case. We propose an adjoint formula for the horizontal derivative, hoping to obtain more tractable formulas for the Delta of strongly path-dependent functionals.

Committee 

  • Prof. Christian Houdré - School of Mathematics, Georgia Tech (advisor)
  • Prof. Michael Damron - School of Mathematics, Georgia Tech
  • Prof. Rachel Kuske - School of Mathematics, Georgia Tech
  • Prof. Andrzej Święch - School of Mathematics, Georgia Tech
  • Prof. José Figueroa-López - Department of Mathematics and Statistics, Washington University in St. Louis
  • Prof. Bruno Dupire - Department of Mathematics, New York University

Divisors and multiplicities under tropical and signed shadows

Series
Dissertation Defense
Time
Tuesday, June 20, 2023 - 09:30 for 1.5 hours (actually 80 minutes)
Location
Skiles 006 / Zoom
Speaker
Trevor GunnGeorgia Tech

Zoom link (Meeting ID: 941 5991 7033, Passcode: 328576)

I will present two projects related to tropical divisors and multiplicities. First, my work with Philipp Jell on fully-faithful tropicalizations in 3-dimensions. Second, my work with Andreas Gross on algebraic and combinatorial multiplicities for multivariate polynomials over the tropical and sign hyperfields.

The first part is about using piecewise linear functions to describe tropical curves in 3 dimensions and how the changes in those slopes (a divisor) lift to non-Archimedean curves. These divisors give an embedding of a curve in a 3-dimensional toric variety whose tropicalization is isometric to the so-called extended skeleton of the curve.

In part two, I describe how Baker and Lorscheid's theory of multiplicities over hyperfields can be extended to multivariate polynomials. One key result is a new proof/view of the work of Itenburg and Roy who used patchworking to construct some lower bounds on the number of positive roots of a system of polynomials given a particular sign arrangement. Another result is a collection of upper bounds for the same problem.

Committee:

  • Matt Baker (Advisor)
  • Josephine Yu
  • Oliver Lorscheid
  • Anton Leykin
  • Greg Blekherman

Improving and maximal inequalities in discrete harmonic analysis

Series
Dissertation Defense
Time
Wednesday, June 7, 2023 - 13:00 for 1 hour (actually 50 minutes)
Location
Skiles 006 & online
Speaker
Christina GiannitsiGeorgia Tech

►Presentation will be in hybrid format. Zoom link: https://gatech.zoom.us/j/99128737217?pwd=dllnNE1kSW1DZURrY1UycGxrazJtQT09

►Abstract: We study various averaging operators of discrete functions, inspired by number theory, in order to show they satisfy  $\ell^p$ improving and maximal bounds. The maximal bounds are obtained via sparse domination results for $p \in (1,2)$, which imply boundedness on $\ell ^p (w)$ for $p \in (1, \infty )$, for all weights $w$ in the Muckenhoupt $A_p$ class. 

We start by looking at averages along the integers weighted by the divisor function $d(n)$, and obtain a uniform, scale free $\ell^p$-improving estimate for $p \in (1,2)$. We also show that the associated maximal function satisfies $(p,p)$ sparse bounds for $p \in (1,2)$. We move on to study averages along primes in arithmetic progressions, and establish improving and maximal inequalities for these averages, that are uniform in the choice of progression. The uniformity over progressions imposes several novel elements on our approach. Lastly, we generalize our setting in the context of number fields, by considering averages over the Gaussian primes.

Finally, we explore the connections of our work to number theory:   Fix an interval $\omega \subset \mathbb{T}$. There is an integer $N_\omega $, so that every odd integer $n$ with $N(n)>N_\omega $ is a sum of three Gaussian primes with arguments in $\omega $.  This is the weak Goldbach conjecture. A density version of the strong Goldbach conjecture is proved, as well.

                                                   

►Members of the committee:
· Michael Lacey (advisor)
· Chris Heil
· Ben Krause
· Doron Lubinsky
· Shahaf Nitzan

Pages