Shapley-Scarf Markets with Objective Indifferences

技術的要約：客観的な無差別性を伴うシェープリー＝スカーフ市場

問題提起
本論文は、各エージェントがそれぞれ1つずつ物体（家）を保有している設定における、個別の物体（家）のエージェントへの割り当て（シェープリー＝スカーフ市場）について扱っている。古典的なモデル（Shapley and Scarf, 1974）では、エージェントは厳密な選好を持つ。そこでは、ゲールのトップ・トレーディング・サイクル（TTC）アルゴリズムが、コアに含まれる唯一の割り当てを特定することに成功している。

しかし、多くの実用的なアプリケーション（例：寮の割り当て、学校選択）において、エージェントは同じ「タイプ」の物体（例：同一の平面図を持つ家）の間で自然に無差別である。一般的な無差別性が導入されると、固定されたタイブレークを用いる標準的なTTC$_\succ$は、その望ましい特性を維持できなくなる。具体的には、一般的な無差別性が存在する場合、TTC$_\succ$はパレート効率的ではなくなり、かつグループ戦略的（group strategy-proof）でもなくなり、さらにコアが空でない場合であっても、コアに含まれる割り当てを選択できないことがある。本論文は、より複雑なメカニズムに頼ることなく、TTC$_\succ$がこれらの特性を回復できるような、構造化された選好ドメインが存在するかどうかを調査している。

手法とモデル
著者らは、「客観的な無差別性（Objective Indifferences）」と呼ばれる特定の選好ドメインを導入している。このモデルでは：

• 物体の集合 $H$ は、ブロック（タイプ） $\mathcal{H} = \{H_1, \dots, H_K\}$ に分割されている。
• エージェントは、同一ブロック内の任意の2つの物体の間では無差別であるが（$\eta(h) = \eta(h')$ ならば $h I_i h'$）、異なるブロック間の物体については厳密な選好を持つ。
• 決定的なことに、この分割 $\mathcal{H}$ はすべてのエージェントに共通である。つまり、無差別性は「主観的」ではなく「客観的」である。

本研究は、**固定されたタイブレークを用いたTTC（TTC$_\succ$）**の性能を、このドメイン上で分析している。このメカニズムは、外生的なタイブレーク・プロファイル $\succ = (\succ_1, \dots, \succ_n)$ を用いて無差別性を解決する。ここで $\succ_i$ はエージェントに対する厳密な線形順序である。これにより、弱選好が厳密な選好へと変換され、標準的なTTCアルゴリズムの進行が可能になる。

著者らは、TTC$_\succ$を以下の3つの公理に対して評価している：

1. パレート効率性 (Pareto Efficiency, PE): 他のいかなる割り当ても、誰かを悪化させることなく誰かをより良くすることはできない。
2. グループ戦略的 (Group Strategy-Proofness, GSP): コリション（連合）が、少なくとも一人のメンバーを厳密に良くし、かつ全員を弱く良くするために、選好を誤報告することができない。
3. コア選択性 (Core-Selecting, CS): コアが空である場合、そのメカニズムはコア内の割り当てを選択する。

本論文は、ドメインを特徴付けるために「極大性（maximality）」のアプローチを採用している。あるドメインが特定の特性に対して「極大」であるとは、メカニズムがそのドメイン上でその特性を満たすが、それより厳密に大きなドメインでは失敗することを意味する。GSPについては、著者らは「対称的極大性（symmetric-maximality）」という概念を導入し、あるエージェントが $h$ を $h'$ より厳密に好むことができるならば、その逆の選好も可能である（これは、選好の方向に関する恣意的な制限を避けるための、メカニズム設計における標準的な仮定である）というドメインに注目している。

主要な結果
本論文は、TTC$_\succ$の限界を特徴付ける3つの主要な定理を確立している：

1. 特性の回復: 客観的な無差別性のドメインの下で、TTC$_\succ$はパレート効率性、グループ戦略性、およびコア選択性を満たす。

   • 著者らは、客観的な無差別性の下でコアが空でない場合、コアは「本質的に単一値（essentially single-valued）」である、すなわち、すべてのコア割り当てはエージェントを同じ無差別クラス（物体のタイプ）に割り当てることを証明している。
   • たとえコアが空であっても、TTC$_\succ$は常に「弱コア（weak core）」内の割り当てを選択する。

2. 極大性の特徴付け (PE および CS):

   • 定理1: TTC$_\succ$がパレート効率的（またはコア選択的）であるための極大ドメインは、客観的な無差別性のドメインである場合、かつその場合に限る。
   • これは、客観的な無差別性を超えて拡張すること（エージェント間でどの物体が同等であるかが異なる「主観的な無差別性」を許容すること）は、必然的にTTC$_\succ$がパレート効率性とコア選択性を失わせることを意味している。

3. 極大性の特徴付け (GSP):

   • 定理2: TTC$_\succ$がグループ戦略的であるための対称的極大ドメインは、客観的な無差別性のドメインである場合、かつその場合に限る。
   • 客観的な無差別性よりも大きな、TTC$_\succ$がGSPとなる非対称なドメイン（例：特定の厳密な選好が不可能であるドメイン）は存在するが、著者らは、対称性の制限は自然であり、市場設計において過度な負担ではないと主張している。

意義と主張
本論文は、直感的なTTC$_\succ$メカニズムの適用可能性に関する正確な境界を提供することを主張している。

• TTCの正当化: これらの結果は、無差別性が構造的かつ共有されている（例：同一の住宅ユニット）市場において、TTC$_\succ$が効率性、安定性、およびインセンティブ適合性を保持する堅牢な解法であることを示唆している。
• 失敗点の特定: 本論文は、一般的な設定におけるTTC$_\succ$の失敗は、無差別性そのものによるのではなく、主観的な無差別性（エージェント間でどの物体が同等であるかについて意見が分かれること）によるものであると論じている。
• ドメインの特徴付け: 著者らは、客観的な無差別性が、TTC$_\succ$が3つの核心的な特性を保持する（GSPにおける対称性の条件下で）最も一般的な設定であることを示している。これは、厳密な選好を仮定するか、あるいはTTCが失敗する一般的な無差別性を研究している既存の文献とは一線を画すものである。

本論文は、すべての市場に対して特定のメカニズムを規定するものではないものの、広く使用されているTTC$_\succ$が理論的に妥当である条件を明確にしていると結論づけている。これは、政策立案者が、自身の市場（例：言語コースのある学校選択）における無差別性が、客観的なもの（全員に共通）か、主観的なもの（家族ごとに異なる）かを評価すべきであることを示唆している。著者らは、TTC$_\succ$の公理的な特徴付けおよび制約付き無差別性のさらなる探求を今後の課題として残している。