Department Seminars & Colloquia




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

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

The well-known two-process model of sleep regulation makes accurate predictions of sleep timing and duration, as well as neurobehavioral performance, for a variety of acute sleep deprivation and nap sleep scenarios, but it fails to predict the effects of chronic sleep restriction on neurobehavioral performance. The two-process model belongs to a broader class of coupled, non-homogeneous, first-order, ordinary differential equations (ODEs), which can capture the effects of chronic sleep restriction. These equations exhibit a bifurcation, which appears to be an essential feature of performance impairment due to sleep loss. The equations implicate a biological system analogous to two connected compartments containing interacting compounds with time-varying concentrations, such as the adenosinergic neuromodulator/receptor system, as a key mechanism for the regulation of neurobehavioral functioning under conditions of sleep loss. The equations account for dynamic interaction with circadian rhythmicity, and also provide a new approach to dynamically tracking the magnitude of sleep inertia upon awakening from restricted sleep. This presentation will describe the development of the ODE system and its experimental calibration and validation, and will discuss some novel predictions.
ZOOM ID: 997 8258 4700 (Biomedical Mathematics Online Colloquium), (pw: 1234)
Host: Jae Kyoung Kim     English     2023-03-06 17:02:10
In many different areas of mathematics (such as number theory, discrete geometry, and combinatorics), one is often presented with a large "unstructured" object, and asked to find a smaller "structured" object inside it. One of the earliest and most influential examples of this phenomenon was the theorem of Ramsey, proved in 1930, which states that if n = n(k) is large enough, then in any red-blue colouring of the edges of the complete graph on n vertices, there exists a monochromatic clique on k vertices. In this talk I will discuss some of the questions, ideas, and new techniques that were inspired by this theorem, and present some recent progress on one of the central problems in the area: bounding the so-called "diagonal" Ramsey numbers. Based on joint work with Marcelo Campos, Simon Griffiths and Julian Sahasrabudhe.
Host: Andreas Holmsen     To be announced     2023-02-28 07:31:12
For a given graph $H$, we say that a graph $G$ has a perfect $H$-subdivision tiling if $G$ contains a collection of vertex-disjoint subdivisions of $H$ covering all vertices of $G.$ Let $\delta_{sub}(n, H)$ be the smallest integer $k$ such that any $n$-vertex graph $G$ with minimum degree at least $k$ has a perfect $H$-subdivision tiling. For every graph $H$, we asymptotically determined the value of $\delta_{sub}(n, H)$. More precisely, for every graph $H$ with at least one edge, there is a constant $1 < \xi^*(H)\leq 2$ such that $\delta_{sub}(n, H) = \left(1 - \frac{1}{\xi^*(H)} + o(1) \right)n$ if $H$ has a bipartite subdivision with two parts having different parities. Otherwise, the threshold depends on the parity of $n$.
Host: Sang-il Oum     English     2023-04-09 22:54:22
[1] 인간의 질병 발생과 예방을 근본적으로 파악하려면 '인간에 대한 이해'가 필요합니다. 인간의 몸은 물질이며, 물질은 특성상 물리적 및 화학적 반복자극에 반드시 손상됩니다. 부모님께 몸을 받아 수십 년간 살다 보면 인간 내부의 태생적-구조적 요인과 외부의 환경적 요인에 의하여 부지불식중 가해지는 내부 및 외부 자극에 반복적으로 노출될 수밖에 없습니다. 이에 그와 같이 질병으로 진행될 수 밖에 없는 인간의 특성을 명화(그림)을 통하여 소개할 예정입니다. [2] 인간의 또 다른 이해로 과학적 혹은 수학적 평가로 가시화(객관화)하기 어려운 부문에 대한 내용을 역시 명화를 통하여 논의할 예정입니다.
Host: 김용정     Contact: 김도영 ()     Korean     2023-03-23 11:12:35
Knowledge graphs represent human knowledge as a directed graph, representing each fact as a triplet consisting of a head entity, a relation, and a tail entity. Knowledge graph embedding is a representation learning technique that aims to convert the entities and relations into a set of low-dimensional embedding vectors while preserving the inherent structure of the given knowledge graph. Once the entities and relations in a knowledge graph are represented as a set of feature vectors, those vectors can be easily integrated into diverse downstream tasks. This talk introduces a new concept of knowledge graph called a bi-level knowledge graph, where the higher-level relationships between triplets can be represented. Learning representations on a bi-level knowledge graph, machines are allowed to solve problems requiring more advanced reasoning than simple link prediction. Also, as a practical example of knowledge graph embedding, how one can utilize the knowledge representations to operate a real robot is briefly explained. This talk discusses how knowledge graph embedding models effectively deliver human knowledge to machines, which is critical in many AI applications.
(Online participation) Zoom Link: https://kaist.zoom.us/j/87516570701 ACMseminar mailing list registration: https://mathsci.kaist.ac.kr/mailman/listinfo/acmseminar
We study logarithmic spiraling solutions to the 2d incompressible Euler equations which solve a nonlinear transport system on the unit circle. We show that this system is locally well-posed for L^p data as well as for atomic measures, that is logarithmic spiral vortex sheets. We prove global well-posedness for almost bounded logarithmic spirals and give a complete characterization of the long time behavior of logarithmic spirals. This is due to the observation that the local circulation of the vorticity around the origin is a strictly monotone quantity of time. We are then able to show a dichotomy in the long time behavior, solutions either blow up (in finite or infinite time) or completely homogenize. In particular, bounded logarithmic spirals converge to constant steady states. For vortex logarithmic spiral sheets the dichotomy is shown to be even more drastic where only finite time blow up or complete homogenization of the fluid can and does occur.
Host: SAARC     Contact: 강문진 ()     To be announced     2023-04-13 23:19:51
We study logarithmic spiraling solutions to the 2d incompressible Euler equations which solve a nonlinear transport system on the unit circle. We show that this system is locally well-posed for L^p data as well as for atomic measures, that is logarithmic spiral vortex sheets. We prove global well-posedness for almost bounded logarithmic spirals and give a complete characterization of the long time behavior of logarithmic spirals. This is due to the observation that the local circulation of the vorticity around the origin is a strictly monotone quantity of time. We are then able to show a dichotomy in the long time behavior, solutions either blow up (in finite or infinite time) or completely homogenize. In particular, bounded logarithmic spirals converge to constant steady states. For vortex logarithmic spiral sheets the dichotomy is shown to be even more drastic where only finite time blow up or complete homogenization of the fluid can and does occur.
To be announced     2023-03-23 13:49:59
We first survey on nodal solutions for coupled elliptic equations, using results from nonlinear scalar field equations as motivations. Then we discuss work for constructing multiple nodal solutions using various variational methods. In particular we discuss in some details the results about solutions having componentwisely-shared nodal numbers of coupled elliptic systems. These works are done by further developing minimax type critical point theory with built-in flow invariance of the associated gradient or parabolic flows, which has been a useful tool to give locations of critical points via minimum methods, also revealing complex dynamic behavior of the flow.
Host: Jaeyoung Byeon     English     2023-02-28 07:30:24
Pivot-minors can be thought of as a dense analogue of graph minors. We shall discuss pivot-minors and two recent results for proper pivot-minor-closed classes of graphs. In particular, that for every graph H, the class of graphs containing no H-pivot-minor is 𝜒-bounded, and also satisfies the (strong) Erdős-Hajnal property.
Host: Sang-il Oum     English     2023-03-04 10:22:34
다양한 소비재 중에서 유독 패션 카테고리는 그간 디지털 전환이 느린 분야였으며, 유통과 마케팅의 영역에서만 데이터를 주로 활용하는 양상을 보여왔다. 비정형적, 주관적인 의사 결정이 주를 이루는 '패션'에서 수학은 어떤 의미와 효용이 있는지 제조업을 운영하는 디자이너의 관점에서 실무 사례 위주로 이야기하려 한다.
Host: 김용정     Contact: 김도영 ()     Korean     2023-03-22 11:05:37
The Harnack inequality plays a crucial role in elliptic and parabolic PDEs. In particular, one can characterize ancient positive solutions to parabolic PDEs by using the Harnack inequality. In this talk, we consider the mean curvature flow, a parabolic PDE of hypersurfaces. To study its stability, it is important to show the uniqueness of ancient flows staying in an one-side of self-similarly shrinking flows. After rescaling the ancient one-sided flow converges to the static self-similar solution, and so it is the graph of an evolving positive function defined over the self-similar solution. Then, the positive function is a solution to a parabolic PDE, and we can show the uniqueness by using the Harnack inequality.
Host: 확률 해석 및 응용 연구센터     Contact: 확률 해석 및 응용 연구센터 (042-350-8111/8117)     Korean English if it is requested     2023-03-13 11:22:24
We will present a new approach to develop a data-driven, learning-based framework for predicting outcomes of biophysical systems and for discovering hidden mechanisms and pathways from noisy data. We will introduce a deep learning approach based on neural networks (NNs) and on generative adversarial networks (GANs). Unlike other approaches that rely on big data, here we “learn” from small data by exploiting the information provided by the mathematical physics, e.g.., conservation laws, reaction kinetics, etc,. which are used to obtain informative priors or regularize the neural networks. We will demonstrate how we can train BINNs from multifidelity/multimodality data, and we will present several examples of inverse problems, e.g., in systems biology for diabetes and in biomechanics for non-invasive inference of thrombus material properties. We will also discuss how operator regression in the form of DeepOnet can be used to accelerate inference based on historical data and only a few new data, as well its generalization and transfer learning capacity.
ZOOM ID: 997 8258 4700 (Biomedical Mathematics Online Colloquium), (pw: 1234)
Host: Jae Kyoung Kim     English     2023-03-06 17:00:25
In this talk, we provide an overview of the historical development of fast solution methods for partial differential equations, as well as their current status and potential for future advancements. We first begin with a historical survey and describe recent advances in efficient techniques, such as multigrid and domain decomposition methods. In addition, we will explore the potential of emerging methods in the realm of scientific machine learning.
(Online participation) Zoom Link: https://kaist.zoom.us/j/87516570701
In this seminar, we will talk about the chemotaxis model, which is a diffusion model for biological dispersion. Chemotaxis is the movement of biological organisms in response to chemical stimuli. The chemotaxis model has nonlinear diffusion with no reaction term and has been extensively studied in the sense of a diffusion model for heterogeneous media. The nonlinear diffusion alone makes it possible to allow us to observe various spatial patterns. We will see what kind of pattern formation the model provides and what mathematical problems this model can be applied to. Language : Korean but English if it is requested
Discipline of talk: Analysis / Advisor: 김용정 (Yongjung Kim )
Host: 김영종     Contact: 김영종 (01094985488)     Korean English if it is requested     2023-02-05 17:52:17
Configurations of axis-parallel boxes in $\mathbb{R}^d$ are extensively studied in combinatorial geometry. Despite their perceived simplicity, there are many problems involving their structure that are not well understood. I will talk about a construction that shows that their structure might be more complicated than people conjectured.
Host: Sang-il Oum     English     2023-01-16 20:51:37
In this talk, we look at the results of various studies in which computational mathematics is used in medical imaging. Through the various scope of research from mathematical modeling to data-based methodology, we can think about the future direction by examining what we can do in data science can contribute and what contribution we can make to medical imaging.
To be announced     2023-03-23 10:39:58
Bayesian Physics Informed Neural Networks (B-PINNs) have gained significant attention for inferring physical parameters and learning the forward solutions for problems based on partial differential equations. However, the overparameterized nature of neural networks poses a computational challenge for high-dimensional posterior inference. Existing inference approaches, such as particle-based or variance inference methods, are either computationally expensive for highdimensional posterior inference or provide unsatisfactory uncertainty estimates. In this paper, we present a new efficient inference algorithm for B-PINNs that uses Ensemble Kalman Inversion (EKI) for high-dimensional inference tasks. By reframing the setup of B-PINNs as a traditional Bayesian inverse problem, we can take advantage of EKI’s key features: (1) gradient-free, (2) computational complexity scales linearly with the dimension of the parameter spaces, and (3) rapid convergence with typically O(100) iterations. We demonstrate the applicability and performance of the proposed method through various types of numerical examples. We find that our proposed method can achieve inference results with informative uncertainty estimates comparable to Hamiltonian Monte Carlo (HMC)-based B-PINNs with a much reduced computational cost. These findings suggest that our proposed approach has great potential for uncertainty quantification in physics-informed machine learning for practical applications.
We will first introduce Homogeneous dynamics, especially the mixing property of flows on spaces of hyperbolic nature. We will then survey applications of homogeneous dynamics to various problems in Number theory. (Part of the talk is based on joint work with Keivan Mallahi-Karai and Jiyoung Han.)
The date has been postponed from March 16 to March 30.
Host: Andreas Holmsen     Contact: 김규식 (2702)     To be announced     2023-02-28 07:27:29
In this talk, we will discuss the problem of determining the maximum number of edges in an n-vertex k-critical graph. A graph is considered k-critical if its chromatic number is k, but any proper subgraph has a chromatic number less than k. The problem remains open for any integer k ≥ 4. Our presentation will showcase an improvement on previous results achieved by employing a combination of extremal graph theory and structural analysis. We will introduce a key lemma, which may be of independent interest, as it sheds light on the partial structure of dense k-critical graphs. This is joint work with Cong Luo and Jie Ma.
Host: Sang-il Oum     English     2023-03-07 09:29:24
Fast and accurate predictions for complex physical dynamics are a big challenge across various applications. Real-time prediction on resource-constrained hardware is even more crucial in the real-world problems. The deep operator network (DeepONet) has recently been proposed as a framework for learning nonlinear mappings between function spaces. However, the DeepONet requires many parameters and has a high computational cost when learning operators, particularly those with complex (discontinuous or non-smooth) target functions. In this study, we propose HyperDeepONet, which uses the expressive power of the hypernetwork to enable learning of a complex operator with smaller set of parameters. The DeepONet and its variant models can be thought of as a method of injecting the input function information into the target function. From this perspective, these models can be viewed as a special case of HyperDeepONet. We analyze the complexity of DeepONet and conclude that HyperDeepONet needs relatively lower complexity to obtain the desired accuracy for operator learning. HyperDeepONet was successfully applied to various operator learning problems using low computational resources compared to other benchmarks.
Host: Jae Kyoung Kim     To be announced     2023-03-22 20:12:56
Modeling mass or heat transfer near a wall is of broad interest in various fluid flows. Specifically, in cardiovascular flows, mass transport near the vessel wall plays an important role in cardiovascular disease. However, due to very thin concentration boundary layers, accurate computational modeling is challenging. Additionally, experimental approaches have limitations in measuring near-wall flow metrics such as wall shear stress (WSS). In this talk, first, I will briefly review the complex flow physics near the wall in diseased vascular flows and introduce the concept of WSS manifolds in near-wall transport. Specifically, I will talk about stable and unstable manifolds calculated for a surface vector field. Next, I will discuss reduced-order data assimilation modeling as well as physics-informed neural network (PINN) approaches for obtaining WSS from measurement data away from the wall. Finally, I present a boundary-layer PINN (BL-PINN) approach inspired by the classical perturbation theory and asymptotic expansions to solve challenging thin boundary layer mass transport problems. BL-PINN demonstrates how classical theoretical approaches could be replicated in a deep learning framework.
그래프 신경망 (GNN: graph neural network)은 그래프에서 높은 표현 능력과 함께 특징 정보를 추출하는 방법론으로 학계와 산업체에서 최근 폭발적인 관심을 받고 있다. 본 세미나에서는 그래프 신경망의 개요 및 주요 동작 원리를 다룬다. 구체적으로, message passing의 원리를 이해하고 state-of-the-art 알고리즘에서 사용한 다양한 message passing 함수를 소개한다. 그래프 신경망을 활용한 다양한 downstream 응용 문제들이 존재하지만, 본 세미나에서는 근본적인 그래프 마이닝 문제 중 하나인 네트워크 정렬 (network alignment)으로의 적용을 다룬다. 네트워크 정렬 문제를 정의하고, 기존 연구 결과물들을 요약하고 한계점에 대해 설명한다. 이를 바탕으로 발표자 연구실에서 제안한 그래프 신경망을 활용한 새로운 점진적 네트워크 정렬 방법을 소개한다. 마지막으로, 그래프 신경망을 사용해 해결할 수 있는 다양한 실세계 응용 문제를 공유하고 토의한다.
Host: 확률 해석 및 응용 연구센터     Contact: 확률 해석 및 응용 연구센터 (042-350-8111/8117)     Korean English if it is requested     2023-03-13 11:20:38
Small regulatory RNA molecules such as microRNA modulate gene expression through inhibiting the translation of messenger RNA (mRNA). Such post-transcriptional regulation has been recently hypothesized to reduce the stochastic variability of gene expression around average levels. Here we quantify noise in stochastic gene expression models with and without such regulation. Our results suggest that silencing mRNA post-transcriptionally will always increase rather than decrease gene expression noise when the silencing of mRNA also increases its degradation as is expected for microRNA interactions with mRNA. In that regime we also find that silencing mRNA generally reduces the fidelity of signal transmission from deterministically varying upstream factors to protein levels. These findings suggest that microRNA binding to mRNA does not generically confer precision to protein expression
Host: Jae Kyoung Kim     English     2023-03-06 16:58:27
Many questions in everyday life as well as in research are causal in nature: How would the climate change if we lower train prices or will my headache go away if I take an aspirin? Inherently, such questions need to specify the causal variables relevant to the question and their interactions. However, existing algorithms for learning causal graphs from data are often not scaling well both with the number of variables or the number of observations. This talk will provide a brief introduction to causal structure learning, recent efforts in using continuous optimization to learn causal graphs at scale and systematic approaches for causal experimental design at scale.
ZOOM ID: 997 8258 4700 (Biomedical Mathematics Online Colloquium), (pw: 1234)
Host: Jae Kyoung Kim     English     2023-03-06 16:54:40
In this seminar, I will provide an overview of diffusion generative models, inverse problems, and their applications in solving such problems. Furthermore, I will present a novel interpretation of diffusion generative models and their translation to inverse problems. In collaboration with Hyungjin Chung and Dohoon Ryu, we propose that when data lies in a low-dimensional structure, the set of data with intermediate noise represents the interpolating manifold between the data manifold and the hypersphere of pure noise. Our new method, which respects this geometry, outperforms previous methods, and we provide experimental results as proof of concept.
Discipline of talk: Applied math, deep learning / Advisor: 예종철 (Jong Chul Ye)
Host: 김영종     Contact: 김영종 (01094985488)     Korean English if it is requested     2023-02-05 17:47:02
In this lecture we introduce some challenging problems in the mathematical fluid mechanics. Although fluid mechanics is one of the most important physical phenomena we experience in everyday life, and has been studied for long time in history by top class mathematicians, still there are many problems which are open even at the fundamental level. We explain these problems and briefly review some of the recent progress.
Host: Moon-Jin Kang     Contact: 김규식 (2702)     To be announced     2023-02-28 07:29:18
We present new (mostly determinantal) expressions for various eigenvalue statistics in random matrix theory. Whenever the eigenvalue $n$-point correlation function is given in terms of $n \times n$ determinants with some kernel, we propose a new kernel that gives the $n$-point correlation function of the eigenvalues conditioned on the event of some eigenvalues already existing at fixed positions. Using such new kernels we obtain determinantal expressions for the joint densities of the $k$ largest eigenvalues, probability density function of the $k$-th largest eigenvalue, density of the first eigenvalue spacing, and many more. Our formulae is highly amenable to numerical computation through the method proposed by Bornemann (2008).
Host: 이지운 교수     To be announced     2023-03-10 10:42:15
The standard approach to problem-solving in physics consists of identifying state variables of the system, setting differential equations governing the state evolution, and solving the obtained. The behavior of the system for different values of parameters can be examined only as a fourth step. On the contrary, the modern approach to studying dynamical systems relies on Morphological/Topological analysis which alleviates the necessity for the explicit solution of differential equations. The stability analysis of the parabolic swing will demonstrate the merit of such an approach. It will be shown how to construct a qualitatively correct model of system dynamics that is surprisingly quantitatively correct as well. The sudden (catastrophic) change in the swing’s stability, caused by a slight change in the critical value of system parameters, will be linked to the drastic topological change of the corresponding phase-space portraits. It will be shown that for a system’s parameters close to critical ones, the system’s behavior is identical to a specific simple universal prototype given by catastrophe theory. A short survey of the simplest elementary catastrophes will be given that represents the basis for applying catastrophe theory in other fields of science.
Host: Jae Kyoung Kim     English     2023-03-17 14:34:35
Symmetric spaces from Lie theory and differential geometry are often represented by special set of structured matrices. The Cartan decomposition and its generalization of symmetric spaces and classical Lie groups recover many of the known matrix factorizations in numerical linear algebra, such as the singular value decomposition, CS decomposition, generalized SVD and many more. We discuss a blueprint for generating fifty-three matrix factorizations from the generalized Cartan decomposition, most of which appear to be new. The underlying mathematics may be traced back to Cartan (1927), Harish-Chandra (1956), and Flensted-Jensen (1978). This is joint work with Alan Edelman.
Host: 이창옥 교수     To be announced     2023-03-10 10:39:21
Since conformal field theory (CFT) was introduced to relate various critical statistical physics models to Virasoro representation theory, it has been applied to string theory, condensed matter physics, vertex operator algebra, and probability theory. In this talk, I will explain how the boundary CFT of central charges c (less than or equal to 1) relates to the boundary CFT of 26 - c in terms of boundary conditions. (On the algebraic side, Feigin and Fuchs described the duality between the categories of Verma modules with central charges c and 26 - c to explain the appearance of the critical dimension 26 of the bosonic string theory.) I will present the connection between the boundary CFT and the theory of Schramm-Loewner evolution in various conformal types.
Host: 확률 해석 및 응용 연구센터     Contact: 확률 해석 및 응용 연구센터 (042-350-8111/8117)     Korean English if it is requested     2023-03-13 11:18:32
Many differential equations and partial differential equations (PDEs) are being studied to model physical phenomena in nature with mathematical expressions. Recently, new numerical approaches using machine learning and deep learning have been actively studied. There are two mainstream deep learning approaches to approximate solutions to the PDEs, i.e., using neural networks directly to parametrize the solution to the PDE and learning operators from the parameters of the PDEs to their solutions. As the first direction, Physics-Informed Neural Network was introduced in (Raissi, Perdikaris, and Karniadakis 2019), which learns the neural network parameters to minimize the PDE residuals in the least-squares sense. On the other side, operator learning using neural networks has been studied to approximate a PDE solution operator, which is nonlinear and complex in general. In this talk, I will introduce these two ways to approximate the solution of PDE and my research related to them.
(Online participation) Zoom Link: https://kaist.zoom.us/j/87516570701
Host: 이창옥     Korean     2023-03-08 16:29:13
The seasonal outbreaks of influenza infection cause globally respiratory illness, or even death in all age groups. Given early-warning signals preceding the influenza outbreak, timely intervention such as vaccination and isolation management effectively decrease the morbidity. However, it is usually a difficult task to achieve the real-time prediction of influenza outbreak due to its complexity intertwining both biological systems and social systems. By exploring rich dynamical and high-dimensional information, our dynamic network marker/biomarker (DNM/DNB) method opens a new way to identify the tipping point prior to the catastrophic transition into an influenza pandemics. In order to detect the early-warning signals before the influenza outbreak by applying DNM method, the historical information of clinic hospitalization caused by influenza infection between years 2009 and 2016 were extracted and assembled from public records of Tokyo and Hokkaido, Japan. The early-warning signal, with an average of 4-week window lead prior to each seasonal outbreak of influenza, was provided by DNM-based on the hospitalization records, providing an opportunity to apply proactive strategies to prevent or delay the onset of influenza outbreak. Moreover, the study on the dynamical changes of hospitalization in local district networks unveils the influenza transmission dynamics or landscape in network level.
Host: Jae Kyoung Kim     English     2023-03-06 16:53:05
For complex number $\alpha$, let $ A = \begin{bmatrix} 1 & 1 \\ 0 & 1 \end{bmatrix}$ and $B = \begin{bmatrix} 1 & 0 \\ \alpha & 1 \end{bmatrix} $ be two parabolic matrices and let $G_\alpha$ be the group generated by these two matrices. Determining whether $G_\alpha$ is the free group rank 2 or not, is one of the important problems. In this talk, I will introduce a geometric aspect of the group $G_\alpha$ and give previous results of the problem. Next, I will introduce my work joint with KyeongRo Kim.
Discipline of talk: Geometric Group Theory / Advisor: 백형렬 교수님
Host: 김영종     Contact: 김영종 (01094985488)     Korean     2023-02-05 17:42:05
Multi-omics technologies, and in particular those with single-cell and spatial resolution, provide unique opportunities to study the deregulation of intra- and inter-cellular signaling processes in disease. I will present recent methods and applications from our group toward this aim, focusing on computational approaches that combine data with biological knowledge within statistical and machine learning methods. This combination allows us to increase both the statistical power of our analyses and the mechanistic interpretability of the results. These approaches allow us to identify key processes, that can be in turn studied in detailed with dynamic mechanistic models. I will then present how cell-specific logic models, trained with measurements upon perturbations, can provides new biomarkers and treatment opportunities. Finally, I will show how, using novel microfluidics-based technologies, this approach can also be applied directly to biopsies, allowing to build mechanistic models for individual cancer patients, and use these models to prose new therapies.
ZOOM ID: 997 8258 4700 (Biomedical Mathematics Online Colloquium), (pw: 1234)
Host: Jae Kyoung Kim     English     2023-03-06 16:23:12
We give a summary on the work of the last months related to Frankl's Union-Closed conjecture and its offsprings. The initial conjecture is stated as a theorem in extremal set theory; when a family F is union-closed (the union of sets of F is itself a set of $\mathcal F$), then $\mathcal F$ contains an (abundant) element that belongs to at least half of the sets. Meanwhile, there are many related versions of the conjecture due to Frankl. For example, graph theorists may prefer the equivalent statement that every bipartite graph has a vertex that belongs to no more than half of the maximal independent sets. While even proving the ε-Union-Closed Sets Conjecture was out of reach, Poonen and Cui & Hu conjectured already stronger forms. At the end of last year, progress was made on many of these conjectures. Gilmer proved the ε-Union-Closed Sets Conjecture using an elegant entropy-based method which was sharpened by many others. Despite a sharp approximate form of the union-closed conjecture as stated by Chase and Lovett, a further improvement was possible. In a different direction, Kabela, Polak and Teska constructed union-closed family sets with large sets and few abundant elements. This talk will keep the audience up-to-date and give them insight in the main ideas. People who would like more details, can join the Ecopro-reading session on the 7th of March (10 o'clock, B332) as well. Here we go deeper in the core of the proofs and discuss possible directions for the full resolution.
Host: Sang-il Oum     English     2023-01-27 15:40:41
The morphological method – based on the topology and singularity theory and originally developed for the analysis of the scattering experiments – was extended to be applicable for the analysis of biological data. The usefulness of the topological viewpoint was demonstrated by quantification of the changes of collagen fiber straightness in the human colon mucosa (healthy mucosa, colorectal cancer, and uninvolved mucosa far from cancer). This has been done by modeling the distribution of collagen segment angles by the polymorphic beta-distribution. Its shapes were classified according to the number and type of critical points. We found that biologically relevant shapes could be classified as shapes without any preferable orientation (i.e. shapes without local extrema), transitional forms (i.e. forms with one broad local maximum), and highly oriented forms (i.e. forms with two minima at both ends and one very narrow maximum between them). Thus, changes in the fiber organization were linked to the metamorphoses of the beta-distribution forms. The obtained classification was used to define a new, shape-aware/based, measure of the collagen straightness, which revealed a slight, and moderate increase of the straightness in mucosa samples taken 20 cm and 10 cm away from the tumor. The largest increase of collagen straightness was found in samples of cancer tissue. Samples of the healthy individuals have a uniform distribution of beta-distribution forms. We found that this distribution has the maximal information entropy. At 20 cm and 10 cm away from cancer, the transition forms redistribute into unoriented and highly oriented forms. Closer to cancer the number of unoriented forms decreases rapidly leaving only highly oriented forms present in the samples of the cancer tissue, whose distribution has minimal information entropy. The polarization of the distribution was followed by a significant increase in the number of quasi-symmetrical forms in samples 20 cm away from cancer which decreases closer to cancer. This work shows that the evolution of the distribution of the beta-distribution forms – an abstract construction of the mind – follows the familiar laws of statistical mechanics. Additionally, the polarization of the beta-distribution forms together with the described change in the number of quasi-symmetrical forms, clearly visible in the parametric space of the beta-distribution and very difficult to notice in the observable space, can be a useful indicator of the early stages in the development of colorectal cancer.
Host: Jae Kyoung Kim     English     2023-03-06 20:44:19
Cooperation means that one individual pays a cost for another to receive a benefit. Cooperation can be at variance with natural selection. Why should you help competitors? Yet cooperation is abundant in nature and is important component of evolutionary innovation. Cooperation can be seen as the master architect of evolution and as the third fundamental principle of evolution beside mutation and selection. I will present five mechanisms for the evolution of cooperation: direct reciprocity, indirect reciprocity, spatial selection, group selection and kin selection. Global cooperation and the cooperation with future generations is necessary to ensure the survival of our species. Further reading: Nowak MA (2006). Evolutionary Dynamics. Harvard University Press Nowak MA & Highfield R (2011) SuperCooperators. Simon & Schuster. Hauser OP, Rand DG, Peysakhovich A & Nowak MA (2014). Cooperating with the future. Nature 511: 220-223 Hilbe C, Šimsa Š, Chatterjee K & Nowak MA (2018). Evolution of cooperation in stochastic games. Nature 559: 246-249 Hauser OP, Hilbe C, Chatterjee K & Nowak MA (2019). Social dilemmas among unequals. Nature 572: 524-527
ZOOM ID: 997 8258 4700 (Biomedical Mathematics Online Colloquium), (pw: 1234)
Host: Jae Kyoung Kim     English     2023-02-20 21:19:52
A key goal of synthetic biology is to establish functional biochemical modules with network-independent properties. Antithetic integral feedback (AIF) is a recently developed control module in which two control species perfectly annihilate each other’s biological activity. The AIF module confers robust perfect adaptation to the steady-state average level of a controlled intracellular component when subjected to sustained perturbations. Recent work has suggested that such robustness comes at the unavoidable price of increased stochastic fluctuations around average levels. We present theoretical results that support and quantify this trade-off for the commonly analyzed AIF variant in the idealized limit with perfect annihilation. However, we also show that this trade-off is a singular limit of the control module: Even minute deviations from perfect adaptation allow systems to achieve effective noise suppression as long as cells can pay the corresponding energetic cost. We further show that a variant of the AIF control module can achieve significant noise suppression even in the idealized limit with perfect adaptation. This atypical configuration may thus be preferable in synthetic biology applications.
Host: Jae Kyoung Kim     To be announced     2023-03-06 16:20:13
Given an undirected planar graph $G$ with $n$ vertices and a set $T$ of $k$ pairs $(s_i,t_i)_{i=1}^k$ of vertices, the goal of the planar disjoint paths problem is to find a set $\mathcal P$ of $k$ pairwise vertex-disjoint paths connecting $s_i$ and $t_i$ for all indices $i\in\{1,\ldots,k\}$. This problem has been studied extensively due to its numerous applications such as VLSI layout and circuit routing. However, this problem is NP-complete even for grid graphs. This motivates the study of this problem from the viewpoint of parameterized algorithms. In this talk, I will present a $2^{O(k^2)}n$-time algorithm for the planar disjoint paths problem. This improves the two previously best-known algorithms: $2^{2^{O(k)}}n$-time algorithm [Discrete Applied Mathematics 1995] and $2^{O(k^2)}n^6$-time algorithm [STOC 2020]. This is joint work with Kyungjin Cho and Seunghyeok Oh.
Host: Sang-il Oum     English     2023-02-21 00:00:30
This talk reviews two notable papers in self-supervised graphical neural networks; they are "Graph contrastive learning with augmentations" presented at NeurIPS 2020 and "Contrastive multi-view representation learning on graphs" presented at ICML 2020. This will be an introduction of self-supervised graphical neural networks that has emerged as one of the hottest research fields in artificial intelligence, which requires mathematical methodology across all fields of mathematics, including graph theory, algebra, topology, analysis, and geometry.
Host: 김동환     Korean     2023-02-22 00:21:33
1. The “temporal information code” of insulin action: a bottom-up approach One of the essential elements of signaling networks is to encode information from a wide variety of inputs into a limited set of molecules. We have proposed a “temporal information code” that regulates a variety of physiological functions by encoding input information in temporal patterns of molecular activity, and based on this concept, we are analyzing biological homeostasis by insulin signaling. Taking blood insulin as an example, we will explain how the temporal information of blood insulin is selectively decoded by downstream networks. 2. Transomics of insulin action: a top-down approach In order to obtain a complete picture of insulin action, we performed transomics measurements integrating metabolomics and transcriptomics, and found that metabolism is regulated by allosteric regulation in the liver of normal mice and by compensatory gene expression in the liver of obese mice. (Top-down approach). I will talk about approach the principle of homeostasis of living organisms by temporal patterns, using the analysis of systems biology of insulin action using two different approaches.
ZOOM ID: 997 8258 4700 (Biomedical Mathematics Online Colloquium), (pw: 1234)
Host: Jae Kyoung Kim     English     2023-02-20 21:16:09
Cellular dynamics and emerging biological function are governed by patterns of gene expression arising from networks of interacting genes. Inferring these interactions from data is a notoriously difficult inverse problem that is central to systems biology. The majority of existing network inference methods work at the population level and construct a static representations of gene regulatory networks; they do not naturally allow for inference of differential regulation across a heterogeneous cell population. Building upon recent dynamical inference methods that model single cell dynamics using Markov processes, we propose locaTE, an information-theoretic approach which employs a localised transfer entropy to infer cell-specific, causal gene regulatory networks. LocaTE uses high-resolution estimates of dynamics and geometry of the cellular gene expression manifold to inform inference of regulatory interactions. We find that this approach is generally superior to using static inference methods, often by a significant margin. We demonstrate that factor analysis can give detailed insights into the inferred cell-specific GRNs. In application to two experimental datasets, we recover key transcription factors and regulatory interactions that drive mouse primitive endoderm formation and pancreatic development. For both simulated and experimental data, locaTE provides a powerful, efficient and scalable network inference method that allows us to distil cell-specific networks from single cell data.
Host: Jae Kyoung Kim     To be announced     2023-02-01 14:56:10
In this talk, we study the dissipative structure for the linear symmetric hyperbolic system with general relaxation. If the relaxation matrix of the system has symmetric properties, Shizuta and Kawashima(1985) introduced the suitable stability condition, and Umeda, Kawashima and Shizuta(1984) analyzed the dissipative structure. On the other hand, Ueda, Duan and Kawashima(2012,2018) focused on the system with non-symmetric relaxation and got partial results. Furthermore, they argued the new dissipative structure called the regularity-loss type. In this situation, this talk aims to extend the stability theory introduced by Shizuta and Kawashima(1985) and Umeda, Kawashima and Shizuta(1984) to our general system. Furthermore, we will consider the optimality of the dissipative structure. If we have time, I would like to discuss some physical models for its application and new dissipative structures.
Host: 강문진     English     2023-02-21 14:20:58