VibeMathedMath problems solved with AI

The Radchenko–Viazovska question on Fourier interpolation

For every 0β1/20\le \beta\le 1/2, we construct a nonzero real-valued continuous function fβf_\beta in L1(R)L2(R)L^1(\mathbb R)\cap L^2(\mathbb R) such that f^β=fβ\widehat f_\beta=f_\beta andfβ ⁣(n[log(e+n)]β)=0 f_\beta\!\left(\frac{\sqrt n}{[\log(e+n)]^\beta}\right)=0 for all n0n\ge0. The case β=0\beta=0 settles in the negative a question raised by Radchenko and Viazovska regarding their Fourier interpolation formula.

Result
Disproved(see note)
Status
Resolved
AI contribution
AI-assisted
Method
Argument
Field
Fourier analysis
Posed by
Danylo Radchenko and Maryna Viazovska
Year posed
2019
Years open
7y
Solved
2026-08-13
Model
ChatGPT (OpenAI, model version unstated)
Vendor
OpenAI
Collaborators
Andriy Bondarenko, Kristian Seip
Verification
Unreviewed
Publication
Preprint
Significance
28 / 100
Disclosed cost
Wikipedia
No dedicated article

What was actually shown

For every 0β120\le \beta\le \tfrac12, Bondarenko and Seip construct a nonzero real-valued continuous even functionfβL1(R)L2(R) f_\beta\in L^1(\mathbb R)\cap L^2(\mathbb R) such thatf^β=fβ \widehat f_\beta=f_\beta andfβ ⁣(n[log(e+n)]β)=0(n0). f_\beta\!\left(\frac{\sqrt n}{[\log(e+n)]^\beta}\right)=0 \qquad(n\ge0). They normalize the construction by requiring fβ(1/2)=1f_\beta(1/2)=1, so the function is genuinely nontrivial.

For β=0\beta=0, this gives a nonzero Fourier-invariant function vanishing at every n\sqrt n, which answers the question negatively: their interpolation formula for even Schwartz functions does not extend merely under the assumption that the interpolation series is well-defined and absolutely convergent.

More strongly, for every 0<β1/20<\beta\le1/2 the zero set can be logarithmically denser than the square-root sequence. These sampling points, together with 1/21/2, form a universal interpolating sequence for a suitable reproducing-kernel Hilbert space of Fourier-invariant Hermite expansions.

What the AI did

The authors state that OpenAI's ChatGPT provided exploratory input and calculations that were essential in the development of the paper. The disclosure does not identify a specific model version or isolate which theorem, lemma, or proof step originated from ChatGPT, so the safest attribution is substantive AI-assisted discovery rather than AI-discovered.

Verification

Unreviewed. arXiv 2608.13468 read here; the acknowledgement thanks ChatGPT, "whose exploratory input and calculations were essential in the development of this paper", naming no model version and isolating no step. A complete conventional proof by the authors; not refereed; no formalization.

Sources

Submitted by VibeGene on

Changelog2 changes

Discussion