6771 articles
Cet article résout le cas restant du théorème oublié de Pełczyński en construisant un espace de Banach -injectif qui n'est pas -injectif, complétant ainsi le résultat pour tout et améliorant par ailleurs la borne supérieure de la distance de Banach-Mazur entre et .
Cet article étend la correspondance entre les groupes précompacts de Roelcke polonais et les structures -catégoriques aux classes locales en définissant les structures et théories localement -catégoriques, en caractérisant les groupes localement précompacts de Roelcke via leurs actions isométriques, et en démontrant que deux telles structures sont bi-interprétables si et seulement si leurs groupes d'automorphismes sont isomorphes.
Cet article établit un critère arithmétique reliant la convergence de la série des Flint Hills à l'indice d'irrationalité de , tout en proposant une forme close conjecturale de cette série comme combinaison linéaire de et de via la théorie des motifs mixtes de Tate.
Cet article étudie les modèles cinétiques linéaires discrets sur les réseaux et justifie rigoureusement leur limite d'échelle hyperbolique en régime de petit nombre de Knudsen, en introduisant une transformation de variables qui découple le système et en dérivant des estimations d'erreur basées sur la méthode énergétique.
Cet article propose un modèle de minimisation transformée à deux paramètres pour la récupération de signaux clairsemés, établissant des garanties théoriques de stabilité sous la propriété d'isométrie restreinte, en développant l'algorithme IRLSTLp et en démontrant la supériorité de ce modèle par rapport aux approches existantes grâce à une nouvelle mesure de degré de relaxation.
Cet article propose un algorithme d'apprentissage par renforcement sans modèle pour l'optimisation du risque conditionnel à valeur à risque (CVaR) à long terme dans les processus de décision de Markov, démontrant sa convergence presque sûre avec un taux de et son efficacité via des expériences numériques.
Cet article établit l'existence d'états stationnaires pour un modèle non linéaire de transport-coagulation-nucléation décrivant la dynamique des polymères, démontrant qu'une décroissance suffisante pour les grandes tailles permet de maintenir ces états stables malgré la tendance à la gélification induite par le noyau de coagulation multiplicatif.
En s'appuyant sur la méthode de preuve de Grayson, cet article établit une équivalence d'homotopie entre la région instable sous l'action d'un sous-groupe de congruence principal et le bâtiment de Tits sphérique pour dans le contexte des corps de fonctions de caractéristique positive.
Cet article propose un schéma d'approximation à deux grilles couplant pénalisation et discrétisation temporelle pour les équations différentielles stochastiques rétrogrades doublement réfléchies, permettant de surmonter l'amplification d'erreur liée au paramètre de pénalité et d'obtenir des taux de convergence optimaux même pour des obstacles non lisses.
En confirmant la conjecture de Darmon-Vonk sur l'antisymétrie des moduli singuliers réels quadratiques grâce à l'analyse de cocycles méromorphes rigides et en démontrant la modularité d'une série génératrice de diviseurs de Kudla-Millson, cet article établit des résultats fondamentaux reliant la théorie des nombres et la géométrie arithmétique.
Ce document présente une classification novatrice des sous-algèbres invariantes de l'algèbre de Grassmann, en détaillant ses fondements, sa construction formelle et ses liens avec le déterminat et la géométrie différentielle.
Cet article compare les stratégies de récolte par contrôle de taux et par contrôle d'effort dans les populations structurées par âge, en démontrant que le contrôle d'effort, contrairement au contrôle de taux, introduit un couplage non local dans le système adjoint en raison de sa dépendance multiplicative à la taille totale de la population.
En utilisant le théorème d'Erdős-Matching pour les espaces vectoriel démontré par Ihringer, cet article détermine, pour suffisamment grand, les plus grandes cocliques du graphe de Kneser associé aux drapeaux de type de PG et établit un résultat de stabilité, confirmant ainsi une conjecture de D'haeseleer, Metsch et Werner.
Cet article étudie les jeux Maker-Breaker biaisés visant à construire des structures arborées ou connexes « arc-en-ciel » sur des systèmes de graphes, déterminant les seuils de biais critiques pour la connectivité et le diamètre, réfutant ainsi une conjecture de Balogh, Martin et Pluhár.
Cet article présente une variante du méthode du gradient conjugué préconditionné à s-étapes qui combine une base de Krylov stabilisée par des polynômes de Tchebychev et une résolution des systèmes de Gram par itération de Gauss-Seidel, offrant ainsi une solution stable et évolutive pour les architectures GPU modernes tout en réduisant les coûts de synchronisation.
Ce papier introduit les configurations généralisées de Jflower et Jposy pour unifier la caractérisation des graphes de Sterboul-Deming en démontrant que les ensembles de sommets couverts par ces nouvelles configurations coïncident avec ceux des configurations classiques et restreintes.
Cet article présente plusieurs caractérisations des graphes de Sterboul-Deming, définis comme les graphes où chaque sommet appartient à une posie ou à une fleur, en fournissant des algorithmes de décomposition et en établissant des liens avec les décompositions de Gallai-Edmonds et les graphes à facteur .
Cet article généralise la théorie des graphes presque bipartis non-König-Egerváry en introduisant la famille des graphes -disjoints, pour lesquels il démontre que les propriétés fondamentales du noyau et de la couronne sont préservées et établit une formule reliant la taille de ces ensembles au nombre de cycles impairs disjoints, confirmant ainsi une conjecture récente de Levit et Mandrescu.
Cet article caractérise les conditions sous lesquelles le dépliement en bande d'un prismatoïde emboîté est non chevauchant, démontrant que le contre-exemple connu est essentiellement le seul cas d'échec possible.
Cet article étudie la bien-poséité, la contrôlabilité et la stabilisation d'un système couplé en cascade d'équations de la chaleur et des ondes en 1D, en exploitant sa structure spécifique pour établir des résultats de contrôlabilité simultanée et une stabilisation polynomiale dans un cadre abstrait de systèmes linéaires invariants dans le temps.