Seminars and Colloquia by Series

Quantum algorithms for Hamiltonian simulation with unbounded operators

Series
Job Candidate Talk
Time
Thursday, December 8, 2022 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 006 or https://gatech.zoom.us/j/98355006347
Speaker
Di FangUC Berkeley

Recent years have witnessed tremendous progress in developing and analyzing quantum computing algorithms for quantum dynamics simulation of bounded operators (Hamiltonian simulation). However, many scientific and engineering problems require the efficient treatment of unbounded operators, which frequently arise due to the discretization of differential operators. Such applications include molecular dynamics, electronic structure theory, quantum control and quantum machine learning. We will introduce some recent advances in quantum algorithms for efficient unbounded Hamiltonian simulation, including Trotter type splitting and the quantum highly oscillatory protocol (qHOP) in the interaction picture. The latter yields a surprising superconvergence result for regular potentials. In the end, I will discuss briefly how Hamiltonian simulation techniques can be applied to a quantum learning task achieving optimal scaling. (The talk does not assume a priori knowledge on quantum computing.)

Structure for dense graphs: forbidding a vertex-minor

Series
Job Candidate Talk
Time
Tuesday, December 6, 2022 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 006 / hybrid
Speaker
Rose McCartyPrinceton University

Structural graph theory has traditionally focused on graph classes that are closed under both vertex- and edge-deletion (such as, for each surface Σ, the class of all graphs which embed in Σ). A more recent trend, however, is to require only closure under vertex-deletion. This is typically the right approach for graphs with geometric, rather than topological, representations. More generally, it is usually the right approach for graphs that are dense, rather than sparse. I will discuss this paradigm, taking a closer look at classes with a forbidden vertex-minor.

New advances on the decomposition and analysis of nonstationary signals: a Mathematical perspective on Signal Processing.

Series
Applied and Computational Mathematics Seminar
Time
Monday, December 5, 2022 - 14:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Antonio Cicone University of L'Aquila

In many applied fields of research, like Geophysics, Medicine, Engineering, Economy, and Finance, to name a few, classical problems are the extraction of hidden information and features, like quasi-periodicities and frequency patterns, as well as the separation of different components contained in a given signal, like, for instance, its trend.

Standard methods based on Fourier and Wavelet Transform, historically used in Signal Processing, proved to be limited when nonlinear and non-stationary phenomena are present. For this reason in the last two decades, several new nonlinear methods have been developed by many research groups around the world, and they have been used extensively in many applied fields of research.

In this talk, we will briefly review the Hilbert-Huang Transform (a.k.a. Empirical Mode Decomposition method) and discuss its known limitations. Then, we will review the Iterative Filtering technique and we will introduce newly developed generalizations to handle multidimensional, multivariate, or highly non-stationary signals, as well as their time-frequency representation, via the so-called IMFogram. We will discuss the theoretical and numerical properties of these methods and show their applications to real-life data.
We will conclude the talk by reviewing the main problems which are still open in this research field.

Multisections, the pants complex, and Weinstein manifolds

Series
Geometry Topology Seminar
Time
Monday, December 5, 2022 - 14:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Gabriel IslambouliUC Davis

We introduce a decomposition of a 4-manifold called a multisection, which is a mild generalization of a trisection. We show that these correspond to loops in the pants complex and provide an equivalence between closed smooth 4-manifolds and loops in the pants complex up to certain moves. In another direction, we will consider multisections with boundary and show that these can be made compatible with a Weinstein structure, so that any Weinstein 4-manifold can be presented as a collection of curves on a surface.

Circuits, p-adic Root Counting, and Complexity

Series
Algebra Seminar
Time
Monday, December 5, 2022 - 13:30 for 1 hour (actually 50 minutes)
Location
Clough 125 Classroom
Speaker
J. Maurice RojasTAMU

 Around 1997, Shub and Smale proved that sufficiently good upper bounds
on the number of integer roots of polynomials in one variable --- as a function
of the input complexity --- imply a variant of P not equal to NP. Since then,
later work has tried to go half-way: Trying to prove that easier root counts
(over fields instead) still imply interesting separations of complexity
classes. Koiran, Portier, and Tavenas have found such statements over the real
numbers.

        We present an analogous implication involving p-adic valuations:    
If the integer roots of SPS polynomials (i.e., sums of products of sparse polynomials) of size s never yield more than s^{O(1)} distinct p-adic
valuations, then the permanents of n by n matrices cannot be computed by constant-free, division-free arithmetic circuits of size n^{O(1)}. (The
implication would be a new step toward separating VP from VNP.) We also show that this conjecture is often true, in a tropical geometric sense (paralleling a similar result over the real numbers by Briquel and Burgisser). Finally, we prove a special case of our conjectured valuation bound, providing a p-adic analogue of an earlier real root count for polynomial systems supported on circuits. This is joint work with Joshua Goldstein, Pascal Koiran, and Natacha Portier.

Morse functions on surfaces, the pants complex, and 4-manifolds

Series
Geometry Topology Seminar Pre-talk
Time
Monday, December 5, 2022 - 12:45 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Gabriel IslambouliUC Davis

We show how to obtain a decomposition of an arbitrary closed, smooth, orientable 4-manifold from a loop of Morse functions on a surface or as a loop in the pants complex. A nice feature of all of these decompositions is that they can be encoded on a surface so that, in principle, 4-manifold topology can be reduced to surface topology. There is a good amount to be learned from translating between the world of Morse functions and the world of pants decompositions.  We will allude to some of the applications of this translation and point the interested researcher to where they can learn more. No prior knowledge of these fields is assumed and there will be plenty of time for questions.

High-Girth Steiner Triple Systems

Series
Combinatorics Seminar
Time
Friday, December 2, 2022 - 15:00 for 1 hour (actually 50 minutes)
Location
Skiles 202
Speaker
Ashwin SahMassachusetts Institute of Technology

We prove a 1973 conjecture due to Erdős on the existence of Steiner triple systems with arbitrarily high girth. Our proof builds on the method of iterative absorption for the existence of designs by Glock, Kü​hn, Lo, and Osthus while incorporating a "high girth triangle removal process". In particular, we develop techniques to handle triangle-decompositions of polynomially sparse graphs, construct efficient high girth absorbers for Steiner triple systems, and introduce a moments technique to understand the probability our random process includes certain configurations of triples.

(Joint with Matthew Kwan, Mehtaab Sawhney, and Michael Simkin) ​

Evolutionary de Rham-Hodge method and its applications in SARS-CoV-2 studying

Series
Mathematical Biology Seminar
Time
Friday, December 2, 2022 - 15:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Jiahui ChenMichigan State University -- Department of Mathematics

Please Note: The classroom version of this event will be held in Skiles 005. Everyone on campus at Georgia Tech is highly encouraged to attend this version. The virtual version will be administered through Zoom (https://gatech.zoom.us/j/99514218896).

This talk will discuss an evolutionary de Rham-Hodge method to provide a unified paradigm for the multiscale geometric and topological analysis of evolving manifolds constructed from filtration, which induces a family of evolutionary de Rham complexes. While the present method can be easily applied to close manifolds, the emphasis is given to more challenging compact manifolds with 2-manifold boundaries, which require appropriate analysis and treatment of boundary conditions on differential forms to maintain proper topological properties. Three sets of Hodge Laplacians are proposed to generate three sets of topology-preserving singular spectra, for which the multiplicities of zero eigenvalues correspond to exact topological invariants. To demonstrate the utility of the proposed method, the application is considered for the predictions of binding free energy (BFE) changes of protein-protein interactions (PPIs) induced by mutations with machine learning modeling. It has a great application in studying the SARS-CoV-2 virus' infectivity, antibody resistance, and vaccine breakthrough, which will be presented in this talk.

Using Morse homology to understand persistence modules II

Series
Geometry Topology Working Seminar
Time
Friday, December 2, 2022 - 14:00 for 1.5 hours (actually 80 minutes)
Location
Skiles 006
Speaker
Daniel IrvineGeorgia Tech

Morse theory and Morse homology together give a method for understanding how the topology of a smooth manifold changes with respect to a filtration of the manifold given by sub-level sets. The Morse homology of a smooth manifold can be expressed using an algebraic object called a persistence module. A persistence module is a module graded by real numbers, and in this setup the grading on the module corresponds to the aforementioned filtration on the smooth manifold.

This is the second of a series of talks that aims to explain the relationship between Morse homology and persistence modules. In this second talk, I will define persistence modules, explain how to compute Morse homology using persistence modules, and explain how the Künneth theorem and the cup product work with persistence modules. The material from the first part of this series will be assumed.

Sparse Quadratic Optimization via Polynomial roots

Series
ACO Student Seminar
Time
Friday, December 2, 2022 - 13:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Kevin ShuGeorgia Tech Math

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.

Pages