中文

关于三维空间中受限直线集上的富点与关联

组合数学 2022-02-11 v2 计算几何

摘要

LLR3R^3nn 条直线的集合,当表示为 R3R^3 中直线四维 Plücker 空间的点时,其包含于一个常次数且关于 LL \emph{非退化}(见下)的不可约簇 TT 中。我们证明:\medskip \noindent{\bf (1)} 若 TT 为二维,则 rr-富点(与 LL 中至少 rr 条直线关联的点)数为 O(n4/3+ϵ/r2)O(n^{4/3+\epsilon}/r^2),其中 r3r \ge 3 且任意 ϵ>0\epsilon>0;且若 LL 中至多 n1/3n^{1/3} 条直线位于同一二次直纹面上,则 22-富点至多 O(n4/3+ϵ)O(n^{4/3+\epsilon})。当 rr 大于某充分大常数时,rr-富点数亦为 O(n/r)O(n/r)。作为应用,我们(在指数上以 ϵ\epsilon 损失)推导出 Pach 与 de Zeeuw(2017)关于平面上常次数不可约代数曲线(非直线亦非圆)上 nn 点所确定不同距离数的界。\medskip \noindent{\bf (2)} 若 TT 为二维,则 LLR3R^3mm 点集的关联数为 O(m+n)O(m+n)。\medskip \noindent{\bf (3)} 若 TT 为三维且非线性,则 LLR3R^3mm 点集的关联数为 O(m3/5n3/5+(m11/15n2/5+m1/3n2/3)s1/3+m+n)O\left(m^{3/5}n^{3/5} + (m^{11/15}n^{2/5} + m^{1/3}n^{2/3})s^{1/3} + m + n \right),前提是任一平面不含多于 ss 个点。当 s=O(min{n3/5/m2/5,m1/2})s = O(\min\{n^{3/5}/m^{2/5}, m^{1/2}\}) 时,界变为 O(m3/5n3/5+m+n)O(m^{3/5}n^{3/5}+m+n)。作为应用,我们证明含于二次超曲面(不含超平面)的 R4R^4mm 点与 nn 直线的关联数为 O(m3/5n3/5+m+n)O(m^{3/5}n^{3/5} + m + n)。证明除用到代数几何各类工具外,还用了平面上点与代数曲线关联数的近期界。

关键词

引用

@article{arxiv.2012.11913,
  title  = {On rich points and incidences with restricted sets of lines in 3-space},
  author = {Micha Sharir and Noam Solomon},
  journal= {arXiv preprint arXiv:2012.11913},
  year   = {2022}
}

备注

21 pages, one figure