Qiskit / qiskit
88%
main: 88%

LAST BUILD BRANCH: oxidize-ctrl-flow
DEFAULT BRANCH: main
Repo Added
Files 870
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH gh-readonly-queue/main/pr-14217-b70e05c3219b59ab68744e575457778e385e31aa
branch: gh-readonly-queue/main/pr-14217-b70e05c3219b59ab68744e575457778e385e31aa
CHANGE BRANCH
x

coverage: 87.894% (-0.01%) from 87.908%
14840299878

push

github

web-flow 
Bug fixes in Solovay Kitaev Decomposition (#14217)

* Fix _compute_rotation_axis method

The method used to return [0, 0, 0] for rotation axis when theta is very close to 0 (and yet not within 1e010).
This commit fixes this by noting that the rotation axis of an SO(3) matrix is simply the eigenvector of this
matrix corresponding to eigenvalue 1.

* Fixes related to SU(2) vs. SO(3)

The implemented algorithm has a global phase uncertainty of +-1, due to approximating not the
original SU(2) matrix but its projection onto SO(3). This fixes the global phase of the
computed approximation.

In addition, the product_su2 matrix in GateSequence was not correctly computed in many cases,
leading to incorrect values when using this attribute. Since this is not needed for the actual
algorithm (and spends unnecessary effort for computing it), this also completely removes this
attribute.

Co-authored-by: Almudena Carrera Vazquez <almudenacarreravazquez@hotmail.com>

* Fix the tests.

One of the tests was simply wrong because the reference circuit has the wrong global phase.
The tests that check the gates in the final decomposition should not assume that SGate is included and SdgGate is not.

* reno

* fix to the global phase

* bug fix (forgetting that gate_matrix_su2 is not SU(2) was a sequence)

* adding test

* Restoring the previous fast code for _compute_rotation_axis based on Rodrigues formula, while additionally handling the case of 180-degree rotation

* removing old code

* review comments

* switching back to using _to_dag and _to_circuit

I actually no longer think that these methods would ever return a circuit with unitary gates, so it does not really matter

* Addressing review comments

* pass over release notes combining the original and the suggested wordings

* Update releasenotes/notes/fix-sk-decomposition-23da3ee4b6a10d62.yaml

Co-authored-by: Julien Gacon <gaconju@gmail.com>

---------

Co-authored-by: Almudena Carrera Vazquez <almudenacarreravaz... (continued)

27 of 41 new or added lines in 4 files covered. (65.85%)

18 existing lines in 3 files now uncovered.

74568 of 84839 relevant lines covered (87.89%)

434043.03 hits per line

Relevant lines Covered
84839 RELEVANT LINES 74568 COVERED LINES
434043.03 HITS PER LINE
Source Files on gh-readonly-queue/main/pr-14217-b70e05c3219b59ab68744e575457778e385e31aa

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
14840299878 gh-readonly-queue/main/pr-14217-b70e05c3219b59ab68744e575457778e385e31aa Bug fixes in Solovay Kitaev Decomposition (#14217) * Fix _compute_rotation_axis method The method used to return [0, 0, 0] for rotation axis when theta is very close to 0 (and yet not within 1e010). This commit fixes this by noting that the rota... push web-flow github
87.89
See All Builds (13883)