This meeting aims to gather all CMUP's members, especially all new members, so that they can briefly present their current research. The talks will be non-technical in order to be reachable for all areas. The participation of everyone is strongly encouraged.
Coffee-Break (free of charge):
Please use the following link (and fill in the corresponding form) if you intend to go to the coffee-break: https://docs.google.com/forms/d/e/1FAIpQLSdGgk9VQ_BK66F0NPztNnL7oSsx4sQlWIrUBAjsukvm-CLRsQ/viewform?vc=0&c=0&w=1&flr=0
Please notice that it is important to fill in the link in order to have an estimate of the number of participants of the Meeting.
Titles and abstracts:
09:30 - Helena Reis (CMUP) - Opening session
09:35 - Jan Wachter (Algebra, Semigroups, Automata and Languages)
Title: Automata and Algebra
Generally, I am interested in the combination of methods from Theoretical Computer Science and Algebra. To give you an idea of what this means, I will introduce you to some topics belonging to the two parts of my work program for CMUP. As examples, we will discuss the on-going projects I have been working on during the last months.
Here, we will first look into a combinatorial description of a class of finite semigroups (more precisely, the variety DAb, in which every regular D-class is an abelian group) and see how this is potentially also useful for decision problems over this class.
For the second part, we will have a brief look at how finite automata (which are basically finite di-graphs with edges labelled by an input symbol and an output symbol) can be used as an alternative way to generate semigroups and groups with sometimes quite exotic properties. We will encounter some results relating the structure of the generating automaton to the algebraic structure of the generated object.
Caveat: We will discuss some very recent work, which is sometimes even still in flux and has not been published or even peer-reviewed yet.
10:15 - Eliana Duarte (Geometry)
Title: Toric varieties in Geometric Modeling and Algebraic Statistics
This is an overview talk on how toric varieties appear naturally in applied settings. In these areas, the algebraic and geometric tools that we use to study these varieties can be used to gain insight for their practical use.
10.55 - Coffee break
11:20 - Théofile Caby (Dynamical Systems)
Title: Statistical and geometric properties of observations of dynamical systems
To study high-dimensional dynamical systems, physicists often work with observational data that do not constitute actual trajectories of the system under study, but can rather be seen as projections of the system into a space where measurements can be made (usually, Rn). To model this, we compute, along a typical trajectory of the system, the value of an observable, that is a smooth function from the phase space to the space of observations. Using Extreme Value Theory, we study the statistical properties of different quantities of interest associated with this observable (recurrence times, number of visits to small regions of the observation space, time of first synchronization). The limit distributions that we obtain are Gumbel laws whose scale parameters relate to fractal dimensions that are characteristic of the image measure (local dimensions and generalized dimensions). With a good choice of observable, we show that one can use these results to access the geometric structure of the real underlying attractor. Different applications will be presented.
11:55: Closing session