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

Add project_z and hseries.measure_and_reset functions #645

Open
ss2165 opened this issue Nov 13, 2024 · 0 comments
Open

Add project_z and hseries.measure_and_reset functions #645

ss2165 opened this issue Nov 13, 2024 · 0 comments
Assignees

Comments

@ss2165
Copy link
Member

ss2165 commented Nov 13, 2024

To precisely capture the semantics of the tket2 measurement operations and the hseries specific MeasureReset operation:

Guppy function semantics Guppy signature Hugr implementation
measure Measure qubit and lose it qubit -> bool T2::DestructiveMeasure
project_z Projective z basis measurement qubit -> qubit, bool T2::Measure
hseries.measure_and_reset Measure a qubit and immediately reset it to 0 qubit -> qubit, bool HS::MeasureReset

Blocked by:
CQCL/tket2#691
CQCL/tket2#692

Tracked by:
https://github.com/CQCL-DEV/hugrverse/issues/77

@ss2165 ss2165 self-assigned this Nov 27, 2024
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

No branches or pull requests

1 participant