🔢 mathematics

A Novel Compartmental Model for the Mathematical Epidemiology of Addiction: Backward Bifurcation, Bistability, Persistence, and Treatment-Capacity Policy Implications

Cet article développe un nouveau modèle épidémiologique à quatre compartiments pour la dynamique de l'addiction qui démontre comment la saturation de la capacité de traitement, plutôt que la saturation de l'incidence, induit de manière unique une bifurcation rétrograde et une bistabilité, créant ainsi un écart politique critique où le nombre de reproduction de base ne parvient pas à capturer le risque de persistance à long terme, même en dessous des seuils traditionnels.

Milad tahavor, Reza Memarbashi, Khashayar Ashkboos, Mohammad Mehdipour Zarrinkamar2026-08-25
🔢 mathematics

Synchronization of Sections With Homologous Initial Conditions on Connected Manifolds: A Lie Derivative Criterion

Cet article établit un critère de dérivée de Lie sans coordonnées pour la synchronisation de sections de fibrés avec des dynamiques internes identiques sur des variétés connexes, prouvant que l'annulation des dérivées de Lie des différences de sections implique un difféomorphisme équivariant par le flot sans nécessiter de diagonalisation du Laplacien ou de configuration de commande-réponse.

daqian chen2026-08-25
🔢 mathematics

On holomorphic retracts of polyballs with strictly convex factors and applications

Cet article caractérise les rétractes holomorphes à travers le centre de polyballes avec des facteurs strictement convexes comme étant biholomorphes à des rétractes linéaires de facteurs individuels ou de produits de ceux-ci, un résultat qui établit l'unicité essentielle de leurs représentations en produit en prouvant qu'ils ne peuvent pas être biholomorphes à d'autres domaines produits présentant des nombres de facteurs ou des dimensions différents.

Balakumar G. P., Jiju Mammen2026-08-24
🔢 mathematics

A Complementary Assignment Method for Delaying Group-Stage Rematches in the FIFA World Cup 2026 Knockout Bracket

Cet article propose une méthode d'attribution modifiée pour le tableau de la phase à élimination directe de la Coupe du Monde de la FIFA 2026 qui traite l'allocation des qualifiés pour la troisième place comme un problème d'appariement bipartite capacité afin de garantir qu'aucune équipe de même groupe ne se rencontre avant les demi-finales, améliorant ainsi l'équité et l'attrait du tournoi par rapport au calendrier officiel qui échoue à cette condition dans 70 des 495 scénarios.

Badr Boutaleb Joutei, Mourad Raif2026-08-24
🔢 mathematics

When Are AI Explanations Recoverable? Identifiability, Stability, and Transfer from an Inverse-Problem Perspective

Cet article établit un cadre mathématique pour déterminer la récupérabilité des explications de l'IA en les formulant comme des problèmes inverses, en dérivant une trichotomie complète des conditions d'identifiabilité et de stabilité pour les systèmes linéaires et non linéaires, et en fournissant des bornes explicites qui distinguent la sous-détermination intrinsèque de la variabilité algorithmique.

Chibuike Chiedozie Ibebuchi2026-08-24
🔢 mathematics

Regularization and Stability-Bifurcation-Chaos Trilogy for Caputo Fractional Replicator Dynamics with Global Lipschitz Guarantees

Cet article introduit un système de réplicateur de Caputo tridimensionnel régularisé avec des facteurs émotionnels qui résout la singularité inhérente à l'origine, établit la continuité lipschitzienne globale et caractérise analytiquement la transition dynamique complète de la stabilité vers le chaos par la bifurcation de Hopf et la certification du chaos, le tout validé par rapport à des modèles non régularisés et des données comportementales empiriques.

Tongxing Li, Yongfeng Zhang, Xiaodong Zhao, Jianzhong Zhang, Chengdai Huang2026-08-23
🔢 mathematics

A Layered Lean 4 Library for Finite-Dimensional Quantum Foundations with Typed Premise Auditing

Cet article présente une bibliothèque Lean 4 stratifiée pour les fondements quantiques de dimension finie qui formalise des théorèmes de représentation et des résultats de complexité clés tout en introduisant un cadre d'audit de prémisses typé pour vérifier la cohérence et la validité des théorèmes mathématiques conditionnels, tels que l'indépendance des poids de sous-espaces vis-à-vis des décompositions orthogonales.

Bertrand Dalimier2026-08-20