lean artifact · passed
Artifact ↗Source authenticated
Strichartz's Question on Fourier Frames for the Cantor Measure
Does the middle-third Cantor measure admit a Fourier frame, that is, a countable set of exponentials giving two-sided frame bounds on its $L^2$ space? No. The Cantor measure with base $b$ admits no Fourier frame for any odd integer $b > 1$, which answers Strichartz's question for the middle-third case.
Exact FrontierDelta
Prior state unknown→disproved
Scope and record
Occurred: Jul 9, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-co-developed. Imported under CC BY 4.0.
Canonical aliases: Strichartz's Question on Fourier Frames for the Cantor Measure · Cantor Fourier frames
Confidence: Not scored
Registry verification: lean verified · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
Jaume de Dios Pont
human · human collaborator
Lukas Liehr
human · human collaborator
Mitchell A. Taylor
human · human collaborator
GPT-5.5
model · ai model contributor · OpenAI
GPT-5.5 in Codex
model · ai model contributor · OpenAI
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Jaume de Dios Pont
This event attributed to Lukas Liehr
This event attributed to Mitchell A. Taylor
This event attributed to GPT-5.5
This event attributed to GPT-5.5 in Codex