論文「No Trade Under Verifiable Information」の技術的サマリー

Spyros Galanis による本論文は、非対称情報下での取引（トレード）がなぜ発生しないか（No Trade）を分析する既存の文献に新たな視点を提供するものです。従来の研究が「共通事前分布（common prior）」や「共通知識（common knowledge）」の仮定緩和、あるいは限定合理性や曖昧さ回避に焦点を当ててきたのに対し、本論文はエージェントの私的情報が証券の真の価値を「検証（verify）」する条件に注目し、取引が存在しないための必要十分条件を導き出しています。

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

1. 問題設定と背景

金融市場において、非対称情報があるにもかかわらず、なぜ高頻度の取引が観察されるのかは直感的には理解しにくい現象です。Aumann (1976) や Milgrom and Stokey (1982) などの古典的な「No Trade 定理」は、共通事前分布や共通知識の仮定の下では、合理的なエージェント間での相互利益のある取引は成立しないことを示しました。

しかし、現実の市場（インサイダー取引、流動性の枯渇、ブロックチェーン上の取引など）では、情報の「検証可能性」が取引の可否にどう影響するかは未解明な部分がありました。

• インサイダー取引: 内部者が真の価値を知っている場合、取引は成立しないはずですが、閾値（threshold）以上の情報しか持たない場合はどうなるか？
• 流動性: 市場参加者が「困窮資産」の価値を知っていることが共通知識化した場合、流動性が枯渇するメカニズムは何か？
• ブロックチェーンとオラクル: 現実世界のデータを検証するオラクルが取引に参加できる場合、情報の検証可能性が市場の機能にどう影響するか？

本論文は、これらの文脈を踏まえ、**「証券の価値が私的情報によってどの程度検証可能か」**という条件が、共通知識としての取引（common knowledge trade）を排除するかどうかを分析します。

2. 手法とモデル

論文は、有限の状態空間 $\Omega$ と有限のエージェント集合 $I$ を持つモデルを構築しています。エージェントは異なる事前分布（prior）を持ち、非対称情報（分割 $\Pi_i$）を保有します。

3 つの取引環境

分析は以下の 3 つの環境で行われます。

1. 静的環境 (Static): Aumann (1976) の枠組み。ある状態 $\omega$ において、エージェントの期待値が共通知識でありながら異なっている場合（「同意できない（agreeing to disagree）」）を「共通知識取引」と定義します。
2. 動的環境 (Dynamic - 無限期間): Geanakoplos and Polemarchakis (1982) の枠組み。エージェントが順次、証券の期待値を宣言し、他者がそれを基に信念を更新するプロセスを分析します。「永遠に意見が一致しない（disagree forever）」かどうかを調べます。
3. 動的環境 (Dynamic - 市場スコアリングルール): Ostrovsky (2012) の枠組み。予測市場（Prediction Markets）のように、マイopic（近視眼的）なエージェントがスコアリングルールに基づいて予測を更新し、価格が真の価値に収束するか（情報集約）を分析します。

情報の検証可能性の定義

本論文の核心は、私的情報の「検証可能性」に関する 4 つの定義にあります。

1. Verifiable (検証可能): 各状態において、少なくとも一人のエージェントが証券の真の価値を知っている。
2. Maxmin Verifiable (最大最小検証可能): 共通知識として可能な値の範囲の中で、最大値または最小値が少なくとも一人のエージェントによって知られている。
3. Threshold Verifiable (閾値検証可能): 共通知識として可能な値の範囲が一定でない場合、ある閾値 $x$ と、その閾値を境に証券の価値が「厳密に上か下か」を知っているエージェントが存在する（特定の状態で）。
4. Collectively Verifiable (集合的検証可能): 全エージェントの情報を結合することで真の価値が検証される（個々ではわからない）。

3. 主要な結果と定理

定理 1: 静的環境における取引の不存在

定理: 証券 $X$ が状態 $\omega$ において閾値検証可能（threshold verifiable）であることと、その状態において共通知識取引が存在しないことは、任意の事前分布に対して必要十分条件です。

• 意義: 従来の「共通事前分布」の仮定なしに、情報の構造（閾値検証可能性）だけで取引の不存在を説明できます。
• Maxmin 検証可能性: これは閾値検証可能性よりも強い条件であるため、これも取引を排除しますが、必要十分条件ではありません。
• 集合的検証可能性: これは取引を排除するほど強くないことが反例（Example 1）で示されています。集合的に価値がわかっても、個々の期待値が異なり、取引が発生する可能性があります。

動的環境における結果

• 意見の不一致の永続性: 静的な時点 $t=0$ で閾値検証可能であっても、動的プロセス（情報の更新）を経て $t+1$ になった時点でその性質が失われる可能性があります（Example 2）。したがって、動的な「永遠の不一致」を排除するには、情報の更新が停止する時点 $t^*$ において閾値検証可能である必要があります（Corollary 1）。
• 情報集約: 予測市場の枠組みにおいて、$t^*$ 時点で閾値検証可能であれば、価格は真の価値に収束し、情報が集約されます（Corollary 2）。これは、従来の「分離可能証券（separable securities）」という制限なしに成り立ちます。

複数証券への拡張

複数の証券 $\{X_i\}$ が取引される場合（$\sum X_i = 0$）でも、同様の結果が得られます（Proposition 1）。取引可能な証券の集合が閾値検証可能であれば、共通知識取引は発生しません。

4. 主要な貢献

1. 情報の検証可能性に基づく No Trade 定理の定式化:
   従来の研究が「事前分布」や「合理性の限界」に焦点を当てていたのに対し、本論文は「情報の構造（特に閾値検証可能性）」に焦点を当て、取引が存在しないための新しい必要十分条件を提示しました。
2. 閾値検証可能性の重要性の解明:
   「真の価値を完全に知っている（Verifiable）」という強い条件ではなく、「閾値を境に価値が上か下かを知っている（Threshold Verifiable）」という条件でも、共通知識取引は排除されることを示しました。これは、現実のインサイダー取引規制や市場設計において、より現実的な条件を提供します。
3. 動的プロセスにおける条件の再評価:
   静的な時点での検証可能性が、情報の更新プロセスを通じて維持されるとは限らないことを示し、動的な均衡（意見の一致や価格収束）を保証するには、最終的な状態 $t^*$ での検証可能性が必要であることを明らかにしました。
4. ブロックチェーン・オラクルへの応用:
   ブロックチェーン上のオラクルが「真の価値を検証する」役割を果たす際、その情報の性質が市場の流動性や取引の成立にどう影響するかを理論的に裏付けました。

5. 意義と応用

本論文の結果は、以下の分野に重要な示唆を与えます。

• インサイダー取引規制:
  内部者が「真の価値」を完全に知っている場合、取引は成立せず市場は機能不全に陥ります。しかし、内部者が「閾値以上か以下か」しか知らない場合、取引は成立する可能性があります。規制当局は、内部者の情報精度がどのレベルであれば市場参加を許容できるかを、この閾値検証可能性の概念を用いて判断できます。
• 市場流動性と危機管理:
  LTCM の事例のように、市場参加者が「困窮資産」の価値を知っていることが共通知識化すると、流動性が枯渇するメカニズムを説明します。情報の検証可能性が高すぎると取引が止まり、逆に低すぎると非効率な取引が生まれるというトレードオフを理解できます。
• ブロックチェーンと DeFi（分散型金融）:
  スマートコントラクトの実行にはオラクルによる現実世界のデータ検証が必要です。オラクル自体が市場参加者となり得る場合、その情報の検証可能性（閾値を知っているか）が、ブロックチェーン市場の流動性や価格発見機能を決定づけます。オラクルの設計において、情報の検証レベルをどう制御すべきかの理論的基盤となります。

結論

Spyros Galanis の論文は、情報の「検証可能性」の度合い（特に閾値検証可能性）が、非対称情報下での取引の成立可否を決定づける重要な要因であることを示しました。これは、共通事前分布の仮定を必要とせず、より現実的な市場環境（動的な情報更新、異なる信念、ブロックチェーン技術）を分析するための強力な理論的枠組みを提供しています。