Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

QROM uses unnecessary gates if non work wires provided #6967

Open
wants to merge 3 commits into
base: master
Choose a base branch
from

Conversation

KetpuntoG
Copy link
Contributor

@KetpuntoG KetpuntoG commented Feb 14, 2025

Before submitting

Please complete the following checklist when submitting a PR:

  • All new features must include a unit test.
    If you've fixed a bug or added code that should be tested, add a test to the
    test directory!

  • All new functions and code must be clearly commented and documented.
    If you do make documentation changes, make sure that the docs build and
    render correctly by running make docs.

  • Ensure that the test suite passes, by running make test.

  • Add a new entry to the doc/releases/changelog-dev.md file, summarizing the
    change, and including a link back to the PR.

  • The PennyLane source code conforms to
    PEP8 standards.
    We check all of our code against Pylint.
    To lint modified files, simply pip install pylint, and then
    run pylint pennylane/path/to/file.py.

When all the above are checked, delete everything above the dashed
line and fill in the pull request template.


Context:

Fix this bug [https://github.com//issues/6968]
[sc-84591]
Description of the Change:

Check if work wires are used and choose the correct decomposition based on that.

Benefits:

More efficient decomposition

Possible Drawbacks:

Related GitHub Issues:

Copy link
Contributor

Hello. You may have forgotten to update the changelog!
Please edit doc/releases/changelog-dev.md with:

  • A one-to-two sentence description of the change. You may include a small working example for new features.
  • A link back to this PR.
  • Your name (or GitHub username) in the contributors section.

Copy link

codecov bot commented Feb 14, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 99.59%. Comparing base (ed30bf4) to head (0e40702).
Report is 3 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #6967   +/-   ##
=======================================
  Coverage   99.59%   99.59%           
=======================================
  Files         481      481           
  Lines       45783    45784    +1     
=======================================
+ Hits        45598    45599    +1     
  Misses        185      185           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Copy link
Contributor

@Jaybsoni Jaybsoni left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just some small comments

@@ -246,7 +246,7 @@ def compute_decomposition(
)
swap_ops.insert(0, qml.ctrl(new_op, control=control_swap_wires[-ind - 1]))

if not clean:
if not clean or depth == 1:
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would swap_ops be empty in this case?

Comment on lines +277 to +283
def test_none_work_wires_case():
"""Test that clean version is not applied if work wires are not used"""

gates = qml.QROM.compute_decomposition(["1", "0", "0", "1"], [0, 1], [2], [], clean=True)

for gate in gates:
assert gate.name != "Hadamard"
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Haha, I see what you are doing here, but I would say this is a "lazy"-test. Since it's only one test case, I would say compute the expected decomposition by hand, and then test that the compute decomposition matches it.

Something like:

Suggested change
def test_none_work_wires_case():
"""Test that clean version is not applied if work wires are not used"""
gates = qml.QROM.compute_decomposition(["1", "0", "0", "1"], [0, 1], [2], [], clean=True)
for gate in gates:
assert gate.name != "Hadamard"
def test_none_work_wires_case():
"""Test that clean version is not applied if work wires are not used"""
gates_clean = qml.QROM.compute_decomposition(["1", "0", "0", "1"], [0, 1], [2], [], clean=True)
expected_gates = qml.QROM.compute_decomposition(["1", "0", "0", "1"], [0, 1], [2], [], clean=False)
assert gates_clean == expected_gates

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.

2 participants