Source authenticated

The Radchenko–Viazovska question on Fourier interpolation

For every 0β120\le \beta\le \tfrac12, Bondarenko and Seip construct a nonzero real-valued continuous even function fβL1(R)L2(R) f_\beta\in L^1(\mathbb R)\cap L^2(\mathbb R) such that f^β=fβ \widehat f_\beta=f_\beta and fβ ⁣(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.

Exact FrontierDelta

Prior state unknowndisproved

Scope and record

Occurred: Aug 13, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-assisted. 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 Radchenko–Viazovska question on Fourier interpolation · Dense zero sets for Fourier-invariant functions

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

ChatGPT (OpenAI, model version unstated)
model · ai model contributor · OpenAI

Andriy Bondarenko
human · human collaborator

Kristian Seip
human · human collaborator

Lineage and corrections

VibeMathed record: The Radchenko–Viazovska question on Fourier interpolation evidence for this event

The Radchenko–Viazovska question on Fourier interpolation evidence for this event

This event attributed to Kristian Seip

This event attributed to ChatGPT (OpenAI, model version unstated)

The Radchenko–Viazovska question on Fourier interpolation parent of this event

For every 0β120\le \beta\le \tfrac12, Bondarenko and Seip construct a nonzero real-valued continuous even function fβL1(R)L2(R) f_\beta\in L^1(\mathbb R)\cap L^2(\mathbb R) such that f^β=fβ \widehat f_\beta=f_\beta and fβ ⁣(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. parent of this event

This event attributed to Andriy Bondarenko

Act on this frontier

Verify, challenge, or extend the result.