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.

Les notions de base sur les immeubles affines seront introduites : ces espaces sont des complexes cellulaires attachés à des groupes de Lie non archimédiens pour mieux les comprendre. Ensuite, quelques procédures classiques pour compacter ces espaces seront décrites, par analogie avec les espaces symétriques riemanniens non compacts. Ce sera enfin l’occasion d’expliquer en quel sens les compactifications de Martin fournissent un moyen naturel et analytique d’obtenir des compactifications “à gros bord” (obtenues plus artificiellement auparavant).

L’objectif est de construire un algorithme de fraction continue complexe trouvant toutes les meilleures approximations diophantiennes d’un nombre complexe. En utilisant la suite des vecteurs minimaux d’un réseau de $\mathbb{C}^2$ sur l’anneau des entiers de Gauss, nous obtenons un algorithme défini sur une sous-variété de $\mathrm{SL}(2,\mathbb{C})$. La correspondance entre les vecteurs minimaux et les meilleures approximations diophantiennes garantit que notre algorithme atteint son but. Un sous-produit de l’algorithme est la meilleure constante pour la version complexe du théorème de Dirichlet sur les approximations des nombres complexes par les quotients de deux entiers gaussiens.

Détection des chiffres en base de Zeckendorf.

Une suite est dite pseudo-aléatoire est une suite qui “ressemble” à une suite aléatoire. Ces suites ont de nombreuses applications en cryptographie, en particulier, dans le chiffrement par flot et des dispositifs de registre à décalage à rétroaction linéaire. Pour évaluer ce caractère, il faut faire appel à plusieurs notions mathématiques telles que la corrélation, la complexité linéaire et bien d’autres mesures de complexité et répartition. Alors pour tenter de créer des suites pseudo-aléatoires, on peut prendre des exemples issus de la théorie des nombres comme la suite des valeurs du symbole de Legendre pour un grand nombre premier.

L’objectif de cette journée est d’expliciter différentes relations qui existent entre la cryptographie et la théorie des nombres et de mettre en évidence leur lien avec des suites pseudo-aléatoires.

Cette journée scientifique est organisée dans le cadre institutionnel de la Fédération Charles Hermite et avec le soutien de LUE-Digitrust et l’ANR ArithRand.

Programme de la journée

Organisateurs locaux:

Cécile Dartyge (IECL), Damien Jamet (LORIA), Pierre Popoli (IECL) et Thomas Stoll (IECL)

Erdős proved that there are infinitely many weakly prime numbers (also called (digitally) delicate primes), i.e. prime numbers such that changing any single one of the digits, in a given base, with any other digit always results in a composite number. Tao proved that weakly prime numbers constitute a positive proportion in all prime numbers. In this talk, we are going to discuss further quantitative refinements on the distribution of weakly prime numbers.

Dans cet exposé, on va s’intéresser aux informations qu’on peut donner sur les zéros d’un polynôme $P$ à coefficients complexes connaissant sa mesure de Mahler $M(P)$. Ces informations concerneront notamment la localisation des zéros, leur distance à certains points du cercle unité, le nombre de zéros réels.

On donnera également des résultats de minoration relatifs à la mesure de Mahler. Au fil de l’exposé, on revisitera ainsi des résultats classiques relatifs aux polynômes de $\mathbb{Z}[X]$, qu’on généralisera aux polynômes à coefficients complexes.

Par exemple, un théorème de A. Schinzel montre que tout polynôme $P$ de $\mathbb{Z}[X]$, totalement réel, de degré $d$, vérifiant $P(-1)P(1)\not=0$, $\vert P(0)\vert=1$, est tel que
\[M(P)\ge \Big(\frac{1+\sqrt 5}{2}\Big)^\frac{d}{2}.\]
Nous montrons que si un polynôme $P$ de $\mathbb{C}[X]$ possède $m\geq 1$ racines réelles et satisfait $P(-1)P(0)P(1) \neq 0$, alors
\[M(P)\ge \Bigg(\frac{\vert P(1)P(-1)\vert^{\frac{1}{m}}+\left(4^{\frac{d}{m}}\vert P(0)\vert^{\frac{2}{m}}+\vert P(1)P(-1)\vert^{\frac{2}{m}}\right)^{\frac{1}{2}}}{2^{\frac{d}{m}}}\Bigg)^{\frac{m}{2}}.\]

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

L’équation de courbure scalaire dans une classe conforme est une EDP elliptique non-linéaire d’ordre 2. La nonlinéarité est critique du point de vue des plongements de Sobolev. L’invariance conforme et cette criticalité rendent cette équation non-compacte, au sens où l’ensemble de ses solutions n’est pas compact dans C^2. Cette non-compacité perdure pour des perturbations de l’équation, et on parle alors d’instablité. Dans ces exposés, je parlerai des diverses description de cette instabilité pour cette équation ainsi que pour des classes plus large de problèmes, en particulier d’ordre >2.

Dans cet exposé, nous nous intéressons à une équation de convection-diffusion avec un terme non linéaire en gradient de température appelé terme “d’effet Joule”. Une méthode de volumes finis est proposée pour l’approximation numérique de la solution, dont la convergence vers une solution faible est démontrée. Nous établissons en particulier une inégalité discrète de Gagliardo-Nirenberg d’ordre deux sur laquelle la preuve s’appuie. Ce travail a été réalisé en collaboration avec Caterina Calgaro et Clément Cancès.

L’équation de courbure scalaire dans une classe conforme est une EDP elliptique non-linéaire d’ordre 2. La nonlinéarité est critique du point de vue des plongements de Sobolev. L’invariance conforme et cette criticalité rendent cette équation non-compacte, au sens où l’ensemble de ses solutions n’est pas compact dans C^2. Cette non-compacité perdure pour des perturbations de l’équation, et on parle alors d’instabilité. Dans ces exposés, je parlerai des diverses description de cette instabilité pour cette équation ainsi que pour des classes plus large de problèmes, en particulier d’ordre >2.

Le système de Vlasov-Navier-Stokes est un couplage fluide/cinétique décrivant l’évolution d’un aérosol au sein d’un fluide. Dans le contexte de l’aérosolthérapie, l’absorption est la condition aux bords la plus adéquate pour la phase dispersée, en raison de la présence de mucus sur les voies aériennes pulmonaires. En gardant ce cadre applicatif à l’esprit, on s’interrogera sur la possibilité de récupérer cette condition au bord par l’étude du même système dans tout l’espace, dans une limite (localisée) de grande viscosité, en utilisant la théorie des traces renormalisées de Boyer-Mischler pour les équations de transport.

Rencontre GDR-Calva à Nancy 13-14 décembre 2022

Site de la rencontre :  https://indico.math.cnrs.fr/event/8364/page/567-accueil

Organisateurs:  Antoine Lemenant (Nancy), Reza Pakzad (Toulon)

Gestion administrative: Virginie Lamouroux (Nancy), Valérie Gobert (Nancy)

Pour toute question veuillez contacter : Antoine.Lemenant@univ-lorraine.fr

Liste des orateurs :

Jean-François Babadjian (Paris-Saclay)

Antonin Chambolle (Paris-Dauphine)

Gisella Croce (Le Havre)

Thierry De Pauw (Paris)

Guy David (Paris Saclay)

Michael Goldman (Paris)

Ilaria Lucardesi (Florence)

Exposés courts :

Jules Candau-Tilh (Lille-Paris)

Peter Gladbach (Bonn)

Camille Labourie (Erlangen-Nuremberg)

Yana Teplitskaya (Leiden)

L’interpolation et l’approximation de fonctions définies sur la sphère sont des questions classiques en analyse harmonique et en analyse numérique.
Elles interviennent de façon essentielle dans de nombreux domaines en physique et en chimie: climatologie sur la sphère terrestre, chimie quantique, neutronique, analyse des données sur la sphère, etc.
On présente ici un algorithme de calcul en harmoniques sphériques associé à une grille sphérique particulière, la “Cubed Sphere” équiangulaire.
Différentes applications seront également présentées, dont des formules de quadrature sphériques.

Il s’agit d’un travail avec Jean-Baptiste Bellet et Matthieu Brachet.

Résumé: Un milieu quasi-périodique est un milieu ordonné sans être périodique. Un exemple assez connu depuis le prix Nobel de Chimie 2011 est le quasi-cristal. La notion de quasi-périodicité est très bien définie dans la littérature mathématique. Pour donner une idée, une fonction quasi-périodique 1D est la trace suivant une droite donnée d’une fonction périodique de plusieurs variables. Les EDP à coefficients quasi-périodiques ont fait l’objet d’études théoriques dans le contexte de l’homogénéisation, mais il semble qu’il y ait eu beaucoup moins de travaux en dehors de ce contexte, et encore moins sur la résolution numérique de ces équations.

L’objectif de ce travail est de développer des méthodes numériques originales pour résoudre l’équation des ondes harmoniques en milieux quasi-périodiques, dans l’esprit des méthodes précédemment développées pour des milieux périodiques. L’idée est d’utiliser le fait que l’étude d’une EDP elliptique avec des coefficients quasi-périodiques se ramène à l’étude d’une EDP augmentée non-elliptique, posée en dimension supérieure, mais dont les coefficients sont périodiques. Cette approche, dite de relèvement, permet de résoudre l’EDP périodique avec des outils adaptés. Cependant, le caractère non-elliptique rend l’analyse mathématique et numérique de la méthode délicate.

Dans cet exposé, je présenterai dans un premier temps la méthode de relèvement sur un problème 1D quasi-périodique. Je discuterai ensuite de l’extension de cette méthode à un problème de transmission entre un milieu périodique et un milieu constant, lorsque l’interface ne coupe pas le milieu périodique dans une direction de périodicité. L’efficacité de l’approche sera illustrée par des résultats numériques.  

Le système de Vlasov-Navier-Stokes est un couplage fluide/cinétique décrivant l’évolution d’un aérosol au sein d’un fluide. Dans le contexte de l’aérosolthérapie, l’absorption est la condition aux bords la plus adéquate pour la phase dispersée, en raison de la présence de mucus sur les voies aériennes pulmonaires. En gardant ce cadre applicatif à l’esprit, on s’interrogera sur la possibilité de récupérer cette condition au bord par l’étude du même système dans tout l’espace, dans une limite (localisée) de grande viscosité, en utilisant la théorie des traces renormalisées de Boyer-Mischler pour les équations de transport.