6498 articles
Cet article présente des inégalités linéaires clairsemées qui approximent le cône des matrices semi-définies positives et permettent d'obtenir, via une relaxation en programmation linéaire, la même borne que les relaxations en programmation semi-définie pour l'optimisation de fonctions quadratiques non convexes, accélérant ainsi les méthodes de séparation et d'évaluation.
Cet article propose une modélisation algébrique du problème de l'équivalence des codes linéaires (LCE) en utilisant les coordonnées de Plücker et la théorie des invariants pour caractériser l'action des matrices monomiales, bien que les polynômes résultants soient trop complexes pour une cryptanalyse pratique immédiate.
En supposant des conditions spectrales, géométriques et d'intégrabilité appropriées, ce papier démontre l'existence de solutions d'énergie finie pour les équations de Lichnerowicz couplées au champ scalaire d'Einstein sur des variétés riemanniennes complètes, en utilisant des méthodes variationnelles et des inégalités de Harnack pour traiter le terme singulier, tout en établissant la nécessité de certaines conditions d'intégrabilité pour l'existence de telles solutions.
Cet article présente un cadre général pour généraliser le schéma de signature SQIsign en utilisant des structures de niveau, en fournissant une nouvelle correspondance explicite de Deuring pour les courbes elliptiques supersingulières et en résolvant de nouvelles équations de norme contraintes.
En proposant une perspective sémantique prouvée fondée sur la notion de « support », ce papier réinterprète le théorème d'incomplétude de Gödel comme une divergence entre la dérivation et la conséquence sémantique au sein d'une même théorie arithmétique, montrant ainsi que celle-ci peut soutenir sa propre consistance sans la prouver formellement.
Cet article étend les notions homotopiques fondamentales aux -catégories en introduisant des posets d'homotopie qui constituent une tour de Postnikov catégorique, convergeant pour les -catégories et permettant d'identifier les -catégories complètes à la limite des catégories .
En utilisant des méthodes d'analyse spectrale locale, cet article établit des conditions nécessaires et suffisantes pour que la conjecture de Kippenhahn soit vraie, en les exprimant à l'aide des polynômes caractéristiques de certains éléments de l'algèbre engendrée par les matrices considérées.
Cet article établit le théorème de Reshetnyak pour les applications quasirégulières définies sur des variétés généralisées à géométrie contrôlée vers l'espace euclidien, généralisant ainsi un résultat antérieur de Kangasniemi et Onninen.
Cet article propose une méthode de préconditionnement par décomposition de sous-espaces, utilisant une approximation hors ligne/hors ligne pour traiter efficacement les problèmes de diffusion elliptique à coefficients hétérogènes dans des contextes d'incertitude, en exploitant la structure localisée des défauts aléatoires.
Cet article présente une méthode d'approximation en deux phases qui résout les singularités des problèmes de Dirichlet harmoniques tridimensionnels en décomposant la solution en une composante singulière traitée par des formules de Green et une composante régulière corrigée par collocation.
Cet article étudie la dynamique qualitative des solutions lisses des équations d'Euler isentropiques à symétrie radiale en établissant des restrictions structurelles sur les transitions d'ondes et des conditions de formation de singularités, tout en validant ces résultats théoriques par des simulations numériques utilisant une formulation SDLE.
Cet article propose un cadre agnostique de modèle pour l'extrapolation de fonctions, basé sur des fonctions ancrées et des projections garantissant des bornes rigoureuses et une réduction de l'erreur dans les régions non échantillonnées.
Cet article résout la conjecture de l'OEIS A005243 en démontrant que la suite auto-génératrice de Hofstadter, définie par la somme de termes consécutifs antérieurs, omet une infinité d'entiers positifs.
Cet article établit l'existence d'un facteur intégrant inverse de type Laurent pour tout centre analytique et propose une méthode universelle pour déterminer les contraintes de paramètres caractérisant les centres dans les familles de champs de vecteurs polynomiaux, y compris ceux qui résistaient aux approches antérieures.
Cet article établit l'existence, l'unicité et la cohérence des solutions très faibles pour une équation de Schrödinger non linéaire cubique avec coefficients irréguliers dans le cas où la dimension spatiale est inférieure au double de l'ordre fractionnaire, tout en illustrant ces résultats par des expériences numériques.
En supposant que l'hypothèse de Riemann soit fausse, cet article établit une relation asymptotique reliant les résidus de certaines séries à des zéros non triviaux de fonctions de Dirichlet à une fonction continue, dont les implications pourraient contredire cette hypothèse.
Cet article explore la géométrie du crible d'Ératosthène en introduisant les concepts de « Focals » et d'« Extremes » pour révéler une symétrie dans la distribution des nombres premiers et établir une formule pour le plus grand reste produisant le même quotient.
Les auteurs prouvent que l'indice local d'un point ombilical isolé sur une surface convexe lisse dans l'espace euclidien est strictement inférieur à deux, en utilisant une technique de « totalement réel blow-up » pour relier ce résultat local à l'absence de surfaces lagrangiennes fermées avec un seul point complexe, suggérant ainsi l'existence potentielle de points ombilicaux « exotiques » d'indice 3/2.
Ce travail étudie les analogues des définitions d'exactitude pour les groupes discrets dans le cadre des groupoïdes localement compacts, établissant notamment l'équivalence de six notions d'exactitude pour une classe de groupoïdes étales appelés « inner amenable » et examinant leur rôle dans la relation entre l'aménabilité d'un groupoïde et la coïncidence de ses algèbres C*-pleine et réduite.
Ce papier introduit une fonction pour mesurer l'intelligence d'une approximation d'un nombre réel dans un modèle donné, démontre sa cohérence avec la théorie classique de l'approximation diophantienne rationnelle, et pose la question ouverte de savoir si tout nombre réel peut être intelligemment approché dans un modèle où il est un point d'accumulation.