Department Seminars & Colloquia




2026-03
Sun Mon Tue Wed Thu Fri Sat
1 2 3 4 5 6 1 7
8 9 1 10 11 1 12 1 13 1 14
15 16 2 17 18 2 19 1 20 1 21
22 23 1 24 25 1 26 27 28
29 30 1 31        
2026-04
Sun Mon Tue Wed Thu Fri Sat
      1 2 3 4
5 6 1 7 1 8 9 1 10 1 11
12 13 1 14 15 1 16 1 17 1 18
19 20 2 21 22 1 23 24 1 25
26 27 28 29 30 1    

When you're logged in, you can subscribe seminars via e-mail

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.
Host: 박정환     To be announced     2026-02-20 09:22:01
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
Contact: 정희진 (042-350-2786)     To be announced     2026-02-24 08:50:20
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.
Host: 박정환     To be announced     2026-02-20 09:23:00
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
Host: 임미경     Korean English if it is requested     2026-03-13 13:31:15
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.
Host: 강문진     Korean English if it is requested     2026-03-03 13:45:20
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.
To be announced     2026-02-24 08:51:26
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.
Host: 김재경     Contact: 최유진 (042-878-9907)     To be announced     2026-03-16 10:45:39
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].
Contact: 정희진 (042-350-2786)     To be announced     2026-03-06 08:09:51
In this talk we study horizontal curvatures for surfaces embedded in three-dimensional contact sub-Riemannian Lie groups. Using a Riemannian approximation scheme, we derive explicit formulas for horizontal Gauss curvature, horizontal mean curvature, and symplectic distortion for surfaces embedded in three dimensional Lie groups with a sub-Riemannian structure obtained by a contact form. We focus on two primary examples: the Heisenberg group and the affine-additive group. We classify surfaces of revolution within these groups that exhibit constant horizontal curvatures, often expressing their profiles through elementary or elliptic integrals. This is a joint work with A. Pinamonti (Trento, Italy), E. Bubani (Fribourg, Switzerland) and D. Tsolis (Patras, Greece).
Host: 백형렬 Harry Baik     Contact: 백형렬 (042-350-2712)     English     2026-03-07 19:26:54
This talk provides an overview of Photoacoustic Tomography (PAT) from both the imaging and mathematical perspectives, and then develops a unified integral-transform viewpoint via a generalized spherical mean operator. In PAT, a short optical pulse induces an initial acoustic pressure distribution \(f(\mathbf x)\), which evolves according to a wave equation. The measured time-dependent acoustic data on an acquisition surface \(\Gamma\) form the forward map, and the central inverse problem is to reconstruct \(f\) from boundary observations. Key mathematical issues include uniqueness, and explicit reconstruction formulas, all of which depend sensitively on the measurement geometry and observation time.
Host: 이창옥     To be announced     2026-03-03 13:47:18
In this seminar, we study the Vlasov–Maxwell system, a fundamental collisionless kinetic model for plasmas, posed in a three-dimensional half-space with boundaries. We begin with a brief warm-up by revisiting the one-dimensional Vlasov–Poisson system in the absence of magnetic fields, focusing on Penrose’s classical 1960 spectral criterion for linear stability and instability. We then turn to the full Vlasov–Maxwell system and discuss the major analytical difficulties introduced by electromagnetic coupling, boundary effects, and nonlinear interactions. In particular, we highlight the role of an effective gravitational force directed toward the boundary and its interplay with boundary temperature conditions. This viewpoint naturally leads us to formulate a conjectural linear instability criterion associated with boundary-induced confinement effects. Within this framework, we construct global-in-time classical solutions to the nonlinear Vlasov–Maxwell system beyond the vacuum scattering regime. Our approach combines the construction of stationary boundary equilibria with a proof of their asymptotic stability in the $L^\infty$ setting under small perturbations. This work provides a new framework for analyzing long-time plasma dynamics in bounded domains with interacting magnetic fields. To our knowledge, it yields the first construction of asymptotically stable non-vacuum steady states for the full three-dimensional nonlinear Vlasov–Maxwell system. This is joint work with Chanwoo Kim.
Contact: 정희진 (042-350-2786)     To be announced     2026-02-24 08:52:35
Curves in the complex projective planes can be viewed as PL-submanifolds. Taking this perspective allows to deduce a number of interesting results about them. The goal of these lectures is two-fold: first, I will give a topological description of some algebro-geometric objects (singularities and Milnor fibres, curves, blow-ups), and then I will talk about some topological tools one can use to study complex curves. I will focus on rational cuspidal curves (those which are homeomorphic to spheres) and line arrangements (collections of lines).
Host: 박정환     English     2026-02-23 10:07:18
Hamiltonian dynamics is a fundamental mathematical framework for describing classical mechanics, and it can be formulated in terms of vector fields on manifolds. While studying the three-body problem, a central example in Hamiltonian dynamics, Poincaré highlighted the crucial role of periodic orbits. This theme remains central in modern symplectic geometry. In this talk, we introduce the relationship between Hamiltonian dynamics and symplectic geometry, and survey classical and modern approaches to the study of periodic orbits. We also explain how minimal period orbits can be understood from a symplectic-geometric perspective and present an approach to establishing the existence of Birkhoff sections of minimal area using these ideas.
Host: 강문진     To be announced     2026-03-03 13:48:23
Curves in the complex projective planes can be viewed as PL-submanifolds. Taking this perspective allows to deduce a number of interesting results about them. The goal of these lectures is two-fold: first, I will give a topological description of some algebro-geometric objects (singularities and Milnor fibres, curves, blow-ups), and then I will talk about some topological tools one can use to study complex curves. I will focus on rational cuspidal curves (those which are homeomorphic to spheres) and line arrangements (collections of lines).
Host: 박정환     To be announced     2026-02-23 10:08:43
Curves in the complex projective planes can be viewed as PL-submanifolds. Taking this perspective allows to deduce a number of interesting results about them. The goal of these lectures is two-fold: first, I will give a topological description of some algebro-geometric objects (singularities and Milnor fibres, curves, blow-ups), and then I will talk about some topological tools one can use to study complex curves. I will focus on rational cuspidal curves (those which are homeomorphic to spheres) and line arrangements (collections of lines).
Host: 박정환     To be announced     2026-02-23 10:09:40
Curves in the complex projective planes can be viewed as PL-submanifolds. Taking this perspective allows to deduce a number of interesting results about them. The goal of these lectures is two-fold: first, I will give a topological description of some algebro-geometric objects (singularities and Milnor fibres, curves, blow-ups), and then I will talk about some topological tools one can use to study complex curves. I will focus on rational cuspidal curves (those which are homeomorphic to spheres) and line arrangements (collections of lines).
Host: 박정환     English     2026-02-23 10:10:37
Hirzebruch proved a beautiful inequality for complex line arrangements in CP^2, giving strong bounds on the their combinatorics. In the quest for a topological proof of this inequality, Paolo Aceto and I studied odd and even line arrangements (which I will define in the talk). We proved Hirzebruch-like inequalities for these arrangements, and drew some corollaries about configurations of lines. Time (and audience) permitting, I will also discuss some more speculative ideas and generalisations of our results.
Host: 박정환     To be announced     2026-02-23 10:13:21
We study the dynamics of a single vortex ring of small cross-section in the three-dimensional incompressible Euler equations. For a broad class of initial vorticities concentrated near a vortex ring, we prove that the solution remains sharply localized around a moving core for all times and propagates along its axis with the classical logarithmic speed predicted by the vortex filament conjecture. Moreover, we show that such vortex rings are dynamically unstable under arbitrarily small perturbations: suitable smooth perturbations lead to linear-in-time filamentation in the axial direction. These results provide a quantitative description of the coexistence of long-time coherence and instability mechanisms for vortex rings in inviscid flows.
Host: 강문진     To be announced     2026-03-03 13:49:30
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.
Host: 박정환     To be announced     2026-02-20 09:21:00
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.
Host: 박정환     English     2026-03-03 13:43:15
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.
Host: 박정환     English     2026-02-20 09:19:49
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)
Contact: 정희진 (042-350-2786)     To be announced     2026-02-24 08:48:54
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.
Host: 강문진     Korean     2026-03-06 13:54:02