[论文解读] There are no realizable 15_4- and 16_4-configurations

Jürgen Bokowski, Lars Schewe|ArXiv.org|May 11, 2005

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

一句话总结

本文证明了即使在更一般的伪线排列设定下，也不存在可实现的 15₄- 和 16₄-配置。通过应用欧拉公式和伪线排列的组合约束，作者建立了一个可实现 $n_k$-配置存在的普遍必要条件：$n > k^2 + k - 5$，该条件排除了 $n=15$ 和 $n=16$ 在 $k=4$ 时的可能性。该结果进一步通过计算验证所有 19 个候选 $16_4$-拟阵的非可定向性得到确认。

ABSTRACT

There exist a finite number of natural numbers n for which we do not know whether a realizable n_4-configuration does exist. We settle the two smallest unknown cases n=15 and n=16. In these cases realizable n_4-configurations cannot exist even in the more general setting of pseudoline-arrangements. The proof in the case n=15 can be generalized to n_k-configurations. We show that a necessary condition for the existence of a realizable n_k-configuration is that n > k^2+k-5 holds.

研究动机与目标

• 解决长期悬而未决的开放问题：可实现的 $n_4$-配置在 $n=15$ 和 $n=16$ 时是否存在。
• 建立可实现 $n_k$-配置存在的普遍必要条件，以 $n$ 和 $k$ 表示。
• 证明即使在更广泛的伪线排列设定下（而不仅限于直线），此类配置也不存在。
• 通过计算验证所有 19 个候选拟阵的非可定向性，确认 $16_4$-配置不存在。

提出的方法

• 将欧拉公式应用于表示该配置的伪线排列的球面嵌入。
• 在排列中计数顶点、边和面，以推导出涉及 $n$ 和 $k$ 的必要不等式。
• 利用通过双重计数边-面关联性导出的不等式 $-n^2 - 5n + nk^2 + nk + 6 ≤ 0$，以约束可能的 $n$ 值。
• 证明当 $k=4$ 时，该不等式在 $n = 15$ 和 $n = 16$ 时均不成立，从而排除其可实现性。
• 利用 Folkman-Lawrence 表示定理，将 pl-可实现性等价于底层定向拟阵的可定向性。
• 使用计算软件验证 Betten 和 Betten 所识别的全部 19 个候选 $16_4$-拟阵均不可定向，从而确认其不可实现性。

实验结果

研究问题

• RQ1 即使在伪线设定下，是否存在可实现的 $15_4$-配置？
• RQ2 是否存在可实现的 $16_4$-配置？若不存在，是什么组合或拓扑障碍阻止了其存在？
• RQ3 能否从拓扑和组合约束中推导出可实现 $n_k$-配置存在的普遍必要条件？
• RQ4 所有 $16_4$-配置是否均不可定向？这是否意味着其不可 pl-实现？
• RQ5 是否可将 $15_4$- 和 $16_4$-配置的不存在性推广到其他 $n_k$-配置？

主要发现

• 不存在可实现的 $15_4$-配置，因为当 $k=4$ 且 $n=15$ 时，必要不等式 $n > k^2 + k - 5$ 不成立。
• 不存在可实现的 $16_4$-配置，该结论既通过拓扑论证，也通过计算验证所有 19 个候选拟阵的非可定向性得到确认。
• 可实现 $n_k$-配置存在的普遍必要条件为 $n > k^2 + k - 5$，该条件排除了 $k=4$ 时 $n=15$ 和 $n=16$ 的可能性。
• Betten 和 Betten 所识别的全部 19 个候选 $16_4$-拟阵均不可定向，通过计算手段确认了不存在 pl-可实现的 $16_4$-配置。
• 该不存在性结果不仅适用于直线排列，也适用于伪线排列，因为 pl-可实现性是普通可实现性的必要条件。
• 该证明在最终论证中是构造性的且无需计算机辅助，尽管在 $n=16$ 的情形中先前使用了计算结果。