2549 articles
Cet article propose un cadre itératif unifié pour les problèmes de contact sans frottement, combinant des schémas de type Uzawa ou pénalité avec une accélération par sécante croisée, afin d'obtenir une convergence rapide et indépendante des paramètres numériques tout en n'utilisant que des systèmes de rigidité standards.
Cet article établit une théorie générale pour les méthodes de descente du premier ordre à directions restreintes dans un espace de Banach réflexif, en introduisant une condition géométrique basée sur des ensembles normants pour garantir la densité et en démontrant des taux de convergence quantitatifs allant de polynomiaux à exponentiels pour des problèmes variationnels convexes et des approximations structurées.
Cet article étudie la propriété des « jumeaux maléfiques » dans les sommes de fleurs sauvages et de fleurs mutantes, en démontrant que de larges ensembles fermés possèdent cette propriété, en généralisant partiellement la théorie du genre en jeu malveillant aux jeux partisans, et en établissant que le calcul de l'issue d'une somme de fleurs mutantes est NP-difficile.
Cet article propose un cadre systématique appelé HyGAMP qui intègre des approximations de message passant généralisé sur les arêtes faibles d'un modèle graphique avec des mises à jour standard sur les arêtes fortes, permettant ainsi de simplifier l'inférence et d'ajuster le compromis entre performance et complexité.
Cet article établit que la limite faible de processus de diffusion multidimensionnels à bruit faible avec une dérive mesurable est une mesure singulière dont le support est constitué de l'adhérence des solutions de Filippov à évasion instantanée, démontrant ainsi que le bruit sélectionne ces trajectoires spécifiques parmi les solutions non uniques de l'ODE associée.
Cet article introduit la notion de matrices équilibrées, en étudiant leurs propriétés algébriques et statistiques, notamment les relations directes entre leur entrée principale, leur trace, leur déterminant et leurs valeurs propres, ce qui permet de prédire leurs formes quadratiques à partir de leur spectre sans connaître leurs coefficients.
Cet article introduit la notion de « spanning » des entiers le long de fonctions pour résoudre des équations de la forme , et applique cette méthode au problème de Lehmer en établissant une borne inférieure pour le nombre de solutions de l'équation .
Cet article construit une suite spectrale convergente vers la cohomologie opéradique d'une algèbre en utilisant des filtrations issues de tours de cofibrations, offrant ainsi une description algébrique nouvelle de la suite spectrale de Serre et permettant le calcul des groupes d'homotopie rationnelle des équivalences d'auto-homotopie fibrée.
Ce papier introduit et développe le concept de magnétisation de courbe fermée simple, qu'il applique ensuite au problème de Bellman de la personne perdue dans la forêt sous certaines conditions géométriques spécifiques.
Ce papier établit la preuve de la formule conjecturale de Lusztig concernant les multiplicités des modules non restreints sur l'algèbre enveloppante quantifiée de type De Concini-Kac aux racines de l'unité.
Cet article construit la première fonction -adique pour des représentations automorphes cuspidales régulières de de type général, en prouvant les conjectures de Coates-Perrin-Riou et Panchishkin via la théorie des variétés sphériques et un système d'Euler de Betti.
Cet article étudie la distribution de l'indice de profondeur sur les couplages parfaits, en fournissant une description combinatoire et un polynôme générateur, et démontre que cette statistique est équidistribuée avec la fonction de rang de l'ordre de Bruhat.
Cet article démontre que le quotient d'un domaine homogène borné par un groupe discret unipotent d'automorphismes est holomorphiquement séparable, puis établit une condition nécessaire pour qu'il soit de Stein et prouve que cette condition est suffisante dans certains cas.
Cet article établit des estimations sur la dimension de Kodaira des fibrations sur les variétés abéliennes, renforçant ainsi la sous-additivité de cette dimension pour ce type de fibrations.
Cet article établit une dichotomie démontrant que, pour un système itéré de fonctions dirigé par un graphe fortement connexe satisfaisant la condition d'ensemble ouvert convexe, l'attracteur associé à un sommet ne peut être réalisé par un système itéré de fonctions standard si et seulement si un circuit dirigé du graphe ne passe pas par ce sommet.
Cet article développe une théorie des spécifications GSOS abstraites pour les langages d'ordre supérieur, en introduisant des lois GSOS pointées sous forme de transformations dinaturelles qui garantissent la compositionnalité de la sémantique opérationnelle, comme l'illustrent les calculs SKI et .
Cet article établit l'existence de deux solutions faibles non triviales, à énergie négative et positive, pour des problèmes elliptiques critiques impliquant la différence d'opérateurs locaux et non locaux, en s'appuyant sur un résultat abstrait récent pour de petites valeurs d'un paramètre.
Cet article propose un algorithme pour optimiser la mesure de risque CVaR dynamiquement augmentée (DCVaR), une version temporellement cohérente du CVaR statique, dans le cadre des processus de décision markoviens en étudiant un processus de décision markovien robuste à espace d'états augmenté.
Cet article démontre que la conjecture alternative des arbres, initialement formulée pour l'embeddabilité, est vérifiée pour la relation de mineur de graphes.
Cet article présente une formalisation de la notion castoridienne de « magma » en théorie des ensembles, en modélisant les collections d'éléments dépendants comme des sous-ensembles ouverts d'un ensemble d'atomes préordonné et en construisant une hiérarchie « magmatique » au sein d'une extension de la théorie ZFA.