The Hamiltonian operator annihilates every vector orthogonal to both of its defining states:Every positive power also annihilates that vector. The exponential series therefore givesIt is a stationary zero-energy state under this unitary time evolution. The displayed evolution uses , as in the question. For the two independent defining vectors already span the whole qubit space, so no nonzero vector satisfies both orthogonality conditions; for larger their orthogonal complement has dimension .
Write , which is real and satisfies for . The invariant two-dimensional span has orthonormal eigenvectorswith eigenvalues and . In this basis,Transfer therefore requires the two evolved eigenphases to differ by an odd multiple of :The first positive time isEquivalently, exponentiating on the invariant span gives the full evolutionAt this is , so the requested global phase can be chosen as modulo . Since the two vectors are linearly independent, their relative coefficient cannot produce exact transfer at an earlier positive time. This is continuous-time quantum search, with time proportional to the square root of the search-space dimension for fixed . Restoring units multiplies the stated time by . The degenerate zero-qubit case would already have , so there would be no smallest positive transfer time; the formula concerns the nontrivial search.
For the normalized vector defining the orthogonal projection , for every . Thuswhich proves the projector phase rotation identity in this case:It changes the sign of the component along and fixes the orthogonal complement, so it is a reflection operator.
For a marked computational basis vector , is the marked-state phase oracle. With , the other reflection isThe Hadamard gates thus implement its change of basis from the known all-zero state. The usual Grover diffusion operator is . Consequently a Grover search algorithm iteration isThe minus sign is an irrelevant global phase. These two reflections rotate the search state in the span of the marked vector and the unmarked uniform vector, with the Grover rotation angle controlled by the initial marked amplitude. Iterating them approximately times gives high-probability search. The same pair of projectors appears additively in the continuous-time Hamiltonian, but the product of full reflections and evolution under their sum are distinct dynamics.
An oracle can recognize a solution without disclosing it in advance. If an efficiently evaluable or black-box predicate has the promised unique marked input, write exactly for that input. A Boolean quantum oracle computes this predicate reversibly asIts diagonal projector on the search register is . To implement a selectable phase, compute into a zero quantum ancilla, apply a known phase to its component, and uncompute. The search register then undergoesThis requires evaluation access to the predicate, not classical knowledge of which input passes it. The term is known from the Hadamard transform. With Hamiltonian-oracle access, or by controlled short-time simulations of the two terms, their sum can realize continuous-time quantum search.
The unknown projector is supplied through an oracle or a physically encoded recognition rule. It cannot be manufactured for an arbitrary hidden with no such input-dependent resource. The oracle assumption and the fixed energy scale are essential when interpreting the square-root search time as a computational advantage.
Articles by others on the same topic
There are currently no matching articles.