Department Seminars & Colloquia




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

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

Voiculescu's notion of asymptotic free independence applies to a wide range of random matrices, including those that are independent and unitarily invariant. In this talk, we generalize this notion by considering random matrices with a tensor product structure that are invariant under the action of local unitary matrices. Assuming the existence of the “tensor distribution” limit described by tuples of permutations, we show that an independent family of local unitary invariant random matrices satisfies asymptotically a novel form of independence, which we term “tensor freeness”. Furthermore, we propose a tensor free version of the central limit theorem, which extends and recovers several previous results for tensor products of free variables. This is joint work with Ion Nechita.
Host: 이지운     Contact: SAARC (042-350-8111)     Korean     2025-07-03 09:49:57
(This is a reading seminar talk by a graduate student, Mr. Jaehong Kim.) This talk is a reading seminar about basic intersection theory, following chapter 1 to 6 of the book of William Fulton. The main objects to be dealt with are Chow groups, pullback/pushforward, pseudo-divisors, divisor intersection, Chern/Segre classes, deformation to the normal cone and intersection products.
Host: 박진현     Contact: 박진현 (2734)     To be announced     2025-06-13 16:07:50
A local certification of a graph property is a protocol in which nodes are given  “certificates of a graph property” that allow the nodes to check whether their network has this property while only communicating with their local network. The key property of a local certification is that if certificates are corrupted, some node in the network will be able to recognize this. Inspired by practical concerns, the aim in LOCAL certification is to minimize the maximum size of a certificate. In this talk we introduce local certification and open problems in the area and  present some recent joint work with Eunjung Kim and Tomáš Masařík, A Tight Meta-theorem for LOCAL Certification of MSO2 Properties within Bounded Treewidth Graphs. In this work, instead of considering a specific graph property and developing a local certification protocol tailor-made for this property, we aim for generic protocols that can certify any property expressible in a certain logical framework. We consider Monadic Second Order Logic (MSO$_2$), a powerful framework that can express properties such as non-$k$-colorability, Hamiltonicity, and $H$-minor-freeness. Unfortunately, in general, there are MSO$_2$-expressible properties that cannot be certified without huge certificates. For instance, non-3-colorability requires certificates of size $\Omega(n^2/\log n)$ on general $n$-vertex graphs (Göös, Suomela 2016). Hence, we impose additional structural restrictions on the graph. Inspired by their importance in centralized computing and Robertson-Seymour Graph Minor theory, we consider graphs of bounded treewidth. We provide a local certification protocol for certifying any MSO$_2$-expressible property on graphs of bounded treewidth and, consequently, a local certification protocol for certifying bounded treewidth. That is, for each integer $k$ and each MSO$_2$-expressible property $\Pi$, we give a local certification protocol to certify that a graph satisfies $\Pi$ and has treewidth at most $k$ using certificates of size $\mathcal{O}(\log n)$ (which is asymptotically optimal). Our result improves upon the works of Fraigniaud, Montealegre, Rapaport, and Todinca (Algorithmica 2024),  Bousquet, Feuilloley, Pierron (PODC 2022), and the very recent work of Baterisna and Chang (PODC 2025).
Host: Sang-il Oum     English     2025-06-12 07:23:30
In the 1980s, Thurston introduced a new (asymmetric) metric on Teichmüller space based on best Lipschitz maps between two homeomorphic hyperbolic surfaces, instead of quasi-conformal maps which are used in the original theory of Teichmüller. In this series of lectures, I will explain his theory and discuss recent progress in the field. Three lectures will cover the following topics, but I may also add other materials. (1) General theory of Thurston’s asymmetric metric (2) Geodesics with respect to Thurston’s metric (3) Infinitesimal structures of Teichmüller space with Thurston’s metric
Host: 백형렬     Contact: 백형렬 (01028246653)     English     2025-07-11 14:34:09
In the 1980s, Thurston introduced a new (asymmetric) metric on Teichmüller space based on best Lipschitz maps between two homeomorphic hyperbolic surfaces, instead of quasi-conformal maps which are used in the original theory of Teichmüller. In this series of lectures, I will explain his theory and discuss recent progress in the field. Three lectures will cover the following topics, but I may also add other materials. (1) General theory of Thurston’s asymmetric metric (2) Geodesics with respect to Thurston’s metric (3) Infinitesimal structures of Teichmüller space with Thurston’s metric
Host: 백형렬     Contact: 백형렬 (01028246653)     English     2025-07-11 14:35:35
In the 1980s, Thurston introduced a new (asymmetric) metric on Teichmüller space based on best Lipschitz maps between two homeomorphic hyperbolic surfaces, instead of quasi-conformal maps which are used in the original theory of Teichmüller. In this series of lectures, I will explain his theory and discuss recent progress in the field. Three lectures will cover the following topics, but I may also add other materials. (1) General theory of Thurston’s asymmetric metric (2) Geodesics with respect to Thurston’s metric (3) Infinitesimal structures of Teichmüller space with Thurston’s metric
Host: 백형렬     Contact: 백형렬 (01028246653)     English     2025-07-11 14:36:31
This talk is an introduction to the recent notion of merge-width, proposed by Jan Dreier and Szymon Torúnczyk. I will give an overview of the context and motivations for merge-width, namely the first-order model checking problem, and present the definition, some examples, and some basic proof techniques with the example of χ-boundedness. This is based on joint work with Marthe Bonamy.
Host: Sang-il Oum     English     2025-07-07 14:28:51
In physics, the phase transition between localized and delocalized phases in disordered systems, often called the Anderson transition, has attracted significant interest. Several intriguing models display this behavior, including random Schrödinger operators, random band matrices, and sparse random matrices. Heavy-tailed random matrices similarly capture this phase transition, making them a crucial class of models in understanding localization phenomena. In this talk, we will discuss the phase transition of the right singular vector associated with the smallest singular value of a rectangular random matrix. This work is in collaboration with Zhigang Bao (University of Hong Kong) and Xiaocong Xu (University of Southern California).
Host: 이지운     Contact: SAARC (042-350-8111)     Korean     2025-07-03 09:58:22
We study the time evolution of an initial product state in a system of almost-bosonic-extended-anyons in the large-particle limit. We show that the dynamics of this system can be well approximated, in finite time, by a product state evolving under the effective Chern–Simons–Schrödinger equation. Furthermore, we provide a convergence rate for the approximation in terms of the radius of the extended anyons. These results establish a rigorous connection between the microscopic dynamics of almost-bosonic-anyon gases and the emergent macroscopic behavior described by the Chern–Simons–Schrödinger equation. This talk is based on a work with Théotime Girardot
Host: 이지운     Contact: SAARC (042-350-8111)     Korean     2025-07-03 10:02:22
우리는 차원 축소 기법 중 하나인 Nonnegative Matrix Factorization (NMF)에 위상 정규화(topological regularization)를 결합한 Top-NMF를 제안한다. 기존의 정규화 기법들은 데이터 포인트 간의 관계를 최대한 보존하는 방식으로 차원 축소를 유도하는 반면, Top-NMF는 각 데이터 포인트를 함수의 관점에서 해석하고, 각 basis vector를 함수로 간주하여 그 support에 위상적 제약을 부여한다. 이를 위해 persistent homology를 통해 정의할 수 있는 다양한 위상 기반 정규화 항, 예를 들어 지속 에너지(Persistence Energy), 가중 지속 에너지(Weighted Persistence Energy), 클리크 편차 지표(Clique Deviation Metric) 등을 설계하고, 이를 NMF의 최적화 과정에 통합한다. 이를 통해 Top-NMF는 격자나 그래프와 같은 도메인이 갖는 위상적 속성을 반영하는 basis vector를 학습할 수 있게 한다.
Host: 김우진     Korean     2025-07-07 18:34:22
In 2014, Bourgain and Demeter proved almost sharp decoupling inequalities for the paraboloid and the light cone, leading to various applications to the Schrodinger and the wave equations. I will explain some subsequent developments, including important contributions by Guth, Maldague and Wang, my joint work with Shaoming Guo, Zane Li and Pavel Zorin-Kranich, and joint work with Andrew Hassell, Pierre Portal and Jan Rozendaal.
Host: 권순식     English     2025-06-25 10:33:14
In this talk, we present the global well-posedness for the cubic nonlinear Schrödinger equation for periodic initial data in the mass-critical dimension $d=2$ for large initial data in $H^s,s>0$. The result is based on a new inverse Strichartz inequality, which is proved by using incidence geometry and additive combinatorics, in particular the inverse theorems for Gowers uniformity norms by Green-Tao-Ziegler. In addition, we construct an approximate periodic solution showing ill-behavior of the flow map at the $L^2$ regularity. This is based on joint works with Sebastian Herr.
Host: 권순식     To be announced     2025-06-25 10:34:40
We will discuss classical and recent results about phase transitions in random subgraphs of the hypercube and beyond. The focus will be on the giant component, long cycles, large matchings, and isoperimetric properties.
Host: Sang-il Oum     English     2025-06-25 23:10:26
Lattice field theories provide a discrete, probabilistic framework for approximating continuum quantum field theories. These models, originally motivated by statistical mechanics, are central to constructive approaches in mathematical physics. A fundamental challenge is to rigorously establish the continuum limit as the lattice spacing tends to zero, yielding singular but physically meaningful Gibbs measures on function spaces. Beyond this small scale (ultraviolet) limit, another major theme, especially from the viewpoint of statistical mechanics, is the analysis of large scale (infrared) behavior in the infinite volume limit. This involves understanding how thermodynamic properties, phase structure, and fluctuation phenomena emerge as the size of the physical system increases. In this three part minicourse, we will explore both aspects of this limiting procedure through the lens of probabilistic methods and stochastic quantization. While the Euclidean Φ^4 quantum field theory will serve as our primary example, the broader goal is to illustrate how continuum quantum field theories can be constructed as scaling limits of lattice models, unifying perspectives from statistical mechanics, field theory, PDEs, and probability.
Host: 권순식     Korean     2025-06-24 10:06:04
Lattice field theories provide a discrete, probabilistic framework for approximating continuum quantum field theories. These models, originally motivated by statistical mechanics, are central to constructive approaches in mathematical physics. A fundamental challenge is to rigorously establish the continuum limit as the lattice spacing tends to zero, yielding singular but physically meaningful Gibbs measures on function spaces. Beyond this small scale (ultraviolet) limit, another major theme, especially from the viewpoint of statistical mechanics, is the analysis of large scale (infrared) behavior in the infinite volume limit. This involves understanding how thermodynamic properties, phase structure, and fluctuation phenomena emerge as the size of the physical system increases. In this three part minicourse, we will explore both aspects of this limiting procedure through the lens of probabilistic methods and stochastic quantization. While the Euclidean Φ^4 quantum field theory will serve as our primary example, the broader goal is to illustrate how continuum quantum field theories can be constructed as scaling limits of lattice models, unifying perspectives from statistical mechanics, field theory, PDEs, and probability.
Host: 권순식     Korean     2025-06-24 10:04:43
(This is a reading seminar talk by a graduate student, Mr. Jaehong Kim.) This talk is a reading seminar about basic intersection theory, following chapter 1 to 6 of the book of William Fulton. The main objects to be dealt with are Chow groups, pullback/pushforward, pseudo-divisors, divisor intersection, Chern/Segre classes, deformation to the normal cone and intersection products.
Host: 박진현     Contact: 박진현 (2734)     To be announced     2025-06-13 16:06:38
In this talk, we discuss the paper “Machine learning methods trained on simple models can predict critical transitions in complex natural systems” by Smita Deb, Sahil Sidheekh, Christopher F. Clements, Narayanan C. Krishnan, and Partha S. Dutta, in Royal Society Open Science, (2022).
Lattice field theories provide a discrete, probabilistic framework for approximating continuum quantum field theories. These models, originally motivated by statistical mechanics, are central to constructive approaches in mathematical physics. A fundamental challenge is to rigorously establish the continuum limit as the lattice spacing tends to zero, yielding singular but physically meaningful Gibbs measures on function spaces. Beyond this small scale (ultraviolet) limit, another major theme, especially from the viewpoint of statistical mechanics, is the analysis of large scale (infrared) behavior in the infinite volume limit. This involves understanding how thermodynamic properties, phase structure, and fluctuation phenomena emerge as the size of the physical system increases. In this three part minicourse, we will explore both aspects of this limiting procedure through the lens of probabilistic methods and stochastic quantization. While the Euclidean Φ^4 quantum field theory will serve as our primary example, the broader goal is to illustrate how continuum quantum field theories can be constructed as scaling limits of lattice models, unifying perspectives from statistical mechanics, field theory, PDEs, and probability.
Host: 권순식     Korean     2025-06-24 10:03:13
The notion of asymptotic dimension of metric spaces, introduced by Gromov, describes their large-scale behaviour. Asymptotic dimension of graph families has been recently studied, in particular, by Bonamy et al. who proved that the asymptotic dimension of proper minor-closed graph families is at most two. We will discuss nerve-type theorems for asymptotic dimension. In particular, we show that the asymptotic dimension of intersection graphs of balls and spheres in $\mathbb{R}^d$ is at most $d+1$. Based on joint work with Zdeněk Dvořák and with Chun-Hung Liu.
Host: Sang-il Oum     English     2025-06-11 00:02:06