[論文レビュー] Computing Exact Solutions of Consensus Halving and the Borsuk-Ulam Theorem

Argyrios Deligkas, John Fearnley+2 more|arXiv (Cornell University)|Mar 7, 2019

Logic, Reasoning, and Knowledge被引用数 5

ひとこと要約

この論文は、n人のエージェントとn回のカットを用いたConsensus Halvingの正確な計算量を特定し、正確な解を求める問題が $\texttt{FIXP}$-hard であり、n回未満のカットで十分かどうかを決定する問題が $\texttt{ETR}$-complete であることを示している。また、Borsuk-Ulam定理を正確に解く問題に帰着可能な問題を捉える新しい計算量クラス $\texttt{BU}$ を導入し、$\texttt{LinearBU} = \texttt{PPA}$ を証明することで、正確な公平分割問題と位相的固定点定理の間に関係を確立している。

ABSTRACT

We study the problem of finding an exact solution to the consensus halving problem. While recent work has shown that the approximate version of this problem is PPA-complete, we show that the exact version is much harder. Specifically, finding a solution with $n$ cuts is FIXP-hard, and deciding whether there exists a solution with fewer than $n$ cuts is ETR-complete. We also give a QPTAS for the case where each agent's valuation is a polynomial. Along the way, we define a new complexity class BU, which captures all problems that can be reduced to solving an instance of the Borsuk-Ulam problem exactly. We show that FIXP $\\subseteq$ BU $\\subseteq$ TFETR and that LinearBU $=$ PPA, where LinearBU is the subclass of BU in which the Borsuk-Ulam instance is specified by a linear arithmetic circuit.

研究の動機と目的

• n人のエージェントに対して、Consensus Halving問題の正確な解を求める計算量を特定すること。
• n回未満のカットで解が存在するかどうかを決定する問題の計算量を分析すること。
• Borsuk-Ulam定理を正確に解く問題に帰着可能な問題の集合として定義される、新しい計算量クラス $\texttt{BU}$ を導入し、その特徴を明らかにすること。
• 位相的定理と計算量クラスとの間の関係を確立し、特に $\texttt{BU}$ と $\texttt{FIXP}$、$\texttt{ETR}$ の関係を明らかにすること。

提案手法

• 著者らは、算術回路をエージェントの評価関数に符号化することで、回路評価問題をConsensus Halvingインスタンスに還元した。
• 2つの多項式 $q_1$ と $q_2$ を計算する特別な回路を構築し、$q_1 = q_2$ の条件を用いてBorsuk-Ulam型の議論により解を強制した。
• 回路の値とConsensus Halvingインスタンス内のカットの間で1対1の対応関係を確立し、回路の解が存在すれば有効な分割が得られることを保証した。
• $r$ 個のゲートを持つ回路をシミュレートするために、$4r+1$ 人のエージェントと $4r$ 回のカットを用いた構成を行い、回路の出力を最後のエージェントの評価に埋め込んだ。
• Consensus Halvingインスタンスに解が存在するための必要十分条件が、回路が0に評価されることであることを証明し、実代数的系の可解性と結びつけた。
• クラス $\texttt{BU}$ は、Borsuk-Ulam問題を正確に解く問題に帰着可能な問題の集合として定義され、$\texttt{LinearBU}$ は線形インスタンスを捉える。

実験結果

リサーチクエスチョン

• RQ1 n人のエージェントとn回のカットを用いたConsensus Halving問題の正確な解を計算する計算量は何か？
• RQ2 n回未満のカットで解が存在するかどうかを決定する問題は、近似バージョンよりも計算的に難しいか？
• RQ3 Borsuk-Ulam定理を用いて、正確な公平分割問題を捉える新しい計算量クラスを定義できるか？
• RQ4 正確なConsensus Halvingの計算量は、$\texttt{FIXP}$ や $\texttt{ETR}$ とどのように関係しているか？
• RQ5 $\texttt{LinearBU}$ と $\texttt{PPA}$ や他の既知のクラスとの関係は何か？

主な発見

• $(n,n)$-Consensus Halving問題は $\texttt{FIXP}$-hard であることが示され、正確な解は近似解よりもはるかに難しいことを示している。
• n回未満のカットで解が存在するかどうかを決定する問題は $\texttt{ETR}$-complete であることが示され、$\texttt{PPA}$ よりも高い計算量クラスに位置することが分かった。
• 著者らは、Borsuk-Ulam定理を正確に解く問題に帰着可能な問題を捉える新しい計算量クラス $\texttt{BU}$ を定義した。
• $\texttt{LinearBU} = \texttt{PPA}$ であることが示され、線形インスタンスにおけるBorsuk-Ulam問題とクラス $\texttt{PPA}$ の間の密接な関係が確立された。
• $\texttt{BU}$ は $\texttt{FIXP} \subseteq \texttt{BU} \subseteq \texttt{TFETR}$ を満たし、$\texttt{FIXP}$ と $\texttt{TFETR}$ の間にあることが示唆された。
• この論文は、Borsuk-Ulam定理によって保証される存在性を持つが、Brouwerの固定点定理のような弱い定理では保証されない問題の自然な計算量クラスとして $\texttt{BU}$-completeness が適切である可能性を強く示唆している。