[論文レビュー] Tropical Geometry and Mechanism Design

Robert Alexander Crowell, Ngoc Mai Tran|arXiv (Cornell University)|Jun 15, 2016

Platelet Disorders and Treatments参考文献 46被引用数 9

ひとこと要約

本稿は、トロピカル凸幾何を用いた多次元メカニズム設計のための新しい枠組みを提示する。インcentive-compatible（IC）な支払いが、タイプ空間のトロピカル凸包内におけるトロピカル単体を形成することを示している。主な貢献は、トロピカルポリトープとコベクトルを用いたICメカニズムの幾何的特徴付けであり、これにより、巡回的単調性や収益等価性に依存せずに、ICの結果と支払いの構成的分析が可能になる。

ABSTRACT

We develop a novel framework to construct and analyze finite valued, multidimensional mechanisms using tropical convex geometry. We geometrically characterize incentive compatibility using cells in the tropical convex hull of the type set. These cells are the sets of incentive compatible payments and form tropical simplices, spanned by generating payments whose number equals the dimension of the simplex. The analysis of the collection of incentive compatible mechanisms via tropical simplices and their generating payments facilitates the use of geometric techniques. We use this view to derive a new geometric characterization of revenue equivalence but also show how to handle multidimensional mechanisms in the absence of revenue equivalence.

研究の動機と目的

• クasi線形効用を持つ決定的で多次元的なメカニズムを分析するための幾何的枠組みの開発を目的とする。
• 巡回的単調性に代えてトロピカル凸幾何を用いることで、従来の手法の制限を克服し、構成的分析を可能にする。
• トロピカル単体と生成支払いを用いて、インcentive-compatibleな支払いの完全な特徴付けを提供する。
• タイプ空間の幾何から直接ICの結果関数を構成できるようにする。
• 収益等価性が成り立たない状況においても、IC支払いを体系的かつ特徴付け可能にする。

提案手法

• タイプ空間 T ⊂ ℝ^m を点の集合として表現し、トロピカル凸包を用いて経済的インcentイブを符号化するトロピカルポリトープを構築する。
• IC支払いをトロピカル凸包内のセルとして特徴付け、各セルが極値支払いによって張られるトロピカル単体に対応することを示す。
• コベクトルとトロピカル固有空間を用いて、ICメカニズムとトロピカル幾何的対象との間の一対一対応を確立する。
• 結果関数 g から割当行列 L^g を定義し、タイプ空間上の幾何的分離条件を用いて g を再構成する。
• 行列 L が何らかの結果関数 g に対して L^g として実現可能かどうかを判定するために、(j,k)-ウィtnessの概念を適用する。
• L_jk + L_kj > 0、= 0、または < 0 であるかどうかの条件を用いて、セクター 𝒫_j と 𝒫_k の閉包が内部で交わるか、境界上で交わるか、まったく交わらないかを決定する。

実験結果

リサーチクエスチョン

• RQ1 巡回的単調性に依存せずに、多次元メカニズム設計におけるインcentive compatibility を幾何的に特徴づける方法は何か？
• RQ2 与えられた結果関数 g に対して、すべての IC 支払いの集合をトロピカル凸幾何を用いて完全に記述できるか？
• RQ3 与えられた行列 L が何らかの結果関数 g に対して割当行列 L^g として現れるための幾何的条件は何か？
• RQ4 タイプ空間 T の幾何から直接 IC の結果関数をどのように構成できるか？
• RQ5 収益等価性が成り立たない状況において、IC 支払いを体系的に分析・特徴づける方法は何か？

主な発見

• 与えられた結果関数 g に対するインcentive-compatibleな支払いは、タイプ空間 T のトロピカル凸包内のセルとして幾何的に符号化され、トロピカル単体を形成する。
• g に対するすべての IC 支払いの集合は、タイプ空間によって生成されるトロピカルポリトープとして完全に特徴付けられ、生成支払いはトロピカル単体の頂点に対応する。
• 行列 L が何らかの結果関数 g に対して L^g として実現可能であるための必要十分条件は、L がタイプ空間 T を分離し、すべての j≠k のペアに対して (j,k)-ウィtness 条件を満たすことである。
• 条件 L_jk + L_kj > 0、= 0、または < 0 は、セクター 𝒫_j と 𝒫_k の閉包が内部で交わるか、境界上で交わるか、まったく交わらないかを決定する。
• この枠組みにより、ネットワークフローやサイクル解析を経由せずに、タイプ空間 T の幾何から直接 IC の結果関数を構成できる。
• 理論は、お金がある場合とない場合の両方の設定に一般に適用可能であり、収益等価性の仮定を必要とせず、より包括的な経済的設定での分析を可能にする。