2025-11-22T17:43:16.329386

Tangency counting for well-spaced circles

Maldague, Ortiz

In the late 90's, Tom Wolff introduced the circle tangency counting problem in his expository article on the Kakeya conjecture. For collections of well-spaced circles, we break the $N^{3/2}$-barrier, proving that a set of $N$ well-spaced circles has at most $N^{25/18+\varepsilon}$ sites of internal tangency. The circle tangency problem can be related to a problem about incidences between points in $\mathbb{R}^3$ and light rays. For this problem, we introduce a stopping time argument to extract maximal information about well-spaced points from a refined decoupling theorem for the light cone in $\mathbb{R}^3$, leading to sharp bounds on the number of $Î¼$-rich tangency rectangles.

academic

Tangency counting for well-spaced circles

基本信息

论文ID: 2504.14118
标题: Tangency counting for well-spaced circles
作者: Dominique Maldague (University of Cambridge & UCLA), Alexander Ortiz (Rice University)
分类: math.CA (Classical Analysis and ODEs)
发表时间: October 14, 2025
论文链接: https://arxiv.org/abs/2504.14118

摘要

在90年代末，Tom Wolff在其关于Kakeya猜想的阐述性文章中引入了圆切线计数问题。对于well-spaced圆的集合，本文突破了 $N^{3/2}$ 屏障，证明了由 $N$ 个well-spaced圆组成的集合最多有 $N^{25/18+\varepsilon}$ 个内切点。圆切线问题可以关联到 $\mathbb{R}^3$ 中点与光线之间的关联问题。为此，作者引入了停时论证来从 $\mathbb{R}^3$ 中光锥的精细解耦定理中提取关于well-spaced点的最大信息，从而得到 $μ$ -rich切线矩形数量的尖锐界限。

研究背景与动机

问题背景

圆切线计数问题：该问题由Tom Wolff在1999年提出，要求估计平面上 $N$ 个圆的集合中内切圆对的数量，其中任意三个圆不在同一点相切。
与单位距离问题的联系：该问题是著名的Erdős单位距离问题在 $\mathbb{R}^3$ 中的表亲。通过将圆 $(z,r)$ 对应到 $\mathbb{R}^3$ 中的点，内切条件转化为二次约束 $|z-z'|^2 = |r-r'|^2$ 。
历史界限：
- 传统方法（cellular partitioning）给出 $O_\varepsilon(N^{3/2+\varepsilon})$ 界限
- Ellenberg-Solymosi-Zahl改进为 $O(N^{3/2})$
- 对于单位距离问题，Zahl得到 $O_\varepsilon(N^{295/197+\varepsilon})$

研究动机

突破 $3/2$ 屏障： $N^{3/2}$ 界限长期以来难以改进，本文首次在well-spaced圆的情况下突破这一屏障。
理论重要性：该问题与Kakeya猜想、BRK集合的维数等重要几何测度论问题密切相关。
方法创新：引入新的Fourier分析技术，特别是精细解耦理论和停时算法。

核心贡献

突破性界限：对于well-spaced圆，证明了 $N^{25/18+\varepsilon}$ 的上界，首次突破 $N^{3/2}$ 屏障。
新的技术框架：
- 引入停时算法提取频率信息
- 发展了光锥的精细解耦定理
- 建立了切线矩形与lightplank的对偶关系
尖锐性结果：构造了随机例子证明主要结果在某种意义下是尖锐的。
连续版本的最优界限：对于 $μ$ -rich切线矩形问题，得到了 $μ^{4/3}|R_{μ,τ}| ≤ A_ε|X|^{4/3+ε}$ 的尖锐估计。

方法详解

任务定义

问题1（离散切线计数）：给定平面上 $N$ 个圆的集合 $\mathcal{C}$ ，且任意三个圆不在同一点相切，估计内切圆对集合的基数： $T_{pair}(\mathcal{C}) = \{(C,C') ∈ \mathcal{C}^2 : C,C' \text{内切}\}$

问题2（切线点计数）：估计切线点集合的基数： $T(\mathcal{C}) = \{z ∈ \mathbb{R}^2 : \text{至少两个圆在}z\text{点内切}\}$

Well-spaced条件

定义1.1：如果 $Q ⊂ \mathbb{R}^n$ 是单位立方体，则子集 $X ⊂Q$ 是well-spaced的，当且仅当 $X$ 是 $ρ$ -分离的（对某个 $ρ ∈ (0,1)$ ），且 $X$ 关于此性质是极大的。特别地， $c_nρ^{-n} ≤ |X| ≤ C_nρ^{-n}$ 。