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.

Let (X=G/K) be a noncompact complex Grassmann manifold of rank (r). Let (tau_l) be a character of (K), and (Ktimes_M{C}) the homogeneous line bundle associated with (tau_{l_{mid M}}). We give an image characterization for the Poisson transform (P_{lambda,l}) of (L^2)-sections of (Ktimes_M{C}). More precisely, for real and regular spectral parameter (lambda) in (mathfrak{a}^ast) we prove that (P_{lambda,l}) is an isomorphism from (L^2(Ktimes_M{C})) onto a space of joint eigensections (F) of the algebra of (G)-invariant differential operators on (Gtimes_K{C}) that satisfy (displaystylesup_{R>1}frac{1}{R^r}int_{B(R)}mid F(g)mid^2, {rm d}g<infty.) This generalizes a conjecture by Strichartz which corresponds to (tau_l) trivial.\

We consider Lie groups $G$ endowed with a pair of anticommuting left-invariant abelian complex structures $(J_1,J_2)$ and a left-invariant, possibly indefinite, metric $g$ such that $(G,J_1,J_2,g)$ results to be a hyperkähler manifold. We study the algebraic structure and geometric properties of such Lie groups with an abelian hyperkähler structure. It results that such groups are always 3-step nilpotent and there is a correspondence between the associated hyperkähler Lie algebras and certain triples $(V,Omega, J_s)$ defined for a complex (associative) commutative algebra $V$ such that $V^3={0}$. This correspondence allows us to compute the Riemannian curvature of the pseudo-metric, describe the holonomy algebra and show that hyperkähler Lie groups with abelian complex structures are complete and locally symmetric. This clearly implies that every simply-connected Lie group endowed with an abelian hyperkähler structure is actually a symmetric space. In constrast to the definite case, there exist non-flat examples of abelian hyperkähler Lie groups; they cannot be 2-step nilpotent and their dimension is always equal to or greater than 16. Moreover, using the triple description, we classify up to Lie algebra isomorphism all Lie algebras $g$ admitting an abelian hyperkähler structure for $dimgle 12$. Some remarks on their classification up to triholomorphic symplectomorphism will also be mentioned. [BS_HK] I. Bajo, E. Sanmart'{i}n, “Indefinite hyperkähler metrics on Lie groups with abelian complex structures”, 2019, to appear in Transformation Groups.

Résumé

www.iecl.univ-lorraine.fr/~Khalid.Koufany/SL2R2020/programme.html

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

La partie “problème direct” est un travail en collaboration avec Christophe Hazard, la partie “problème inverse” une collaboration avec Arnaud Recoquillay.

For a given scatterer, is it possible to design an incident wave that produces no scattering? The answer is yes if and only if the wave number coincides with a resonant frequency of an interior problem formulated inside the scatterer. This duality can be reversed and exploited to compute scattering poles. It can also be used to produce an indicator function for crack densities in a fractured media. These issues and related open questions will be the main topic of my talk.

Dans ce travail en collaboration avec Flaviana Iurlano et Filip Rindler, nous considérons un problème classique d’optimisation qui consiste à rechercher la forme optimale minimisant la compliance d’une structure élastique sous une contrainte de masse. Nous effectuons une analyse asymptotique des formes “quasi-optimales” quand la masse tend vers zéro. Les configurations limites sont données par des mesures de probabilité minimisant une énergie relaxée explicite, due à une perte de convexité du fait de la contrainte de masse. Nous retrouvons ainsi un modèle limite qui justifie rigoureusement la théorie des treillis de Michell pour des structures optimales de petite dimension par rapport à l’espace ambiant.

Il est connu qu’une application harmonique minimisante sur un domaine borné \(\Omega\subset\mathbb{R}^2\) à valeurs dans une variété \(\mathcal{N}\) — à savoir minimisant l’énergie de Dirichlet avec sa propre donnée au bord — est lisse. En particulier, si \(\Omega\) est simplement connexe, alors il n’est pas possible d’étendre à énergie finie une donnée au bord dont la classe d’homotopie n’est pas triviale. Pour de telles données au bord, nous verrons cependant comment définir des applications les plus harmoniques possibles. Ces applications sont harmoniques en dehors d’un ensemble fini de points — ou singularités ponctuelles — d’où l’appellation {\it applications harmoniques singulières}. L’énergie diverge alors logarithmiquement près de chaque singularité et dépend de la classe d’homotopie associée (le degré dans le cas où la variété est le cercle). La minimisation de l’énergie à l’ordre principal conduit à un problème combinatoire non trivial consistant à décomposer la donnée au bord en une liste optimale de singularités topologiquement compatibles ; nous décrirons quelques exemples concrets issus de la physique. À l’ordre suivant, être le plus harmonique possible signifie que l’énergie renormalisée, obtenue en retirant à l’énergie de Dirichlet la contribution infinie près de chaque singularité, est minimale. Nous verrons que pour certaines variétés suffisamment symétriques, en particulier dans le cas du cercle étudié par Bethuel-Brézis-Hélein, il est possible de caractériser le comportement près d’une singularité des applications minimisant l’énergie renormalisée.

Dans cette présentation sont présentées des méthodes de type éléments discrets ayant la particularité de dériver des équations continues de modèles mécaniques d’intérêt.

Ces travaux ont été effectués en collaboration avec A. Ern et L. Monasse.

We study the asymptotic behavior of linear hyperbolic systems subject to unknown boundary disturbances. Our aim is to construct a boundary feedback law, based on a sliding mode procedure, which rejects the disturbance in finite time and which globally stabilizes the equilibrium point zero. The main novelty of our approach consists in defining a sliding variable and a corresponding sliding surface on which the global exponential stability is ensured. More precisely, the sliding surface is derived from the gradient of a Lyapunov function. We will extend this approach to an equation of conservation laws with simulations.

Dans cet exposé je m’intéresserai à l’approximation numérique du modèle d’Euler à 2 températures dans le cadre bidimensionnel. Ce modèle est un système hyperbolique non conservatif capable de décrire un plasma hors équilibre. L’une de ses principales difficultés réside dans la gestion des
produits entre la vitesse et les gradients de pression dans le cas de chocs. Nous développerons un schéma numérique de type BGK discret que nous
étendrons à l’ordre 2. Cette extension sera réalisée en découpant chaque cellule en 4 triangles et en effectuant une reconstruction affine par maille. Ces idées ont été développées dans un cadre conservatif. Nous montrons dans le cas présent comment elles peuvent se généraliser à un cadre non conservatif.
Il s’agit d’un travail en collaboration avec Denise Aregba-Driollet et Corentin Prigent.

En 2004, C. Besse a présenté pour l’équation de Schrödinger non linéaire cubique la méthode d’intégration en temps appelée méthode de relaxation. Celle-ci est une méthode d’ordre 2, linéairement implicite (c’est-à-dire ne nécessitant que la résolution d’un système linéaire à chaque pas de temps) permettant de préserver à la fois la masse et une énergie discrète, propriétés vérifiées par le modèle continue. Dans cet exposé j’en présenterai deux « extensions ». La première permet d’étendre la méthode au cas d’exposants de non linéarité généraux tout en conservant l’ordre 2 et la préservation de la masse et d’une énergie discrète. La seconde, qui peut également s’appliquer à d’autres équations, permet d’obtenir la construction systématique de méthodes linéairement implicites d’ordre aussi élevé que l’on veut.

First, we consider a system of two wave equations coupled by velocities in one-dimensional space with one boundary fractional damping and we prove that the energy of our system decays polynomially with different rates. Second, we investigate the stabilization of a locally coupled wave equations with only one internal viscoelastic damping of Kelvin-Voigt type and we prove that the energy of our system decays polynomially with rate 1/t. Finally, we investigate the stabilization of a locally coupled wave equations with local viscoelastic damping of past history type acting only in one equation via non smooth coefficients and we establish the exponential stability of the solution if and only if the two waves have the same speed of propagation. In case of different speed propagation, we prove that the energy of our system decays polynomially with rate 1/t.