Department Seminars & Colloquia
When you're logged in, you can subscribe seminars via e-mail
Room B332, IBS (기초과학연구원)
Discrete Mathematics
Wonwoo Kang (University of Illinois, Urbana-Champaign)
Skein relations for punctured surfaces
Room B332, IBS (기초과학연구원)
Discrete Mathematics
Since the introduction of cluster algebras by Fomin and Zelevinsky in 2002, there has been significant interest in cluster algebras of surface type. These algebras are particularly noteworthy due to their ability to construct various combinatorial structures like snake graphs, T-paths, and posets, which are useful for proving key structural properties such as positivity or the existence of bases. In this talk, we will begin by presenting a cluster expansion formula that integrates the work of Musiker, Schiffler, and Williams with contributions from Wilson, utilizing poset representatives for arcs on triangulated surfaces. Using these posets and the expansion formula as tools, we will demonstrate skein relations, which resolve intersections or incompatibilities between arcs. Topologically, a skein relation replaces intersecting arcs or arcs with self-intersections with two sets of arcs that avoid the intersection differently. Additionally, we will show that all skein relations on punctured surfaces include a term that is not divisible by any coefficient variable. Consequently, we will see that the bangles and bracelets form spanning sets and exhibit linear independence. This work is done in collaboration with Esther Banaian and Elizabeth Kelley.
Room B232, IBS
IBS-KAIST Seminar
Brenda Gavina (IBS BIMAG)
[Journal Club] Computational screen for sex-specific drug effects in a cardiac fibroblast signaling network model
Room B232, IBS
IBS-KAIST Seminar
In this talk, we will discuss the paper, “Computational screen for sex-specific drug effects in a cardiac fibroblast signaling network model”, by K.M. Watts, W. Nichols and W.J. Richardson, Scientific Reports, 2023.
Abstract
Heart disease is the leading cause of death in both men and women. Cardiac fibrosis is the uncontrolled accumulation of extracellular matrix proteins, which can exacerbate the progression of heart failure, and there are currently no drugs approved specifically to target matrix accumulation in the heart. Computational signaling network models (SNMs) can be used to facilitate discovery of novel drug targets. However, the vast majority of SNMs are not sex-specific and/or are developed and validated using data skewed towards male in vitro and in vivo samples. Biological sex is an important consideration in cardiovascular health and drug development. In this study, we integrate a cardiac fibroblast SNM with estrogen signaling pathways to create sex-specific SNMs. The sex-specific SNMs demonstrated high validation accuracy compared to in vitro experimental studies in the literature while also elucidating how estrogen signaling can modulate the effect of fibrotic cytokines via multi-pathway interactions. Further, perturbation analysis and drug screening uncovered several drug compounds predicted to generate divergent fibrotic responses in male vs. female conditions, which warrant further study in the pursuit of sex-specific treatment recommendations for cardiac fibrosis. Future model development and validation will require more generation of sex-specific data to further enhance modeling capabilities for clinically relevant sex-specific predictions of cardiac fibrosis and treatment.
Room B332, IBS (기초과학연구원)
Discrete Mathematics
Semin Yoo (IBS Discrete Mathematics Group)
Paley-like quasi-random graphs arising from polynomials
Room B332, IBS (기초과학연구원)
Discrete Mathematics
We provide new constructions of families of quasi-random graphs that behave like Paley graphs but are neither Cayley graphs nor Cayley sum graphs. These graphs give a unified perspective of studying various graphs defined by polynomials over finite fields, such as Paley graphs, Paley sum graphs, and graphs associated with Diophantine tuples and their generalizations from number theory. As an application, we provide new lower bounds on the clique number and independence number of general quasi-random graphs. In particular, we give a sufficient condition for the clique number of quasi-random graphs of order $n$ to be at least $(1-o(1))\log_{3.008}n$. Such a condition applies to many classical quasi-random graphs, including Paley graphs and Paley sum graphs, as well as some new Paley-like graphs we construct. If time permits, we also discuss some problems of diophantine tuples arising from number theory, which is our original motivation.
This is joint work with Seoyoung Kim and Chi Hoi Yip.
Room B232, IBS
IBS-KAIST Seminar
Hyun Kim (IBS BIMAG)
[Journal Club] Powerful and accurate detection of temporal gene expression patterns from multi-sample multi-stage single-cell transcriptomics data wit
Room B232, IBS
IBS-KAIST Seminar
In this talk, we discuss the paper, “Powerful and accurate detection of temporal gene expression patterns from multi-sample multi-stage single-cell transcriptomics data with TDEseq” by Y. Fan, L. Li and S. Sun, Genome Biology, 2024.
Abstract
We present a non-parametric statistical method called TDEseq that takes full advantage of smoothing splines basis functions to account for the dependence of multiple time points in scRNA-seq studies, and uses hierarchical structure linear additive mixed models to model the correlated cells within an individual. As a result, TDEseq demonstrates powerful performance in identifying four potential temporal expression patterns within a specific cell type. Extensive simulation studies and the analysis of four published scRNA-seq datasets show that TDEseq can produce well-calibrated p-values and up to 20% power gain over the existing methods for detecting temporal gene expression patterns.
If you want to participate in the seminar, you need to enter IBS builiding (https://www.ibs.re.kr/bimag/visiting/). Please contact if you first come IBS to get permission to enter IBS building.
Room B332, IBS (기초과학연구원)
Discrete Mathematics
Maria Chudnovsky (Princeton University)
Anticomplete subgraphs of large treewidth
Room B332, IBS (기초과학연구원)
Discrete Mathematics
We will discuss recent progress on the topic of induced subgraphs and tree-decompositions. In particular this talk with focus on the proof of a conjecture of Hajebi that asserts that (if we exclude a few obvious counterexamples) for every integer t, every graph with large enough treewidth contains two anticomplete induced subgraphs each of treewidth at least t. This is joint work with Sepher Hajebi and Sophie Spirkl.
Room B232, IBS
IBS-KAIST Seminar
Olive Cawiding (IBS BIMAG)
[Journal Club] CausalXtract: a flexible pipeline to extract causal effects from live-cell time-lapse imaging data
Room B232, IBS
IBS-KAIST Seminar
"CausalXtract: a flexible pipeline to extract causal effects from live-cell time-lapse imaging data”, by Franck Simon et.al., bioRxiv, 2024, will be discussed in the Journal Club. The abstract is the following :
Live-cell microscopy routinely provides massive amount of time-lapse images of complex cellular systems under various physiological or therapeutic conditions. However, this wealth of data remains difficult to interpret in terms of causal effects. Here, we describe CausalXtract, a flexible computational pipeline that discovers causal and possibly time-lagged effects from morphodynamic features and cell-cell interactions in live-cell imaging data. CausalXtract methodology combines network-based and information-based frameworks, which is shown to discover causal effects overlooked by classical Granger and Schreiber causality approaches. We showcase the use of CausalXtract to uncover novel causal effects in a tumor-on-chip cellular ecosystem under therapeutically relevant conditions. In particular, we find that cancer associated fibroblasts directly inhibit cancer cell apoptosis, independently from anti-cancer treatment. CausalXtract uncovers also multiple antagonistic effects at different time delays. Hence, CausalXtract provides a unique computational tool to interpret live-cell imaging data for a range of fundamental and translational research applications.
If you want to participate in the seminar, you need to enter IBS builiding (https://www.ibs.re.kr/bimag/visiting/). Please contact if you first come IBS to get permission to enter IBS building.
Room B332, IBS (기초과학연구원)
Discrete Mathematics
Jane Tan (University of Oxford)
Semi-strong colourings of hypergraphs
Room B332, IBS (기초과학연구원)
Discrete Mathematics
A vertex colouring of a hypergraph is $c$-strong if every edge $e$ sees at least $\min\{c, |e|\}$ distinct colours. Let $\chi(t,c)$ denote the least number of colours needed so that every $t$-intersecting hypergraph has a $c$-strong colouring. In 2012, Blais, Weinstein and Yoshida introduced this parameter and initiated study on when $\chi(t,c)$ is finite: they showed that $\chi(t,c)$ is finite whenever $t \geq c$ and unbounded when $t\leq c-2$. The boundary case $\chi(c-1, c)$ has remained elusive for some time: $\chi(1,2)$ is known to be finite by an easy classical result, and $\chi(2,3)$ was shown to be finite by Chung and independently by Colucci and Gyárfás in 2013. In this talk, we present some recent work with Kevin Hendrey, Freddie Illingworth and Nina Kamčev in which we fill in this gap by showing that $\chi(c-1, c)$ is finite in general.
Room B232, IBS (기초과학연구원)
IBS-KAIST Seminar
Lucas MacQuarrie (KAIST 수리과학과 & IBS 의생명수학그룹)
[Journal Club] Data driven governing equations approximation using deep neural networks
Room B232, IBS (기초과학연구원)
IBS-KAIST Seminar
"Data driven governing equations approximation using deep neural networks", Journal of Computational Physics (2019) will be discussed in this Journal Club. We present a numerical framework for approximating unknown governing equations using observation data and deep neural networks (DNN). In particular, we propose to use residual network (ResNet) as the basic building block for equation approximation. We demonstrate that the ResNet block can be considered as a one-step method that is exact in temporal integration. We then present two multi-step methods, recurrent ResNet (RT-ResNet) method and recursive ReNet (RS-ResNet) method. The RT-ResNet is a multi-step method on uniform time steps, whereas the RS-ResNet is an adaptive multi-step method using variable time steps. All three methods presented here are based on integral form of the underlying dynamical system. As a result, they do not require time derivative data for equation recovery and can cope with relatively coarsely distributed trajectory data. Several numerical examples are presented to demonstrate the performance of the methods. If you want to participate in the seminar, you need to enter IBS builiding (https://www.ibs.re.kr/bimag/visiting/). Please contact if you first come IBS to get permission to enter IBS building.
Room B332, IBS (기초과학연구원)
Discrete Mathematics
Yongho Shin (Yonsei University)
Three-way online correlated selection
Room B332, IBS (기초과학연구원)
Discrete Mathematics
Two-way online correlated selection (two-way OCS) is an online algorithm that, at each timestep, takes a pair of elements from the ground set and irrevocably chooses one of the two elements, while ensuring negative correlation in the algorithm's choices. OCS was initially invented by Fahrbach, Huang, Tao, and Zadimoghaddam (FOCS 2020, JACM 2022) to break a natural long-standing barrier in edge-weighted online bipartite matching. They posed two open questions, one of which was the following: Can we obtain n-way OCS for $n >2$, in which the algorithm can be given $n >2$ elements to choose from at each timestep?
In this talk, we affirmatively answer this open question by presenting a three-way OCS which is simple to describe: it internally runs two instances of two-way OCS, one of which is fed with the output of the other. Contrast to its simple construction, we face a new challenge in analysis that the final output probability distribution of our three-way OCS is highly elusive since it requires the actual output distribution of two-way OCS. We show how we tackle this challenge by approximating the output distribution of two-way OCS by a flatter distribution serving as a safe surrogate.
This is joint work with Hyung-Chan An.
Room B232, IBS (기초과학연구원)
IBS-KAIST Seminar
Kévin SPINICCI (IBS 의생명수학그룹)
[Journal Club] PenDA, a rank-based method for personalized differential analysis: Application to lung cancer
Room B232, IBS (기초과학연구원)
IBS-KAIST Seminar
"PenDA, a rank-based method for personalized differential analysis: Application to lung cancer", Plos Comp. Biol. (2020) will be discussed in this Journal Club. The hopes of precision medicine rely on our capacity to measure various high-throughput genomic information of a patient and to integrate them for personalized diagnosis and adapted treatment. Reaching these ambitious objectives will require the development of efficient tools for the detection of molecular defects at the individual level. Here, we propose a novel method, PenDA, to perform Personalized Differential Analysis at the scale of a single sample. PenDA is based on the local ordering of gene expressions within individual cases and infers the deregulation status of genes in a sample of interest compared to a reference dataset. Based on realistic simulations of RNA-seq data of tumors, we showed that PenDA outcompetes existing approaches with very high specificity and sensitivity and is robust to normalization effects. Applying the method to lung cancer cohorts, we observed that deregulated genes in tumors exhibit a cancer-type-specific commitment towards up- or down-regulation. Based on the individual information of deregulation given by PenDA, we were able to define two new molecular histologies for lung adenocarcinoma cancers strongly correlated to survival. In particular, we identified 37 biomarkers whose up-regulation lead to bad prognosis and that we validated on two independent cohorts. PenDA provides a robust, generic tool to extract personalized deregulation patterns that can then be used for the discovery of therapeutic targets and for personalized diagnosis. An open-access, user-friendly R package is available at https://github.com/bcm-uga/penda.
If you want to participate in the seminar, you need to enter IBS builiding (https://www.ibs.re.kr/bimag/visiting/). Please contact if you first come IBS to get permission to enter IBS building.
Room B332, IBS (기초과학연구원)
Discrete Mathematics
Vadim Lozin (University of Warwick)
Graph problems and monotone classes
Room B332, IBS (기초과학연구원)
Discrete Mathematics
Very little is known about critical properties of graphs in the hierarchy of monotone classes, i.e. classes closed under taking (not necessarily induced) subgraphs. We distinguish four important levels in this hierarchy and discuss possible new levels by focusing on the Hamiltonian cycle problem. In particular, we obtain a number of results for this problem on monotone classes.
Room B232, IBS (기초과학연구원)
IBS-KAIST Seminar
황규영 (IBS 의생명수학그룹)
[Journal Club] Optimal-Transport Analysis of Single-Cell Gene Expression Identifies Developmental Trajectories in Reprogramming
Room B232, IBS (기초과학연구원)
IBS-KAIST Seminar
"Optimal-Transport Analysis of Single-Cell Gene Expression Identifies Developmental Trajectories in Reprogramming", Cell (2019) will be discussed in this Journal Club. Understanding the molecular programs that guide differentiation during development is a major challenge. Here, we introduce Waddington-OT, an approach for studying developmental time courses to infer ancestor-descendant fates and model the regulatory programs that underlie them. We apply the method to reconstruct the landscape of reprogramming from 315,000 single-cell RNA sequencing (scRNA-seq) profiles, collected at half-day intervals across 18 days. The results reveal a wider range of developmental programs than previously characterized. Cells gradually adopt either a terminal stromal state or a mesenchymal-to-epithelial transition state. The latter gives rise to populations related to pluripotent, extra-embryonic, and neural cells, with each harboring multiple finer subpopulations. The analysis predicts transcription factors and paracrine signals that affect fates and experiments validate that the TF Obox6 and the cytokine GDF9 enhance reprogramming efficiency. Our approach sheds light on the process and outcome of reprogramming and provides a framework applicable to diverse temporal processes in biology. If you want to participate in the seminar, you need to enter IBS builiding (https://www.ibs.re.kr/bimag/visiting/). Please contact if you first come IBS to get permission to enter IBS building.
Room B332, IBS (기초과학연구원)
Discrete Mathematics
Niloufar Fuladi (Inria center of Université de Lorraine)
Cross-cap drawings and signed reversal distance
Room B332, IBS (기초과학연구원)
Discrete Mathematics
A cross-cap drawing of a graph G is a drawing on the sphere with g distinct points, called cross-caps, such that the drawing is an embedding except at the cross-caps, where edges cross properly. A cross-cap drawing of a graph G with g cross-caps can be used to represent an embedding of G on a non-orientable surface of genus g. Mohar conjectured that any triangulation of a non-orientable surface of genus g admits a cross-cap drawing with g cross-caps in which each edge of the triangulation enters each cross-cap at most once. Motivated by Mohar’s conjecture, Schaefer and Stefankovic provided an algorithm that computes a cross-cap drawing with a minimal number of cross-caps for a graph G such that each edge of the graph enters each cross-cap at most twice. In this talk, I will first outline a connection between cross-cap drawings and an algorithm coming from computational biology to compute the signed reversal distance between two permutations. This connection will then be leveraged to answer two computational problems on graphs embedded on surfaces.
First, I show how to compute a “short” canonical decomposition for a non-orientable surface with a graph embedded on it. Such canonical decompositions were known for orientable surfaces, but the techniques used to compute them do not generalize to non-orientable surfaces due to their more complex nature. Second, I explain how to build a counter example to a stronger version of Mohar’s conjecture that is stated for pseudo-triangulations.
This is joint work with Alfredo Hubard and Arnaud de Mesmay.
Room B332, IBS (기초과학연구원)
Discrete Mathematics
Tony Huynh (Sapienza Università di Roma)
Aharoni’s rainbow cycle conjecture holds up to an additive constant
Room B332, IBS (기초과학연구원)
Discrete Mathematics
In 2017, Aharoni proposed the following generalization of the Caccetta-Häggkvist conjecture for digraphs. If G is a simple n-vertex edge-colored graph with n color classes of size at least r, then G contains a rainbow cycle of length at most ⌈n/r⌉.
In this talk, we prove that Aharoni’s conjecture holds up to an additive constant. Specifically, we show that for each fixed r, there exists a constant c such that if G is a simple n-vertex edge-colored graph with n color classes of size at least r, then G contains a rainbow cycle of length at most n/r+c.
This is joint work with Patrick Hompe.