1
September
,
2025

Exact amplitude amplification

Share the article
Our library

If you’ve ever wondered whether Grover’s algorithm can amplify a desired state all the way to probability 1, the answer is yes. This capability is implemented in Classiq’s open library through the exact_amplitude_amplification  function.

In the standard Grover approach, each iteration rotates the state vector toward the desired subspace by a fixed angle, determined by the ratio of good vs. bad states. Unless this angle divides pi exactly, repeated applications only approximate the desired state, never reaching it with certainty. While this suffices for search tasks, it can be limiting for state preparation.

The function implementation of the exact version is based on the paper Quantum state preparation without coherent arithmetic. By coupling the system to an ancillary qubit, the method modifies the effective rotation angle so that it divides pi exactly. As a result, after a constant number of Grover iterations, the target state is reached with probability 1.

As a toy example, consider amplifying the state ∣1⟩ from a single qubit superposition. Standard Grover overshoots, but the exact variant lands precisely on ∣1⟩. See the full example here.

For a more advanced usage example, see this community notebook (by Seungmin Jeon), where the function is used to exactly prepare and amplify a Gaussian state.

If you’ve ever wondered whether Grover’s algorithm can amplify a desired state all the way to probability 1, the answer is yes. This capability is implemented in Classiq’s open library through the exact_amplitude_amplification  function.

In the standard Grover approach, each iteration rotates the state vector toward the desired subspace by a fixed angle, determined by the ratio of good vs. bad states. Unless this angle divides pi exactly, repeated applications only approximate the desired state, never reaching it with certainty. While this suffices for search tasks, it can be limiting for state preparation.

The function implementation of the exact version is based on the paper Quantum state preparation without coherent arithmetic. By coupling the system to an ancillary qubit, the method modifies the effective rotation angle so that it divides pi exactly. As a result, after a constant number of Grover iterations, the target state is reached with probability 1.

As a toy example, consider amplifying the state ∣1⟩ from a single qubit superposition. Standard Grover overshoots, but the exact variant lands precisely on ∣1⟩. See the full example here.

For a more advanced usage example, see this community notebook (by Seungmin Jeon), where the function is used to exactly prepare and amplify a Gaussian state.

About "The Qubit Guy's Podcast"

Hosted by The Qubit Guy (Yuval Boger, our Chief Marketing Officer), the podcast hosts thought leaders in quantum computing to discuss business and technical questions that impact the quantum computing ecosystem. Our guests provide interesting insights about quantum computer software and algorithm, quantum computer hardware, key applications for quantum computing, market studies of the quantum industry and more.

If you would like to suggest a guest for the podcast, please contact us.

See Also

No items found.

Start Creating Quantum Software Without Limits

contact us