Chapter 12: Modular Exponentiation as a Quantum Operation

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:

Explains how to implement the map |x>|y> to |x>|y + a^x mod N> reversibly and efficiently. The chapter covers repeated squaring, controlled modular multiplication, workspace registers, uncomputation, and the importance of polynomial circuit size.

References

References will be added when this section is generated.