Title:Highlighting the mechanism of the quantum speedup by time-symmetric and relational quantum mechanics

Abstract:Bob hides a ball in one of four drawers. Alice is to locate it. Classically she has to open up to three drawers, quantally just one. The fundamental reason for this quantum speedup is not known. We explain it by extending the usual representation of the quantum algorithm, limited to the process of solving the problem, to the process of setting the problem. The number of the drawer with the ball becomes a unitary transformation of the random outcome of the preparation measurement. This brings in relational quantum mechanics: the extension is with respect to Bob and cannot be with respect to Alice. It would tell her the drawer number before she opens any drawer. To Alice, the projection of the quantum state due to the preparation measurement should be retarded at the end of her search; in the input state of the search, the drawer number is determined to Bob and undetermined to Alice. A second consequence is the emergence of an ambiguity. Either the preparation measurement or the final one required to read the solution selects the solution. For reasons of symmetry, we assume that the selection shares evenly between the two measurements. All is as if Alice, by reading the solution, selected half of the information that specifies the drawer number. This selection leaves the input state to Bob unaltered and projects that to Alice on a state of lower entropy where she knows that half in advance. The quantum algorithm is a sum over histories in each of which Alice knows in advance that the ball is in a pair of drawers and locates it by opening one of the two. More in general, given an oracle problem, this explanation of the speedup predicts the number of queries required to solve it in an optimal quantum way.