Friday, December 8, 2023

<< >>  
2023. 11
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
2023. 12
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
2024. 1
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
2023-12-12 / 14:00 ~ 15:00
SAARC 세미나 - SAARC 세미나: 인쇄
by ()
In this talk, I will present the recent progress of understanding adversarial multiclass classification problems, motivated by the empirical observation of the sensitivity of neural networks by small adversarial attacks. Based on 'distributional robust optimization' framework, we obtain reformulations of adversarial training problem: 'generalized barycenter problem' and a family of multimarginal optimal transport problems. These new theoretical results reveal a rich geometric structure of adversarial training problems in multiclass classification and extend recent results restricted to the binary classification setting. From this optimal transport perspective understanding, we prove the existence of robust classifiers by using the duality of the reformulations without so-called 'universal sigma algebra'. Furthermore, based on these optimal transport reformulations, we provide two efficient approximate methods which provide a lower bound of the optimal adversarial risk. The basic idea is the truncation of effective interactions between classes: with small adversarial budget, high-order interactions(high-order barycenters) disappear, which helps consider only lower order tensor computations.
2023-12-08 / 16:00 ~ 17:00
SAARC 세미나 - SAARC 세미나: 인쇄
by ()
We investigate the global existence and optimal time decay rate of solution to the one dimensional (1D) two-phase flow described by compressible Euler equations coupled with compressible Navier-Stokes equations through the relaxation drag force on the momentum equations (Euler-Navier-Stokes system). First, we prove the global existence of strong solution and the stability of the constant equilibrium state to 1D Cauchy problem of compressible Euler-Navier-Stokes system by using the standard continuity argument for small $H^{1}$ data while its second order derivative can be large. Then we derive the optimal time decay rate to the constant equilibrium state. Compared with multi-dimensional case, it is much harder to get optimal time decay rate by direct spectrum method due to a slower convergence rate of the fundamental solution in 1D case. To overcome this main difficulty, we need to first carry out time-weighted energy estimates (not optimal) for higher order derivatives, and based on these time-weighted estimates, we can close a priori assumptions and get the optimal time decay rate by spectrum analysis method. Moreover, due to non-conserved form and insufficient decay rate of the coupled drag force terms between the two-phase flows, we essentially need to use momentum variables $(m= \rho u, M=n\omega)$, rather than velocity variables $(u, \omega)$ in the spectrum analysis, to fully cancel out those non-conserved and insufficiently time-decay drag force terms. Finally, we study the singularity formation of the two-phase flow. We consider the blow-up of Euler equations in Euler-Navier-Stokes system. For Euler equations, we use Riemann invariants to construct decoupled Riccati type ordinary differential equations for smooth solutions and provide some sufficient conditions under which the classical solutions must break down in finite time.
2023-12-08 / 11:00 ~ 12:00
학과 세미나/콜로퀴엄 - 응용 및 계산수학 세미나: 인쇄
by 최우철(성균관대학교 수학과)
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.
2023-12-12 / 11:00 ~ 12:00
학과 세미나/콜로퀴엄 - PDE 세미나: Nonlocal elliptic and parabolic equations with general stable operators in weighted Sobolev spaces 인쇄
by 유준희(Brown University)
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).
2023-12-11 / 13:30 ~ 14:30
학과 세미나/콜로퀴엄 - 대수기하학: On Brauer Groups of Smooth Toric Varieties and Toric Schemes over a Discrete Valuation Ring 인쇄
by 이종후(Ohio State University)
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.
2023-12-08 / 16:00 ~ 17:00
학과 세미나/콜로퀴엄 - 박사논문심사: 생성함수의 연립 2차 방정식 풀이를 통한 명제논리계에서 항진명제의 밀도 계산 인쇄
by 엄태현(KAIST)

2023-12-08 / 16:00 ~ 17:00
학과 세미나/콜로퀴엄 - 미분기하 세미나: 인쇄
by 이상훈(KIAS)
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.
2023-12-13 / 15:00 ~ 16:00
학과 세미나/콜로퀴엄 - 박사논문심사: 구성비 데이터를 위한 커널 방법과 차원 축소 인쇄
by 박준영(KAIST)

2023-12-12 / 16:30 ~ 17:30
IBS-KAIST 세미나 - 이산수학: Tight Bound on Joints Problem and Partial Shadow Problem 인쇄
by Ting-Wei Chao(Carnegie Mellon University)
Given a set of lines in $\mathbb R^d$, a joint is a point contained in d linearly independent lines. Guth and Katz showed that N lines can determine at most $O(N^{3/2})$ joints in $\mathbb R^3$ via the polynomial method. Yu and I proved a tight bound on this problem, which also solves a conjecture proposed by Bollobás and Eccles on the partial shadow problem. It is surprising to us that the only known proof of this purely extremal graph theoretic problem uses incidence geometry and the polynomial method.
2023-12-08 / 11:00 ~ 12:00
IBS-KAIST 세미나 - 수리생물학: 인쇄
by ()
TBD
Events for the 취소된 행사 포함 모두인쇄
export to Google calendar  .ics download