4색 정리 새로운 증명이 arXiv에 올라왔습니다.
New proof of the four color theorem
by
Yuta Inoue, Ken-ichi Kawarabayashi, Atsuyuki Miyashita, Bojan Mohar, Carsten Thomassen, Mikkel Thorup
arxiv.org/abs/2603.24880
Posts by Rasmus Pagh
Early bird special: Send your abstract today and you only need to send 3 pages. Save 25%! Only applies if you submit today, April 1.
The 1st European Workshop on the Theory of Differential Privacy (eurotdp.pages.ista.ac.at) will open for submissions today! We expect to be open for submissions until end of April, but there is limited capacity so we may need to stop accepting submissions earlier. Send a 4-page abstract, like TPDP.
Simple tabulation hashing, originally proposed by Zobrist, is only 3-wise independent yet Pătrașcu and Thorup (JACM 2012) showed that it has powerful theoretical properties. Today it occurred to me that it would be fitting to refer to Zobrist, Pătrașcu and Thorup as the "3-wise men"
The analysis by Thorup in arxiv.org/pdf/1509.04549 is fairly accessible, and as a bonus only requires 5-wise independence
Really looking forward to our Dagstuhl seminar on data sharing and differential privacy early next year! www.dagstuhl.de/27032
New: Also post-doc positions at ITU, application deadline March 15, affiliated with BARC and/or AHA. Link: candidate.hr-manager.net/ApplicationI...
The PhD position previously announced has deadline March 10. Join us in Copenhagen!
My awesome BARC colleague @nutanlimaye.bsky.social is starting a major research project in algebraic complexity. Anyone interested in joining as a PhD student should check out the call (deadline March 1).
barc.ku.dk/news/profess...
Do you have recent work on differential privacy? Submit it to TPDP 2026 in Boston, whose deadline is in ~2 weeks.
TPDP is a lightly reviewed workshop, whose main purpose is getting researchers in DP together in one place. Dual submissions allowed (and encouraged!).
A screenshot of a Google-style analytics card titled “How do people find you?” showing “Top growing queries compared to previous month.” It lists three search queries: “database exams” (+5 clicks), “database exam questions and answers pdf free download” (+2 clicks), and “sql database exam questions and answers pdf” (+2 clicks).
According to Google Search, my primary contribution to human knowledge is the collection of database exams (with answers) that I developed in 2003-2012.
The recommendations of this paper, published in Science yesterday, should be required reading for policymakers across the world. We need to make democratic debate more robust. arxiv.org/pdf/2506.06299
Maximum speed achieved by humans 1900 to 2026
Of course, physical and economical limits stopped the growth of, which has in fact been zero since 1969. Extrapolation of trends has limits, something we should remember when someone points at data that seems scary.
Between 1939 and 1969 the fastest speed at which a human could move was subject to a dramatic growth of around 17% per year due to technological advances. If this trend had continued to this day we would now be traveling at near light speed.
There is also the notation f(x)≲g(x), used in some parts of math, to mean that inequality holds up to a universal multiplicative factor. This strengthening of big-O notation has various advantages as explained in Kalle Rutanen’s thesis.
ELLIS Institute Finland
@ellisinstitute.fi
has an open call for postdocs (DL 9 Feb) www.ellisinstitute.fi/postdoc-recr...
There are 45 PIs with different topics to choose from, including privacy in machine learning with me!
Today I realized that the power mean inequality extends AM–GM–HM to P_r ≥ A ≥ G ≥ H.
Unexpected perk: my surname is now a theorem.
The papers on the DL are open access starting this year, so I think there is good movement towards open access. Making some metadata paywalled is a setback but hopefully it can be reversed.
Consider signing this petition regarding restoring free access to the ACM digital library: www.ipetitions.com/petition/res...
The deadline for BARC's annual call for PhD positions is soon (January 10)!
Starting in the fall (Gemini 2.5 pro launched experimentally at the end of March) LLMs that were useful for math launched. I didn't have much luck using them within their web interface, but I found them to be extremely useful within coding agent harnesses like Windsurf.
Postdoc and PhD positions in combinatorial optimization and/or TCS at Lund University. Application deadline January 16. Postdoc position info at jakobnordstrom.se/openings/Pos... and PhD info at jakobnordstrom.se/openings/PhD....
Want to join the ambitious, creative, collaborative, and fun environment at BARC? Our annual call for PhD or integrated MSc + PhD fellowship in Algorithms has been posted! Apply by January 10. employment.ku.dk/phd/?show=15...
STOC'26 will have an experimental program: Automated pre-submission feedback. It is opt-in, providing authors with "pre-submission feedback on their papers generated by an advanced LLM-based tool based on Google’s Gemini model that has been optimized for mathematical rigor". Deadline Nov 1, 5pm EST
"use of generative AI tools and technologies to create content is permitted but must be fully disclosed in the Work [..] Basic word processing systems that recommend and insert replacement text, perform spelling or grammar checks [..] are to be considered exceptions to this disclosure requirement"
As the STOC deadline is approaching it may be of interest to authors that the ACM policy on authorship (www.acm.org/publications...) applies to submissions. Unfortunately this does not yet seem to be reflected in the CFP. In particular, the policy describes how use of generative AI must be declared:
Announcing (w @adamsmith.xyz @thejonullman.bsky.social) the 2025 edition of the Foundations of Responsible Computing Job Market Profiles!
Check out 40 job market candidates in mathematical research in computation and society writ large!
Link:
drive.google.com/file/d/1zvsr...
Auditorium with projector showing: Wave | women in algorithms venture into exploration
Getting ready to celebrate 150 years of women at @ucph.bsky.social with the Wave workshop, focusing on algorithmic research
barc.ku.dk/wave-confere...
In anticipation of this week’s Nobel prizes? Sign next to UCPH Nobel prize reserved parking says ”Beware of crossing traffic”