2549 articles
Cet article examine les itérations de la consistance et des principes de réflexion locale et uniforme sur l'arithmétique intuitionniste (HA), en fournissant une nouvelle preuve de l'extension par Dragalin du théorème de complétude de Feferman à HA.
Cet article établit que, pour l'agrégation interne par diffusion limitée unidimensionnelle avec des marches aléatoires centrées, la forme du cluster est asymptotiquement un bloc contigu symétrique lorsque la variance est finie, tandis qu'elle ne contient qu'une fraction strictement inférieure à un de sites contigus lorsque la loi d'incréments appartient au domaine d'attraction d'une loi stable symétrique d'indice .
En utilisant des séries d'Eisenstein orthogonales de type Klingen et une correspondance theta avec des séries d'Eisenstein symplectiques, cet article établit la continuation méromorphe et, dans le cas du réseau , une équation fonctionnelle précise pour une série de Dirichlet impliquant les coefficients de Fourier-Jacobi de formes cuspidales orthogonales.
Cet article calcule les groupes de Witt dérivés des courbes lisses et propres sur les corps locaux non dyadiques de caractéristique différente de 2, en utilisant une réduction et une étude générale de l'existence de caractéristiques thêta.
Cet article introduit un nouveau type de sous-gradient basé sur les fonctions de Busemann pour les espaces de Hadamard, permettant d'étendre les méthodes de sous-gradient stochastiques et incrémentales avec des garanties de complexité à des problèmes d'optimisation non linéaires tels que le calcul de médianes dans l'espace des arbres BHV.
Cet article établit de nouveaux théorèmes d'embedding pour des espaces de Sobolev pondérés et une inégalité de type Pólya-Szegö dans un contexte tridimensionnel, afin d'étudier un problème aux limites pour une classe d'équations elliptiques dégénérées semi-linéaires.
Cet article étend les estimées de non-concentration classiques des fonctions propres du Laplacien jusqu'au bord d'une variété compacte à bord lisse, démontrant que ces bornes, combinées à une inégalité de type Sogge, permettent de retrouver les majorations optimales établies par Grieser.
Cet article présente une nouvelle méthode inspirée des arguments de type Borel-Cantelli pour prouver l'ergodicité de produits décalés antisymétriques avec des singularités au-delà du type logarithmique, permettant ainsi d'étudier l'équidistribution des termes d'erreur dans la décomposition spectrale des intégrales de Birkhoff pour les flots hamiltoniens locaux sur des surfaces compactes, y compris en présence de points de selle non parfaits.
Cet article établit la continuité de l'entropie asymptotique pour les marches aléatoires sur des produits en couronne (où est un groupe hyper-FC-central contenant un sous-groupe de croissance cubique), en démontrant d'abord la continuité de la probabilité de non-retour à l'identité et en reliant ensuite la continuité faible des mesures harmoniques sur la frontière de Poisson à celle de l'entropie, ce qui étend les résultats connus aux groupes linéaires et aux groupes agissant sur des espaces .
Cet article étudie une variante du jeu Explorer-Director où l'Explorateur choisit la longueur d'un chemin plutôt qu'une distance, en démontrant que l'écart entre le nombre de sommets visités dans les deux versions peut être arbitrairement grand.
Cet article établit des résultats de désintégration pour les mesures auto-conformes et auto-similaires affinement irréductibles, qu'il applique ensuite pour démontrer que ces mesures attribuent une mesure nulle à certains ensembles d'approximation diophantienne et que presque tous leurs points ne sont pas des vecteurs singuliers.
Cet article démontre que constitue le seuil critique déterminant si presque tout point par rapport à une mesure produit non stationnaire est générique au sens de Poisson, révélant ainsi une plage où cette mesure est singulière par rapport à la mesure uniforme tout en conservant cette propriété générique.
Cet article calcule les premier et second moments des sommes des valeurs propres de Hecke de formes modulaires holomorphes, moyennées sur des poids élevés, et met en évidence des transitions dans l'amplitude de ces sommes aux échelles et .
Cet article présente un modèle géométrique de la logique linéaire multiplicative exponentielle (MELL) peu profonde en utilisant le schéma de Hilbert pour interpréter les preuves et leurs réductions de coupure comme des isomorphismes entre des schémas projectifs locaux, établissant ainsi un lien novateur entre la théorie des preuves et la géométrie algébrique.
Cet article présente une nouvelle démonstration du théorème de Voisin sur la conjecture de Green pour les courbes génériques de genre impair, qui évite les calculs difficiles en s'inspirant des sections initiales de l'ouvrage de l'auteur sur les fibrés sécants universels et les syzygies des courbes canoniques.
En adaptant la méthode de Carlson et en analysant les déterminants de Hankel, cet article démontre que la conjecture de Ruzsa sur les fonctions préservant les congruences est vraie pour toute suite dont la série génératrice possède au plus deux directions singulières, établissant ainsi que tout contre-exemple éventuel doit en présenter au moins trois.
Cet article réfute la conjecture selon laquelle un schéma d'intégration explicite d'ordre élevé, introduit par Buvoli et présentant une stabilité supérieure aux méthodes d'Adams-Bashforth classiques, conserve sa stabilité lorsque l'ordre de précision tend vers l'infini, tout en établissant un critère pour déterminer la précision maximale admissible et en proposant une analyse unifiée de la stabilité pour des EDP paraboliques.
Cet article démontre que la catégorie des algèbres normées en spectres -genuins est modélisée par des algèbres strictement commutatives dans les spectres -symétriques pour tout groupe fini , et fournit une description catégorique supérieure des spectres d'anneaux ultra-commutatifs globaux de Schwede en tant que limite partiellement lâche des catégories de spectres -genuins.
Cet article introduit un opérade de diagrammes de câblage dirigés dépendants pour composer des systèmes instantanés comme les machines de Mealy, en définissant une algèbre de diagrammes de stocks et flux et en établissant une sémantique via un morphisme vers les machines de Mealy.
Cet article détermine la taille du plus grand composant connexe dans un graphe aléatoire inhomogène sous-critique de type attachement préférentiel, démontrant qu'elle est polynomiale avec un exposant strictement supérieur à celui du degré maximal, une propriété qui contraste avec les graphes à noyau de rang un et qui est établie grâce à une approximation locale par des marches aléatoires branchantes.