Andrea Mari

Unify structure of executor functions in mitiq_[frontend] for all frontends

1

We currently have many versions of executor functions in `mitiq/interface/mitiq_` for `frontend in [cirq, qiskit, etc...]` . Some of them have been coded years ago, some of them are more...

Issue Description ----------------- On July 2022, we gave some lectures on error mitigation and Mitiq at the [GGI Summer School - SQMS](https://www.ggi.infn.it/showevent.pl?id=436). We made an ["exercise notebook"](https://www.ggi.infn.it/talkfiles/bonuses/bonus6073.zip) for learning how...

Mapping Qiskit registers via transpilation passes

2

Issue Description ----------------- We currently have a functions to change the qubit and bit registers in Qiskit circuits (see e.g. [this](https://github.com/unitaryfund/mitiq/blob/081c7897c0ec99ecc3f73c7ecc8118d383d85f2d/mitiq/interface/mitiq_qiskit/conversions.py#L212)). They are necessary for having consistent names in conversions....

Complete CDR theory subsection of the Mitiq user guide

2

Issue Description ----------------- The current docs section [What is the theory behind CDR?](https://mitiq.readthedocs.io/en/stable/guide/cdr-5-theory.html) contains references to research papers. Proposed Solution ----------------- Adding some theoretical content similar to what we have...

Issue Description ----------------- Expectation values of Mitiq observables are buggy if circuits have measurements It seems that change of basis rotations are applied after measurement gates instead of before. How...

Implement Markov Chain Monte Carlo approach for CDR training circutis.

4

The way in which training circuits are generated for the CDR technique is mentioned in the original paper in which CDR was introduced [Czarnik et al. arXiv:2005.10189]( https://arxiv.org/abs/2005.10189) but was...

Issue Description ----------------- PEC requires the knowledge of the noise model, or at least a simplified approximation of it. A crude approximation is assuming that noise is dominant for two-qubit...

In some backends (e.g. IBM) there are some gates that have zero time duration, since they are applied in a _virtual_ way. For example Rz gates have zero duration. The...

Explore the possibility of supporting Qiskit barriers

2

In principle, Mitiq should preserve the structure of input circuits as much as possible, apart from the transformations that are necessary for error mitigation (e.g. unitary folding). For this reason...

Support parametrized circuits in other frontends beyond Cirq

13

After parametrized gates (with symbolic parameters) of Cirq circuits will be supported (#939 and #911), it would be good to support parametrized gates of other circuit types too. This issue...