定数個の乱数で検証する討論の強い誤りを任意に減らす
Constant-Coin Complete-Information Debates for $\mathsf{P}$ with Arbitrarily Small Strong Error
この論文をやさしく読む
ひとことで言うと
証明する側と反論する側のやり取りを、ごく少ない記憶と乱数で検証する理論です。いつまでも終わらない場合も失敗に含めて、誤りを小さくできることを示します。
何に役立つ？
討論形式の計算モデルで、検証器に必要な空間と乱数の能力を理解するための理論的結果です。実際の言語モデル討論の性能評価ではありません。
この研究の面白いところ
誤った報告が出たラウンドを反証者が譲る戦略が、逆に停止を保証する仕組みになります。その上で反復による誤り削減を成立させています。
どこまで分かった？
対象はPに属する言語と定義された完全情報討論モデルです。定数個というのは入力長に対する表現で、任意の精度εについて同じ回数でよいと読むものではありません。停止保証は指定された反証戦略に依存します。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
確率的な有限状態の検証器が、証明者と反証者の交互のメッセージを読む、完全情報の討論システムを研究する。Demirci、Say、Yakaryılmazは、Pに属するすべての言語が、定数個のランダムビットで検査でき、弱い誤りを任意に小さくできる、このような討論を持つことを示した。しかし、停止しない場合も失敗として数える強い誤りについての構成では、誤りを任意に減らすことができなかった。 本研究はこの隔たりを解消する。任意のL∈Pと任意のε＞0について、定数空間で動作し、定数回の非公開のコイントスを使い、完全な完全性とε以下の強い誤りを持つ検証器が存在する。検証器は、多項式時間の交替多ヘッド有限オートマトンをシミュレートし、その入力ヘッドの一つを非公開で抜き取り検査する。鍵となる観察は、言語に属さない入力では、証明者が初めてヘッドの読み取りを誤って報告したラウンドを、反証者が譲ってよいという点である。これにより、反証者が指定の戦略に従うと、どの証明者に対しても停止が保証され、反復による強い誤りの削減が可能になる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We study complete-information debate systems in which a probabilistic finite-state verifier reads the alternating messages of a prover and a refuter. Demirci, Say, and Yakary{\i}lmaz showed that every language in $\mathsf{P}$ has such debates checkable with a constant number of random bits and arbitrarily small weak error. Their strong-error construction, which also counts nontermination as failure, did not permit arbitrary error reduction. We close this gap: for every $L\in\mathsf{P}$ and every $\varepsilon>0$, there is a constant-space verifier using a constant number of private coin tosses that has perfect completeness and strong error at most $\varepsilon$. The verifier simulates a polynomial-time alternating multihead finite automaton, privately spot-checking one of its input heads. The key observation is that, on a nonmember, the refuter may concede any round in which the prover first misreports a head reading. This ensures termination against every prover when the refuter follows the specified strategy, and permits strong-error reduction by repetition.
著者のコメント
11 pages
arXiv ID: 2609.24272 ／ 要約の誤りについて