Open ajavadia opened 1 year ago
I'd love to contribute to this project. I just learned about the Cartan decomposition on two qubit and now I'm looking at canonical class vector in the Weyl chamber!
Here is my version of this, if you are interested. My implementation of the 3D coverage regions is quite messy though. https://github.com/Pitt-JonesLab/slam_decomposition/tree/main/src/slam/utils/polytopes
I rewrote my plotting tool to be much simpler and nicer looking.
Description
The Weyl chamber is a handy geometric interpretation of different two-qubit quantum gates. All two-qubit quantum gates (e.g. CNOT, sqrt(CNOT), iSWAP, SWAP, etc.) have a coordinate in the Weyl chamber, and two gates that map to the same coordinate are always convertible to each other by local pre-/post-rotations (i.e. they are "locally equivalent").
Qiskit already has tools to get the coordinate of any two-qubit unitary in the Weyl chamber via the KAK decomposition. However it does not currently have any visualization tools. Beyond just gate coordinates, we are often interested in what part of the Weyl chamber is reachable by a certain "family" of gates, which takes the form of drawing polytopes in the chamber. An example below:
The Weyl chamber is introduced here: https://arxiv.org/abs/quant-ph/0209120
A good introduction is here: https://threeplusone.com/pubs/on-gates-v4/ However this particular one has a different convention for the coordinates. We want to make sure that we use Qiskit's coordinate convention in this project, i.e. pi/4 >= a >= b >= |c| >=0
There is an open source tool https://github.com/qucontrol/weylchamber, but it doesn't have the right conventions. It also doesn't plot regions/polytopes, only points. We can draw inspiration from it though.
Deliverables
A visualization of the Weyl chamber with the ability to show the location of different gates inside it.
Being able to rotate the chamber to look at it from different perspectives.
Being able to plot polytopes in the chamber.
Being able to approximate a point by the closest one on a certain polytope.
Mentors details
Number of mentees
2
Type of mentees