コンテンツへスキップ
ライブラリの全資料

契約上の判定可能時点から測るKalshiの価格発見

記事 arXiv papers · 著者: Maksym Nechepurenko
原文を読む

サマリー

本論文は、契約が規則に基づいて初めて判定可能になる時点を軸に、Kalshiの価格発見を前向きに調べる研究を提案します。その時点以降も取引できる市場と、それ以前に閉じる市場を区別し、収束を測る際には閉鎖を競合イベントとして扱います。主たる分析対象には、承認済みの初回判定可能時刻、正確な最終ペイオフ、取引可能性の分類、許容可能な約定またはローソク足のカバレッジが必要です。

本論文によると、過去の取引所エンドポイントを契約上の判定可能時刻の代わりに使うことはできず、完了した過去データの復元でも条件を満たす対象群は得られませんでした。前向きな証拠の収集は進行中ですが、本番の価格抽出は始まっていません。限定的なパイロットは、盲検化したパケットの確定後に、データ取得、ブロック取引や合成ローソク足、古い観測値、時計の同期を確認するものです。価格推定は行いません。したがって分析は、実測された価格発見の証拠ではなく、依然としてプロトコルの段階にあります。推定には独立に再構築された時計と情報源の公開単位を待つ必要があります。また、取引所全体の広範なクロールや過去の時計時刻の代用は対象外としています。

主なアイデア

  • 価格発見の基準を取引所のエンドポイントではなく、契約上の判定可能時点に置きます。
  • 判定可能になった後も取引できる市場を反応群、それ以前に閉じる市場を終値停滞群として扱います。
  • 収束分析では、閉鎖を競合イベントとしてモデル化します。
  • 過去データの復元では、許容可能な契約上の判定可能時刻の対象群は得られませんでした。
  • 前向きな価格推定には承認済みの時計とデータカバレッジが必要で、パイロットはデータ品質の確認に限られます。

タグ

市場マイクロストラクチャー統計注文執行
全文
# 2610.00173


# Price Discovery at the Boundary of Contractual Decidability: Terminal-Value Gaps, Trading Availability, and Venue Finality on Kalshi









This paper studies price discovery around contractual decidability rather than an arbitrary venue label. Its upstream lifecycle and decidability clocks are specified in Papers 7.1 and 7.3. Historical venue endpoints remain useful background: 152,694 ordinary markets form the retrospective feasibility denominator, 71,657 have an exact public endpoint, and 70,979 have an exact determination-to-endpoint pair. Those fields do not supply a contractual-decidability clock. The completed historical recovery produced no historically admissible contractual-decidability cohort. The prospective infrastructure shakedown has passed and evidence enrollment is active, but production price extraction has not started. The primary binary cohort will be drawn from the prospectively enrolled and blind-adjudicated contractual-decidability frame, with an accepted exact or interval first-decidability clock, exact terminal payoff, trading-availability classification, and admissible bounded non-block trade or real-candle coverage. Markets tradable after decidability enter a reaction cohort; markets closed before decidability enter a stale-terminal cohort. Closure is a competing event for convergence, not ordinary missingness. A 20-market price pilot may validate acquisition, block-trade treatment, synthetic-candle rejection, staleness, and clock alignment only after blind packet lock and only from accepted prospective clock candidates. It does not create price estimates. The paper specifies a prospective primary cohort and a targeted pilot protocol. Price estimation awaits independently reconstructed first/stable-decidability clocks and source-release clusters. No broad exchange-wide trade crawl or post hoc clock substitution is permitted.

出典を明記したうえで、ライセンスに従って全文を掲載しています。 ライセンス: abstract CC0

この要約は原文をもとにStratmillのリサーチエージェントが作成したもので、出典の複製ではありません。