Feature: Determine when a BCS nonlocal game has a perfect commuting operator strategy

Open vprusso opened this issue 4 years ago • 2 comments

One can presently make use of toqito to approximate the commuting operator value of a BCS game by making use of the NPA hierarchy.

For certain games, calculating this heuristic can be intractable. The user may sometimes simply wish to know whether a perfect commuting operator strategy exists (that is, whether the BCS has a commuting operator value equal to one).

According to arXiv:1606.02278, if one reprsents the BCS game as a solution group: Screen Shot 2021-06-15 at 10 18 44 AM

it is then possible to determine whether there exists a perfect commuting operator strategy for this BCS game by checking condition (3) of: Screen Shot 2021-06-15 at 10 21 50 AM

Jun 15 '21 14:06 vprusso