microsoft / microsoft/qdk

Migrate Nonlocal Games katas to quantum.microsoft.com

Open
#1,596 10 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

enhancement katas
Dominant language
Rust
Stars
1k
Forks
212
Avg merge
3d 8h
Merged PRs (30d)
65

Description

Current [CHSH game](https://github.com/microsoft/QuantumKatas/blob/main/CHSHGame), [GHZ game](https://github.com/microsoft/QuantumKatas/blob/main/GHZGame), and [Mermin-Peres magic square game](https://github.com/microsoft/QuantumKatas/blob/main/MagicSquareGame) katas cannot be used with the modern QDK. It would be nice to have them available as part of the [new katas experience](https://quantum.microsoft.com/en-us/experience/quantum-katas).

I think each of them is too small to warrant a separate kata in the new experience, so it would make sense to merge them together into one kata called "Nonlocal Games: CHSH, GHZ, and Mermin-Peres".

We'll probably want to explain each quantum strategy ahead of the exercises that implement it, same as we did in QEC Shor kata, since it's tricky to come up with independently (especially for the magic square!)

* [x] CHSH game: Keep task 1.1, merge two cells in task 1.2 in one task by defining an operation that returns a tuple of two operations, one for Alice and one for Bob, drop 2.1 and 2.3, keep 2.2 and 2.4-2.5 (possibly make 2.5 a demo), keep the discussion of quantum strategy and its win probability.
* [ ] GHZ game: Keep task 1.1, merge 1.2 and 1.3 in a more open-ended task that evaluates success probability of a classical strategy, keep 1.4 and 2.1-2.3 (possibly make 2.3 a demo), keep the discussion of quantum strategy and its win probability.
* [ ] Mermin-Peres: Merge 1.1.1 and 1.1.2 into one task with Boolean flag `isAlice`, keep 1.2 and 1.3 (merge two cells in 1.3 in one task returning a tuple), keep 2.1, drop 2.2 (it will be verified in 2.3 automatically), keep 2.3-2.7.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start with the existing CHSHGame, GHZGame, and MagicSquareGame katas and compare their structure with the new katas experience and the QEC Shor kata. Implement the combined “Nonlocal Games: CHSH, GHZ, and Mermin-Peres” kata using the listed task merges, removals, strategy explanations, and win-probability exercises; done means all three games are available in the modern QDK experience.

Written by the indexing model from the issue text.

Assessment

Domain
quantum-computing
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.