📈 economics

Pseudo-Substitutability: A Maximal Domain for Pairwise Stability in Matching Markets with Contracts

この論文は、契約付きマッチング市場においてペアワイズ安定な配分の存在を保証する古典的代替性領域を厳密に拡張し、かつそのような領域の中で最大である「疑似代替性」を定義し、その存在と最大性を示したものである。

原著者： Nadia Guiñazú, Noelia Juarez, Paola Manasero, Pablo Neme, Jorge Oviedo

公開日 2026-04-21

📖 1 分で読めます☕ さくっと読める

原著者： Nadia Guiñazú, Noelia Juarez, Paola Manasero, Pablo Neme, Jorge Oviedo

原論文は CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/) のもとパブリックドメインに提供されています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

🏥 物語：医師と病院の「縁結び」ゲーム

想像してください。多くの医師（ドクター）と多くの病院（ホスピタル）がいて、互いに契約を結んで働こうとしています。

医師は複数の病院とパートタイムで働きたいかもしれません。
病院も複数の医師を雇いたいでしょう。
ただし、**「同じ相手とは 1 つの契約しか結べない」**というルールがあります（例：A 病院とは「内科契約」か「外科契約」のどちらか 1 つだけ）。

ここで重要なのは**「安定性（Stability）」**です。
「今の組み合わせで、誰か 2 人が『あ、俺たち、別の契約を結んだほうがお互い得じゃん！』と思って勝手に抜け出そうとする状態がないこと」が安定です。

1. 従来の常識：「代わりはいつでもいる」

これまでの経済学の定説では、**「代替性（Substitutability）」**というルールが守られていれば、安定した状態は必ず作れると言っていました。

代替性とは？
「病院が医師 A と契約しようとしたとき、もし医師 B が『もっと良い条件で来るよ』と言ってきたら、A を切る。でも、もし A が『実は B と一緒に働きたい』と言ってきたとしても、B が来なければ A は必要ない」という考え方です。
つまり、**「ある契約が魅力的かどうかは、他の契約の有無に関係ない」**という、シンプルで予測しやすいルールです。

しかし、現実にはそうばかりではありません。

現実の例： 「外科医 A だけだと忙しすぎて困るけど、A と B 両方雇えば完璧に回せる！」という**「相乗効果（補完性）」**が存在します。
従来のルールでは、この「相乗効果」があると、安定した組み合わせが見つからない（ゲームが破綻する）とされてきました。

2. この論文の発見：「偽の代替性（Pseudo-Substitutability）」

著者たちは、**「相乗効果があっても、実は『安定した状態』は作れるのではないか？」**と考えました。

そこで彼らが提案したのが、**「偽の代替性（Pseudo-Substitutability）」**という新しいルールです。

🧩 比喩：「隠れた完璧なパズル」

この概念を理解するために、**「複雑なパズル」**を想像してください。

従来の考え方（代替性）： パズルのピースは、どのピースと組み合わせても形が変わらない「単純なブロック」である必要があります。
新しい考え方（偽の代替性）： 全体のパズルは複雑で、ピース同士がくっつくと形が変わる（相乗効果がある）ように見えます。しかし、**「その複雑なパズルの内部には、実は『単純なブロック』だけで組める『小さな完璧なパズル』が隠れている」**と仮定します。

「偽の代替性」とは：
「一見すると複雑で、相乗効果があるように見える好みが、**『実はその中に、単純なルール（代替性）で動く『隠れたバージョン』を持っている』**なら、安定した状態は作れるよ」という主張です。

どうやって見つけるの？
複雑な病院の好みを、少し制限した「シンプルな好みに書き換える（サブ・プレファレンス）」ことができます。その「シンプルなバージョン」で安定した組み合わせを見つけられれば、それは元の「複雑なバージョン」でもそのまま安定した組み合わせとして成立します。

3. なぜこれが重要なのか？（最大の領域）

この論文の最大の功績は、**「これが『安定した状態』を保証できる、最大の範囲（限界）である」**ことを証明したことです。

これより広いルールは存在しない：
もし「偽の代替性」のルールから少しだけ外れた（もっと複雑な相乗効果がある）好みが混じると、もう安定した組み合わせは絶対に作れなくなる可能性があります。
つまり：
「安定したマッチングが保証される世界」の地図を描くと、従来の「単純なルール」のエリアは、この新しい「偽の代替性」のエリアに完全に含まれていて、さらに広く広がっているのです。

4. 現実への応用：「非拘束的な市場」

この発見は、「約束が絶対ではない市場」（例：医師がマッチング結果を後から破棄できる場合）において特に役立ちます。

従来の安定（コア安定）： 「誰一人として、どんなグループで結託しても、今の状態より良くはなれない」という、非常に厳しい条件です。
ペアワイズ安定（この論文の焦点）： 「2 人組だけで勝手に抜け出そうとする動きがない」という、現実的な条件です。

「偽の代替性」のメリット：
もし病院が「A 医師と B 医師の両方が必要」という複雑な欲求を持っていても、その中に「A だけでも OK、B だけでも OK」という**「隠れたシンプルな部分」**が見つかれば、たとえ一人が脱落しても、残った組み合わせは「 individually rational（個人にとって合理的）」であり、システムが崩壊しません。

📝 まとめ

この論文は、以下のようなことを言っています。

問題： 現実の市場には「組み合わせで価値が高まる（相乗効果）」という複雑な欲求があり、従来のルールでは「安定した組み合わせ」が見つからないことがある。
解決策： **「偽の代替性」**という新しいルールを提案した。これは「複雑な欲求の中に、実は『単純なルール』で動く『隠れた核』がある」ことを認めるルールだ。
結果： このルールさえ守っていれば、「2 人だけの抜け出しがない安定した状態」は必ず存在する。
限界： このルールより複雑な世界では、安定は保証されない。つまり、これが**「安定を保証できる限界の広さ」**だ。

一言で言えば：
「一見カオスに見える市場でも、その奥に『シンプルで整ったルール』が潜んでいれば、混乱せずにみんなが納得する組み合わせを作れるよ。そして、それが『作れる』限界の広さなんだ」という、マッチング市場の新しい地図を描いた論文です。

論文「Pseudo-Substitutability: A Maximal Domain for Pairwise Stability in Matching Markets with Contracts」の技術的概要

本論文は、契約を伴うマッチング市場（特に多対多マッチング）における**ペアワイズ安定性（Pairwise Stability）**の存在を保証する選好領域（ドメイン）を特定し、その最大性を証明することを目的としています。従来の「代替可能性（Substitutability）」の条件を緩和しつつ、安定配分の存在を維持する新たな選好概念「疑似代替性（Pseudo-Substitutability）」を提案し、これがそのような条件を満たす最大の領域であることを示しています。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細にまとめます。

1. 問題設定と背景

1.1 市場モデル

モデル: 医師（Doctors）と病院（Hospitals）が、複数の契約（Contracts）を同時に結ぶことができる契約を伴う多対多マッチング市場。
契約: 契約は当事者の特定と合意条件を指定する基本単位です。
制約: 各エージェントは、同じ相手との間に複数の契約を結ぶことはできません（単一性条件、Unitarity Condition）。ただし、異なる相手とは複数の契約を結ぶことができます。
安定性の概念:
- コア安定性（Corewise Stability）: 任意の連合によるブロックを排除する強い概念。
- ペアワイズ安定性（Pairwise Stability）: 医師と病院のペアによる単一の契約形成によるブロックのみを排除する概念。
- 焦点: 本論文では、分散型市場における現実的なデベネーション（逸脱）を捉えるため、ペアワイズ安定性に焦点を当てます。

1.2 既存研究の課題

従来の研究（Kelso & Crawford, 1982; Hatfield & Milgrom, 2005）では、**代替可能性（Substitutability）**がペアワイズ安定配分の存在を保証する十分条件として知られています。
代替可能性は、ある契約の受け入れ可能性が他の契約の有無に依存しないことを要求します。
しかし、現実の市場では契約間の相補性（Complementarities）（例：特定のスキルセットを持つ医師の組み合わせが必要など）が存在し、これは代替可能性を破綻させます。
代替可能性を緩和する既存の試み（Weak Substitutes, Bilateral Substitutability, Substitutable Completion など）は、コア安定性や特定のメカニズム（累積オファーアルゴリズム）に依存しており、あるいは契約構造に強く依存しているため、一般化されたペアワイズ安定性の存在を保証する「最大」の領域としては不十分でした。

2. 手法と主要概念

2.1 副選好（Sub-preference）の導入

本論文の核心は、**副選好（Sub-preference）**という概念の導入にあります。

定義: エージェント $a$ $a$ の選好 $P_a$ $P_{a}$ に対して、別の選好 $P'_a$ $P_{a}^{'}$ が副選好（ $P'_a \sqsubseteq P_a$ $P_{a}^{'} ⊑ P_{a}$ ）であるとは、以下の条件を満たすことを指します。
1. 個人合理性の保存: $P'_a$ においてある契約集合が選択される場合、元の選好 $P_a$ でもその集合が選択される（ $X'_a = C^{P'}_a(X') \implies X'_a = C^P_a(X')$ ）。
2. ブロック契約の保存: $P'_a$ においてある契約がブロック要因となる場合、元の選好 $P_a$ でも同様にブロック要因となる（ $x \in C^P_a(X' \cup \{x\}) \implies x \in C^{P'}_a(X' \cup \{x\})$ ）。
直観: 副選好は、元の選好の「より制限されたバージョン」であり、元の選好の構造を保持しつつ、受け入れ可能な契約集合の集合（Acceptable Sets）を縮小します。

2.2 疑似代替性（Pseudo-Substitutability）の定義

定義: エージェントの選好 $P_a$ が疑似代替的であるとは、その選好 $P_a$ が代替可能な副選好（Substitutable Sub-preference） $P'_a$ を少なくとも一つ持ち、かつその副選好が $P_a$ に対して最小（他の代替可能な副選好を含まない）であるときに定義されます。
特徴:
- 元の選好 $P_a$ 自体は代替可能性を満たさず、契約間の相補性を含んでいても構いません。
- しかし、その選好の内部に「代替可能な構造（核）」が存在し、それが最小の副選好として抽出可能であれば、その選好は疑似代替的とみなされます。

3. 主要な結果と定理

3.1 存在定理（Theorem 1）

主張: 市場の全エージェントの選好が疑似代替的である場合、ペアワイズ安定な配分は必ず存在する。
証明のロジック:
1. 各エージェントの選好 $P$ に対して、代替可能な副選好 $P'$ が存在する（定義より）。
2. 代替可能性の仮定の下では、安定配分の集合 $S(P')$ は空でない（既知の結果）。
3. 命題 1: $P' \sqsubseteq P$ ならば、 $S(P') \subseteq S(P)$ である（副選好の下での安定配分は、元の選好の下でも安定である）。
4. したがって、 $S(P') \neq \emptyset$ かつ $S(P') \subseteq S(P)$ より、 $S(P) \neq \emptyset$ となる。

3.2 最大性定理（Theorem 2 & Corollary 1）

主張: 疑似代替性の領域は、代替可能性の領域を含み、かつペアワイズ安定配分の存在を保証する領域の中で最大（Maximal）である。
意味:
- 仮に、あるエージェントの選好が疑似代替的でない場合、他のエージェントがすべて疑似代替的であっても、ペアワイズ安定な配分が存在しない市場を構成できる。
- つまり、疑似代替性を超える緩和条件を課すと、安定性の存在は保証されなくなる。
証明のアプローチ: 疑似代替的でない選好は、最小の副選好において必ず「相補的な契約のペア」を含んでいることを示し（補題 2）、そのような相補性を利用して安定配分が存在しない反例市場を構築する。

3.3 構造的特徴（Propositions 2 & 3）

最小性と一意性: 疑似代替的選好に対して、その代替可能な副選好は「最小」であり、かつすべての代替可能な副選好は同じ受け入れ可能な契約集合のコレクションを持ち、Blair の部分順序を保存する。
経路独立性の欠如: 疑似代替的選好自体は、一般に経路独立性（Path-independence）を満たさない（代替可能性の強い条件を緩和しているため）。しかし、その内部にある代替可能な副選好は経路独立性を満たす。

4. 既存研究との比較と位置づけ

本論文は、以下の既存の概念と比較されます（図 1-3 の関係参照）：

代替可能性（Substitutability）: 疑似代替性はこれを厳密に包含する（Strict Superdomain）。
弱い代替可能性（Weak Substitutes, Hatfield & Kojima 2008）: コア安定性に関するものであり、ペアワイズ安定性には不十分。
二側代替可能性（Bilateral Substitutability, Hatfield & Kojima 2010）: 医師間の比較を制限する条件。疑似代替性と包含関係はなく、独立した領域である。
代替可能完成（Substitutable Completion, Hatfield & Kominers 2019）: 選好を拡張して代替可能にするアプローチ。疑似代替性は拡張なしに元の選好空間内で定義される。
WOSAD (Weak Observable Substitutability Across Doctors): 累積オファーアルゴリズムの観測履歴に基づく条件。疑似代替性とは独立であり、互いに包含関係にない。

重要な相違点:

既存の多くの緩和条件は、契約の構造（同じ医師との契約数など）に依存するか、特定のメカニズム（累積オファー）に依存しています。
一方、疑似代替性は選好そのものの構造（副選好の存在）に基づいて定義されており、契約の形式に依存しません。
契約なしのマッチングモデルにおいても、疑似代替性は単なる代替可能性の厳密な拡張として機能しますが、他の緩和条件（WOSAD や二側代替性など）は契約構造を除去すると古典的な代替可能性に収束してしまいます。

5. 意義と貢献

理論的貢献:
- 契約を伴う多対多マッチング市場において、ペアワイズ安定配分の存在を保証する最大かつ必要十分な条件（最大領域）を特定しました。
- 「相補性」を完全に排除するのではなく、その内部に「代替可能な核」を持つという新しい視点を提供しました。
実用的・経済的意義:
- 非拘束的市場（Non-binding Markets）への適用: 医療市場のように、マッチング決定後にエージェントが一方的に契約を破棄できる環境において、疑似代替性はロバストな安定性を提供します。
- 代替可能な副選好から導かれる安定配分は、一部のエージェントが脱落しても、残りの配分が個人合理性を維持する性質を持ちます（例：病院が医師一人を失っても、他の医師との契約が維持される）。
- これは、コア安定配分では保証されない、現実の市場における「崩壊への耐性」を理論的に裏付けるものです。
方法論的革新:
- 選好の分解を「エージェントの分解」（仮想エージェント）ではなく、「選好の分解（副選好）」として行うことで、より直接的で構造的なアプローチを確立しました。

結論

本論文は、マッチング理論における「安定性の存在条件」に関する議論を一段階前進させました。従来の代替可能性の枠組みを、契約間の相補性を許容しつつも安定性を保証する**「疑似代替性」**という概念で拡張し、それが理論的に可能な最大の領域であることを証明しました。この結果は、複雑な相補性を持つ現実の市場（医療、大学入試、労働市場など）における安定配分の設計と分析に、より広範かつ堅牢な理論的基盤を提供します。