[論文レビュー] What did Ryser Conjecture?

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

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

ひとこと要約

この論文は、1967年のオーバーフォルハフ会議で発表されたハーバート・J・ライザーのドイツ語原論文を翻訳・分析することで、歴史的誤認を是正する。その結果、2つの広く誤認されている予想のうち、奇数順のラテン方陣における横断的配置に関する予想の1つだけが、元の論文に実際に存在することが判明した。もう1つの予想、超グラフの被覆数とマッチング数に関する予想は、ライザーの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.

研究の動機と目的

• ハーバート・J・ライザーの1967年会議論文に誤って帰属されている2つの著名な予想の歴史的記録を明確化すること。
• 元のドイツ語論文 [Rys67] を英語に翻訳し、その内容を分析することで、実際にどの予想が含まれているかを特定すること。
• ライザーの1967年作業に誤って帰属されている予想1（横断的配置の数が2を法としてnと合同）および予想3（超グラフの被覆数に関するもの）を是正すること。
• 奇数順ラテン方陣が少なくとも1つの横断的配置を持つという予想2の真の出典を特定すること。この予想は、[Rys67] に確認されている。
• 予想3（超グラフにおける被覆数τとマッチング数νの関係τ ≤ (r−1)ν）が、ライザーの1967年論文ではなく、ライザーの学生であるJ. R. ヘンダーソンの後に発表された学位論文に由来することを特定すること。

提案手法

• 母語話者による支援とGoogle翻訳などのツールを用いて、1967年のドイツ語会議論文 [Rys67] を英語に翻訳する。
• 翻訳されたテキストに含まれる予想を、その後の数学文献における出現と照合することで、歴史的出典を検証する。
• [Rys67] の内容を分析し、予想1（横断的配置の数がn mod 2と合同）または予想3（r部グラフにおけるτ ≤ (r−1)ν）が含まれているかどうかを特定する。
• [Rys67] に含まれる予想と、ヘンダーソンの1971年学位論文などの既知の後続文献を比較することで、各予想の正しい出典を特定する。
• 学術的参考文献と引用を用いて、予想のタイムラインと出典を検証する。特に、予想1が[ Rys67 ]に存在しないにもかかわらず頻繁に帰属されていることへの注目を払う。
• 原文の曖昧な技術的表現を明確にするために、脚注や解説を挿入する。

実験結果

リサーチクエスチョン

• RQ1 ハーバート・J・ライザーの1967年会議論文 [Rys67] に、ラテン方陣の順序nに対して横断的配置の数がn mod 2と合同であるという予想が実際に含まれているか？
• RQ2 奇数順ラテン方陣が少なくとも1つの横断的配置を持つという予想が、ライザーの1967年論文に正しく帰属されているか？
• RQ3 r部グラフにおける被覆数τとマッチング数νの関係τ ≤ (r−1)νが、ライザーの1967年論文に由来するか？
• RQ4 τ ≤ (r−1)ν という超グラフの予想の真の出典は何か？この予想はしばしばライザーに帰属されている。
• RQ5 原文のテキストに証拠がないにもかかわらず、これらの予想が繰り返し [Rys67] に誤って帰属されているのはなぜか？

主な発見

• 予想1 — ラテン方陣の順序nに対して横断的配置の数がn mod 2と合同であるという予想 — はライザーの1967年論文 [Rys67] に存在しない。
• 予想1の偶数の場合（nが偶数）はバラスブラマニアンによって証明されたが、奇数の場合には誤りであり、7以上で反例が知られている。
• 予想2 — 奇数順ラテン方陣が少なくとも1つの横断的配置を持つ — はライザーに正しく帰属されており、[Rys67] に実際に記載されている。
• 予想3 — r部グラフにおけるτ ≤ (r−1)ν — は [Rys67] に存在しないが、頻繁に誤って帰属されている。
• 超グラフ予想τ ≤ (r−1)ν は、ライザーの学生であるJ. R. ヘンダーソンの1971年の学位論文に同等の形で登場するが、[Rys67] にはない。
• 本論文は、歴史的記録が歪められていたと結論づけ、[Rys67] は予想1および予想3の出典として引用すべきではない。