La suite d’Oldenburger-Kolakoski est l’unique mot infini sur l’alphabet {1,2} qui commence par un “1” et est point fixe de l’opérateur de dérivation. En 1991, M.S. Keane conjecture que cette suite admet une fréquence d’1/2 pour la lettre “1”.

Les suites dites “auto-descriptives” sont une généralisation du mot d’Oldenburger-Kolakoski. Ces suites sont en bijection naturelle avec l’ensemble de toutes les suites sur l’alphabet {1,2} : une suite auto-descriptive est dite “dirigée” par son homologue naturelle sur {1,2}. Est-il possible d’inférer les fréquences de lettres de l’une à partir de l’autre ?

Je présenterai dans cet exposé deux approches à cette question : l’une probabiliste (Boisson, Jamet, Marcovici — 2024), l’autre analytique (Akiyama, Jamet, Marcovici, T.C. — 2024).

Many arguments in mathematics rely on the introduction of an auxiliary function that is compactly supported. Sometimes this compactly supported function is required to satisfy some additional regularity, but this cannot be pushed too far. It can for instance not be analytic as follows by the identity principle.

In this talk, we wish to present a technique that may bypass this obstruction. Namely, instead of considering a single function, we shall construct a sequence of function that are supported in the same compact, and satisfy some good uniform bounds on their derivatives.

This method is a powerful tool as it can, in some circumstances, turn a heuristic argument relying on a compactly supported analytic auxiliary function, into a rigorous proof. As an application, we shall discuss how this technique leads to improvements in some quantified Tauberian theorems.

We study a specific Poincaré-Sobolev inequality in bounded domains, that has recently been used to prove a semi-classical bound on the kinetic energy of fermionic many-body states. The corresponding inequality in the entire space is precisely scale invariant and this gives rise to an interesting phenomenon. Optimizers exist for some (most ?) domains and do not exist for some other domains, at least for the isosceles triangle in two dimensions. In this talk, I will discuss bounds on the constant in the inequality and the proofs of existence and non-existence. This is joint work with Rafael Benguria and Cristà³bal Vallejos (PUC, Chile).

Résumé

Le théorème de Hohenberg-Kohn est un résultat fondamental de la mécanique quantique à  N corps, il prouve l’injectivité de l’application allant des champs électriques vers l’état du système quantique électronique ou nucléaire à  l’équilibre. Il justifie la Density functional theory, qui est la méthode la plus utilisée pour étudier pratiquement les systèmes électroniques à  l’échelle microscopique. Nous introduirons le contexte mathématique, puis le théorème, et nous montrerons en quoi sa preuve repose sur un résultat de continuation unique forte. Enfin, nous essaierons d’étendre le théorème à  des champs magnétiques, des potentiels non locaux, des interactions et des températures positives, ce qui soulève des questions mathématiques nouvelles d’unicité.

Résumé

Résumé

Résumé

Résumé