3690 articles
Cet article démontre que la décision de l'existence d'une stratégie gagnante dans le jeu de cartes Yu-Gi-Oh! TCG est un problème indécidable et -complet, en réduisant le problème de l'arrêt et l'ensemble des ordres bien fondés dénombrables à ce problème via des decks légaux.
En développant des identités intégrales de type Simons d'ordre trois affinées et en établissant de nouvelles bornes inférieures pour les termes de courbure d'ordre supérieur, cet article résout le problème du troisième écart de la conjecture de Simon pour les surfaces minimales fermées dans la sphère unité sur l'intervalle complet , démontrant ainsi la rigidité aux extrémités et améliorant les estimations quantitatives à l'intérieur de cet intervalle.
Cet article démontre que la surjectivité de l'application associant à un nombre réel ses premiers chiffres significatifs dans plusieurs bases entières distinctes implique l'indépendance rationnelle des logarithmes de ces bases, et prouve la réciproque pour deux bases ou pour un nombre quelconque de bases sous l'hypothèse de la conjecture de Schanuel.
Cet article présente une nouvelle méthode numérique VOF tridimensionnelle, géométrique et conservative, capable de simuler avec précision la dynamique des lignes de contact et l'hystérésis sur des géométries complexes en intégrant un schéma de reconstruction pour les cellules mixtes, une stratégie de redistribution pour lever les contraintes de pas de temps et une technique robuste d'imposition de l'angle de contact.
Cet article présente une formulation géométriquement explicite pour les poutres de Cosserat qui unifie les représentations de configuration et de déformation via des coordonnées nodales sur le groupe de Lie SE(3) et une paramétrisation par déformations linéaires par morceaux, offrant ainsi un outil de simulation robuste, précis et évolutif pour les systèmes de poutres complexes sans souffrir de verrouillage.
Cet article résout une conjecture de vingt ans en démontrant que la courbure de Ricci moyennée dans les réseaux bayésiens binaires est quantifiée pour les structures arborescentes et complètes, mais réfutée dans le cas général par des contre-exemples cycliques, tout en établissant une dichotomie de signe entre la courbure positive des réseaux discrets et la courbure négative des réseaux gaussiens.
Cet article démontre que le Filtre à Point de Support Épistémique (ESPF), qui synthétise le principe de maximum d'entropie de Jaynes et la falsification poppérienne pour minimiser l'ignorance épistémique pire cas sans recourir à des a priori, constitue le filtre optimal unique dont la validité est confirmée par des simulations de suivi orbital.
Cette courte note met en évidence une faille majeure dans la preuve de Stanfield de la conjecture de Sachs concernant l'existence d'un plongement sans enlacement linéaire pour tout graphe admettant un plongement sans enlacement dans .
Cet article présente deux méthodes de construction de relations d'entreité floue dans les espaces métriques flous KM, démontre leur équivalence et établit qu'elles satisfont diverses propriétés de transitivité à quatre et cinq points.
Cet article propose un cadre de filtrage adaptatif basé sur des systèmes canoniques avec des matrices hamiltoniennes symétriques définies positives variables dans le temps, dont la mise à jour par descente de gradient garantit la stabilité et la convergence tout en préservant la structure hamiltonienne et la positivité.
Cet article étend la théorie des biais de longueurs d'accrochage aux partitions -centrales en établissant, par des méthodes combinatoires, des inégalités entre les nombres d'accrochages de différentes longueurs dans ces partitions.
Cet article présente de nouveaux résultats sur les sous-arbres induits entièrement feuillus des pavages de Penrose P2, démontrant qu'ils sont des chenilles et réfutant la conjecture selon laquelle il n'existerait qu'une seule chenille bi-infinie de ce type.
Cet article démontre que les groupes de Chow de certaines variétés de Koras-Russell de troisième espèce sont triviaux, ce qui implique que tous les fibrés vectoriels algébriques (et, sous certaines conditions, les groupes de Chow-Witt) sur ces variétés sont triviaux.
Cet article établit de nouvelles bornes de concentration de type Hoeffding pour les sommes de variables aléatoires échangeables, démontrant une antisymétrie des queues de distribution et fournissant une borne supérieure liée à la plus grande moyenne du support de la mesure de mélange de de Finetti plutôt qu'à la moyenne de population.
Cet article propose un décodeur pour les codes QLDPC basé sur l'apprentissage par renforcement qui, en formulant le décodage comme un processus de décision de Markov et en utilisant des mises à jour incrémentielles basées sur les voisinages locaux, surmonte les problèmes de convergence du décodage par propagation de croyance tout en offrant des performances et une rapidité supérieures aux méthodes existantes.
Cet article établit un lien entre les fonctions APN et les ensembles relatifs de différence en démontrant que l'image de certaines fonctions APN 2-to-1 constitue un ensemble relatif de différence, ce qui, via un résultat de Pott, relie également les fonctions APN aux fonctions bent.
Cet article étudie la dynamique non autonome générée par des itérations aléatoires de polynômes cubiques de la forme , en démontrant que les ensembles de Julia totalement discontinus sont denses dans l'espace des paramètres et apparaissent presque sûrement sous certaines hypothèses probabilistes, même en l'absence d'hyperbolicité.
Cet article établit une condition d'unicité garantissant que toute solution faible admissible au sens de l'entropie d'une loi de conservation scalaire à flux dépendant du gradient et discontinu coïncide avec la trajectoire du semi-groupe contractif associé.
Cet article propose une méthode de programmation quadratique séquentielle stochastique à région de confiance et points intérieurs (TR-IP-SSQP) pour résoudre des problèmes d'optimisation avec une fonction objectif stochastique et des contraintes non linéaires déterministes, en établissant sa convergence globale presque sûre et en validant ses performances pratiques sur des benchmarks et des problèmes de régression logistique.
Cet article vérifie la conjecture AJ pour les sommes connexes de nœuds toriques lorsque et ont le même signe, tout en révélant que certains cas particuliers nécessitent une légère modification de la conjecture pour prendre en compte l'apparition de facteurs répétés dans le polynôme de récurrence.