First half-success time in Grover search

ID: first-half-success-time-in-grover-search

For both oracle phases equal to , the good/bad matrix is . Acting times on the initial vector yields success . For , the first crossing of one half is the displayed integer, since the rounded angle stays between and . With this is asymptotic to . Iterating indefinitely is incorrect: the success oscillates after its first maximum.

New to topics? Read the docs here!