Alexander Ivrii

It would indeed be great to have additional linear and linear+phase resynthesis methods in Qiskit or in Qiskit ecosystem, so additional contributions are welcome! As @mtreinish pointed out, the plugin...

I have tweaked the documentation following @kdk's comments. I think that the suggestion to combine high-level-synthesis plugin file and unitary-synthesis plugin file into one, and to extend documentation to cover...

Hi, may I please work on this issue together with Shelly (@ShellyGarion)? Thanks.

Per @jakelishman's suggestion, I am posting here a code snippet that shows how `Permutations` are implicitly applied after routing, with the code snippet checking that the pre-routed and post-routed circuits...

@nonhermitian, agreed, that code snippet is not meant to be general or to work when a target device has more qubits than the original circuit; the purpose is to emphasize...

Here is one more random example where equivalence fails (and I haven't figured why yet): ``` original_circuit = random_circuit(3, 1, seed=1) op1 = Operator.from_circuit(original_circuit) coupling_map = CouplingMap([[1, 0], [0, 1],...

FWIW, I have run the code above in the jupyter notebook, windows 10, python 3.10, trunk version of terra; on the first run it takes about 2.3s; on every consecutive...

We definitely need to rethink this, but this specific PR is outdated and can be closed.

With the new GitHub features, we can now easily draw graphs and flowcharts. Just for fun, an illustration of adding a node to DAGDependency. ```mermaid flowchart LR subgraph before direction...

Indeed, it's easy to reduce an edge-coloring problem to a node-coloring problem, but not the other way around (afaik) . I don't think that the original problem can be easily...