Projektbeschreibung
Neue mathematische Grenzen zur Förderung der Erforschung
Das vom Europäischen Forschungsrat finanzierte Projekt ADA ist im Bereich der komplexen Dynamik und Gruppentheorie angesiedelt. Das Team von ADA verwendet endliche Zustandsautomaten, um selbstähnliche mathematische Objekte zu definieren, und befasst sich damit mit zentralen Fragen der symbolischen Dynamik, Entscheidungsproblemen und Berechnungen. Es führt das Konzept der automatisch agierenden Gruppen ein und schlägt damit eine Brücke zwischen den bisher getrennten Begriffen. Vom Versuch der Lösung des Milnor‘schen „Lückenproblems“ bis hin zur Erforschung nicht-sofischer Gruppen im Zusammenhang mit Automaten – ADA leistet Pionierarbeit mit neuen Strategien. Das Team befasst sich durch die Kodierung rationaler Karten durch automatische Aktionen mit dem lange offenen Problem der Verbundenheit und zielt auf eine topologische Beschreibung von Milnors quadratischen Karten-„Scheiben“ ab. Mithilfe von ADA sollen mathematische Rätsel gelöst und versucht werden, Lösungen für algorithmische Herausforderungen vorzuschlagen und die Erforschung dieser komplizierten Universen voranzutreiben.
Ziel
This project lies at the nexus of complex and symbolic dynamics, group theory, decision problems and computation. It aims to solve major problems in each of these fields by means of automatic actions and relations.
Finite state automata, pervasive in theoretical computer science, will serve to define self-similar mathematical objects, and produce efficient algorithms to manipulate them. — I will explore a novel notion of automatically acting group, encompassing the previously unrelated notions of automatic groups, automata groups and substitutive shifts.
Geometric group theory propounds the vision of groups as geometric objects. A basic notion is volume growth, and Milnor's still open “gap problem” asks for its possible range. — In this proposal, I will give candidates of groups with very slow superpolynomial growth, defined by their automatic action on dynamical systems, and a proof strategy.
A celebrated open problem by Gromov asks whether all groups are “sofic”. This property has too many valuable consequences to always be true, yet there is no known non-example! — I will present a strategy of producing non-sofic groups closely associated to automata.
Rational maps on the Riemann sphere provide a rich supply of dynamical systems. A fundamental goal is to give a combinatorial description of the dynamics across families of maps, constructing models of parameter space. — I will encode the maps via automatic actions, and study relations between automata to produce such models. I aim to achieve a full topological description (including the long-open connectedness problem) of Milnor's “slices” of quadratic maps.
This project will tackle these fundamental questions from group theory and dynamics, and develop presently unexplored interactions between them, through a unified use of automata. It will prove decidability of certain algorithmic problems such as Dehn's and Tarski's, and construct efficient tools to further our exploration of these mathematical universes.
Schlüsselbegriffe
Schlüsselbegriffe des Projekts, wie vom Projektkoordinator angegeben. Nicht zu verwechseln mit der EuroSciVoc-Taxonomie (Wissenschaftliches Gebiet).
Schlüsselbegriffe des Projekts, wie vom Projektkoordinator angegeben. Nicht zu verwechseln mit der EuroSciVoc-Taxonomie (Wissenschaftliches Gebiet).
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
-
HORIZON.1.1 - European Research Council (ERC)
HAUPTPROGRAMM
Alle im Rahmen dieses Programms finanzierten Projekte anzeigen
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
HORIZON-ERC - HORIZON ERC Grants
Alle im Rahmen dieses Finanzierungsinstruments finanzierten Projekte anzeigen
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
(öffnet in neuem Fenster) ERC-2022-ADG
Alle im Rahmen dieser Aufforderung zur Einreichung von Vorschlägen finanzierten Projekte anzeigenGastgebende Einrichtung
Finanzieller Nettobeitrag der EU. Der Geldbetrag, den der Beteiligte erhält, abzüglich des EU-Beitrags an mit ihm verbundene Dritte. Berücksichtigt die Aufteilung des EU-Finanzbeitrags zwischen den direkten Begünstigten des Projekts und anderen Arten von Beteiligten, wie z. B. Dritten.
66123 Saarbrucken
Deutschland
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.