Solution enumeration algorithm?

Suppose I have a quantum algorithm that produces solutions where more than one different linear combination of qubit values with raised probability amplitudes is a correct result. Each linear combination is correct in the context of this hypothetical algorithm, but it is not the task of the algorithm to also iteratively elicit the solutions, but merely to produce a superposition where all possible solutions are represented within it. The problem isn't with the implementation of the supposed algorithm, but with the issue of potentially measuring a superposition that hasn't been fully honed to a single maximal linear combination, since in the ensemble of measurements you might obtain each of the different linear combinations, making the results unclear, despite the fact the algorithm implementation is potentially correct. The objective is therefore to have an abstract procedure to read off these possible answers in a clean manner, so that they aren't lost, but for which the superposition has been narrowed to a final value.

For example, suppose I have linear combinations $$|10\rangle$$ and $$|11\rangle$$, each which cannot be decomposed into simpler expressions with independent amplitudes, that have raised probability in that, for my quantum algorithm, these are correct. The others, $$|00\rangle$$ and $$|01\rangle$$ have amplitudes near zero. For simplicity, it can be said that each the current superposition is described by: $$\frac{1}{\sqrt{2}}(|10\rangle + |11\rangle)$$. Before reading each value off, I want to cancel the probability of all others aside from the ith term of the superposition. Therefore, first cancel out $$|11\rangle$$, so that I don't have a very high chance of reading $$|11\rangle$$ when the first measurement is done, so the superposition becomes simply $$|10\rangle$$. In every iteration of this procedure, I want the superposition narrowed to a single term, so that there is no confusion upon measurement. As with the example, after the first measurement, repeat, but with probability canceled from $$|10\rangle$$ to $$|11\rangle$$.

But, I want a mechanism to do this form me for $$N$$ possible admissible answers, so that it works in the more general case.

• Could you be more explicit with your example? I’m struggling to understand what you’re asking, particularly the “group the probability” bit. – DaftWullie Dec 18 '18 at 6:49