arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.38240

Zero Harmonic Density implies Zero Density

Rafael Reno S. Cantuba
View original source ↗Read source document ↗Export metadata ↓

Abstract

A set of integers has zero harmonic density if its elements, viewed as frequencies of continuous characters of the unit circle as a compact group, are measure-theoretically sparse enough that the values of Fourier transforms of Radon measures supported on small open arcs can interpolate those of any global Radon measure. In contrast, zero density quantifies the proportional size of a set of integers relative to expanding intervals on the real line. Although these notions arise from abstract harmonic analysis and elementary number theory, respectively, zero harmonic density is proven as a sufficient condition for zero density, resolving what has been stated in the literature as an open problem concerning the relation between these two notions. The proof makes use of classical gap theorems from complex analysis.

Explore related subjects

math.GM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Rafael Reno S. Cantuba. 2026-09-29. Zero Harmonic Density implies Zero Density. https://arxiv.org/abs/2609.38240

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Prescribed Primitive Roots And The Least Primes

Let $q\ne \pm1,v^2$ be a fixed integer. The least prime number $p \geq2 $ such that $q$ is a primitive root modulo $p$ is conjectured to be $p\ll (\log q)(\log \log q)),$ where $\gcd(p,q)=1$. This note proves the existence of a small subset of primes $p$ that satisfies the stated upper bound.

math.GM↗
arXiv2026

Lateral Weak Stieltjes Derivatives: A Global Characterization of Stieltjes--Sobolev Spaces

Weak formulations for Stieltjes differential equations must retain the directional information carried by atoms of the driving measure. We derive a lateral integration-by-parts identity in which the posterior trace of the test function is forced by the atomic product rule. The resulting dual formulation gives an exact global characterization of integral Stieltjes--Sobolev spaces for the full exponent range from one to infinity and reconstructs the unique strong representative from its traced weak state. We prove that the associated traced weak operator is closed, establish Poincaré--Stieltjes estimates, and \rev{characterize Stieltjes absolute continuity inside bounded variation through a canonical derivative measure whose restriction to the open interval is the classical distributional derivative}. The framework is then applied to finite-dimensional nonlinear measure-driven systems, yielding equivalence of weak, integral, and measure formulations, existence and uniqueness under integrable Lipschitz assumptions, compactness-based existence, and intrinsic reset laws. Cubic and logistic models illustrate the simultaneous encoding of continuous evolution and instantaneous interventions.

math.GM↗
arXiv2026

Admissible $qx+1$ Sequences, Semiconvergents, and Rational Catalan Numbers

Let $q\geq3$ be odd and put $m_r=\lfloor r\log_2q\rfloor$. We count parity sequences with exactly $r$ odd entries for which the coefficient in the $qx+1$ iteration first drops below $1$ at step $m_r+1$. Their number $a_q(r)$ also counts the corresponding residue classes modulo $2^{m_r+1}$. We derive a first-violation recurrence which, for $q=3$, proves a recurrence conjectured in 2015. We establish the sharp inequalities \[ \frac1r\binom{m_r-1}{r-1}\leq a_q(r)\leq\frac1r\binom{m_r}{r-1}. \] Equality is characterized by the lower and upper record indices of $\{r\log_2q\}$, equivalently by denominators of convergents and semiconvergents from below and above. At these indices $r\geq2$, the values $a_q(r)$ are rational Catalan numbers. We also characterize the dependence on $q$ and prove, for each fixed odd $q\geq3$, that $a_q(r)=Θ_q(r^{-3/2}B_q^r)$, where $B_q=(\log_2q)^{\log_2q}/(\log_2q-1)^{\log_2q-1}$. For $q=3$, this settles Hikawa's conjecture concerning the polynomial factor in a related counting function.

math.GM↗