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é

Brascamp–Lieb inequalities are multilinear integral inequalities, classically set in Euclidean spaces, in which the functions involved possess symmetries that can be described via annihilation by translation invariant vector fields. With this point of view in mind, in this seminar I will present a general strategy to obtain inequalities of Brascamp–Lieb type on compact homogeneous spaces of Lie groups. The proof relies on a monotonicity property of the heat flow. In particular, I will focus on the case of real spheres, where the obtained inequalities are seen to be sharp for certain choices of symmetries.

Le but de cet exposé est d’introduire une classe indice pour les opérateurs longitudinaux G-transversalement elliptiques. Je commencerai par rappeler la définition de l’indice d’un opérateur elliptique G-invariant sur une variété compacte et le théorème de l’indice d’Atiyah-Singer. Ensuite j’introduirai la définition de la classe indice pour un opérateur G-transversalement elliptique introduite par Atiyah et celle pour les familles d’opérateurs G-transversalement elliptiques introduite dans ma thèse. Je discuterai dans le même temps les différents axiomes vérifiés par ces classes indices. Je terminerai avec les derniers résultats obtenus en collaboration avec Moulay Benameur, dans le cadre des feuilletages.

Quantum groups have been defined in the analytical/topological setting by Woronowicz in the 1980s. In this talk, we will give a brief introduction to these objects and see how they can be used for describing quantum symmetries. We will discuss some examples arising from so called “easy” quantum groups or quantum automorphism groups of finite graphs. Some ongoing research project on de Finetti type theorems with Isabelle Baraquin (Metz) will be mentioned as well.

Résumé

In this talk I will present the problem of finding extremal potentials for the functional determinant of a one-dimensional Schrödinger operator defined on a bounded interval with Dirichlet boundary conditions. We consider potentials in a fixed $L^q$ space with $qgeq 1$. Functional determinants of Sturm-Liouville operators with smooth potentials or with potentials with prescribed singularities have been widely studied, I will present a short review of these results and will explain how to extend the definition of the functional determinant to potentials in $L^q$. The maximization problem turns out to be equivalent to a problem in optimal control. I will explain how we obtain existence and uniqueness of the maximizers. The results presented in the talk are join work with J-B. Caillau (UCDA, CNRS, Inria, LJAD) and P. Freitas (Lisboa).

Résumé

Résumé

For an arbitrary morphism of (super)manifolds, the pull-back is a linear map of the space of functions. In 2014 Th.Voronov have introduced thick morphisms of (super)manifolds which define a generally non-linear pull-back of functions. This construction was introduced as an adequate tool to describe L-infinity morphisms of algebras of functions provided with the structure of a homotopy Poisson algebra. It turns out that if you go down from `heaven to earth’, and consider usual (not super!) manifolds, then we come to constructions which have natural interpretation in classical and quantum mechanics. In particular in this case the geometrical object which defines the thick diffeomorphism becomes an action of classsical mecanics, and pull-back of the thick diffeomorphism with a quadratic action give a spinor representation. I will define a thick morphism and will tell shortly about their application in homotopy Poisson algebras. Then I will discuss the relation of thick morphisms with notions such as the action in classical mechanics and spinors. The talk is based on the work: “Thick morphisms of supermanifolds, quantum mechanics and spinor representation’, J.Geom. and Phys., 2019, article Number: 103540, https://doi.org/10.1016/ j.geomphys.2019.103540, arXiv:1909.00290 Authors: Hovhannes Khudaverdian, Theodore Voronov

https://dev-iecl.univ-lorraine.fr/Les-Seminaires/Theorie-Des-Nombres/wolfcms/seminaire.html

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 cet exposé, nous présenterons plusieurs résultats concernant un problème d’optimisation en écologie spatiale et qui peut se formuler ainsi: comment, au sein d’un domaine, répartir les ressources accessibles à une population afin de garantir que cette dernière soit de taille maximale? Dans cet exposé, nous nous concentrerons sur les propriétés qualitatives de ce problème. Nous mettrons en évidence, entre autre, des propriétés de type concentration/fragmentation des ressources: vaut-il mieux répartir le plus possible les ressources ou, au contraire, les concentrer en un unique endroit? Contrairement à plusieurs critères mieux connus (comme la capacité de survie), où la concentration de ressources est toujours favorable, et ce indépendamment de la vitesse de déplacement des individus, pour la taille de la population, nous montrons que, plus cette vitesse de déplacement est faible, plus la fragmentation est un atout. La première partie de l’exposé sera essentiellement descriptive, et nous donnerons des éléments de preuve dans la seconde. Les différents travaux qui seront présentés ont été réalisés en collaboration avec G. Nadin, Y. Privat et D. Ruiz-Balet.

We investigate the evolutionary dynamics of a population structured in phenotype, subjected to trait dependent selection with a linearly moving optimum and an asexual mode of reproduction. The model consists of a non-local and non-linear parabolic PDE. Our main goal is to measure the history of traits when the population stays around an equilibrium. We define an ancestral process based on the idea of neutral fractions. It allows us to derive quantitative information upon the evolution of diversity in the population along time. First, we study the long-time asymptotics of the ancestral process. We show that the very few fittest individuals drive adaptation. We then tackle the adaptive dynamics regime, where the effect of mutations is asymptotically small. In this limit, we provide an interpretation for the minimizer of some related optimization problem, an Hamilton Jacobi equation, as the typical ancestral lineage.

En se concentrant sur les équations de Burgers stochastiques avec bruit blanc espace-temps, on va dérouler une procédure générale et assez standard qui prouve simultanément existence et d’unicité de la solution de l’équation aux dérivés partielles stochastiques avec bruit additif et la convergence (forte) d’un schéma d’approximation vers la solution. Le schéma sera explicite discret de type Euler exponentiel accéléré. Au cours de la présentation on détaillera aussi toutes les quantités qu’on considère, bruit et convolution stochastique inclus. Une partie de l’exposé est basée sur des travaux commun avec A. Jentzen et D. Salimova.

La stabilisation des systèmes dynamiques est un problème classique en théorie du contrôle. Dans de nombreux cas provenant de l’ingénierie ou de la physique, seule une mesure partielle de l’état du système est connue. Une approche commune dans ce cas est de s’appuyer sur une estimation de l’état du système sur laquelle on construit notre contrôle. Cependant, l’estimation du système nécessite que la prise de mesure soit une opération injective pour permettre son inversion, c’est l’observabilité du système. Celle-ci dépend fortement de la dynamique. Pour un système dynamique contrôlé non linéaire, cette injectivité est mise à  mal lorsque le système traverse des singularités d’observabilité o๠la reconstruction de l’état est impossible. A ce jour, peu de garanties existent concernant le contrôle et l’estimation simultanée de systèmes admettant des singularités d’observabilité. On discute donc des difficultés posées par ce cas de figure et on explore des stratégies fondées sur les plongements de systèmes dynamiques et les observateurs de dimension infinie.

Nous nous intéresserons à  l’équation de Helmholtz, un des plus simples modèles d’onde, posée à  l’extérieur d’un obstacle. Pour résoudre numériquement une telle équation, posée dans un domaine non-borné, il est naturel d’essayer de se ramener à  un domaine borné. Une technique naturelle, très utilisée en pratique, est de tronquer le domaine et d’imposer une condition au bord du type impédance, qui approche la condition de radiation de Sommerfeld caractérisant le comportement sortant de l’onde, sur le bord tronqué. Avec Jeffrey Galkowski (University College London) et Euan Spence (University of Bath), nous venons de montrer qu’une telle approximation est en faite mauvaise à  hautes fréquences, car à  l’origine d’une erreur relative indépendante de la fréquence. Je présenterai ce résultat et l’idée derrière sa preuve, qui se base sur l’utilisation de mesures de défaut semi-classiques, objet mesurant la concentration de la masse des solutions, à  la fois en position et en direction, dans la limite des hautes fréquences.

Grâce à  la vitesse infinie de propagation, l’équation de Schrodinger est souvent observable en temps très court. Cependant, ce n’est pas le cas si la géométrie sous-jacente est sous-elliptique. Dans cet exposé, on considère l’équation de Schrodinger associée à  l’opérateur de Bouendi-Grushin dont le symbole principal dégénère sur une droite. Dans le cas de Bouendi, l’effet de transport se manifeste dans un certain régime qui est responsable à  une condition de contrôle géométrique sous-elliptique. Dans le cas général o๠l’effet sous-elliptique est plus fort, l’observabilité en temps classique n’est pas vraie et l’on va la remplacer du point vue semi-classique, par une estimation de résolvante optimale. Cet exposé est basé sur les collaborations avec N. Burq (Orsay) et C. Letrouit (ENS).

Un résultat important de Casten, Holland (1978) et Matano (1979) établit que si le domaine est convexe et borné, toute solution stable d’une telle équation est constante. Dans cet exposé, nous examinerons dans quelle mesure ce résultat de classification s’étend aux domaines non-bornés ou non-convexes. Ces questions font intervenir la géométrie du domaine de manière délicate. Nos résultats étendent en particulier certains résultats classiques sur la conjecture de De Giorgi a propos de la classification des solutions de l’équation d’Allen dans R^n.

On considère l’équation de la chaleur semi-linéaire sur la droite réelle. Si la solution est bornée, alors elle est globale et lisse, et l’ensemble des profils limite est non vide, connexe. Il est naturel de se demander dans quelle mesure ces profils limites, et donc le comportement en temps long de la solution, sont déterminés par les solutions stationnaires de l’équation. Si par exemple la solution est convergente, alors son ensemble omega-limite est réduit à  un singleton, solution stationnaire de l’équation. La convergence n’est en revanche pas une propriété générique de ces équations, mais si tous les profils limites sont solutions stationnaires on parlera alors de quasiconvergence. Dans ce séminaire je présenterai quelques résultats de quasiconvergence dans le cas o๠la condition initiale admet des limites à  l’infini. En particulier, dans la situation générique o๠les limites à  l’infini sont distinctes, toute solution bornée est quasiconvergente, indépendamment du terme non linéaire. Dans un second temps, on s’intéresse à  la situation de limites égales. Un résultat similaire est impossible, des contre-exemples ayant été donnés. On montre alors que, dans une certaine mesure, les contreexemples connus sont les seules situations de non quasiconvergence.

Dans les modèles d’écoulement d’un fluide visqueux en contact avec par des parois solides, la condition d’adhérence (qui impose que la vitesse du fluide coïncide avec la vitesse de la paroi le long de celle-ci) est la plus communément employée. Cette condition empirique est satisfaisante pour des écoulements à  échelle macroscopique. Cependant, elle devient imprécise à  des échelles très petites, comme par exemple dans le cas d’écoulement dans des nanotubes de carbone, o๠de nombreuses expériences ont mesuré un glissement du fluide sur la paroi. Ce glissement est généralement modélisé par une condition de Navier, qui introduit un paramètre appelé longueur de glissement. De nombreuses hypothèses sont actuellement étudiées pour expliquer l’origine de ce glissement apparent, et obtenir des longueurs de glissement cohérentes avec celles mesurées expérimentalement. L’une d’entre elles est la présence au voisinage de la paroi d’une couche de gaz extrêmement fine réduisant la friction entre le fluide et la paroi. Suivant les travaux de Tim G. Myers (Centre for mathematical research, Barcelona), nous proposerons dans cet exposé un modèle simplifié dans lequel la couche gazeuse est caractérisée par sa viscosité beaucoup plus faible que dans le reste du fluide. En partant d’une condition d’adhérence sur la paroi, nous montrerons que pour un certain choix du rapport des viscosités, le problème limite obtenu lorsque l’épaisseur de la couche gazeuse tend vers zéro est effectivement régi par une condition de Navier. Ce travail est en collaboration avec Julien Olivier (Aix-Marseille Université).