[論文レビュー] A tournament of order 24 with two disjoint TEQ-retentive sets

Felix Brandt, Hans Georg Seedig|arXiv (Cornell University)|Feb 22, 2013

Computability, Logic, AI Algorithms参考文献 11被引用数 9

ひとこと要約

この論文は、24次のトーナメントを具体的に構築し、2つの互いに素で同型なTEQ保持集合を備えたものとして、シュワーツの予想（最小TEQ保持集合の一意性に関する）に対する最初の明示的反例を提供する。この構成により、トーナメント均衡集合（TEQ）解が常に包含最小の保持集合を一意に与えるわけではないことが示され、以前の確率的存在証明（約10^136の代替案を伴う）に比べてはるかに小さい反例によって、長年の未解決問題が解決された。

ABSTRACT

Brandt et al. (2013) have recently disproved a conjecture by Schwartz (1990) by non-constructively showing the existence of a counterexample with about 10^136 alternatives. We provide a concrete counterexample for Schwartz's conjecture with only 24 alternatives.

研究の動機と目的

• トーナメントにおける最小TEQ保持集合の一意性に関するシュワーツの予想に対する、明確で構成的な反例を提供すること。
• 以前の確率的存在証明（約10^136の代替案を伴う）から、反例のサイズを管理可能な24の代替案にまで縮小すること。
• 1つのトーナメント内に2つの互いに素で同型なTEQ保持集合が共存できることを示し、シュワーツの予想が示唆する一意性条件に反することを明らかにすること。
• すべてのトーナメントが一意な最小TEQ保持集合を備える最大の次数 $ n_{\mathit{TEQ}} $ に対するより鋭い境界を確立すること。

提案手法

• トーナメントは、それぞれ12次である2つの同型な部分トーナメント $ X $ と $ Y $ の和集合として構築され、それらの間で対称的な優位関係を有する。
• 各部分トーナメントの内部構造（$ T|_X $ および $ T|_Y $）は、各代替案 $ x_i $ に対して明示的な支配集合 $ \overline{D}_X(x_i) $ を定義することで確保され、構造的対称性が保証される。
• 部分トーナメント間の優位関係は、$ X_1 \succ Y_2 $、$ X_2 \succ Y_1 $、$ Y_1 \succ X_1 $、および $ Y_2 \succ X_2 $ として定義され、循環的でバランスの取れた相互作用パターンが形成される。
• 各代替案の支配集合 $ \overline{D}_A(x_i) $ に対してTEQ解が計算され、その結果が $ X $ または $ Y $ の内側に完全に含まれることを確認し、TEQ保持性が裏付けられる。
• TEQ出力において $ X $ と $ Y $ の間の対称性が保持される：$ y_j \in \mathit{TEQ}(\overline{D}_A(y_i)) $ であることは、$ x_j \in \mathit{TEQ}(\overline{D}_A(x_i)) $ であることと同値であり、保持集合の同型性が保証される。

実験結果

リサーチクエスチョン

• RQ1 包含最小のTEQ保持集合を複数有する有限で明示的なトーナメントは存在するか？
• RQ2 シュワーツの予想に対する反例のサイズを、確率的存在証明から著しく縮小できるか？
• RQ3 1つのトーナメント内で複数の互いに素なTEQ保持集合が共存できる構造的性質は何か？
• RQ4 小規模な次数のすべてのトーナメントにおいて、トーナメント均衡集合（TEQ）解は一意に最小保持集合によって決定づけられるか？

主な発見

• 構築された24次トーナメントには、2つの互いに素で同型なTEQ保持集合 $ X $ と $ Y $ が含まれており、それぞれのサイズは12であり、複数の最小TEQ保持集合の存在が証明された。
• 各代替案の支配集合に対するTEQ解は、$ X $ または $ Y $ のいずれかの内側に完全に含まれており、それらのTEQ保持性が確認された。
• $ X $ と $ Y $ 間の優位関係は対称的である：$ X_1 \succ Y_2 $、$ X_2 \succ Y_1 $、$ Y_1 \succ X_1 $、$ Y_2 \succ X_2 $ であり、構造的同型性が保たれている。
• 対応する要素 $ X $ と $ Y $ におけるTEQ出力は構造的に同一であり、2つのTEQ保持集合の同型性が確認された。
• この反例により、$ 12 \leq n_{\mathit{TEQ}} \leq 23 $ が成立することが示された。ここで $ n_{\mathit{TEQ}} $ は、すべてのトーナメントが一意な最小TEQ保持集合を備える最大の次数である。