[論文レビュー] Characterization and Computation of Normal-Form Proper Equilibria in Extensive-Form Games via the Sequence-Form Representation

Yuqing Hou, Yiyin Cao+1 more|arXiv (Cornell University)|Feb 11, 2026

Game Theory and Applications被引用数 0

ひとこと要約

論文は、 extensive-form games における正規形式の適切な均衡のためのコンパクトな系列形式フレームワークを開発し、ε-置換多面体表現を含む摂動付き表現を導入し、これらの均衡を計算する二つの微分可能なパスフォロー法と収束保証を提示する。

ABSTRACT

Normal-form proper equilibrium, introduced by Myerson as a refinement of normal-form perfect equilibrium, occupies a distinctive position in the equilibrium analysis of extensive-form games because its more stringent perturbation structure entails the sequential rationality. However, the size of the normal-form representation grows exponentially with the number of parallel information sets, making the direct determination of normal-form proper equilibria intractable. To address this challenge, we develop a compact sequence-form proper equilibrium by redefining the expected payoffs over sequences, and we prove that it coincides with the normal-form proper equilibrium via strategic equivalence. To facilitate computation, we further introduce an alternative representation by defining a class of perturbed games based on an $\varepsilon$-permutahedron over sequences. Building on this representation, we introduce two differentiable path-following methods for computing normal-form proper equilibria. These methods rely on artificial sequence-form games whose expected payoff functions incorporate logarithmic or entropy regularization through an auxiliary variable. We prove the existence of a smooth equilibrium path induced by each artificial game, starting from an arbitrary positive realization plan and converging to a normal-form proper equilibrium of the original game as the auxiliary variable approaches zero. Finally, our experimental results demonstrate the effectiveness and efficiency of the proposed methods.

研究の動機と目的

• Perfect recall を持つ有限の extensive-form games における正規形式適切均衡の研究動機づけ。
• 戦略的等価性を介して正規形式適切均衡と同値であるコンパクトな系列形式の特徴付けを提供。
• ε- permutahedron を用いた摂動付き系列形式の定式化により適切均衡を特徴づけ。
• 対数正則化/エントロピー正規化を活用して均衡を計算する、二つの微分可能なパスフォロー法を開発。
• 実験を通じて有効性と効率を示す。

提案手法

• 系列上の期待利得を再定義してコンパクトな系列形式の適切均衡を得、これを正規形式適切均衡と同値であると証明。
• 系列上にε- permutahedron を導入して適切均衡の構造を捉える摂動ゲームを定式化。
• 補助変数を用いて対数正規化またはエントロピー正規化を強化した報酬関数を持つ人工的な系列形式ゲームを構築。
• 補助変数 → 0 のとき、任意の正の実現計画から滑らかな均衡経路を生成する二つの微分可能なパスフォロー法を導出。
• 各人工ゲームに対して滑らかな経路の存在を確立し、元のゲームの正規形式適切均衡へ収束。

実験結果

リサーチクエスチョン

• RQ1 序列形式の表現は extensive-form games における正規形式適切均衡を特徴づけられるか？
• RQ2 系列形式の適切均衡は戦略的等価性により正規形式適切均衡と一致するか？
• RQ3 摂動付き系列形式ゲーム（ε-permutahedron）は適切均衡の全体像を捉えられるか？
• RQ4 この枠組みで、収束保証を伴う微分可能なパスフォロー法は正規形式適切均衡を計算するか？
• RQ5 補助変数が0に近づくと提案手法は正規形式適切均衡へ収束し、実務上も効率的か？

主な発見

• コンパクトな系列形式適切均衡が開発され、正規形式適切均衡と戦略的等価であることが証明された。
• 本文脈で初めて ε- permutahedron に基づく摂動ゲーム形式が正規形式適切均衡の新しい表現として提案された。
• 対数正規化/エントロピー正規化を用いた二つの微分可能パスフォロー法を導入し、均衡を計算。
• 各手法は正の実現計画から滑らかな均衡経路を生成し、補助変数が0に近づくと正規形式適切均衡へ収束。
• 提案アプローチの有効性と効率性を実験的に検証。