In this survey talk, we will explore a geography of Model Theory under the guidance of Classification Theory. First, we review basic first-order logic and several dividing lines developed in Classification Theory. Second, we will focus on C...
The lace expansion in the past, present and future
The lace expansion is one of the few methods to rigorously prove critical behavior for various models in high dimensions. It was initiated by David Brydges and Thomas Spencer in 1985 to show degeneracy of the critical behavior for weakly se...
Nonlocal equations, often modeled using the fractional Laplacian, have received significant attention in recent years. In this talk, we will briefly overview how the classical regularity theory for second-order (elliptic) PDEs (in divergenc...
Homogeneous dynamics and its application to number theory
Homogeneous dynamics, the theory of flows on homogeneous spaces, has been proved useful for certain problems in Number theory. In this talk, we will explain what kind of geometry and dynamics we need to solve certain number theoretic questi...
On classification of long-term dynamics for some critical PDEs
This talk concerns the problem of classifying long-term dynamics for critical evolutionary PDEs. I will first discuss what the critical PDEs are and soliton resolution for these equations. Building upon soliton resolution, I will further in...
Structural stability of meandering-hyperbolic group actions
Sullivan sketched a proof of his structural stability theorem for differentiabl group actions satisfying certain expansion-hyperbolicity axioms. We relax Sullivan’s axioms and introduce a notion of meandering hyperbolicity for group a...
In this talk, we investigate some regularity results for non-uniformly elliptic problems. We first present uniformly elliptic problems and the definition of non-uniform ellipticity. We then introduce a double phase problem which is characte...
There have been at least two surprising events to geometers in 80-90s that they had to admit physics really helps to solve classical problems in geometry. Donaldson proved the existence of exotic 4-dimensional Euclidean space using gauge th...
A feature of log-correlation naturally appears in diverse objects such as random matrices, random discrete geometries and Riemann zeta function. In this talk, I will give an overview on the theory of log-correlated fields and talk about rec...
Concordance is a relation which classifies knots in 3-space via surfaces in 4-space, and it is closely related with low dimensional topology. Satellite operators are one of the main tools in the study of knot concordance, and it has been wi...
작용수대수에서 순서구조가 중요한 역할을 한다. C*-대수의 시작이라 할 수 있는 Gelfand-Naimark-Segal 표현정리는 양선형범함수로부터 *-준동형을 만들어내는데, 그 표현정리 이후 여러 가지 종류의 양사상에 대한 연구가 이루어졌다. 최근 활발하게 연구되...
※ 강연 뒷부분이 녹화되지 않았습니다. A symplectic manifold is a space with a global structure on which Hamiltonian equations are defined. A classical result by Darboux says that every symplectic manifold locally looks standard, so it has be...
Equations defining algebraic curves and their tangent and secant varieties
It is a fundamental problem in algebraic geometry to study equations defining algebraic curves. In 1984, Mark Green formulated a famous conjecture on equations defining canonical curves and their syzygies. In early 2000's, Claire Voisin...
Among many different ways to introduce derived algebraic geometry is an interplay between ordinary algebraic geometry and homotopy theory. The infinity-category theory, as a manifestation of homotopy theory, supplies better descent results ...
Toward bridging a connection between machine learning and applied mathematics
This lecture explores the topics and areas that have guided my research in computational mathematics and deep learning in recent years. Numerical methods in computational science are essential for comprehending real-world phenomena, and dee...
Vlasov-Maxwell equations and the Dynamics of Plasmas
In this colloquium talk, we study the Vlasov-Maxwell equations, a collisionless model in the field of kinetic theory. The model is a fundamental model for the dynamics of plasmas and was introduced in 1938 by Vlasov. Due to the hyperbolic n...
Study stochastic biochemical systems via their underlying network structures
When a biological system is modeled using a mathematical process, the following step is normally to estimate the system parameters. Despite the numerous computational and statistical techniques, estimating parameters for complex systems can...