Katz–Tao集合的非对称加乘定理

《International Mathematics Research Notices》：Asymmetric sum-product theorems for Katz–Tao sets

　　

研究人员证明了对于满足Katz–Tao间隔条件的δ-分离集A,B,C?[0,1]的ABC加乘定理的两个变体。主要的新颖之处在于集合B,C的基数不必与其非浓度指数(non-concentration exponent)相匹配。新的ABC定理在其各自假设下是最优的(sharp)，并且蕴含先前的定理。

**研究背景**

ABC加乘问题研究三个集合A,B,C?R满足何种充分条件以保证存在c∈C使得A+cB的“尺寸”显著大于A的“尺寸”。当集合有限且以基数衡量尺寸时，Szemerédi–Trotter定理给出了充要条件max{|B|,|C|}?1且|B||C|?|A|。当A,B,C为紧致无限集且以Hausdorff维数(hausdorff dimension)衡量尺寸时，已有研究给出了充要条件max{dim_HB,dim_HC}>0且dim_HB+dim_HC>dim_HA。该定理的证明依赖于δ-离散化陈述（即经典ABC定理），其中B,C需满足Frostman(δ,s,C)-集条件，且其基数与非浓度指数大致匹配。这一限制使得经典定理无法处理B或C具有小直径的情形。本文旨在证明经典定理的两个变体，其中B,C的基数不再需要与其非浓度指数匹配。

**研究内容**

研究人员证明了两个非对称ABC加乘定理。定理1.6设α∈(0,1)，β,γ∈[α,1]，对任意η>0存在δ₀,?>0，使得对δ∈2^-N∩(0,δ₀]，若A,B,C?δZ∩[0,1]分别满足Katz–Tao(δ,α)-集、Katz–Tao(δ,β)-集、Katz–Tao(δ,γ)-集条件，且|B|^γ|C|^βδ^βγ≥δ^-η，则存在c∈C使得|{a+cb:(a,b)∈G}|_δ≥δ^-?|A|，其中G?A×B且|G|≥δ^?|A||B|。定理1.12去除了B的Katz–Tao条件，但要求C为Frostman(δ,η,δ^-?)-集，并将条件(Π)放宽为|B|^γ|C|^αδ^αγ≥δ^-η。

**关键方法**

研究的主要技术方法包括：(1) 将经典ABC定理（定理1.1）与多尺度参数相结合，建立辅助命题3.1；(2) 利用一致集(uniform set)与其分支函数(branching function)的工具来刻画集合的Frostman与Katz–Tao性质；(3) 运用非对称Balog–Szemerédi–Gowers定理与Plünnecke–Ruzsa不等式处理加性组合学中的能量估计；(4) 通过尺度约化与重正规化技巧将问题归结为可应用经典定理的情形。所有集合均为δZ上的离散化集合。

**研究结果**

*辅助命题（第3节）*：建立了经典ABC定理的变体——命题3.1，将B的Frostman条件替换为A的Katz–Tao条件。该命题通过将A,B分解为一致子集并应用经典定理与多尺度论证证明。

*定理1.6的证明（第4节）*：主要观察是条件(Π)蕴含存在尺度δ≤Δ₁?Δ₂≤1及指数β′,γ′，使得|B|_{δ/Δ1→δ/Δ2}=(Δ₂/Δ₁)^-β′（β′>0），C在Δ₂与Δ₁之间为γ′-Frostman集（γ′>0），且β′+γ′>α。利用命题3.1对A与B的适当“片段”应用，得到|A+cB|_δ的非平凡下界。

*定理1.12的证明（第5节）*：若C为Frostman(δ,η)-集，则上述条件中的γ′>0自动成立，因此寻找尺度Δ₁,Δ₂的过程更为简单。其存在性由定理1.12中更宽松的假设(Π)即可保证，无需B的Katz–Tao条件。

*由定理1.6推导经典定理（第6节）*：核心思想是寻找尺度Δ∈[δ,1]使得A为Katz–Tao(Δ,α?)-集（α?>α），从而可在该尺度上应用定理1.6。

**讨论与结论**

本文的定理1.6在各自假设下是最优的：若β,γ<α，条件(Π)不再蕴含|B||C|?|A|，故(Π)在β,γ<α时不足以推出结论；同时(Π)是蕴含diam(B)diam(C)?δ的最优基数条件。定理1.12的最优性由例1.13说明：若将(Π)放宽为|B|^γ|C|^αδ^αγ≥δ^η，则结论可能失效。与相关工作相比，在γ=min{α+β,2?α?β}的特殊情形下，本文定理有时给出比Demeter–Wang–Wu的δ-离散化入射定理更优的数值结果，但主要价值在于处理γ不匹配特殊指数时的情形，例如α=β=γ=1/2时，定理1.6给出最优条件|B||C|?δ^-1/2。研究结论可总结为如下逻辑蕴含关系：定理1.1?命题3.1?定理1.6与定理1.12，且定理1.12?命题3.1，定理1.6（或定理1.12）?定理1.1，这一逻辑链完整刻画了各结果之间的联系。论文发表在《International Mathematics Research Notices》。