SearcharxivSearch

arXiv subjects

Zi-Jian Song

Publications and source records attributed to Zi-Jian Song.

2 recordsLinked to original sources

Rational Spectra for Finite Hadamard Pairs and Bounded Spectral Sets on the real line

We prove that every finite spectral pair \((A,Γ)\) with \(A\subset\mathbb Z\), \(Γ\subset\mathbb R/\mathbb Z\), and \(0\inΓ\) has a rational spectrum, that is, \(Γ\subset\mathbb Q/\mathbb Z\). Our argument relies on a modulus rigidity theorem for generalizedVandermonde systems satisfying inverse-orthogonality relations, constructed by hyperbolic positive-definite kernels. Combined with Galois conjugation and Kronecker's theorem, this rigidity forces the associated exponential nodes to be roots of unity. As an application, using the periodicity and fiberization of one-dimensional spectra, we show that every spectrum \(Λ\) of a bounded measurable spectral set \(Ω\subset\mathbb R\) with \(|Ω|=1\) and \(0\inΛ\) is contained in \(\mathbb Q\). This rational-spectrum result completes a chain of equivalences proven by Dutkay and Lai, which reduces the full one-dimensional Fuglede's conjecture to its finite cyclic analogues over \(\mathbb{Z}_n\).

math.FA

A Walsh-Quotient Obstruction for Fourier Frames on Odd Reciprocal-Power Bernoulli Convolutions

We introduce a Walsh--quotient obstruction to study Fourier-frame existence for symmetric two-branch Bernoulli convolutions \[ μ_{ρ,d} =\ast_{j=1}^{\infty} \frac12\bigl(δ_{-dρ^{j}/2}+δ_{dρ^{j}/2}\bigr), \qquad 0<ρ<1,\quad d>0. \] Suppose that $0<ρ<\frac12$ and $ρ^{-m}=B$ for some integer $m\ge1$ and odd integer $B\ge3$. We prove that $L^2(μ_{ρ,d})$ admits no Fourier frame. For $m=1$, our argument proves the nonexistence of Fourier frames for odd-integer-base Cantor measures and hence resolves Strichartz's long-standing open problem for the middle-third Cantor measure. A contemporaneous independent proof of the case $m=1$ was obtained by Pont, Liehr and Taylor [arXiv:2607.08656v1]. For $m>1$, our theorem includes the non-integer reciprocal-power contraction ratios $ρ=B^{-1/m}$, which fall outside the classical integer-base Cantor-measure setting. Our proof is self-contained. It uses finite-coordinate Walsh packets to transform the frame inequalities into incompatible tangent-quotient estimates, while the identity $ρ^{-m}=B$ supplies the exact $m$-step scale relation leading to the contradiction.

math.FA