For some reason, I'm having difficulty with a seemingly very basic component of Grover's. When reading most explanations, the problem is framed as "consider an unstructured database of N items. If we are looking for value $\omega$, then the oracle marks the item, the amplitude is increased," and so on. However, my understanding is this, and please correct me:
"Given an unstructured database of N items, a quantum database exists containing N items with indices $|0\rangle ... |N\rangle$. If we are looking for a value $\omega$, an oracle function finds $\omega$ in the database, marks the index $|X\rangle$ for $\omega$, and the algorithm proceeds to increase the amplitude of $|X\rangle$".
In this understanding, the quantum states act as indices for "real" entries in some unstructured database, like names or phone numbers. I am getting confused in that most explanations seem to be
- Considering a specific quantum state to look for, i.e. $|1001\rangle$.
- Implementing an oracle specifically for the purpose of marking and amplifying this state, and
- Showing that the oracle did, in fact, amplify that state.
I would think that the point of the oracle would be to mark whichever state acted as the index for a desired value $\omega$, not the other way around. That being said, how could someone implement this in the context of having a string or other data type as input? I’m more focused on the concept in general, but the issue of data types arises for me necessarily.
I.e., looking for value "1" as $\omega$ in this table:
should use the oracle to find 1, mark the state $|11\rangle$, and amplify $|11\rangle$ to act as a return value.
Any advice would be greatly appreciated.