[{"type":"thinking","thinking":"Now paperB.tex — the skeleton with the spectral material + standing items front page.","signature":""},{"type":"text","text":"Now the Paper B skeleton with the standing items on its first page."},{"type":"tool_use","id":"Write_211","name":"Write","input":{"file_path":"D:\\Python\\Quantum\\research\\paper\\paperB.tex","content":"% ============================================================\n% NGUYEN-RH-1 — PAPER B SKELETON (split 2026-08-20, session 013)\n% The Suzuki operator line: exact factorization, spectral-measure\n% equilibrium, valley theorem. IN PREPARATION — carries the standing\n% items from the session-012-end-notes review (see the box in §0).\n% ============================================================\n\\documentclass[11pt]{article}\n\\usepackage{amsmath,amssymb,amsthm,mathtools}\n\\usepackage{microtype}\n\\usepackage[colorlinks=true,linkcolor=blue,citecolor=blue]{hyperref}\n\n\\emergencystretch=2em\n\n\\newtheorem{theorem}{Theorem}\n\\newtheorem{lemma}[theorem]{Lemma}\n\\newtheorem{corollary}[theorem]{Corollary}\n\\theoremstyle{definition}\n\\newtheorem{definition}[theorem]{Definition}\n\\theoremstyle{remark}\n\\newtheorem{remark}[theorem]{Remark}\n\n\\title{The Suzuki operator line: exact factorization,\\\\\nspectral-measure equilibrium, and the valley theorem\\\\\n{\\large (research note, in preparation)}}\n\\author{Kimi K3\\thanks{model from Moonshot AI}\n\\and Claude Code\\thanks{harness from Anthropic}\n\\and Dan T Nguyen\\thanks{developer from Research Ai}}\n\\date{Started: 2026-08-20}\n\n\\begin{document}\n\\maketitle\n\n\\section*{0. Standing items (pre-submission checklist)}\n\nThis note is \\textbf{not yet submission-ready}. The following items\nare carried explicitly (review of 2026-08-20, project archive\n\\texttt{session-012-end-notes.txt}):\n\\begin{enumerate}\n\\item \\textbf{Theorem~\\ref{thm:factorization} (R-003) is tagged\n``modulo standard tempered-FT bookkeeping'' and carries an $o(e^a)$\ninside its statement.} Before submission: either trace the\nbookkeeping (distributional Fourier-transform conventions behind the\nexact factorization; make the $o(e^a)$ a traced quantitative\nremainder) or demote the statement to a Proposition-level claim.\n\\textit{Paper A received the same medicine for its $B(n)$ and margin\nconstants; this note takes it next.}\n\\item \\textbf{L3/L4 are open.} The biconditional ``limit formula\n$\\Longleftrightarrow$ real spectrum'' is proved in the forward\ndirection (Suzuki's Corollary~1.6 plus Theorem D1) and tagged a proof\nskeleton in the converse (L3/L4: a Wiener--Hopf literature assembly\nwhose final constituent is the tail-cancellation $(\\star)$).\n\\item \\textbf{Authorship policy.} Journal policies on machine-assisted\nresearch will apply at submission regardless of the mathematics;\nvenue choice and disclosure wording remain open.\n\\end{enumerate}\n\n\\begin{abstract}\n[factorization and the reduction of the limit formula to a\nreal-spectrum statement proved modulo itemized formalities; the\nrecovery of the limit formula from the real-spectrum property is a\nproof skeleton] On Suzuki's operator line: an exact factorization\n$W = F\\cdot(R_0 + R_\\tau)$ of his characteristic function reducing\nhis Corollary~1.6 to a Wiener--Hopf tail-cancellation, together with\na Krein-space analysis reducing the limit formula to a real-spectrum\nstatement.\n[proved, conditional on RH] A valley theorem for the\nreproducing-kernel diagonal of the associated model spaces\n(plateau, floors, universal profile), explaining and certifying a\nspectral-measure analysis carried out numerically to $a = 12$: the\nkernel diagonal exhibits valleys exactly at the true zero ordinates\n(symbol $= 1 + {}$zero comb), positions lock quadratically, and the\nconsolidation obstruction is isolated as a generic Szeg\\H{o}\nequilibrium with residual $\\to Z/(2\\pi)$; all identified breaking\nchannels are mapped, with closures documented.\n\\end{abstract}\n\n\\section{The Suzuki operator line: exact factorization and the\nspectral-measure equilibrium (R-003, D-040--D-046)}\n\nSuzuki \\cite{suzuki2026weil} constructs, for each $a > 0$, a\nself-adjoint operator family $\\bar D_{a,\\theta}$ on model spaces\n$\\mathcal H(T_a)$ built from the \\emph{screw function} $g$ of $\\zeta$\n($\\hat g(z) = z^{-2}\\xi'(\\tfrac12-iz)/\\xi(\\tfrac12-iz)$), whose spectra\nare the zeros of\n$W(a,\\theta;z) = (z-i)V_+(z) + e^{i\\theta}(z+i)V_-(z)$, with $V_\\pm$\nthe Fourier transforms of deficiency vectors. His Corollary~1.6 states\nthat a limit formula $e^{\\phi(a,z)}W(a,\\theta(a);z) \\to\nz^2\\xi(\\tfrac12-iz)/\\xi'(\\tfrac12-iz)$ (uniform on compacts, for some\nchoice of $\\theta(a)$, $\\phi$) would imply RH.\n\n\\begin{theorem}[R-003; modulo standard tempered-FT bookkeeping]\n\\label{thm:factorization}\nOne has the exact factorization\n$W(a,\\theta;z) = F(z)\\,M(a,\\theta;z)$ with\n$F(z) = z^2\\xi(\\tfrac12-iz)/\\xi'(\\tfrac12-iz)$ and\n$M = R_0 + R_\\tau$, where\n$R_0 = 2e^{a+i\\theta/2}\\sin(az - \\theta/2) + o(e^a)$ is an explicit\nsine skeleton and $R_\\tau$ is the out-of-interval tail transform.\nHence the limit formula is equivalent to the \\emph{tail-cancellation\nstatement} $(\\star)$: $R_\\tau$ cancels the skeleton leaving a zero-free\nremainder — a finite-interval Wiener--Hopf remainder estimate on the\nsymbol $\\hat g$, whose factorization is gated by the zero locations.\n\\end{theorem}\n\nWe studied the spectral (Clark/de~Branges) measures\n$\\mu_a = \\sum_k w_k\\,\\delta_{z_k}$ of $\\bar D_{a,\\pi}$ numerically to\n$a = 12$ ($w_k = 1/K_a(z_k,z_k)$, $K_a$ the model-space reproducing\nkernel; Galerkin machinery validated against the zero-side explicit\nformula to $4.5\\times10^{-6}$). The picture that emerges\n(D-040--D-045):\n\\begin{enumerate}\n\\item \\emph{The metric knows the zeros.} $K_a(z,z)$ has deep narrow\nvalleys exactly at the true ordinates $\\gamma$ (width $\\sim 1.5/a$;\ndepth consistent with $\\Delta(a) = \\log(2a) + o(1)$, the finite-$a$\nfive-point fit being $\\Delta(a) \\approx 3.33 - 4.76/a$), while\n$K_a(z,z) \\to 2a$ (the free Paley--Wiener diagonal) on the plateau,\nwith measured ratios $K_{\\mathrm{plateau}}/(2a) = 0.973, \\ldots,\n0.997$ for $a = 4, \\ldots, 12$:\nthe operator's symbol is \\emph{1 + the zero comb} — the explicit\nformula in operator-symbol form.\n\\item \\emph{Positions lock and masses are right.} Each $\\gamma$ has a\nspectral atom within $\\approx 0.65/a^2$ (quadratic locking, correcting\nan earlier wrong-direction metric), carrying mass $\\approx m_\\gamma = 1$.\n\\item \\emph{The equilibrium.} The residual mass over the excess\n(lattice) atoms tends to $Z/(2\\pi)$ per window $[0,Z]$, not to zero:\nthe family equilibrates exactly at the consolidation boundary\n(generic Szeg\\H{o} bulk behavior). At fixed $\\theta$ this is structural\n($\\theta$-independence is measured: residual spread $\\le 2.2\\%$ over\nthe full extension family).\n\\item \\emph{The breaking mechanism.} A shift $\\lambda \\to \\lambda_a^-$\n(bottom of the Weil-form spectrum) pins the valley floors (masses stay\n$1$) while the plateau response diverges — the unique channel that\nkills the residual. It is machinery-blocked: $\\lambda_a$ decays\nsuperexponentially ($0.414$ at $a{=}0.25$; $<3\\times10^{-12}$ at\n$a{=}2$, the floor-corrected bound on the \\emph{true} $\\lambda_a$\nfrom D-046 — raw Galerkin values are only upper bounds) below any\nachievable discretization floor at zero-resolving\n$a$ (Graveyard G-004).\n\\end{enumerate}\n\nOn the operator-theoretic side (D-041): the limit operator $D$ exists\nunconditionally as a $J$-self-adjoint operator in a Krein space\n(negative index = number of off-line zero pairs, Bombieri), with\n$\\mathrm{spec}(D) = \\Gamma$; and deficiency-element convergence is\nequivalent to strong resolvent convergence\n$\\bar D_{a,\\theta(a)} \\to D$ (Theorem D1), giving the reduction\n(D-041): the limit formula (1.12) holds for some $\\theta(a), \\phi$\n\\emph{only if} $\\mathrm{spec}(D) \\subset \\mathbb R$ --- this direction\nis proved (Suzuki's Corollary~1.6 plus Theorem D1). The\n\\emph{converse} (real spectrum yields the limit formula) currently\nrests on two named but unproved lemmas (L3/L4, a Wiener--Hopf\nliterature assembly whose final constituent is again $(\\star)$;\nD-051), so the biconditional is tagged a proof skeleton in that\ndirection. The real-spectrum persistence step is exactly RH (the\npaywall), as expected.\n\n\\section{The valley theorem (D-048--D-050)}\n\nThe spectral-measure picture above rests on a theorem about the\nreproducing-kernel diagonal $K_a(z,z) = \\langle e_z, T_a^{-1}e_z\\rangle$\nof the model spaces $\\mathcal H(T_a)$.\n\n\\begin{theorem}[valley law; conditional on RH]\nAssume RH. For $a \\ge 1$, $z \\in \\mathbb R$:\n\\begin{enumerate}\n\\item \\emph{(plateau)} $K_a(z,z) \\le 2a$ exactly, and\n$K_a(z,z) \\ge 2a(1 - C'(z,\\delta)/a)$ for\n$\\mathrm{dist}(z,\\Gamma) \\ge \\delta$, with explicit $C'$;\n\\item \\emph{(floors)} at each zero $\\gamma$,\n$K_a(\\gamma,\\gamma) \\le 1/m_\\gamma$ exactly; and if $\\gamma$ has no\nother zero within distance $1$,\n\\[\n1 - \\tfrac{1}{2a} - C\\tfrac{1+\\log\\gamma}{a^2}\n\\;\\le\\; K_a(\\gamma,\\gamma),\n\\]\nwith explicit $C$; in general the same rate holds up to an explicit\nlocal-configuration constant (a Gram-determinant factor and an\nannulus count $E(\\gamma,a)$, zero generically) via node-killing\nprojection test functions (D-058);\n\\item \\emph{(profile)} near such a zero, $K_a$ has the universal lower\nenvelope $1/(\\mathrm{sinc}^2((z-\\gamma)a) + 1/(2a) + D_1/(4a^2))$\n(with $\\mathrm{sinc}(0) = 1$, so at $z = \\gamma$ the envelope reduces\nto the floor lower bound of item~(ii)).\n\\end{enumerate}\nIn particular the valley depth $\\Delta(a) = \\log 2a + o(1)$.\n\\end{theorem}\n\n\\begin{proof}[Proof idea (D-049, D-058)]\nThe variational identity\n$K_a(z,z) = \\sup_v |\\hat v(z)|^2/(\\|v\\|^2 + Q_W^a(v))$ (the sup over\nthe zero-side form domain, which contains the flat bumps — Lemma FD)\nwith the Weil explicit formula $Q_W^a(v) = \\sum_\\gamma m_\\gamma|\\hat\nv(\\gamma)|^2$ (the pure comb under RH). Plateau upper bound:\n$T_a \\ge I$. Floor: single-term domination above; below, the flat\nbump for isolated zeros, and in general the projection of $e_\\gamma$\noff the span of the nearby evaluation vectors (which vanishes exactly\nat the neighboring zeros). The combinatorial input is Trudgian's\nzero-density bound.\n\\end{proof}\n\n\\begin{remark}[the detector content; D-050, E-027]\nThe detector has three levels (measured, E-027; all four cases\n$a \\in \\{4,8\\}$, two heights): (L1) the bare Weil form is indefinite\nfor \\emph{any} off-line deviation $\\delta > 0$ (strict Schwarz on the\ntwo evaluation functionals; no threshold), with tiny magnitude near\n$\\delta = 0$; (L2) the pencil $T_a = I + B_a$ loses positivity at a\nmagnitude-set onset (measured $\\delta \\approx 0.11$ at $a=4$,\n$0.038$ at $a=8$); (L3) the tuned flat-carrier quotient turns negative\nexactly at $\\delta = \\pi/(2a)$ (proved one-direction; measured\ncrossings within $0.02\\%$--$2.3\\%$ of $\\pi/(2a)$, three of four\ncases within $0.5\\%$). The stress test itself was run at\n$a \\in \\{4, 8\\}$; combined with the spectral-measure picture to\n$a = 12$ (floors $\\approx 1$ at the true ordinates, plateau\n$\\to 2a$), this amounts to a numerical verification of Weil\npositivity in the $\\mathcal H(T_a)$ metric at those scales, and an\noff-line pair produces negative form directions localized at its\nheight.\n\\end{remark}\n\n\\section{Obstruction note}\n\n\\emph{The $\\lambda \\to \\lambda_a^-$ ground-state channel}\n(G-004, D-046): the feasibility windows are disjoint — ground-state\nresolution requires $a \\lesssim 1.3$ (superexponential decay of\n$\\lambda_a$) while zero resolution requires $a \\gtrsim 4$.\n\n\\appendix\n\\section{Spectral-measure numerics (E-016--E-025)}\n\nAll experiments are deterministic scripts with CSV+JSON sidecars in the\nproject archive (\\texttt{research/numerics/}); checks as stated.\n\n\\begin{itemize}\n\\item Galerkin realization of Suzuki's Weil-form operator validated\nagainst the zero-side explicit formula to $4.5\\times10^{-6}$;\nzero-location by sign-change + Brent refinement; winding-number\ndiagnostics for off-axis zeros.\n\\item Clark/de~Branges weights $1/K_a(z_k,z_k)$ via Schur-reduced\nbordered Toeplitz solves (validated to $3.6\\times10^{-14}$ against\ndense bordered solves; $h$-refinement $1.1\\times10^{-3}$).\n\\item Valley observable: $\\Delta(a) = 2.16, 2.51, 2.74, 2.87, 2.94$\nfor $a = 4,6,8,10,12$; plateau $K \\to 2a$ (measured ratio\n$0.973 \\to 0.997$); valley floors $\\approx 1$ (mass gauge\n$m_\\gamma = 1$; measured $0.90$--$1.26$ across $a = 4, \\ldots, 12$);\nmass within $\\pm0.1$ of true zeros $63\\% \\to 72.5\\%$; positional\nlocking $\\approx 0.65/a^2$; residual $\\to Z/(2\\pi)$.\n\\item $\\theta$-independence (E-024): residual spread at most\n$2.23\\%$ over $7$ boundary conditions $\\times$ $3$ values of $a$.\n\\item $\\lambda$-flow (E-025): discretization floor documented\n(pencil bottom crosses zero at $a \\approx 5.2$ for $h = 0.01$,\n$O(h)$ artifact); channel response measured at $a=4$\n($\\Delta\\colon 2.16 \\to 6.99$, residual $48 \\to 11$).\n\\item Detector stress test (E-027): a synthetic off-line zero pair\n(mid-gap heights $23.0$, $51.4$; $a \\in \\{4,8\\}$; Legendre--Galerkin\nzero-side form, $N > \\gamma^* a$) confirms the three-level detector\npicture: bare-form negativity onset immediate ($\\sim 10^{13}\\times$\ncontrol floor at the smallest $\\delta$), pencil positivity loss at\n$\\delta \\approx 0.11$ ($a=4$) / $0.038$ ($a=8$), tuned-carrier\nthreshold at $\\pi/(2a)$ to within $2.3\\%$ in the worst case\n(three of four cases within $0.5\\%$); negative directions\nlocalized at the pair (contrast $3.4$--$6.1$).\n\\end{itemize}\n\n\\bibliographystyle{plain}\n\\bibliography{references}\n\\end{document}\n"},"extra_content":null}]