[论文解读] What did Ryser Conjecture?

Darcy Best, Ian M. Wanless|arXiv (Cornell University)|Jan 9, 2018

Digital Image Processing Techniques参考文献 5被引用 4

一句话总结

本文通過翻譯與分析赫伯特·J·賴瑟於1967年在奧伯沃尔法赫會議上發表的論文，糾正了歷史上的錯誤歸因：僅有兩項廣泛歸因的猜想中的一項——關於奇數階拉丁方陣的橫截線——實際出現在原始文獻中。另一項關於超圖覆蓋數與匹配數的猜想，則源自後來的論文，而非賴瑟的1967年論文。

ABSTRACT

Two prominent conjectures by Herbert J. Ryser have been falsely attributed to a somewhat obscure conference proceedings that he wrote in German. Here we provide a translation of that paper and try to correct the historical record at least as far as what was conjectured in it. The two conjectures relate to transversals in Latin squares of odd order and to the relationship between the covering number and the matching number of multipartite hypergraphs.

研究动机与目标

• 澄清關於兩項廣受誤傳的賴瑟1967年會議論文猜想之歷史記錄。
• 翻譯並分析原始德文論文[Rys67]，以確定其中實際包含哪些猜想。
• 糾正將猜想1（關於橫截線數模2）與猜想3（關於超圖覆蓋數）錯誤歸因於賴瑟1967年工作的現象。
• 確認猜想2（每個奇數階拉丁方陣都存在橫截線）確實出現在[Rys67]中。
• 追蹤猜想3的真正來源，發現其出自賴瑟學生J. R. 赫德森的後續論文，而非[Rys67]。

提出的方法

• 將原始1967年德文會議論文[Rys67]翻譯成英文，並借助母語德語者與Google翻譯等工具協助。
• 將翻譯文本中的猜想與數學文獻中後續的出現形式交叉比對，以驗證其歷史來源。
• 分析[Rys67]的內容，以判斷猜想1（橫截線數同餘於n模2）或猜想3（r-部分超圖中τ ≤ (r−1)ν）是否實際存在。
• 將[Rys67]中的猜想與已知的後續文獻（包括赫德森1971年論文）比較，以追蹤每項猜想的正確來源。
• 利用學術參考文獻與引用，驗證猜想的時間線與來源，特別指出儘管常被歸因於[Rys67]，但猜想1實際上並未出現在該論文中。
• 加入腳註與評論，以澄清原始德文文本中模糊或技術性強的段落。

实验结果

研究问题

• RQ1 赫伯特·J·賴瑟1967年會議論文[Rys67]是否實際包含『拉丁方陣階數為n時，其橫截線數同餘於n模2』的猜想？
• RQ2 『每個奇數階拉丁方陣至少有一條橫截線』的猜想是否正確地歸因於賴瑟1967年的論文？
• RQ3 關於r-部分超圖中覆蓋數τ與匹配數ν關係的猜想（τ ≤ (r−1)ν）是否源於賴瑟1967年的論文？
• RQ4 常被歸因於賴瑟的超圖猜想τ ≤ (r−1)ν的真正來源為何？
• RQ5 為何這些猜想雖在原始文本中無證據，卻屢次被錯誤地歸因於[Rys67]？

主要发现

• 猜想1——即拉丁方陣階數為n時，其橫截線數同餘於n模2——並未出現在賴瑟1967年論文[Rys67]中。
• 猜想1的偶數情況（n為偶數）由巴拉蘇布拉馬尼安證明，但奇數情況為假，目前已知7階及以上階數存在反例。
• 猜想2——即每個奇數階拉丁方陣至少有一條橫截線——正確地歸因於賴瑟，因其確實出現在[Rys67]中。
• 猜想3——即在r-部分超圖中τ ≤ (r−1)ν——並未出現在[Rys67]中，儘管常被錯誤歸因。
• 超圖猜想τ ≤ (r−1)ν以等價形式出現在賴瑟學生J. R. 赫德森1971年論文中，但未出現在[Rys67]中。
• 本文結論為歷史記錄已被扭曲，[Rys67]不應被引用為猜想1與猜想3的來源。