← Catalogue · Frontière r₁₂
P31 Frontière mesurée 3/5 · frontière déclarée Frontière r₁₂

Portée dérivée — frontière r₁₂ constitutive

La portée dérivée bat Hartree-Fock à bas Z mais la frontière r₁₂ explicite est déclarée constitutive — structurelle, pas paramétrique — pour He au-delà de 2 %.

◫ Figure(s) de la simulation

Figure P31

Résultats JSON — convertis en tableaux

Artefacts machine-lisibles figés par SHA-256. Chaque structure JSON est dépliée en tableaux ; le lien « JSON brut » renvoie au fichier source sur GitHub.

p31_portee.json 17 tableau(x) · 71 lignes JSON brut sur GitHub
ChampValeur
chantierP31
titrePortee derivee du facteur a deux corps — frontiere r12 ?

Explication — contexte & formalisme

P31 — La frontière r₁₂ déclarée constitutive

Domaine : Physique atomique / Chimie quantique / Fondements Verdict : ⚠️ Frontière déclarée constitutive (3/5 formel, 0/3 règles)

Problème

Test final annoncé dans P30 : trois contraintes de portée entièrement dérivées, zéro paramètre, testées sur le facteur cinématique u(r₁₂) = ½ r₁₂ e^(−βr₁₂) (cusp de Kato imposé, factorisation imposée à grande distance).

Trois règles testées

Règle (0 paramètre)βE_min (Ha)vs split-ζ −2,8347
R1 — échelle orbitale : β = (a+b)/21,65−2,790pire de 0,045
R2 — orthogonalité : ⟨u′ cos θ₁₂⟩ = 02,53−2,821pire de 0,013
R3 — densité : ⟨r₁²⟩_ΨJ = ⟨r₁²⟩_Φ0,71−2,742pire de 0,092
β libre (diagnostic, bord de grille)≥ 4−2,842n'atteint même pas
Split-ζ seul (même intégrateur)−2,835référence
Exact (Pekeris)−2,9037

Lecture

Les trois règles sont physiquement distinctes et toutes honnêtes — et l'orthogonalité frôle la vérité. R2 (annuler la fuite du facteur vers le secteur à un corps) sélectionne β = 2,53, proche du bord libre, et ne perd que 0,013 Ha contre split-ζ : c'est la meilleure, et sa logique est celle de la méthode. R3 (préserver la densité) impose un facteur trop mou, R1 (échelle orbitale) trop large. Le diagnostic libre tranche : l'énergie veut le facteur éteint (β → ∞, J → 1). Dans cette famille, l'énergie préfère toujours la corrélation radiale seule.

L'échec est structurel, pas paramétrique

P30 avait localisé le problème dans la portée ; P31 le clos : même libre, la portée ne sauve pas la famille. La raison est visible dans l'identité locale : le gain du 1/r₁₂ au contact est payé par le terme cinétique u′² et par le croisement u′ cos θ₁₂ (a+b) ; à un terme, ces trois contributions ne peuvent être simultanément bonnes — il faudrait la flexibilité angulaire d'un développement de Hylleraas (Σ c_nlm s^n t^l u^m), dont les coefficients sont des paramètres libres. La méthode refuse ce prix.

Conséquence, publiée comme borne et non comme défaite : la carte du calcul a une frontière exacte — tout ce qui est discret, cinématique et à un corps est dérivable (24 succès) ; la réponse continue corrélée à deux corps ne l'est pas sans liberté de forme. Les échecs P22 (magnitudes Q_ββ), P23 (quenching), P24 (gaps), P26/P29 (peaux, couche) et P30–P31 convergent tous vers ce mur désormais mesuré.

Verdict

CritèreRésultat
Contact dérivable (cusp sélectionné par l'énergie, P30)
Portée non dérivable✅ (publié)
Aucun facteur à un terme n'ajoute l'angulaire au radial✅ (publié)
Trois règles de portée dérivées testées
Borne non franchie❌ (documenté comme frontière constitutive)

Chaîne documentaire

Source du document

Comptes rendus (notes de verdict PDF)

</> Simulation — scripts Python

p31_portee.py

⌗ Correspondances croisées

§ Entrées de lexique liées

Frontière r₁₂ — Limite constitutive de la machine : la réponse corrélée continue à deux corps (r₁₂ explicite) n'est pas dérivable sans liberté de forme. Déclarée en P31, loi en P32, renforcée en P33.
Hartree–Fock — Référence champ moyen à une particule que la portée dérivée doit battre pour déclarer un succès de corrélation.

Voir tout le lexique →