Kisun Lee (이기선), Symmetric Tropical Rank 2 Matrices

Room B332 IBS (기초과학연구원)

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.

Hyunwoo Lee (이현우), Random matchings in linear hypergraphs

Room B332 IBS (기초과학연구원)

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)$.

IBS-DIMAG workshop on combinatorics and geometric measure theory

Room B109 IBS (기초과학연구원)

Website: https://cgmt.dimag.kr/ Arrival Date: July 14, 2024 Sunday. Departure Date: July 20, 2024 Saturday. Organizers Ben Lund (IBS Discrete Mathematics Group) Doowon Koh (Chungbuk National University) Sang-il Oum (IBS Discrete Mathematics Group / KAIST)

2024 Summer School on Combinatorics and Algorithms (2024 조합론 및 알고리즘 여름학교)

Bldg. N1, KAIST

The 2024 Summer School on Combinatorics and Algorithms is a venue for students and early-career researchers to learn selected topics in theoretical computer science and discrete mathematics. It will be a great opportunity for young and aspiring researchers to study topics which are important but not covered during the lectures in the university classes. This

2024 Korean Student Combinatorics Workshop (KSCW2024, 2024 조합론 학생 워크샵)

Gongju Hanok Village, Gongju

Venue Gongju Hanok Vilage (공주한옥마을) Organizers Donggyu Kim (김동규), KAIST and IBS Discrete Mathematics Group Seokbeom Kim (김석범), KAIST and IBS Discrete Mathematics Group Seonghyuk Im (임성혁), KAIST and IBS Extremal Combinatorics and Probability Group Hyunwoo Lee (이현우), KAIST and IBS Extremal Combinatorics and Probability Group  

Daniel Král’, Matroid depth and width parameters

Room B332 IBS (기초과학연구원)

Depth and width parameters of graphs, e.g., tree-width, path-width and tree-depth, play a crucial role in algorithmic and structural graph theory. These notions are of fundamental importance in the theory of graph minors, fixed parameter complexity and the theory of sparsity. In this talk, we will survey structural and algorithmic results that concern width and

Peter Nelson, Formalizing matroid theory in a proof assistant

Room B332 IBS (기초과학연구원)

For the past few years, I've been working on formalizing proofs in matroid theory using the Lean proof assistant. This has led me to many interesting and unexpected places. I'll talk about what formalization looks like in practice from the perspective of a combinatorialist.

2024 Workshop on (Mostly) Matroids

IBS Science Culture Center

The 2024 Workshop on (Mostly) Matroids will be held in-person at the Institute for Basic Science (IBS), Daejeon, South Korea, from August 19, 2024 to August 23, 2024. We expect that most people would arrive on Sunday, August 18 and leave on Saturday, August 24. Our hope is that this workshop will continue the tradition

Dillon Mayhew, Monadic second-order definability for gain-graphic matroids

Room B332 IBS (기초과학연구원)

Every (finite) matroid consists of a (finite) set called the ground set, and a collection of distinguished subsets called the independent sets. A classic example arises when the ground set is a finite set of vectors from a vector space, and the independent subsets are exactly the subsets that are linearly independent. Any such matroid

IBS 이산수학그룹 Discrete Mathematics Group
기초과학연구원 수리및계산과학연구단 이산수학그룹
대전 유성구 엑스포로 55 (우) 34126
IBS Discrete Mathematics Group (DIMAG)
Institute for Basic Science (IBS)
55 Expo-ro Yuseong-gu Daejeon 34126 South Korea
E-mail: dimag@ibs.re.kr, Fax: +82-42-878-9209
Copyright © IBS 2018. All rights reserved.