événements à venir
An open conjecture of Hartmannis and Stearns is that a real number where the sequence of digits is produced by a linear time Turing machine is either rational or transcendental. This is considered a hard problem, and implies, among other things, that integer multiplication cannot be done in linear time. Much work has been done on weaker forms of this conjecture, pulling in tools such as the Mahler Method and the Subspace Theorem. In this talk I will discuss some results concerning the transcendence of (Epi)Sturmian words, which include the d-bonacci numbers, which will be our prototypical example. We do this by introducing a combinatorial criterion on words, called echoing, which implies transcendence. I will then give some further applications of this criterion. This is joint work with Pavol Kebis, Florian Luca, Joel Ouaknine, and James Worrell.
Thesis defence rehearsal.
Exceptional schedule on Friday 05/12. Rehearsal of Bouasy Doungsavanh thesis defense.
Les théorèmes de nonexistence et de classification de type Liouville, pour les problèmes elliptiques non linéaires dans l'espace ou le demi-espace, ont une longue histoire, avec des contributions classiques de Bernstein, de Giorgi, Gidas-Spruck, Berestycki-Caffarelli-Nirenberg, ... D'autre part le système de Lane-Emden (LE) -\Delta u=v^p, -\Delta v=u^q avec p, q>1, est un exemple modèle de système elliptique hamiltonien et a été intensivement étudié. Nous présenterons un résultat récent de type Liouville qui établit la nonexistence de solutions positives de (LE) dans le demi-espace avec conditions nulles au bord. La nouveauté du résultat est l'absence de restrictions sur p, q et sur la croissance de la solution lorsque tend vers l’infini (en collaboration avec Yimei Li)
Thesis defence rehearsal.
Excited state molecular dynamics (MD) simulations are a powerful computational tool for the study of photoinduced phenomena. A popular method to get the excited state energy and its gradients is linear response time dependent density functional theory (TD-DFT). In this method, the excitation energies and the corresponding perturbations to the electronic density are obtained as eigenvalues and eigenvectors of the molecular response function. The gradients are then used to propagate the equations of motion of the molecule. At each step of an MD simulation, regardless of the method, the new molecular geometry is relatively close to the previous ones. This observation suggests that some extrapolation strategy can be applied, such that the results of the previous calculations (which are available for free) can be used to predict the result of the upcoming calculation. The prediction can then be used as a guess for the iterative solver to lower the number of iterations and thus the cost. In the case of ground state MD simulations, several strategies extrapolation strategies have been proposed. Among these, the most successful are the extended Lagrangian from Niklasson[1], the GExt scheme from my coworkers[2,3] and Car-Parrinello MD strategies[4]. In the case of linear response TD-DFT MD, only a strategy based on the extended Lagrangian has been proposed so far[5]. In this talk, I first introduce the linear response TD-DFT method for excited states, highlighting its connection with differential geometry. Then, I present an extension of the GExt scheme presented in [3] to linear response TD-DFT, in which the manifold structure to which the solutions belong is used to make the extrapolation more accurate. Lastly, I show how the new extrapolation strategy can be applied to excited state MD simulations resulting in a significant acceleration. [1] Niklasson, J. Chem. Phys. 152 (2020). [2] Polack et al., J. Chem. Theory Comput. 17 (2021). [3] Pes et al., J. Phys. Chem. Lett. 14 (2023). [4] Kühne, WIREs Comput. Mol. Sci 4 (2014). [5] Niklasson et al., J. Chem. Theory Comput. 14 (2018).
TBA
Le problème du transport optimal de Monge remonte à la fin du 18e siècle. Il consiste à minimiser le coût de transport d'un matériau d'une distribution de masse vers une autre. Monge n'a pas pu résoudre le problème et l'étape suivante a été franchie 150 ans plus tard par Kantorovich qui a introduit la distance de transport entre deux mesures de probabilité ainsi que le problème dual. Suite au ré-arrangement de champs de vecteurs par Brenier en 1987, le problème a été conclu par une série de papiers récents. La distance de Monge-Kantorovich n'est pas facile à utiliser pour les équations aux dérivées partielles et la méthode du doublement global des variables est l'une d'entre elles. Elle est très intuitive en termes de processus stochastiques et nous fournit une méthode pour les EDP conservatives telles que les équations paraboliques (éventuellement fractionnaires), l'équation de Boltzman homogène, l'équation de diffusion ou l'équation de milieu poreux... Les équations structurées, telles qu'elles apparaissent en biologie mathématique, constituent une classe particulière pour laquelle la méthode peut être utilisée.
TBA