[論文レビュー] False-Name-Proof Facility Location on Discrete Structures

Taiki Todo, Nodoka Okada+1 more|arXiv (Cornell University)|Jul 21, 2019

Game Theory and Voting Systems参考文献 27被引用数 7

ひとこと要約

本稿は、単一ピークまたは単一ダップの選好の下で、離散的グラフ構造上の施設配置問題において、決定的で、偽名攻撃に耐性があり、パレート効率的な社会選択関数の存在を調査する。本稿は、すべての木グラフおよび長さが6未満のサイクルグラフにおいて、このようなメカニズムが存在することを示しているが、より大きなサイクルや、ラダーを除く高次元のハイパーグリッドでは存在しないことを示している。

ABSTRACT

We consider the problem of locating a single facility on a vertex in a given graph based on agents' preferences, where the domain of the preferences is either single-peaked or single-dipped. Our main interest is the existence of deterministic social choice functions (SCFs) that are Pareto efficient and false-name-proof, i.e., resistant to fake votes. We show that regardless of whether preferences are single-peaked or single-dipped, such an SCF exists (i) for any tree graph, and (ii) for a cycle graph if and only if its length is less than six. We also show that when the preferences are single-peaked, such an SCF exists for any ladder (i.e., 2-by-m grid) graph, and does not exist for any larger hypergrid.

研究の動機と目的

• 施設配置問題において、決定的で、偽名攻撃に耐性があり、パレート効率的な社会選択関数が存在する離散的グラフ構造を特定すること。
• 単一ピーク（公共財）と単一ダップ（公共財の欠如）の選好タイプが、メカニズム設計の可能性に与える影響を分析すること。
• パスやライン構造に関する先行研究を、木、サイクル、ハイパーグリッドなどのより複雑なトポロジーに拡張すること。
• 偽名攻撃に耐性のあるメカニズムが存在可能なグラフ構造と不可能な構造の境界を、異なる選好ドメインにおいて特定すること。

提案手法

• 代替案が頂点の固定順序に基づいて選ばれる、逐次パレート規則をコアなメカニズム設計技法として用いる。
• メカニズム設計を制限する長さ最大のパスや対称的構成を特定するために、構造的グラフ解析を適用する。
• 特に、偽名攻撃に耐性のあるメカニズムが存在しないことを示すために、背理による証明を用い、インcentive-compatibleな偽投票シナリオを構築する。
• 特に偶数長のサイクルにおいて、単一ピークと単一ダップの選好の間の対称性と双対性を活用する。
• 偽名（偽のアイデンティティ）を追加することで結果を操作できるかを検討することで、エージェントのインcentive構造を分析し、そのような操作が利益にならないことを保証する。
• タイププロファイルとエージェントの位置配置を用いて、さまざまなグラフトポロジーにおけるメカニズムのロバストネスをテストする。

実験結果

リサーチクエスチョン

• RQ1 単一ピークの選好の下で、偽名攻撃に耐性があり、パレート効率的な社会選択関数が存在するグラフ構造は何か？
• RQ2 このようなメカニズムの存在は、グラフのトポロジー（木、サイクル、ハイパーグリッドなど）に依存するか？
• RQ3 長さ6以上のサイクルグラフに対して、偽名攻撃に耐性のあるメカニズムを構築できるか？
• RQ4 選好タイプ（単一ピーク対単一ダップ）が、このようなメカニズムの可能性に果たす役割は何か？
• RQ5 特にハイパーグリッドグラフに関して、このようなメカニズムを許容するグラフ構造の完全な特徴付けは存在するか？

主な発見

• 単一ピークまたは単一ダップの選好のどちらであっても、任意の木グラフに対して、偽名攻撃に耐性があり、パレート効率的な社会選択関数が存在する。
• サイクルグラフでは、そのようなメカニズムが存在するための必要十分条件は、サイクル長が6未満であること（すなわち、$C_k$ で $k \leq 5$ の場合）である。
• ハイパーグリッドグラフでは、単一ピークの選好の下で、このようなメカニズムが存在するのは、グリッドがラダー（すなわち、$2 \times m$ で $m \geq 2$）である場合に限る。
• 単一ピークの選好の下で、ラダーを越えるハイパーグリッドでは、このようなメカニズムは存在しない。
• 単一ダップの選好の下では、長さ $k \geq 6$ のサイクルグラフに対しては、いかなるメカニズムも存在せず、一般のハイパーグリッドでは存在の有無は未解決のままである。
• より大きなサイクルにおける非存在性の証明は、戦略的なエージェント配置と偽名の操作による、矛盾するインcentive構造を構築することに依存している。