Periodic Reporting for period 4 - LIPA (A unified theory of finite-state recognisability)
Reporting period: 2020-11-01 to 2021-10-31
1. A thorough development of the theory of recognisable languages over monads, which is summarised in a draft book called "Languages recognised by (...)". This book can be found on the PI's web page.
2. The resolution of Courcelle’s conjecture about MSO on graphs of bounded treewidth. This result puts the finishing touches on a project started by Courcelle, i.e. understanding to what degree algebra and logic coincide on graphs.
3. A non-elementary lower bound on the complexity of the reachability problem in Petri nets [21] . This is the first progress since over 40 years on a fundamental model of computation, and was awarded the best paper award at STOC 2019.
4. The introduction of the class of polyrergular functions [15, 38]. This class can be seen as an answer to the question: "what is polynomial time finite state computation?"
5. The introduction of vector spaces of orbit-finite dimension [37]. This notion combines two relaxations of finiteness: (a) having finite dimension; and (b) being orbit-finite. The combination turns out to be surprisingly fruitful.