Friday, April 9, 2021

2021-04-15 / 17:00 ~ 17:30

학과 세미나/콜로퀴엄 - 기타: Practical considerations for measuring the effective reproductive number

by 최선화()

2021-04-15 / 16:30 ~ 17:00

학과 세미나/콜로퀴엄 - 기타: Mathematical modeling for infectious disease using epidemiological data

by 이효정(NIMS-Busan Center for Medical Mathematics)

TBA

2021-04-09 / 12:00 ~ 13:00

학과 세미나/콜로퀴엄 - 수리생물학: Highly accurate fluorogenic DNA sequencing with information theory–based error correction

by 홍혁표(KAIST)

We will discuss about “Highly accurate fluorogenic DNA sequencing with information theory–based error correction”, Chen et al., Nature Biotechnology (2017) Eliminating errors in next-generation DNA sequencing has proved challenging. Here we present error-correction code (ECC) sequencing, a method to greatly improve sequencing accuracy by combining fluorogenic sequencing-by-synthesis (SBS) with an information theory–based error-correction algorithm. ECC embeds redundancy in sequencing reads by creating three orthogonal degenerate sequences, generated by alternate dual-base reactions. This is similar to encoding and decoding strategies that have proved effective in detecting and correcting errors in information communication and storage. We show that, when combined with a fluorogenic SBS chemistry with raw accuracy of 98.1%, ECC sequencing provides single-end, error-free sequences up to 200 bp. ECC approaches should enable accurate identification of extremely rare genomic variations in various applications in biology and medicine.

2021-04-14 / 17:00 ~ 18:00

학과 세미나/콜로퀴엄 - Discrete Math: Ramsey properties of semilinear graphs

by István Tomon(Department of Mathematics, ETH Zurich)

2021-04-13 / 16:30 ~ 17:30

학과 세미나/콜로퀴엄 - Discrete Math: Some Ordered Ramsey Numbers of Graphs on Four Vertices

by William Overman(University of California, Irvine and IBS Discrete )

Ordered Ramsey numbers were introduced in 2014 by Conlon, Fox, Lee, and Sudakov. Their results included upper bounds for general graphs and lower bounds showing separation from classical Ramsey numbers. We show the first nontrivial results for ordered Ramsey numbers of specific small graphs. In particular we prove upper bounds for orderings of graphs on four vertices, and determine some numbers exactly using SAT solvers for lower bounds. These results are in the spirit of exact calculations for classical Ramsey numbers and use only elementary combinatorial arguments. This is joint work with Jeremy Alm, Kayla Coffey, and Carolyn Langhoff.

2021-04-15 / 11:00 ~ 12:00

학과 세미나/콜로퀴엄 - 수리생물학:

by ()

This talk will be presented online. Zoom link: 709 120 4849 (pw: 1234) Abstract: Life science has been a prosperous subject for a long time, and is still developing with high speed now. One of its major aims is to study the mechanisms of various biological processes on the basis of biological big-data. Many statistics-based methods have been proposed to catch the essence by mining those data, including the popular category classification, variables regression, group clustering, statistical comparison, dimensionality reduction, and component analysis, which, however, mainly elucidate static features or steady behavior of living organisms due to lack of temporal data. But, a biological system is inherently dynamic, and with increasingly accumulated time-series data, dynamics-based approaches based on physical and biological laws are demanded to reveal dynamic features or complex behavior of biological systems. In this talk, I will present a new concept “dynamics-based data science” and the approaches for studying dynamical bio-processes, including dynamical network biomarkers (DNB), autoreservoir neural networks (ARNN) and partical cross-mapping. These methods are all data-driven or model-free approaches but based on the theoretical frameworks of nonlinear dynamics. We show the principles and advantages of dynamics-based data-driven approaches as explicable, quantifiable, and generalizable. In particular, dynamics-based data science approaches exploit the essential features of dynamical systems in terms of data, e.g. strong fluctuations near a bifurcation point, low-dimensionality of a center manifold or an attractor, and phase-space reconstruction from a single variable by delay embedding theorem, and thus are able to provide different or additional information to the traditional approaches, i.e. statistics-based data science approaches. The dynamical-based data science approaches will further play an important role in the systematical research of biology and medicine in future.

2021-04-16 / 16:00 ~ 17:00

학과 세미나/콜로퀴엄 - 대수기하학: Introduction to infinity-categories IV

by 조창연(QSMS Seoul National University)

This is part IV of the series of lectures on the foundations of infinity-categories. n the first half, we'll cover the precise definition of infinity-categories based on quasi-categories. Some relationship between infinity-categories and model categories will be presented to help better understand the theory of infinity-categories in the remaining half.

2021-04-16 / 16:00 ~ 17:00

학과 세미나/콜로퀴엄 - PDE 세미나:

by ()

In this talk, I will present a result on the existence of 2-dimensional subsonic steady compressible flows around a finite thin profile with a vortex line at the trailing edge, which is a special case in the celebrated lifting line theory by Prandtl. Such a flow pattern is governed the two-dimensional steady compressible Euler equations. The vortex line attached to the trailing edge is a free interface corresponding to a contact discontinuity. Such a flow pattern is obtained as a consequence of structural stability of a uniform contact discontinuity. The problem is formulated and solved by an application of the implicit function theorem in a suitable weighted space. The main difficulties are the possible singularities at the fitting of the profile and the vortex line and the subtle instability of the vortex line. Some ideas of the analysis will be presented. This talk is based on joint works with Jun Chen and Aibin Zang at Yichun University. The research is supported in part by Hong Kong Earmarked Research Grants CUHK 14305315, CUHK 14302819, CUHK 14300917, and CUHK 14302917.

2021-04-09 / 16:00 ~ 17:00

학과 세미나/콜로퀴엄 - 대수기하학: Introduction to infinity-categories III

by 조창연(QSMS Seoul National University)

This is the part 3 of the lectures on infinity-categories: This talk will be focused on introducing quasi-categories as our model for infinity-categories. After reviewing some background material needed to define quasi-categories, we'll see how the definition works.

2021-04-09 / 10:00 ~ 12:00

학과 세미나/콜로퀴엄 - SAARC 세미나:

by ()

At Data Science Group, we try to offer computational models for challenging real-world problems. This talk will introduce two such problems that can benefit from collaboration with mathematicians and theorists. One is customs fraud detection, where the goal is to determine a small set of fraudulent transactions that will maximize the tax revenue when caught. We had previously shown a state-of-the-art deep learning model in collaboration with the World Customs Organization [KDD2020]. The next challenge is to consider semi-supervised (i.e., using very few labels) and unsupervised (i.e., no label information) settings that better suit developing countries' conditions. Another research problem is poverty mapping, where the goal is to infer economic index from high-dimensional visual features learned from satellite images. Several innovative algorithms have been proposed for this task [Science2016, AAAI2020, KDD2020]. I will introduce how we approach this problem under extreme conditions with little validation data, as in North Korea.

2021-04-14 / 15:30 ~ 16:30

학과 세미나/콜로퀴엄 - 정수론:

by 황원태(고등과학원)

Let $X$ be an abelian variety of dimension $g$ over a field $k$. In general, the group $\textrm{Aut}_k(X)$ of automorphisms of $X$ over $k$ is not finite. But if we fix a polarization $\mathcal{L}$ on $X$, then the group $\textrm{Aut}_k(X,\mathcal{L})$ of automorphisms of the polarized abelian variety $(X,\mathcal{L})$ over $k$ is known to be finite. Then it is natural to ask which finite groups can be realized as the full automorphism group of a polarized abelian variety over some field $k.$ In one of earlier works, a complete classification of such finite groups was given for the case when $k$ is a finite field, $g$ is an odd prime, and $X$ is simple. One interesting thing is that the maximal such a finite group was a cyclic group of order $4g+2$ only when $g$ is a Sophie Germain prime. Another notable thing is the fact that the abelian variety that was constructed to achieve the maximal cyclic group splits over $\overline{k}$, an algebraic closure of $k.$ \\ In this talk, we provide a construction of an absolutely simple abelian variety of dimension $g$ ($g$ being a Sophie Germain prime) over a finite field $k$, which attains the maximal automorphism group. This can be regarded as the counterpart for the previous construction. Also, we briefly describe the asymptotic behavior of the characteristic of the base field $k$ for which we can give such a construction. Finally, if time permits, we take a closer look at the case of $g=5$ by introducing the Newton polygon of an abelian variety of dimension $5.$ (If you want to join the seminar, please contact Bo-Hae Im to get the zoom link.)

2021-04-15 / 16:15 ~ 17:15

콜로퀴엄 - 콜로퀴엄: Geometry of Elie Cartan´s ˝Pfaffian systems in 5 variables˝

by 황준묵(IBS 복소기하학 연구단장)

Elie Cartan's celebrated paper ˝Pfaffian systems in 5 variables˝ in 1910 studied the equivalence problem for general Pfaffian systems of rank 3 in 5 variables as the curved version of the Pfaffian system with G_2 symmetry. The G_2 case admits a beautiful geometric correspondence with Engel's PDE system. We give a historical overview of Cartan's paper and discuss recent works extending the correspondence to curved cases, which is based on ideas from geometric control theory and algebraic geometry.

Events for the 취소된 행사 포함