gpt 6 astra pro attempt on Math-66

Lindelöf Hypothesis

Definitions and mathematical statement

Let $\zeta$ be the meromorphically continued Riemann zeta function. The Lindelöf assertion is \[ \forall\varepsilon>0\ \exists C_\varepsilon,T_\varepsilon>0\quad |\zeta(\tfrac12+it)|\le C_\varepsilon|t|^\varepsilon \quad(|t|\ge T_\varepsilon). \] Thus growth on the critical line is smaller than every fixed positive power, with a constant allowed to depend on that power. The statement is a pointwise growth bound, not merely a mean-value estimate.

Formulation and concept references: [S1].

Short English statement

Does the zeta function on the critical line grow more slowly than every fixed positive power of height?

Research attempt

Current frontier and source status.

Florea's 2026 survey distinguishes pointwise subconvexity from the high-moment problem, and records the Bourgain exponent $13/84$ in the pointwise landscape [E1]. Any one positive exponent is weaker than Lindelöf. The retained Unterberger source has a withdrawal at version 48; later versions exist, so the withdrawal is not silently attributed to every later revision. No posted full-proof claim is used here as an established input [E2]. The attempt focuses on the exact quantitative relation between high moments and individual peaks.

Attack route.

One route estimates the approximate-functional-equation Dirichlet polynomials pointwise. A second proves all fixed high-moment upper bounds and then prevents a large value from being too narrowly localized. The latter route is pursued with an intentionally crude but explicit derivative estimate. The mathematical reduction is complete, while the moment bounds remain unproved. A family of smooth spikes then tests why finitely many successful moments cannot close the argument.

Attempt: a peak must occupy a definite interval.

For $T$ large and $t\in[T/2,3T]$, one has a coarse bound \begin{equation}\label{wsref-0-65-71-38-31-3a-64-65-72-69-76-61-74-69-76-65} |\zeta'(1/2+it)|\leq CT^2. \end{equation} Here is enough justification without invoking the desired hypothesis. Euler summation in the half-plane $\sigma>0$ writes $\zeta(s)$ as a sum up to $N$, the term $N^{1-s}/(s-1)$, and an integral involving a bounded sawtooth function, bounded by $O((1+|s|)N^{-\sigma}/\sigma)$. Take $N$ of order $T^2$. On a fixed small disk about $1/2+it$, say radius $1/4$, the partial sum is $O(T^{3/2})$, the pole term and remainder are smaller polynomial terms, and the disk is far from $s=1$. Cauchy's derivative estimate on that disk gives $O(T^{3/2})$, which in particular implies (eq81:derivative). This deliberately loses powers but is independent of Lindelöf.

Let $t_0\in[T,2T]$ and $M=|\zeta(1/2+it_0)|$. The same coarse bound ensures that $w=M/(2CT^2)\leq1$ after increasing $C$. On $|t-t_0|\leq w$, the derivative bound and the reverse triangle inequality give $|\zeta(1/2+it)|\geq M/2$. Therefore, for every fixed integer $k\geq1$, \begin{equation}\label{wsref-0-65-71-38-31-3a-70-65-61-6b} I_k(T):=\int_{T/2}^{3T}|\zeta(1/2+it)|^{2k}\,dt \geq\frac{M^{2k+1}}{C\,2^{2k}T^2}. \end{equation} If $M=0$ the desired conclusion is immediate. Otherwise the interval has positive length and remains inside the integration range. This establishes the peak estimate without assuming that maxima have a fixed positive width independent of their height.

Attempt: the all-moments sufficient package.

Assume that for every fixed $k\geq1$ and $\eta>0$, \begin{equation}\label{wsref-0-65-71-38-31-3a-6d-6f-6d-65-6e-74-73} I_k(T)\ll_{k,\eta}T^{1+\eta}. \end{equation} Combining (eq81:peak) with (eq81:moments) yields \[ |\zeta(1/2+it_0)|\ll_{k,\eta}T^{(3+\eta)/(2k+1)}. \] Given the target $\varepsilon>0$, choose $k$ once and for all large enough that $(3+1)/(2k+1)<\varepsilon$, then use (eq81:moments) with $\eta=1$. Constants and thresholds are allowed to depend on this fixed choice. The result is the required bound throughout $[T,2T]$. Dyadic covering handles all large positive $t$; complex conjugation handles negative $t$. Thus the all-fixed-moments package proves the exact pointwise Lindelöf assertion.

Conversely Lindelöf gives (eq81:moments): for a fixed $k,\eta$, use its pointwise estimate with exponent $\eta/(2k)$ and integrate over an interval of length $O(T)$. Hence this moment package is equivalent to the target, in agreement with the standard relation discussed in [E1]. The elementary proof above is a reconstruction, not a new proof of the unproved moment bounds. In particular $k$ is chosen before $T$; no unproved uniform control of constants for $k\to\infty$ is used.

Attempt: why a finite list of moments cannot suffice by itself.

Fix $K\geq1$ and choose a smooth nonnegative bump $\psi$ supported in $[-1,1]$ with $\psi(0)=1$. Put $a=3/(2K+1)>0$ and choose a rapidly increasing sequence $T_j$, with the resulting bump supports disjoint. Define on the positive real axis \[ F(t)=\sum_j T_j^a\, \psi\left(\frac{t-T_j}{T_j^{a-2}}\right). \] On each bump $|F'(t)|\ll T_j^2$. Its contribution to the $2k$th moment is \[ T_j^{2ka}T_j^{a-2}\int\psi(u)^{2k}\,du \asymp_k T_j^{(2k+1)a-2}\leq C_kT_j \qquad(k\leq K). \] Taking the $T_j$ sufficiently separated gives the corresponding $O(T)$-type dyadic moment bounds for all $k\leq K$, while $F(T_j)=T_j^a$ violates every subpower bound with exponent below $a$. This supplies an explicit countermodel to an inference based only on finitely many moments and a coarse derivative bound. It is a smooth function model, not a zeta function, and no functional equation or Euler product is claimed for it.

Stress test: the arithmetic input still absent.

A Dirichlet polynomial of length about $T^{1/2}$ becomes one of length about $T^{k/2}$ after taking its $k$th power. A generic mean-square estimate with a cost comparable to interval length plus polynomial length is then too expensive for large fixed $k$. The arithmetic correlations of its coefficients, rather than the mere existence of a polynomial representation, are what must improve the estimate. Treating the long coefficient sums as orthogonal beyond the available integration resolution discards the unproved off-diagonal problem.

The argument did not obtain (eq81:moments) for any new $k$. A theorem about a Barnes zeta function, an average over a different $L$-function family, or a bound holding on most ordinates cannot be substituted for that assertion. The spike example explains why exceptional large ordinates remain relevant even after strong mean-value information. The proof also does not use RH, and it does not claim that Lindelöf implies RH.

Outcome.

Outcome: Conditional reduction.

The notebook supplies a quantitative, fully justified moment-to-pointwise reduction and a smooth countermodel to the finite-moment shortcut. Its all-moments hypothesis is itself an equivalent unresolved route, not a weaker theorem already available. No improvement to pointwise zeta bounds or new high-moment estimate is obtained. A completion requires the actual arithmetic cancellation in (eq81:moments), or a different direct pointwise argument. No novelty claim is made for the classical equivalence.

Sources

• S1 Alexandra Florea, A survey of moment bounds for zeta(s): From Heath-Brown's work to the present, Journal of the London Mathematical Society $2026$. https://londmathsoc.onlinelibrary.wiley.com/doi/10.1112/jlms.70376. Catalogue formulation source.
• S2 Analogues of the Lindelöf Hypothesis for the Barnes multiple zeta function and related problems. https://arxiv.org/abs/2606.02407. Catalogue research/status reference; not a proof endorsement.
• S3 An approach to the Lindelöf Hypothesis for Dirichlet L-functions. https://arxiv.org/abs/2602.05731. Catalogue research/status reference; not a proof endorsement.
• S4 Pseudodifferential arithmetic, Riemann and Lindelöf hypotheses. https://arxiv.org/abs/2208.12937. Catalogue research/status reference; not a proof endorsement.
• S5 Pseudodifferential arithmetic, Riemann and Lindelöf hypotheses (withdrawn v48). https://arxiv.org/abs/2208.12937v48. Catalogue research/status reference; not a proof endorsement.
• E1 Alexandra Florea, A survey of moment bounds for $\zeta(s)$: From Heath-Brown's work to the present, Journal of the London Mathematical Society $2026$, DOI 10.1112/jlms.70376, introduction and moment/Lindelöf discussion. https://londmathsoc.onlinelibrary.wiley.com/doi/full/10.1112/jlms.70376. Inspected 27 September 2026; the moment-to-peak proof used here is supplied explicitly and is not presented as a new equivalence.
• E2 André Unterberger, Pseudodifferential arithmetic, Riemann and Lindelöf hypotheses, arXiv:2208.12937v48, version-specific withdrawal notice; compare the submission history and later revisions. https://arxiv.org/abs/2208.12937v48. https://arxiv.org/abs/2208.12937. History inspected 27 September 2026. The withdrawal is attributed to v48 only; neither later reposting nor the original title is used as evidence of an established proof.