Seminars and Colloquia by Series

Disjoint paths problem with group-expressable constraints (Chun-Hung Liu)

Series
Graph Theory Seminar
Time
Tuesday, December 3, 2024 - 15:30 for 1 hour (actually 50 minutes)
Location
246 Classroom Guggenheim
Speaker
Chun-Hung LiuTexas A&M University

(Note the unusual location!)

We study an extension of the k-Disjoint Paths Problem where, in addition to finding k disjoint paths joining k given pairs of vertices in a graph, we ask that those paths satisfy certain constraints expressable by abelian groups. We give an O(n^8) time algorithm to solve this problem under the assumption that the constraint can be expressed as avoiding a bounded number of group elements; moreover, our O(n^8) algorithm allows any bounded number of such constraints to be combined. Group-expressable constraints include, but not limited to: (1) paths of length r modulo m for any fixed r and m, (2) paths passing through any bounded number of prescribed sets of edges and/or vertices, and (3) paths that are long detours (paths of length at least r more than the distance between their ends for fixed r). The k=1 case with the modularity constraint solves problems of Arkin, Papadimitriou and Yannakakis from 1991. Our work also implies a polynomial time algorithm for testing the existence of a subgraph isomorphic to a subdivision of a fixed graph, where each path of the subdivision between branch vertices satisfies any combination of a bounded number of group-expressable constraints. In addition, our work implies similar results addressing edge-disjointness. It is joint work with Youngho Yoo.

Constructing finite time singularities: Non-radial implosion for compressible Euler, Navier-Stokes and defocusing NLS in T^d and R^d

Series
Job Candidate Talk
Time
Tuesday, December 3, 2024 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Jia ShiMIT

The compressible Euler and Navier-Stokes equations describe the motion of compressible fluids. The defocusing nonlinear Schr\"odinger equation is a dispersive equation that has application in many physics areas. Through the Madelung transformation, the defocusing nonlinear Schr\"odinger equation is connected with the compressible Euler equation. In this colloquium I will start from the compressible Euler/Navier-Stokes equation and introduce the blow-up result called implosion. Then I will introduce the defocusing nonlinear Schr\"odinger equation and the longstanding open problem on the blow-up of its solutions in the energy supercritical regime. In the end I will talk about the Madelung transformation and its application to transfer the implosion from the compressible Euler to the defocusing nonlinear Schr\"odinger equation. During the talk I will mention our work with Gonzalo Cao-Labora, Javier Gómez-Serrano and Gigliola Staffilani on the first non-radial implosion result for those three equations.

Stability of explicit integrators on Riemannian manifolds

Series
Applied and Computational Mathematics Seminar
Time
Monday, December 2, 2024 - 14:00 for 1 hour (actually 50 minutes)
Location
Klaus 2443 and https://gatech.zoom.us/j/94954654170
Speaker
Brynjulf OwrenNorwegian University of Science and Technology

Please Note: Special Location

In this talk, I will discuss some very recent results on non-expansive numerical integrators on Riemannian manifolds.
 
We shall focus on the mathematical results, but the work is motivated by neural network architectures applied to manifold-valued data, and also by some recent activities in the simulation of slender structures in mechanical engineering. In Arnold et al. (2024), we proved that when applied to non-expansive continuous models, the Geodesic Implicit Euler method is non-expansive for all stepsizes when the manifold has non-positive sectional curvature. Disappointing counter-examples showed that this cannot hold in general for positively curved spaces. In the last few weeks, we have considered the Geodesic Explicit Euler method applied to non-expansive systems on manifolds of constant sectional curvature. In this case, we have proved upper bounds for the stepsize for which the Euler scheme is non-expansive.
 
Reference
Martin Arnold, Elena Celledoni, Ergys Çokaj, Brynjulf Owren and Denise Tumiotto,
B-stability of numerical integrators on Riemannian manifolds, J. Comput. Dyn.,  11(1) 2024, 92-107. doi: 10.3934/jcd.2024002 

Bounding non-integral non-characterizing Dehn surgeries

Series
Geometry Topology Seminar
Time
Monday, December 2, 2024 - 14:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Patricia SoryaUQAM

A Dehn surgery slope p/q is said to be characterizing for a knot K if the homeomorphism type of the p/q-Dehn surgery along K determines the knot up to isotopy. I discuss advances towards a conjecture of McCoy that states that for any knot, all but at most finitely many non-integral slopes are characterizing.

Chaos in polygonal billiards

Series
Job Candidate Talk
Time
Monday, December 2, 2024 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Francisco Arana-HerreraUniversity of Maryland

We discuss how chaos, i.e., sensitivity to initial conditions, arises in the setting of polygonal billiards. In particular, we give a complete classification of the rational polygons whose billiard flow is weak mixing in almost every direction, proving a longstanding conjecture of Gutkin. This is joint work with Jon Chaika and Giovanni Forni. No previous knowledge on the subject will be assumed.

Induced subgraphs of graphs of large K_r-free chromatic number (Aristotelis Chaniotis)

Series
Graph Theory Seminar
Time
Tuesday, November 26, 2024 - 15:30 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Aristotelis ChaniotisUniversity of Waterloo

For an integer $r\geq 2$, the $K_{r}$-free chromatic number of a graph $G$, denoted by $\chi_{r}(G)$, is the minimum size of a partition of the set of vertices of $G$ into parts each of which induces a $K_{r}$-free graph. In this setting, the $K_{2}$-free chromatic number is the usual chromatic number.

Which are the unavoidable induced subgraphs of graphs of large $K_{r}$-free chromatic number? Generalizing the notion of $\chi$-boundedness, we say that a hereditary class of graphs is $\chi_{r}$-bounded if there exists a function which provides an upper bound for the $K_{r}$-free chromatic number of each graph of the class in terms of the graph's clique number. 

With an emphasis on a generalization of the Gy\'arf\'as-Sumner conjecture for $\chi_{r}$-bounded classes of graphs and on polynomial $\chi$-boundedness, I will discuss some recent developments on $\chi_{r}$-boundedness and related open problems. 

Based on joint work with Mathieu Rundstr\"om and Sophie Spirkl, and with Bartosz Walczak.
 

Prym Representations and Twisted Cohomology of the Mapping Class Group with Level Structures

Series
Geometry Topology Seminar
Time
Monday, November 25, 2024 - 14:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Xiyan ZhongNotre Dame

The Prym representations of the mapping class group are an important family of representations that come from abelian covers of a surface. They are defined on the level-ℓ mapping class group, which is a fundamental finite-index subgroup of the mapping class group.  One consequence of our work is that the Prym representations are infinitesimally rigid, i.e. they can not be deformed. We prove this infinitesimal rigidity by calculating the twisted cohomology of the level-ℓ mapping class group with coefficients in the Prym representation, and more generally in the r-tensor powers of the Prym representation. Our results also show that when r ≥ 2, this twisted cohomology does not satisfy cohomological stability, i.e. it depends on the genus g.

Efficient, Robust, and Agnostic Generative Modeling with Group Symmetry and Regularized Divergences

Series
Applied and Computational Mathematics Seminar
Time
Monday, November 25, 2024 - 14:00 for 1 hour (actually 50 minutes)
Location
Skiles 005 and https://gatech.zoom.us/j/94954654170
Speaker
Ziyu ChenUniversity of Massachusetts Amherst

In this talk, I will discuss our recent theoretical advancements in generative modeling. The first part of the presentation will focus on learning distributions with symmetry. I will introduce results on the sample complexity of empirical estimations of probability divergences for group-invariant distributions, and present performance guarantees for GANs and score-based generative models that incorporate symmetry. Notably, I will offer the first quantitative comparison between data augmentation and directly embedding symmetry into models, highlighting the latter as a more fundamental approach for efficient learning. These findings underscore how incorporating symmetry into generative models can significantly enhance learning efficiency, particularly in data-limited scenarios. The second part will cover $\alpha$-divergences with Wasserstein-1 regularization. These divergences can be interpreted as $\alpha$-divergences constrained to Lipschitz test functions in their variational form. I will demonstrate how generative learning can be made agnostic to assumptions about target distributions, including those with heavy tails or low-dimensional and fractal supports, through the use of these divergences as objective functionals. I will outline the conditions for the finiteness of these divergences under minimal assumptions on the target distribution along with the variational derivatives and gradient flow formulation associated with them. This framework provides guarantees for various machine learning algorithms that optimize over this class of divergences. 

Non-escape of mass for QUE in hyperbolic 4-manifolds

Series
CDSNS Colloquium
Time
Friday, November 22, 2024 - 15:30 for 1 hour (actually 50 minutes)
Location
Skiles 314
Speaker
Alexandre Perozim de FaveriStanford University

The arithmetic quantum unique ergodicity (AQUE) conjecture predicts that the L^2 mass of Hecke-Maass cusp forms on an arithmetic hyperbolic manifold becomes equidistributed as the Laplace eigenvalue grows. If the underlying manifold is non-compact, mass could “escape to infinity”. This possibility was ruled out by Soundararajan for arithmetic surfaces, which when combined with celebrated work of Lindenstrauss completed the proof of AQUE for surfaces.

We establish non-escape of mass for Hecke-Maass cusp forms on a congruence quotient of hyperbolic 4-space. Unlike in the setting of hyperbolic 2- or 3-manifolds (for which AQUE has been proved), the number of terms in the Hecke relations is unbounded, which prevents us from naively applying Cauchy-Schwarz. We instead view the isometry group as a group of quaternionic matrices, and rely on non-commutative unique factorization, along with certain structural features of the Hecke action. Joint work with Zvi Shem-Tov.

 

Multidimensional local limit theorem in deterministic systems and an application to non-convergence of polynomial multiple averages - NOTE IRREGULAR TIME/DATE

Series
CDSNS Colloquium
Time
Thursday, November 21, 2024 - 16:00 for 1 hour (actually 50 minutes)
Location
Skiles 314
Speaker
Shrey SanadhyaHebrew University

In this talk, for an ergodic probability preserving system $(X,\mathcal{B},m,T)$, we will discuss the existence of a function $f:X\to \mathbb{Z}^d$, whose corresponding cocycle satisfies the $d$-dimensional local central limit theorem.
As an application, we resolve a question of Huang, Shao and Ye, and Franzikinakis and Host regarding non-convergence in $L^2$ of polynomial multiple averages of non-commuting zero entropy transformations. If time allows, we will also discuss the first examples of failure of multiple recurrence for zero entropy transformations along polynomial iterates. This is joint work with Zemer Kosloff (arXiv:2409.05087). 

Pages