Chapter 12: The Geometry of Amplitude Amplification

This section is already in the book plan, but it has not been written fully yet. The book owner can press Generate section to write this part with the language model connected to TheoryTrace.

Section plan:

Presents Grover's algorithm as rotation in a two-dimensional subspace spanned by marked and unmarked states, giving the clearest explanation of why repeated iterations increase success probability.