arXiv subjects

Alex Iosevich

Publications and source records attributed to Alex Iosevich.

At least 19 recordsLinked to original sources

arXiv2026

The geometric case of the Erdős Similarity Conjecture. A human exposition of the OpenAI proof

For a fixed $q\in(0,1)$, can a set of positive Lebesgue measure avoid every translated and dilated copy of $\{q^n:n\ge1\}$? OpenAI's release of October 6, 2026 shows that it can, with a compact subset of $[0,1]$ whose measure is arbitrarily close to one. We give a detailed exposition of the proof, using only finite probability and basic measure theory. The proof removes a small open set intersecting every copy, obtained from a random construction: fair random choices, attached to the cells of nested grids, route each point down a finite tree, and at the leaf reached a further random choice removes the point with probability $p$. The removed set therefore has expected density $p$, however large the tree, while the branching gives each copy many independent chances to intersect it. Each chance depends on only part of the tree, so its outcome changes at only a controlled number of dilations, and a union bound over finitely many representative dilations then covers every dilation. We also relate the proof to the earlier random-cell arguments going back to Kolountzakis (Bull. London Math. Soc. 29 (1997), 415--424) and to recent work on two-fold sumsets (arXiv:2607.03584) and on Rajchman measures (arXiv:2609.04456), and we show how the method of conditional expectations makes the construction deterministic.

math.PR↗

arXiv2026

Improved dimension bounds for Falconer's distance problem in the plane

Let $E\subset\mathbb R^2$ be analytic with $t=\dim_{\mathrm H}E>1$. We prove $\dim_{\mathrm H}ΔE\ge 4/5+η_0$ for an absolute, non-explicit constant $η_0>0$, and \[ \dim_{\mathrm H}ΔE\ge \frac{t^2-2t+5}{2t^2-7t+10} \quad\text{for }1 1$, then \[ \underline{\dim}_{\mathrm B}Δ_xE\ge \max\left\{\frac45+η_0,\min\left\{\frac{3s+1}{5},\frac78\right\}\right\} \] for $μ$-almost every $x$. The same bound holds for pinned Hausdorff dimension under a common dyadic mass law, allowing oscillation with scale. We retain information about both endpoints in the Kolmogorov complexity estimates of Stull and Fiedler--Stull. Applying the partition estimates with the endpoints reversed yields $4/5$ and the rational bound. Equality forces both information profiles to have excess information on a common interval of scales. Encoding one source measure for all pins converts this constraint into a configuration of points and circles with many rich perpendicular bisectors. Lower bounds of Katz--Tardos and Ren--Wang contradict the upper bound of Fu--Gan--Ren; compactness then gives $η_0>0$. This rigidity argument has a precedent in the work of Héra, Shmerkin and Yavicoli on Furstenberg sets, using Bourgain's projection theorem. A separate finite-scale selection proves the pinned lower box bound.

math.CA↗

arXiv2026

Asymmetric $L^p$-improving and maximal estimates for the triangle averaging operator

Let $d\ge2$ and $t>0$. We study the bilinear triangle averaging operator $$\mathcal T_t(f,g)(x)=\int_{\mathcal I}f(x-ty)g(x-tz) dσ(y,z),$$ where $σ$ is the normalized surface measure on the manifold $\mathcal I=\{(y,z)\in\mathbb R^d\times\mathbb R^d:|y|=|z|=|y-z|=1\}$ of equilateral triangles of side length one with a vertex at the origin. We prove the strong-type asymmetric $L^p$-improving estimate $$\mathcal T_1:L^{\frac{d+1}{d-1}}(\mathbb R^d)\times L^{\frac{d^2-1}{d^2-3d+4}}(\mathbb R^d)\longrightarrow L^{\frac{d+1}{2}}(\mathbb R^d)$$ in every dimension $d\ge4$. This enlarges the range of exponents $(p,q,r)$ for which the triangle averaging operator is known to map $L^p(\mathbb R^d)\times L^q(\mathbb R^d)$ to $L^r(\mathbb R^d)$, and symmetrization produces new symmetric estimates in every such dimension as well. The proof combines Sobolev smoothing estimates, obtained through a microlocal decomposition of the triangle incidence relation, with complex interpolation in an analytic family of averages over triangles of varying shape that contains the triangle averaging operator. We also establish maximal estimates for triangle averages. Let $E\subset[1,2]$ be a nonempty set of upper Minkowski dimension $β$, and let $\mathcal T_E(f,g)=\sup_{t\in E}|\mathcal T_t(f,g)|$. We prove that $$\|\mathcal T_E(f,g)\|_2\lesssim\|f\|_{H^{-s_1}}\|g\|_{H^{-s_2}}$$ whenever $s_1,s_2\ge0$, $s_1+s_2<\frac{d-3-β}{2}$ and $d>3+β$. This improves the previously known Sobolev smoothing estimate by half a derivative and lowers the dimension requirement. We also obtain asymmetric localized maximal estimates of the form $\mathcal T_E:L^p(\mathbb R^d)\times L^q(\mathbb R^d)\to L^r(\mathbb R^d)$ in an enlarged range of exponents.

math.CA↗

arXiv2026

A Hierarchical Online-Compression Approach to Proportional Subsets of Bounded Orthonormal Systems

Let $(ϕ_i)_{i=1}^n$ be an orthonormal system on a probability space with $\|ϕ_i\|_\infty\leq L$. We prove that, for every $2\leq k<n$, there is a set $I$ of at least $n-k$ indices such that $$ \|f\|_2\leq CM_k\sqrt{\log(e+M_k)}\|f\|_1 $$ for every $f$ in the span of $(ϕ_i)_{i\in I}$, where $M_k=L\sqrt{\frac{n}{k}\log(2k)}$. This replaces the logarithmic exponent $\frac{5}{2}$ in the corresponding theorem of Guédon, Mendelson, Pajor, and Tomczak-Jaegermann by $\frac{1}{2}$. We also obtain a partition into two sets of cardinality $\frac{n}{2}+O(\sqrt n)$ for which both spans satisfy the resulting norm comparison, and for uniformly bounded systems the proportional estimate is $C\sqrt{\log n\log\log n}$ for sufficiently large $n$. This is the third paper in a series systematically using gradient descent as a proof mechanism in harmonic analysis, following the $Λ(p)$ and Bernoulli restricted isometry papers of Burstein, Iosevich, and Krause, and the descent here is entropic mirror descent. We represent each function in an $L_1$ ball by a probability measure of controlled relative entropy, and this entropy pays for the corrections to the predictions of its coefficients. Processing the thresholds from large to small, we obtain a single weighted bound for all the corrections, which we turn into a finite description of approximate coefficient squares and then into a conditional Rademacher estimate, and symmetrization completes the argument directly on the $L_1$ ball. We also record consequences for concentration and for recovery from coefficient measurements.

math.CA↗

arXiv2026

Fourier Ratio and Restricted Isometry via Entropic Descent

In this second paper on descent methods as proof mechanisms in harmonic analysis (the first treated Bourgain's $Λ(p)$ selection theorem), entropic mirror descent gives an improved restricted isometry bound, improving sampling and recovery bounds in the Fourier Ratio program. Let $H$ be a complex $n\times n$ matrix with $H^*H=nI$ and $|H_{ij}|=1$. For fixed $0<\varepsilon<\frac14$ and $A_0>0$, independent Bernoulli row selection with expected cardinality $C_{\varepsilon,A_0}r\log\frac{2en}{r}\log(2r)\leq m\leq n/2$ preserves, after normalization by $\sqrt m$, the squared norm of every complex vector $y$ with $\|y\|_1\leq\sqrt r\|y\|_2$ within a factor $1\pm\varepsilon$, with failure probability at most $Cn^{-A_0}$. This includes every $r$-sparse vector and also fully supported ones; support size enters only through this inequality. For $y=\widehat f$ the condition is exactly $\operatorname{FR}(f)^2\leq r$, where $\operatorname{FR}(f)=\|\widehat f\|_1/\|\widehat f\|_2$, giving uniform energy sampling and approximate recovery even for signals with full Fourier support. The same holds for a uniform subset of prescribed cardinality, and for discrete Fourier and real Hadamard matrices. At fixed accuracy the bound removes one sparsity logarithm from the earlier count and replaces $\log n$ by $\log\frac{2en}{r}$; for Walsh matrices it matches, up to constants, the lower bound of Błasiok et al.\ in their range. One relative-entropy potential controls the corrections of an amplitude predictor at every scale; counting them on the symmetric difference of two samples gives the uniform estimate. We also prove the sufficient bound $C_{A_0}\varepsilon^{-5}r\log\frac{2en}{r}\log\frac{2r}{\varepsilon}$, and stable sparse recovery from $Cs\log\frac{2en}{s}\log(2s)$ measurements, with error controlled by the noise and the best $s$-term approximation.

cs.IT↗

arXiv2026

Additive energy and Fourier complexity of graphs

We study the additive energy and the Fourier approximation of graph adjacency matrices labeled by a cyclic group. For a graph with $N$ vertices, $s$ edges and adjacency matrix $M$, the additive energy of its directed edge set is at most $\min\{(2s)^3,N^2\operatorname{tr}(M^4)\}$, and equality in the spectral bound holds exactly when the labeling attains the graph-energy lower bound for the Fourier ratio. Such a labeling also minimizes every best $k$-term Fourier approximation error, whose square equals the tail of the squared adjacency singular values. We prove that graphs of odd prime-power order admit an equality-attaining labeling exactly when they are cyclic Cayley graphs, and a connected example on $15$ vertices shows that equality need not imply vertex transitivity at other orders. We construct regular graph families with asymptotically maximal normalized additive edge energy and unbounded minimum Fourier ratio, one of them with density tending to one half. For dense graph sequences under uniformly random labelings, the collision dimension differs from the reciprocal squared edge density by a quantity tending to zero in probability. We also prove a quantitative stability estimate for the graph-energy bound and show why its dependence on a spectral scale cannot be omitted, even for regular graphs. For a rank-$m$ orthogonal projector we prove $m\leq D_4\leq\operatorname{FR}^2$, characterize the equality $D_4=m$ by cyclic translation invariance, and obtain a quantitative approximation by a circulant projector.

math.CO↗

arXiv2026

Spectral synthesis with the complexity parameter in $\mathbb{Z}_N^d$

We study asymptotic spectral synthesis on $\mathbb Z_N^d$ using the Fourier ratio, the quotient of the counting-measure $\ell^1$ and $\ell^2$ norms of the unitary Fourier transform. For supports of cardinality $N^{α+o(1)}$, the Fourier-ratio concentration exponent satisfies $0\leqκ\leq\fracα{2}$. We prove a finite-scale synthesis estimate that uses either the Fourier ratio of a function or that of its support indicator. In particular, the indicator condition applies uniformly to arbitrary weights on the support. Uniform $\ell^p$ bounds imply decay of the largest Fourier coefficient when $2\leq p<\frac{2(d-2κ)}{α-2κ}$, with every finite $p\geq2$ allowed at maximal concentration. Random unions of cosets show that the finite critical exponent is sharp for every admissible pair in each prescribed ambient dimension, along prime-power moduli. We also determine the exact synthesis constant for sets with a transitive group of affine symmetries. For paraboloids this constant is an explicit divisor sum. The formula proves endpoint synthesis along powers of a fixed odd prime, although the endpoint fails along primes. Along products of distinct small primes, synthesis extends to a larger exponent. These families have the same Fourier-ratio exponent. Finally, we relate Fourier concentration to generalized Salem estimates, additive energy, Fourier algebra norms, and necessary conditions for extension estimates.

math.CA↗

arXiv2026

Edge complexity of weighted graphs: involutory symmetries and NP-hardness

The edge complexity of a weighted graph is the smallest ratio of the Fourier $\ell^1$ and $\ell^2$ norms of its adjacency matrix over all vertex labelings. We study the difficulty of finding this minimum by relating it to a graph symmetry. Adding a universal vertex with sufficiently large incident weight produces an explicit Fourier $\ell^1$ lower bound. We show that equality holds exactly when the source graph has a fixed-point-free involutory automorphism. Two-sided estimates compare the excess above this bound with the squared Frobenius distance to the nearest weighted graph having such a symmetry. For sources of constant weighted degree, these estimates determine the exact leading term as the added weight tends to infinity. A stronger separation for simple source graphs proves that additive $\frac{1}{256N^{\frac{7}{2}}}$ approximation of weighted edge complexity is NP-hard, even on connected graphs of odd order $N$ with at most two distinct positive integer weights, each at most $N^2$. We also prove that recognizing a simple graph with a real Fourier labeling is NP-complete. A seven-vertex example shows that every minimizing labeling can have nonreal Fourier coefficients even when real Fourier labelings exist. An exact rational certificate for this example is included in the appendix.

math.CO↗

arXiv2026

Bourgain's Lambda(p) selection theorem: a greedy proof with polynomial failure bounds

We give a self-contained proof of Bourgain's finite $Λ(p)$ selection theorem with an explicit probability bound. For every $p>2$ and $N\ge2$, given $N$ pairwise orthogonal functions bounded by one on a probability space, a uniformly chosen subsystem of cardinality $\lceil N^{\frac{2}{p}}\rceil$ satisfies the $Λ(p)$ inequality with probability at least $1-\frac{1}{N}$, with a constant depending only on $p$. The inequality holds simultaneously for all complex coefficient vectors. More generally, for every fixed $A>0$, the success probability is at least $1-\frac{1}{N^A}$ with a constant depending only on $p$ and $A$, and independent of $N$. The proof uses a greedy approximation in $L^r$, with $r>2$, whose potential decreases throughout all approximation scales. A single weighted bound on the cumulative number of updates controls a union bound over discrete update histories, and increasing the weight assigned to each history gives the prescribed failure exponent without changing the cardinality exponent.

math.CA↗

arXiv2026

Entropy Expansion for General Polynomial Images of Frostman Random Variables

We prove dyadic entropy expansion for the observables $X+Y$ and $f(X,Y)$ under Frostman nonconcentration hypotheses on a prescribed, possibly dependent law. For an integer $n\ge1$, write $H_n(Z)=H(\lfloor 2^nZ\rfloor)$ for the base-two Shannon entropy at resolution $2^{-n}$; thus $n$ indexes the fineness of the dyadic discretization. For every $0 4/3$, we obtain $\max\{H_n(X+Y),H_n(f(X,Y))\}\ge (\frac{s_1+s_2}{2}+\varepsilon)n-O(1)$ for an explicit $\varepsilon>0$. Here the baseline averages the two Frostman exponents. We also classify the exceptional coordinate representations and construct obstructions for algebraic affine directions with Frostman constants uniform in the scale.

math.CA↗

arXiv2026

Minkowski sums with convex curves without pointwise Fourier decay

Let $Γ\subset\mathbb R^2$ be a compact convex graph and define \[ T(Γ) = \inf \left\{ t: \dim_{\mathrm H}(E)>t \Longrightarrow |E+Γ|>0 \text{ for every compact }E\subset\mathbb R^2 \right\}. \] For a graph over an interval of positive length the smallest possible value is $T(Γ)=1$. We ask whether this optimal conclusion can hold when pointwise Fourier decay of arclength is unavailable. The answer is yes, even for strictly convex curves. We use the Fourier transform convention $\widehatν(ξ)=\int e^{-2πi x\cdotξ}\,dν(x)$. We construct a strictly convex Lipschitz graph $Γ$ with $T(Γ)=1$ such that, for every nontrivial subarc $Γ_0$ and every $α>0$, \[ \limsup_{|ξ|\to\infty} |ξ|^α\left| \widehat{H^1|_{Γ_0}}(ξ) \right|= \infty. \] We also give a convex example for which arclength on every nontrivial subarc fails even to be a Rajchman measure. The geometric mechanism behind these examples is a positive curved trace: if $Γ$ contains a positive-length subset of a $C^2$ curve whose curvature is bounded away from zero, then $|E+Γ|>0$ whenever $\dim_{\mathrm H}(E)>1$. For a nondegenerate graph this gives $T(Γ)=1$. For convex graphs it implies, in particular, that $T(Γ)=1$ whenever the curvature measure has a nonzero absolutely continuous part. The positive-measure proofs are in physical space and use translated-tube intersections and elementary facts about convex functions. The same overlap estimates give Mattila-type lower bounds for the average lengths of the associated curve projections of neighborhoods under the positive curved-trace hypothesis. We also prove a dimension-one endpoint result for sets with a positive-length rectifiable part and formulate the main remaining question: whether every strictly convex Lipschitz graph has the optimal threshold $T(Γ)=1$.

math.CA↗

arXiv2026

Edge complexity of graphs

Gupta and Iosevich introduced the edge complexity of a graph as the minimum Fourier ratio of its adjacency matrix over all vertex labelings and bounded it below by graph energy divided by the square root of twice the number of edges. We characterize equality for a fixed labeling: the Fourier transform of the adjacency matrix must have at most one nonzero entry in each row and column. This implies regularity, circulancy of every positive even power of an extremizing adjacency matrix, and a parity restriction on connected components, and it gives equality results for certain Laplacian spectral projectors. We construct equality cases from affine involutions on cyclic groups. Singer difference sets yield, for every prime power $q$, an equality-attaining $(q+1)$-regular graph that is not an abelian Cayley graph. We also establish Fourier-ratio estimates for weak, Cartesian, and strong graph products, including preservation of equality under weak products of coprime orders. We use Fourier-ratio recovery as a coding theorem to obtain entropy upper bounds for low-complexity adjacency matrices and complement them with a lower bound obtained by perturbing complete graphs. Finally, a concentration argument shows that if $Np_N/\log N\to\infty$ and $\limsup_{N\to\infty}p_N<1$, then $\operatorname{FR}_{\min}(G(N,p_N))$ is of order $N$ with probability tending to one.

math.CO↗

arXiv2026

Pointwise Convergence of Ergodic Averages Along Integer Cantor Sets

Let $d \geq 3$, \[ D \subsetneq \{ 0,1,\dots,d-1\}, \qquad |D| \geq 2, \ 0 \in D \] be a finite alphabet, and define the integer Cantor set \begin{align} \mathcal{C} := \mathcal{C}_{D} := \bigcup_{J \geq 0} \Big\{ \sum_{j =0}^J a_j d^j : a_j \in D \Big\}. \end{align} We prove that for any $σ$-finite measure-preserving system, $(X,μ,T)$, and any $f \in L^p(X)$, $2\leq p<\infty$, the ergodic averages \begin{align} \frac{1}{|\mathcal{C}_N|} \sum_{n \in \mathcal{C}_N } f(T^n x), \qquad \mathcal{C}_N := \mathcal{C} \cap \{1,2,\dots,N \} \end{align} converge $μ$-almost everywhere. By rescaling, this allows us to resolve the question of lacunary differentiation of Cantor measures at self-similar scales: if \begin{align} \mathcal{C}' := \Big\{ \sum_{j \geq 1} a_j d^{-j} : a_j \in D \Big\} \subset [0,1] \end{align} is a real-variable Cantor set, and $ν$ denotes its natural measure, then we prove that \begin{align} \lim_{k \to \infty} \int f(x-d^{-k} t) \ dν(t) = f(x) \end{align} Lebesgue almost-everywhere for any $f \in L^2_{\text{loc}}(\mathbb{R})$.

math.DS↗

arXiv2026

Fourier Ratios of Graph Kernels: Energy Bounds, Optimal Labelings, and Recovery

We study labeling-sensitive Fourier complexity for finite graph kernels. After identifying the vertices of a graph with the cyclic group $\mathbb Z_N$, its adjacency matrix becomes a function on $\mathbb Z_N^2$. Minimizing the quotient of the $\ell^1$ and $\ell^2$ norms of its two-dimensional Fourier transform over all vertex labelings gives an isomorphism invariant $\operatorname{FR}_{\min}(G)$. A nuclear-norm argument gives \[\operatorname{FR}_{\min}(G) \geq \frac{\mathcal E(G)}{\sqrt{2s}},\] where $s$ is the number of edges and $\mathcal E(G)$ is the graph energy. The natural cyclic labeling attains equality for every circulant graph. We obtain exact formulas for several graph families and a labeling-sensitive complete bipartite example. We also connect the invariant with the Fourier algebra of $\mathbb Z_N^2$. The quantitative Cohen idempotent theorem implies that every Boolean kernel of bounded Fourier ratio has an exact signed coset decomposition whose length is independent of $N$. A previously established Fourier-ratio recovery theorem gives stable Frobenius approximation of a fixed labeled adjacency matrix from Bernoulli samples. We distinguish this conclusion from exact edge recovery and from the problem of finding a good labeling. For a Laplacian eigenvalue of multiplicity $m(λ)$, we prove \[ \operatorname{FR}_{\min}(Π_λ) \geq \sqrt{m(λ)}, \] with equality for circulant graphs. Strongly regular graphs and the Petersen graph show how adjacency and projector complexity can agree or differ. Direct projector sampling yields heat-kernel approximation. We conclude with a graph-signal spectral synthesis principle and asymptotic uniqueness from incomplete vertex data.

math.CO↗

arXiv2026

Metric entropy of Fourier ratio classes on ${\mathbb Z}_N$

We study metric entropy and uniform sampling for classes of signals on ${\mathbb Z}_N$ with prescribed Fourier ratio. The Fourier ratio measures how spread out the Fourier transform of a signal is, interpolating between sparse spectral support and nearly uniform spectral distribution. Our main result gives upper and lower bounds for the metric entropy of a Fourier-ratio layer of size $r.$ At any sufficiently small fixed covering scale, these bounds match in their dependence on $r$ and $N$ and show that $FR(f)^2$ acts as an effective dimension parameter governing the size of the class. We use the entropy estimate to obtain uniform bounds for empirical approximation over Fourier-ratio classes. We also establish a phase-orbit packing result. If a single signal has a flat spectral block of size $k,$ then phase perturbations of that signal generate an exponentially large family with the same Fourier ratio and positive $\ell^2$ separation. Together, these results show that the Fourier ratio governs not only approximation properties of individual signals, but also the geometric size and uniform sampling behavior of entire signal classes.

math.CA↗

arXiv2026

Positive Measure of Unions of Variable Surfaces

Let $E \subset \mathbb R^d$, $d \ge 2$, be compact, and let $ϕ(x,y)$ be a smooth function satisfying the Phong--Stein rotational curvature condition on $\{ϕ(x,y)=1\}$. We prove that if $\dim_{\mathcal H}(E)>1$, then $$ \left|\bigcup_{x \in E} \{y : ϕ(x,y)=1\}\right|>0. $$ This extends the positivity theorem of Mitsis ($d\geq3$) and Wolff ($d=2$) for spheres to a general variable coefficient setting via $L^2$ estimates for Fourier integral operators. The argument also shows that positivity is stable under finite-order degeneracies of the Monge--Ampère determinant through the weighted averaging theory of Sogge and Stein. We next consider variable level sets $$ Σ_x=\{y:ϕ(x,y)=t(x)\}, $$ where $t(x)$ is measurable. A maximal operator argument yields positivity under the condition $\dim_{\mathcal H}(E)>2$. We show that this loss reflects a genuine geometric obstruction related to Kakeya-type compression phenomena. In contrast, under a direct geometric intersection hypothesis controlling overlaps of the hypersurfaces $Σ_x$, we recover the full threshold $\dim_{\mathcal H}(E)>1$ for arbitrary measurable selections $t=t(x)$. At the endpoint $\dim_{\mathcal H}(E)=1$, we obtain positivity under the additional assumption that $E$ is $1$-rectifiable with $\mathcal H^1(E)>0$. We also show that positivity of Lebesgue measure does not in general imply interior regularity: even for large or rectifiable parameter sets, the resulting unions may have empty interior. Finally, we discuss extensions to higher co-dimension families and the role of geometric structure in preventing compression phenomena.

math.CA↗

arXiv2026

Uncertainty Principles, Spectral Localization, and Singular Schrödinger Operators on Compact Manifolds

We establish uncertainty principles on compact Riemannian manifolds without boundary by combining restriction estimates for orthonormal systems with spectral projection bounds for Laplace-Beltrami and Schrödinger operators. Our results relate the size of the support of spectrally localized functions to the cardinality of the underlying spectral cluster and to Fourier-ratio type quantities. We obtain analogues for Schrödinger operators with singular potentials belonging to Kato and scaling-critical classes. As an application, we prove uniqueness results for recovery from incomplete spectral data on compact manifolds. Under curvature assumptions, including nonpositive and negative sectional curvatures, we also prove logarithmically improved uncertainty principles associated with shrinking spectral windows.

math.AP↗

arXiv2026

Large values in time series and additive combinatorics

It is well-known in industrial data science that large values of real-life time series tend to be structured and often follow concrete and visible patterns. In this paper, we use ideas from additive combinatorics and discrete Fourier analysis to give this heuristic a mathematical foundation. Our main tool is the Fourier ratio, a complexity measure previously used in compressed sensing, combined with a generalized version of Chang's lemma from additive combinatorics. Together, these yield a precise prediction: when the Fourier ratio of a time series is small, the set of its largest values can be additively generated by a very small set using only $\{-1,0,1\}$ coefficients. We test this prediction on US inflation data and Delhi climate data, both in their original form and after mean-centering. The numerical results confirm the predicted structure: a generating set of size $4$--$7$ suffices to span large spectra containing dozens of points, even when the Fourier ratio is large enough that our theoretical bounds become loose. These findings provide a rigorous explanation for why extreme values in real-world data are information-rich and structurally significant.

math.CO↗