[論文レビュー] Strategy Proof Mechanisms for Facility Location in Euclidean and Manhattan Space

Toby Walsh|arXiv (Cornell University)|Sep 17, 2020

Game Theory and Voting Systems参考文献 15被引用数 4

ひとこと要約

本稿は、ユークリッド距離またはマンハッタン距離を用いた2次元以上における施設配置の戦略的不正を防ぐメカニズムについて調査する。1次元から多次元空間に移行することで、匿名性、パレート最適性、戦略的不正を防ぐ性質を同時に満たすことが著しく制限されることを示している。1次元では存在するようなメカニズムであっても、マンハッタン空間における1施設、あるいはユークリッド空間における2施設では、これらの性質を同時に満たすことは不可能である。これは、1次元における結果とは対照的である。

ABSTRACT

We study the impact on mechanisms for facility location of moving from one dimension to two (or more) dimensions and Euclidean or Manhattan distances. We consider three fundamental axiomatic properties: anonymity which is a basic fairness property, Pareto optimality which is one of the most important efficiency properties, and strategy proofness which ensures agents do not have an incentive to mis-report. We also consider how well such mechanisms can approximate the optimal welfare. Our results are somewhat negative. Moving from one dimension to two (or more) dimensions often makes these axiomatic properties more difficult to achieve. For example, with two facilities in Euclidean space or with just a single facility in Manhattan space, no mechanism is anonymous, Pareto optimal and strategy proof. By contrast, mechanisms on the line exist with all three properties.We also show that approximation ratios may increase when moving to two (or more) dimensions. All our impossibility results are minimal. If we drop one of the three axioms (anonymity, Pareto optimality or strategy proofness) multiple mechanisms satisfy the other two axioms.

研究の動機と目的

• 1次元から2次元以上への移行が、戦略的不正を防ぐ性質、公平性、効率性を備えた施設配置メカニズムの設計に与える影響を分析すること。
• ユークリッド距離またはマンハッタン距離を用いることで、匿名性、パレート最適性、戦略的不正を防ぐ性質といった公理的性質に与える影響を評価すること。
• 最適な福祉（総距離または最大距離）に対する近似比が、1次元と比較して高次元でも有界のままであるかどうかを調査すること。
• 1次元で機能するメカニズムが、高次元空間に拡張された際にも、重要な公理的性質および近似比を保持できるかどうかを同定すること。
• 最小の不可能性結果（すなわち、1つの公理を除けば、残りの2つを同時に満たすメカニズムが存在するかどうか）を同定すること。

提案手法

• n人のエージェントとm個の施設を伴うd次元のユークリッド空間およびマンハッタン空間における施設配置問題の形式化。
• 3つの中心的公理的性質の定義：匿名性（公平性）、パレート最適性（効率性）、戦略的不正を防ぐ性質（インcentive compatibility）。
• 標準的なメカニズム（パーセンタイルメカニズム、中央値メカニズム、シリアルディクタトル）が多次元設定においてどのように機能するかの分析。
• 施設に容量制限がある状況（容量付き設定）へのメカニズムの拡張。この場合、エージェントは必ずしも最も近い施設に割り当てられるわけではない。
• 2次元以上において、3つの公理を同時に満たす必要がある場合の不可能性結果を数学的証明により示すこと。
• 1次元と多次元空間における、総距離および最大距離の目的関数に対する近似比を比較し、特に多次元パーセンタイルメカニズムの性能を分析すること。

実験結果

リサーチクエスチョン

• RQ1 1次元において匿名性、パレート最適性、戦略的不正を防ぐ性質を満たすメカニズムが、2次元以上に拡張された場合にこれらの性質を失うことなく維持できるか。
• RQ2 ユークリッド距離からマンハッタン距離への切り替えが、多次元施設配置における戦略的不正を防ぐ性質と効率性の実現可能性に与える影響は何か。
• RQ3 1次元では達成可能であるが、高次元空間においても有界な近似比が達成可能かどうか、総距離または最大距離の近似比について。
• RQ4 最小の不可能性結果（すなわち、3つの公理（匿名性、パレート最適性、戦略的不正を防ぐ性質）のうち1つを除けば、残りの2つを同時に満たすメカニズムが2次元のユークリッド空間またはマンハッタン空間で存在するかどうか）はあるか。
• RQ5 容量付き施設制約は、高次元空間における戦略的不正を防ぐメカニズムの設計および性能にどのように影響を与えるか。

主な発見

• 2次元ユークリッド空間における2施設の設定では、匿名性、パレート最適性、戦略的不正を防ぐ性質を同時に満たすメカニズムは存在しない。
• 1施設のマンハッタン空間では、匿名性、パレート最適性、戦略的不正を防ぐ性質をすべて満たすメカニズムは存在しないが、1次元ではそのようなメカニズムが存在する。
• 2次元マンハッタン空間における2施設の設定では、パーセンタイルメカニズムの総距離または最大距離に対する近似比は有界ではない。これは1次元では有界な近似比が存在するのとは対照的である。
• 2次元中央値メカニズムは、最適な総マンハッタン距離を達成するが、最適なユークリッド距離に対しては√2近似にとどまる。
• 1次元から2次元マンハッタン空間に移行する際、総距離および最大距離の近似比は上昇し、高次元では無限大に発散する。
• すべての不可能性結果は最小である：3つの公理（匿名性、パレート最適性、戦略的不正を防ぐ性質）のうち1つを除けば、2次元の設定において残りの2つを同時に満たすメカニズムが存在する。