[论文解读] An update on the Hirsch conjecture: Fifty-two years later

Francisco Santos, Edward D. Kim|arXiv (Cornell University)|Jul 7, 2009

Advanced Graph Theory Research参考文献 2被引用 2

一句话总结

本文对多面体组合学中一个67年历史的难题——Hirsch猜想提供了全面的更新，回顾了已知结果以及支持与反对该猜想的证据。文章考察了该猜想的现状，提供了易于理解的证明，并指出尽管人们推测多面体直径的界为线性（n−d），但至今尚未发现任何多项式上界。

ABSTRACT

The Hirsch conjecture was posed in 1957 in a letter from Warren M. Hirsch to George Dantzig. It states that the graph of a d-dimensional polytope with n facets cannot have diameter greater than n - d. Despite being one of the most fundamental, basic and old problems in polytope theory, what we know is quite scarce. Most notably, no polynomial upper bound is known for the diameters that are conjectured to be linear. In contrast, very few polytopes are known where the bound $n-d$ is attained. This paper collects known results and remarks both on the positive and on the negative side of the conjecture. Some proofs are included, but only those that we hope are accessible to a general mathematical audience without introducing too many technicalities.

研究动机与目标

• 综述并整合当前关于Hirsch猜想的知识状态，该猜想是多面体理论中的基础性问题。
• 以非专业人员也能理解的方式呈现关键结果的证明，以扩大数学界一般读者的理解范围。
• 考察与多面体直径的n−d界相关的支持性证据和反例。
• 强调目前已知能实现n−d界之多面体的稀少性，凸显该猜想尚未解决的本质。
• 阐明推测的线性界与尚未发现任何多项式上界之间的差距。

提出的方法

• 综述文献中关于多面体直径与Hirsch猜想的已知结果。
• 以非专业人士也能理解的方式呈现关键结果的证明，避免过度技术化。
• 分析具有n个面的d维多面体的结构，以评估其直径界。
• 比较已知的、实现或逼近n−d界的多面体实例。
• 评估近期反例和理论限制的含义。
• 运用组合与几何推理，评估该猜想的有效性与适用范围。

实验结果

研究问题

• RQ1 在过去五十年中，关于证明或证伪Hirsch猜想取得了哪些进展？
• RQ2 为何至今仍无已知的d维多面体（具有n个面）的直径多项式上界？
• RQ3 目前已知有多少多面体能实现n−d的直径界？这一事实对猜想意味着什么？
• RQ4 解决Hirsch猜想的主要理论与结构障碍是什么？
• RQ5 如何在不依赖深厚技术前提的情况下，使研究成果更易为广泛的数学受众理解？

主要发现

• Hirsch猜想仍未被证明，且尚未建立具有n个面的d维多面体直径的多项式上界。
• 尽管历史悠久，但仅有极少数多面体被确认能实现推测的n−d界。
• 本文提供了基本结果的易懂证明，增强了对一般数学读者的清晰度。
• 该猜想的持续存在凸显了我们在多面体组合学理解上的重大空白。
• 尽管推测为线性界，但缺乏任何已知的多项式上界，这一现状仍是核心开放问题。
• 本综述强调了需要新的理论方法来最终解决该猜想。