quantum-programming

Several katas could have better error messaging:

• Superposition : the test harness could log the actual state of the system after prep vs the expected state before asserting that they are the same (the change would add state prep and logging using DumpMachine to AssertEqualOnZeroState)
• BasicGates : a similar improvement, but a bit more extra code to write a unified test wrapper

Describe the Issue

1. In section 2.4.3 on Controlled Rotations, the line "A controlled R_x(θ) could similarly be made using CNOT gates." seems incorrect.
2. I assume that the line claims that replacing R_y(θ/2) by R_x(θ/2) (similarly for the -θ case), in the circuit above, we would get a controlled R_x(θ). This is incorrect.
3. Passing |1> through q_0, we get X R_x(-θ/2) X R_x(θ/2)q_1, fo

Issue Description

If an executor returns expectation values as float variables, Mitiq should always be used with observable=None (default),
since in this case the observable is implicitly defined and measured in the executor.

From a Discord discussion, it seems that no error is raised for incompatible settings.

Solution

• Raise an error

Looking for a Zookeeper who can help manage and drive more algorithms to be implemented in the zoo!

https://github.com/qsharp-community/algorithm-zoo

It may be cool to have some counter of contributions showing up on the website, which could include from minimal to extensive information like the number of open PRs, commits, merged lines of code, contributors, etc.

If this were to update "live" or regularly, it could be very cool.

There may be some off-the-shelves tools such as github actions for this, see for example: https://github.com