BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Discrete Mathematics Group - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Discrete Mathematics Group
X-ORIGINAL-URL:https://dimag.ibs.re.kr
X-WR-CALDESC:Events for Discrete Mathematics Group
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Asia/Seoul
BEGIN:STANDARD
TZOFFSETFROM:+0900
TZOFFSETTO:+0900
TZNAME:KST
DTSTART:20220101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240705T163000
DTEND;TZID=Asia/Seoul:20240705T173000
DTSTAMP:20260416T025213
CREATED:20240613T134309Z
LAST-MODIFIED:20240705T152046Z
UID:8763-1720197000-1720200600@dimag.ibs.re.kr
SUMMARY:Hyunwoo Lee (이현우)\, Random matchings in linear hypergraphs
DESCRIPTION:For a given hypergraph $H$ and a vertex $v\in V(H)$\, consider a random matching $M$ chosen uniformly from the set of all matchings in $H.$ In $1995\,$ Kahn conjectured that if $H$ is a $d$-regular linear $k$-uniform hypergraph\, the probability that $M$ does not cover $v$ is $(1 + o_d(1))d^{-1/k}$ for all vertices $v\in V(H)$. This conjecture was proved for $k = 2$ by Kahn and Kim in 1998. In this paper\, we disprove this conjecture for all $k \geq 3.$ For infinitely many values of $d\,$ we construct $d$-regular linear $k$-uniform hypergraph $H$ containing two vertices $v_1$ and $v_2$ such that $\mathcal{P}(v_1 \notin M) = 1 – \frac{(1 + o_d(1))}{d^{k-2}}$ and $\mathcal{P}(v_2 \notin M) = \frac{(1 + o_d(1))}{d+1}.$ The gap between $\mathcal{P}(v_1 \notin M)$ and $\mathcal{P}(v_2 \notin M)$ in this $H$ is best possible. In the course of proving this\, we also prove a hypergraph analog of Godsil’s result on matching polynomials and paths in graphs\, which is of independent interest.
URL:https://dimag.ibs.re.kr/event/2024-07-05/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240702T163000
DTEND;TZID=Asia/Seoul:20240702T173000
DTSTAMP:20260416T025213
CREATED:20240403T041848Z
LAST-MODIFIED:20240705T153033Z
UID:8483-1719937800-1719941400@dimag.ibs.re.kr
SUMMARY:Kisun Lee (이기선)\, Symmetric Tropical Rank 2 Matrices
DESCRIPTION:Tropical geometry replaces usual addition and multiplication with tropical addition (the min) and tropical multiplication (the sum)\, which offers a polyhedral interpretation of algebraic variety. This talk aims to pitch the usefulness of tropical geometry in understanding classical algebraic geometry. As an example\, we introduce the tropicalization of the variety of symmetric rank 2 matrices. We discuss that this tropicalization has a simplicial complex structure as the space of symmetric bicolored trees. As a result\, we show that this space is shellable and delve into its matroidal structure. It is based on the joint work with May Cai and Josephine Yu.
URL:https://dimag.ibs.re.kr/event/2024-07-02/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240628T163000
DTEND;TZID=Asia/Seoul:20240628T173000
DTSTAMP:20260416T025213
CREATED:20240620T045259Z
LAST-MODIFIED:20240705T151013Z
UID:8775-1719592200-1719595800@dimag.ibs.re.kr
SUMMARY:Wonwoo Kang (강원우)\, Skein relations for punctured surfaces
DESCRIPTION: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.
URL:https://dimag.ibs.re.kr/event/2024-06-28/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240618T163000
DTEND;TZID=Asia/Seoul:20240618T173000
DTSTAMP:20260416T025213
CREATED:20240330T144427Z
LAST-MODIFIED:20240707T071910Z
UID:8450-1718728200-1718731800@dimag.ibs.re.kr
SUMMARY:Semin Yoo (유세민)\, Paley-like quasi-random graphs arising from polynomials
DESCRIPTION: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. \nThis is joint work with Seoyoung Kim and Chi Hoi Yip.
URL:https://dimag.ibs.re.kr/event/2024-06-18/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240611T163000
DTEND;TZID=Asia/Seoul:20240611T173000
DTSTAMP:20260416T025213
CREATED:20240220T031718Z
LAST-MODIFIED:20240705T154023Z
UID:8279-1718123400-1718127000@dimag.ibs.re.kr
SUMMARY:Maria Chudnovsky\, Anticomplete subgraphs of large treewidth
DESCRIPTION: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.
URL:https://dimag.ibs.re.kr/event/2024-06-11/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240604T163000
DTEND;TZID=Asia/Seoul:20240604T173000
DTSTAMP:20260416T025213
CREATED:20240327T044132Z
LAST-MODIFIED:20240707T071933Z
UID:8429-1717518600-1717522200@dimag.ibs.re.kr
SUMMARY:Jane Tan\, Semi-strong colourings of hypergraphs
DESCRIPTION: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.
URL:https://dimag.ibs.re.kr/event/2024-06-04/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240528T163000
DTEND;TZID=Asia/Seoul:20240528T173000
DTSTAMP:20260416T025213
CREATED:20240418T043152Z
LAST-MODIFIED:20240705T153011Z
UID:8542-1716913800-1716917400@dimag.ibs.re.kr
SUMMARY:Yongho Shin (신용호)\, Three-way online correlated selection
DESCRIPTION: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? \nIn 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. \nThis is joint work with Hyung-Chan An.
URL:https://dimag.ibs.re.kr/event/2024-05-28/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240521T163000
DTEND;TZID=Asia/Seoul:20240521T173000
DTSTAMP:20260416T025213
CREATED:20231128T002423Z
LAST-MODIFIED:20240705T155114Z
UID:7965-1716309000-1716312600@dimag.ibs.re.kr
SUMMARY:Vadim Lozin\, Graph problems and monotone classes
DESCRIPTION: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.
URL:https://dimag.ibs.re.kr/event/2024-05-21/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240514T163000
DTEND;TZID=Asia/Seoul:20240514T173000
DTSTAMP:20260416T025213
CREATED:20240329T053414Z
LAST-MODIFIED:20240705T153041Z
UID:8445-1715704200-1715707800@dimag.ibs.re.kr
SUMMARY:Niloufar Fuladi\, Cross-cap drawings and signed reversal distance
DESCRIPTION: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. \nFirst\, 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. \nThis is joint work with Alfredo Hubard and Arnaud de Mesmay.
URL:https://dimag.ibs.re.kr/event/2024-05-14/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240507T163000
DTEND;TZID=Asia/Seoul:20240507T173000
DTSTAMP:20260416T025213
CREATED:20240327T080653Z
LAST-MODIFIED:20240705T153041Z
UID:8434-1715099400-1715103000@dimag.ibs.re.kr
SUMMARY:Tony Huynh\, Aharoni's rainbow cycle conjecture holds up to an additive constant
DESCRIPTION: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⌉. \nIn 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. \nThis is joint work with Patrick Hompe.
URL:https://dimag.ibs.re.kr/event/2024-05-07/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240430T163000
DTEND;TZID=Asia/Seoul:20240430T173000
DTSTAMP:20260416T025213
CREATED:20240215T002334Z
LAST-MODIFIED:20240707T072159Z
UID:8252-1714494600-1714498200@dimag.ibs.re.kr
SUMMARY:Maximilian Gorsky\, Towards the half-integral Erdős-Pósa property for even dicycles
DESCRIPTION:A family $\mathcal F$ of (di)graphs is said to have the half- or quarter-integral Erdős-Pósa property if\, for any integer $k$ and any (di)graph $G$\, there either exist $k$ copies of graphs in $\mathcal F$ within $G$ such that any vertex of $G$ is contained in at most 2\, respectively at most 4\, of these copies\, or there exists a vertex set $A$ of size at most $f(k)$ such that $G – A$ contains no copies of graphs in $\mathcal F$. Very recently we showed that even dicycles have the quarter-integral Erdős-Pósa property [STOC’24] via the proof of a structure theorem for digraphs without large packings of even dicycles. \nIn this talk we discuss our current effort to improve this approach towards the half-integral Erdős-Pósa property\, which would be best possible\, as even dicycles do not have the integral Erdős-Pósa property. Complementing the talk given by Sebastian Wiederrecht in this seminar regarding our initial result\, we also shine a light on some of the particulars of the embedding we use in lieu of flatness and how this helps us to move even dicycles through the digraph. In the process of this\, we highlight the parts of the proof that initially caused the result to be quarter-integral. \n(This is joint work with Ken-ichi Kawarabayashi\, Stephan Kreutzer\, and Sebastian Wiederrecht.)
URL:https://dimag.ibs.re.kr/event/2024-04-30/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240423T163000
DTEND;TZID=Asia/Seoul:20240423T173000
DTSTAMP:20260416T025213
CREATED:20240325T144336Z
LAST-MODIFIED:20240705T153042Z
UID:8410-1713889800-1713893400@dimag.ibs.re.kr
SUMMARY:Víctor Dalmau\, Right-adjoints of Datalog Programs
DESCRIPTION:We say that two functors Λ and Γ between thin categories of relational structures are adjoint if for all structures A and B\, we have that Λ(A) maps homomorphically to B if and only if A maps homomorphically to Γ(B). If this is the case Λ is called the left adjoint to Γ and Γ the right adjoint to Λ. In 2015\, Foniok and Tardif described some functors on the category of digraphs that allow both left and right adjoints. The main contribution of Foniok and Tardif is a construction of right adjoints to some of the functors identified as right adjoints by Pultr in 1970. We shall present several recent advances in this direction including a new approach based on the notion of Datalog Program borrowed from logic.
URL:https://dimag.ibs.re.kr/event/2024-04-23/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240416T163000
DTEND;TZID=Asia/Seoul:20240416T173000
DTSTAMP:20260416T025213
CREATED:20240108T120038Z
LAST-MODIFIED:20240707T072207Z
UID:8112-1713285000-1713288600@dimag.ibs.re.kr
SUMMARY:Magnus Wahlström\, Algorithmic aspects of linear delta-matroids
DESCRIPTION:Delta-matroids are a generalization of matroids with connections to many parts of graph theory and combinatorics (such as matching theory and the structure of topological graph embeddings). Formally\, a delta-matroid is a pair $D=(V\,\mathcal F)$ where $\mathcal F$ is a collection of subsets of V known as “feasible sets.” (They can be thought of as generalizing the set of bases of a matroid\, while relaxing the condition that all bases must have the same cardinality.) \nLike with matroids\, an important class of delta-matroids are linear delta-matroids\, where the feasible sets are represented via a skew-symmetric matrix. Prominent examples of linear delta-matroids include linear matroids and matching delta-matroids (where the latter are represented via the famous Tutte matrix). \nHowever\, the study of algorithms over delta-matroids seems to have been much less developed than over matroids. \nIn this talk\, we review recent results on representations of and algorithms over linear delta-matroids. We first focus on classical polynomial-time aspects. We present a new (equivalent) representation of linear delta-matroids that is more suitable for algorithmic purposes\, and we show that so-called delta-sums and unions of linear delta-matroids are linear. As a result\, we get faster (randomized) algorithms for Linear Delta-matroid Parity and Linear Delta-matroid Intersection\, improving results from Geelen et al. (2004). \nWe then move on to parameterized complexity aspects of linear delta-matroids. We find that many results regarding linear matroids which have had applications in FPT algorithms and kernelization directly generalize to linear delta-matroids of bounded rank. On the other hand\, unlike with matroids\, there is a significant difference between the “rank” and “cardinality” parameters – the structure of bounded-cardinality feasible sets in a delta-matroid of unbounded rank is significantly harder to deal with than feasible sets in a bounded-rank delta-matroid.
URL:https://dimag.ibs.re.kr/event/2024-04-16/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240409T163000
DTEND;TZID=Asia/Seoul:20240409T173000
DTSTAMP:20260416T025213
CREATED:20240326T004410Z
LAST-MODIFIED:20240707T072218Z
UID:8416-1712680200-1712683800@dimag.ibs.re.kr
SUMMARY:Eero Räty\, Positive discrepancy\, MaxCut and eigenvalues of graphs
DESCRIPTION:The positive discrepancy of a graph $G$ of edge density $p$ is defined as the maximum of $e(U) – p|U|(|U|-1)/2$\, where the maximum is taken over subsets of vertices in G. In 1993 Alon proved that if G is a $d$-regular graph on $n$ vertices and $d = O(n^{1/9})$\, then the positive discrepancy of $G$ is at least $c d^{1/2}n$ for some constant $c$. \nWe extend this result by proving lower bounds for the positive discrepancy with average degree d when $d < (1/2 – \epsilon)n$. We prove that the same lower bound remains true when $d < n^(2/3)$\, while in the ranges $n^{2/3} < d < n^{4/5}$ and $n^{4/5} < d < (1/2 – \epsilon)n$ we prove that the positive discrepancy is at least $n^2/d$ and $d^{1/4}n/log(n)$ respectively. \nOur proofs are based on semidefinite programming and linear algebraic techniques. Our results are tight when $d < n^{3/4}$\, thus demonstrating a change in the behaviour around $d = n^{2/3}$ when a random graph no longer minimises the positive discrepancy. As a by-product\, we also present lower bounds for the second largest eigenvalue of a $d$-regular graph when $d < (1/2 – \epsilon)n$\, thus extending the celebrated Alon-Boppana theorem. \nThis is joint work with Benjamin Sudakov and István Tomon.
URL:https://dimag.ibs.re.kr/event/2024-04-09/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240402T163000
DTEND;TZID=Asia/Seoul:20240402T173000
DTSTAMP:20260416T025213
CREATED:20240108T054534Z
LAST-MODIFIED:20240707T072458Z
UID:8109-1712075400-1712079000@dimag.ibs.re.kr
SUMMARY:Casey Tompkins\, On graphs without cycles of length 0 modulo 4
DESCRIPTION:Bollobás proved that for every $k$ and $\ell$ such that $k\mathbb{Z}+\ell$ contains an even number\, an $n$-vertex graph containing no cycle of length $\ell \bmod k$ can contain at most a linear number of edges. The precise (or asymptotic) value of the maximum number of edges in such a graph is known for very few pairs $\ell$ and $k$. We precisely determine the maximum number of edges in a graph containing no cycle of length $0 \bmod 4$.\nThis is joint work with Ervin Győri\, Binlong Li\, Nika Salia\, Kitti Varga and Manran Zhu.
URL:https://dimag.ibs.re.kr/event/2024-04-02/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240326T163000
DTEND;TZID=Asia/Seoul:20240326T173000
DTSTAMP:20260416T025213
CREATED:20240115T052614Z
LAST-MODIFIED:20240707T072512Z
UID:8129-1711470600-1711474200@dimag.ibs.re.kr
SUMMARY:Evangelos Protopapas\, Erdős-Pósa Dualities for Minors
DESCRIPTION:Let $\mathcal{G}$ and $\mathcal{H}$ be minor-closed graphs classes. The class $\mathcal{H}$ has the Erdős-Pósa property in $\mathcal{G}$ if there is a function $f : \mathbb{N} \to \mathbb{N}$ such that every graph $G$ in $\mathcal{G}$ either contains (a packing of) $k$ disjoint copies of some subgraph minimal graph $H \not\in \mathcal{H}$ or contains (a covering of) $f(k)$ vertices\, whose removal creates a graph in $\mathcal{H}$. A class $\mathcal{G}$ is a minimal EP-counterexample for $\mathcal{H}$ if $\mathcal{H}$ does not have the Erdős-Pósa property in $\mathcal{G}$\, however it does have this property for every minor-closed graph class that is properly contained in $\mathcal{G}$. The set $\frak{C}_{\mathcal{H}}$ of the subset-minimal EP-counterexamples\, for every $\mathcal{H}$\, can be seen as a way to consider all possible Erdős-Pósa dualities that can be proven for minor-closed classes. We prove that\, for every $\mathcal{H}$\, $\frak{C}_{\mathcal{H}}$ is finite and we give a complete characterization of it. In particular\, we prove that $|\frak{C}_{\mathcal{H}}| = 2^{\operatorname{poly}(\ell(h))}$\, where $h$ is the maximum size of a minor-obstruction of $\mathcal{H}$ and $\ell(\cdot)$ is the unique linkage function. As a corollary of this\, we obtain a constructive proof of Thomas’ conjecture claiming that every minor-closed graph class has the half-integral Erdős-Pósa property in all graphs. \nThis is joint work with Christophe Paul\, Dimitrios Thilikos\, and Sebastian Wiederrecht.
URL:https://dimag.ibs.re.kr/event/2024-03-26/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240312T163000
DTEND;TZID=Asia/Seoul:20240312T173000
DTSTAMP:20260416T025213
CREATED:20240215T014045Z
LAST-MODIFIED:20240707T072526Z
UID:8255-1710261000-1710264600@dimag.ibs.re.kr
SUMMARY:Linda Cook\, On polynomial degree-boundedness
DESCRIPTION:We prove a conjecture of Bonamy\, Bousquet\, Pilipczuk\, Rzążewski\, Thomassé\, and Walczak\, that for every graph $H$\, there is a polynomial $p$ such that for every positive integer $s$\, every graph of average degree at least $p(s)$ contains either $K_{s\,s}$ as a subgraph or contains an induced subdivision of $H$. This improves upon a result of Kühn and Osthus from 2004 who proved it for graphs whose average degree is at least triply exponential in $s$ and a recent result of Du\, Girão\, Hunter\, McCarty and Scott for graphs with average degree at least singly exponential in $s$. \nAs an application\, we prove that the class of graphs that do not contain an induced subdivision of $K_{s\,t}$ is polynomially $\chi$-bounded. In the case of $K_{2\,3}$\, this is the class of theta-free graphs\, and answers a question of Davies. Along the way\, we also answer a recent question of McCarty\, by showing that if $\mathcal{G}$ is a hereditary class of graphs for which there is a polynomial $p$ such that every bipartite $K_{s\,s}$-free graph in $\mathcal{G}$ has average degree at most $p(s)$\, then more generally\, there is a polynomial $p’$ such that every $K_{s\,s}$-free graph in $\mathcal{G}$ has average degree at most $p'(s)$. Our main new tool is an induced variant of the Kővári-Sós-Turán theorem\, which we find to be of independent interest. \nThis is joint work with Romain Bourneuf (ENS de Lyon)\, Matija Bucić (Princeton)\, and James Davies (Cambridge)\,
URL:https://dimag.ibs.re.kr/event/2024-03-12/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240306T160000
DTEND;TZID=Asia/Seoul:20240306T170000
DTSTAMP:20260416T025213
CREATED:20240205T021454Z
LAST-MODIFIED:20240705T154116Z
UID:8223-1709740800-1709744400@dimag.ibs.re.kr
SUMMARY:William Cook\, The Traveling Salesman Problem: Amazon Deliveries\, Pub Walks\, and Astro Tours
DESCRIPTION:Amazon drivers hit the road every day\, each taking a Prime van in a traveling salesman problem tour through 150 or more customer stops. But even a whisper of the TSP strikes fear in the heart of the computing world. A Washington Post article reported it would take “1\,000 years to compute the most efficient route between 22 cities.” Claims such as this\, however\, ignore 70 years of intense study. A 22-city TSP can be handled in a snap with modern methods\, even on an iPhone. And\, coming to the aid of Amazon drivers\, we describe techniques used to win the $100\,000 top prize in the Amazon Last Mile Routing Challenge\, together with Stephan Held and Keld Helsgaun. \nGoing larger\, we discuss methods used to find to precise optimality the shortest walking tour to 49\,687 pubs in the UK. Even larger\, if you want to visit 136\,606\,128 stars\, there is a 3D route\, ready to go\, that is guaranteed to be no more than 1.00018 times longer that a shortest-possible tour. \nThe general setting is the following. Complexity theory suggests there are limits to the power of general-purpose computational techniques\, in engineering\, science and elsewhere. But what are these limits and how widely do they constrain our quest for knowledge? The TSP can play a crucial role in this discussion\, demonstrating whether or not focused efforts on a single\, possibly unsolvable\, model will produce results beyond our expectations.
URL:https://dimag.ibs.re.kr/event/2024-03-06/
LOCATION:Room 1501\, Bldg. E2-2\, KAIST
CATEGORIES:Colloquium
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240227T163000
DTEND;TZID=Asia/Seoul:20240227T173000
DTSTAMP:20260416T025213
CREATED:20231225T014547Z
LAST-MODIFIED:20240705T154141Z
UID:8054-1709051400-1709055000@dimag.ibs.re.kr
SUMMARY:Jie Han (韩杰)\, Perfect matchings in dense uniform hypergraphs
DESCRIPTION:There has been a raising interest on the study of perfect matchings in uniform hypergraphs in the past two decades\, including extremal problems and their algorithmic versions. I will introduce the problems and some recent developments.
URL:https://dimag.ibs.re.kr/event/2024-02-27/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240214T163000
DTEND;TZID=Asia/Seoul:20240214T173000
DTSTAMP:20260416T025213
CREATED:20240207T080327Z
LAST-MODIFIED:20240707T072533Z
UID:8230-1707928200-1707931800@dimag.ibs.re.kr
SUMMARY:Sebastian Wiederrecht\, Packing even directed circuits quarter-integrally
DESCRIPTION:We prove the existence of a computable function $f\colon\mathbb{N}\to\mathbb{N}$ such that for every integer $k$ and every digraph $D$ either contains a collection $\mathcal{C}$ of $k$ directed cycles of even length such that no vertex of $D$ belongs to more than four cycles in $\mathcal{C}$\, or there exists a set $S\subseteq V(D)$ of size at most $f(k)$ such that $D-S$ has no directed cycle of even length. \nThis is joint work with Maximilian Gorsky\, Ken-ichi Kawarabayashi\, and Stephan Kreutzer.
URL:https://dimag.ibs.re.kr/event/2024-02-14/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240206T163000
DTEND;TZID=Asia/Seoul:20240206T173000
DTSTAMP:20260416T025213
CREATED:20231109T130523Z
LAST-MODIFIED:20240707T072539Z
UID:7892-1707237000-1707240600@dimag.ibs.re.kr
SUMMARY:Ander Lamaison\, Uniform Turán density beyond 3-graphs
DESCRIPTION:The uniform Turán density $\pi_u(F)$ of a hypergraph $F$\, introduced by Erdős and Sós\, is the smallest value of $d$ such that any hypergraph $H$ where all linear-sized subsets of vertices of $H$ have density greater than $d$ contains $F$ as a subgraph. Over the past few years the  value of $\pi_u(F)$ was determined for several classes of 3-graphs\, but no nonzero value of $\pi_u(F)$ has been found for $r$-graphs with $r>3$. In this talk we show the existence of $r$-graphs $F$ with $\pi_u(F)={r \choose 2}^{-{r \choose 2}}$\, which we conjecture is minimum possible. Joint work with Frederik Garbe\, Daniel Il’kovic\, Dan Král’ and Filip Kučerák.
URL:https://dimag.ibs.re.kr/event/2024-02-06/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240123T163000
DTEND;TZID=Asia/Seoul:20240123T173000
DTSTAMP:20260416T025213
CREATED:20231120T123044Z
LAST-MODIFIED:20240707T072547Z
UID:7930-1706027400-1706031000@dimag.ibs.re.kr
SUMMARY:Zichao Dong\, Convex polytopes in non-elongated point sets in $\mathbb{R}^d$
DESCRIPTION:For any finite point set $P \subset \mathbb{R}^d$\, we denote by $\text{diam}(P)$ the ratio of the largest to the smallest distances between pairs of points in $P$. Let $c_{d\, \alpha}(n)$ be the largest integer $c$ such that any $n$-point set $P \subset \mathbb{R}^d$ in general position\, satisfying $\text{diam}(P) < \alpha\sqrt[d]{n}$ (informally speaking\, `non-elongated’)\, contains a convex $c$-polytope. Valtr proved that $c_{2\, \alpha}(n) \approx \sqrt[3]{n}$\, which is asymptotically tight in the plane. We generalize the results by establishing $c_{d\, \alpha}(n) \approx n^{\frac{d-1}{d+1}}$. Along the way we generalize the definitions and analysis of convex cups and caps to higher dimensions\, which may be of independent interest. Joint work with Boris Bukh.
URL:https://dimag.ibs.re.kr/event/2024-01-23/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240116T163000
DTEND;TZID=Asia/Seoul:20240116T173000
DTSTAMP:20260416T025213
CREATED:20231211T010749Z
LAST-MODIFIED:20240705T155059Z
UID:8007-1705422600-1705426200@dimag.ibs.re.kr
SUMMARY:Matthew Kroeker\, Average flat-size in complex-representable matroids
DESCRIPTION:Melchior’s Inequality (1941) implies that\, in a rank-3 real-representable matroid\, the average number of points in a line is less than three. This was extended to the complex-representable matroids by Hirzebruch in 1983 with the slightly weaker bound of four. In this talk\, we discuss and sketch the proof of the recent result that\, in a rank-4 complex-representable matroid which is not the direct-sum of two lines\, the average number of points in a plane is bounded above by an absolute constant. Consequently\, the average number of points in a flat in a rank-4 complex-representable matroid is bounded above by an absolute constant. Extensions of these results to higher dimensions will also be discussed. In particular\, the following quantities are bounded in terms of k and r respectively: the average number of points in a rank-k flat in a complex-representable matroid of rank at least 2k-1\, and the average number of points in a flat in a rank-r complex-representable matroid. Our techniques rely on a theorem of Ben Lund which approximates the number of flats of a given rank. \nThis talk is based on joint work with Rutger Campbell and Jim Geelen.
URL:https://dimag.ibs.re.kr/event/2024-01-16/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240111T163000
DTEND;TZID=Asia/Seoul:20240111T173000
DTSTAMP:20260416T025213
CREATED:20231116T155919Z
LAST-MODIFIED:20240705T155117Z
UID:7919-1704990600-1704994200@dimag.ibs.re.kr
SUMMARY:Jinyoung Park (박진영)\, Dedekind's Problem and beyond
DESCRIPTION:The Dedekind’s Problem asks the number of monotone Boolean functions\, a(n)\, on n variables. Equivalently\, a(n) is the number of antichains in the n-dimensional Boolean lattice $[2]^n$. While the exact formula for the Dedekind number a(n) is still unknown\, its asymptotic formula has been well-studied. Since any subsets of a middle layer of the Boolean lattice is an antichain\, the logarithm of a(n) is trivially bounded below by the size of the middle layer. In the 1960’s\, Kleitman proved that this trivial lower bound is optimal in the logarithmic scale\, and the actual asymptotics was also proved by Korshunov in 1980’s. In this talk\, we will discuss recent developments on some variants of Dedekind’s Problem. Based on joint works with Matthew Jenssen\, Alex Malekshahian\, Michail Sarantis\, and Prasad Tetali.
URL:https://dimag.ibs.re.kr/event/2024-01-11/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20240102T163000
DTEND;TZID=Asia/Seoul:20240102T173000
DTSTAMP:20260416T025213
CREATED:20230828T061831Z
LAST-MODIFIED:20240705T161245Z
UID:7552-1704213000-1704216600@dimag.ibs.re.kr
SUMMARY:Daniel McGinnis\, Applications of the KKM theorem to problems in discrete geometry
DESCRIPTION:We present the KKM theorem and a recent proof method utilizing it that has proven to be very useful for problems in discrete geometry. For example\, the method was used to show that for a planar family of convex sets with the property that every three sets are pierced by a line\, there are three lines whose union intersects each set in the family. This was previously a long-unsolved problem posed by Eckhoff. We go over a couple of examples demonstrating the method and propose a potential future research direction to push the method even further.
URL:https://dimag.ibs.re.kr/event/2024-01-02/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20231219T163000
DTEND;TZID=Asia/Seoul:20231219T173000
DTSTAMP:20260416T025213
CREATED:20231015T221647Z
LAST-MODIFIED:20240707T072612Z
UID:7757-1703003400-1703007000@dimag.ibs.re.kr
SUMMARY:Shengtong Zhang (张盛桐)\, Triangle Ramsey numbers of complete graphs
DESCRIPTION:A graph is $H$-Ramsey if every two-coloring of its edges contains a monochromatic copy of $H$. Define the $F$-Ramsey number of $H$\, denoted by $r_F(H)$\, to be the minimum number of copies of $F$ in a graph which is $H$-Ramsey. This generalizes the Ramsey number and size Ramsey number of a graph. Addressing a question of Spiro\, we prove that \[r_{K_3}(K_t)=\binom{r(K_t)}3\] for all sufficiently large $t$.  Our proof involves a combination of results on the chromatic number of triangle-sparse graphs. \nJoint work with Jacob Fox and Jonathan Tidor.
URL:https://dimag.ibs.re.kr/event/2023-12-19/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20231212T163000
DTEND;TZID=Asia/Seoul:20231212T173000
DTSTAMP:20260416T025213
CREATED:20231019T075456Z
LAST-MODIFIED:20240707T072622Z
UID:7777-1702398600-1702402200@dimag.ibs.re.kr
SUMMARY:Ting-Wei Chao (趙庭偉)\, Tight Bound on Joints Problem and Partial Shadow Problem
DESCRIPTION: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. \nYu 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.
URL:https://dimag.ibs.re.kr/event/2023-12-12/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20231204T163000
DTEND;TZID=Asia/Seoul:20231204T173000
DTSTAMP:20260416T025213
CREATED:20231127T150526Z
LAST-MODIFIED:20240707T072633Z
UID:7951-1701707400-1701711000@dimag.ibs.re.kr
SUMMARY:Ben Lund\, Almost spanning distance trees in subsets of finite vector spaces
DESCRIPTION:For $d\ge 2$ and an odd prime power $q$\, let $\mathbb{F}_q^d$ be the $d$-dimensional vector space over the finite field $\mathbb{F}_q$. The distance between two points $(x_1\,\ldots\,x_d)$ and $(y_1\,\ldots\,y_d)$ is defined to be $\sum_{i=1}^d (x_i-y_i)^2$. An influential result of Iosevich and Rudnev is: if $E \subset \mathbb{F}_q^d$ is sufficiently large and $t \in \mathbb{F}_q$\, then there are a pair of points $x\,y \in E$ such that the distance between $x$ and $y$ is $t$. Subsequent works considered embedding graphs of distances\, rather than a single distance. I will discuss joint work with Debsoumya Chakraborti\, in which we show that every sufficiently large subset of $\mathbb{F}_q^d$ contains every nearly spanning tree of distances with bounded degree in each distance. The main novelty in this result is that the distance graphs we find are nearly as large as the set $S$ itself\, but even for smaller distance trees our work leads to quantitative improvements to previously known bounds. A key ingredient in our proof is a new colorful generalization of a classical result of Haxell on finding nearly spanning bounded-degree trees in expander graphs. This is joint work with Debsoumya Chakraborti.
URL:https://dimag.ibs.re.kr/event/2023-12-04/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20231128T163000
DTEND;TZID=Asia/Seoul:20231128T173000
DTSTAMP:20260416T025213
CREATED:20231031T121453Z
LAST-MODIFIED:20240707T072649Z
UID:7831-1701189000-1701192600@dimag.ibs.re.kr
SUMMARY:Hyunwoo Lee (이현우)\, Towards a high-dimensional Dirac's theorem
DESCRIPTION:Dirac’s theorem determines the sharp minimum degree threshold for graphs to contain perfect matchings and Hamiltonian cycles. There have been various attempts to generalize this theorem to hypergraphs with larger uniformity by considering hypergraph matchings and Hamiltonian cycles. \nWe consider another natural generalization of the perfect matchings\, Steiner triple systems. As a Steiner triple system can be viewed as a partition of pairs of vertices\, it is a natural high-dimensional analogue of a perfect matching in graphs. \nWe prove that for sufficiently large integer $n$ with $n \equiv 1 \text{ or } 3 \pmod{6}\,$ any $n$-vertex $3$-uniform hypergraph $H$ with minimum codegree at least $\left(\frac{3 + \sqrt{57}}{12} + o(1) \right)n = (0.879… + o(1))n$ contains a Steiner triple system. In fact\, we prove a stronger statement by considering transversal Steiner triple systems in a collection of hypergraphs. \nWe conjecture that the number $\frac{3 + \sqrt{57}}{12}$ can be replaced with $\frac{3}{4}$ which would provide an asymptotically tight high-dimensional generalization of Dirac’s theorem.
URL:https://dimag.ibs.re.kr/event/2023-11-28/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Seoul:20231120T163000
DTEND;TZID=Asia/Seoul:20231120T173000
DTSTAMP:20260416T025213
CREATED:20231031T024622Z
LAST-MODIFIED:20240707T072908Z
UID:7825-1700497800-1700501400@dimag.ibs.re.kr
SUMMARY:Seunghun Lee (이승훈)\, On colorings of hypergraphs embeddable in $\mathbb{R}^d$
DESCRIPTION:Given a hypergraph $H=(V\,E)$\, we say that $H$ is (weakly) $m$-colorable if there is a coloring $c:V\to [m]$ such that every hyperedge of $H$ is not monochromatic. The (weak) chromatic number of $H$\, denoted by $\chi(H)$\, is the smallest $m$ such that $H$ is $m$-colorable. A vertex subset $T \subseteq V$ is called a transversal of $H$ if for every hyperedge $e$ of $H$ we have $T\cap e \ne \emptyset$. The transversal number of $H$\, denoted by $\tau(H)$\, is the smallest size of a transversal in $H$. The transversal ratio of $H$ is the quantity $\tau(H)/|V|$ which is between 0 and 1. Since a lower bound on the transversal ratio of $H$ gives a lower bound on $\chi(H)$\, these two quantities are closely related to each other. \nUpon my previous presentation\, which is based on the joint work with Joseph Briggs and Michael Gene Dobbins (https://www.youtube.com/watch?v=WLY-8smtlGQ)\, we update what is discovered in the meantime about transversals and colororings of geometric hypergraphs. In particular\, we focus on chromatic numbers of $k$-uniform hypergraphs which are embeddable in $\mathbb{R}^d$ by varying $k$\, $d$\, and the notion of embeddability and present lower bound constructions. This result can also be regarded as an improvement upon the research program initiated by Heise\, Panagiotou\, Pikhurko\, and Taraz\, and the program by Lutz and Möller. We also present how this result is related to the previous results and open problems regarding transversal ratios. This presentation is based on the joint work with Eran Nevo.
URL:https://dimag.ibs.re.kr/event/2023-11-20/
LOCATION:Room B332\, IBS (기초과학연구원)
CATEGORIES:Discrete Math Seminar
END:VEVENT
END:VCALENDAR