修复5/4平面 pinned Falconer定理的精细去耦证明

中文摘要 AI 辅助

我们证明，在Guth-Iosevich-Ou-Wang的平面 pinned Falconer定理证明中，所给出的精细去耦估计的字面任意包形式是错误的，即使在其管维度被归一化后依然如此。一个明确的领结构造给出了固定幂次的反例：所有包都在一个正方形上是活跃的，而它们所有更小的标记管都不与该正方形相交。随后我们给出了原始证明路径的非循环修复。分析输入是一个扩张稳定的任意包定理，其中一个包集中在a-扩张上，且重数用严格更大的b-扩张计数。我们通过跟踪抛物线重标度的扩张余量的归纳法，从加权ℓ²去耦直接证明该定理。修正后的定理在精确频率截断和绝对小包截止后直接适用于原始Falconer父包；无需父到典范的分解。随后我们重建良好管关联估计，保留局部常数性所强制的邻域，并提供统一正则化和极限论证。主频率指数仍为-(α+1)/3，因此能量论证对于α>5/4恰好闭合。pinned定理本身未被反驳，且通过后续微局部方法也已知。后续关于精细去耦的典范波包处理与活跃管观点有重叠，但与反例或修复后的Falconer证明链无重叠。

英文摘要

We show that the literal arbitrary-packet form of the refined-decoupling estimate printed in the Guth--Iosevich-Ou-Wang proof of the planar pinned Falconer theorem is false, even after its tube dimensions are normalized. An explicit collar construction gives a fixed-power counterexample: all packets are active on one square while none of their smaller labelled tubes meets that square. We then give a non circular repair of the original proof route. The analytic input is an enlargement-stable arbitrary-packet theorem in which a packet is concentrated on an $a$-dilate and multiplicity is counted with a strictly larger $b$-dilate. We prove this theorem directly from weighted $\ell^2$ decoupling by an induction that tracks the dilation margin through parabolic rescaling. The corrected theorem applies directly to the original Falconer parent packets after an exact frequency truncation and an absolute small-packet cutoff; no parent-to-canonical decomposition is needed. We then rebuild the good-tube incidence estimate, retain the neighborhood forced by local constancy, and supply a uniform regularization and limiting argument. The principal frequency exponent remains $-(α+1)/3$, so the energy argument closes exactly for $α>5/4$. The pinned theorem itself is not contradicted and is also known through later microlocal methods. A later canonical wave-packet treatment of refined decoupling overlaps with the activity-tube viewpoint but not with the counterexample or the repaired Falconer proof chain.

补充信息

备注

25 pages