Friday, October 22, 2021

2021-10-27 / 16:15 ~ 17:15

학과 세미나/콜로퀴엄 - 정수론: On the Kottwitz conjecture for local shtuka spaces

by David Hansen(Max Planck Institute for Mathematics)

The cohomology of local Shimura varieties, and of more general spaces of local shtukas, is of fundamental interest in the Langlands program. On the one hand, it is supposed to realize instances of the local Langlands correspondence. On the other hand, there is a tight relationship with the cohomology of global Shimura varieties. In recent joint work with Kaletha and Weinstein, we proved the first general results towards the Kottwitz conjecture, which predicts how supercuspidal L-packets contribute to the cohomology of local shtuka spaces. I will review this whole story, and give some overview of the ideas which enter into our proof. The key idea in our argument - namely, that the Kottwitz conjecture should follow from some form of the Lefschetz-Verdier fixed point formula - was already formulated by Michael Harris in the '90s. However, executing this idea brings substantial technical challenges. I will try to emphasize the new ingredients which allow us to implement this idea in full generality.

2021-10-26 / 16:30 ~ 17:30

IBS-KAIST 세미나 - 이산수학: 𝝘-graphic delta-matroids and their applications

by 김동규(KAIST & IBS 이산수학그룹)

Bouchet (1987) defined delta-matroids by relaxing the base exchange axiom of matroids. Oum (2009) introduced a graphic delta-matroid from a pair of a graph and its vertex subset. We define a $\Gamma$-graphic delta-matroid for an abelian group $\Gamma$, which generalizes a graphic delta-matroid. For an abelian group $\Gamma$, a $\Gamma$-labelled graph is a graph whose vertices are labelled by elements of $\Gamma$. We prove that a certain collection of edge sets of a $\Gamma$-labelled graph forms a delta-matroid, which we call a $\Gamma$-graphic delta-matroid, and provide a polynomial-time algorithm to solve the separation problem, which allows us to apply the symmetric greedy algorithm of Bouchet (1987) to find a maximum weight feasible set in such a delta-matroid. We also prove that a $\Gamma$-graphic delta-matroid is a graphic delta-matroid if and only if it is even. We prove that every $\mathbb{Z}_p^k$-graphic delta matroid is represented by some symmetric matrix over a field of characteristic of order $p^k$, and if every $\Gamma$-graphic delta-matroid is representable over a finite field $\mathbb{F}$, then $\Gamma$ is isomorphic to $\mathbb{Z}_p^k$ and $\mathbb{F}$ is a field of order $p^\ell$ for some prime $p$ and positive integers $k$ and $\ell$. This is joint work with Duksang Lee and Sang-il Oum.

2021-10-29 / 10:30 ~ 11:20

학과 세미나/콜로퀴엄 - 해외 석학 특별 강연 시리즈: Algorithmic and mathematical issues in deep learning

by George Karniadakis(Brown University)

KAIX 석학강연

2021-10-29 / 09:30 ~ 10:20

학과 세미나/콜로퀴엄 - 해외 석학 특별 강연 시리즈: Physics-informed learning for diverse applications in science and engineering

by George Karniadakis(Brown University)

KAIX 석학 강연

2021-10-25 / 16:30 ~ 17:30

학과 세미나/콜로퀴엄 - 계산수학 세미나: Color image enhancement based on retinex theory

by 강명민(충남대학교)

In the first part, I introduce a novel variational model for the joint enhancement and restoration of dark images corrupted by blurring and/or noise. The model decomposes a given dark image into reflectance and illumination images that are recovered from blurring and/or noise. In addition, our approach utilizes non-convex total variation regularization on all variables. This allows us to adequately denoise homogeneous regions while preserving the details and edges in both reflectance and illumination images, which leads to clean and sharp final enhanced images. Experimental results demonstrate the effectiveness of the proposed model when compared to other state-of-the-art methods in terms of both visual aspect and image quality measures. In the second part, I propose a novel variational model for the restoration of a single color image degenerated by haze. The model extends the total variation based model, by inserting an inter-channel correlation term. This additional term permits both color and gray-valued transmission maps, which enable broader applications of the proposed model. Numerical experiments validate the outstanding performance of the proposed model compared to the state-of-the-art methods.

2021-10-27 / 17:00 ~ 18:00

IBS-KAIST 세미나 - 수리생물학:

by ()

Chronotherapeutics- that is administering drugs following the patient’s biological rhythms over the 24 h span- may largely impact on both drug toxicities and efficacy in various pathologies including cancer [1]. However, recent findings highlight the critical need of personalizing circadian delivery according to the patient sex, genetic background or chronotype. Chronotherapy personalization requires to reliably account for the temporal dynamics of molecular pathways of patient’s response to drug administration [2]. In a context where clinical molecular data is usually minimal in individual patients, multi-scale- from preclinical to clinical- systems pharmacology stands as an adapted solution to describe gene and protein networks driving circadian rhythms of treatment efficacy and side effects and allow for the design of personalized chronotherapies. Such a multiscale approach is being undertaken for personalizing the circadian administration of irinotecan, one of the cornerstones of chemotherapies against digestive cancers. Irinotecan molecular chronopharmacology was studied at the cellular level in an in vitro/in silico investigation. Large transcription rhythms of period T= 28 h 06 min (SD 1 h 41 min) moderated drug bioactivation, detoxification, transport, and target in synchronized Caco-2 colorectal cancer cell cultures. These molecular rhythms translated into statistically significant changes according to drug timing in irinotecan pharmacokinetics, pharmacodynamics, and drug-induced apoptosis. Clock silencing through siBMAL1 exposure ablated all the chronopharmacology mechanisms. Mathematical modeling highlighted circadian bioactivation and detoxification as the most critical determinants of irinotecan chronopharmacology [3]. The cellular model of irinotecan chronoPK-PD was further tested on SW480 and SW620 cell lines, and connected to a new clock model to investigate the feasibility of irinotecan timing personalization solely based on clock gene expression monitoring (Hesse, Martinelli et al., under review). To step towards the clinics, on one side, mathematical models of irinotecan, oxaliplatin and 5-fluorouracil pharmacokinetics were designed to precisely compute the exposure concentration of tissue over time after complex chronomodulated drug administration through programmable pumps [4]. On the other side, we aimed to design a model learning methodology predicting from non-invasively measured circadian biomarkers (e.g. rest-activity, body temperature, cortisol, food intake, melatonin), the patient peripheral circadian clocks and associated optimal drug timing [5]. We investigated at the molecular scale the influence of systemic regulators on peripheral clocks in four classes of mice (2 strains, 2 sexes). Best models involved a modulation of either Bmal1 or Per2 transcription most likely by temperature or nutrient exposure cycles. The strengths of systemic regulations were found to be significantly different according to mouse sex and genetic background. References 1. Ballesta, A., et al., Systems Chronotherapeutics. Pharmacol Rev, 2017. 69(2): p. 161-199. 2. Sancar, A. and R.N. Van Gelder, Clocks, cancer, and chronochemotherapy. Science, 2021. 371(6524). 3. Dulong, S., et al., Identification of Circadian Determinants of Cancer Chronotherapy through In Vitro Chronopharmacology and Mathematical Modeling. Mol Cancer Ther, 2015. 4. Hill, R.J.W., et al., Optimizing circadian drug infusion schedules towards personalized cancer chronotherapy. PLoS Comput Biol, 2020. 16(1): p. e1007218. 5. Martinelli, J., et al., Model learning to identify systemic regulators of the peripheral circadian clock. 2021.

2021-10-28 / 14:00 ~ 15:30

학과 세미나/콜로퀴엄 - 위상수학 세미나: On the nonorientable four-ball genus of torus knots

by 강성경(IBS 기하학 수리물리 연구단)

The nonorientable four-ball genus of a knot $K$ in $S^3$ is the minimal first Betti number of nonorientable surfaces in $B^4$ bounded by $K$. By amalgamating ideas from involutive knot Floer homology and unoriented knot Floer homology, we give a new lower bound on the smooth nonorientable four-ball genus $\gamma_4$ of any knot. This bound is sharp for several families of torus knots, including $T_{4n,(2n\pm 1)^2}$ for even $n\ge2$, a family Longo showed were counterexamples to Batson's conjecture. We also prove that, whenever $p$ is an even positive integer and $\frac{p}{2}$ is not a perfect square, the torus knot $T_{p,q}$ does not bound a locally flat M{\" o}bius band for almost all integers $q$ relatively prime to $p$.

2021-10-29 / 16:00 ~ 17:00

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

by ()

The purpose of this talk is to mathematically investigate the formation of a plasma sheath, and to analyze the Bohm criterions which are required for the formation. Bohm derived originally the (hydrodynamic) Bohm criterion from the Euler–Poisson system. Boyd and Thompson proposed the (kinetic) Bohm criterion from kinetic point of view, and then Riemann derived it from the Vlasov–Poisson system. We study the solvability of boundary value problems of the Vlasov–Poisson system. On the process, we see that the kinetic Bohm criterion is a necessary condition for the solvability. The argument gives a simpler derivation of the criterion. Furthermore, the hydrodynamic criterion can be derived from the kinetic criterion. It is of great interest to find the relation between the solutions of the Vlasov–Poisson and Euler–Poisson systems. To clarify the relation, we also investigate the hydrodynamic limit of solutions of the Vlasov–Poisson system.

2021-10-28 / 16:15 ~ 17:15

학과 세미나/콜로퀴엄 - 콜로퀴엄: Fractional particles, braiding, and entanglement

by 심흥선(KAIST 물리학과)

Anyons are quasiparticles in two dimensions. They do not belong to the two classes of elementary particles, bosons and fermions. Instead, they obey Abelian or non-Abelian fractional statistics. Their quantum mechanical states are determined by fusion or braiding, to which braid groups and conformal field theories are naturally applied. Some of non-Abelian anyons are central in realization of topological qubits and topological quantum computing. I will introduce the basic properties of anyons and their recent experimental signatures observed in systems of topological order such as fractional quantum Hall systems and topological superconductors.

Events for the 취소된 행사 포함