We establish the stability of a pair of Hill's spherical vortices moving away from each other in 3D incompressible axisymmetric Euler equations without swirl. Each vortex in the pair propagates away from its odd-symmetric counterpart, while keeping its vortex profile close to Hill's vortex. This is achieved by analyzing the evolution of the interaction energy of the pair and combining it with the compactness of energy-maximizing sequences in the variational problem concerning Hill's vortex. The key strategy is to confirm that, if the interaction energy is initially small enough, the kinetic energy of each vortex in the pair remains so close to that of a single Hill's vortex for all time that each vortex profile stays close to the energy maximizer: Hill's vortex. An estimate of the propagating speed of each vortex in the pair is also obtained by tracking the center of mass of each vortex. This estimate is optimal in the sense that the power exponent of the epsilon (the small perturbation measured in the "L^1+L^2+impulse" norm) appearing in the error bound cannot be improved. This talk is based on the paper [Y.-J. Sim, Nonlinearity, 2026].

Biochemical reaction networks and gene regulatory networks in cells are prototypical examples of complex systems, characterized by highly nonlinear and stochastic, multilevel dynamical interactions. Gaining a deep understanding of the stochastic dynamics and thermodynamic principles governing biochemical reaction networks not only helps elucidate the intrinsic mechanisms underlying cell fate decisions and the onset and progression of diseases, but also provides new theoretical paradigms for the study of complex systems. This line of research has become one of the forefront interdisciplinary areas, bridging mathematics, physics, biology, chemistry, statistics, and intelligent science. In this talk, I will present our recent research progress in this area, with the hope of stimulating further discussion and inspiring new ideas.

We consider the computation of internal solutions for a time domain plasma wave equation with unknown coefficients from the data obtained by sampling its transfer function at the boundary. The computation is performed by transforming the background snapshots for a known background coefficient using the Cholesky decomposition of the data-driven Gramian. We show that this approximation is asymptotically close to the projection of the internal solution onto the subspace of background snapshots. This allows us to derive a generally applicable bound for the error in the approximation of internal fields from boundary data only for a time domain plasma wave equation with an unknown potential q. We use this to show convergence for general unknown $q$ in one dimension. We show numerical experiments and applications to SAR imaging in higher dimensions.

---

Meeting ID: 830 2123 3470 Passcode: 080691

We discuss sharp local smoothing estimates for curve averages. The proof introduces a new method for estimating oscillatory integrals based on wave packet analysis and a high–low decomposition. We outline the main ideas of the local smoothing estimates for curve averages in three dimensions, focusing on the treatment of the relevant oscillatory integrals.

We will define twisted homology and Reidemeister torsion. These are invariants of smooth manifolds together with a representation. We will show that Reidemeister torsion can be used to classify lens spaces up to diffeomorphism and we will see that Reidemeister torsion can be used to give invariants of knots and links.

Bubbling is a form of singularity formation that commonly arises in critical partial differential equations. In the context of dispersive equations, this phenomenon is closely related to what is commonly known as soliton resolution: the asymptotic decomposition of solutions into a sum of several solitons (each modulated by time dependent parameters) and a radiation term. This talk focuses on classifying the asymptotic behavior of these modulation parameters, thereby providing a more refined understanding of bubbling dynamics. Modulation analysis serves as both the key methodology and the guiding philosophy. I will present several results in this direction.

We will define twisted homology and Reidemeister torsion. These are invariants of smooth manifolds together with a representation. We will show that Reidemeister torsion can be used to classify lens spaces up to diffeomorphism and we will see that Reidemeister torsion can be used to give invariants of knots and links.

We show how specific families of positive definite kernels serve as powerful tools in analyses of iteration algorithms for multiple layer feedforward Neural Network models. Our focus is on particular kernels that adapt well to learning algorithms for data-sets/features which display intrinsic self-similarities at feedforward iterations of scaling.

---

Meeting ID: 856 9123 8129 Passcode: 712180

We will define twisted homology and Reidemeister torsion. These are invariants of smooth manifolds together with a representation. We will show that Reidemeister torsion can be used to classify lens spaces up to diffeomorphism and we will see that Reidemeister torsion can be used to give invariants of knots and links.

Abstract: In this talk, we discuss finite-time blow-up dynamics for the nonlinear heat equation (NLH). We explain the notion of finite-time blow-up, introduce Type I and Type II blow-ups, and discuss the difference between these two behaviors. Restricting to radially symmetric solutions, we review known blow-up results and give a heuristic explanation of when only Type I blow-up is possible and when Type II blow-up may occur. Finally, we describe possible Type II blow-up scenarios through their formal mechanisms. Reference: [1] Hiroshi Matano, Frank Merle. On Nonexistence of type II blowup for a supercritical nonlinear heat equation. Communications on Pure and Applied Mathematics, 2004, 57. 1494 - 1541. [2] Asato Mukai, Yukihiro Seki. Refined construction of type II blow-up solutions for semilinear heat equations with Joseph–Lundgren supercritical nonlinearity. Discrete and Continuous Dynamical Systems, 2021, 41(10): 4847-4885

We will define twisted homology and Reidemeister torsion. These are invariants of smooth manifolds together with a representation. We will show that Reidemeister torsion can be used to classify lens spaces up to diffeomorphism and we will see that Reidemeister torsion can be used to give invariants of knots and links.

Given two knots in a 3-manifold M (e.g. in Euclidean 3-space) the Gordian distance is defined as the minimal number of crossing changes needed to turn one knot into the other. I will discuss the relationship between the Gordian distance in Euclidean 3-space and Gordian distance in general 3-dimensional manifolds.

We will define twisted homology and Reidemeister torsion. These are invariants of smooth manifolds together with a representation. We will show that Reidemeister torsion can be used to classify lens spaces up to diffeomorphism and we will see that Reidemeister torsion can be used to give invariants of knots and links.

Abstract: In this seminar, we study the logistic diffusion equation, a reaction–diffusion model, and its equilibria. We first establish existence and regularity of positive solutions to the parabolic problem. We then use the comparison principle to show that, as time tends to infinity, the solution converges to a steady state solving the corresponding elliptic equation. We recall why the existence of solutions to this elliptic problem is not easily obtained by standard variational methods. Finally, we discuss how stability depends on the resource term and how the solution behavior changes with the diffusion rate. References: [1] Cantrell, R.S., Cosner, C. Spatial ecology via reaction-diffusion equation. Wiley series in mathematical and computational biology, John Wiley & Sons Ltd (2003)

Quantum computing offers new possibilities for scientific computing by enabling operations on exponentially large state spaces. In this lecture, we discuss how nonlinear partial differential equations (PDEs) can be connected to quantum algorithms through mathematical linearization frameworks. After a brief introduction to the fundamentals of quantum computation and quantum numerical linear algebra, we present Koopman and Koopman–von Neumann (KvN) formulations that embed nonlinear dynamics into linear operators. We then outline how these ideas, combined with Carleman linearization and relaxation-based methods, can lead to quantum-ready formulations of nonlinear PDE solvers.

This is a reading seminar for two graduate students.) This talk studies the birational geometry of fibered surfaces, which are integral, projective, flat schemes of dimension 2 over a Dedekind scheme. In contrast to smooth projective curves, birational equivalence for surfaces does not imply isomorphism, which leads to the problem of understanding and selecting canonical representatives within a birational class. We first introduce basic tools for birational surface theory, including blowing-ups, contraction, and desingularization. We then explain how intersection theory on regular surfaces is used to analyze these operations and to identify exceptional curves. This perspective naturally leads to minimal surfaces and to applications of contraction criteria in the construction of canonical models.

The subfield of low-dimensional topology colloquially called "3.5-dimensional topology" studies closed 3-manifolds through the eyes of the 4-manifolds that they bound. This talk focusses on Casson's question of which rational homology 3-spheres bound rational homology 4-balls. Since rational homology 3-spheres bounding rational homology 4-balls are a rare phenomenon, we will discuss how to construct examples.