[论文解读] Spectrality of product-form self-similar measures and tiles

Jing‐Cheng Liu, Jia-Jie Wang+1 more|arXiv (Cornell University)|Mar 22, 2026

Mathematical Dynamics and Fractals被引用 0

一句话总结

该论文在自相似测度 μ_{ρ,D} 的谱性条件方面给出必要且充分的算术条件，涉及 D 的分量与 ρ 的关系，并将谱性自相似集与 R 的平移平铺联系起来。

ABSTRACT

This paper studies the Fourier properties of self-similar measures and tiles generated by product-form like digit sets. Let $0 <ρ<1$ be a real number and let $D$ be the direct product of two consecutive sets: $$D=\{0,1,\cdots,N-1\}\oplus m\{0,1,\cdots, L-1\},$$ where $N, m, L \in \mathbb{N}^{*}$ with $N, L \geq 2$. The pair $(ρ,D)$ determines the self-similar iterated function system (IFS) $\{ϕ_d(\cdot)=ρ(\cdot+d)\}_{d \in D}$. The associated self-similar measure $μ_{ρ,D}$ satisfies $μ=\frac{1}{\#D} \sum_{d\in D} μ_{ρ,D} \circ ϕ_d^{-1},$ and the self-similar set $T:=T(ρ,D)$ is the unique compact set satisfying the set-valued equation $T=\bigcup_{d\in D}ϕ_d (T)$. We first prove that $L^2(μ_{ρ,D})$ admits an exponential orthonormal basis if and only if $ρ^{-1}=p\in\mathbb{N}$ satisfies $N\mid p$, $L\mid p$ and $N\mid \frac{m}{\gcd(m,p^d)}$, where $$d=\max\left\{i:\gcd\left(\frac{mL}{\gcd(mL,p^i)},L ight) eq 1,i\in\mathbb{N} ight\}.$$ Note that if $ρ^{-1} =\#D= NL$ and $T$ has nonempty interior, then $T$ is a translation tile [C. Bandt, Proc. Amer. Math. Soc., 112(1991), 549--562]. As an application, we show that $L^2(χ_T dx)$ admits an exponential orthonormal basis if and only if $T$ is a translation tile of $\mathbb{R}$.

研究动机与目标

• 在自相似、奇异设定中激发对谱测度的研究，并将谱性与平铺性质联系起来。
• 在 D = D_N ⊕ m D_L 时，准确表述 μ_{ρ,D} 的谱性条件，等价于 ρ^{-1}=p 和参数 N、L、m 的关系。
• 解释自相似平铺的后果，并在一维情形下建立平铺↔谱性的等价性。
• 提供将傅里叶零集、Hadamard 三元组与正交指数基联系起来的研究方法框架。

提出的方法

• 将 μ_{ρ,D} 表述为离散测度的无限卷积，并将其傅里叶变换视为掩模函数 m_D 的乘积。
• 使用零集分析 Z(ˆμ_{ρ,D}) 与正交性判据 Λ ⊂ Z(ˆμ_{ρ,D}) 来刻画谱性。
• 通过素因数分解给出参数 d 的等价描述，以联系 N、L、m 与 p。
• 通过对比证法证明必要性：构造在谱中任意 exponentials 作用下为 0 的非零 L^2 函数不成立，从而证明矛盾。
• 通过证明所提出的整除性条件确保完全正交性和谱性，证明充分性。
• 应用 Hadamard 三元组框架及先前的谱平铺结果，推导更广泛的含义。

实验结果

研究问题

• RQ1 在 N、L、m 与 ρ 的哪些算术条件下，当 D = D_N ⊕ m D_L 时自相似测度 μ_{ρ,D} 能否带有指数正交基？
• RQ2 控制谱性条件的等价、可计算的参数 d 的形式是什么？
• RQ3 μ_{ρ,D} 的谱性与相关自相似集合 T(ρ,D) 在一维中的平铺性质有何联系？
• RQ4 Hadamard 三元组准则是否能完全描述类似乘积形式的数字集合的谱性？是否存在非 Hadamard 三元组产生的谱测度？

主要发现

• 若 μ_{ρ,D} 为谱，当且仅当 ρ^{-1}=p ∈ N 且 N | p、L | p、以及 N | m / gcd(m, p^d)（其中 d 通过 L 的素因子分解定义）时成立。
• 等价描述将 d 表示为素数指数的形式：τ_i + α_i − 1 = d l_i + r_i，且 0 ≤ r_i < l_i。
• 若 p ≥ #D（即 p ≥ NL），测度趋于奇异；论文指出当 p < #D 时的重叠复杂性。
• 该结果给出一个在乘积形设置中的谱性可检验标准 (1.5)，及其等价改写 (3.4)。
• 作为一个应用，若 T 是 R 的平移平铺，则 L^2(χ_T dx) 当且仅当存在一个指数 ONB（定理 1.5）。
• 该框架通过 Hadamard 三元组与零集分析将谱性与平铺联系起来，将 N-Bernoulli 与乘积形数字集的结果扩展到更广泛的乘积形类似类。