Une blockchain est une base de données décentralisée permettant de sécuriser l’information transactionnelle entre utilisateurs. Cet exposé débutera par une introduction à la technologie blockchain et à ses applications en finance et en assurance. Nous présenterons ensuite quelques modèles probabilistes simples permettant d’évaluer un système blockchain selon trois dimensions : la sécurité, l’efficacité et la décentralisation. La sécurité désigne la résistance de la blockchain aux attaques ; nous illustrerons ce point avec l’exemple de l’attaque par double dépense. L’efficacité correspond à la quantité de données traitée par unité de temps. Enfin, la décentralisation reflète la répartition du pouvoir de décision parmi les membres du réseau assurant le maintien de la base de données.

Salle Jacques-Louis Lions (A006) du bâtiment de l’Inria (en face de l’accueil)

Les pratiques agricoles créent des habitats spatialement hétérogènes qui influencent la survie, la dispersion et la diversité des espèces présentes. Compte tenu de la crise actuelle de la biodiversité et de la nécessité de subvenir aux besoins d’une population humaine croissante, il est essentiel de concevoir des stratégies de gestion agricole qui concilient les objectifs de rendement et de conservation.

Dans ce travail, nous introduisons un modèle de métacommunauté qui représente la dynamique écologique de plusieurs espèces en compétition dans une zone agricole. Nous partons d’un processus stochastique à valeur mesure qui décrit la dynamique de métacommunauté sur un réseau aléatoire formé par un nombre fini de patchs, uniformément repartis dans le paysage agricole. Celui-ci converge vers l’unique solution d’un système d’équations intégro-différentielles, lorsque le nombre de patchs tend vers l’infini. Dans le cas où la métacommunauté ne contient que deux espèces, nous étudions le comportement en temps long du modèle déterministe afin de déterminer quelles espèces parviennent à survivre. Enfin, nous procédons à une étude par simulations pour explorer les possibilités de réconciliation des objectifs de rendement et biodiversité.

Travail en collaboration avec Nicolas Loeuille (iEES, Sorbonne Université) et Manon Costa (IMT).

Exposé à Metz. Titre et résumé à venir.

Exposé à Metz. Titre et résumé à venir.

Date possible pour le colloquinte

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.

Un ensemble de Sidon d’un semi-groupe est un ensemble dont toutes les sommes de deux éléments sont distinctes. Des travaux de Bose, Chowla et Erdős établissent que le cardinal maximal d’un ensemble de Sidon dans un intervalle d’entiers de cardinal $n$ est équivalent à $\sqrt{n}$. Nous nous intéresserons au cardinal maximal d’un ensemble de Sidon dans l’union (de cardinal $n$) de deux intervalles. Un résultat d’Abbott affirme qu’il est supérieur à $0,0805\sqrt{n}$. Nous améliorerons cette borne et prouverons que ce cardinal est en fait supérieur à $0,8444\sqrt{n}$. Nous parlerons également d’autres résultats à propos des ensembles de Sidon et d’une de leurs généralisations : les ensembles $B_2[g]$.

Je vais donner un survol des groupes quantiques semi-simples du point de vue géométrie non-commutative.  Je commencerai par expliquer la quantification des groupes de Lie semisimples compacts et complexes. Puis on discutera la géométrie des variétés de drapeaux quantiques, en commençant par l’exemple fondamental de la sphère de Podlès, une quantification de la sphère de Riemann $\mathbb{C}\mathbb{P}^1.$

Soient $\theta$ et $\rho$ des nombres réels avec $0 \le \theta, \rho < 1$ et $\theta$ irrationnel. Pour $n \ge 1$, posons $$ s_n := s_n (\theta, \rho) = \big\lfloor n \theta + \rho \big\rfloor – \big\lfloor (n-1) \theta + \rho \big\rfloor $$ Alors, le mot infini $$ {\bf s}_{\theta, \rho} := s_1 s_2 s_3 \ldots $$ est le mot sturmien (inférieur) de pente $\theta$ et d’intercept $\rho$, écrit sur l’alphabet $\{0, 1\}$. Nous explicitons le développement en fraction continue du nombre réel $$ \xi_{b, \theta, \rho} = (b-1) \, \sum_{n \ge 1} \, {s_n (\theta, \rho) \over b^n}. $$ Cela nous permet d’obtenir une formule donnant son exposant d’irrationalité en fonction de $\theta$ et du développement d’Ostrowski de $\rho$ en base $\theta$. Nous étendons ainsi un résultat classique de Böhmer (1927) qui ne couvre que le cas où $\rho = \theta$ et contient par exemple la surprenante égalité $$ \sum_{j \ge 1} {1 \over 2^{\lfloor j \gamma \rfloor} } = [0; 1, 2, 2, 2^2, 2^3, 2^5, 2^8, 2^{13}, 2^{21}, \ldots ], \quad \gamma = {1 + \sqrt{5} \over 2}. $$ Il s’agit d’un travail en commun avec Michel Laurent.

Almost-Riemannian manifolds constitute a class of manifolds with singular metric tensors. They give rise to well defined metric spaces and can be seen as the simplest non-equiregular sub-Riemannian structures. They attracted a lot of interested lately due to the quantum confinement phenomena, which states that a quantum particle on some classes of almost-Riemannian manifolds is confined by the singularity, while a classical particle modelled by the geodesics is not. I will explain some results concerning this phenomena, including some recent works by myself and together with U. Boscain and E. Pozzoli.

Ensembles de petite somme et ensembles de Sidon, étude de deux extrêmes (théorie des nombres, combinatoire additive).

Soutenance de thèse de Robin Riblet sous la direction d’Alain PLAGNE et d’Anne DE ROTON.

Vendredi 03 Septembre à 13h30 en salle de conférence et en visioconférence.

Soit $O_K$ l’anneau d’entiers algébriques d’un corps de nombres. Pour $a \in O_K \setminus \{0\}$ soit $N(a)$ la norme absolue de $a$, et $M = \{N(a) \colon a \in O_K \setminus \{0\} \}$. Il est bien connu que $M$ est un sous-semi-groupe multiplicatif de $\mathbb{N}^{\ast}$. Nous essayons de comprendre l’arithmétique de ces semi-groupes. Cela nous amène à étudier des suites à somme nulle pondérée sur des groupes abéliens finis.

Travaux en commun avec Safia Boukheche, Kamil Merito et Oscar Ordaz.

On étudie les résonances de l’opérateur de Laplace agissant sur les sections d’un fibré vectoriel homogène sur un espace symétrique Riemannien de type non-compact. On suppose que l’espace symétrique est de rang un, mais la représentation irréductible τ du compact maximal K, qui définit le fibré vectoriel, est quelconque. On détermine alors les résonances. Si on suppose de plus que τ apparaît dans les représentations de la série principale sphérique, on détermine les représentations issues des résonances. Elles sont toutes irréductibles. On trouve leurs paramètres de Langlands, leurs fronts d’onde et lesquelles sont unitarisables.

Résumé à venir

Résumé à venir

Résumé à venir

Programme :

10h30 – 11h00 | Accueil
11h00 – 12h30 | Groupe de travail –  Nabile Boussaid

Titre : TBA
Résumé : TBA

12h30 – 14h30 | Pause déjeuner

14h30 – 15h30 | Exposé – Killian Lutz

Titre : TBA
Résumé : TBA

16h00 – 17h00 | Exposé – Cristobal Loyola

Titre : TBA
Résumé : TBA

17h00 – 17h30 | Discussions

Programme

• 09h30 – 11h00 | Groupe de Travail –  Tristan Robert
  Titre : Sur la contrôlabilité locale exacte de l’équation de Schrödinger non-linéaire périodique
  Résumé : Dans cet exposé, on s’intéressera au contrôle local exact de l’équation de Schrödinger en dimension 1 avec conditions périodiques, en présence de contrôles bilinéaires, et au voisinage des modes propres. On commencera par passer rapidement en revue la méthode des moments, et en particulier les conditions naturelles sur les potentiels de contrôle, qui permettent d’obtenir la contrôlabilité du linéarisé. On expliquera ensuite en quoi ces conditions nécessitent de développer une théorie de Cauchy adaptée afin de pouvoir traiter le problème non-linéaire. On verra ainsi comment obtenir soit des résultats positifs de contrôle bilinéaire local exact, soit des obstructions topologiques à la contrôlabilité locale exacte, en fonction de la régularité des contrôles. Cet exposé est basé sur des travaux en cours en collaboration avec Rémi Buffe, Alessandro Duca, et Laurent Thomann.
• 11h00 – 11h30 | Pause café
• 11h30 – 12h30 | Exposé –  Nazim Kacher
  Titre : Backstepping de Fredholm pour les opérateurs auto-adjoints et application à la stabilisation rapide d’équations paraboliques en toute dimension
  Résumé : Le backstepping de Fredholm est un outil de stabilisation rapide, qui relie une équation à stabiliser à une équation cible, via une certaine transformation. Cette méthode se voyait jusque là contrainte à la dimension 1 en espace car pas adaptée pour gérer la croissance des valeurs propres.
  Dans cette présentation, nous montrerons comment l’introduction d’une projection spectrale dans l’équation cible nous débarasse de cet obstacle et nous permet d’appliquer le backstepping à des équations paraboliques en dimension quelconque. Ce travail est en collaboration avec Hoai-Minh Nguyen (Sorbonne Université) et Ludovick Gagnon (Inria Lorraine).
• 12h30 – 14h30 | Pause déjeuner
• 14h30 – 15h30 | Exposé –  Eugenio Pozzoli
  Titre : Approximate controllability of bilinear wave equations in minimum time in dimensions 1 and 2
  Résumé : This talk is devoted to the global approximate controllability (GAC) of a bilinear wave equation posed on the 1 or 2-dimensional torus. The Lie algebra generated by the control potentials and the drift satisfies a certain density property. The initial state W_0 is not the zero state. Let r(W_0) be the radius of the largest ball contained in the zero set Z(W_0) of W_0. We show that the minimum time for GAC from W_0 is equal to r(W_0). We present some ideas of the proof, based on Lie bracket methods à la Duca-Nersesyan, and the forward propagation of well-prepared positive states. We also discuss some weaker results in dimensions higher than 2 (such as the GAC from any initial state in sufficiently large time, and the small-time GAC from any initial state W_0 when Z(W_0) has zero Lebesgue measure). This is a joint work in collaboration with Karine Beauchard and Thomas Perrin.
• 15h30 – 16h30 | Exposé –  Hugo Parada
  Titre : Well-posedness and control of the KdV equation on star networks
  Résumé : In this talk, we address well-posedness and control issues for the Korteweg–de Vries (KdV) equation posed on star-shaped networks. We present sharp global well-posedness results for nonhomogeneous boundary value problems and analyze stabilization, as well as exact and null controllability properties. Particular attention is paid to the role of critical lengths, localization of the controls, and control constraints. This talk is based on joint work with E. Crépeau, C. Prieur, R. A. Capistrano-Filho, and J. S. da Silva.

Résumé à venir

Résumé à venir

Kernel-based methods are central to modern data analysis, supporting nonlinear regression, forecasting, and advanced function approximations and extensions. Here, we introduce two multiscale kernel constructions, adapted for three distinct application settings, each centered
around function approximations and extension schemes.

First, a multiscale iterative scheme is used to enhance coarse-grid finite-difference computations, enabling accurate fine-grid solutions. This same iterative scheme is also employed in a spatiotemporal kernel regression model, which fuses information from multiple spatial locations. This approach yields accurate forecasts across diverse real-world datasets, including solar energy productions, epidemiological trends, and fire-events dynamics.
Finally, a second construction uses high-order multiscale kernels, which are constructed via combinations of scaled Gaussians. This approach preserves more spectral energy in the leading modes and enhances Nyström-type extensions and out-of-sample embeddings in manifoldlearning settings.
Altogether, these contributions offer a unified multiscale perspective. By capturing data geometry with kernels and transferring information across scales and modalities, the framework enables a robust yet simple scheme for approximations and extensions. This approach is readily applicable to a wide range of scientific problems.

Résumé à venir

Dans ce groupe de travail, je vais donner un aperçu général des différents résultats d’existence globale en temps d’une classe de systèmes de réaction-diffusion qui proviennent de la modélisation de l’écologie (Systèmes de Lotka-Volterra), , la chimie (réactions chimiques réversibles) et de nombreux autres domaines scientifiques.

This is a joint work with Dan Tiba (Institute of Mathematics, Romanian Academy, dan.tiba@imar.ro).
We study the penalized steady Navier-Stokes with Neumann boundary conditions system in a holdall domain, its approximation properties (with error estimates) and the uniqueness of the solution that is obtained in a non standard manner. Numerical tests are presented.

As part of control theory, stabilization consists in finding a way to make stable a trajectory of a system on which one has some means of action. In this talk, we will discuss recent advances in stabilization of PDEs, starting with one of the most natural approaches for nonlinear systems, quadratic Lyapunov functions, to more complex approaches such as Fredholm backstepping. Backstepping consists in finding a control operator such that the PDE system can be invertibly mapped to a simpler PDE system for which stability is known. Surprisingly powerful, this approach offers the possibility to deal with very general classes of systems. We will review the origin of the method and present new results that resolve a question opened in 2017 and illustrate it on the rapid stabilization of the linearized water-wave equations. Finally, if time allows we will talk about a completely different subject: teaching mathematics to an AI and we will consider two questions, can we train an AI to predict the solution of a mathematical problem? can we train an AI to prove a statement?

Dans ce groupe de travail, je vais donner un aperçu général des différents résultats d’existence globale en temps d’une classe de systèmes de réaction-diffusion qui proviennent de la modélisation de l’écologie (Systèmes de Lotka-Volterra), , la chimie (réactions chimiques réversibles) et de nombreux autres domaines scientifiques.

We consider the wave propagation in a periodic structure made of a honeycomb arrangement of thin tubes. We prove the presence of Dirac points (in the dispersion surfaces of the associated operator). In addition, cutting the structure in the Zig Zag direction creates guides modes. Those results are proved by asymtptotic analysis: as the width of the tubes goes to zeros the domain tends to a graph (where explicite computations can be done). This is a joint work with Sonia Fliss (POEMS, Inria-ENSTA-CNRS).

I will present some recent work in collaboration with Elisa Davoli (TU Wien) and Katerina Nik (University of Vienna) on a three-dimensional quasistatic morpholelastic model. The mechanical response of the body and its growth are modeled by the interplay of hyperelastic energy minimization and growth dynamics. An existence result is obtained by regularization and time-discretization, also taking advantage of an exponential-update scheme. Then, we allow the growth dynamics to depend on an additional scalar field modeling nutrient concentration, and formulate an optimal control problem. Eventually, we tackle the existence of coupled morphoelastic and nutrient solutions, when the latter is allowed to diffuse and interact with the growing body.

On présente d’abord les notions de base et quelques résultats connus sur les plongements isométriques de régularité faible des variétés riemanniennes dans les espaces euclidiennes en basse dimension, sur leurs deux versants de flexibilité (h-principe) et rigidité, dont quelques résultats récents. En particulier, on note que Borisov, et le suivant, Conti-De Lellis et Székelyhidi, ont démontré la convexité de l’image d’un tel plongement dans ${\mathbb R}^3$ d’une surface sans bord si sa métrique est régulière de classe $C^{2,\beta}$, la courbure est positive, et le plongement est de classe $C^{1,\alpha}$ pour $\alpha>2/3$. On discute la généralisation de ce résultat au cas où la métrique est seulement de classe $C^{1,\alpha}$ et la courbure au sens distributionnel est seulement non-négative. Pour établir cette généralisation, une nouvelle approche moyennant l’étude de l’équation de Monge-Ampère au sens très faible devient nécessaire.

In this talk I will provide an overview on the problem of controllability of parameter dependent systems. I will explore different control notions successfully developed through the last decade.
The aim of the control function is to steer the system to a state satisfying some properties prescribed either at some time instant T>0 or during a given time interval. These properties may be separated with respect to parameter values and can refer just to a single system itself (e.g. greedy control), or may consider solutions corresponding to the whole parameter range (e.g. ensemble control, averaged control). In the latter case control functions are designed as parameter invariant, implying a same control is to be applied to the system independently of a particular realization of the parameter, while in the first case controls vary along with the parameter. Beside the positive theoretical results, for each notion we provide a computational algorithm.