In this talk, I will describe a new approach to general relativistic initial data gluing based on explicit solution operators for the linearized constraint equation with prescribed support properties. In particular, we retrieve and optimize -- in terms of positivity, regularity, size and/or spatial decay requirements -- obstruction-free gluing originally put forth by Czimek-Rodnianski. Notably, our proof of the strengthened obstruction-free gluing theorem relies on purely spacelike techniques, rather than null gluing as in the original approach.

---

심사위원장: 박철우, 심사위원: 정연승, 전현호, 안정연(산업및시스템공학과), 전용호(연세대학교)

In this talk, we will discuss nonlocal elliptic and parabolic equations on C^{1,τ} open sets in weighted Sobolev spaces, where τ ∈ (0, 1). The operators we consider are infinitesimal generators of symmetric stable Levy processes, whose Levy measures are allowed to be very singular. Additionally, for parabolic equations, the measures are assumed to be merely measurable in the time variable. This talk is based on a joint work with Hongjie Dong (Brown University).

---

ID: 853 0775 9189, PW: 342420

Abstract: In 1993, Demeyer and Ford computed the Brauer group of a smooth toric variety over an algebraically closed field of characteristic zero. One may pose the same question to the toric varieties over any field of positive characteristic. Another interesting question is what will happen if we replace the base field by a discrete valuation ring, thereby replacing smooth toric varieties by smooth toric schemes over a discrete valuation ring in the sense of Kempf-Knudsen-Mumford-Saint-Donat. In this talk. I am going to discuss the answers to these questions. This is joint work with Roy Joshua.

---

Zoom info: meeting ID is 352 730 6970 with the password 1778. It will be open about 10-15 minutes before the scheduled talk. The talk time is in Korean Standard Time.

Distributed optimization is a concept that multi-agent systems find a minimal point of a global cost functions which is a sum of local cost functions known to the agents. It appears in diverse fields of applications such as federated learning for machine learning problems and the multi-robotics systems. In this talk, I will introduce motivations for distributed optimization and related algorithms with their theoretical issues for developing efficient and robust algorithms.

We prove that the zero function is the only solution to a certain degenerate PDE defined in the upper half-plane under some geometric assumptions. This result implies that the Euclidean metric is the only adapted compactification of the standard half-plane model of hyperbolic space when the scalar curvature of the compactified metric has a certain sign. These Liouville-type theorems are expected to handle the boundary curvature blow-up to prove compactness results of CCE(conformally compact Einstein) manifolds with positive scalar curvature on the conformal infinity.

---

심사위원장: 김동수, 심사위원:안드레아스 홈슨, 엄상일, 이주영(전산학부), 서승현(강원대학교)

(information) "Introduction to Oriented Matroids" Series Thursdays 14:30-15:45

---

Lecture to be recorded by KAI-X

The study of gradient flows has been extensive in the fields of partial differential equations, optimization, and machine learning. In this talk, we aim to explore the relationship between gradient flows and their discretized formulations, known as De Giorgi's minimizing movements, in various spaces. Our discussion begins with examining the backward Euler method in Euclidean space, and mean curvature flow in the space of sets. Then, we investigate gradient flows in the space of probability measures equipped with the distance arising in the Monge-Kantorovich optimal transport problem. Subsequently, we provide a theoretical understanding of score-based generative models, demonstrating their convergence in the Wasserstein distance.

(information) "Introduction to Oriented Matroids" Series Thursdays 14:30-15:45

---

심사위원장: 이지운, 심사위원: 남경식, 황강욱, 양홍석(전산학부), 폴정(Fordham University)

(information) "Introduction to Oriented Matroids" Series Thursdays 14:30-15:45

In the analysis of singularities, uniqueness of limits often arises as an important question: that is, whether the geometry depends on the scales one takes to approach the singularity. In his seminal work, Simon demonstrated that Lojasiewicz inequalities, originally known in real algebraic geometry in finite dimensions, can be applied to show uniqueness of limits in geometric analysis in infinite dimensional settings. We will discuss some instances of this very successful technique and its applications.

Finite path integral is a finite version of Feynman’s path integral, which is a mathematical methodology to construct TQFT’s (topological quantum field theories) from finite gauge theory. It was introudced by Dijkgraaf and Witten in 1990. We study finite path integral model by replacing finite gauge theory with homological algebra based on bicommutative Hopf algebras. It turns out that Mayer-Vietoris functors such as homology theories extend to TQFT which preserves compositions up to a scalar. This talk concerns the second cohomology class of cobordism (more generally, cospan) categories induced by such scalars. In particular, we will explain that the obstruction class is described purely by homological algebra, not via finite path integral.

Zeta functions and zeta values play a central role in Modern Number Theory and are connected to practical applications in codes and cryptography. The significance of these objects is demonstrated by the fact that two of the seven Clay Mathematics Million Dollar Millennium Problems are related to these objects, namely the Riemann hypothesis and the Birch and Swinnerton-Dyer conjecture. We first recall results and well-known conjectures concerning these objects over number fields. If time permits, we will present recent developments in the setting of function fields. This is a joint work with Im Bo-Hae and Kim Hojin among others.

---

There will be a tea time at 15:30 before the lecture.
Contact: Professor Bo-Hae Im ()

https://mathsci.kaist.ac.kr/bk21four/index.php/boards/view/board_seminar/3/

---

심사위원장: 김용정, 심사위원: 권순식, 강문진, 김재경, 윤창욱(충남대학교)

The mapping class group Map(S) of a surface S is the group of isotopy classes of diffeomorphisms of S. When S is a finite-type surface, the classical mapping class group Map(S) has been well understood. On the other hand, there are recent developments on mapping class groups of infinite-type surfaces. In this talk, we discuss mapping class groups of finite-type and infinite-type surfaces and elements of these groups. Also, we define surface Houghton groups, which are subgroups of mapping class groups of certain infinite-type surfaces. Then we discuss finiteness properties of surface Houghton groups, which is a joint work with Aramayona, Bux, and Leininger.

In this talk, we consider a group-sparse matrix estimation problem. This problem can be solved by applying the existing compressed sensing techniques, which either suffer from high computational complexities or lack of algorithm robustness. To overcome the situation, we propose a novel algorithm unrolling framework based on the deep neural network to simultaneously achieve low computational complexity and high robustness. Specifically, we map the original iterative shrinkage thresholding algorithm (ISTA) into an unrolled recurrent neural network (RNN), thereby improving the convergence rate and computational efficiency through end-to-end training. Moreover, the proposed algorithm unrolling approach inherits the structure and domain knowledge of the ISTA, thereby maintaining the algorithm robustness, which can handle non-Gaussian preamble sequence matrix in massive access. We further simplify the unrolled network structure with rigorous theoretical analysis by reducing the redundant training parameters. Furthermore, we prove that the simplified unrolled deep neural network structures enjoy a linear convergence rate. Extensive simulations based on various preamble signatures show that the proposed unrolled networks outperform the existing methods regarding convergence rate, robustness, and estimation accuracy.

(information) "Introduction to Oriented Matroids" Series Thursdays 14:30-15:45

---

심사위원장: 백상훈, 심사위원: 곽시종, 김완수, 이용남, 쾨니히 요아힘(한국교원대학교)

---

심사위원장: 임보해, 심사위원: 김완수, 박진형, 쾨니히 요아힘(한국교원대학교), 조재현(UNIST)

In this talk, I will introduce the use of deep neural networks (DNNs) to solve high-dimensional evolution equations. Unlike some existing methods (e.g., least squares method/physics-informed neural networks) that simultaneously deal with time and space variables, we propose a deep adaptive basis approximation structure. On the one hand, orthogonal polynomials are employed to form the temporal basis to achieve high accuracy in time. On the other hand, DNNs are employed to create the adaptive spatial basis for high dimensions in space. Numerical examples, including high-dimensional linear parabolic and hyperbolic equations and a nonlinear Allen–Cahn equation, are presented to demonstrate that the performance of the proposed DABG method is better than that of existing DNNs. zoom link: https://kaist.zoom.us/j/3844475577 zoom ID: 384 447 5577

---

https://kaist.zoom.us/j/3844475577 회의 ID: 384 447 5577

(information) "Introduction to Oriented Matroids" Series Thursdays 14:30-15:45

In this talk, we address a question whether a mean-field approach for a large particle system is always a good approximation for a large particle system or not. For definiteness, we consider an infinite Kuramoto model for a countably infinite set of Kuramoto oscillators and study its emergent dynamics for two classes of network topologies. For a class of symmetric and row (or columm)-summable network topology, we show that a homogeneous ensemble exhibits complete synchronization, and the infinite Kuramoto model can cast as a gradient flow, whereas we obtain a weak synchronization estimate, namely practical synchronization for a heterogeneous ensemble. Unlike with the finite Kuramoto model, phase diameter can be constant for some class of network topologies which is a novel feature of the infinite model. We also consider a second class of network topology (so-called a sender network) in which coupling strengths are proportional to a constant that depends only on sender's index number. For this network topology, we have a better control on emergent dynamics. For a homogeneous ensemble, there are only two possible asymptotic states, complete phase synchrony or bi-cluster configuration in any positive coupling strengths. In contrast, for a heterogeneous ensemble, complete synchronization occurs exponentially fast for a class of initial configuration confined in a quarter arc. This is a joint work with Euntaek Lee (SNU) and Woojoo Shim (Kyungpook National University).

---

심사위원장:이지운, 심사위원:남경식, 황강욱, 윤세영(김재철AI대학원), 서성미(충남대학교)

(information) "Introduction to Oriented Matroids" Series Thursdays 14:30-15:45

(KAI-X Distinguished Lecture Series) We have multiple approaches to vanishing theorems for the cohomology of Shimura varieties, via either algebraic geometry or automorphic forms. Such theorems have been of interest with either complex or torsion coefficients. Recently, results have been obtained under various genericity hypotheses by Caraiani-Scholze, Koshikawa, Hamann-Lee et al. I will survey different approaches. If time permits, I may discuss an ongoing project with Koshikawa to understand the non-generic case.

---

KAI-X Distinguished lecture