Seminars and Colloquia by Series

Physics-guided interpretable data-driven simulations

Series
Applied and Computational Mathematics Seminar
Time
Monday, September 18, 2023 - 14:00 for 1 hour (actually 50 minutes)
Location
https://gatech.zoom.us/j/98355006347
Speaker
Youngsoo ChoiLawrence Livermore National Laboratory

Please Note: This is a virtual seminar. Speaker Bio: Youngsoo is a computational math scientist in Center for Applied Scientific Computing (CASC) under Computing directorate at LLNL. His research focuses on developing efficient reduced order models for various physical simulations for time-sensitive decision-making multi-query problems, such as inverse problems, design optimization, and uncertainty quantification. His expertise includes various scientific computing disciplines. Together with his team and collaborators, he has developed powerful model order reduction techniques, such as machine learning-based nonlinear manifold, space–time reduced order models, and latent space dynamics identification methods for nonlinear dynamical systems. He has also developed the component-wise reduced order model optimization algorithm, which enables fast and accurate computational modeling tools for lattice-structure design. He is currently leading data-driven physical simulation team at LLNL, with whom he developed the open source codes, libROM (i.e., https://www.librom.net), LaghosROM (i.e., https://github.com/CEED/Laghos/tree/rom/rom), LaSDI (i.e., https://github.com/LLNL/LaSDI), gLaSDI (i.e., https://github.com/LLNL/gLaSDI), and GPLaSDI (i.e., https://github.com/LLNL/GPLaSDI). He earned his undergraduate degree in Civil and Environmental Engineering from Cornell University and his Ph.D. degree in Computational and Mathematical Engineering from Stanford University. He was a postdoctoral scholar at Sandia National Laboratories and Stanford University prior to joining LLNL in 2017.

A computationally expensive physical simulation is a huge bottleneck to advance in science and technology. Fortunately, many data-driven approaches have emerged to accelerate those simulations, thanks to the recent advancements in machine learning (ML) and artificial intelligence. For example, a well-trained 2D convolutional deep neural network can predict the solution of the complex Richtmyer–Meshkov instability problem with a speed-up of 100,000x [1]. However, the traditional black-box ML models do not incorporate existing governing equations, which embed underlying physics, such as conservation of mass, momentum, and energy. Therefore, the black-box ML models often violate important physics laws, which greatly concern physicists, and require big data to compensate for the missing physics information. Additionally, it comes with other disadvantages, such as non-structure-preserving, computationally expensive training phase, non-interpretability, and vulnerability in extrapolation. To resolve these issues, we can bring physics into the data-driven framework. Physics can be incorporated into different stages of data-driven modeling, i.e., the sampling stage and model-building stage. Physics-informed greedy sampling procedure minimizes the number of required training data for a target accuracy [2]. Physics-guided data-driven model better preserves the physical structure and is more robust in extrapolation than traditional black-box ML models. Numerical results, e.g., hydrodynamics [3,4], particle transport [5], plasma physics, and 3D printing, will be shown to demonstrate the performance of the data-driven approaches. The benefits of the data-driven approaches will also be illustrated in multi-query decision-making applications, such as design optimization [6,7].

 

Reference
[1] Jekel, Charles F., Dane M. Sterbentz, Sylvie Aubry, Youngsoo Choi, Daniel A. White, and Jonathan L. Belof. “Using Conservation Laws to Infer Deep Learning Model Accuracy of Richtmyer-meshkov Instabilities.” arXiv preprint arXiv:2208.11477 (2022).
[2] He, Xiaolong, Youngsoo Choi, William D. Fries, Jon Belof, and Jiun-Shyan Chen. “gLaSDI: Parametric Physics-informed Greedy Latent Space Dynamics Identification.” arXiv preprint arXiv:2204.12005 (2022).
[3] Copeland, Dylan Matthew, Siu Wun Cheung, Kevin Huynh, and Youngsoo Choi. “Reduced order models for Lagrangian hydrodynamics.” Computer Methods in Applied Mechanics and Engineering 388 (2022): 114259.
[4] Kim, Youngkyu, Youngsoo Choi, David Widemann, and Tarek Zohdi. “A fast and accurate physics-informed neural network reduced order model with shallow masked autoencoder.” Journal of Computational Physics 451 (2022): 110841.
[5] Choi, Youngsoo, Peter Brown, William Arrighi, Robert Anderson, and Kevin Huynh. “Space–time reduced order model for large-scale linear dynamical systems with application to Boltzmann transport problems.” Journal of Computational Physics 424 (2021): 109845.
[6] McBane, Sean, and Youngsoo Choi. “Component-wise reduced order model lattice-type structure design.” Computer methods in applied mechanics and engineering 381 (2021): 113813.
[7] Choi, Youngsoo, Gabriele Boncoraglio, Spenser Anderson, David Amsallem, and Charbel Farhat. “Gradient-based constrained optimization using a database of linear reduced-order models.” Journal of Computational Physics 423 (2020): 109787.

 

Corks Equivalent to Fintushel-Stern Knot-Surgery

Series
Geometry Topology Seminar
Time
Monday, September 18, 2023 - 14:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Charles SteinNYU

Fintushel and Stern’s knot surgery constructions has been a central source of exotic 4-manifolds since its introduction in 1997. In the simply connected setting, it is known that there are also embedded corks in knot-surgered manifolds whose twists undo the knot surgery. This has been known abstractly since the construction was first given, but the explicit corks and embeddings have remained elusive. We will give an algorithmic process for transforming a generic Kirby diagram of a simply-connected knot surgered 4-manifold into one which contains an explicit cork whose twist undoes the surgery: answering the question. Along the way we will discuss $S^2\times S^2$-stable diffeomorphisms of knot-surgered 4-manifolds, and their relationship to the existence of corks.

Elliptic surfaces from the perspective of Kirby Calculus

Series
Geometry Topology Seminar Pre-talk
Time
Monday, September 18, 2023 - 13:45 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Charles SteinNYU

Elliptic surfaces are some of the most well-behaved families of smooth, simply-connected four-manifolds from the geometric and analytic perspective. Many of their smooth invariants are easily computable and they carry a fibration structure which makes it possible to modify them by various surgical operations. However, elliptic surfaces have large Euler characteristics which means even their simplest handle-decompositions appear to be quite complicated. In this seminar, we will learn how to draw several different handle diagrams of elliptic surfaces which show explicitly many of their nice properties. This will allow us to see many useful properties of elliptic surfaces combinatorially, and gives insight into the constructions of their exotic smooth structures. 

Global Optimization of Analytic Functions over Compact Domains

Series
Algebra Seminar
Time
Monday, September 18, 2023 - 13:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Georgy ScholtenSorbonne Université

Please Note: There will be a pre-seminar (aimed toward grad students and postdocs) from 11:00 am-11:30 am in Skiles 006.

In this talk, we introduce a new method for minimizing analytic Morse functions over compact domains through the use of polynomial approximations. This is, in essence, an effective application of the Stone-Weierstrass Theorem, as we seek to extend a local method to a global setting, through the construction of polynomial approximants satisfying an arbitrary set precision in L-infty norm. The critical points of the polynomial approximant are computed exactly, using methods from computer algebra. Our Main Theorem states probabilistic conditions for capturing all local minima of the objective function $f$ over the compact domain. We present a probabilistic method, iterative on the degree, to construct the lowest degree possible least-squares polynomial approximants of $f$ which attains a desired precision over the domain. We then compute the critical points of the approximant and initialize local minimization methods on the objective function $f$ at these points, in order to recover the totality of the local minima of $f$ over the domain.

An efficient way to discretize a sphere

Series
Combinatorics Seminar
Time
Friday, September 15, 2023 - 15:15 for 1 hour (actually 50 minutes)
Location
Skiles 308
Speaker
Galyna LivshytsGeorgia Tech

We discuss small-ball probability estimates of the smallest singular value of a rather general ensemble of random matrices which we call “inhomogeneous”. One of the novel ingredients of our family of universality results is an efficient discretization procedure, applicable under unusually mild assumption. Most of the talk will focus on explaining the ideas behind the proof of the first ingredient. Partially based on the joint work with Tikhomirov and Vershynin, and an ongoing joint work with Fernandez and Tatarko. We will also mention a related work on the cube minimal dispersion, joint with Litvak.

An Interactive Introduction to Surface Bundles

Series
Geometry Topology Student Seminar
Time
Wednesday, September 13, 2023 - 14:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Jaden WangGeorgia Tech

Surface bundles lie in the intersection of many areas of math: algebraic topology, 2–4 dimensional topology, geometric group theory, algebraic geometry, and even number theory! However, we still know relatively little about surface bundles, especially compared to vector bundles. In this interactive talk, I will present the general (and beautiful) fiber bundle theory, including characteristic classes, as a starting point, and you the audience will get to specialize the general theory to surface bundles, with rewards! The talk aims to be accessible to anyone who had exposure to algebraic topology. This is also part one of three talks about surface bundles I will give this semester.

Spectral stability for periodic waves in some Hamiltonian systems

Series
PDE Seminar
Time
Tuesday, September 12, 2023 - 15:30 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Atanas StefanovUniversity of Alabama at Birmingham

A lot of recent work in the theory of partial differential equations has focused on the existence and stability properties of special solutions for Hamiltonian PDE’s.  

We review some recent works (joint with Hakkaev and Stanislavova), for spatially periodic traveling waves and their stability properties. We concentrate on three examples, namely the Benney system, the Zakharov system and the KdV-NLS model. We consider several standard explicit solutions, given in terms of Jacobi elliptic functions. We provide explicit and complete description of their stability properties. Our analysis is based on the careful examination of the spectral properties of the linearized operators, combined with recent advances in the Hamiltonian instability index formalism.

Convexity and rigidity of hypersurfaces in Cartan-Hadamard manifolds

Series
Geometry Topology Seminar
Time
Monday, September 11, 2023 - 14:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Mohammad GhomiGeorgia Tech

We show that in Cartan-Hadamard manifolds M^n, n≥ 3, closed infinitesimally convex hypersurfaces S bound convex flat regions, if curvature of M^n vanishes on tangent planes of S. This encompasses Chern-Lashof characterization of convex hypersurfaces in Euclidean space, and some results of Greene-Wu-Gromov on rigidity of Cartan-Hadamard manifolds. It follows that closed simply connected surfaces in M^3 with minimal total absolute curvature bound Euclidean convex bodies, as stated by M. Gromov in 1985. The proofs employ the Gauss-Codazzi equations, a generalization of Schur comparison theorem to CAT(0) spaces, and other techniques from Alexandrov geometry outlined by A. Petrunin, including Reshetnyak’s majorization theorem, and Kirszbraun’s extension theorem.

The Principal Minor Map

Series
Algebra Seminar
Time
Monday, September 11, 2023 - 13:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Abeer Al AhmadiehGeorgia Tech

The principal minor map takes an n x n square matrix and maps it to the 2^n-length vector of its principal minors. In this talk, I will describe both the fiber and the image of this map. In 1986, Loewy proposed a sufficient condition for the fiber to be a single point up to diagonal equivalence. I will provide a necessary and sufficient condition for the fiber to be a single point. Additionally, I will describe the image of the space of complex matrices using a characterization of determinantal representations of multiaffine polynomials, based on the factorization of their Rayleigh differences. Using these techniques I will give equations and inequalities characterizing the images of the spaces of real and complex symmetric and Hermitian matrices. This is based on joint research with Cynthia Vinzant.

Introductions to convex sets in CAT(0) space

Series
Geometry Topology Seminar Pre-talk
Time
Monday, September 11, 2023 - 12:45 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Mohammad GhomiGeorgia Tech

A CAT(0) space is a geodesic metric space where triangles are thinner than comparison triangles in a Euclidean plane. Prime examples of CAT(0) spaces are Cartan-Hadamard manifolds: complete simply connected Riemannian spaces with nonpositive curvature, which include Euclidean and Hyperbolic space as special cases. The triangle condition ensures that every pair of points in a CAT(0) space can be connected by a unique geodesic. A subset of a CAT(0) space is convex if it contains the geodesic connecting every pair of its points. We will give a quick survey of classical results in differential geometry on characterization of convex sets, such the theorems of Hadamard and  of Chern-Lashof, and also cover other background from the theory of CAT(0) spaces and Alexandrov geometry, including the rigidity theorem of Greene-Wu-Gromov, which will lead to the new results in the second talk.
 

Pages