[论文解读] The best polynomial bounds for the number of triangles in a simple arrangement of n pseudo-lines

Jérémy Blanc|ArXiv.org|Jan 18, 2008

graph theory and CDMA systems参考文献 7被引用 6

一句话总结

该论文为仿射平面和射影平面上 $n$ 条伪线的简单排列中三角形的最大数量建立了最佳多项式上界，上界取决于 $n \mod 6$ 的不同剩余类。论文证明了对于每个模 6 的剩余类，这些上界都是紧确的，并且对无穷多个 $n$ 可达，从而解决了伪线排列已知极值上界中长期存在的空白。

ABSTRACT

It is well-known that affine (respectively projective) simple arrangements of n pseudo-lines may have at most n(n-2)/3 (respectively n(n-1)/3) triangles. However, these bounds are reached for only some values of n (mod 6). We provide the best polynomial bound for the affine and the projective case, and for each value of n (mod 6).

研究动机与目标

• 确定仿射平面和射影平面上 $n$ 条伪线的简单排列中三角形最大数量的最佳可能多项式上界。
• 解决最大三角形数量对 $n \mod 6$ 的依赖关系，该依赖关系影响经典上界是否可达。
• 证明对于每个模 6 的剩余类，所推导的上界不仅紧确，而且对无穷多个 $n$ 可达，从而填补了先前研究中的空白。
• 提供显式构造和实例，说明上界在何处可达，特别是对于此前上界不紧确的情况（例如射影情形下 $n \equiv 2 \pmod{6}$）。

提出的方法

• 通过组合计数有界线段和三角形推导上界，利用每个有界线段至多属于一个三角形的性质。
• 应用 Harborth、Roudneff 等人关于极值排列的已知结果，基于 $n \mod 6$ 精炼上界。
• 使用可拉伸性与同胚的概念，将伪线排列与直线排列关联，确保上界对两者均有效。
• 采用递归构造方法（例如 [BBL] 中的“重复构造”）生成无限多个实现上界的排列族。
• 通过计算机辅助验证小规模 $n$ 的上界，特别是 $n \leq 30$，并纠正文献中先前的错误陈述（例如 $\overline{p_3^s}(12) = 42$ 是错误的）。
• 利用推论 5.0.3 证明上界的紧确性，该推论构造了对每个 $k = n \mod 6$ 的无穷多个 $n$ 序列，使得上界可达。

实验结果

研究问题

• RQ1 对于仿射排列，$n$ 条伪线的简单排列中三角形数量的最佳多项式上界是多少，取决于 $n \mod 6$？
• RQ2 对于射影排列，$n$ 条伪线的简单排列中三角形数量的最佳多项式上界是多少，对每个 $n \mod 6$？
• RQ3 经典上界 $n(n-2)/3$（仿射）和 $n(n-1)/3$（射影）在哪些 $n$ 值下实际可达？
• RQ4 是否存在对每个模 6 剩余类均实现精化上界的无限排列族？
• RQ5 在先前文献存在错误的较小 $n$ 值下，$\overline{p_3^s}(n)$ 的正确值是多少，例如 $n = 8, 11, 12, 14, 20$？

主要发现

• 在仿射情形下，当 $n \equiv 0,4 \pmod{6}$ 时，三角形的最大数量被限制在 $n(n-5/2)/3$，且该上界是紧确的，并对无穷多个 $n$ 可达。
• 当 $n \equiv 1 \pmod{6}$ 时，三角形的最大数量为 $\lfloor (n(n-2) - 2)/3 \rfloor$，且该上界对无穷多个 $n$ 可达。
• 当 $n \equiv 2 \pmod{6}$ 时，上界 $n(n-5/2)/3 - 2/3$ 是紧确的，并对无穷多个 $n$ 可达，较之前上界有所改进。
• 当 $n \equiv 3,5 \pmod{6}$ 时，经典上界 $n(n-2)/3$ 是紧确的，并对无穷多个 $n$ 可达。
• 在射影情形下，当 $n \equiv 0,4 \pmod{6}$ 时，上界 $n(n-1)/3$ 是紧确的，且对无穷多个 $n$ 可达。
• 当 $n \equiv 2 \pmod{6}$ 时，上界 $(n(n-1) - 5)/3$ 是紧确的，并对无穷多个 $n$ 可达，包括 $n = 26$，从而解决了长期悬而未决的开放问题。