[論文レビュー] Perfect Prediction in Minkowski Spacetime: Perfectly Transparent Equilibrium for Dynamic Games with Imperfect Information

Ghislain Fourny|arXiv (Cornell University)|May 10, 2019

Quantum Mechanics and Applications参考文献 7被引用数 4

ひとこと要約

本稿は、因果構造が情報集合を定義するMinkowski時空における出来事として意思決定をモデル化することにより、完全な情報のない動的ゲームへの完全に透明な均衡の一般化を試みる。完全予測—すなわち、プレイヤーの戦略が完全に把握されており、合理的である—という条件下では、この枠組みにより、唯一つまたはそれ以下の、パレート最適な結果が保証され、従来の完全情報および戦略形ゲームに関する結果が拡張される。

ABSTRACT

The assumptions of necessary rationality and necessary knowledge of strategies, also known as perfect prediction, lead to at most one surviving outcome, immune to the knowledge that the players have of them. Solutions concepts implementing this approach have been defined on both dynamic games with perfect information and no ties, the Perfect Prediction Equilibrium, and strategic games with no ties, the Perfectly Transparent Equilibrium. In this paper, we generalize the Perfectly Transparent Equilibrium to games in extensive form with imperfect information and no ties. Both the Perfect Prediction Equilibrium and the Perfectly Transparent Equilibrium for strategic games become special cases of this generalized equilibrium concept. The generalized equilibrium, if there are no ties in the payoffs, is at most unique, and is Pareto-optimal. We also contribute a special-relativistic interpretation of a subclass of the games in extensive form with imperfect information as a directed acyclic graph of decisions made by any number of agents, each decision being located at a specific position in Minkowski spacetime, and the information sets and game structure being derived from the causal structure. Strategic games correspond to a setup with only spacelike-separated decisions, and dynamic games to one with only timelike-separated decisions. The generalized Perfectly Transparent Equilibrium thus characterizes the outcome and payoffs reached in a general setup where decisions can be located in any generic positions in Minkowski spacetime, under necessary rationality and necessary knowledge of strategies. We also argue that this provides a directly usable mathematical framework for the design of extension theories of quantum physics with a weakened free choice assumption.

研究の動機と目的

• 完全でない情報の動的ゲーム、すなわちプレイヤーが過去の手の一部しか知らない状況において、完全に透明な均衡の概念を拡張すること。
• 因果構造（光円錐）を用いて情報集合と戦略的依存関係を定義する、ゲームにおける意思決定をMinkowski時空の出来事として形式化すること。
• プレイヤーの戦略が必然的に把握されており、合理的であるという完全予測の下で、唯一つの結果が残り、一意性とパレート最適性が保証されることを確立すること。
• 自由選択の仮定を弱めた理論を構築するための数学的枠組みを提供し、時空構造を持つ意思決定ゲームに基づく、量子物理学の代替理論の構築を可能にすること。
• 完全情報のための完全予測均衡および戦略形ゲームのための完全に透明な均衡という従来の概念を、一つの一般化された均衡概念に統合すること。

提案手法

• 各意思決定をMinkowski空間内の時空の出来事としてモデル化し、因果構造（未来の光円錐）によって、どの意思決定が他の意思決定に影響を与えるかを定める。
• 情報集合を、時空的に分離された（因果的に接続されていない）意思決定点の集合として定義し、プレイヤーが信号に基づいてそれらを区別できないようにする。
• 合理性と相互予測に基づく段階的先行排除プロセスを用いて、前向きインダクションを適用し、合理的でないかパレート改善でない結果を繰り返し除外する。
• 対応的関数と到達可能性関係を用いたKripke意味論を用いて、可能な世界の推論と不可能な結果の論理的除外を形式化する。
• 可能な結果（世界）に報酬を割り当てることで、量子測定のゲーム理論的モデルを構築し、宇宙を報酬を最大化するエージェントとして扱う。
• 必然的な合理性と戦略の相互知識を仮定した下で、すべての段階の先行排除を経た後に残る唯一つの結果として、完全に透明な均衡（PTE）を導出する。

実験結果

リサーチクエスチョン

• RQ1 完全に透明な均衡は、完全でない情報のゲームにどのように一般化できるか？
• RQ2 時空の因果構造は、動的ゲームにおける情報集合と戦略的依存関係を定義する上で果たす役割は何か？
• RQ3 プレイヤーの戦略が完全に把握されており、合理的であるという完全予測のもとでも、完全でない情報のゲームにおいて、一意かつパレート最適な結果が得られるか？
• RQ4 この枠組みは、自由選択の仮定を弱めた代替量子理論の構築の基盤として機能できるか？
• RQ5 プレイヤーがすべての過去の手を観測できないゲームにおいて、先行排除と前向きインダクションの概念はどのように適用されるか？

主な発見

• 完全でない情報のゲームにおいて、一般化された完全に透明な均衡（PTE）は、同点がない限り、唯一つまたはそれ以下の結果に限定され、一意な生存結果を保証する。
• PTEの結果はパレート最適であり、完全予測の仮定の下で、他のプレイヤーを傷つけることなく、いかなるプレイヤーもより良くはできない。
• PTEの概念は、完全情報のための完全予測均衡（完全情報）および戦略形ゲームのための完全に透明な均衡（戦略形）という両方の特別なケースを包含する。
• この枠組みは、完全でない情報のゲームを、情報集合が時空的分離と因果構造によって定義される、時空的出来事の有向非巡回グラフとして解釈する。
• 自由選択の仮定を弱めつつも、量子力学の予測力を保持する形で、量子物理学の拡張理論を設計するための直接的な数学的ツールを提供する。
• 先行排除による排除プロセスにより、相互の合理性と完全予測に整合しないいかなる結果も論理的に除外され、Kripke意味論の枠組みにおいて、唯一の現実世界が導かれる。