All Seminars

Title: Some Galois cohomology classes arising from the fundamental group of a curve
Seminar: Number Theory
Speaker: Padmavathi Srinivasan of University of Georgia
Contact: David Zureick-Brown, dzureic@emory.edu
Date: 2021-11-02 at 4:00PM
Venue: MSC W301
Download Flyer
Abstract:
We will first talk about the Ceresa class, which is the image under a cycle class map of a canonical algebraic cycle associated to a curve in its Jacobian. This class vanishes for all hyperelliptic curves and was expected to be nonvanishing for non-hyperelliptic curves. In joint work with Dean Bisogno, Wanlin Li and Daniel Litt, we construct a non-hyperelliptic genus 3 quotient of the Fricke--Macbeath curve with vanishing Ceresa class, using the character theory of the automorphism group of the curve, namely, $\mathrm{PSL}_2(\mathbf{F}_8)$. This will also include the tale of another genus 3 curve by Schoen that was lost and then found again! \\ Time permitting, we will also talk about some Galois cohomology classes that obstruct the existence of rational points on curves, by obstructing splittings to natural exact sequences coming from the fundamental group of a curve. In joint work with Wanlin Li, Daniel Litt and Nick Salter, we use these obstruction classes to give a new proof of Grothendieck’s section conjecture for the generic curve of genus $g > 2$. An analysis of the degeneration of these classes at the boundary of the moduli space of curves, combined with a specialization argument lets us prove the existence of infinitely many curves of each genus over $p$-adic fields and number fields that satisfy the section conjecture.
Title: A Multilevel Subgraph Preconditioner for Linear Equations in Graph Laplacians
Seminar: Numerical Analysis and Scientific Computing
Speaker: Junyuan Lin of Loyola Marymount University
Contact: Elizabeth Newman, elizabeth.newman@emory.edu
Date: 2021-10-29 at 12:30PM
Venue: https://emory.zoom.us/j/94914933211
Download Flyer
Abstract:
We propose a Multilevel Subgraph Preconditioner (MSP) to efficiently solve linear equations in graph Laplacians corresponding to general weighted graphs. The MSP preconditioner combines the ideas of expanded multilevel structure from multigrid (MG) methods and spanning subgraph preconditioners (SSP) from Computational Graph Theory. To start, we expand the original graph based on a multilevel structure to obtain an equivalent expanded graph. Although the expanded graph has a low diameter, which is a favorable property for the SSP, it has negatively weighted edges, which is an unfavorable property for the SSP. We design an algorithm to properly eliminate the negatively weighted edges and theoretically show that the resulting subgraph with positively weighted edges is spectrally equivalent to the expanded graph. Then, we adopt algorithms to find SSP, such as augmented low stretch spanning trees, for the positively weighted expanded graph and, therefore, provide an MSP for solving the original graph Laplacian. MSP is practical to find thanks to the multilevel property and has provable theoretical convergence bounds based on the support theory for preconditioning graphs.
Title: Approximating dominant eigenpairs of a matrix valued linear operator.
Seminar: Numerical Analysis and Scientific Computing
Speaker: GUGLIELMI Nicola of Gran Sasso Science Institute
Contact: Manuela Manetta, manuela.manetta@emory.edu
Date: 2021-10-22 at 12:30PM
Venue: https://emory.zoom.us/j/94914933211
Download Flyer
Abstract:
In this talk I will propose a new method to approximate the rightmost eigenpair of certain matrix-valued linear operators, arising e.g. from discretization of PDEs, in a low-rank setting.This is done by means of a suitable gradient system projected onto a low rank manifold. The advantage consists of a reduced memory and computationally convenient procedure able to provide good approximations of the leading eigenpair. Although the results are quite promising, the theory still needs substantial improvements to completely understand the behavior of the method in the more general setting. The talk is inspired by a joint collaboration with D. Kressner (EPFL) and C. Scalone (Univ. L'Aquila).
Title: Variations on a theme of Shinzel and Wójcik
Seminar: Algebra and Number Theory
Speaker: Matthew Just of Emory University
Contact: David Zureick-Brown, dzureic@emory.edu
Date: 2021-10-19 at 4:00PM
Venue: MSC W301
Download Flyer
Abstract:
Let $\alpha$ and $\beta$ be rational numbers not equal to 0 or $\pm 1$. How does the order of $\alpha$ (mod $p$) compare to the order of $\beta$ (mod $p$) as $p$ varies? A result of Shinzel and W\'ojcik states that there are infinitely many primes $p$ for which the order of $\alpha$ (mod $p$) is equal to the order of $\beta$ (mod $p$). In this talk, we discuss the problem of determining whether there are infinitely many primes $p$ for which the order of $\alpha$ (mod $p$) is strictly greater than the order of $\beta$ (mod $p$). This is joint work with Paul Pollack.
Title: Galerkin Transformer
Seminar: Numerical Analysis and Scientific Computing
Speaker: Shuhao Cao of Washington University in St. Louis
Contact: Yuanzhe Xi, yuanzhe.xi@emory.edu
Date: 2021-10-15 at 12:30PM
Venue: https://emory.zoom.us/j/94914933211
Download Flyer
Abstract:
Transformer in "Attention Is All You Need" is now THE ubiquitous architecture in every state-of-the-art model in Natural Language Processing (NLP), such as BERT. At its heart and soul is the "attention mechanism". We apply the attention mechanism the first time to a data-driven operator learning problem related to partial differential equations. Inspired by Fourier Neural Operator which showed a state-of-the-art performance in parametric PDE evaluation, an effort is put together to explain the heuristics of, and to improve the efficacy of the attention mechanism. It is demonstrated that the widely-accepted "indispensable" softmax normalization in the scaled dot-product attention is sufficient but not necessary. Without the softmax normalization, the approximation capacity of a linearized Transformer variant can be proved rigorously for the first time to be on par with a Petrov-Galerkin projection layer-wise. Some simple changes mimicking projections in Hilbert spaces are applied to the attention mechanism, and it helps the final model achieve remarkable accuracy in operator learning tasks with unnormalized data. The newly proposed simple attention-based operator learner, Galerkin Transformer, surpasses the evaluation accuracy of the classical Transformer applied directly by 100 times, and betters all other models in concurrent research. In all experiments including the viscid Burgers' equation, an interface Darcy flow, an inverse interface coefficient identification problem, and Navier-Stokes flow in the turbulent regime, Galerkin Transformer shows significant improvements in both speed and evaluation accuracy over its softmax-normalized counterparts and other linearizing variants such as Random Feature Attention (Deepmind) or FAVOR+ in Performer (Google Brain). In traditional NLP benchmark problems such as IWSLT 14 De-En, the Galerkin projection-inspired tweaks in the attention-based encoder layers help the classic Transformer reach the baseline BLEU score much faster.
Title: PDE Models of Infectious Disease: Validation Against Data, Time-Delay Formulations, Data-Driven Methods, and Future Directions
Seminar: Numerical Analysis and Scientific Computing
Speaker: Alex Viguerie of Gran Sasso Science Institute
Contact: Alessandro Veneziani, avenez2@emory.edu
Date: 2021-10-08 at 12:30PM
Venue: MSC W201
Download Flyer
Abstract:
In the wake of the COVID-19 epidemic, there has been surge in the interest of mathematical modeling of infectious disease. Most of these models are based on the classical SIR framework and follow a compartmental-type structure. While the majority of such models are based on systems of ordinary differential equations (ODEs), there have been several recent works using partial differential equation (PDE) formulations, in order to describe epidemic spread across both space and time. This talk will focus on the application of such PDE models, and discuss different PDE formulations, the advantages and disadvantages, and assess their performance against measured data. Emphasis is placed on the incorporation of time-delay formulations and the application of modern data-driven techniques to further inform and enhance the performance of such models.
Title: Turán density of cliques of order five in 3-uniform hypergraphs with quasirandom links, Part 2
Seminar: Combinatorics
Speaker: Mathias Schacht of The University of Hamburg and Yale University
Contact: Dwight Duffus, dwightduffus@emory.edu
Date: 2021-10-08 at 3:00PM
Venue: MSC E408
Download Flyer
Abstract:
We continue with the proof that 3-uniform hypergraphs with the property that all vertices have a quasirandom link graph with density bigger than 1/3 contain a clique on five vertices. This time we focus on the structure of holes in reduced hypergraphs, which leads to a restricted problem that is easier to solve.
Title: Geometric equations for matroid varieties
Seminar: Algebra and Number Theory
Speaker: Ashley Wheeler of Georgia Institute of Technology
Contact: David Zureick-Brown, dzureic@emory.edu
Date: 2021-10-05 at 4:00PM
Venue: MSC W301
Download Flyer
Abstract:
Each point $x$ in $Gr(r, n)$ corresponds to an $r \times n$ matrix $A_x$ which gives rise to a matroid $M_x$ on its columns. Gel'fand, Goresky, MacPherson, and Serganova showed that the sets $\{y \in Gr(r, n)\,|\,M_y = M_x\}$ form a stratification of $Gr(r, n)$ with many beautiful properties. However, results of Mn\"ev and Sturmfels show that these strata can be quite complicated, and in particular may have arbitrary singularities. We study the ideals $I_x$ of matroid varieties, the Zariski closures of these strata. We construct several classes of examples based on theorems from projective geometry and describe how the Grassmann--Cayley algebra may be used to derive non-trivial elements of $I_x$ geometrically when the combinatorics of the matroid is sufficiently rich.
Title: Inference, Computation, and Games
Seminar: Numerical Analysis and Scientific Computing
Speaker: Florian Schaefer of Georgia Institute of Technology
Contact: Yuanzhe Xi, yxi26@emory.edu
Date: 2021-09-24 at 12:30PM
Venue: MSC W201
Download Flyer
Abstract:

In this talk, we develop algorithms for numerical computation, based on ideas from competitive games and statistical inference.

In the first part, we propose competitive gradient descent (CGD) as a natural generalization of gradient descent to saddle point problems and general sum games. Whereas gradient descent minimizes a local linear approximation at each step, CGD uses the Nash equilibrium of a local bilinear approximation. Explicitly accounting for agent-interaction significantly improves the convergence properties, as demonstrated in applications to GANs, reinforcement learning, and computer graphics.

In the second part, we show that the conditional near-independence properties of smooth Gaussian processes imply the near-sparsity of Cholesky factors of their dense covariance matrices. We use this insight to derive simple, fast solvers with state-of-the-art complexity vs. accuracy guarantees for general elliptic differential- and integral equations. Our methods come with rigorous error estimates, are easy to parallelize, and show good performance in practice.

Title: Clusters and semistable models of hyperelliptic curves
Seminar: Algebra and Number Theory
Speaker: Jeffrey Yelton of Emory University
Contact: David Zureick-Brown, dzureic@emory.edu
Date: 2021-09-21 at 4:00PM
Venue: MSC W301
Download Flyer
Abstract:
For every hyperelliptic curve $C$ given by an equation of the form $y^2 = f(x)$ over a discretely-valued field of mixed characteristic $(0, p)$, there exists (after possibly extending the ground field) a model of $C$ which is \emph{semistable} -- that is, a model whose special fiber (i.e. the reduction over the residue field) consists of reduced components and has at worst very mild singularities. When $p$ is not $2$, the structure of such a special fiber is determined entirely by the distances (under the discrete valuation) between the roots of $f$, which we call the \emph{cluster data} associated to $f$. When $p = 2$, however, the cluster data no longer tell the whole story about the components of the special fiber of a semistable model of $C$, and constructing a semistable model becomes much more complicated. I will give an overview of how to construct``nice" semistable models for hyperelliptic curves over residue characteristic not $2$ and then describe recent results (from joint work with Leonardo Fiore) on semistable models in the residue characteristic $2$ situation.