Migrate nonlocal games 1596 task1 - quantum

[ggridin]

The link to the issue: #1596

This pull request is covering

1. CHSH quantum tasks (2.2, 2.4; 2.5 is converted to a demo)
2. CHSH discussion
3. Few changes in CHSH classical

[Manvi-Agrawal]

chsh_quantum_bob_strategy (task 2.2) is added. please note that base profile has error "cannot use dynamic bool value".- is there fix or workaround for this problem?

• I think we would be fine with that, since katas use unrestricted profile.

Quantinuum emulator profile has error "cannot use dynamic bool/string value".

• Similarly here, katas use unrestricted profile. See this example: https://quantum.microsoft.com/en-us/experience/quantum-katas?kataId=deutsch_algo&sectionId=deutsch_algo__e2e

  @billti , @swernli, @tcNickolas do you think there are plans to use Base profile for katas?

[swernli]

chsh_quantum_bob_strategy (task 2.2) is added. please note that base profile has error "cannot use dynamic bool value".- is there fix or workaround for this problem?

• I think we would be fine with that, since katas use unrestricted profile.

Quantinuum emulator profile has error "cannot use dynamic bool/string value".

• Similarly here, katas use unrestricted profile. See this example: https://quantum.microsoft.com/en-us/experience/quantum-katas?kataId=deutsch_algo&sectionId=deutsch_algo__e2e
  @billti , @swernli, @tcNickolas do you think there are plans to use Base profile for katas?

Yes, that's expected. The katas exercises run Unrestricted and do not need to be compatible with QIR Base profile.

[tcNickolas]

Apologies for the delay reviewing this PR, I had a very busy week :-(
Here are the comments for most of the changes, except for the ones in the root index.md - I'll review that file a bit later today.

Thank you!

[tcNickolas]

Finished reading through the index.md, posting the rest of the comments.

Additionally, could you please edit the PR description to move out everything starting with "other PRs will follow"? These details are good to include for the reviewer while the PR is in progress, but our merge system is set up in a way that includes the whole PR description in the commit message, and they're not necessary there, just making the commit info look bulky. For future PRs, these details can be made into the first comment on the PR rather than a part of the description.

Thank you!!

[ggridin]

Additional details of this PR:

1. Section "CHSH Classical" is merged with "CHSH Game"
   • DrawRandomBool is used instead of DrawRandomInt
2. chsh_quantum_alice_strategy (task 2.2) is added
3. chsh_quantum_bob_strategy (task 2.2) is added
   • please note that base profile has error "cannot use dynamic bool value".- is there fix or workaround for this problem?
4. Discussion content is copied from previous kata version
5. Task 2.5 is significantly refactored - needs thoughtful review.
   The benefits of the change:
   • Demo is comparison of classic and quantum results - which is interesting to observe.
   • Entangled qubits are created before the game.
6. Few cosmetic changes in nonlocal_games/index.md suggested by vscode markdown linter

Testing done:

1. Build "python ./build.py --npm" is successful
2. Placeholder cases are syntactically correct but failing verifications.
   Solutions are successful.
3. Some other failure scenarios were tested manually.
4. Content screenshots are attached.
5. Demo is tested in Azure Quantum coding (in-memory simulator): https://quantum.microsoft.com/en-us/experience/quantum-coding
   • Quantinuum emulator profile has error "cannot use dynamic bool/string value".

[ggridin]

Finished reading through the index.md, posting the rest of the comments.

Additionally, could you please edit the PR description to move out everything starting with "other PRs will follow"? These details are good to include for the reviewer while the PR is in progress, but our merge system is set up in a way that includes the whole PR description in the commit message, and they're not necessary there, just making the commit info look bulky. For future PRs, these details can be made into the first comment on the PR rather than a part of the description.

Thank you!!

@tcNickolas
Thank you for the detailed and thoughtful review!
I believe that I fixed all mentioned issues. I hope I wont miss something, considering amount of changes.

In the current PR, I've updated PR description according your suggestion and moved the details to one of the comments.
I'll do the same shortly for #1783 too

[tcNickolas]

Looks great! And the updated demo is much more illustrative of the differences between classical and quantum strategies!

I left a few minor comments, but I shouldn't need to take another look. Just need a second reviewer's signoff.

Thank you!