Department Seminars & Colloquia




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

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

This talk is the very first talk for a semester long series on higher algebra. Higher algerbra is the study of algebraic objects in spaces, correcting abnormal behavior of classical homological algebra and encorporating spheres into algebra. In this talk, we will see a concerete example of a higher-algebraic structure on singular cochains, and what structures are needed to formalize such structures with concrete diagrams. We assume familiarity with algebraic topology, category theory and homological algebra (at the first year graduate level).
Host: 김완수     To be announced     2022-08-26 10:14:13
We prove that for $n>k\geq 3$, if $G$ is an $n$-vertex graph with chromatic number $k$ but any its proper subgraph has smaller chromatic number, then $G$ contains at most $n-k+3$ copies of cliques of size $k-1$. This answers a problem of Abbott and Zhou and provides a tight bound on a conjecture of Gallai. This is joint work with Jie Ma.
Host: Sang-il Oum     English     2022-08-07 22:29:47
A temporal graph is a graph whose edges are available only at specific times. In this scenario, the only valid walks are the ones traversing adjacent edges respecting their availability, i.e. sequence of adjacent edges whose appearing times are non-decreasing. Given a graph G and vertices s and t of G, Menger’s Theorem states that the maximum number of (internally) vertex disjoint s,t-paths is equal to the minimum size of a subset X for which G-X contains no s,t-path. This is a classical result in Graph Theory, taught in most basic Graph Theory courses, and it holds also when G is directed and when edge disjoint paths and edge cuts are considered instead. A direct translation of Menger’s Theorem to the temporal context has been known not to hold since an example was shown in the seminal paper by Kempe, Kleinberg and Kumar (STOC’00). In this talk, an overview of possible temporal versions of Menger’s Theorem will be discussed, as well as the complexity of the related problems.
Host: Sang-il Oum     English     2022-08-05 11:22:11
In this talk, I will mostly discuss the singularity formation of Burgers equation. It is well-known that, when the initial data has negative gradient at some point, the solutions blow up in a finite time. We shall study the properties of the blow-up profile of Burgers equation by introducing the self-similar variables and the modulations, which can be used to study the blow-up for general nonlinear hyperbolic systems. If time permits, I will also discuss the singularity formation for the 1D compressible Euler equations and the related open questions.
Host: 강문진     Korean     2022-08-18 00:07:14
In this talk, I will mostly discuss the singularity formation of Burgers equation. It is well-known that, when the initial data has negative gradient at some point, the solutions blow up in a finite time. We shall study the properties of the blow-up profile of Burgers equation by introducing the self-similar variables and the modulations, which can be used to study the blow-up for general nonlinear hyperbolic systems. If time permits, I will also discuss the singularity formation for the 1D compressible Euler equations and the related open questions.
Host: 강문진     Korean     2022-08-18 00:05:47
In this talk, we present a Weisfielier-Leman Isomorphism test algorithm of featured graphs and how it can be used to extract representing features of nodes or entire graphs. This leads to a message passing framework of Aggregate-Combine of node-features which is one of the fundamental procedures to currently uesd graph neural networks. We proceed by showing various basic examples arised in real-world non-standard datasets like social network, knowledge graph and chemical compounds.
Host: 곽시종     Contact: 김윤옥 (5745)     To be announced     2022-08-13 17:52:56
In this talk, I will mostly discuss the singularity formation of Burgers equation. It is well-known that, when the initial data has negative gradient at some point, the solutions blow up in a finite time. We shall study the properties of the blow-up profile of Burgers equation by introducing the self-similar variables and the modulations, which can be used to study the blow-up for general nonlinear hyperbolic systems. If time permits, I will also discuss the singularity formation for the 1D compressible Euler equations and the related open questions.
Host: 강문진     To be announced     2022-08-16 17:24:20
Various plasma phenomena will be discussed using a fundamentalfluid model for plasmas, called the Euler-Poisson system. These include plasma sheaths and plasma soliton. First we will briefly introduce recent results on the stability of plasma sheath solutions, and the quasi-neutral limit of the Euler-Poisson system in the presence of plasma sheaths. Another example of ourinterest is plasma solitary waves, for which we discuss existence, stability, and the time-asymptotic behavior. To study the nonlinear stability of solitary waves, the global existence of smooth solutions must be established, which is completelyopen. As a negative answer for global existence, we look into the finite-time blow-up results for the Euler-Poisson system, and discuss the related open questions.
Host: 확률 해석 및 응용 연구센터     Contact: 확률 해석 및 응용 연구센터 (042-350-8111/8117)     To be announced     2022-08-16 09:03:48
Abstract: Let S:=S(a_{1}, ..., a_{n}) \subset P^{n} be a smooth rational normal n-fold scroll. Then the dimension of the projective automophism group {rm Aut}(S,``VecP^ {N} ) of S is \dim(Aut(S, P^{N})) = 2+ \frac{n(n+1)}{2}-(n+1)(N-n+1)+2 sum _{ n} ^{ j=1} ja_j + #{(i,j)|i Host: 곽시종     Contact: 김윤옥 (5745)     To be announced     2022-08-13 17:47:33
In this talk, we propose the Landau-Lifshitz type system augmented with Chern-Simons gauge terms, which can be considered as the geometric analog of so-called the Chern-Simons-Schrodinger equations. We first derive its self-dual equations through the energy minimization so that we can provide $N$-equivariant solitons. We next deliver basic ideas of constructing $N$-equivariant solitary waves for non-self-dual cases and investigating their qualitative properties.
Host: 확률 해석 및 응용 연구센터     Contact: 확률 해석 및 응용 연구센터 (042-350-8111/8117)     To be announced     2022-08-16 09:01:57
It has been told that deep learning is a black box. The universal approximation theorem was the key theorem which makes the stories going on. On the other hand, in the perspective of the function classes generated by deep neural network, it can be analyzed by in terms of the choice of the various activation functions. The piecewise linear functions, fourier series, wavelets and many other classes would be considered for the purpose of the tasks such as classification, prediction and generation models which heavily depend on the data sets. It might be a challenging problem for mathematicians to develop a new optimization theory depending on the various function classes.
Host: 곽시종     Contact: 김윤옥 (5745)     To be announced     2022-08-13 17:50:14
Property testers are probabilistic algorithms aiming to solve a decision problem efficiently in the context of big-data. A property tester for a property P has to decide (with high probability correctly) whether a given input graph has property P or is far from having property P while having local access to the graph. We study property testing of properties that are definable in first-order logic (FO) in the bounded-degree model. We show that any FO property that is defined by a formula with quantifier prefix ∃*∀* is testable, while there exists an FO property that is expressible by a formula with quantifier prefix ∀*∃* that is not testable. In the dense graph model, a similar picture is long known (Alon, Fischer, Krivelevich, Szegedy, Combinatorica 2000), despite the very different nature of the two models. In particular, we obtain our lower bound by a first-order formula that defines a class of bounded-degree expanders, based on zig-zag products of graphs. This is joint work with Isolde Adler and Pan Peng.
Host: Sang-il Oum     English     2022-07-20 19:56:58
Global wellposedness and asymptotic stability of the Boltzmann equation with specular reflection boundary condition in 3D non-convex domain is an outstanding open problem in kinetic theory. Motivated by Guo’s L^2-L^\infty theory, the problem was completely solved for general C^3 domain, but it is still widely open for general non-convex domains. The problem was solved in cylindrical domain with analytic non-convex cross section. Generalizing previous work, we study the problem in general solid torus, a solid torus with general analytic convex cross-section. This is the first results for the domain which contains essentially 3D non-convex structure. This is a joint work with Chanwoo Kim and Gyeonghun Ko.
Host: 강문진     Korean     2022-08-11 09:21:00
The past decade has witnessed a great advancement on the Tate conjecture for varieties with Hodge number $h^{2,0} = 1$. Charles, Madapusi-Pera and Maulik completely settled the conjecture for K3 surfaces over finite fields, and Moonen proved the Mumford-Tate (and hence also Tate) conjecture for more or less arbitrary $h^{2,0} = 1$ varieties in characteristic $0$. In this talk, I will explain that the Tate conjecture is true for mod $p$ reductions of complex projective $h^{2,0} = 1$ varieties when $p \gg 0$, under a mild assumption on moduli. By refining this general result, we prove that in characteristic $p \geq 5$ the BSD conjecture holds for a height $1$ elliptic curve $E$ over a function field of genus 1, as long as $E$ is subject to the generic condition that all singular fibers in its minimal compactification are irreducible. We also prove the Tate conjecture over finite fields for a class of surfaces of general type and a class of Fano varieties. The overall philosophy is that the connection between the Tate conjecture over finite fields and the Lefschetz $(1,1)$-theorem over $C$ is very robust for $h^{2,0} = 1$ varieties, and works well beyond the hyperk\”{a}hler world. This is based on joint work with Paul Hamacher and Xiaolei Zhao.
Please contact Wansu Kim at for Zoom meeting info or any inquiry.
To be announced     2022-08-04 14:23:39
The past decade has witnessed a great advancement on the Tate conjecture for varieties with Hodge number $h^{2,0} = 1$. Charles, Madapusi-Pera and Maulik completely settled the conjecture for K3 surfaces over finite fields, and Moonen proved the Mumford-Tate (and hence also Tate) conjecture for more or less arbitrary $h^{2,0} = 1$ varieties in characteristic $0$. In this talk, I will explain that the Tate conjecture is true for mod $p$ reductions of complex projective $h^{2,0} = 1$ varieties when $p \gg 0$, under a mild assumption on moduli. By refining this general result, we prove that in characteristic $p \geq 5$ the BSD conjecture holds for a height $1$ elliptic curve $E$ over a function field of genus 1, as long as $E$ is subject to the generic condition that all singular fibers in its minimal compactification are irreducible. We also prove the Tate conjecture over finite fields for a class of surfaces of general type and a class of Fano varieties. The overall philosophy is that the connection between the Tate conjecture over finite fields and the Lefschetz $(1,1)$-theorem over $C$ is very robust for $h^{2,0} = 1$ varieties, and works well beyond the hyperk\”{a}hler world. This is based on joint work with Paul Hamacher and Xiaolei Zhao.
Please contact Wansu Kim at for Zoom meeting info or any inquiry.
To be announced     2022-08-04 14:25:45
(학사과정 학생 개별연구 결과 발표 세미나) Čech cohomology is the direct limit of cohomology taken from the cochain complex obtained by an open cover and a sheaf. In this talk we will derive some important results about Riemann surfaces such as Riemann-Roch theorem and Serre Duality, regarding low level Čech cohomologies. We will also discuss some basic structure and properties of Riemann surfaces using these results, focusing on genus and the embeddings.
Host: 박진현     Contact: 박진현 (2734)     Korean     2022-06-30 16:51:44
We show a flow-augmentation algorithm in directed graphs: There exists a polynomial-time algorithm that, given a directed graph G, two integers $s,t\in V(G)$, and an integer $k$, adds (randomly) to $G$ a number of arcs such that for every minimal st-cut $Z$ in $G$ of size at most $k$, with probability $2^{−\operatorname{poly}(k)}$ the set $Z$ becomes a minimum $st$-cut in the resulting graph. The directed flow-augmentation tool allows us to prove fixed-parameter tractability of a number of problems parameterized by the cardinality of the deletion set, whose parameterized complexity status was repeatedly posed as open problems: (1) Chain SAT, defined by Chitnis, Egri, and Marx [ESA'13, Algorithmica'17], (2) a number of weighted variants of classic directed cut problems, such as Weighted st-Cut, Weighted Directed Feedback Vertex Set, or Weighted Almost 2-SAT. By proving that Chain SAT is FPT, we confirm a conjecture of Chitnis, Egri, and Marx that, for any graph H, if the List H-Coloring problem is polynomial-time solvable, then the corresponding vertex-deletion problem is fixed-parameter tractable. Joint work with Stefan Kratsch, Marcin Pilipczuk, Magnus Wahlström.
Host: Sang-il Oum     English     2022-06-20 14:22:21
For a given stable subalgebra of the formal power series ring, its Laurent extension, or others, we define an operator algebra over the subalgebra. One of the important operator algebras is the Weyl algebra or its generalization. We define generalized radical Weyl algebras (GRWA) and define the generalized radical Weyl algebra modules, we prove that the algebras and modules are simple. An automorphism of the GRWA define a twisted simple module as well. Since GRWA is an associative algebra, it has an ${\Bbb F}$-subalgebra which is a Lie algebra with respect to the commutator and we show that the Lie algebra is simple. We consider some other generalized Weyl algebra and its descended consequences as well.
Host: 백상훈     Contact: 윤상영 (350-2704)     To be announced     2022-07-14 11:44:17
We call an order type inscribable if it is realized by a point configuration where all extreme points are all on a circle. In this talk, we investigate inscribability of order types. We first show that every simple order type with at most 2 interior points is inscribable, and that the number of such order types is $\Theta(\frac{4^n}{n^{3/2}})$. We further construct an infinite family of minimally uninscribable order types. The proof of uninscribability mainly uses Möbius transformations. We also suggest open problems around inscribability. This is a joint work with Michael Gene Dobbins.
Host: Sang-il Oum     English     2022-06-22 06:16:23
Thresholds for increasing properties of random structures are a central concern in probabilistic combinatorics and related areas. In 2006, Kahn and Kalai conjectured that for any nontrivial increasing property on a finite set, its threshold is never far from its “expectation-threshold,” which is a natural (and often easy to calculate) lower bound on the threshold. In the first talk on Monday, I will introduce the Kahn-Kalai Conjecture with some motivating examples and then briefly talk about the recent resolution of the Kahn-Kalai Conjecture due to Huy Pham and myself. In the second talk on Tuesday, I will discuss our proof of the conjecture in detail.
Host: Sang-il Oum     English     2022-06-22 06:14:40
Thresholds for increasing properties of random structures are a central concern in probabilistic combinatorics and related areas. In 2006, Kahn and Kalai conjectured that for any nontrivial increasing property on a finite set, its threshold is never far from its “expectation-threshold,” which is a natural (and often easy to calculate) lower bound on the threshold. In the first talk on Monday, I will introduce the Kahn-Kalai Conjecture with some motivating examples and then briefly talk about the recent resolution of the Kahn-Kalai Conjecture due to Huy Pham and myself. In the second talk on Tuesday, I will discuss our proof of the conjecture in detail.
Host: Sang-il Oum     English     2022-06-22 06:13:29
In this talk, I will introduce a general method for understanding the late-time tail for solutions to wave equations on asymptotically flat spacetimeswith odd spatial dimensions. A particular consequence of the method is a re-proof of Price’s law-type results, which concern the sharp decay rate of the late-timetailson stationary spacetimes. Moreover, the method also applies to dynamical spacetimes. In this case, I will explain how the late-timetailsare in general different(!) from the stationary case in the presence of dynamical and/or nonlinear perturbations of the problem. This is joint work with Jonathan Luk(Stanford).
Host: 확률 해석 및 응용 연구센터     Contact: 확률 해석 및 응용 연구센터 (042-350-8111/8117)     To be announced     2022-07-06 13:49:11
In this talk, I will discuss some recent developments on the long-term dynamics for the self-dual Chern-Simons-Schrödinger equation (CSS) within equivariantsymmetry. CSS is a gauge-covariant 2D cubic nonlinear Schrödingerequation, which admits the L2-scaling/pseudoconformalinvariance and soliton solutions.I will first discuss soliton resolution for this model, which is a remarkable consequence of the self-duality and non-local nonlinearity that are distinguished features of CSS. Next, I will discuss the blow-up dynamics (singularity formation) for CSS and introduce an interesting instability mechanism (rotational instability) of finite-time blow-up solutions. This talk is based on joint works with SoonsikKwon and Sung-JinOh.
Host: 확률 해석 및 응용 연구센터     Contact: 확률 해석 및 응용 연구센터 (042-350-8111/8117)     To be announced     2022-07-06 13:50:46
Recently, mapping a signal/image into a low rank Hankel/Toeplitz matrix has become an emerging alternative to the traditional sparse regularization, due to its ability to alleviate the basis mismatch between the true support in the continuous domain and the discrete grid. In this talk, we introduce a novel structured low rank matrix framework to restore piecewise smooth functions. Inspired by the total generalized variation to use sparse higher order derivatives, we derive that the Fourier samples of higher order derivatives satisfy an annihilation relation, resulting in a low rank multi-fold Hankel matrix. We further observe that the SVD of a low rank Hankel matrix corresponds to a tight wavelet frame system which can represent the image with sparse coefficients. Based on this observation, we also propose a wavelet frame analysis approach based continuous domain regularization model for the piecewise smooth image restoration.
Host: 이창옥     To be announced     2022-06-29 11:24:45
The degree-shifting action on the cohomology of locally symmetric spaces, which has its origins in the representation theory of real reductive groups, enjoys a surprising connection with arithmetic, as expected by the so-called motivic action conjectures of A. Venkatesh. Although these conjectures are expected to hold in great generality, there is a disparity between the algebraic and non-algebraic locally symmetric spaces. We will discuss the nature of the degree-shifting action in both cases (For those who cannot attend the in-person seminar, we will also stream the seminar talk via Zoom. Please contact Wansu Kim for the Zoom connection details.)
To be announced     2022-06-29 15:25:38
Reconstruction of gene regulatory networks (GRNs) is a powerful approach to capture a prioritized gene set controlling cellular processes. In our previous study, we developed TENET a GRN reconstructor from single cell RNA sequencing (scRNAseq). TENET has a superior capability to identify key regulators compared with other algorithms. However, accurate inference of gene regulation is still challenging. Here, we suggest an integrative strategy called TENET+ by combining single cell transcriptome and chromatin accessibility data. By applying TENET+ to a paired scRNAseq and scATACseq dataset of human peripheral blood mononuclear cells, we found critical regulators and their epigenetic regulations for the differentiations of CD4 T cells, CD8 T cells, B cells and monocytes. Interestingly, TENET+ predicted LRRFIP1 and ZBTB16 as top regulators of CD4 and CD8 T cells which were not predicted in a motif-based tool SCENIC. In sum, TENET+ is a tool predicting epigenetic gene regulatory programs in unbiased way, suggesting that novel epigenetic regulations can be identified by TENET+.
Host: Jae Kyoung Kim     To be announced     2022-07-04 09:31:36
Reconstruction of gene regulatory networks (GRNs) is a powerful approach to capture a prioritized gene set controlling cellular processes. In our previous study, we developed TENET a GRN reconstructor from single cell RNA sequencing (scRNAseq). TENET has a superior capability to identify key regulators compared with other algorithms. However, accurate inference of gene regulation is still challenging. Here, we suggest an integrative strategy called TENET+ by combining single cell transcriptome and chromatin accessibility data. By applying TENET+ to a paired scRNAseq and scATACseq dataset of human peripheral blood mononuclear cells, we found critical regulators and their epigenetic regulations for the differentiations of CD4 T cells, CD8 T cells, B cells and monocytes. Interestingly, TENET+ predicted LRRFIP1 and ZBTB16 as top regulators of CD4 and CD8 T cells which were not predicted in a motif-based tool SCENIC. In sum, TENET+ is a tool predicting epigenetic gene regulatory programs in unbiased way, suggesting that novel epigenetic regulations can be identified by TENET+.
Host: Jae Kyoung Kim     To be announced     2022-07-04 09:31:37
Reconstruction of gene regulatory networks (GRNs) is a powerful approach to capture a prioritized gene set controlling cellular processes. In our previous study, we developed TENET a GRN reconstructor from single cell RNA sequencing (scRNAseq). TENET has a superior capability to identify key regulators compared with other algorithms. However, accurate inference of gene regulation is still challenging. Here, we suggest an integrative strategy called TENET+ by combining single cell transcriptome and chromatin accessibility data. By applying TENET+ to a paired scRNAseq and scATACseq dataset of human peripheral blood mononuclear cells, we found critical regulators and their epigenetic regulations for the differentiations of CD4 T cells, CD8 T cells, B cells and monocytes. Interestingly, TENET+ predicted LRRFIP1 and ZBTB16 as top regulators of CD4 and CD8 T cells which were not predicted in a motif-based tool SCENIC. In sum, TENET+ is a tool predicting epigenetic gene regulatory programs in unbiased way, suggesting that novel epigenetic regulations can be identified by TENET+.
Host: Jae Kyoung Kim     To be announced     2022-07-04 09:31:38
This talk will highlight recent results establishing a beautiful computational phase transition for approximate counting/sampling in (binary) undirected graphical models (such as the Ising model or on weighted independent sets). The computational problem is to sample from the equilibrium distribution of the model or equivalently approximate the corresponding normalizing factor known as the partition function. We show that when correlations die off on the infinite D-regular tree then the Gibbs sampler has optimal mixing time of O(n log n) on any graph of maximum degree D, whereas when the correlations persist (in the limit) then the sampling/counting problem are NP-hard to approximate. The Gibbs sampler is a simple Markov Chain Monte Carlo (MCMC) algorithm. Key to these mixing results are a new technique known as spectral independence which considers the pairwise influence of vertices. We show that spectral independence implies an optimal convergence rate for a variety of MCMC algorithms.
Host: Sang-il Oum     English     2022-06-20 14:20:56