技術的概要：受信者の選好に対する説得の頑健性

1. 問題提起

本論文は、受信者の選好に関する不確実性に対するベイジアン・パースウェーション（Kamenica and Gentzkow [15]）の頑健性を調査する。標準的なベイジアン・パースウェーションは、送信者と受信者が受信者の効用関数に関する共通知識を有することを仮定している。しかし、実際には、送信者（およびモデル化者）はこれらの選好について不正確な知識しか持たない可能性がある。

著者らは、概念的に区別される 2 つの頑健性の概念を区別する：

1. 連続性（Continuity）： モデル化者は受信者の選好に関する正確な知識を欠いている（無限小の、非確率的/ナイト的不確実性としてモデル化される）が、送信者は完全な知識を有している。モデルが連続的であるとは、モデル化者の予測（「真の」基準モデルに基づく）がこの無知にもかかわらず正確に留まることを意味する。
2. 頑健性（Robustness）： 送信者もまた受信者の選好に関する正確な知識を欠いている。送信者は、受信者のタイプが正確には不明であるが、小さな区間内に存在することのみを知って、シグナル政策を選択しなければならない。送信者は、最大最小効用（最悪ケースの期待効用の最大化）または後悔最小化（最悪ケースの後悔の最小化）に従って行動すると仮定される。モデルが頑健であるとは、この無知下での帰結が、すべての情報が共通知識である場合の基準帰結に近いことを意味する。

中心的な問いは、受信者の選好が小さく非確率的な不確実性にさらされる場合、送信者の最大効用がその間接効用関数の凹化（concavification）に等しいという標準的な結果が成り立つかどうかである。

2. 手法

モデル設定

著者らは、標準的なベイジアン・パースウェーションモデル $G = \{\Omega, A, \mu_0, u, v\}$ を$\delta$-BP モデルに拡張する。

• 状態空間： $\Omega$（有限）、事前分布 $\mu_0$。
• 行動： $A$（有限）。
• 不確実性： 任意の行動 $a$ と状態 $\omega$ に対する受信者の効用 $u_\theta(a, \omega)$ は未知であるが、長さ $\delta$ の区間 $[u_{a,\omega}, \bar{u}_{a,\omega}]$ 内に存在する。可能な受信者タイプの集合 $\Theta$ は、これらの区間内のすべての可能な効用プロファイルに対応する。
• 無知下での送信者の行動：
  • 最大最小（Max-min）： 送信者は $\min_{\theta \in \Theta} E v_\theta(\pi')$ を最大化するように $\pi'$ を選択する。
  • 後悔最小化（Regret-minimization）： 送信者は $\max_{\theta \in \Theta} [E v_\theta(\text{opt}(\theta)) - E v_\theta(\pi)]$ を最小化するように $\pi^*$ を選択する。

技術的ツール

• 最適反応領域の幾何学的分析： 著者らは、受信者の最適反応対応 $B_\theta(a) = \{\mu : a \in \text{opt}_A^\theta(\mu)\}$ の安定性を分析する。彼らは、効用パラメータの小さな摂動に対する外半連続性（集合が不連続に拡大しないこと）および内半連続性（集合が不連続に縮小しないこと）の性質を利用する。
• 調整シグナル政策： 技術的な装置（Kamenica and Gentzkow [15] および Lipnowski et al. [19] に着想を得た）が用いられる。ある政策が基準タイプ $\theta_0$ に対して最適である場合、著者らは近傍のタイプ $\theta$ に対して「摂動された」政策を構築する。これは、事後信念を調整し、事前分布の制約を維持するために重み付けされた信念を追加することによって行われる。これにより、タイプ不一致に起因する効用損失を評価できる。
• 辞書式摂動： 受信者が複数の行動間で無差別である場合（重複行動）に対処するため、著者らは特定の同点打破ルール（例えば、無差別な選択肢の中で送信者が最も好まない行動を強制的に選ばせるなど）を課す「疑似タイプ」を構築し、必要性を実証する。

3. 主要な貢献と結果

3.1 連続性と頑健性の同等性

定理 1 は、根本的な同等性を確立する：

• ベイジアン・パースウェーションモデルが連続的であることは、（最大最小および後悔最小化の両方の基準のもとで）頑健であることと同値である。
• これは、モデル化者が小さな無知（連続性の欠如）のために結果を正確に予測できない場合、同じ無知のもとで行動する送信者もまた基準結果を達成することに失敗する（頑健性の欠如）ことを意味する。

3.2 頑健性の特性化

本論文は、基準タイプ $\theta_0$ における受信者の最適反応領域の幾何学に基づき、連続性と頑健性のための必要十分条件を提供する。

• 十分条件（命題 1）： ある最適シグナル政策が存在し、そのサポート内のすべての事後信念 $\mu_i$ に対して、誘発される行動 $a_i$ が以下の条件を満たす場合、モデルは頑健である：
  1. 性質 U1： 行動は受信者にとって「重複」ではない（すなわち、すべての $\omega$ に対して $u_{\theta_0}(a, \omega) = u_{\theta_0}(b, \omega)$ となる他の行動 $b$ が存在しない）、または重複が存在する場合、送信者はその信念においてそれらの間で無差別である（$U^S_1$）。
  2. 性質 U2： 最適反応領域 $B_{\theta_0}(a_i)$ は完全次元（$N-1$）を持つ。
• 必要条件（命題 2）： これらの条件がすべての最適政策に対して満たされない場合、モデルは連続的でも頑健でもない。具体的には、送信者の効用は $\delta \to 0$ において、ゼロから離れた一定量だけ低下する。

失敗のメカニズム：

• U2 の違反（低次元領域）： 最適政策が、受信者が行動間で無差別であり、それによって低次元の最適反応集合（例えば単一点）を生み出す信念に依存している場合、小さな摂動は、その行動が受信者の最適反応から完全に消滅させる可能性がある。
• U1 の違反（重複行動）： 受信者が重複行動（それらの間で無差別）を持ち、送信者が一方を厳密に好む場合、小さな摂動は送信者に不利な方向で同点を破る可能性がある。送信者は正確な同点打破ルールを知ることなく、好ましい行動を確実に誘発することはできない。

3.3 一般性

定理 2 は、連続性と頑健性が一般的に成り立つと述べる。

• 効用値を $[0, 1]$ から一様に引き出された確率変数とみなすと、頑健性の条件を満たすモデルの集合は測度 1 を持つ。
• この結果は、「すべての受信者最適行動が、ある信念において一意に最適である」という条件（Lipnowski et al. [19]）が一般的であるという事実に依存しており、これは最適政策によって誘発される行動に対する U1 と U2 の満足度を意味する。

4. 意義と主張

本論文は、ベイジアン・パースウェーションの特定の「ナイフエッジ」な事例は受信者の選好に関する不確実性に対して脆弱であるが、典型的な事例は頑健であると主張する。

• 理論的含意： 標準的な凹化結果は、モデルが構造的に退化していない（すなわち、低次元の無差別集合や、重複における送信者優先の同点打破に依存していない）限り、選好に関する強い共通知識の仮定の産物ではない。
• 方法論的貢献： この研究は、情報設計における「連続性」（モデル化者の視点）と「頑健性」（送信者の戦略的視点）の間のギャップを埋め、無限小のナイト的不確実性のもとでこれらが同等であることを示す。
• 行動仮定： 無知な送信者が最大最小戦略を採用するか後悔最小化戦略を採用するかにかかわらず、結果は成立し、説得の文脈においてこれら 2 つの意思決定理論的アプローチを統合する。

著者らは明示的に、彼らの結果は有限のメッセージ空間を持つモデルに適用され、大きなメッセージ空間にも拡張可能であること（付録 A）を指摘している。彼らはすべての説得モデルが頑健であると主張するのではなく、むしろ非頑健なモデルの集合は効用プロファイルの空間において測度ゼロの集合であると主張している。