Wednesday, May 28, 2025

<< >>  
2025. 4
Sun Mon Tue Wed Thu Fri Sat
1 2 3 4 5
6 7 8 9 10 11 12
13 14 15 16 17 18 19
20 21 22 23 24 25 26
27 28 29 30
2025. 5
Sun Mon Tue Wed Thu Fri Sat
1 2 3
4 5 6 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
2025. 6
Sun Mon Tue Wed Thu Fri Sat
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30
2025-06-04 / 16:30 ~ 17:30
IBS-KAIST 세미나 - 이산수학: Strict Erdős-Ko-Rado Theorems for Simplicial Complexes 인쇄
by Denys Bulavka(Hebrew University of Jerusalem)
The now classical theorem of Erdős, Ko and Rado establishes the size of a maximal uniform family of pairwise-intersecting sets as well as a characterization of the families attaining such upper bound. One natural extension of this theorem is that of restricting the possiblechoices for the sets. That is, given a simplicial complex, what is the size of a maximal uniform family of pairwise-intersecting faces. Holroyd and Talbot, and Borg conjectured that the same phenomena as in the classical case (i.e., the simplex) occurs: there is a maximal size pairwise-intersecting family with all its faces having some common vertex. Under stronger hypothesis, they also conjectured that if a family attains such bound then its members must have a common vertex. In this talk I will present some progress towards the characterization of the maximal families. Concretely I will show that the conjecture is true for near-cones of sufficiently high depth. In particular, this implies that the characterization of maximal families holds for, for example, the independence complex of a chordal graph with an isolated vertex as well as the independence complex of a (large enough) disjoint union of graphs with at least one isolated vertex. Under stronger hypothesis, i.e., more isolated vertices, we also recover a stability theorem. This talk is based on a joint work with Russ Woodroofe.
2025-05-30 / 14:00 ~ 16:00
IBS-KAIST 세미나 - 수리생물학: 인쇄
by ()
In this talk, we discuss the paper “Direct Estimation of Parameters in ODE Models Using WENDy: Weak-Form Estimation of Nonlinear Dynamics” by David M. Bortz, Daniel A. Messenger, and Vanja Dukic, Bulletin of Mathematical Biology, 2023.
2025-05-29 / 16:00 ~ 17:00
학과 세미나/콜로퀴엄 - 박사논문심사: 분기화 다리에서의 D*-슈튜카의 퇴화에 관하여 인쇄
by 최용규()

2025-06-02 / 16:00 ~ 17:00
편미분방정식 통합연구실 세미나 - 편미분방정식: Phase Transition and Minimal Interface 인쇄
by 서준영()
We study the gradient theory of phase transitions through the asymptotic analysis of variational problems introduced by Modica (1987). As the perturbation parameter tends to zero, minimizers converge to two-phase functions whose interfaces minimize area. The proof uses techniques from the theory of functions of bounded variation and Γ-convergence. This framework has applications in materials science and the study of minimal surfaces. 4참고자료: L. Modica, The gradient theory of phase transitions and the minimal interface criterion, Arch. Rational Mech. Anal. 98 (1987), 123–142.
2025-05-28 / 16:30 ~ 18:00
학과 세미나/콜로퀴엄 - 박사논문심사: 인쇄
by 김다인()
We present an alternative proof of the uniform and Hausdorff exponential convergence results for Michael Gage's area-preserving curve shortening flow (APCSF) using Leon Simon's framework based on Łojasiewicz-Simon inequalities. We introduce a functional that combines length and area on $L^2(\mathbb S^1)$ and establish the optimal Łojasiewicz-Simon inequality for it to achieve the desired convergence.
2025-06-04 / 16:30 ~ 18:00
학과 세미나/콜로퀴엄 - 미분기하 세미나: 인쇄
by ()
The investigation of $G_2$-structures and exceptional holonomy on 7-dimensional manifolds involves the analysis of a nonlinear Laplace-type operator on 3-forms. We will discuss the existence of solutions to the Poisson equation for this operator. Based on joint work with Timothy Buttsworth (The University of New South Wales).
2025-06-04 / 16:00 ~ 17:00
학과 세미나/콜로퀴엄 - 기타: Second-order learning in confidence bounds, contextual bandits, and regression 인쇄
by 전광성()
Confidence sequence provides ways to characterize uncertainty in stochastic environments, which is a widely-used tool for interactive machine learning algorithms and statistical problems including A/B testing, Bayesian optimization, reinforcement learning, and offline evaluation/learning.In these problems, constructing confidence sequences that are tight and correct is crucial since it has a significant impact on the performance of downstream tasks. In this talk, I will first show how to derive one of the tightest empirical Bernstein-style confidence bounds, both theoretically and numerically. This derivation is done via the existence of regret bounds in online learning, inspired by the seminal work of Raklin& Sridharan (2017). Then, I will discuss how our confidence bound extends to unbounded nonnegative random variables with provable tightness. In offline contextual bandits, this leads to the best-known second-order bound in the literature with promising preliminary empirical results. Finally, I will turn to the $[0,1]$-valued regression problem and show how the intuition from our confidence bounds extends to a novel betting-based loss function that exhibits variance-adaptivity. I will conclude with future work including some recent LLM-related topics.
2025-06-04 / 16:00 ~ 18:00
학과 세미나/콜로퀴엄 - 확률론: 인쇄
by 김영헌(브리티시컬럼비아대학)
Given a distribution, say, of data or mass, over a space, it is natural to consider a lower dimensional structure that is most “similar” or “close” to it. For example, consider a planning problem for an irrigation system (1-dimensional structure) over an agricultural region (2-dimensional distribution) where one wants to optimize the coverage and effectiveness of the water supply. This type of problem is related to “principal curves” in statistics and “manifold learning” in AI research. We will discuss some recent results in this direction that employ optimal transport approaches. This talk will be based on joint projects with Anton Afanassiev, Jonathan Hayase, Forest Kobayashi, Lucas O’Brien, Geoffrey Schiebinger, and Andrew Warren.
2025-05-30 / 14:00 ~ 16:00
IBS-KAIST 세미나 - 수리생물학: 인쇄
by ()
In this talk, we discuss the paper “Quantifying and correcting bias in transcriptional parameter inference from single-cell data” by Ramon Grima and Pierre-Marie Esmenjaud, Biophysical journal, 2024.
2025-05-30 / 14:00 ~ 15:30
학과 세미나/콜로퀴엄 - 기타: Introduction to Homotopical Algebra through Model Categories III 인쇄
by Naing Zaw Lu(KAIST)
(This is part of the reading seminar given by the undergrad student Mr. Naing Zaw Lu for his Individual Study project.) This is an introductory talk on homotopy theory in model categories. Over the course of three lectures, we will familiarize ourselves with model categories, see how powerful cofibrant/fibrant objects can be, and build up the tools necessary to define the (Quillen) homotopy category of a model category.
2025-05-30 / 11:00 ~ 12:00
IBS-KAIST 세미나 - IBS-KAIST 세미나: 인쇄
by ()
Spontaneous rhythmic oscillations are widely observed in real-world systems. Synchronized rhythmic oscillations often provide important functions for biological or engineered systems. One of the useful theoretical methods for analyzing rhythmic oscillations is the phase reduction theory for weakly perturbed limit-cycle oscillators, which systematically gives a low-dimensional description of the oscillatory dynamics using only the asymptotic phase of the oscillator. Recent advances in Koopman operator theory provide a new viewpoint on phase reduction, yielding an operator-theoretic definition of the classical notion of the asymptotic phase and, moreover, of the amplitudes, which characterize distances from the limit cycle. This led to the generalization of classical phase reduction to phase-amplitude reduction, which can characterize amplitude deviations of the oscillator from the unperturbed limit cycle in addition to the phase along the cycle in a systematic manner. In the talk, these theories are briefly reviewed and then applied to several examples of synchronizing rhythmic systems, including biological oscillators, networked dynamical systems, and rhythmic spatiotemporal patterns.
2025-05-30 / 11:00 ~ 12:00
IBS-KAIST 세미나 - IBS-KAIST 세미나: 인쇄
by ()
Spontaneous rhythmic oscillations are widely observed in real-world systems. Synchronized rhythmic oscillations often provide important functions for biological or engineered systems. One of the useful theoretical methods for analyzing rhythmic oscillations is the phase reduction theory for weakly perturbed limit-cycle oscillators, which systematically gives a low-dimensional description of the oscillatory dynamics using only the asymptotic phase of the oscillator. Recent advances in Koopman operator theory provide a new viewpoint on phase reduction, yielding an operator-theoretic definition of the classical notion of the asymptotic phase and, moreover, of the amplitudes, which characterize distances from the limit cycle. This led to the generalization of classical phase reduction to phase-amplitude reduction, which can characterize amplitude deviations of the oscillator from the unperturbed limit cycle in addition to the phase along the cycle in a systematic manner. In the talk, these theories are briefly reviewed and then applied to several examples of synchronizing rhythmic systems, including biological oscillators, networked dynamical systems, and rhythmic spatiotemporal patterns.
Events for the 취소된 행사 포함 모두인쇄
export to Google calendar  .ics download