[論文レビュー] Nash Equilibrium in the Quantum Battle of Sexes Game

Jiangfeng Du, Xiaodong Xu+3 more|ArXiv.org|Oct 12, 2000

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

ひとこと要約

この論文は、Eisertらの量子化スキームを用いて、量子的バトル・オブ・セクスゲームにおけるナッシュ均衡を調査する。古典的または他の量子ゲームとは異なり、完全に量子化されたバージョンでは、最大エンタングルメント下で無限に多くのナッシュ均衡が存在し、それらすべてが非対称な報酬（アリスはβ、ボブはαを獲得）をもたらす。また、プレイヤーが全SU(2)戦略空間を使用する場合、一意の均衡が存在しないことを証明しており、これは以前の「量子的優位性」に関する主張とは対照的である。

ABSTRACT

We investigate Nash Equilibrium in the quantum Battle of Sexes Game. We find the game has infinite Nash Equilibria and all of them leads to the asymmetry result. We also show that there is no unique but infinite Nash Equilibrium in it if we use the quantizing scheme proposed by Eisert et al and the two players are allowed to adopt any unitary operator as his/her strategies.

研究の動機と目的

• 完全に量子化されたバトル・オブ・セクスゲームにおけるナッシュ均衡の存在と性質を調査すること。
• 量子版が一意の均衡を有するのか、複数の均衡を有するのかという矛盾する主張を解消すること。
• 最大エンタングルメントおよび戦略空間の制限が均衡構造に与える影響を分析すること。
• 一般の2プレイヤー量子ゲームにおいて、全SU(2)戦略空間ではナッシュ均衡が存在しないことを証明すること。

提案手法

• 量子ゲームは、初期ベル状態 |Ψin⟩ = J|OO⟩ を用いたEisert らのスキームでモデル化される。
• プレイヤーはユニタリ戦略 UA, UB ∈ SU(2) を用い、角度 θ, φ, ψ でパrameter化される。
• 報酬は測定確率 Pστ = |⟨στ|J⁺UA⊗UBJ|OO⟩|² を通じて計算される。
• ナッシュ均衡は、単一プレイヤーの報酬最大化に基づいて定義される：UA* はすべての SA に対して 𝔼A(SA*, SB*) ≥ 𝔼A(SA, SB*) を満たす必要がある。
• 非エンタングルド（δ=0）および最大エンタングルド（δ=π/2）のケースを区別して分析する。
• 一般の証明により、全SU(2)戦略空間では均衡条件に矛盾が生じ、したがってナッシュ均衡が存在しないことが示される。

実験結果

リサーチクエスチョン

• RQ1 Eisert らの量子化スキーム下で、量子的バトル・オブ・セクスゲームには一意のナッシュ均衡が存在するのか？
• RQ2 最大エンタングルメントは、量子ゲームにおけるナッシュ均衡の数および構造にどのように影響するか？
• RQ3 無限に多くのナッシュ均衡が量子ゲームに共存しうるのか？ また、それらは古典的バージョンよりも優れた報酬をもたらすのか？
• RQ4 なぜ一部の先行研究では一意性が主張され、他の研究では多様性が報告されているのか？
• RQ5 一般の2プレイヤー量子ゲームにおいて、制限のないSU(2)戦略空間がある条件下でナッシュ均衡が存在する条件は何か？

主な発見

• 最大エンタングルメント（δ=π/2）下では、量子的バトル・オブ・セクスゲームに無限に多くのナッシュ均衡が存在するが、これは一意性に関する主張とは対照的である。
• すべての均衡は非対称な報酬をもたらす：特定の戦略プロファイルにかかわらず、アリスはβ、ボブはαを獲得する。
• すべての均衡において報酬値が同一であるため、古典的結果に比して改善は見られない。
• 非エンタングルド状態（δ=0）では、ゲームは古典的バトル・オブ・セクスに還元され、3つの均衡（(0,0)、(π,π)、および混合戦略プロファイル）が存在する。
• 一般の証明により、2プレイヤーの量子ゲームで両プレイヤーが全SU(2)戦略空間にアクセスできる場合、ナッシュ均衡は存在しないことが示される。
• 均衡の存在を保つためには、SU(2)の部分集合（例えばφ=φ）への制限が必要であり、全SU(2)では均衡条件に論理的矛盾が生じるためである。