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.

La description de la dynamique hors équilibre des systèmes quantiques ouverts, c.à.d. couplés à un environnement externe, pose des problèmes pas encore présents aux systèmes classiques. En particulier, le bruit quantique présent dans des équations Langevin est non markovien. Heuristiquement, on peut caractériser un bruit quantique par les propriétés suivants : (i) commutateurs canoniques aux temps égaux (ii) formule de Kubo pour la réponse linéaire (iii) théorème du viriel et surtout (iv) théorème fluctuation-dissipation quantique. Cette dernière propriété garantit pour toute température T>0  la relaxation du système vers un état d’équilibre quantique. Mathématiquement, cette caractérisation du bruit quantique est équivalente à la description traditionnelle de Caldeira et Leggett et de Ford-Kac-Mazur du type système-interaction-bain.

Le modèle sphérique a été introduit, par Berlin et Kac en 1952, afin de disposer d’un système exactement résoluble et capable d’avoir des transitions de phases à l’équilibre dont le propriétés ne se conforment pas à la théorie du champ moyen. Nous analysons ici les transitions de phases dynamiques qui se présentent lors du vieillissement, après une trempe du système initialement désordonné ,vers le point critique ou bien dans la phase ordonnée. Par rapport au cas classique (décrit par un bruit blanc markovien), des nouvelles techniques pour la solution explicite des équations Langevin sont requises. Ainsi on peut étudier la pertinence des propriétés non markoviens du bruit quantique sur la dynamique aux temps longs. Au cas de la dynamique quantique à température T=0, plusieurs différences qualitatives par rapport à la dynamique classique sont mises en évidence.

[1] R. Araújo, S. Wald, MH , J. Stat. Mech. 053101 (2019) [arxiv:1809.08975]

[2] S. Wald, MH, A. Gambassi, J. Stat. Mech. sous presse (2021) [arxiv:2106.08237]

Séminaire commun avec l’équipe PS

One of the seemingly innocent reformulations of the terrifying Riemann Hypothesis (RH) is the Nyman-Beurling criterion: The indicator function of (0,1) can be linearly approximated in a L^2 space by dilations of the fractional part function. Randomizing these dilations generates new structures and criteria for RH, regularizing very intricate ones. One other possible nice feature is to consider polynomials instead of Dirichlet polynomials for the approximations. How then are the huge difficulties reallocated? The answers are quite surprising!

The talk will be very accessible, especially for graduate students.
Joint work with F. Alouges and E. Hillion.

Pas d’exposé en raison des journées SL2R à Strasbourg :

http://irma.math.unistra.fr/article1841.html

L’exposé expliquera les points clefs de l’article suivant d’Yvette Kosmann-Schwarzbach :

“Derived brackets”, Letters in Math. Phys. 69, 61-87 (2004).

Soient $G=\mathrm{Spin}(n, 1)$ et $P$ un sous-groupe parabolique minimal de $G$. Soit $\pi$ une représentation unitaire irréductible de $G$. Dans cet exposé, je vais parler de la restriction de $\pi$ à P. Il s’agit d’un travail en commun avec Y. Oshima et J. Yu.

Soit $b\geq2$ un entier et $\mathcal{N}_b=\{0,1,\ldots,b-1\}$ l’ensemble des chiffres associé. Tout nombre réel $x\in[0,1]$ admet une représentation de la forme \[x=\sum_{k\geq1} a_kb^{-k}=0.a_1a_2a_3\ldots,\] avec $a_k\in\mathcal{N}_b$. Le nombre $x$ est dit normal en base $b$ si pour tout entier $\ell\geq1$ toute suite $d_1\ldots d_\ell$ de longueur $\ell$ d’éléments de $\mathcal{N}_b$ a la même fréquence d’apparitions $b^{-\ell}$, i.e. \[\lim_{n\to\infty}\frac1n \#\left\{0\leq k< n\colon a_{k+1}=d_1,\ldots,a_{k+\ell}=d_\ell\right\} =b^{-\ell}. \]

Michel Mendés France a demandé s’il existe un nombre réel $x$ tel que $x$ et $1/x$ soient normaux en base $2$. Dans cet exposé nous allons construire un tel nombre et montrer qu’il est calculable. En particulier, nous allons montrer que $x$ et $1/x$ sont normaux en toute base $b\geq2$ et également normaux par rapport à l’écriture en fraction continue.

Il s’agit d’un travail en commun avec Verónica Becher de l’Université de Buenos Aires.

Introduction au problème des crochets de Poisson en théorie de champs classique (Tilmann Wurzbacher)

Approche quotient aux formes et champs hamiltoniens (Maxime Wagner)

Approche Lie infinie à la Baez-Rogers-Stasheff (Gabriel Sevestre)

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

We are discussing the weak solvability of the fourth-order elliptic problems with variable exponents. When dealing with variable exponent problems, we can cover situations that cannot occur when treating constant exponent problems. Here we consider nonhomogeneous differential operators that extend the p(x)-biharmonic operators and we work on a class of general domains that includes both smooth and non-smooth domains.

On s’intéresse à la modélisation d’un écoulement à bulles compressibles par une méthode d’homogénéisation. 

We investigate the energy decay of hyperbolic system of wave-wave with generalized acoustic boundary conditions in N-dimensional space, with the equations being coupled through boundary connection. First, by spectrum approach combining with a general criteria of Arendt-Batty, we prove that our model is strongly stable. Then, after proving that this system lacks the exponential stability, we establish different type of polynomial energy decay rates provided that the coefficients of the acoustic boundary conditions satisfy some assumptions. Further, we present some appropriate examples and show that our assumptions have been set correctly. Finally, we prove that the obtained energy decay rate is optimal in particular case.

Abstract