We will discuss hormone circuits and their dynamics using new models that take into account timescales of weeks due to growth of the hormone glands. This explains some mysteries in diabetes and autoimmune disease.

---

This talk will be presented online. ZOOM ID: 997 8258 4700 (Biomedical Mathematics Online Colloquium), (pw: 1234)

We investigate in depth the behaviour of Monge-Ampère volumes of quasi-psh functions on a given compact hermitian manifold. We prove that the property for these Monge-Ampère volumes to stay bounded away from zero or infinity is a bimeromorphic invariant. We show in particular that a conjecture of Demailly-Paun holds true if and only if such Monge-Ampère volumes stay bounded away from infinity. This is a joint work with Vincent Guedj.

---

https://us06web.zoom.us/j/83876347559?pwd=SVZoUzZkUkMyZno0Vk1pS0pkTEdZQT09 ID: 838 7634 7559 PW: 8XahHQ

Suppose that $E$ is a subset of $\mathbb{F}_q^n$, so that each point is contained in $E$ with probability $\theta$, independently of all other points. Then, what is the probability that there is an $m$-dimensional affine subspace that contains at least $\ell$ points of $E$? What is the probability that $E$ intersects all $m$-dimensional affine subspaces? We give Erdős-Renyi threshold functions for these properties, in some cases sharp thresholds. Our results improve previous work of Chen and Greenhill. This is joint work with Jeong Han Kim, Thang Pham, and Semin Yoo.

I will give an introduction to topological data analysis (TDA), in which one uses ideas from algebraic topology to study the “shape” of data. I will focus on persistent homology (PH), which is the most common approach in TDA.

---

This talk will be presented online. ZOOM ID: 997 8258 4700 (Biomedical Mathematics Online Colloquium), (pw: 1234)

From the venation patterns of leaves to spider webs, roads in cities, social networks, and the spread of COVID-19 infections and vaccinations, the structure of many systems is influenced significantly by space. In this talk, I will discuss the application of topological data analysis (specifically, persistent homology) to spatial systems. I will present a few examples, such as voting in presidential elections, city street networks, spatiotemporal dynamics of COVID-19 infections and vaccinations, and webs that were spun by spiders under the influence of various drugs.

---

This talk will be presented online. ZOOM ID: 997 8258 4700 (Biomedical Mathematics Online Colloquium), (pw: 1234)

The Ramsey number $R(F,H)$ is the minimum number $N$ such that any $N$-vertex graph either contains a copy of $F$ or its complement contains $H$. Burr in 1981 proved a pleasingly general result that for any graph $H$, provided $n$ is sufficiently large, a natural lower bound construction gives the correct Ramsey number involving cycles: $R(C_n,H)=(n-1)(\chi(H)-1)+\sigma(H)$, where $\sigma(H)$ is the minimum possible size of a colour class in a $\chi(H)$-colouring of $H$. Allen, Brightwell and Skokan conjectured that the same should be true already when $n\geq |H|\chi(H)$. We improve this 40-year-old result of Burr by giving quantitative bounds of the form $n\geq C|H|\log^4\chi(H)$, which is optimal up to the logarithmic factor. In particular, this proves a strengthening of the Allen-Brightwell-Skokan conjecture for all graphs $H$ with large chromatic number. This is joint work with John Haslegrave, Joseph Hyde and Hong Liu

It is known that the rank- and tree-width of the random graph G(n,p) undergo a phase transition at p=1/n; whilst for subcritical p, the rank- and tree-width are bounded above by a constant, for supercritical p, both parameters are linear in n. The known proofs of these results use as a black box an important theorem of Benjamini, Kozma, and Wormald on the expansion of supercritical random graphs. We give a new, short, and direct proof of these results, leading to more explicit bounds on these parameters, and also consider the rank- and tree-width of supercritical random graphs closer to the critical point, showing that this phase transition is smooth. This is joint work with Joshua Erde and Mihyun Kang.

This talk follows on from the recent talk of Pascal Gollin in this seminar series, but will aim to be accessible for newcomers. Erdős and Pósa proved in 1965 that there is a duality between the maximum size of a packing of cycles and the minimum size of a vertex set hitting all cycles. By relaxing `packing’ to `half-integral packing’, Reed obtained an analogous result for odd cycles, and gave a structural characterisation of when the (integral) packing version fails. We prove some far-reaching generalisations of these theorems. First, we show that if the edges of a graph are labelled by finitely many abelian groups, then the cycles whose values avoid a fixed finite set for each abelian group satisfy the half-integral Erdős-Pósa property. Similarly to Reed, we give a structural characterisation for the failure of the integral Erdős-Pósa property in this setting. This allows us to deduce the full Erdős-Pósa property for many natural classes of cycles. We will look at applications of these results to graphs embedded on surfaces, and also discuss some possibilities and obstacles for extending these results. This is joint work with Kevin Hendrey, Ken-ichi Kawarabayashi, O-joung Kwon, Sang-il Oum, and Youngho Yoo.

Cells make fate decisions in response to dynamic environments and multicellular structure emerges from interplays among cells in space and time. The recent single-cell genomics technology provides an unprecedented opportunity to profile cells. However, those measurements are taken as snapshots for groups of individual cells with only static information. Can one infer interactions among cells from such datasets? Is it possible to recover spatial information from non-spatial datasets? How to obtain temporal relationships of cells from the static measurements? In this talk I will present our newly developed computational tools that reconstruct interactions and spatiotemporal relationships for cells using single-cell RNA-seq, ATAC-seq, and spatial transcriptomics datasets. Through applications of those methods to systems in development and regeneration, we show the discovery power of such methods and identify areas for further development in spatiotemporal reconstruction.

---

This talk will be presented online. ZOOM ID: 997 8258 4700 (Biomedical Mathematics Online Colloquium), (pw: 1234)

I present a version of the Moser-Trudinger inequality in the setting of complex geometry. As a very particular case, the result already gives a new Moser-Trudinger inequality for functions in the Sobolev space W1,2 of a domain in R2. As an application, we deduce a new necessary condition for the complex Monge-Ampere equation for a given measure on a compact Kahler manifold to admit a Holder continuous solution. This is a joint work with Tien-Cuong Dinh and George Marinescu.

Every minor-closed class of matroids of bounded branch-width can be characterized by a minimal list of excluded minors, but unlike graphs, this list could be infinite in general. However, for each fixed finite field $\mathbb F$, the list contains only finitely many $\mathbb F$-representable matroids, due to the well-quasi-ordering of $\mathbb F$-representable matroids of bounded branch-width under taking matroid minors [J. F. Geelen, A. M. H. Gerards, and G. Whittle (2002)]. But this proof is non-constructive and does not provide any algorithm for computing these $\mathbb F$-representable excluded minors in general. We consider the class of matroids of path-width at most $k$ for fixed $k$. We prove that for a finite field $\mathbb F$, every $\mathbb F$-representable excluded minor for the class of matroids of path-width at most~$k$ has at most $2^{|\mathbb{F}|^{O(k^2)}}$ elements. We can therefore compute, for any integer $k$ and a fixed finite field $\mathbb F$, the set of $\mathbb F$-representable excluded minors for the class of matroids of path-width $k$, and this gives as a corollary a polynomial-time algorithm for checking whether the path-width of an $\mathbb F$-represented matroid is at most $k$. We also prove that every excluded pivot-minor for the class of graphs having linear rank-width at most $k$ has at most $2^{2^{O(k^2)}}$ vertices, which also results in a similar algorithmic consequence for linear rank-width of graphs. This is joint work with Mamadou M. Kanté, Eun Jung Kim, and O-joung Kwon.

Tutte (1961) proved that every simple $3$-connected graph $G$ has an edge $e$ such that $G \setminus e$ or $G / e$ is simple $3$-connected, unless $G$ is isomorphic to a wheel. We call such an edge non-essential. Oxley and Wu (2000) proved that every simple $3$-connected graph has at least $2$ non-essential edges unless it is isomorphic to a wheel. Moreover, they proved that every simple $3$-connected graph has at least $3$ non-essential edges if and only if it is isomorphic to neither a twisted wheel nor a $k$-dimensional wheel with $k\geq2$. We prove analogous results for graphs with vertex-minors. For a vertex $v$ of a graph $G$, let $G*v$ be the graph obtained from $G$ by deleting all edges joining two neighbors of $v$ and adding edges joining non-adjacent pairs of two neighbors of $v$. This operation is called the local complementation at $v$, and we say two graphs are locally equivalent if one can be obtained from the other by applying a sequence of local complementations. A graph $H$ is a vertex-minor of a graph $G$ if $H$ is an induced subgraph of a graph locally equivalent to $G$. A split of a graph is a partition $(A,B)$ of its vertex set such that $|A|,|B| \geq 2$ and for some $A'\subseteq A$ and $B'\subseteq B$, two vertices $x\in A$ and $y\in B$ are adjacent if and only if $x\in A'$ and $y\in B’$. A graph is prime if it has no split. A vertex $v$ of a graph is non-essential if at least two of three kinds of vertex-minor reductions at $v$ result in prime graphs. We prove that every prime graph with at least $5$ vertices has at least two non-essential vertices unless it is locally equivalent to a cycle. It is stronger than a theorem proved by Allys (1994), which states that every prime graph with at least $5$ vertices has a non-essential vertex unless it is locally equivalent to a cycle. As a corollary of our result, one can obtain the first result of Oxley and Wu. Furthermore, we show that every prime graph with at least $5$ vertices has at least $3$ non-essential vertices if and only if it is not locally equivalent to a graph with two specified vertices $x$ and $y$ consisting of at least two internally-disjoint paths from $x$ to $y$ in which $x$ and $y$ have no common neighbor. This is joint work with Sang-il Oum.

An independent dominating set of a graph, also known as a maximal independent set, is a set $S$ of pairwise non-adjacent vertices such that every vertex not in $S$ is adjacent to some vertex in $S$. We prove that for $\Delta=4$ or $\Delta\ge 6$, every connected $n$-vertex graph of maximum degree at most $\Delta$ has an independent dominating set of size at most $(1-\frac{\Delta}{ \lfloor\Delta^2/4\rfloor+\Delta })(n-1)+1$. In addition, we characterize all connected graphs having the equality and we show that other connected graphs have an independent dominating set of size at most $(1-\frac{\Delta}{ \lfloor\Delta^2/4\rfloor+\Delta })n$. This is joint work with Eun-Kyung Cho, Minki Kim, and Sang-il Oum.

Erdős and Pósa proved in 1965 that there is a duality between the maximum size of a packing of cycles and the minimum size of a vertex set hitting all cycles. We therefore say that cycles satisfy the Erdős-Pósa property. However, while odd cycles do not satisfy the Erdős-Pósa property, Reed proved in 1999 an analogue by relaxing packing to half-integral packing, where each vertex is allowed to be contained in at most two such cycles. Moreover, he gave a structural characterisation for when the Erdős-Pósa property for odd cycles fails. We prove a far-reaching generalisation of the theorem of Reed; if the edges of a graph are labelled by finitely many abelian groups, then the cycles whose values avoid a fixed finite set for each abelian group satisfy the half-integral Erdős-Pósa property, and we similarly give a structural characterisation for the failure of the Erdős-Pósa property. A multitude of natural properties of cycles can be encoded in this setting. For example, we show that the cycles of length $\ell$ modulo $m$ satisfy the half-integral Erdős-Pósa property, and we characterise for which values of $\ell$ and $m$ these cycles satisfy the Erdős-Pósa property. This is joint work with Kevin Hendrey, Ken-ichi Kawarabayashi, O-joung Kwon, Sang-il Oum, and Youngho Yoo.