{"id":1834,"job_id":2669,"problem_id":1,"lane_id":3,"type":"explore","user_id":1,"model":"claude-opus-5-5","provider":"anthropic","report_md":"# Route 107 pursuit: exact spectral form of the twin-pair defect, and a one-sided bound for the ln^2 H coefficient\n\n**Caveat first.** No asymptotic with o(H) error is proven. The lower bound for the ln^2 H coefficient and all of b, c remain open. The obligation is now a single nonnegative sum, stated below. Nothing here bears on twin-prime infinitude. The variance reading stays conditional on Hardy-Littlewood (#1315, #1317).\n\nSetup as in #1317: A = 2C_2, F(h) = S_4(h)/A^2 for {0,2,h,h+2}, D(H) = A^2 H^2 - A^2 sum_{0<|h|<H}(H-|h|)F(h). Odd h contribute 0, so D/(A^2 H) is #1315's tabulated column. F_H = Fejer kernel K_H/H.\n\n**Lemma 1 (proven; checked on 328 local cases, error 3e-15).** f_p - 1 = sum_{b!=0 mod p} |tau_p(b)|^2 e(hb/p), with tau_2 = 1 and tau_p(b) = (1+e(2b/p))/(p-2) for odd p. So sigma_p = 2/(p-2) and sigma_2 = 1. Equivalently, w_p(h) = (2c_p(h)+c_p(h+2)+c_p(h-2))/(p-2)^2, a twin Ramanujan expansion. The non-multiplicativity #1317 found in h disappears on the Fourier side: the weights are multiplicative in the denominator r (through CRT) and nonnegative.\n\n**Theorem A (proven; the truncated identity is checked to 1.4e-14 at (y,H) = (7,30), (11,77), (13,200), (13,1000)).**\nD(H)/(A^2 H) = 1 + lim_{y->oo} sum_{1<r|P(y)} sum_{(b,r)=1} |tau(b/r)|^2 (1 - F_H(b/r)).\nThis is the Montgomery-Soundararajan shape, with the weights mu^2(q)/phi(q)^2 replaced by b-dependent weights prod_p 4cos^2(2 pi b_p/p)/(p-2)^2.\n\n**Theorem B (exact split, any R).** D/(A^2 H) = (I) - (II) + (III), where:\n- (I) = sum_{r<=R} sigma(r);\n- (II) = sum_{1<r<=R} sum_b |tau(b/r)|^2 F_H(b/r), which is >= 0;\n- (III) = -(2/H) sum_{0<h<H}(H-h) T_R(h), with T_R the tail of F(h) = sum_r w_r(h).\n\n**(I) (proven, standard Perron).** sum sigma(r) r^{-s} = zeta(1+s)^2 G(s), with G analytic for Re s > -1/2 and G(0) = 1/(2C_2). So (I) = ln^2 R/(4C_2) + b_1 ln R + c_1 + O(R^{-1/2+eps}), with 1/(4C_2) = 0.378695 and b_1 = 2.281060. This dimension-2 sieve mass is the source of the ln^2 H shape: sigma(p) ~ 2/p, against the primes' mu^2(q)/phi(q) ~ 1/p.\n\n**(III) (sketch; constants not checked independently).** Rankin-type tails plus a Nair-Tenenbaum mean over h(h^2-4) give (III) << H (ln H)^9/R. The exceptional shifts h = +-2 contribute O(1). So (III) = O(1) at R = H (ln H)^10.\n\n**Corollary (proof sketch, conditional on the (III) sketch).** D(H)/(A^2 H) <= ln^2 H/(4C_2) + O(ln H ln ln H). So limsup a <= 1/(4C_2) = 0.378695. #1315's free fit gave 0.38298.\n\n**Measured (cheap, not proof).** The sharp-cutoff model S(H) = sum_{r<=H} sigma(r) differs from the #1315 table by -0.20 ... -1.54 over H = 1e3..1e6 (the table values run 34..103). A two-parameter refit with a fixed at 1/(4C_2) gives b = 2.0674, c = 1.8172, max residual 0.2543. The free fit's residual is 0.2427. The table was cited, not rerun.\n\n**Exact remaining obligation.** Show (II) = o(ln^2 H) at R = H (ln H)^10 to get a = 1/(4C_2). Evaluate (II) to o(1) to get b and c. The trivial bound |tau|^2 <= 4^omega/g^2 gives only (II) << ln^3 H ln ln H, which is the anticipated O(H log^k H) boundary failure, now isolated. Expanding |tau(b/r)|^2 = g(r)^{-2} sum_{r0 r1 = r} 2^omega(r0) prod_{p|r1} 2cos(4 pi b_p/p): the r1 = 1 part costs O(ln H ln ln H). The r1 > 1 parts carry the phases e(2 b inverse(r/s)/s) at r ~ H. They need a Kloosterman/Weil-type cancellation averaged over the modulus. Neither Montgomery-Soundararajan (weights depend on q only) nor Kuperberg (fixed classes or weights) supplies this.\n\nFull derivation: reduction2669.md. Checks: check2669.py (stdlib) and its output check2669.out.\n\n**Proposer's named requirements.** `python3`: used (stdlib; no numpy needed). `arxiv-math-0409258` and `arxiv-2301.06095` are the Montgomery-Soundararajan and Kuperberg arXiv papers. I relied on #1317's primary reading of their statements (Theorem 2, Lemma 4 eqs. 47-49; Kuperberg Thms 1.2/1.3/1.5, Lemma 1.4) and did not re-read the full texts in this session.\n\n## Sources\n- Return #1315, ssum2549.json (SHA-256 b9ded625...6631), rows H = 1e3..1e6: the D/(A^2 H) table, externally reported, not rerun.\n- Return #1317, triage-proof.txt: normalization of D, exceptional shifts, non-multiplicativity.\n- Montgomery & Soundararajan, Primes in short intervals, arXiv math/0409258: shape of the weighted singular-series sum (via #1317's reading).\n- Kuperberg, arXiv 2301.06095 / IJNT 2025 doi:10.1142/S1793042125500046 (via #1317's reading).\n- Conrey & Keating, Pair correlation and twin primes revisited, arXiv 1604.06124 (abstract): ratios-conjecture pair correlation for primes, not linked twin pairs.\n- Jha, The Poisson Tail Conjecture for primes in short intervals, arXiv 2605.23014 (abstract): primes only.\n- Kuperberg, Sums of singular series with large sets..., arXiv 2210.09775 (search listing only).\n\nTranscript: session-private identifiers, local absolute paths and credential material were removed by the department scrubber; third-party page payloads are replaced by omission notes.\n\n37 returns wait for a verdict.","patch":null,"cpu_hours":0.002,"hashes":{"check2669.out":"c42ea596d09b63bfe1b01808e02feb340086d45c2b5bae5ddb3fef1e20a30de6"},"author_rung":"proven","status":"recorded","final_rung":"recorded","created_at":"2026-09-26T14:38:59.842Z","repo_url":null,"commit":null,"cites":{"files":["b9ded62512abfb33fedd8829f494be71dcf4440adb56fcb4f737f5f3bafc6631","8a5210c6221258d6d09b098385f17f1ad8a855bb83f78ea303989e6d8763d25b"],"handles":[],"returns":[1315,1317],"messages":[]},"tokens":{"log":"claude-code","input":78,"models":{"claude-opus-5-5":75742},"output":75742,"source":"claude-jsonl","entries":39,"cache_read":3969407,"cache_write":146088,"observed_models":["claude-opus-5-5"]},"paper_slug":null,"revision_path":null,"revision_sha":null,"recipe_md":"Checks (stdlib python3 >= 3.8, deterministic, ~2 s):\n1. Fetch ssum2549.json from return #1315 (<project base>/return/1315, files; sha256 b9ded62512abfb33fedd8829f494be71dcf4440adb56fcb4f737f5f3bafc6631) into the working directory.\n2. python3 check2669.py > check2669.out ; sha256 of check2669.out must be c42ea596d09b63bfe1b01808e02feb340086d45c2b5bae5ddb3fef1e20a30de6 (script sha256 abe59251bce64123945c743dc3d44467a9e747f3d474555f1cbb0b567264f681).\n   Part A: local Fourier coefficients (Lemma 1), max_abs_err ~3e-15. Part B: truncated identity (Lemma 2) at (y,H) = (7,30),(11,77),(13,200),(13,1000), rel_err <= 1.4e-14 (exact Fraction LHS vs float spectral RHS). Part C: S(H) = sum_{r<=H} sigma(r) against the #1315 column, and the refit with a = 1/(4C_2).\n3. Proof review: reduction2669.md Lemma 1 (one-line coefficient computation), Theorem A (limit y->oo; F_y(+-2) = 0 for y >= 3), Theorem B (split), (I) (Perron with zeta(1+s)^2 G(s)); the (III) tail bound is a sketch whose (ln H)^9 exponent should be checked or replaced by any bound o(ln^2 H) at some R = H^{1+o(1)}.","verification":null,"target":null,"finding":null,"human_md":null,"provisional":false,"effects_applied_at":null,"effort":"high","also_fix":null,"transcript_omitted":{"share":0.047619047619047616,"omitted":2,"outputs":42},"patch_hash":null,"superseded_by":null,"duplicate_of":null,"transcript_resubmitted_at":"2026-09-26T14:40:19.274Z","file_notes":null,"research":{"outcome":"progress","route_id":107,"next_step":{"method":"Expand |tau(b/r)|^2 = g(r)^-2 sum_{r0 r1=r} 2^omega(r0) prod_{p|r1} 2cos(4 pi b_p/p). Bound the r1=1 part by sum 2^omega(r)/g(r)^2 * min(r, r^2/H). For r1>1, write the b-sum via the h-side identity as (1/H) sum_{|h|<H}(H-|h|) c_{r0}(h) c_{r+}(h+2) c_{r-}(h-2)/g(r)^2. Sum over r in dyadic ranges near H, first over r0 with r+ r- fixed (Ramanujan-sum orthogonality in the modulus). Only a power-of-log saving over trivial is needed. Also check the (III) exponent. Gate: compute (II) at y-truncation for H <= 1e3 against Theorem A plus the #1315 table.","compute":{"ram_gb":2,"disk_gb":1,"cpu_hours":0},"failure":"The r1>1 phase sums admit only the trivial ln^3 H lnln H bound with the available Ramanujan-sum orthogonality; record the exact Kloosterman-type input needed.","success":"A proof that (II) = o(ln^2 H) at some R = H^(1+o(1)) with (III) = o(ln^2 H), giving D/(A^2H) ~ ln^2 H/(4C_2); or an evaluation of (II) to O(ln H) with explicit constant.","question":"Is (II) = sum_{1<r<=R} sum_{(b,r)=1} |tau(b/r)|^2 F_H(b/r) = O(ln H lnln H) at R = H ln^10 H? That would fix a = 1/(4C_2) as an asymptotic, not just an upper bound.","budget_hours":1,"required_tools":["python3"],"required_sources":["arxiv-math-0409258"]},"depends_on":[1317],"evidence_md":"Exact form (proven; checked to 1.4e-14 at finite y): D(H)/(A^2H) = 1 + lim_y sum_{1<r|P(y)} sum_{(b,r)=1} |tau(b/r)|^2 (1 - F_H(b/r)), with tau_2 = 1 and tau_p(b) = (1+e(2b/p))/(p-2), multiplicative in r through CRT, and F_H the Fejer kernel. The non-multiplicativity in h found by #1317 is absent on the Fourier side, where the weights are nonnegative and multiplicative in the denominator. Split at R: D/(A^2H) = sum_{r<=R} sigma(r) - (II) + (III), with sigma(p) = 2/(p-2), sigma(2) = 1 and (II) >= 0. sum sigma(r) r^-s = zeta(1+s)^2 G(s) with G(0) = 1/(2C_2), so sum_{r<=R} sigma = ln^2 R/(4C_2) + 2.281060 ln R + c1 + O(R^-1/2+eps). (III) = O(1) at R = H ln^10 H (sketch). Corollary (sketch): D/(A^2H) <= ln^2 H/(4C_2) + O(ln H lnln H), so limsup a <= 0.378695 (#1315 free fit: 0.38298). Measured: a refit of #1315's table with a fixed at 1/(4C_2) has residual 0.2543 (free fit: 0.2427), and sum_{r<=H} sigma tracks the table within 1.54 for values 34..103. Not established: the lower bound for a, and b, c. The trivial bound gives (II) << ln^3 H lnln H.","prior_art_md":"Search 2026-09-26 (WebSearch; arXiv export API). Queries: variance of twin primes in short intervals with singular series and HL 4-tuple; sums of singular series {0,2,h,h+2} with Montgomery-Soundararajan; twin primes short intervals variance Poisson under-dispersion; Ramanujan expansion of the singular series for twin/prime pairs; arXiv title/abstract queries (twin primes AND singular series AND variance). Inspected at abstract level: Conrey-Keating arXiv 1604.06124 (ratios-conjecture pair correlation for primes; not linked twin pairs), Jha arXiv 2605.23014 (Poisson tail for primes), and listings of Kuperberg 2210.09775 (large sets), 2109.03767 (odd moments) and 2001.09513 (number fields). Primary statements of Montgomery-Soundararajan math/0409258 (Thm 2, Lemma 4 eqs 47-49) and Kuperberg 2301.06095 (Thms 1.2/1.3/1.5, Lemma 1.4) were reused from #1317's reading, not re-read. None treats the linked 4-tuple {0,2,h,h+2}, the weights |1+e(2b/p)|^2/(p-2)^2, or an H ln^2 H defect. Access gap: the PMC copy of Conrey-Keating returned a captcha. An empty search is not evidence of novelty. Exact remaining gap: an asymptotic (or o(ln^2 H) bound) for (II) = sum_{1<r<=H ln^10 H} sum_b |tau(b/r)|^2 F_H(b/r), which needs cancellation of the CRT phases e(2b inverse(r/s)/s) averaged over moduli r ~ H."},"research_route_id":107,"verification_plan":null,"verification_fingerprint":null,"review_admitted_at":null,"department_id":"dept_cc0a0b6ba2bdfadd5f9c50be","run_id":"run_74495113c347514c0a3a29ea","triage_lead":null,"revision_base_sha":null,"integration":null,"resolves":null,"handle":"Benjaminsen","job_brief":"First update the online prior-work search for this experiment. If existing work covers it, record that and stop; otherwise run this bounded sprint on the uncovered uncertainty. Use cited published numbers during pursuit; their reproduction belongs in later validation. Build on the supplied findings; do not reconstruct earlier research. Return concrete progress and its cheapest credible check, a useful result for review, or a precisely scoped obstacle. Continued investment requires a distinct experiment.\n\nRead GET <project base>/research-routes/107 and return #1317. Return the ordinary report and transcript plus research: {route_id: 107, outcome: \"promising|progress|blocked|inconclusive|known|result\", evidence_md: \"what the evidence changes, <=4000 chars\", prior_art_md: \"updated online search record, sources and exact remaining gap, <=4000\", next_step: {question, method, success, failure, budget_hours} <only for continued pursuit>, obstacle: {kind, statement, assumptions, evidence, revisit_when} <for blocked/inconclusive>, depends_on: [<return ids actually required>]}. A result with a distinct next_step requests review and continues pursuit concurrently; omit next_step when no further experiment is warranted. Use known with prior_art_md and no next_step or obstacle when cited prior work already covers the proposed contribution; it stops automatic investigation without requesting review. The evidence grade is separate. Do not close a broad route because one proof attempt failed.","review_deferred":false,"in_triage":false,"triage":[],"verification_runs":[],"verification_state":null,"verification_summary":null,"canonical_return":null,"review_history":[],"dependencies":[{"id":"1317","status":"recorded","final_rung":"recorded","canonical_return_id":null}],"research_url":"/projects/twin-primes/research-routes/107","transcript_url":"/projects/twin-primes/return/1834/transcript","files":[{"sha256":"22a193461048fdc15559fe8f54c16b787f0826289ae45cb1c1e95516bb6fce4f","name":"reduction2669.md","bytes":5853},{"sha256":"abe59251bce64123945c743dc3d44467a9e747f3d474555f1cbb0b567264f681","name":"check2669.py","bytes":4468},{"sha256":"c42ea596d09b63bfe1b01808e02feb340086d45c2b5bae5ddb3fef1e20a30de6","name":"check2669.out","bytes":1862}],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"duplicates":[],"cited_messages":[]}