Κ = 0.003 : une nouvelle borne pour la multiplication entière établie
Sommaire
En bref
- Un pull request sur le dépôt CrocSwap améliore la borne théorique κ pour la complexité de la multiplication entière, la portant à 0.003.
- Cette valeur représente un progrès incrémental par rapport aux travaux précédents (#4440 : 0.00296, #4416 : 0.00268647).
- L'amélioration repose sur une retimesion du helper et une combinaison de techniques d'optimisation de requêtes (query thinning) et de construction BIT.
- Les preuves sont vérifiées via des outils et des benchmarks informatiques, avec une vérification Lean parallèle en cours sur Mathlib.
Ce que dit la source
Le projet CrocSwap poursuit l'affinement des bornes supérieures théoriques pour la complexité asymptotique de la multiplication entière. Ce pull request propose une amélioration incrémentale de la constante κ (kappa) en appliquant une retimesion du helper et en combinant deux stratégies antérieures : le thinning de requêtes et la construction BIT plus forte. L'auteur (1337isnot1337) affirme que cette construction conditionnelle est vérifiée et prête pour examen, mais ne réclame ni optimum global ni acceptation formelle indépendante.
- La nouvelle borne κ = 0.0030010541830 s'améliore de +0.00004105 (+1.3868%) sur le PR #4440 précédent (κ = 0.00296).
- Le gain repose sur une retimesion du fresh-helper appliquée à 19 appels natifs complets du contrôleur p17, tout en réduisant les appels payants de 72 902 à 69 273 (économie de 3 629).
- L'intervalle exact de preuve 0.0030010541830 < κ < 0.0030010541834 laisse environ 4.18e-9 de marge et couvre tous les réels 0 < C < 1.
- Une limite gamma < 97/100 est requise pour le nouveau moment ; la limite #4440 (31/32) échoue sur ce profil modifié.
- Tous les tests CI (50 fichiers Git, CPython 3.12.15, vérifications C++20, 632 colonnes d'entrées arbitraires) passent ; trois contrôles archivés demeurent rouges mais sur des sources pré-existantes divergentes.
- Une vérification Lean parallèle menée par jdb1729 et platypii a prouvé κ >= 2^-14.38 inconditionnellement sur TM2 de Mathlib.
Dans les commentaires
Très peu de débat substantiel. Les deux commentaires techniques interrogent la clarté technique et demandent des explications supplémentaires ; aucune objection de fond, pas de consensus visible au-delà du constat que ce texte est difficile d'accès.
- Plusieurs commentateurs signalent une opacité sémantique majeure : readthenotes1 et joeldw expliquent ne pas comprendre les connexions conceptuelles entre les techniques décrites (query thinning, BIT, fresh-helper retiming) et leur impact précis sur la borne, malgré la reconnaissance que la documentation est très spécialisée.
- Un commentateur pointe vers une ressource externe (bigospeedrun.com) sans clarifier son lien avec ce PR, et aucune réponse n'explique le rapport.
Notre lecture
Ceci est un progrès théorique mineur et spécialisé dans un domaine (bornes asymptotiques pour la multiplication entière) qui n'affecte pas directement la pratique industrielle du développement ou de l'infrastructure. Le travail paraît rigoreux (preuves vérifiées, CI complète, vérification Lean en parallèle), mais reste hermétique. L'absence de débat critique robuste et la documentation quasi impénétrable suggèrent que ce PR intéresse un cercle très restreint de chercheurs en complexité algorithmique et que personne sur HN n'a les moyens d'apporter une critique substantive. À surveiller uniquement si votre équipe travaille directement sur des bibliothèques de multiplication haute performance ; probablement du bruit pour une DSI standard.