A case study, not a new theorem: the authors recount how they combined LLM-generated mathematics with Lean verification in Banach lattice theory and phase retrieval.
Cantor measures with odd base do not admit Fourier frames
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
We prove that the Cantor measure with base $b$ does not admit a Fourier frame whenever $b > 1$ is an odd integer. In particular, this answers a question of Strichartz on the existence of a Fourier frame for the middle third Cantor measure. A formalization of our main result in Lean 4 is also provided.
citation-role summary
background 1
citation-polarity summary
fields
math.FA 1years
2026 1verdicts
UNVERDICTED 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
Banach lattices and phase retrieval: A case study for the use of AI in mathematics
A case study, not a new theorem: the authors recount how they combined LLM-generated mathematics with Lean verification in Banach lattice theory and phase retrieval.