Existence and convergence of discrete-time Kyle models with multiple insiders

活気ある株式市場を、叫び声を上げるトレーダーたちの混沌とした海としてではなく、目に見えないカードでプレイされる、高額な賭けが絡む巨大なポーカーゲームとして想像してみてください。このゲームには、主に2種類のプレイヤーが存在します。単に楽しむため、あるいは現金が必要なためにランダムに売買を行う「ノイズトレーダー」と、誰よりも早く企業の真の価値を突き止めようとする鋭い探偵である「インフォームド・トレーダー（情報を持つトレーダー）」です。市場自体は、株価を設定する審判である「マーケットメイカー」によって運営されています。これらの審判は賢明です。彼らは単に価格を推測するのではなく、入ってくる注文の総量を見守ります。もし急激な買い注文の流入を見れば、「おや、誰かが何か良い情報を知っているに違いない」と考え、価格を上げます。売り注文の流入を見れば、価格を下げます。

金融数学者が数十年にわたって格闘してきた大きな問いは、「これらのお互いの存在を知っているスマートな探偵たちが、どのようにプレイするか？」という点です。もし探偵が一人だけなら、ゲームは単純です。しかし、もし5人、あるいは10人、あるいは100人の探偵がいて、それぞれがパズルのわずかに異なる断片を持っているとしたらどうでしょう？ 彼らは、自分の秘密をあまり早くに明かしすぎることなく、かつ他の探偵が何をしているかを推測しながら、どれだけ賭けるかを決めなければなりません。これは戦略的な繊細なダンスであり、目標は「ナッシュ均衡」――つまり、自分一人が戦略を変えただけでは、誰もスコアを向上させることができない完璧な状態――を見つけることです。長い間、数学者たちは単純なケースにおいてはこの完璧なダンスが存在することを証明できましたが、探偵たちが（鮮明な写真ではなく、ぼやけた写真を持っているような）「部分的な情報」しか持っていない場合、数学が非常に複雑になりすぎて、そのダンスが可能であることさえ証明できなくなっていました。

Jin Hyuk ChoiとKasper Larsenによるこの論文は、長年文献の中で停滞していた2つの大きな謎を解くために、ダンスフロアへと足を踏み入れます。第一に、彼らは、部分的な情報を持つ複数の探偵がいる場合でも、安定した完璧な戦略が実際に存在することを証明しました。彼らは、情報が曖昧でプレイヤーが競合している場合でも、システム全体が崩壊することなく、全員が最適にプレイするための数学的な方法があることを示しました。第二に、ゲームの速度を上げたときに何が起こるかを示しています。1日に一度行われるゲームを、1秒間に100万回行われるようにスピードアップさせると想像してください。著者たちは、取引の回数が無限に増えていくにつれ、過去の複雑なステップバイステップのゲームが、数学者が別の設定ですでに記述していた滑らかな連続的な流れへとスムーズに変化することを証明しました。彼らは単に推測したのではなく、「シューティング・テクニック（動く標的に向かって大砲の弾を撃ち込むような手法）」を用いて、ステップが完璧に整列していることを証明する厳密な数学的架け橋を築きました。

探偵ゲーム：部分的な秘密のパズルを解く

著者たちが語る物語に深く入り込んでみましょう。舞台は、$N$回の取引局面を持つ特定の市場です。Kyle (1985) によるこの物語の古典的なバージョンでは、すべてを知っている一人の探偵が存在していました。その後、Holden and Subrahmanyam (1992) がより多くの探偵を加えましたが、彼らは皆、全く同じ秘密を知っていました。私たちが議論している論文は、Foster and Viswanathan (1996) の研究に焦点を当てており、そこにひねりを加えています。すなわち、探偵たちはスマートですが、彼らは「部分的な情報」しか持っていないのです。彼らはそれぞれパズルのピースを見ていますが、全体像は見えていません。

Foster and Viswanathanのモデルにおける問題は、全員が完璧な戦略（均衡）が存在すると想定していた一方で、誰もそれを実際に証明できなかったことにありました。数学があまりにも複雑で、解きほぐすことが不可能に思える複雑な方程式の網を伴っていたからです。ChoiとLarsenはこの挑戦を引き受けました。彼らは、任意の数の探偵（少なくとも2人以上である限り）および任意の数の取引ラウンドに対して、全員が安定した均衡に達するために従うことができる一意のルールが確かに存在することを証明しました。

彼らはどのようにしてそれを行ったのでしょうか？ 彼らは混沌を簡略化しました。探偵たちが対称的である（つまり、全員が同様のレベルの情報と同様の目的を持っている）と仮定することで、問題は単一の一次元的な線へと縮小されました。これは、ブロックを積み上げることを考えてみてください。あらゆる方向にブロックがある場合、それは悪夢です。しかし、もし一つの柱に積み上げれば、高さを見るだけで済みます。著者たちは、差分方程式（階段のようにステップごとに機能する数学的公式）に対して「シューティング・テクニック」を用いました。彼らはゲームの終点から逆向きに作業を進め、自分たちがまさに到達すべき場所に正確に着地するための完璧な開始点を見つけるまで、狙いを調整していきました。これにより、離散的なゲームの「階段」が崩壊することなく、確固たる一意の経路を持っていることが証明されました。

階段から滑らかなスライドへ

論文の第二部は、階段のステップを無限に小さくしたときに何が起こるかについてです。現実の世界では、私たちは時間を滑らかな流れとして捉えることが多いですが、コンピュータモデルや特定の取引スケジュールでは、時間は（秒やミリ秒のように）小さな塊に切り分けられています。著者たちは問いかけました。「もし時間をどんどん小さな断片に刻んでいった場合、私たちのステップバイステップのモデルは、Back, Cao, and Willard (2000) がすでに存在を証明していた連続的なモデルへと変化するのだろうか？」

答えは、明白な「イエス」です。取引回数（$N$）が無限大に向かうにつれ、Foster and Viswanathanモデルの離散的なステップは、連続モデルの滑らかな曲線へと点ごとに収束します。これは、低解像度のビデオがピクセルを徐々に増やして高精細な映画のように見えるようになる様子に似ています。離散的なステップのギザギザしたエッジは、連続的な流れに完璧に一致するように滑らかになります。

これは、著者たちが述べているように、この種のモデルにおいてこのような滑らかな移行が必ずしも起こるとは限らないため、非常に重要なことです。時には、離散モデルを高速化すると、全く異なるものに変わったり、完全に崩壊したりすることがあります。しかしここでは、数学が成立しています。離散的な均衡係数（探偵たちがどれだけ取引するかを決定するために使用する特定の数値）は、ステップが小さくなるにつれて、連続的な係数へと変化します。

ゲームのルール

これを成立させるために、著者たちは特定のルールに従う必要がありました。「探偵たち（インフォームド・トレーダー）」は、情報の重なり方において一定の関係を持っている必要があります。もし彼らが互いの秘密について知りすぎている、あるいは知りなさすぎると、数学が破綻します。論文では、この重なり（共分散 $\rho$）に関する正確な範囲を、情報の分散（$\sigma^2_{\tilde{a}}$）に対して指定しています。この条件が満たされている限り、均衡は存在します。

彼らはまた、マーケットメイカーがどのように反応するかについても明確に定義しました。マーケットメイカーは、総オーダーフローに基づいて価格を設定します。総フローが増えれば、価格は上がります。著者たちは、これらのオーダーに対する価格の「感度」（$\lambda$ と呼ばれる数値）と、トレーダーの「攻撃性」（$\beta$ という数値）がランダムではなく、特定の再帰的な公式によって決定されることを示しました。この公式は、ステップ $n+1$ で何が起きたかに基づいて、ステップ $n$ でどのように戦略を調整すべきかを正確に教えてくれます。

なぜこれが重要なのか

なぜ好奇心旺盛なティーンエイジャーがこれに関心を持つ必要があるのでしょうか？ それは、不確実性の世界、つまり誰もが秘密を隠し、互いに出し抜こうとしている世界においても、秩序が存在することを示しているからです。市場は単なる混沌とした混乱ではありません。それは深い数学的法則に従っています。著者たちは単に「おそらく機能するだろう」と言ったのではありません。彼らは証明を構築しました。彼らは、現実世界の複雑なステップバイステップのゲーム（あるいは少なくとも、それをシミュレートするために使用される離散モデル）が、連続時間の滑らかで優雅な理論にしっかりと根ざしていることを示したのです。

彼らはまた、状況が乱れた場合に何が起こるかも明らかにしました。情報の構造があまりに非対称である場合（例えば、一人の探偵が超秘密を持っており、もう一人がほとんど何も持っていない場合）、数学ははるかに困難になり、解を持たない可能性があることを指摘しました。しかし、対称的なケースについては、解決策は確かなものです。

結局のところ、この論文は架け橋です。それは、離散的な取引の乱雑でステップごとの現実と、滑らかで理想化された連続時間の世界とを結びつけています。それは、ダンサーたちが楽譜の半分しか持っていない場合であっても、市場の「完璧なダンス」が存在することを証明しています。そして、長年の推測を証明された事実へと変えるほどの数学的な確実性をもって、それを成し遂げているのです。