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é

Résumé

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

Résumé

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

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

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 focus of this talk will be on the explanation of various mathematical concepts which go under the name of resonance and how they are related. Towards the end, I will give a non-technical survey of some recent results.

Nous présentons deux approches différentes pour construire des méthodes numériques pour les problèmes hautement oscillants, dont la précision est uniforme par rapport à  la fréquence d’oscillation. On parle dans ce cas de schémas UA (uniformly accurate). Une première méthode UA consiste à  séparer les variables rapide et lente, en rajoutant de façon adéquate une variable supplémentaire au modèle. Une deuxième méthode UA est basés sur une décomposition micro-macro qui reformule le problème en une équation moyennée à  différents ordres en la fréquence, couplée à  une équation micro satisfaite par le reste. Les propriétés de régularité uniforme par rapport à  la fréquence dont jouissent ces deux reformulations, permettent l’utilisation des méthodes numériques usuelles avec un ordre de précision indépendant de la fréquence des oscillations. Des applications en théorie cinétique (Vlasov avec Champ magnétique fort) et en mécanique quantique (Klein-Gordon et limite non-relativiste) seront présentées.

I will present the Palindromic Discontinuous Galerkin (PDG) method. The PDG method is a general implicit (but matrix-free) high order method for approximating systems of conservation laws. It relies on a kinetic interpretation of the conservation laws containing stiff relaxation terms. The kinetic system is approximated with an asymptotic-preserving high order DG method. I will also describe the parallel implementation of the method, based on the StarPU runtime library, and some applications to fluid mechanics and plasma physics

En 2005-2007 Burdzy, Caffarelli et Lin, Van den Berg ont conjecturé, dans des contextes différents, que l’asymptotique des partitions optimales d’un domaine du plan en cellules minimisant la somme (le maximum) des premières valeurs propres du Laplacien-Dirichlet est donnée par un réseau d’hexagones réguliers. Nous allons discuter l’historique de cette conjecture en présentant les arguments de Toth et Hales pour le problème du nid d’abeilles en nous allons démontrer la conjecture (du maximum) pour les valeurs propres du Laplacien-Robin. Les résultats ont été obtenus en collaboration avec I. Fragala, B. Velichkov et G. Verzini.

Let $Ngeq 2$ and $Omegasubseteq mathbb{R}^N$ denote a domain containing the origin $0$. In this talk, we present recent gradient estimates for the positive solutions $uin C^2(Omegasetminus{0})$ of nonlinear elliptic equations such as $$ {rm div} (|x|^{sigma}|nabla u|^{p-2} nabla u)= |x|^{-tau} u^q |nabla u|^m quad mathrm{in } Omega setminus { 0 }. $$ We assume throughout that $m,p,q,sigma$ and $tau$ are real parameters satisfying $p in ]1,N+sigma]$ and $min{k,ell,m,q}in ]0,+infty[$, where $k:=m+q-p+1$ and $ell:=q+1-sigma-tau $. This is joint work with Joshua Ching (The University of Sydney).

On présentera une séries de travaux en collaboration avec Henri Berestycki sur des systèmes de prédateurs qui interagissent entre eux et avec une seule proie. Ce système est lié au célèbre modèle de dynamique de population de Lotka et Volterra, ainsi que au modèle de Gross et Pitaevskii proposé pour l’étude des condensats de Bose-Einstein, et à  des modèles de réactions chimiques distribuées spatialement. On analysera le cas de prédateurs qui, comme les loups, peuvent se partager en meutes hostiles. Les questions qui on se posera sont de comprendre sous quelles conditions les prédateurs se partagent en meutes, s’il y a un avantage à  avoir des meutes hostiles et finalement de comparer les différents configurations qui émergent dans ce contexte. Plus précisément, on se concentra sur l’analyse des solutions stationnaires, notamment leur stabilité, et sur l’asymptotique du système quand le paramètre de compétition diverge.

Résumé

Résumé

Résumé

In this talk, we shall present some homogenization results, obtained via the periodic unfolding method, for thermal diffusion problems in a highly heterogeneous periodic composite material formed by two constituents, separated by an imperfect interface where the temperature and the flux exhibit jumps. Depending on the geometry of the composite medium, on the properties of its two constituents and on the magnitude of the jump of the solution and of the flux across the imperfect interface, various types of problems arise at the macroscale. These problems capture in various ways the influence of the jumps: in the effective coefficients, in the right-hand side of the homogenized problem, and in the correctors, as well. Joint work with Renata Bunoiu (Université de Lorraine – Metz, France)