Source authenticated

The endpoint case of Carleson's pointwise convergence problem for the Schrodinger equation: a.e. convergence for data in H^{n/(2(n+1))}

Planar theorem: for every f∈H1/3(R2)f\in H^{1/3}(\mathbb R^2) there is a full-measure set EfE_f on which the Gaussian-regularised evolution has a limit for every 0<t<10<t<1 and converges to ff as t↓0t\downarrow0. Higher-dimensional theorem: the same for f∈Hn/(2(n+1))(Rn)f\in H^{n/(2(n+1))}(\mathbb R^n), every n≥3n\ge3. With Bourgain's necessary condition this gives the exact range s≥n/(2(n+1))s\ge n/(2(n+1)) for n≥2n\ge2. Not shown: the endpoint local L3L^3 maximal inequality in the plane, sharp LpL^p maximal estimates at the endpoint in higher dimensions, or results for other dispersive equations or convergence along curves.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 24, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: The endpoint case of Carleson's pointwise convergence problem for the Schrodinger equation: a.e. convergence for data in H^{n/(2(n+1))} · Endpoint of Carleson's Schrodinger convergence problem

Confidence: Not scored

Registry verification: unreviewed · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

This event attributed to Unreleased internal OpenAI model

Planar theorem: for every f∈H1/3(R2)f\in H^{1/3}(\mathbb R^2) there is a full-measure set EfE_f on which the Gaussian-regularised evolution has a limit for every 0<t<10<t<1 and converges to ff as t↓0t\downarrow0. Higher-dimensional theorem: the same for f∈Hn/(2(n+1))(Rn)f\in H^{n/(2(n+1))}(\mathbb R^n), every n≥3n\ge3. With Bourgain's necessary condition this gives the exact range s≥n/(2(n+1))s\ge n/(2(n+1)) for n≥2n\ge2. Not shown: the endpoint local L3L^3 maximal inequality in the plane, sharp LpL^p maximal estimates at the endpoint in higher dimensions, or results for other dispersive equations or convergence along curves. parent of this event

The endpoint case of Carleson's pointwise convergence problem for the Schrodinger equation: a.e. convergence for data in H^{n/(2(n+1))} parent of this event

Companion: Endpoint pointwise convergence for the Schrodinger equation in higher dimensions evidence for this event

Carleson, Some analytic problems related to statistical mechanics (1980) evidence for this event

The endpoint case of Carleson's pointwise convergence problem for the Schrodinger equation: a.e. convergence for data in H^{n/(2(n+1))} evidence for this event

VibeMathed record: The endpoint case of Carleson's pointwise convergence problem for the Schrodinger equation: a.e. convergence for data in H^{n/(2(n+1))} evidence for this event

Act on this frontier

Verify, challenge, or extend the result.