Seminar Logic, Complexity, Games: Automatic Structures
WS 2011/12
News
- Die Vorträge am Freitag finden - entgegen der Ankündigung - ebenfalls in unserem Seminarraum statt.
- Bitte beachten Sie die Übersicht zum zeitlichen Ablauf des Seminars.
Organisation
Die Vorträge finden statt am:
- Dienstag, 31. Januar, in unserem Seminarraum (Raum 4116, E1, Ahornstr. 55)
- Freitag, 03. Februar, im Seminarraum des Lehrstuhls Informatik 4 (Raum 4105, E1, Ahornstr. 55).
Deadlines
| 24.10. | Gliederung, Konzeption |
| 14.11. | Ausarbeitung |
| 12.12. | Endgültige Fassung |
| 09.01. | Folien |
| 31.01., 03.02. | Vorträge |
Schedule
| Dienstag, 31. Januar | ||||
| 9:00 | – | 9:40 | Eugen Stoll | Interpretationen und vollständige Strukturen |
| 9:50 | – | 10:30 | Stefan Jaax | Model-Checking Spiele auf automatischen Strukturen |
| 11:00 | – | 11:40 | Harald Röhling | Invarianten automatischer Präsentationen und semi-synchrone Transduktionen |
| 13:00 | – | 13:40 | Roman Matzutt | Ist Cantors Theorem automatisch? |
| 13:50 | – | 14:30 | Jonathan Schmidt-Dominé | Von automatischen Strukturen zu Borel-Strukturen |
| 15:00 | – | 15:40 | Felix Lantin | Automatische Gruppen: Abelsche und Euklidische Gruppen |
| 15:50 | – | 16:30 | Robert Ivo Mei | Automatische Gruppen: Nilpotente Gruppen sind nicht automatisch |
| Freitag, 03. Februar | ||||
| 9:00 | – | 9:40 | Bettina Hardy | Mengen-Interpretationen |
| 9:50 | – | 10:30 | Marlin Frickenschmidt | Wachstumsfunktionen und nicht-automatische Strukturen |
| 11:00 | – | 11:40 | Sebastian Junges | Zufalls-Strukturen und eine Charakterisierung automatischer Boolescher Algebren |
| 11:50 | – | 12:30 | Lota Limareva | Die additive Gruppe der rationalen Zahlen |
| 14:00 | – | 14:40 | Christian Frisch | Komplexitätsprobleme für automatische Strukturen |
| 14:50 | – | 15:30 | Svenja Schalthöfer | Das Isomorphie-Problem für Klassen von automatischen Strukturen |
Content
Automatic structures are first-order structures, whose elements are identified with the words of a regular language, and whose functions and relations are representable by synchronous finite automata. Finite structures, for instance, are trivially automatic, but the really interesting examples of automatic structures are infinite ones, such as Presburger arithmetic and the infinite binary tree with prefix order and equal length predicate.
Automatic structures are interesting because they provide a natural family of infinite structures that are finitely presentable (by the automata that describe their functions and relations) in such a way that important computational problems, such as first-order model checking or query evaluation, can be handled effectively. Automatic structures thus provide a domain of structures that is relevant for the programme of computational model theory, i.e. the study of logical definability and computational complexity of finitely presentable structures. Computational model theory builds on, and extends finite model theory; it translates computational problems to logical ones and tackles them using tools of logic. This approach has been quite successful for finite structures where we have numerous characterisation theorems relating machine models and computational complexity classes with various logics and definability within these logics. The traditional limitation to finite structures is, however, unnecessarily restrictive, as there are many applications, e.g., in the fields of databases or automated verification, which naturally call for infinite models. This motivates the extension of methods of finite model theory to relevant domains of infinite structures. Of course, infinite objects handled by computers must be finitely representable in some way, and given a finite representation of a structure, the relevant computational problems concerning the structure should be effectively solvable. Automatic structures provide one such framework based on a robust and sufficiently simple, and very well-studied model of computation.
Automatic structures are also relevant in certain branches of mathematics, such as computational group theory. Indeed, the best studied examples of automatic structures are automatic groups, i.e. finitely generated groups with an automatic Cayley graph. The importance of this notion in computational group theory comes from the fact that an automatic presentation of a group yields (efficient) algorithmic solutions for computational problems (e.g. the word problem) that are undecidable in the general case. There are further interesting connections to the theories of automatic sequences and decidable subsystems of arithmetic. The notion of an automatic structure can be modified and generalised in many directions. By using automata over infinite words, we obtain the notion of omega-automatic structures which, contrary to automatic structures, may have uncountable cardinality. Examples of omega-automatic structures include the additive group of the real numbers, and the tree of finite and infinite binary sequences. Similarly one can use tree-automata to define term-automatic structures.
Topics
| Thema | Vortragende(r) | Betreuer(in) | Literatur |
| Interpretationen und vollständige Strukturen | Eugen Stoll | Roman Rabinovich | [BlGr04, Bl99] |
| Mengen-Interpretationen | Bettina Hardy | Roman Rabinovich | [CoLo07] |
| Wachstumsfunktionen und nicht-automatische Strukturen | Marlin Frickenschmidt | Bernd Puchala | [BlGr04, Bl99] |
| Zufalls-Strukturen und eine Charakterisierung automatischer Boolescher Algebren | Sebastian Junges | Wied Pakusa | [KuNiRuSt07] |
| Die additive Gruppe der rationalen Zahlen | Lota Limareva | Faried Abu Zaid | [Ts11] |
| Automatische Gruppen: Abelsche und Euklidische Gruppen | Felix Lantin | Wied Pakusa | [Ep92, Fa92] |
| Automatische Gruppen: Nilpotente Gruppen sind nicht automatisch | Robert Ivo Mei | Wied Pakusa | [Ep92, Fa92] |
| Invarianten automatischer Präsentationen und semi-synchrone Transduktionen | Harald Röhling | Bernd Puchala | [Bar06, Bar07] |
| Von automatischen Strukturen zu Borel-Strukturen | Jonathan Schmidt-Dominé | Faried Abu Zaid | [HjKhMoNi08] |
| Ist Cantors Theorem automatisch? | Roman Matzutt | Bernd Puchala | [Ku03] |
| Komplexitätsprobleme für automatische Strukturen | Christian Frisch | Francicleber Ferreira | [KuLo09] |
| Das Isomorphie-Problem für Klassen von automatischen Strukturen | Svenja Schalthöfer | Roman Rabinovich | [KuLiLo10] |
| Model-Checking Spiele auf automatischen Strukturen | Stefan Jaax | Faried Abu Zaid | [Kai08] |
Literature
| [BGR10] | V. Bárány, E. Grädel, and S. Rubin. Automata-Based Presentations of Infinite Structures. In Finite and Algorithmic Model Theory (J. Esparza, C. Michaux, and C. Steinhorn, Eds.), pp. 1–76, 2011. |
| [Bar06] | V. Bárány. Invariants of Automatic Presentations and Semi-Synchronous Transductions. In Proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, STACS 2006 (B. Durand and W. Thomas, Eds.), vol. 3884 of LNCS, pp. 289–300. Springer, 2006. |
| [Bar07] | V. Bárány. Automatic Presentations of Infinite Structures. PhD thesis, RWTH Aachen, 2007. |
| [Bl99] | A. Blumensath. Automatic Structures. Diploma thesis, RWTH-Aachen, 1999. |
| [BlGr04] | A. Blumensath and E. Grädel. Finite presentations of infinite structures: Automata and interpretations. Theory of Computing Systems, vol. 37(6), pp. 641–674, 2004. |
| [CoLo07] | T. Colcombet and C. Löding. Transforming structures by set interpretations. Logical Methods in Computer Science, vol. 3(2), 2007. |
| [Ep92] | D. Epstein, J. Cannon, D. Holt, S. Levy, M. Paterson, and W. Thurston. Word processing in groups. , 1992. |
| [Fa92] | B. Farb. Automatic groups: a guided tour. Enseign. Math.(2), vol. 38(3-4), pp. 291–313, 1992. |
| [HjKhMoNi08] | G. Hjorth, B. Khoussainov, A. Montalbán, and A. Nies. From automatic structures to Borel structures. In Logic in Computer Science, 2008. LICS'08. 23rd Annual IEEE Symposium on, pp. 431–441, 2008. |
| [Hod93] | W. Hodges. Model theory. Cambridge University Press, 1993. |
| [Kai08] | Ł. Kaiser. Logic and Games on Automatic Structures. PhD thesis, RWTH Aachen, 2008. |
| [KhMi07] | B. Khoussainov and M. Minnes. Three lectures on automatic structures. In Proceedings of Logic Colloquium, pp. 132–176, 2007. |
| [KhRuSt03] | B. Khoussainov, S. Rubin, and F. Stephan. On Automatic Partial Orders. In LICS, pp. 168–177. IEEE Computer Society, 2003. |
| [Ku03] | D. Kuske. Is Cantor's Theorem Automatic? In Logic for Programming, Artificial Intelligence, and Reasoning, pp. 332–345, 2003. |
| [KuLiLo10] | D. Kuske, J. Liu, and M. Lohrey. The isomorphism problem on classes of automatic structures. In Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on, pp. 160–169, 2010. |
| [KuLo09] | D. Kuske and M. Lohrey. Automatic structures of bounded degree revisited. In Computer Science Logic, pp. 364–378, 2009. |
| [KuNiRuSt07] | B. Khoussainov, A. Nies, S. Rubin, and F. Stephan. Automatic Structures: Richness and Limitations. Logical Methods in Computer Science, vol. 3(2), 2007. |
| [OlTh05] | G. P. Oliver and R. M. Thomas. Automatic Presentations for Finitely Generated Groups. In STACS (V. Diekert and B. Durand, Eds.), vol. 3404 of Lecture Notes in Computer Science, pp. 693–704. Springer, 2005. |
| [Ts11] | T. Tsankov. The additive group of the rationals does not have an automatic presentation. Journal for Symbolic Logic (to appear). |
Classification
- Informatik (B.Sc.)/Seminar Informatik
- Mathematik (B.Sc.)/Seminar: Logik, Komplexität, Spiele
- Informatik (M.Sc.)/Seminar Theoretische Informatik
- Mathematik (M.Sc.)/Seminar: Logik, Komplexität, Spiele (Reine Mathematik)
- Informatik (D)/Hauptstudium/Theoretische Informatik
- Mathematik (D)/Hauptstudium/Reine Mathematik
- Informatik (S II)
- Mathematik (S II)/Hauptstudium/Modul Algebra
- Mathematik (S II)/Hauptstudium/Modul Angewandte Mathematik
Prerequisites
- Module Mathematical Logic
- for B.Sc. Computer Science: Module "Einführung in das wissenschaftliche Arbeiten (Proseminar)"
Contact
Erich Grädel, Bernd Puchala, Roman Rabinovich, Faried Abu Zaid, Wied Pakusa