Ivashev–Musatov Theorem in Harmonic Analysis

• The Ivashev–Musatov theorem is a harmonic analysis result that characterizes the borderline between Fourier-side smallness and spatial concentration on the unit circle.
• It employs conditions of square divergence and dyadic regularity to guarantee the existence of a probability measure supported on a set of Lebesgue measure zero.
• The theorem serves as a prototype for threshold phenomena in Fourier analysis, inspiring various weighted, topological, and summable analogues.

Searching arXiv for recent and classical discussions of the Ivashev–Musatov theorem and related analogues. The Ivashev–Musatov theorem is a theorem in harmonic analysis on the unit circle $T$ that identifies a sharp borderline between Fourier-side smallness and spatial concentration. In the formulation stated in recent lecture notes and in later work on summable analogues, it asserts that if a positive majorant $w(n)$ has divergent square sum and satisfies a dyadic regularity condition, then there exists a probability measure $\mu$ supported on a set of Lebesgue measure zero on $T$ such that

$$|\widehat{\mu}(n)| \leq w(|n|), \qquad n=\pm1,\pm2,\dots.$$

The theorem is presented as a sharp manifestation of the uncertainty principle: square-summability of Fourier coefficients would force $L^2$-regularity and rule out null support, but failure of $\ell^2$-summability—under mild regularity of the majorant—already allows measures supported on null sets (Limani, 27 Apr 2026). Later papers treat the theorem as a prototype for threshold phenomena in Fourier analysis and develop topological, weighted, and summable analogues (Limani, 13 May 2025, Limani, 21 May 2025).

1. Statement and basic interpretation

In the formulation given in the 2026 lecture notes, let $(w(n))_{n=0}^\infty$ be a sequence of positive numbers satisfying:

1. Square divergence

$\sum_n w(n)^2 = +\infty.$

2. Dyadic regularity there exists a constant $C>1$ such that for every integer $w(n)$0,

$w(n)$1

Then there exists a probability measure $w(n)$2 supported on a set of Lebesgue measure zero on $w(n)$3, such that

$w(n)$4

(Limani, 27 Apr 2026).

The 2025 paper on summable analogues gives an equivalent historical statement as “Theorem 1.1 (Ivashev–Musatov, 1958),” with the same square-divergence condition and dyadic regularity, plus an additional condition

$w(n)$5

while also noting that Körner later proved that this extra condition can be removed (Limani, 13 May 2025). The same paper emphasizes that condition $w(n)$6 is absolutely necessary, and that the dyadic regularity condition cannot simply be dropped (Limani, 13 May 2025).

Conceptually, the theorem answers a support-versus-amplitude problem: how small the Fourier coefficients of a measure can be if the measure is supported on a very small set. The answer is that the $w(n)$7 threshold is critical. This places the theorem among “borderline” uncertainty-principle results (Limani, 27 Apr 2026).

2. The $w(n)$8 threshold and the uncertainty-principle viewpoint

The theorem is routinely interpreted through the Parseval obstruction. The lecture notes state that if a distribution $w(n)$9 on $\mu$0 satisfies

$\mu$1

then $\mu$2, hence cannot be supported on a set of Lebesgue measure zero (Limani, 27 Apr 2026). The 2025 paper on summable analogues presents the same principle as the critical scale separating possible pathology from forced regularity, and explicitly interprets the classical theorem as a threshold phenomenon stemming from Parseval’s theorem (Limani, 13 May 2025).

The theorem is therefore understood as an essentially sharp converse to this obstruction. As soon as $\mu$3, meaning

$\mu$4

one can still realize the majorant $\mu$5 by Fourier coefficients of a probability measure supported on a null set, provided $\mu$6 has sufficient dyadic regularity (Limani, 27 Apr 2026).

This threshold interpretation is also central in later analogues. The 2025 weighted-$\mu$7 paper frames its main result as a threshold phenomenon in which weighted square-summability may or may not force regularity depending on the behavior of the weight (Limani, 21 May 2025). The 2025 summable-analogue paper likewise presents the Ivashev–Musatov theorem as a prototype of a Fourier-side uncertainty principle: “small support” and “regularity/smoothness in frequency space” remain compatible right up to the critical $\mu$8 boundary (Limani, 13 May 2025).

A standard example arises from polynomial majorants. The lecture notes state that taking

$\mu$9

with $T$0 gives

$T$1

and dyadic comparability is satisfied, so the theorem yields a probability measure supported on a null set with

$T$2

The same notes remark that the theorem proves something stronger than the mere existence of positive measures with polynomial Fourier decay (Limani, 27 Apr 2026).

3. Proof architecture and constructive mechanism

The lecture notes present the theorem through a “Principal IM-Lemma.” Under the same hypotheses on $T$3, for every $T$4 there exists $T$5 such that:

1. $T$6 on $T$7,
2. $T$8,
3. $T$9,
4. $$|\widehat{\mu}(n)| \leq w(|n|), \qquad n=\pm1,\pm2,\dots.$$0

From this lemma, one sets

$$|\widehat{\mu}(n)| \leq w(|n|), \qquad n=\pm1,\pm2,\dots.$$1

and passes to a weak-$$|\widehat{\mu}(n)| \leq w(|n|), \qquad n=\pm1,\pm2,\dots.$$2 cluster point. The limit is a probability measure, its support has Lebesgue measure zero, and the Fourier majorant survives in the limit (Limani, 27 Apr 2026).

The notes describe two proof traditions. The “conventional approach,” traced to Ivashev–Musatov and early Körner work, starts with a smooth function $$|\widehat{\mu}(n)| \leq w(|n|), \qquad n=\pm1,\pm2,\dots.$$3, composes with a highly oscillatory unimodular map $$|\widehat{\mu}(n)| \leq w(|n|), \qquad n=\pm1,\pm2,\dots.$$4, and uses cancellation of low Fourier modes; this approach involves oscillatory integrals and stationary phase (Limani, 27 Apr 2026). Körner later found a cleaner method that avoids these oscillatory-integral complications, and the notes state that their proof is largely based on Körner’s 1986 paper (Limani, 27 Apr 2026).

A key preparatory step converts dyadic regularity into polynomial comparability. The notes state that there exists $$|\widehat{\mu}(n)| \leq w(|n|), \qquad n=\pm1,\pm2,\dots.$$5 such that

$$|\widehat{\mu}(n)| \leq w(|n|), \qquad n=\pm1,\pm2,\dots.$$6

This bounds the oscillation of the majorant across scales and is crucial in summing Fourier estimates (Limani, 27 Apr 2026).

The principal local building block in the notes is a smooth function $$|\widehat{\mu}(n)| \leq w(|n|), \qquad n=\pm1,\pm2,\dots.$$7, supported on a closed arc $$|\widehat{\mu}(n)| \leq w(|n|), \qquad n=\pm1,\pm2,\dots.$$8, with controlled sign, controlled integral, and Fourier coefficients satisfying, for $$|\widehat{\mu}(n)| \leq w(|n|), \qquad n=\pm1,\pm2,\dots.$$9,

$L^2$0

By patching such blocks over partitions of $L^2$1, the proof constructs nonnegative smooth functions $L^2$2 with normalized integral, many zeros on every sufficiently large arc, and Fourier bounds

$L^2$3

An inductive multiplication scheme then shrinks the support while keeping the Fourier majorant below $L^2$4 (Limani, 27 Apr 2026).

A plausible implication is that the theorem is constructive in a strong approximation sense: it first builds absolutely continuous approximants with arbitrarily small support measure and then obtains the null-supported measure by compactness. That constructive feature is explicit in the notes’ proof skeleton (Limani, 27 Apr 2026).

4. Role of regularity, sharpness, and counterexamples

The dyadic regularity hypothesis is not decorative. The lecture notes explicitly state that the proof needs it in order to derive the polynomial comparability estimate

$L^2$5

and they then stress that the assumption is not something that can simply be ignored (Limani, 27 Apr 2026).

This point is sharpened by a counterexample due to Körner, also stated in the notes. There exists a decreasing sequence of positive numbers $L^2$6 such that

$L^2$7

but every nontrivial distribution $L^2$8 on $L^2$9 satisfying

$\ell^2$0

for some $\ell^2$1, must have full support in $\ell^2$2 (Limani, 27 Apr 2026). Thus failure of $\ell^2$3-summability alone is not enough.

The same theme appears in the 2025 summable-analogue paper, which states that the dyadic regularity $\ell^2$4 “cannot simply be dropped” (Limani, 13 May 2025). The lecture notes also discuss a one-sided variant: there exists a decreasing sequence $\ell^2$5 with

$\ell^2$6

but any nontrivial measure $\ell^2$7 satisfying

$\ell^2$8

must have full support in $\ell^2$9 (Limani, 27 Apr 2026).

This combination of a positive theorem and sharp counterexamples explains why the Ivashev–Musatov theorem is regarded as a borderline result rather than a universal characterization. The correct interpretation is not that every non-$(w(n))_{n=0}^\infty$0 majorant is admissible, but that the $(w(n))_{n=0}^\infty$1 barrier is essentially sharp once a mild scale-regularity condition is imposed (Limani, 27 Apr 2026).

5. Later refinements and summable analogues

Recent work treats the Ivashev–Musatov theorem as the prototype of a broader family of threshold phenomena. The 2025 paper “Summable analogous to the Ivashev-Musatov Theorems” shifts from pointwise majorants

$(w(n))_{n=0}^\infty$2

to summability conditions in weighted $(w(n))_{n=0}^\infty$3 and Orlicz spaces $(w(n))_{n=0}^\infty$4 (Limani, 13 May 2025). Its main measure-theoretic analogue states:

• if $(w(n))_{n=0}^\infty$5 is continuous and

$(w(n))_{n=0}^\infty$6

then there exists a probability measure $(w(n))_{n=0}^\infty$7 supported on a compact set of Lebesgue measure zero in $(w(n))_{n=0}^\infty$8, such that

$(w(n))_{n=0}^\infty$9

• if $\sum_n w(n)^2 = +\infty.$0 is positive with

$\sum_n w(n)^2 = +\infty.$1

then there exists a probability measure $\sum_n w(n)^2 = +\infty.$2 supported on a set of Lebesgue measure zero, such that

$\sum_n w(n)^2 = +\infty.$3

Both are presented as sharp summable analogues of the classical theorem (Limani, 13 May 2025).

The same paper also develops topological analogues in which “support of measure zero” is replaced by “support has empty interior.” Under suitable assumptions, there exists a positive essentially bounded function $\sum_n w(n)^2 = +\infty.$4 on $\sum_n w(n)^2 = +\infty.$5, whose support contains no interior, with Fourier coefficients summable in $\sum_n w(n)^2 = +\infty.$6 or $\sum_n w(n)^2 = +\infty.$7 (Limani, 13 May 2025). More strongly, the subcollection of such pairs $\sum_n w(n)^2 = +\infty.$8 is generic in a complete metric space, so the pathology is Baire-generic rather than merely existential (Limani, 13 May 2025).

A Hilbertian version appears in “A generic threshold phenomena in weighted $\sum_n w(n)^2 = +\infty.$9,” which gives a “summable Baire category version of Körner’s topological Ivashev–Musatov theorem” (Limani, 21 May 2025). If $C>1$0 is positive and satisfies

$C>1$1

together with a dyadic comparability condition

$C>1$2

then there exists a positive function $C>1$3 such that $C>1$4 has empty interior, but

$C>1$5

The same paper proves that such support pathology is generic in a complete metric space of admissible pairs $C>1$6 (Limani, 21 May 2025).

These papers show that the Ivashev–Musatov phenomenon extends beyond pointwise majorization. A plausible implication is that the classical theorem has become a model example for studying the exact regularity threshold at which Fourier-side control still permits severe support or range pathology.

6. Relation to Schaeffer–Salem theory, dynamics, and common confusions

The theorem also appears in the literature on singular measures with near-critical Fourier decay. The 2012 paper on “Singular Schaeffer-Salem measures of dynamical system origin” places Ivashev–Musatov alongside Wiener and Wintner, Schaeffer, Salem, and Zygmund in the study of singular measures with Fourier coefficients close to the critical decay exponent $C>1$7 (Prikhod'Ko, 2012).

That paper states that Schaeffer proved the existence of a singular $C>1$8 with

$C>1$9

for any given increasing sequence $w(n)$00, and hence

$w(n)$01

It then says that Ivashev–Musatov “got a further improvement of Schaeffer's result” by finding singular measures satisfying

$w(n)$02

with $w(n)$03 but $w(n)$04 for any $w(n)$05 (Prikhod'Ko, 2012). In that line of work, Ivashev–Musatov is associated with refined endpoint decay within the same critical regime.

The same 2012 paper proves that certain spectral measures of random dynamical systems satisfy

$w(n)$06

for any $w(n)$07, almost surely, for a dense set of functions $w(n)$08 (Prikhod'Ko, 2012). However, it explicitly says that it cannot determine whether these spectral measures are almost surely singular. Thus the paper gives a dynamical analogue of the decay side of Schaeffer–Salem theory, but not a full dynamical analogue of the classical singular-measure theorem (Prikhod'Ko, 2012).

A separate source of confusion is terminological. The 2014 paper “On the Closed Graph Theorem and the Open Mapping Theorem” does not explicitly mention, name, or cite an “Ivashev–Musatov theorem” (Bourlès, 2014). Its focus is instead the relation between the Closed Graph Theorem and the Open Mapping Theorem, formalized in Theorem 14 via the properties $w(n)$09 and $w(n)$10 for topological groups (Bourlès, 2014). Accordingly, the name “Ivashev–Musatov theorem” should not be attached to that theorem.

In the modern uncertainty-principle literature, the standard meaning is the harmonic-analytic theorem on the unit circle about Fourier majorants for measures supported on null sets (Limani, 27 Apr 2026), together with later topological and summable analogues (Limani, 13 May 2025, Limani, 21 May 2025).

7. Historical placement and significance

The 2026 lecture notes describe the theorem as originating from the “profound work of Ivashev–Musatov” and later being “refined and improved by T. W. Körner” (Limani, 27 Apr 2026). The 2025 summable-analogue paper likewise treats the 1958 theorem as classical and places it in a line of work continued by Körner, Kahane, Katznelson, and de Leeuw (Limani, 13 May 2025).

Its significance is twofold. First, it gives a sharp support-versus-Fourier-amplitude theorem on $w(n)$11: null-supported measures can have remarkably small Fourier coefficients, right up to the $w(n)$12 threshold (Limani, 27 Apr 2026). Second, it has become a template for modern threshold results, in which one studies exactly when weighted $w(n)$13, weighted $w(n)$14, or Orlicz control forces continuity and when it still allows empty-interior support, unbounded range, or failure of Fourier–Stieltjes representability (Limani, 13 May 2025, Limani, 21 May 2025).

In that sense, the Ivashev–Musatov theorem occupies a central position in the harmonic-analysis side of the uncertainty principle. It shows that “small support” and “small Fourier coefficients” are compatible much farther than naive intuition suggests, but only up to a sharp boundary dictated by $w(n)$15 and tempered by scale regularity (Limani, 27 Apr 2026).