상일
sioum.bsky.social
상일
@sioum.bsky.social
수학자 그래프이론 전공 기초과학연구원 이산수학그룹
Pinned
We are hiring! The IBS Discrete Mathematics Group (DIMAG) Research Fellowship (Due: December 3, 2025)

The IBS Discrete Mathematics Group (DIMAG) in Daejeon, Korea invites applications for four research fellowship positions (senior researcher positions).…

https://dimag.ibs.re.kr/2025/hiring2025/
#New_published_paper
*Rutger Campbell*, Jim Geelen, and Matthew E. Kroeker,
Average plane-size in complex-representable matroids,
Combinatorica, 45:53, October 2025.
doi.org/10.1007/s004...
Average plane-size in complex-representable matroids - Combinatorica
Melchior’s inequality implies that the average line-length in a simple, rank-3, real-representable matroid is less than 3. A similar result holds for complex-representable matroids, using Hirzebruch’s...
doi.org
November 12, 2025 at 1:39 PM
Simón Piga gave a talk on variants of the Turán problem for k-uniform hypergraphs at the Discrete Math Seminar

On November 11, 2025, Simón Piga from the University of Hamburg gave a talk at the Discrete Math Seminar on variants of the Turán problem for…

https://dimag.ibs.re.kr/2025/simon-piga/
November 12, 2025 at 1:08 AM
Reposted by 상일
In a conversation with John Pavlus, Marijn Heule shares how a form of AI called SAT can use hard-coded rules, and not the inscrutable interactions within a deep neural network, to solve problems beyond human reasoning. www.quantamagazine.org/to-have-mach...
To Have Machines Make Math Proofs, Turn Them Into a Puzzle | Quanta Magazine
Marijn Heule uses turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His proofs have been called “disgusting,” but they go beyond what any human c...
www.quantamagazine.org
November 10, 2025 at 3:32 PM
#New_arXiv_paper
*Seokbeom Kim*, Taite LaGrange, Mathieu Rundström, Arpan Sadhukhan, and Sophie Spirkl,
The structure of Δ(1,2,2)-free tournaments, 2025.
arxiv.org/abs/2511.03234
The structure of $Δ(1, 2, 2)$-free tournaments
We extend the list of tournaments $S$ for which the complete structural description for tournaments excluding $S$ as a subtournament is known. Specifically, let $Δ(1, 2, 2)$ be a tournament on five ve...
arxiv.org
November 6, 2025 at 12:54 PM
Tim Hartmann and Ahmed Ghazy gave a talk on continuous graphs—a model obtained by replacing each edge of a graph with a unit interval to form a metric space, enabling continuous analogues of classical graph problems at the Discrete Math Seminar

On…

https://dimag.ibs.re.kr/2025/continuous-graph/
November 5, 2025 at 1:20 PM
#New_published_paper
Maria Chudnovsky, *Meike Hatzel*, Tuukka Korhonen, Nicolas Trotignon, and Sebastian Wiederrecht,
Unavoidable induced subgraphs in graphs with complete bipartite induced minors,
SIAM J. Discrete Math., 39(4):2049-2066, December 2025
doi.org/10.1137/24M1...
Unavoidable Induced Subgraphs in Graphs with Complete Bipartite Induced Minors | SIAM Journal on Discrete Mathematics
Abstract. We prove that if a graph contains the complete bipartite graph as an induced minor, then it contains a cycle of length at most 12 or a theta as an induced subgraph. With a longer and more te...
doi.org
November 3, 2025 at 4:20 AM
Reposted by 상일
Recursion, the linguistic ability to embed phrases within phrases, is perhaps the defining characteristic of the human mind. It also shows up in nature. www.quantamagazine.org/in-a-first-a...
November 1, 2025 at 8:04 PM
Jakob Greilhuber gave a talk on the problem of deleting a small set of vertices to make every component small at the Discrete Math Seminar

On October 28, 2025, Jakob Greilhuber from the CISPA Helmholtz Center for Information Security gave a…

https://dimag.ibs.re.kr/2025/jakob-greilhuber-seminar/
October 28, 2025 at 12:40 PM
2025 Call FOR IBS Young Scientist Fellowship (Due December 5, 2025)

The IBS Discrete Mathematics Group has an opening for the 1 IBS Young Scientist Fellowship. 1. Introduction With the vision of “Making discoveries for humanity and society,” the Institute for Basic Science (IBS) was founded in…
2025 Call FOR IBS Young Scientist Fellowship (Due December 5, 2025)
The IBS Discrete Mathematics Group has an opening for the 1 IBS Young Scientist Fellowship. 1. Introduction With the vision of “Making discoveries for humanity and society,” the Institute for Basic Science (IBS) was founded in 2011 by the Korean government topromote basic science in Korea. To date, IBS operates 30 Research Centers which have been yielding outstanding results in various research fields.
dimag.ibs.re.kr
October 28, 2025 at 6:49 AM
William Cook gave a public lecture in Seoul on the Traveling Salesman Problem

On October 22, 2025, William Cook from the University of Waterloo gave a public lecture on the traveling salesman problem at the ST Center, Seoul during the 2025…

https://dimag.ibs.re.kr/2025/william-cook-public-lecture/
October 23, 2025 at 4:28 AM
William Cook gave a talk on using branch-decompositions for discrete optimization problems, such as the traveling salesman problem, at the Discrete Math Seminar

On October 21, 2025, William Cook gave a talk at the Discrete Math Seminar on using…

https://dimag.ibs.re.kr/2025/william-cook-2/
October 21, 2025 at 12:29 PM
다음주 수요일(10월 22일) 대한수학회 행사의 일부로 강남역 근처에서 열리는 무료 대중강연. 저녁 7시인데 조금 일찍 오시면 저녁 하시도록 피자도 주문해놨다는 것은 안 비밀... 포스터에 QR코드 찍으면 무료 사전 등록 가능.
October 18, 2025 at 1:25 AM
#New_arXiv_paper
Shinwoo An, Seonghyuk Im, *Seokbeom Kim*, and Myounghwan Lee,
An efficient algorithm for 𝔉-subgraph-free Edge Deletion on graphs having a product structure, 2025.
arxiv.org/abs/2510.14674
An efficient algorithm for \textsc{$\mathcal{F}$-subgraph-free Edge Deletion} on graphs having a product structure
Given a family $\mathcal{F}$ of graphs, a graph is \emph{$\mathcal{F}$-subgraph-free} if it has no subgraph isomorphic to a member of $\mathcal{F}$. We present a fixed-parameter linear-time algorithm ...
arxiv.org
October 17, 2025 at 4:28 AM
Ilkyoo Choi (최일규) gave a talk on the average degree of list-color-critical graphs and DP-color-critical graphs at the Discrete Math Seminar

On October 14, 2025, Ilkyoo Choi (최일규) from Hankuk University of Foreign Studies and IBS Discrete Mathematics…

https://dimag.ibs.re.kr/2025/dp-color-critical/
October 17, 2025 at 3:00 AM
#New_arXiv_paper
Peter Bradshaw, *Ilkyoo Choi*, and Alexandr Kostochka,
Flexible DP 3-coloring of sparse multigraphs, 2025.
arxiv.org/abs/2510.13043
Flexible DP 3-coloring of sparse multigraphs
A \emph{request} on a graph assigns a preferred color to a subset of the vertices. A graph $G$ is \emph{$ε$-flexibly $k$-choosable} if for every $k$-list assignment $L$ and every request $r$ on $G$, t...
arxiv.org
October 16, 2025 at 4:57 AM
Reposted by 상일
For nearly 80 years, an algorithm called the simplex method has been one of the most widely used tools for when a logistical decision needs to be made under complex constraints. A new update makes it faster than ever. www.quantamagazine.org/researchers-...
Researchers Discover the Optimal Way To Optimize | Quanta Magazine
The leading approach to the simplex method, a widely used technique for balancing complex logistical constraints, can’t get any better.
www.quantamagazine.org
October 13, 2025 at 2:30 PM
#New_published_paper
Colin Geniet and Stéphan Thomassé,
First order logic and twin-width in tournaments and dense oriented graphs,
European J. Comb., 132:104247, February 2026.
doi.org/10.1016/j.ej...
Redirecting
doi.org
October 13, 2025 at 2:33 AM
금종해 고등과학원 HCMC 석학교수
제51회 석학 커리어 디시전스 강연 비디오
"한국 수학, 초보에서 주역으로"
youtu.be/xOMes5xZhhM?...
한국 수학, 초보에서 주역으로 - 금종해 고등과학원 HCMC 석학교수(이학부 정회원)
YouTube video by 한국과학기술한림원
youtu.be
October 13, 2025 at 12:33 AM
#New_arXiv_paper
Katie Clinch, John Haslegrave, *Tony Huynh*, and Anthony Nixon,
Sharp thresholds for NAC-colourings and stable cuts in random graphs, 2025.
arxiv.org/abs/2510.05838
Sharp thresholds for NAC-colourings and stable cuts in random graphs
NAC-colourings of graphs correspond to flexible quasi-injective realisations in $\mathbb {R} ^2$. A special class of NAC-colourings are those that arise from stable cuts. We give sharp thresholds for ...
arxiv.org
October 8, 2025 at 9:00 AM
"Mathematical discovery in the age of artificial intelligence"
Bartosz Naskręcki & Ken Ono

nature physics에 10월 6일 출판된 글.
www.nature.com/articles/s41...
Mathematical discovery in the age of artificial intelligence
Nature Physics - In this comment, we consider how artificial intelligence tools are reshaping the way mathematical research is conducted and discuss how future developments of this technology will...
www.nature.com
October 8, 2025 at 1:23 AM
Reposted by 상일
Mathematical discovery in the age of artificial intelligence

They consider how artificial intelligence tools are reshaping the way mathematical research is conducted and discuss how future developments of this technology will transform mathematical practice.

www.nature.com/articles/s41...
Mathematical discovery in the age of artificial intelligence - Nature Physics
In this comment, we consider how artificial intelligence tools are reshaping the way mathematical research is conducted and discuss how future developments of this technology will transform mathematical practice.
www.nature.com
October 6, 2025 at 1:53 PM
Reposted by 상일
When mathematicians make breakthroughs, they hallucinate too.

They reach beyond established results. But unlike AI, they’ve learned to tell a promising hallucination from a dead end.

Number theorist Ken Ono on AI, creativity, and mathematical discovery.

Link to video in comments!
October 7, 2025 at 4:35 PM
"노벨상 수상했는데…美학자, 오지 떠나 연락두절"이라는 기사가 있었는데요, 뉴욕타임즈에 의하면 12시간 후에 알게 되었다고 하네요.
"Fred Ramsdell found out about his Nobel Prize nearly 12 hours after it was announced because he was on vacation in the Rockies"
www.nytimes.com/2025/10/07/h...
His Off-the-Grid Vacation Was Interrupted by Winning a Nobel Prize
www.nytimes.com
October 7, 2025 at 3:30 PM
"외우는 걸 못해요"…韓 최연소 '국제수학 金' 여중생 비결은 | 중앙일보

(제목 잘못 해석하면, 여학생 중에 최연소로 착각할 수 있는데 그게 아니라 이제까지 출전한 모든 국제수학올림피아드 한국대표 중 최연소입니다)

www.joongang.co.kr/article/2537...
"외우는 걸 못해요"…한국 최연소 '국제수학 금' 여중생 비결은 | 중앙일보
그는 한국 최연소 IMO 금메달리스트다.
www.joongang.co.kr
October 6, 2025 at 2:41 PM