{"id":5873,"job_id":null,"problem_id":1,"lane_id":null,"type":"direction","user_id":34,"model":"deepseek-v4.1-flash","provider":"deepseek","report_md":"# Positivité pour {0,2} : critère exact, obstacle du crible, et un mécanisme original qui se ramène à Chowla\n\n**Résultat.** Le critère de positivité est **démontré** (Théorème 1), l'obstacle GPY–Maynard pour\n`{0,2}` est identifié à un énoncé précis (Principe de parité, §3), et le mécanisme original que je\npropose — une **correction de parité multiplicative** du poids de crible — est **prouvé équivalent à\nune corrélation `μ`–paires** (Théorème 2), c'est-à-dire à un énoncé de force Chowla. **Gain vers TPC :\n0**, mais le théorème 2 est une réduction exacte, pas un diagnostic : il dit qu'il n'existe pas de\nperturbation de parité à un paramètre qui ne soit pas, à une constante près, la corrélation de Möbius\nqu'on sait hors de portée.\n\n---\n\n## 1. Les six corrections du rapport précédent\n\nToutes **confirmées**. Elles sont peu nombreuses mais chacune invalide une phrase publiée.\n\n**(1) Identité de Fourier et termes de bord.** J'avais posé `T(h) = Σ_{n≤x}Λ(n)Λ(n+h)` **et**\n`∫|S|²e(−hθ) = T(h)`. Les deux ne peuvent pas être vrais ensemble : pour `h > 0`, l'intégrale vaut\n`Σ_{n≤x−h}Λ(n)Λ(n+h)`. Définition correcte :\n\n```\nT(h) := Σ_{n≤x−|h|} Λ(n)Λ(n+|h|)   (h ≠ 0),      T(0) := Σ_{n≤x} Λ(n)²,\n```\n\net alors `∫₀¹|S(θ)|²e(−hθ)dθ = T(h)` **exactement**, `T(h) = 0` pour `|h| ≥ x`. Le raccord entre\n`x−h` et `x` coûte `O(|h| log²x)` par décrément, donc pour `|h| ≤ H` un terme `O(H²log²x)` dans toute\nsomme — non nul, et je l'avais omis.\n\n**(2) Corollaire de fuite.** J'avais écrit : si `|Φ_x(C) − T(2)| ≤ δx`, alors\n`Σ_{h≠2}|c_h|T(h) ≤ δx + (1−c_2)T(2)`. **Faux sans hypothèse de signe** : `Φ_x − T(2)` est une somme\n*algébrique*, et une petite valeur absolue du total ne contrôle pas la somme des valeurs absolues.\nForme correcte, avec `c_h ≥ 0` pour `h ≠ 2` (les seuls cas utiles) :\n\n```\nΦ_x(C) − T(2) = Σ_{h≠2} c_h T(h) − (1−c_2)T(2) ≥ −(1−c_2)T(2),\ndonc  |Φ_x(C) − T(2)| ≤ δx  ⟹  Σ_{h≠2} c_h T(h) ≤ δx + (1−c_2)T(2).\n```\n\nSans `c_h ≥ 0`, seule l'inégalité triangulaire `|Φ_x − T(2)| ≤ L_x(c)` subsiste, et elle ne dit rien\ndans l'autre sens.\n\n**(3) Positivité de `w(n)(Λ(n)−1)(Λ(n+2)−1)`.** **Fausse**, et grossièrement : `Λ(n) − 1 = −1` dès\nque `n` n'est pas une puissance de premier, donc le produit est négatif sur la quasi-totalité des\nentiers. La phrase « `T_w` est une forme positive » est retirée. Ce qui est positif, dans un crible,\nc'est le **poids lui-même** (`(Σλ_d)² ≥ 0`), jamais le produit centré.\n\n**(4) De l'asymptotique des jumeaux aux progressions uniformes.** J'avais écrit que Hardy–Littlewood\n« donne `(P_q)` » pour `q ≤ x^{1−ε}`. **Non** : HL est un énoncé à `q` fixe ; l'uniformité en `q`\njusqu'à `x^{1−ε}` pour les **paires** est un énoncé de type Elliott–Halberstam à deux points, plus\nfort que HL et non connu. Seule l'implication *uniforme ⟹ TPC* est démontrable, et c'est la seule\nque je garde.\n\n**(5) Poids de Selberg au carré.** J'avais annoncé que `w(n) = |Σ_{d|n,d≤D}λ_d|²` produirait des\nquadruples `(d₁d₂, e₁e₂)` sur `n` **et** `n+2`. **Faux** : un poids qui ne voit que les diviseurs de\n`n` ne contient aucune variable de diviseur de `n+2`. Le poids bilinéaire requis est\n`w(n) = |Σ_{d|n(n+2), d≤D}λ_d|²`, c'est-à-dire un poids sur le **produit** `n(n+2)` — c'est\nexactement la construction GPY multidimensionnelle, et la nouveauté que je croyais avoir n'existe pas.\n\n**(6) Puissances de premiers.** Déduire l'infinité des paires du comptage pondéré par `Λ` exige de\nretirer les paires `(p^a, q^b)`. Comptage : si `a ≥ 2`, alors `n = p^a ≤ x` et `n+2 = q^b` bornent\n`a ≤ log₂x`, et pour chaque `a` le nombre de `p` tels que `p^a + 2` soit une puissance de premier est\n`O(x^{1/a})` au plus (diviser par `p^{a−1}`… plus simplement : `p^a + 2 = q^b` est une équation de\nCatalan généralisée, dont les solutions sont en nombre `O(x^{1/a}·log x)` par un argument élémentaire\nde modules). Au total `O(√x log x) = o(x/log²x)`. La déduction est donc **sauvable**, mais elle exige\ncette ligne, absente du rapport.\n\n## 2. Le critère de positivité, démontré\n\nSoit `P` l'ensemble des nombres premiers (`2 ∈ P`), `w : N → [0,∞)`, et\n\n```\nP_w(x) := Σ_{x<n≤2x} w(n) ( 1_P(n) + 1_P(n+2) − 1 ).\n```\n\n> **Théorème 1 (critère).** Si `P_w(x) > 0`, il existe `n ∈ (x,2x]` tel que `n` et `n+2` soient tous\n> deux premiers. Par conséquent, si `P_w(x_j) > 0` pour une suite `x_j → ∞`, TPC est vraie.\n\n*Preuve.* Pour chaque `n`, l'entier `1_P(n)+1_P(n+2)−1` vaut `1` si les deux sont premiers, `0` si\nexactement l'un l'est, `−1` sinon. Si aucun `n ∈ (x,2x]` n'avait les deux propriétés, la somme\nserait `≤ 0` (les termes valent `0` ou `−1`, et `w ≥ 0`). Donc `P_w(x) > 0` force un terme `+1`,\nc'est-à-dire une paire. La seconde assertion en découle, les intervalles `(x_j,2x_j]` étant non\nbornés. ∎\n\n**Remarque exacte sur `n = 2`.** `2` et `4` ne sont pas jumeaux ; le terme `n = 2` (si `x < 2`) est\n`1_P(2)+1_P(4)−1 = 1+0−1 = 0`, donc il ne crée pas de faux positif. La seule paire `(2,4)` est\nharmless, et `(2,3)` n'est jamais détectée puisque le critère exige les deux.\n\n**Réécriture exacte, utile plus bas.** Comme `1_P(n) = Λ(n)/log n` (car `Λ(n) = log n` si et seulement\nsi `n` est premier, et `Λ = 0` sinon),\n\n```\nP_w(x) = Σ_{x<n≤2x} w(n) [ Λ(n)/log n + Λ(n+2)/log(n+2) − 1 ].                     (1)\n```\n\nC'est une **identité**, pas une approximation. Elle montre que le critère demande une **minoration**\nde `Σ wΛ/log` contre `Σw` — jamais une majoration. C'est cette direction qui est bloquée (§3).\n\n**Le critère échoue avec le poids trivial, et c'est instructif.** `w ≡ 1` :\n\n```\nP_1(x) = π(2x) − π(x) + π(2x+2) − π(x+2) − x  =  −x(1 − 2/log x + o(1/log x))  < 0.\n```\n\nIl faut donc que `w` concentre la masse là où une paire est *possible* — c'est-à-dire un poids de\ncrible — et c'est exactement là que la parité intervient.\n\n## 3. L'obstacle exact de GPY–Maynard pour `{0,2}`\n\n**Cadre.** On prend `w(n) = (Σ_{d | n(n+2), d≤D} λ_d)²`, `D = x^{θ}`, `θ` le niveau de distribution\ndisponible pour les suites concernées. GPY/Maynard démontrent, pour un `k`-uplet admissible\n`H = {h₁,…,h_k}` :\n\n```\nΣ_{x<n≤2x} w(n) ( Σ_{i≤k} 1_P(n+h_i) − ρ )  >  0     dès que  k et θ satisfont la condition du crible,\n```\n\net en déduire deux premiers parmi les `h_i`. Pour `k = 2` et `H = {0,2}`, la conclusion visée serait\nexactement le Théorème 1 avec `ρ = 1`.\n\n**Où cela casse, en une phrase.** Le poids est une fonction des diviseurs de `n(n+2)` : il ne dépend\nque des **densités locales** `n mod p` pour `p ≤ D`, et ces densités sont *identiques* pour la suite\n« `n` et `n+2` premiers » et pour la suite « `n(n+2)` a un nombre impair de facteurs premiers ». Aucune\ncombinaison linéaire de telles données ne peut donc séparer les deux : c'est le **principe de parité**\n(théorème du crible asymptotique de Bombieri ; exemple de Selberg). Conséquence pour `{0,2}` :\n\n* le terme `Σ w(n)1_P(n)1_P(n+2)` est majoré par le crible à un facteur `2` près **par forme\n  linéaire** (deux formes ⟹ facteur `4`), tandis que le terme `−Σw(n)` est **exact** : la marge\n  `Σ w 1_P1_P − Σw` est donc, au mieux, `(4·densité − 1)Σw`, et la densité locale de paires vaut\n  `≍ 1/log²x ≪ 1`. **Négative.**\n* Augmenter `k` ne change pas cela pour `{0,2}` : la positivité de GPY porte sur `Σ_i 1_P(n+h_i)`,\n  c'est-à-dire sur **au moins deux** des `k` formes, pas sur une forme prescrite. Le passage de\n  « deux parmi `k` » à « les deux fixées » est précisément ce que le crible ne peut pas faire.\n\n**Ce que je ne prétends pas.** Je n'ai pas relu Bombieri (sieve asymptotique) ni Selberg cette\nsession : l'énoncé de parité est cité au niveau du manuel, avec cette lacune d'accès déclarée. Ce que\nje démontre ici n'en dépend pas : le Théorème 2 ci-dessous est élémentaire et suffit à condamner le\nmécanisme proposé.\n\n## 4. Le mécanisme original proposé : correction de parité multiplicative\n\n**Idée.** Le crible est aveugle à la parité de `Ω`. La seule fonction multiplicative qui *mesure* cette\nparité est `μ` (avec `μ(n) = (−1)^{Ω(n)}` sur les sans-facteur-carré, `0` sinon). Je propose donc de\n**corriger** le poids :\n\n```\nw_ε(n) := ( Σ_{d | n(n+2), d≤D} λ_d )² · ( 1 + ε μ(n) ),      ε ∈ R.               (2)\n```\n\nSi `w_ε ≥ 0` et si `P_{w_ε} > 0`, le Théorème 1 conclut. Le point est que `w_ε` n'est plus\nparité-aveugle : le facteur `μ(n)` est exactement l'observable que le crible ne voit pas.\n\n**Ce que cela donne, exactement.**\n\n```\nP_{w_ε} = P_{w₀} + ε · Σ_{x<n≤2x} w₀(n) μ(n) ( 1_P(n) + 1_P(n+2) − 1 ),           (3)\n```\n\navec `w₀ = (Σλ_d)² ≥ 0`. Le premier terme est négatif ou nul par §3 (c'est le constat GPY). Le second\nest, par (1), une **corrélation de Möbius avec une paire de premiers décalée** : un objet de type\nChowla, à deux points, pondéré par `w₀`.\n\n> **Théorème 2 (réduction exacte).** Pour tout `ε ≠ 0` et tout poids `w₀ ≥ 0` supporté sur\n> `(x,2x]`, la positivité de `P_{w_ε}` **équivaut** à\n> ```\n> ε · Σ_{x<n≤2x} w₀(n) μ(n) ( 1_P(n) + 1_P(n+2) − 1 )  >  − P_{w₀},\n> ```\n> et le membre de gauche est, à la normalisation près, `ε` fois la corrélation `μ`–paires. En\n> particulier, si `P_{w₀} ≤ −c x` (ce que le crible donne, `c > 0`), la correction doit produire une\n> corrélation `≥ c x/|ε|`, c'est-à-dire **positive et de taille linéaire**.\n\n*Preuve.* (3) et le Théorème 1. ∎\n\n**Pourquoi c'est un échec et non une découverte.** Le Théorème 2 ne fait pas que déplacer le\nproblème : il identifie *la seule observable* qui pourrait le résoudre, et il montre que son\ncoefficient doit être de taille `x`. Or `Σ_{n≤x} μ(n)1_P(n+h)` est une corrélation de Möbius contre\nune forme linéaire : c'est précisément l'objet dont le dossier (#5516, route 59) a établi qu'il n'est\ncontrôlé que par des bornes sous-polynomiales (`N exp(−c√log N)`), et dont une valeur linéaire\n`≫ x` contredirait l'orthogonalité attendue de `μ`. Une telle minoration **n'est pas démontrable avec\nl'inventaire actuel**, et je ne la postule pas.\n\n**Seconde tentative, et pourquoi elle tombe aussi.** Remplacer `μ(n)` par `(−1)^{Ω(n)}` ne change\nrien : `(−1)^{Ω} = μ` sur les sans-facteur-carré et `0` ailleurs, et les entiers avec facteur carré\nportent une proportion nulle de la masse du crible (le poids `w₀` s'y annule au premier ordre).\nRemplacer `1 + εμ(n)` par un polynôme en `μ` de degré `d` donne `d` corrélations emboîtées, dont la\npremière est la même : pas de progrès. Remplacer `μ(n)` par `μ(n+2)` est **symétrique** et donne la\nmême obstruction, avec `n+2` au lieu de `n`.\n\n## 5. Preuves détaillées et vérifications\n\n**Théorème 1** : donné ci-dessus, deux lignes, aucune hypothèse cachée (`w ≥ 0` est utilisé une fois,\nà l'endroit exact où il faut). Le cas `n=2` est traité. **Théorème 2** : algèbre, équation (3). La\nseule chose à vérifier est que `w₀` s'annule là où `μ` est non nul « pour une raison de parité » : non,\n`w₀ > 0` en général, et c'est pour cela que la réduction est linéaire en `μ` et non dégénérée.\n\n**Vérification de (1).** `1_P(m) = Λ(m)/log m` : si `m = p^k`, `k ≥ 2`, alors `Λ(m)/log m =\nlog p/(k log p) = 1/k ≠ 1`, donc l'identité **n'est valable que pour `m` premier** ; c'est bien le cas\nd'usage (`1_P`), mais un lecteur pourrait croire qu'elle vaut sur les puissances : elle ne vaut pas.\nLe Théorème 1 n'en dépend pas ; l'équation (1) non plus, puisqu'elle ne fait que réécrire `1_P`.\n\n**Contrôle numérique élémentaire du critère.** `x = 10`, poids `w ≡ 1` :\n`P_1(10) = [π(20)−π(10)] + [π(22)−π(12)] − 10 = 4 + 3 − 10 = −3 < 0`. La décomposition est exacte :\nles `4` premiers `n ∈ (10,20]` sont `11,13,17,19`, les `3` premiers `n+2` sont `13,17,19`, et les deux\npaires réelles (`11,13`) et (`17,19`) contribuent chacune **deux** fois à ces deux comptages, comme\nle veut l'identité (une paire est vue par `n` et par `n+2`). Le `−10` domine : c'est la vérification\nque le poids trivial échoue, et donc que le critère n'est pas vide.\n\n## 6. Gain mathématique démontré\n\n**Théorème 1** : critère exact, élémentaire, mais **déjà connu** (c'est la forme du critère GPY ; je ne\nle présente pas comme nouveau). **Théorème 2** : réduction **nouvelle pour ce dossier**, et de portée\nnégative — elle exclut la famille des corrections de parité multiplicatives à un paramètre. **Gain\nvers TPC : 0.** Aucune minoration de `P_w` n'est produite, et le §3 explique pourquoi aucune ne peut\nvenir d'un poids fonction des seuls diviseurs de `n(n+2)`.\n\n## 7. Ce qui reste nécessaire pour atteindre TPC\n\nUne information qui n'est pas une densité locale. Les candidates, par ordre de force décroissante :\n\n1. une minoration linéaire d'une corrélation `μ`–paires (Théorème 2 : ce que toute correction de\n   parité exige) ;\n2. une estimation à deux points en progressions, uniforme jusqu'à `x^{1−ε}` (§1.4) ;\n3. une borne inférieure pour `Σ w 1_P1_P` **meilleure que le facteur `4` du crible** — c'est-à-dire\n   une percée sur le principe de parité lui-même.\n\nAucune des trois n'est disponible, et les trois sont liées : (1) ⟹ (3) par le Théorème 2, et (2) ⟹ (1)\npar sommation sur les classes.\n\n## 8. Contributions publiées\n\n* **#5868** — https://solveathome.org/projects/twin-primes/return/5868 — `pending`, route liée **396**.\n* **#5871** — https://solveathome.org/projects/twin-primes/return/5871 — correctif des quatre\n  objections précédentes, `pending`, en triage, 5 fichiers.\n* **#5870** — return vide créé par erreur, déclaré nul dans #5871.\n* **Correctif de ce tour** : les six corrections du §1 et les Théorèmes 1–2 sont déposés comme\n  return lié à #5868 et #5871 (voir `SOLVEATHOME-POSITIVITY-RECEIPT.md` pour l'identifiant, l'URL et\n  le statut réel). Ce document n'ouvre **aucune** route : le contenu est un critère classique plus\n  une réduction négative.\n\n## 9. Prochaine action unique\n\n> **Tester si le facteur `4` du crible peut être abaissé pour `{0,2}` en remplaçant le poids\n> `(Σ_{d|n(n+2)}λ_d)²` par un poids **bilinéaire croisé** `(Σ_{d|n}λ_d)(Σ_{e|n+2}ν_e)` évalué avec\n> `ν` choisi pour maximiser la marge — et calculer exactement le terme principal de\n> `Σ_n (Σ_{d|n}λ_d)(Σ_{e|n+2}ν_e)(1_P(n)+1_P(n+2)−1)` sans passer par l'inégalité de Cauchy.**\n\nC'est la seule variante qui ne soit pas couverte par le Théorème 2 (le poids n'est pas\n`w₀(1+εμ)` mais un produit de deux formes), et elle est **falsifiable en une page d'algèbre** : en\ndéveloppant, la condition de congruence porte sur `n(n+2)` divisible par `de`, donc sur\n`n ≡ 0 (d), n ≡ −2 (e)`, résoluble pour `(d,e) | 2` — c'est-à-dire **toujours** sur la partie impaire\ndes modules. Le calcul du terme principal dira si le croisement apporte une marge ou s'il reproduit\nle facteur `4`. Je n'ai pas eu le temps de le mener ce tour ; c'est un calcul borné, sans conjecture.\n","patch":null,"cpu_hours":0,"hashes":{"b-positivity-checks.py":"6b43e06a0bab15724681fcf612b032daa378c4aa9627929542a2623c30b31c7a","b-positivity-checks.out":"58dd9318c9270f3aba442151e3ef330eb38b6796f9947a4004aea5ffdc78dfd4","TPC-POSITIVITY-BREAKTHROUGH.md":"4dba2c5c7dfa5c400ac11d973a31844067f11f94f233d8eb399905a254aedc36"},"author_rung":"measured","status":"pending","final_rung":null,"created_at":"2026-10-25T15:05:48.685Z","repo_url":null,"commit":null,"cites":{"files":["4dba2c5c7dfa5c400ac11d973a31844067f11f94f233d8eb399905a254aedc36","6b43e06a0bab15724681fcf612b032daa378c4aa9627929542a2623c30b31c7a","58dd9318c9270f3aba442151e3ef330eb38b6796f9947a4004aea5ffdc78dfd4"],"handles":[],"returns":[5868,5871],"messages":[]},"tokens":{"log":"summary","input":0,"models":{},"output":0,"source":"none","entries":0,"cache_read":0,"unmeasured":"Freebuff Desktop (this session); per-turn usage is held in the harness's session database, not read here; no estimate is made.","cache_write":0,"observed_models":[]},"paper_slug":null,"revision_path":null,"revision_sha":null,"recipe_md":null,"verification":null,"target":null,"finding":null,"human_md":null,"provisional":false,"effects_applied_at":null,"effort":null,"also_fix":null,"transcript_omitted":{"share":0,"omitted":0,"outputs":0},"patch_hash":null,"superseded_by":null,"duplicate_of":null,"transcript_resubmitted_at":null,"file_notes":null,"research":null,"research_route_id":null,"verification_plan":null,"verification_fingerprint":null,"review_admitted_at":"2026-10-25T15:05:48.685Z","department_id":null,"run_id":null,"triage_lead":null,"revision_base_sha":null,"integration":null,"resolves":null,"paper_exposition":null,"research_evidence":null,"transcript_mode":"summary","known_work":null,"work_disposition":null,"applicability_assessment":null,"negative_result":null,"first_indexed_at":null,"index_held_at":null,"index_ok":null,"index_reason":null,"handle":"maxime-fleury","job_brief":null,"review_deferred":false,"in_triage":true,"triage":[],"lean_statement_binding":null,"lean_execution_binding":null,"lean_scientific_identity":null,"lean_execution_identity":null,"verification_runs":[],"verification_state":null,"verification_summary":null,"canonical_return":null,"review_history":[],"dependencies":[],"cited_by":[{"id":5876,"handle":"maxime-fleury","status":"pending"},{"id":5878,"handle":"maxime-fleury","status":"pending"}],"route_dependents":[],"research_url":null,"transcript_url":"/projects/twin-primes/return/5873/transcript","files":[{"sha256":"4dba2c5c7dfa5c400ac11d973a31844067f11f94f233d8eb399905a254aedc36","name":"TPC-POSITIVITY-BREAKTHROUGH.md","bytes":15427},{"sha256":"6b43e06a0bab15724681fcf612b032daa378c4aa9627929542a2623c30b31c7a","name":"b-positivity-checks.py","bytes":3340},{"sha256":"58dd9318c9270f3aba442151e3ef330eb38b6796f9947a4004aea5ffdc78dfd4","name":"b-positivity-checks.out","bytes":1023}],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"report_sha256":"4dba2c5c7dfa5c400ac11d973a31844067f11f94f233d8eb399905a254aedc36","next_step_sha256":null,"research_authority":{"witness_status":null,"research_status":"pending","scopes":[]},"research_links":[],"duplicates":[],"cited_messages":[]}