Abstract : Using validated numerical methods, interval arithmetic and Taylor models, we propose a certified corrector-predictor loop for tracking zeros of polynomial systems with a parameter. We provide a Rust implementation and benchmark it against HomotopyContinuation.jl, a state-of-the-art uncertified homotopy
Résumé : Pour une algèbre de dimension finie, grâce au travail de Adachi-Iyama-Reiten et des autres, les objets bousculants à 2 termes sont en bijection avec certaines paires de torsion et paires de cotorsion. Ces bijections nous permettent de transférer
Résumé : L’équation de Gross-Pitaevskii stochastique est un modèle champ moyen visant à décrire un condensat de Bose-Einstein proche de la température critique de condensation. Il s’agit d’une équation de Ginzburg-Landau complexe, avec un potentiel confinant harmonique et un bruit
Résumé : Lorsque l'on s'intéresse à des systèmes de particules en interaction, deux catégories distinctes émergent : les systèmes indistinguables, dans lesquels l’identité des particules n’influence pas la dynamique du système, et les systèmes non échangeables, dans lesquels l’identité des
La déconvolution spectrale consiste en l'extraction des valeurs propres d'une matrices bruitée. Cette déconvolution apparait naturellement dans plusieurs problèmes d'estimation matricielle. Dans cet exposé, je vais présenter une méthode pour réaliser la déconvolution spectrale en grande dimension en utilisant des
Nous donnons des inégalités nouvelles pour la partie positive d'une martingale de variance infinie et son maximum. Ces inégalités améliorent les inégalités classiques dans certains cas.
Résumé : Une représentation d’un groupe G sur un espace vectoriel V est distinguée par un sous-groupe H de G s’il existe sur V une forme linéaire non nulle invariante par H. Lorsque G est un groupe réductif et H
Résumé : La fonction zêta de Riemann, une fonction analytique complexe, interpole le valeurs zêta aux entiers positifs supérieurs ou égaux à 2 et grâce à son équation fonctionnelle on déduit les fameuses identités découvertes par Euler en 1735. Dans les
Abstract : The RSA algorithm is one of the oldest widely used public-key encryption algorithm. It relies on the difficulty of factorizing primes, with the best-known classical algorithms performing in sub-exponential time. Shor's algorithm, which relies on the laws of
Ce travail étudie le problème de la continuation unique pour les équations de Stokes étant donné une base de données de mesures de population. Le problème est posé comme problème de minimisation sous la contrainte d’une EDP et discrétisé par
