Friday, October 14, 2022

2022-10-18 / 16:30 ~ 17:30

IBS-KAIST 세미나 - 이산수학: Uniform random expressions lack expressivity

by Florent Koechlin(LORIA, INRIA, Nancy, France)

In computer science, random expressions are commonly used to analyze algorithms, either to study their average complexity, or to generate benchmarks to test them experimentally. In general, these approaches only consider the expressions as purely syntactic trees, and completely ignore their semantics — i.e. the mathematical object represented by the expression. However, two different expressions can be equivalent (for example “0*(x+y)” and “0” represent the same expression, the null expression). Can these redundancies question the relevance of the analyses and tests that do not take into account the semantics of the expressions? I will present how the uniform distribution over syntactic expression becomes completely degenerate when we start taking into account their semantics, in a very simple but common case where there is an absorbing element. If time permits it, I will briefly explain why the BST distribution offers more hope. This is a joint work with Cyril Nicaud and Pablo Rotondo.

2022-10-21 / 11:00 ~ 12:00

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

by ()

Cellular, chemical, and population processes are all often represented via networks that describe the interactions between the different population types (typically called the “species”). If the counts of the species are low, then these systems are often modeled as continuous-time Markov chains on the d-dimensional integer lattice (with d being the number of species), with transition rates determined by stochastic mass-action kinetics. A natural (broad) mathematical question is: how do the qualitative properties of the dynamical system relate to the graph properties of the network? For example, it is of particular interest to know which graph properties imply that the stochastically modeled reaction network is positive recurrent, and therefore admits a stationary distribution. After a general introduction to the models of interest, I will discuss this problem, giving some of the known results. I will also discuss recent progress on the Chemical Recurrence Conjecture, which has been open for decades, which is the following: if each connected component of the network is strongly connected, then the associated stochastic model is positive recurrent.

2022-10-21 / 10:30 ~ 11:00

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

by ()

TBA

2022-10-14 / 17:00 ~ 18:00

SAARC 세미나 - SAARC 세미나:

by ()

Wigner's jellium is a model for a gas of electrons. The model consists of unit negatively charged particles lying in a sea of neutralizing homogeneous positive charges spread out according to Lebesgue measure. The key challenge in analyzing this system stems from the long-range Coulomb interactions. While the motivation for the jellium stems from physics, Coulomb systems appear in a variety of different research fields such as random matrix theory. In the first part of this talk, I will review key limit results for classical Coulomb systems in large domains. In the second part, I will present some recent advances for quantum Coulomb systems.

Events for the 취소된 행사 포함