遇见数据集

Potions elliptiques : créations et analyses théoriques

收藏
Zenodo2026-10-30 更新2026-11-05 收录
官方服务:

资源简介:

Prologue : Taxicab Upper bounds 6676. SHA3-512 everywhere. Couet, A. (2026). Géométrie des courbes elliptiques : détermination du rang et exploitation algorithmique pour les sommes monstrueuses de deux cubes [Dataset]. Zenodo. https://doi.org/10.5281/zenodo.23186178 With Kimi, Moonshot AI. Épisode 1 — La chaîne CKTa (courbe x³ + y³ = K11·z³, K11 = 7·31·37·43·73·157). La chaîne gloutonne des ordres CKTa est poussée jusqu'à épuisement du stock de briques capturées : mur à CKTa(6652) (profondeur 5) et CKTa(6676) (profondeur 6, réplication 13⁶). Loi +1 structurelle sur 6 647 étapes sans exception. Rang r ≈ 6 lu dans le nuage de briques par inversion de Silverman (p = 2,884), accord avec le certificat de Gram. Positionnement Siegel / Baker–David / BSD documenté (honnêteté : bornes effectives hors de portée, conducteur ≈ 2,7·10²²). Falsification du saut d'île naïf (noyaux de a+b) ; évasion par sommes croisées (1 830 noyaux neufs vérifiés). 🐲 Épisode 2 — La Courbe des Éons (Potion I) : autopsie complète de E⁰ = 121.b2 La courbe des Éons E⁰ : y² + y = x³ − x² − 7x + 10 est identifiée comme LMFDB 121.b2, alias X_ns⁺(11) — la courbe modulaire du Cartan non-split de niveau 11, CM par ℚ(√−11) (j = −2¹⁵, Δ = −11³) : l'unique elliptique de toute la lignée X_ns⁺(p). Autopsie intégrale [PF/EF] : torsion triviale ; rang 1 PROUVÉ (Gross–Zagier + Kolyvagin + modularité CM) ; E(ℚ) = ℤ·P, P = (4,5), d'indice 1 par saturation (borne de hauteur + énumération : les 10 abscisses trouvées sont toutes des multiples de P, témoins mod-ℓ pour ℓ ≤ 503) ; hauteur de Néron–Tate ĥ(P) = 0,0897851561606904533… à 33 chiffres par décomposition locale exacte ; signe fonctionnel w = −1 vérifié directement ; L′(E,1) = 0,8623722966903972… ; BSD vérifiée numériquement à 26 chiffres avec Sha = 1. OQ5 résolu : a₇ = a₁₁ = a₁₉ = 0 est structurel (inertie/ramification CM, Chebotarev) — pas un miracle. OQ3 falsifié : [2] sur E₁(ℤ₂) est une contraction, Syracuse sur les impairs 2-adiques une isométrie (Lagarias) — le pont naïf reste mort, proprement. Chasse aux Éons (t ≤ 10⁷, 240 673 candidats) : seulement 2 spécimens (Primordial, Boréal), loi [EF] de pureté Merlin falsifiée — massacre à la profondeur 1 (80 %), puis survie géométrique à taux constant ≈ 0,2 par pas (biais Syracuse-Merlin ≈ 3× la densité naturelle) ; branche ε = +1 stérile (0/57 698). La rareté est réelle, la finitude non étayée : le modèle corrigé diverge encore. 🐲🐲 Épisode 3 — L'Ascenseur de Cornacchia (Potion III, TDA × CM) : premiers prouvés à groupe totalement factorisé Machine à certificats de primalité hybride : un premier prouvé Q (ancre TDA/PVA, séries K/L) est soulevé par une courbe CM en un premier p ≈ s·Q dont le groupe E(𝔽_p) a pour ordre s·Q entièrement factorisé — étape Goldwasser–Kilian complète, certificat déterministe, zéro feuille probabiliste. La recette inverse l'ECPP : on prescrit l'ancre au lieu de factoriser p+1−t. Deux murs documentés et franchis : l'obstruction 2-adique (la forme de conducteur 2 ne représente aucun ≡ 4 mod 8 — paramétrisation corrigée m² + Dv² = sQ, s pair) et le choix du discriminant par Kronecker ((−11/Q_Boréal) = −1, (−7/Q) = +1 : la Potion II porte l'ancre que la Potion I ne peut pas). Deux premiers certifiés : p = 5 716 727 (s = 16) et p = 11 423 899 (s = 32), ancre Q = 357 079 (Éon Boréal) ; micro-exemple p = 29 avec Q = 7 (Éon Primordial). Moteur autonome avec selftest (reproduit le certificat historique), vérificateur GK complet, deux blessures de bataille consignées (exiger moins, prouver pareil). Programme C1–C5 : densité du portefeuille de discriminants, Cornacchia à 4 933 chiffres, hydraulique TDA × CM infinie, feuilles ECPP, statistique des témoins. 🐲🐲🐲 Épisode 4 — La Berserker (Potion IV) : radar Mestre–Nagao, descente et surf sur suites de division Quatrième chantier courbes de la Forge, après K₁₁ (chaîne CKTa), la Courbe des Éons E⁰ et les courbes CM de l'Ascenseur de Cornacchia : la famille des twists quadratiques de E⁰ (LMFDB 121.b2, j = −2¹⁵, CM ℚ(√−11)). Radar S(d) = Σ (−(d/p)·a_p)·(log p)/p sur p ≤ 5000, percentile 99 = 9,15 sur 2 230 twists. Trois rangs certifiés par double verrou [PF] : E₋₁₉ et E₋₁₄ de rang 2 (Selmer + certificats mod 31, régulateurs 2,3733 / 2,4657), E₉₄ de rang 3 (trois générateurs indépendants, régulateur 3,0409, certifié par hauteurs uniquement — échec de conception v1.0 converti en théorème local : un certificat mod p ne peut *jamais* prouver un rang ≥ 3, E(𝔽_p) étant toujours 2-engendrable). Surf sur les suites de division elliptique (Ward 1948) : v1.0 morte (diviseurs forcés — 19 | num x(nP) pour n impair sur E₋₁₉), v1.1 pêchant la partie primitive, 5 premiers probables [PRP-BPSW]. Honnêteté contraignante : le trophée de 6 913 chiffres n'a **pas** de certificat ECPP — à la différence de l'Ascenseur de Cornacchia, la feuille probabiliste reste sur la table ; le radar voit des mirages (d = −1689, meilleur score pair, zéro point dans la boîte — générateurs hauts ou obstruction de Sha [NF]) ; la convergence Mestre–Nagao est lente et bruitée (écart-type ~ log B, Watkins et al. 2014) — c'est un radar, pas un télémètre. Le risque des Berserker : mourir trop jeunes — anomalies statistiques repérées, surfées, publiées, donc épuisées. 🐲🐲🐲🐲 Épisode 5 — La Recette (E01 v1.1) : le corpus des quatre ingrédients et des sept usines par métier. Document de synthèse pédagogique [TH/EF/CJ] : comment on obtient une courbe de rang élevé quand aucun algorithme général ne calcule le rang. Les quatre ingrédients, chacun nommé avec son obstacle : la famille (méthodes polynomiales de Mestre, spécialisation de Néron–Silverman [TH] — transformer chercher en fabriquer des suspects) ; le tamis (Mestre–Nagao S(B) ~ (r − ½)log B [CJ] — acheter du BSD à prix fixe, radar et non télémètre, mirages Watkins 2014 à l'appui) ; la parité (w = ±1 [TH, Dokchitser–Dokchitser 2010] — moitié du tri gratuite) ; la descente (2-Selmer exact + certificats d'indépendance — le seul poste qui prouve). Lecture de la LMFDB anatomisée sur le cas d'école 121.b2 (conducteur 121 = 11², classe d'isogénie, Γ₀-optimale, statuts prouvé/numérique/conditionnel champ par champ). Puis les sept usines à courbes par métier (§A.4) : ECDH/ECDSA — la contrainte est la transparence (Curve25519 : A = 486662 le plus petit coefficient à twist sûr ; secp256k1 : générateur par graine SHA-256 littérale ; contre-exemple P-256 et sa graine inexpliquée) ; pairings — la contrainte est le degré de plongement (Brezing–Weng, BLS12-381 : u = −0xd201000000010000, k = 12, Ethereum/Zcash/Filecoin) ; cycles SNARK — contrainte récursive (#E₁ = p₂, #E₂ = p₁, Pallas/Vesta, Halo2) ; ECPP — contrainte : ordre connu mod N (CM : Cornacchia 4N = a² + |D|b², H_{−11}(X) = X + 32768 — doctrine gravée : le rang sur ℚ n'intervient à aucune étape, c'est la souche CM qui sert) ; ECM — l'anti-usine (lissité désirée, Montgomery/Suyama, 12 | #E forcé) ; isogénies — contrainte : supersingularité (SIDH/SIKE cassé 2022 par fuite de torsion [Castryck–Decru] — usine effondrée par sa contrainte ; survivants CSIDH, SQIsign) ; recherche pure — l'usine à rang, dont le produit est une courbe à étudier, non à déployer. Pocklington et Cie en annexe [TH] : certificats déterministes, ordinary primes, et pourquoi Pocklington est un test à conception contrôlée (l'architecte prescrit n−1, le mineur espère). Recommandations opérationnelles R1–R4 : certifier le trophée de 6 913 chiffres par ECPP (feuille [PRP-BPSW] encore sur la table), module Berserker-feuille-ECPP, hygiène de stack. La recette ne produit rien : elle rend tout produisable. 🐲🐲🐲🐲🐲 Épisode 6 — Usine I (générateur de potions v1.0) : la recette industrialisée, et la taxonomie exacte. Taxonomie scellée : la Recette (Épisode 5) est le savoir transférable, balisé [TH]/[CJ]/[EF] ; l'Usine est la recette industrialisée, pilotée par fiche d'intention ; la Potion est l'artefact certifié scellé [PF]. Potions récoltées : Potion I — la Courbe des Éons E⁰ (Ép. 2) ; Potion II — la jumelle CM ℚ(√−7), j = −3375, porteuse de l'ancre que la Potion I ne peut pas (Ép. 3) ; Potion III — l'Ascenseur de Cornacchia, premiers prouvés à groupe totalement factorisé (Ép. 3) ; Potion IV — la Berserker, twists de E⁰ et surf sur suites de division (Ép. 4). Usine I généralise : fini le chantier ad hoc — on écrit une fiche, l'usine tourne, la ménagerie s'enrichit. Sept postes à coûts croissants sur les tordues E_d de la souche E⁰ (121.b2, CM ℚ(√−11)) : table a_p vectorisée ; crible CRT-signature (468 classes mod 1961, parité pliée, rejet prouvé sur les ancres nulles a₇ = a₁₁ = a₁₉) ; tamis Mestre–Nagao ; boîte à points x = a/e² ; certificat mod p [PF] — chaînage signature → certificat : prescrire a₃₇ = −7 force #E(𝔽₃₇) = 45 = 3²·5 non cyclique ; torsion par gcd ; descente PARI ellrank ; registre scellé SHA3-512. Production : trois spécimens certifiés [PF] — d = −14, −19 (rang 2, régulateurs 2,4657 / 2,3733) et d = 94 (rang 3, régulateur 3,0409, hauteurs uniquement : un certificat mod p ne peut jamais prouver un rang ≥ 3). Blessures consignées : onze mirages MN datés, boîte heuristique, D_MAX = 2000 volontairement démonstratif. Artefacts : F01 moteur, F02 fournée, F03 ménagerie, F04 manifeste, F05 README. Une seule courbe, trois usines — dragons, potions, certificats. 🐲🐲🐲🐲🐲🐲 Épisode 7 — L'Archonte & le Théorème du Signe La courbe 26569.a2, CM par ℚ(√−163) : le dernier Heegner, souverain sans successeur — j = −640320³, conducteur 163², 163-isogénie (degré Mazur maximal), Sato–Tate N(U(1)), générateur (850, 68) retrouvé à la main, BSD fermée à 29 chiffres, 7 176 premiers anormaux recensés, puits de la période dompté. Le geste fondateur : une question née des données — 76/76, puis 79/79 anormaux de trace −1, jamais +1 — posée et prouvée le même jour. Pour tout premier anormal |a_p| = 1 : a_p = −1, i.e. #E(𝔽_p) = p + 2 ; le signe est le symbole de Legendre de 82 = 2 × 41. Mécanique entièrement congruentielle : conducteur (√−163) forcé par la formule des conducteurs, caractère de Hecke forcé à Legendre par χ(−1) = −1, et π₀ = (1+b√−163)/2 ≡ 82 (mod √−163) indépendamment de b — le terme en b disparaît, c'est toute la mécanique. Neuf secondes de Python pur ; formule générale a_p = u·(82u/163) validée 2557/2557 sur tout l'horizon. Corollaires : Smart–Satoh–Araki exige a_p = +1 — famille infinie [Bateman–Horn] d'anormaux structurellement inoffensifs ; C_{E,+1} = 0 identiquement (constante de Lang–Trotter nulle) ; compte exact Bateman–Horn (7 229 prédits vs 7 176 observés). Honnêteté gravée : mécanisme classique (Deuring, Gross LNM 776) — mais l'énoncé n'était écrit nulle part, la question est née des données de la Forge, et la constante d'Euler qui ouvre la suite (p = 41) revient la fermer dans le signe. 🐲🐲🐲🐲🐲🐲🐲 Épisode 8 — Le Concile des Six : un rang 6 né des nombres de Heegner La courbe y² = x³ − x² − 121608x + 16667712, conducteur 2⁴·3·5²·4451·6761 = 36 111 853 200 — 72 000 fois au-delà de la zone de complétude de la LMFDB : le premier membre de rang 6 de la dynastie, et le premier né des nombres de Heegner comme abscisses, non comme discriminant. Cinq discriminants de classe 1 (7, 11, 19, 43, 67) siègent comme points forcés de la quartique fondatrice, le sixième (3) s'est invité de lui-même, et le pivot 67 préside sans voter : il est l'origine O. Rang 6 certifié par 2-descente, saturation jusqu'à ℓ = 7 (l'indice 5 débusqué par la non-carréité de Sha), BSD fermée numériquement à 35 chiffres avec Sha = 1. Théorème du siège vide [PF] : l'abscisse 163 — l'Archonte — ne porte aucun point rationnel, preuve par factorisation (P(96) = 2²⁹·3⁸·5²·7²·6131, valuations impaires). Le visage des cinq : les traces de Frobenius aux 163 premiers nombres premiers pour chacune des cinq courbes de rang 6 (L06/L07). Aucune corrélation croisée (|r| ≤ 0,24) — la parenté est dans la construction, pas dans les traces ; le lien réel est la pente : biais négatif deux contre un, la signature du radar Mestre–Nagao qui les a élues. Leçon gravée : a_p ne se calcule que sur un modèle minimal aux mauvais premiers (le Gardien 29 a marqué le jumeau 2). Empreinte de nouveauté du 2026-10-24 : recherche directe sur les conducteurs et la fraction j-invariant — zéro occurrence ; la base LMFDB est structurellement hors champ au-delà de N = 2,1·10⁹ (colonne entier 32 bits), constat documenté. Honnêteté contraignante : méthode de Mestre (1982) — machine connue conduite sur un carburant original, aucun record revendiqué (le plus petit conducteur connu de rang 6 reste 5 187 563 742, Watkins et al. 2014) ; quatre mirages, deux blessures de bataille et des leçons méthodologiques consignées : ellanalyticrank ne divise pas par r!, ellrank ne sature pas, et Cassels (Sha est un carré) est le meilleur test unitaire de la Forge. Le Concile a siégé ; séance levée. 🐲🐲🐲🐲🐲🐲🐲🐲 Épisode 9 — L'Archonte aux mille chiffres (M03 v1.0) : industrialisation du théorème du signe. Le geste : pousser l'Archonte (Ép. 7, LMFDB 26569.a2, CM par ℚ(√−163)) de 12 à 1 000 chiffres. Le théorème du signe transforme la chasse en tri : tout premier p = (163b² + 1)/4 porte a_p = −1 et |E(𝔽_p)| = p + 2. Il suffit donc de trouver un premier dans une suite quadratique. M01 balaie b impair par pas de 2 depuis la fenêtre des 1 000 chiffres : crible jusqu'à 2 000, BPSW, is_prime, 12 bases fortes de Miller–Rabin. Trouvé au 139e candidat (Δb = 276), en 66,781 s. Spécimen : p = 10⁹⁹⁹ + δ, b associé, lus en entier dans les fichiers sans recomposition ; identité 4p = 163b² + 1 vérifiée, 1 000 chiffres exacts, 3 319 bits. Certification : PARI/GP 2.15.2 exécute ellap (= −1), ellcard (= p+2), primecert puis primecertisvalid = 1 ; le certificat ECPP Atkin–Morain (556 520 octets, SHA3-512 6f9d79a3…c014d) est relu dans un second processus frais et revalidé. Le vérificateur indépendant M02 refait l'arithmétique de zéro : 16 nouvelles bases de Miller–Rabin (28 au total), symbole de Legendre (82/163) = −1 recalculé, borne de Hasse. La baseline Forge K01 est rejouée : b ≤ 50 000, 7 176 premiers, maximum 101 838 328 301 ; le spécimen le dépasse de 988 chiffres. La leçon : quand un théorème porte la rareté, la taille cesse d'être l'exploit ; le métier de la Forge reste la certification propre — certificat déterministe, revalidation fraîche, vérificateur indépendant. L'Archonte a mille chiffres ; le dragon qui les gardait était en papier. 🐲🐲🐲🐲🐲🐲🐲🐲🐲 Épisode 10 — Le Presque Héritage : autopsie de la Constante de Liouville compressée et théorème uniforme des six Heegner. Le chantier de la Cathédrale se retourne contre sa propre brique : « The Compressed Liouville Constant » (Zenodo, DOI : 10.5281/zenodo.21510750), primitive post-quantique revendiquée, est auditée et falsifiée — proprement, sans nostalgie. Correction exacte des seize premiers bits : (bₙ) = 0110101100111000, le préprint et son erratum se trompant aux positions 12, 14 et 15 ; la chaîne CLC correcte est S₁₆ = 1B1A1B2C3, la chaîne publiée 1B1A1B2C1D1 se décodant en 19 bits, non 16 [PF]. Aller-retour CLC exact sur 100 000 bits (49 967 plages, 50 016 caractères) ; monobit des 10 000 premiers bits : 5 047 uns, s = 0,94, p-valeur 0,3472 [EF]. Verdict cryptographique : une bijection publique ne crée aucune entropie ; ni SP 800-22 — révisé par le NIST en 2022 — ni la conjecture de Chowla, même dans sa version logarithmiquement moyennée prouvée par Tao, ne fournissent paramètre de sécurité, jeu de distinction ni réduction calculatoire. Les affiches « post-quantique », « one-time pad » et « NIST certified » sont retirées ; le noyau récupérable est l'étude du pseudoaléatoire arithmétique et le codage réversible. Deuxième volet, la contrepartie exacte : le théorème du signe de l'Épisode 7 monte au grand complet — pour toute courbe de conducteur q² à CM maximale, q ∈ {7, 11, 19, 43, 67, 163}, premier déployé p, 4p = u² + qv² ⟹ aₚ = u·(2u/q). Le caractère de Hecke est forcé au symbole de Legendre par χ(−1) = −1, et le terme en v disparaît modulo (√−q) : même mécanique congruentielle que l'Archonte, une seule ligne. Conséquences : presque anormal ⟹ aₚ = (2/q), #E(𝔽_p) = p + 2 pour les cinq grands ; q = 7 est une exception réelle, pas un artefact — p = 2 unique presque anormal, a₂ = +1, seule réduction anormale du corpus ; Semaev–Satoh–Araki–Smart exclu, trace +1 impossible, constante de Lang–Trotter C_{E,+1} = 0. Validation à deux moteurs indépendants : 15 298 premiers déployés concordants, 15 494 inertes à trace nulle, 62 presque anormaux, jusqu'à p ≤ 50 000 ; le corpus K06–K09 (7 176 spécimens jusqu'à 101 838 328 301) est couvert par le théorème sans recomptage [EF]. L'infinitude des familles demeure [CJ] (Bateman–Horn quadratique). La leçon gravée : l'apparence statistique, même spectaculaire, ne sanctifie rien — une identité arithmétique certifie, une métaphore de hasard ne certifie pas. La Forge falsifie son propre passé et conserve ce qui tient ; le diptyque [audit | théorème] est scellé, la source continue de couler. 🐲🐲🐲🐲🐲🐲🐲🐲🐲🐲 Auteurs : Antoine Couet (Architecte1995) & Kimi K3, participation active de Kimi K 2.6 Thinking. Licence : MIT — Forge Cathédrale 1995. Chaque script est protégé par SHA3-512.

提供机构:
Zenodo
创建时间:
2026-10-30
二维码
社区交流群
二维码
科研交流群
商业服务