Kaydedildi:
Detaylı Bibliyografya
Yazar: Lee, Byoungwoo
Materyal Türü: Recurso digital
Dil:
Baskı/Yayın Bilgisi: Zenodo 2025
Konular:
Online Erişim:https://doi.org/10.5281/zenodo.17766422
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
İçindekiler:
  • <p>## Summary (v1.0)</p> <p>This record releases version v1.0 of a bridge paper between the SAPZ framework for the Riemann zeta function and the operator-generated log-correlated large deviation theory developed in a separate work ("Large deviation theory for operator-generated log-correlated fields"). The goal is deliberately intermediate: we work at the mesoscopic fluctuation level, identify the operator structure and the \(\dot H^{1/2}\) covariance, and formulate a conditional large deviation principle (LDP) for the SAPZ-regularized zeta log field, without entering the extreme-value or GMC regime.</p> <p>The paper is entirely deterministic and structural. No Fyodorov–Hiary–Keating (FHK) conjectures or extreme-value inputs are used.</p> <p>---</p> <p>## Overview</p> <p>On the number-theoretic side, the SAPZ program provides a robust regularization of \(\log|\zeta(1/2+it)|\) in large windows \([T,2T]\) via spectral smoothing, spacing–energy estimates, and zero-density inputs. On the probabilistic side, the operator-generated framework considers random trace-class operators \(A_T\) acting on a Hilbert space \(H\), and uses a Hilbert–Schmidt isometry<br>\[<br>g \longmapsto G_g, \qquad g\in C_c^\infty(\mathbb{R}),<br>\]<br>to produce log-correlated fields<br>\[<br>\langle X_T,g\rangle := \mathrm{Tr}(A_T G_g)<br>\]<br>with \(\dot H^{1/2}\) covariance structure.</p> <p>This paper constructs a mesoscopic SAPZ–zeta log field<br>\[<br>L_T \in S_0'(\mathbb{R}),<br>\]<br>defined from a SAPZ-regularized version of \(\log|\zeta(1/2+it)|\) and a mesoscopic scaling \(w_T\), and shows that its covariance and finite-dimensional cumulants match those of an operator-generated log-correlated field at speed \(a_T\). Under additional SAPZ analytic assumptions, we obtain a conditional infinite-dimensional LDP on \(S_0'(\mathbb{R})\).</p> <p>---</p> <p>## Main results</p> <p>The main contributions can be summarized as follows.</p> <p>1. **SAPZ–zeta log field construction.**  <br>   We define a SAPZ-regularized zeta log process<br>   \[<br>   \ell_T(t) = (K_T * \log|\zeta(1/2+i\cdot)|)(t)<br>   \]<br>   using SAPZ smoothing kernels \(K_T\) adapted to a mesoscopic scale \(w_T\), and from this we construct a random tempered distribution \(L_T\) on the rescaled coordinate \(u = (t-T)/w_T\):<br>   \[<br>   \langle L_T,g\rangle<br>   = \int_{[T,2T]} \ell_T(t)\,g\!\left(\frac{t-T}{w_T}\right)\,\mathrm{d}t.<br>   \]</p> <p>2. **Operator representation and covariance bridge.**  <br>   Under SAPZ standing hypotheses (window separation, smoothing, and a spectral representation), we show that there exist random self-adjoint trace-class operators \(A_T\) on \(H=L^2(\mathbb{R})\) and a Hilbert–Schmidt isometry \(g\mapsto G_g\) such that<br>   \[<br>   \langle L_T,g\rangle = \mathrm{Tr}(A_T G_g) + R_T(g),<br>   \]<br>   with \(R_T(g)\) negligible at the fluctuation speed \(a_T \to \infty\). A covariance asymptotics hypothesis then yields<br>   \[<br>   \frac{1}{a_T} \,\mathrm{Cov}\bigl(\langle L_T,g\rangle,\langle L_T,h\rangle\bigr)<br>   \longrightarrow<br>   \int_{\mathbb{R}} |\xi|\,\widehat{g}(\xi)\,\overline{\widehat{h}(\xi)}\,\mathrm{d}\xi,<br>   \]<br>   i.e. the SAPZ–zeta field has leading-order covariance given by the \(\dot H^{1/2}\) inner product.</p> <p>3. **Finite-dimensional cumulant control.**  <br>   We introduce SAPZ hypotheses on higher cumulants (for fixed test functions \(g_1,\dots,g_m\)) stating that all cumulants of order \(\ge 3\) are \(o(a_T)\), while the second-order cumulants scale like \(a_T\). Under these assumptions, the scaled log-moment generating function<br>   \[<br>   \Lambda_T^{(a)}(\theta)<br>   := \frac{1}{a_T} \log \mathbb{E}\exp\Bigl(\sum_{j=1}^m \theta_j \langle L_T,g_j\rangle\Bigr)<br>   \]<br>   converges to the purely quadratic limit<br>   \[<br>   \Lambda(\theta)<br>   = \frac12 \theta^\top Q \theta,<br>   \qquad Q_{ij} = \langle g_i,g_j\rangle_{\dot H^{1/2}}.<br>   \]<br>   In particular, for each fixed finite family of test functions, the vector<br>   \[<br>   a_T^{-1/2} \bigl(\langle L_T,g_1\rangle,\dots,\langle L_T,g_m\rangle\bigr)<br>   \]<br>   is asymptotically Gaussian in the sense of cumulants.</p> <p>4. **Conditional bridge to the operator LDP.**  <br>   We formulate strengthened SAPZ hypotheses (S1–S3), which lift the finite-dimensional cumulant control to a dense set of test functions, ensure Gärtner–Ellis type convergence of the scaled log-mgfs, and provide exponential moment bounds for Schwartz seminorms. Under these hypotheses, the auxiliary operator-generated field<br>   \[<br>   \langle X_T,g\rangle := \mathrm{Tr}(A_T G_g)<br>   \]<br>   satisfies the abstract operator LDP assumptions (cumulant scaling, log-mgf convergence, and exponential tightness), and hence its laws on \(S_0'(\mathbb{R})\) obey an LDP with speed \(a_T\) and good rate functional<br>   \[<br>   I(\varphi)<br>   = \sup_{g\in C_c^\infty(\mathbb{R})}<br>   \Bigl\{\langle \varphi,g\rangle - \tfrac12 \|g\|_{\dot H^{1/2}}^2\Bigr\}.<br>   \]<br>   Exponential equivalence between \(L_T\) and \(X_T\) then transfers the same LDP to the SAPZ–zeta field \((L_T)\).</p> <p>---</p> <p>## What is conditional in this paper</p> <p>The main theorem is explicitly conditional. The SAPZ standing hypotheses (H1–H5) and the bridge hypotheses (S1–S3) summarize the analytic tasks that must be verified in concrete SAPZ models:</p> <p>- multi-point correlation and spacing-energy estimates for zeta zeros sufficient to control higher cumulants;<br>- uniform convergence of scaled log-mgfs for smeared statistics;<br>- exponential moment bounds for a family of Schwartz seminorms controlling the topology of \(S_0'(\mathbb{R})\).</p> <p>Once these tasks are achieved, the full infinite-dimensional operator LDP for the SAPZ-regularized zeta log field follows from the abstract operator framework, without further zeta-specific fine-tuning.</p> <p>---</p> <p>## Relation to the SAPZ program and to previous work</p> <p>This paper sits between two larger pieces of work:</p> <p>- The SAPZ series on entropy–spectral regularization of \(L\)-functions, where smoothing kernels, zero-density inputs, and spacing-energy bounds are developed on the analytic number theory side.<br>- The operator-generated log-correlated LDP paper, where a general LDP is proved for fields of the form \(\langle X_T,g\rangle = \mathrm{Tr}(A_T G_g)\) under structural cumulant and tightness assumptions.</p> <p>The present work shows how to:</p> <p>- rewrite the SAPZ-regularized zeta log field in trace form;<br>- recover the canonical \(\dot H^{1/2}\) covariance from SAPZ-type hypotheses;<br>- phrase the infinite-dimensional LDP for \(L_T\) as a purely operator-level problem, conditional on (S1–S3).</p> <p>We do **not** use extreme-value theory, Fyodorov–Hiary–Keating conjectures, or Gaussian multiplicative chaos. The focus is entirely on mesoscopic fluctuations and large deviations, not on maxima or critical chaos measures.</p> <p>---</p> <p>## Outlook</p> <p>The paper closes with several directions for future work:</p> <p>- constructing SAPZ-based multiplicative chaos measures for zeta and linking the LDP structure to extreme values;<br>- extending the operator-generated framework to higher-dimensional log-correlated fields and to other families of \(L\)-functions;<br>- formulating universality statements for SAPZ-regularized log fields across different arithmetic families, governed by the same operator LDP with \(\dot H^{1/2}\) rate functional.</p> <p>The SAPZ–Zeta Bridge is intended as a structural stepping stone: it separates the hard number-theoretic estimates from the abstract probabilistic machinery, and provides a clear list of analytic targets that, once resolved, yield a full large deviation principle for the mesoscopic zeta log field.</p>