Obviously Strategy-proof Choice of Social Acts

技術的要約：社会的事象の明白な戦略的真実性に基づく選択

問題提起
本論文は、Bahel and Sprumont (2020) によって導入された「社会的事象（social acts）に対する社会選択」の枠組みにおける、社会選択関数（SCF）の実装について調査するものである。この環境において、社会計画者は不確実性が解消される前に、事象（状態の集合へのアウトカムのマッピングである条件付き計画）を選択しなければならない。エージェントは、主観的期待効用（SEU）基準を用いてこれらの事象を評価する。これは、エージェントがアウトカムに対する主観的な価値評価と、自然の状態に関する主観的な確率尺度の両方を保持していることを意味する。

Bahel and Sprumont (2020) は、この領域における「無投票（unanimous）」かつ「戦略的真実性（strategy-proof）」を持つSCFのクラスが豊かであること、具体的には「局所的に両側的なトップ選択（locally bilateral top-selection）」ルールによって特徴付けられることを示した。しかし、本論文は、これらのルールがより強い条件である**明白な戦略的真実性（Obvious Strategy-Proofness: OSP）**を満たすかどうかを問うものである。Li (2017) によって導入されたOSPは、真実を報告することが「明白に」支配戦略であることを要求する。すなわち、その戦略に従った場合の最悪の結果であっても、逸脱した場合の最善の結果よりも優れていなければならない。中心的な問いは、標準的な戦略的真実性が許容する柔軟性が、エージェントが真実を語ることの最適性を「明白に」理解することを要求する場合においても維持されるのかどうかである。

手法およびモデル
著者らは、以下の要素からなる Bahel and Sprumont (2022) の形式的モデルを採用している：

• 有限個のエージェント集合 $N$、有限個の自然の状態集合 $\Omega$、および社会的なアウトカムの集合 $X$。
• エージェントは、単射的な価値関数 $v_i$ と単射的な確率尺度 $p_i$ によって表される厳密なSEU選好を持つ。
• 社会選択関数は、選好プロファイルから事象への写像（$\phi: D^n \to X^\Omega$）である。

本論文では、エージェントが内部ノードで選好を報告する、展開型ゲーム（木構造）としてのOSPメカニズムの定義を利用する。メカニズムがOSPであるとは、エージェントのあらゆる決定ノードにおいて、真実の経路に従った場合の最悪の結果の効用が、いかなる逸脱による最善の結果の効用以上であることを指す。

証明戦略は、Bahel and Sprumont (2020) による、無投票かつ戦略的真実性を備えたSCFの特性付け（それは局所的に両側的なトップ選択ルールである）に基づいている。これらのルールは、状態空間 $\Omega$ をイベントへと分割し、エージェントへの状態の割り当ては、定数、あるいは両側的な独裁、または両側的な合意に基づくルールによって決定される。著者らは、これらの特定の割り当てルールに対してOSPが課す構造的な制約を分析する。

主要な技術的ツールは**補題1（Lemma 1）**であり、これは、任意の信念 $p_i$ に対して、特定の幾何級数的な値を持つ価値関数 $v_i$ を構成できることを確立している。これにより、得られる選好は、ほとんどすべてのパラメータ値において厳密（異なる事象間で無差別ではない）となる。これにより、著者らは、エージェントが異なる割り当てルールによって生成されるアウトカムに対して厳密な選好を持つような、特定の選好プロファイルを構築することが可能となる。

主要な結果
本論文の主要な結果である**定理1（Theorem 1）**は、完全な特性付けを提供している：

SCF $\phi$ が無投票かつOSP実装可能であるための必要十分条件は、それが独裁的であることである。

証明は、背理法による。無投票かつOSP実装可能であるが、独裁的ではないSCFが存在すると仮定することから始まる。Bahel and Sprumont の特性付けに基づけば、そのような関数は局所的な両側的な割り当てルールに対応するはずである。著者らは、もし複数のエージェントに非空の集合が割り当てられている場合（これは非独裁的なルールのために必要である）、OSPメカニズムにおける特定のノードで分岐する2つの選好プロファイルを構成できることを示す。補題1を用いて価値関数を注意深く選択することで、分岐ノードにおいて、OSPの条件が、エージェントに構築された選好と矛盾するアウトカムを好むことを要求してしまう状況を導き出す。

具体的には、証明は以下のステップを踏む：

1. 主張1： いかなるエージェントにとっても、自身に割り当てられた状態の集合は、すべての信念プロファイルにおいて空であるか、あるいはすべての信念プロファイルにおいて非空であるかのいずれかである。
2. 主張2： すべてのプロファイルにおいて、少なくとも一人のエージェントには非空の集合が割り当てられなければならない（無投票性と分割の性質による）。
3. 主張3： 二人の異なるエージェントが、すべてのプロファイルにおいて非空の集合を割り当てられることは不可能である。もし二人のエージェントに状態が割り当てられていれば、一人のエージェントが他方のエージェントに割り当てられた状態を好むシナリオを構築することで、OSP条件が違反される。これにより、OSPでは解決できない支配の循環が生じる。

したがって、一人のエージェントのみがすべてのプロファイルにわたって全状態空間 $\Omega$ を割り当てられることができ、それによってSCFは独裁的となる。逆に、独裁的なSCFは自明にOSP実装可能である。

意義および貢献
本論文は、OSPの含意が経済環境に極めて敏感であることを示すことで、OSPに関する文献に貢献している。単峰型ドメイン（Bade and Gonczarowski, 2016; Arribillaga et al., 2020）や分割問題（Arribillaga et al., 2023）における投票環境における先行研究では、非独裁的なOSP実装可能なルールが見出されているが、本論文は、主観的な不確実性を伴う社会的事象の文脈においては、OSPが極めて制限的であることを示している。

著者らは、この結果が、エージェントが主観的期待効用選好を持つ環境において、「インセンティブの単純さと非独裁的な集団的選択との間の強い緊張関係」を浮き彫りにしていると主張している。Bahel and Sprumont (2020) は、戦略的真実性が豊かな局所的両側ルールを許容することを見出したが、"明白な"という要求を課すことで、この柔軟性は完全に崩壊し、独裁的なルールのみがOSP実装の実行可能な候補として残る。このことは、主観的不確実性を伴う複雑な環境において、エージェントにとって理解しやすいメカニズム（OSP）が、非独裁的かつ無投票な社会選択と両立しない可能性があることを示唆している。