予測市場アービトラージ：Polymarket対Kalshiのバックテスト

見かけ上のスプレッドと執行可能なアービトラージ

価格を比較する前に決済ルールを一致させる

スプレッドを計算する前に、契約マッピングレコードを作成します。各会場のイベント、市場、結果識別子、正確な市場文言、終了時刻と決定時刻、決済ソース、キャンセル処理、ペイアウト単位を保持します。選挙、金利決定、暗号資産の閾値といった共通の主題だけでは、二つの契約が交換可能とは言えません。

すべてのペアを「完全一致」、「条件付き」、「却下」に分類します。「完全一致」はペイオフ状態と決済経路が証明可能なほど同等であることを意味します。「条件付き」は文書化されたエッジケースが等価性を破る可能性があり、モデル化が必要なことを意味します。「却下」されたペアはバックテストから除外します。このマッピングの人間によるレビューはリサーチプロセスの一部であり、任意のクリーンアップ手順ではありません。

会場の証拠を消さずに板を正規化する

両会場を明示的な結果、サイド、価格、サイズの配列に正規化しつつ、ネイティブの識別子と生のフィールドを保持します。会場の表現を記録した後にのみ、価格を一つのペイアウト基準に変換します。Kalshiについては、ネイティブのYes/Noオーダーブックレスポンスとその逆数関係を検査します。Polymarketについては、正しい結果トークンをそのCLOB板にマッピングします。

シミュレートされた購入にはアスクラダーを、シミュレートされた売却にはビッドラダーを使用します。仲値、最終取引価格、補完表示価格を執行可能な気配として扱わないでください。クロスベニュー比較では、各レッグの正確な観測板タイムスタンプと staleness を報告する必要があります。

単一の基準決定時計を使用する

決定タイムスタンプを選択し、その時刻以前の各会場で最新の有効な板のみを選択します。両方の観測に最大経過時間閾値を個別に適用します。どちらかの板が欠落しているか古い場合、その機会は利用不可能です。ギャップを前方補完すると証拠を捏造することになります。

保守的なリプレイでは、決定時刻に両方の入力板を固定し、最初のシミュレートされたレッグを送信し、明示的なレイテンシまたはレッグ遅延の仮定を適用し、次に利用可能な次の観測を使用して二番目のレッグを再価格付けする必要があります。同時板シナリオは有用な上限となり得ますが、唯一の執行結果としてラベル付けすべきではありません。

意図したサイズで両方のラダーを歩く

各レッグについて、目標サイズが満たされるか深度が枯渇するまで表示レベルを消費します。深度加重平均価格、約定可能数量、最悪の消費レベルを記録します。実行可能な取引サイズは、より大きな表面的なギャップを示す会場ではなく、弱い方のレッグによって制限されます。

複数のステークサイズを実行します。見かけ上のエッジは10枚の契約では存続しても、千枚では消えるかもしれません。ユニットあたりのグロスエッジとトータルネットエッジの両方を報告し、わずかなトップオブブックの気配が機会ランキングを支配しないようにします。

手数料、資本、決済タイミングをモデル化する

会場手数料、入出金コスト、関連する場合はネットワークコスト、通貨換算、資金調達時間を別個の入力として保持します。ライブの意思決定には現在の公式会場スケジュールを使用します。過去の研究では、記録が利用可能な場合、テストウィンドウ中に適用されていたスケジュールを使用する必要があります。

資本は両方の市場が決定し決済されるまでロックされる可能性があります。ペイアウトから購入価格を差し引いたものだけでなく、投下資本利益率とエクスポージャー期間を報告します。名目上のプラスのエッジも、摩擦、決済遅延、両会場への資金事前配置コストを考慮すると魅力がなくなる可能性があります。

レッグリスクを第一級の結果として扱う

クロスベニュー注文はアトミックではありません。最初のレッグが約定する間に、二番目が動いたり、リジェクトされたり、部分的に約定したり、古くなったりする可能性があります。少なくとも即時完了ケース、遅延二番目レッグケース、放棄またはヘッジルールをテストします。失敗したペアを隠すのではなく、ヘッジされていないエクスポージャーと最悪の観測完了コストを記録します。

現実的な実装では、会場の可用性チェック、最大気配経過時間、最小残存エッジ、市場ごとのサイズ制限、キル条件も定義します。これらの制御はホールドアウト期間の前に固定し、バックテストが既知の結果に合わせて自己最適化しないようにする必要があります。

再現可能なバックテストプロトコル

• 手動でレビューされた契約等価性テーブルを作成し、バージョン管理します。
• リターンを検査する前に、適格な市場ユニバース、日付範囲、決定周期を定義します。
• 各決定タイムスタンプ時点またはそれ以前に観測されたオーダーブックのみを使用します。
• 古いまたは欠落しているレッグを取引に前方補完するのではなく、拒否します。
• 両方のラダーを歩き、弱い方のレッグでサイズを制限し、部分約定の証拠を保持します。
• 会場固有の手数料、資金調達制約、決済期間を適用します。
• 二番目のレッグに遅延、価格変動、リジェクション、部分約定でストレスをかけます。
• 開発期間とホールドアウト期間を分離し、凍結されたルールを仮想資本でフォワードテストします。
• 機会、除外、シミュレート約定の台帳を集計パフォーマンスと共に公開します。

最小限の機会計算

以下の計算は、契約マッチングと基準日板選択の後の最終ステップに過ぎません。各コストは、同じ数量に対する深度加重実行可能コストでなければなりません。バッファは、すべての明示的手数料と、遅延およびモデルの不確実性に対する研究者の要求マージンを表します。

結果を無効にする失敗モード