Qiskit / qiskit
88%
main: 88%

LAST BUILD BRANCH: gh-readonly-queue/main/pr-15094-96f5c08b3f54acfcc9552a34bf1bcc5402e07e7f
DEFAULT BRANCH: main
Repo Added
Files 868
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/stable/2.0/pr-14295-4523ef983bc88825e3dde19808b2d9a0cb5bdb28
branch: gh-readonly-queue/stable/2.0/pr-14295-4523ef983bc88825e3dde19808b2d9a0cb5bdb28
CHANGE BRANCH
x

coverage: 88.103% (-0.008%) from 88.111%
14905474016

push

github

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

* 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.



* 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



---------



(cherry picked from commit 68926088b)

Co-authored-by: Alexander Ivrii <alexi@il.ibm.com>
Co-authored-by: Almudena Carrera Vazquez <almudenacar... (continued)

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

2 existing lines in 1 file now uncovered.

72906 of 82751 relevant lines covered (88.1%)

357029.38 hits per line

Relevant lines Covered
82751 RELEVANT LINES 72906 COVERED LINES
357029.38 HITS PER LINE
Source Files on gh-readonly-queue/stable/2.0/pr-14295-4523ef983bc88825e3dde19808b2d9a0cb5bdb28

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
14905474016 gh-readonly-queue/stable/2.0/pr-14295-4523ef983bc88825e3dde19808b2d9a0cb5bdb28 Bug fixes in Solovay Kitaev Decomposition (#14217) (#14295) * 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... push web-flow github
88.1
See All Builds (13861)