Migrate more katas to quantum.microsoft.com

[tcNickolas]

trafficstars

There are multiple katas in the Quantum Katas project that cannot be used with the modern QDK, and are straightforward to migrate to the new katas experience. I don't have detailed notes for each of them, so I think we can track them all in this one issue.

• [x] BasicGates: makes sense to split it, add tasks 1.1-1.7 to the end of the Single-Qubit Gates kata, 1.8-1.10 - to the end of the Multi-Qubit Systems kata, 2.1-2.6 - to Multi-Qubit Gates kata
• [x] Superposition: I started migration already, need to finish the rest of the tasks (I've updated the infrastructure to support solutions without adjoint, so we can migrate all content)
• [ ] Measurements (renamed to Distinguishing Quantum States): add as a standalone kata after Multi-Qubit Measurements, testing infra should be similar to that one
• [ ] DistinguishUnitaries: add as a standalone kata after Measurements, needs its own infra but should be similar to existing Measurements
• [ ] Teleportation: add after DistinguishUnitaries
• [x] SuperdenseCoding: add after Teleportation
• [ ] MarkingOracles: add after existing Oracles kata, see issues https://github.com/microsoft/qsharp/issues/1156 and https://github.com/microsoft/qsharp/issues/1159 for potential extra tasks to be added

[jkingdon-ms]

I will be working on migrating Superposition Kata - Task 1.6 (Bell state)

[jkingdon-ms]

I will be working on migrating Superposition Kata - Task 1.7 (All Bell states)

[jkingdon-ms]

I will be working on migrating Superposition Kata - Tasks 1.8, 1.9, 1.10

[SakthiVijayS]

I will be working on migrating Superdense Coding Kata

[WWhitedogi]

I will be working on migrating tasks 1.1-1.7 to Single-Qubit Gates, tasks 1.8-1.10 to Multi-Qubit Systems, tasks 2.1-2.6 to Multi-Qubit Gates.

[jkingdon-ms]

I will be working on migrating Superposition Kata - Tasks 1.11, 1.12

[frtibble]

I am working on Superposition Task 1.13

[devikamehra]

I am working on migration of Teleportation Kata

[Manvi-Agrawal]

@tcNickolas, I would like to pick SuperDenseCoding kata

[jkingdon-ms]

I will be working on migrating Superposition Kata - Tasks 2.2, 2.3

[tcNickolas]

For everyone who will work on a task that relies on the previous tasks' solutions (and we're getting there with teleport and superdense coding protocols): with the current infrastructure, each task of a kata is independent and has no access to the code cells for other tasks.

As a workaround, we can copy-paste the solutions for the tasks on which the current task depends in the placeholder, so that the learner can access them without doing the copy-paste themselves. For example, in the QEC kata I'm working on, encoding task for Shor code uses encoding task for bit flip code, and the placeholder looks like this:

namespace Kata {
    operation ShorEncode (qs : Qubit[]) : Unit is Adj + Ctl {
        // Implement your solution here...
        
    }

    // You might find this helper operation from an earlier task useful.
    operation BitflipEncode (qs : Qubit[]) : Unit is Adj + Ctl {
        CNOT(qs[0], qs[1]);
        CNOT(qs[0], qs[2]);
    }
}

[frtibble]

I'll work on Superposition Task 2.4 and 2.5

[JPark1023]

I will start migrating Measurements tasks 2.1-2.3

[frtibble]

I will work on Superposition task 1.14 and 2.6

[moumita-halder]

I am working on migrating task 1.3 from Workbook_Measurements to Distinguishing States Kata.

[jkingdon-ms]

I will be working on migrating Distinguish Unitaries Kata - Tasks 1.2, 1.3, 1.4

[jkingdon-ms]

I will be working on migrating Distinguish Unitaries Kata - Tasks 1.x (remaining 1.5 - 1.11)

[jkingdon-ms]

I will be working on migrating Distinguish Unitaries Kata - Tasks 2.x

[jkingdon-ms]

I will be working on the remainder of MarkingOracles.

[moumita-halder]

I am migrating tasks 1.4, 1.5 & 1.6 from the Measurements workbook to Distinguishing States Kata.

[moumita-halder]

I am migrating tasks 1.10-1.15 from Measurements to Distinguishing States kata.

[moumita-halder]

I am migrating tasks 1.07-1.09 from Measurements to Distinguishing States kata.

[tcNickolas]

And with the PR #1638 merged last night I declare this issue completed!

Thank you again to everybody who worked on this!!!