Skip to content

Conversation

@petim0
Copy link

@petim0 petim0 commented Dec 12, 2025

The row and column oracle are defined as such (Lin Lin (2022). Ch. 6.5.):
$O_c\ket{\ell}\ket{j}=\ket{c(j, \ell)}\ket{j}$, where $c(j,\ell)$ gives the $\ell$-th non zero entry in the $j$-th column.

So indeed, in input the value of l is bounded by the number of non zero entries in the matrix. But in output, the value of $c(j,\ell)$ is unbounded as the $\ell$-th non zero entry can be anywhere in the column.

So the Signature of RowColumnOracle is incorrect and that was making assert_consistent_classical_action throwing errors it should not have.

This is fixed by this PR.

@petim0 petim0 changed the title Fixed RowColumnOracle Signature Fix RowColumnOracle Signature Dec 16, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant