Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

ADA

Financiado

Cerrado

Automata, Dynamics and Actions

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 a... ver más

30/09/2028

USAAR

2M€

Presupuesto del proyecto: 2M€

Líder del proyecto

UNIVERSITAT DES SAARLANDES No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2023-08-28

ERC-2022-ADG: ERC ADVANCED GRANTS Scope:Objectives

I+D

Cerrada

0% 100% 100%

Características del participante

Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

1 Participantes

USAAR

2.42M€ | Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Duración del proyecto: 61 meses Fecha Inicio: 2023-08-28
Fecha Fin: 2028-09-30

Líder del proyecto

UNIVERSITAT DES SAARLANDES No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 2M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto 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.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores