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.

Soutenance de these

Let $p$ be a prime number. For each positive integer $k\geq 2$, it is widely believed that the smallest prime that is a $k$th power residue modulo $p$ should be $O(p^{\epsilon})$, for any $\epsilon>0$. Elliott proved that such a prime is at most $p^{\frac{k-1}{4}+\epsilon}$, for each $\epsilon>0$. In this talk we discuss the distribution of prime $k$th power residues modulo $p$ in the range $[1, p]$, with a more emphasis on the subrange $[1,p^{\frac{k-1}{4}+\epsilon}]$ for $\epsilon>0$.

Un théorème classique de Macaulay en Algèbre commutative (1927) caractérise les fonctions de Hilbert des algèbres graduées standard. Ce théorème a des conséquences remarquables en Combinatoire additive, comme cela n’a été observé que tout récemment. L’objet de l’exposé est de montrer deux telles applications, sur la conjecture de Wilf portant sur les semigroupes numériques, et sur la croissance des ensembles sommes itérés dans un groupe abélien.

I will survey what is known about the distribution of the orders of integers mod $p$, as $p$ varies. Particular attention will be paid to problems of the following sort: For fixed $a$ and $b$, how do the order of $a$ mod $p$ and the order of $b$ mod $p$ compare, as $p$ varies? The proofs will draw from the elementary, algebraic, and analytic strands of number theory. (So hopefully something for everyone!)

Après avoir introduit le groupe des transformations birationnelles du plan projectif complexe, j’en donnerai quelques propriétés en faisant un parallèle avec les groupes linéaires.

On a surface M with strict negative curvature given two closed curves $c_1,c_2$, the Poincaré series is a complex function counting orthogeodesic arcs joining the two curves, in the same way the Riemann zeta function counts the primes. I will first discuss the meromorphic continuation of the Poincaré series and when the curves are homologically trivial, I will explain why the value at 0 is a well–defined rational number which can be interpreted as linking of Legendrian knots. A corollary of our result is that for any pair of points (x,y) in M x M, the lenghts of the geodesics joining the two points determine the genus of M.

Zoom Meeting: Meeting ID: 895 2739 9138, Passcode: 7ni0ti

13:45 – 14:40: Alessandra IOZZI (ETH Zürich)

 The real spectrum compactification of character varieties: characterizations and applications

We describe properties of a compactification of general character varieties with good topological properties and give various interpretations of its ideal points. We relate this to the Thurston-Parreau compactification and apply our
results to the theory of maximal representations.

This is a joint work with Marc Burger, Anne Parreau and Maria Beatrice Pozzetti.

15:00 – 15:55: Raphaël BEUZART-PLESSIS (Aix-Marseille Université and CNRS)

Multipliers and isolation of the cuspidal spectrum by convolution operators

Let $G$ be a real reductive algebraic group and $\Gamma$; be an arithmetic lattice of $G$.
In this talk, I will explain how to generalize a construction of Lindenstrauss-Venkatesh giving rise to certain operators on $L^2(\Gamma\backslash G)$ with image in the cuspidal subspace. These operators can be written, in the adelic setting, as combinations of convolution operators at Archimedean places and $p$-adic places (Hecke operators). A crucial ingredient of the proof is the existence of sufficiently many multipliers of $G$ acting on the space of smooth functions with rapid decay (but not necessarily $K$-finite).
Time permitting, I will also describe one application of this construction to the global Gan-Gross-Prasad conjecture for unitary groups.
This talk is based on joint work with Yifeng Liu, Wei Zhang and Xinwen Zhu.

16:15 – 17:10: Erik VAN DEN BAN (University of Utrecht)

The Harish-Chandra transform for Whittaker functions

 I will discuss the role of the descent transform in Harish-Chandra’s approach to the Plancherel formula for Whittaker functions, presented in the posthumous volume 5 of his collected works (Springer 2018). At an earlier occasion I explained how the proof of the Plancherel theorem can be completed by using a Paley-Wiener shift technique. In the present talk I will explain how the proof can be completed in a more straightforward way, by using a suitable result on wave packets of Whittaker functions.

Webpage

Contacts

To register as a participant or for further information, please contact one of the organizers: Salah Mehdi or Angela Pasquale.

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

On s’intéresse à un problème de contrôle approché de l’équation de la chaleur par des “formes” : à l’aide d’un terme source donné par la fonction caractéristique d’un ensemble (variable dans le temps, de mesure uniformément bornée), on cherche à emmener la solution près d’un état final donné.

Ces contrôles très particuliers peuvent être vus comme des points extrémaux d’un certain ensemble convexe : or beaucoup de problèmes de contrôle optimal (et d’optimisation en général) ont pour minimiseurs (ou maximiseurs) des points extrémaux. Pour trouver le “bon” problème d’optimisation, on combine la dualité de Fenchel-Rockafellar, qui associe à un problème d’optimisation (dit primal) un problème dit dual, et le principe “de la baignoire”, qui concerne la maximisation sous contraintes d’un produit scalaire. Les contrôles optimaux associés à ce “bon” problème ont alors de bonnes chances d’être des formes, et de répondre ainsi à la question initiale.

La méthode de preuve permet d’étudier plus généralement la question du contrôle d’EDP avec des contraintes sur le contrainte, notamment le phénomène dit “bang-bang” : en dimension finie, il a été souvent observé que les contrôles optimaux (notamment les contrôles en temps minimal) saturent les contraintes qui leur sont imposées, et ont donc une forme plus simple (par exemple, une fonction constante par morceaux en temps). Le phénomène apparaît également en dimension infinie et nous verrons comment l’approche développée pour l’équation de la chaleur permet de l’étudier.

On considère des modèles de théorie quantique des champs décrivant l’évolution d’une particule non-relativiste couplée à un champ quantifié. L’énergie d’un tel système est associée à un opérateur auto-adjoint, un hamiltonien, agissant sur un espace de Hilbert approprié. Dans cet exposé, nous nous intéressons à la minimisation de l’énergie quasi-classique de ce système, c’est-à-dire l’énergie lorsque le champ se trouve dans un état cohérent. Les minimiseurs d’une telle énergie sont appelés états fondamentaux quasi-classiques. Nous verrons que le problème de minimisation peut se réduire à la minimisation d’une fonctionnelle de Hartree, ou d’un système couplé Maxwell-Schrödinger, selon le modèle considéré. Nous montrerons l’existence et l’unicité d’un état fondamental quasi-classique pour ces modèles. Enfin, nous verrons que ces états permettent de décomposer l’énergie fondamentale du modèle en deux parties : une quasi-classique, calculée lors de la minimisation sur les états cohérents, et une autre correspondant à la contribution des états excités.

On présente d’abord un ensemble de résultats concernant les équations d’Euler en mécanique des fluides, les immersions isométriques, et l’équation de Monge-Ampère au sens très faible. Le but est de souligner dans chaque cas la présence d’une dichotomie, dépendant de la régularité des solutions, de flexibilité (c.-à-d. l’existence et l’abondance de solutions dites anomales) et de rigidité (c.-à-d. les propriétés restrictives des solutions ). Ensuite, on décrit les structures sous-jacentes communes à ces EDP vues comme des problèmes d’inclusions différentielles, qui nous permettent d’utiliser les méthodes du théorème de Baire et de l’intégration convexe pour établir les résultats d’existence, où on fait valoir les aspects fondamentaux de ces méthodes. À titre d’exemple, on décrit comment prouver l’existence de solutions anormales très faibles de régularité de Lipschitz à l’équation de Monge-Ampère, et comment améliorer cette approche pour trouver des solutions C^{1,α} pour α < 1/5 ; (la valeur critique de α pour une telle construction reste un problème ouvert).

On présente d’abord un ensemble de résultats concernant les équations d’Euler en mécanique des fluides, les immersions isométriques, et l’équation de Monge-Ampère au sens très faible. Le but est de souligner dans chaque cas la présence d’une dichotomie, dépendant de la régularité des solutions, de flexibilité (c.-à-d. l’existence et l’abondance de solutions dites anomales) et de rigidité (c.-à-d. les propriétés restrictives des solutions ). Ensuite, on décrit les structures sous-jacentes communes à ces EDP vues comme des problèmes d’inclusions différentielles, qui nous permettent d’utiliser les méthodes du théorème de Baire et de l’intégration convexe pour établir les résultats d’existence, où on fait valoir les aspects fondamentaux de ces méthodes. À titre d’exemple, on décrit comment prouver l’existence de solutions anormales très faibles de régularité de Lipschitz à l’équation de Monge-Ampère, et comment améliorer cette approche pour trouver des solutions C^{1,α} pour α < 1/5 ; (la valeur critique de α pour une telle construction reste un problème ouvert).

Dans cet exposé on va s’intéresser à une inégalité de Faber-Krahn inverse pour la valeur propre fondamentale $\mu_1(\Omega)$ de l’opérateur complètement nonlinéaire

\[ \mathcal{P}_N^+ u := \lambda_N(D^2 u), \]

où $\Omega \subset \mathbb{R}^N$ est un ouvert borné et convexe, et $\lambda_N(D^2 u)$ est la plus grande valeur propre de la matrice hessienne de $u$. On verra que le résultat découle de l’inégalité isopérimétrique

\[ \mu_1(\Omega) \leq \frac{\pi^2}{\text{diam}(\Omega)^2}. \]

De plus, on va discuter de la minimisation de $\mu_1$ sous différents types de contraintes. Les résultats ont été obtenus en collaboration avec Julio D. Rossi et Ariel Salort (Buenos Aires).

On présente d’abord un ensemble de résultats concernant les équations d’Euler en mécanique des fluides, les immersions isométriques, et l’équation de Monge-Ampère au sens très faible. Le but est de souligner dans chaque cas la présence d’une dichotomie, dépendant de la régularité des solutions, de flexibilité (c.-à-d. l’existence et l’abondance de solutions dites anomales) et de rigidité (c.-à-d. les propriétés restrictives des solutions ). Ensuite, on décrit les structures sous-jacentes communes à ces EDP vues comme des problèmes d’inclusions différentielles, qui nous permettent d’utiliser les méthodes du théorème de Baire et de l’intégration convexe pour établir les résultats d’existence, où on fait valoir les aspects fondamentaux de ces méthodes. À titre d’exemple, on décrit comment prouver l’existence de solutions anormales très faibles de régularité de Lipschitz à l’équation de Monge-Ampère, et comment améliorer cette approche pour trouver des solutions C^{1,α} pour α < 1/5 ; (la valeur critique de α pour une telle construction reste un problème ouvert).

On considère un système de réaction-diffusion non locale décrivant l’adaptation d’un pathogène à $H$ hôtes, chacun étant associé à un différent optimum phénotypique dans $\mathbb R^n$. Le comportement en temps grand (persistance vs extinction) du problème de Cauchy associé est donné par le signe d’une valeur propre principale. Une grande partie de l’étude se concentre sur le cas $H=3$ (qui est très riche!). On compare notamment avec le cas $H=2$ et montre que la présence d’un troisième hôte peut favoriser ou entraver l’adaptation…