同期ゲームに関するトピック: 同期代数、代数的グラフ同一性、量子NP困難性の縮約

同期ゲームの完全戦略の存在を調べるために、代数的クリーク数と局所的可換クリーク数を導入し、それらの性質を明らかにした。また、非可換Nullstellensätzeを用いて、完全C*戦略と完全可換演算子(qc-)戦略の存在を判定するアルゴリズムを提案した。