本稿は、既存の文献で研究されている確率的分布保持設定ではなく、貪欲デコーディング、緩和された受容ルール、または木ベースの候補セットを使用する投機的デコーディングレジームのための理論を展開する。著者らは、拒否領域をターゲット分布の下部レベル集合として特徴づけ、様々な受容基準に対する正確なKL発散要件と鋭いマージンベースの境界を導出する。

  • 厳格な貪欲デコーディング、加法的および乗法的緩和受容、top-(m) 緩和基準、エントロピー閾値付き受容に対する正確な証明書とマージンベースの境界を特徴づける。
  • ターゲットの貪欲トークンがドラフターの top-(m) 候補によってカバーされ続ける場合の正確な証明書およびマージンのみの証明書を導出するために、このフレームワークを貪欲木デコーディングに拡張する。
  • Qwen3 モデル上でこれらの証明書を評価し、緩和された基準と木ベースの基準が特にターゲットモデル分布のマージンが低いステップにおいて、認証された受容領域を大幅に拡大することを示す。

これらの結果は、実用的な推論システムで一般的な決定論的局所受容事象を特徴づけることで、既存の分布保持解析を補完する。