Add new MeasureIfAllZeros operation. #204
Conversation
cgranade
requested review from
tcNickolas,
anpaz,
bettinaheim and
ScottCarda-MS
|
@tcNickolas: I've gone on and added this operation as per your feedback, please let me know if it addresses your usecase before I merge it in. Thanks! |
| /// $\ket{00 \cdots 0}$ state. | ||
| /// | ||
| /// # Remarks | ||
| /// This operation does not reset its qubits, but projects them to a |
There was a problem hiding this comment.
This behavior differs from that of MeasureInteger - any specific reason why? It seems more neat to be able to write "return MeasureIfAllZeros(register)" than to measure into a variable, then call ResetAll, then return that variable.
There was a problem hiding this comment.
My intent was to match the semantics of other operations in the Microsoft.Quantum.Measurement namespace; the operations in Microsoft.Quantum.Arithmetic don't follow the same convention (they should be reconciled, but that's a slightly separate discussion).
For the usecase of returning after, I could imagine something like ResetAfter<'T>(op : (Qubit[] => 'T), target : Qubit[]) : 'T { let returnValue = op(target); ResetAll(target); return returnValue; } such that you could do return ResetAfter(MeasureIfAllZeros(register));. That would be less efficient in terms of the number of measurements than return All(ForEach(MResetZ, target)), though.
There was a problem hiding this comment.
In the last code snippet, did you mean something like All(IsResultZero, ForEach(MResetZ, target))?
From the end user point of view, it might be still more convenient to stick with MeasureInteger than to use MeasureIfAllZeros with variable assignment or to chain together several operations from different namespaces...
There was a problem hiding this comment.
Yes, thank you; that's the danger of writing code quickly on the way to a meeting, I suppose. Anyway, I think there's two distinct issues that are getting a bit conflated here:
- Existing measurement operations expose different reset semantics based on whether they are in Microsoft.Quantum.Measurement or Microsoft.Quantum.Arithmetic.
- Both kinds of reset semantics have independent usecases, and should be made available to uesrs.
Co-Authored-By: Mariia Mykhailova <[email protected]>
cgranade
added
the
Status-NeedsApiReview
Co-Authored-By: Mariia Mykhailova <[email protected]>
|
@cgranade, could you please submit an issue for an API review of the proposed operation. We can then schedule it for API review in order to complete this PR. If the PR is no longer of interest, we can close it alternatively. Thanks |
Sounds good, can do that. I think this also originally came your suggestion, @tcNickolas, if you'd prefer to file the issue? |
|
@cgranade I'll admit I have no recollection of suggesting this... My best guess it had something to do with checking whether the oracles modify their input registers, this could've been something I did two years ago? I think it will be better if you do the proposal - from the comments it looks like you had thoughts on offering different variants of this operation rather than just one? And then I chime in on the API review step |
No description provided.