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.

Résumé

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é à 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

The aim of this talk is to study a stochastic Schrödinger equation with a quadratic nonlinearity and a space-time fractional perturbation, in space dimension $dleq 3$. When the Hurst index is large enough, we will prove local well-posedness of the problem using classical arguments. I will briefly talk about the case where we deal with a small Hurst index since even the interpretation of the equation needs some care. A renormalization procedure must come into the picture, leading to a Wick-type interpretation of the model. Our fixed-point argument then involves some specific regularization properties of the Schrödinger group, which allows us to cope with the strong irregularity of the solution. This is a joint work with Aurélien Deya and Laurent Thomann.

On considère une question étroitement liée à  une conjecture de Gromov: A quel seuil de régularité les immersions isométriques des domaines de $mathbb R^2$ dans $mathbb R^3$ sont développables? On cherche la réponse dans les régimes de Hölder $C^{1,s}$ ou plus généralement de Sobolev fractionnel $W^{1+s, p}$. Des bornes supérieures pour la valeur de seuil de $s$ sont classiquement obtenues par la méthode de l’integration convexe. Pour trouver les bornes inférieures, on définit une seconde forme fondamentale pour l’isométrie en question et on démontre qu’elle est une solution faible du système d’EDP de Gauss-Codazzi si $s>2/3$. L’analyse menant à  une démonstration de cette rigidité passe alors à  une discussion des solutions non-convexes et très faibles de l’équation de Monge-Ampère, et aux problèmes liés au déterminant de jacobien distributionnel.

We consider a nonlinear reaction–diffusion equation in a domain consisting of two bulk regions connected via small channels periodically distributed within a thin layer. The height and the thickness of the channels are of order $epsilon$, and the equation inside the layer depends on the parameter $epsilon$. We consider the critical scaling of the diffusion coefficients in the channels and nonlinear Neumann-boundary condition on the channels’ lateral boundaries. We derive effective models in the limit $epsilon to 0 $, when the channel-domain is replaced by an interface $Sigma$ between the two bulk-domains. Due to the critical size of the diffusion coefficients, we obtain jumps for the solution and its normal fluxes across $Sigma$, involving the solutions of local cell problems on the reference channel in every point of the interface $Sigma$. This is a joint work with Markus Gahn (University of Heidelberg)

Durant les 40 dernières années, des efforts considérables ont été consacrées à  l’étude des systèmes de réaction-diffusion avec des données initiales bornées ou de carré intégrable, et avec des non-linéarités au plus quadratiques. En revanche, on en sait relativement peu dans le cas o๠les données initiales sont de faible régularité et les non-linéarités sont à  croissance super-quadratique. Dans cet exposé, nous présentons une nouvelle estimation a priori avec des données initiales dans L1 qui étend l’estimation a priori L2 de Michel Pierre. Ensuite, nous expliquons comment cette estimation a priori L1 nous permet : de simplifier la preuve de certains résultats récents ; d’établir de nouveaux résultats d’existence pour des systèmes o๠les non-linéarités sont super-quadratiques. L’exposé repose sur un travail récent avec Benoit Perthame et sur un papier avec Michel Pierre.

Cet expose sera une introduction aux quelques résultats basiques pour les équations aux dérivées partielles sur domaine polyédrique. Par exemple, il est bien connu due aux travaux de Costabel, Dauge, Kondratiev, Mazya, Nicaise et d’autres que les solutions des équations elliptiques sur domaines non lisses souffrent d’une “perte de régularité.” Une question naturelle est qu’est-ce qu’on peut faire pour soulager ce problème, qui cause des ennuis pour les méthodes numériques. Les résultats que je vais exposer aident à  résoudre certains aspects de ce problème. L’exposé sera assez informel et basique.

My talk will be devoted to the qualitative properties of some nonlocal reaction-diffusion equations set on “perforated” open sets. One of the cornerstones in the study of this type of problem lies in suitable rigidity results of Liouville-type, which allow the classification of stationary solutions. I will give some results in this direction, under some geometric assumptions on the domain. This talk is based on some joint works with J. Coville, F. Hamel and E. Valdinoci.

I will present some recent results obtained in collaboration with Roberto Feola. I shall prove that small solutions of quasilinear equations on the circle exist for long time (depending on the size of the initial condition) if the equation enjoys an algebraic structure. In this directions I will consider the Hamiltonian or reversible equations. The main difficulties are the lack of dispersion, due to the compactness of the circle, and the lack of “easy” energy estimates due to the quasi-linear nature the considered equations.

Dans ce travail, on s’intéresse à  des configurations optimales de ressources (typiquement des denrées alimentaires) nécessaires à  la survie d’une espèce, dans un espace fermé. A cette fin, nous utilisons un modèle dit logistique pour décrire l’évolution de la densité d’individus constituant cette population. Cette équation fait intervenir une fonction représentant la répartition hétérogène (en espace) des ressources. La question principale traitée dans cet exposé peut se formuler ainsi : comment répartir de façon optimale des ressources dans un habitat ? Cette question peut se reformuler comme un problème de contrôle optimal ou d’optimisation de forme, dans lequel on cherche à  optimiser un critère mettant en jeu la valeur propre principale d’un opérateur par rapport au domaine occupé par les ressources ou encore une fonction de la densité de population dépendant implicitement d’un terme de ressources. Nous présenterons dans cet exposé de nouveaux résultats complétant une analyse ancienne de ces problèmes, ainsi que de nombreuses propriétés qualitatives.