[Empty Draft] Demo: The KAK theorem

[dwierichs]

Title: The KAK theorem

Summary: The KAK theorem is a group theoretical tool to decompose operators into a sequence of smaller operators. It brings an abstract mathematical structure to direct use in compilation and simulation tasks.

In this demo we will explain the mathematical objects "Lie subalgebra", "Cartan involution", and "symmetric space", which are prerequisites to the KAK theorem. Then we state the theorem and explain how it powers a standard circuit decomposition/template construction technique, which also proves the universality of single- and two-qubit operations for quantum computing. All steps are illustrated with mathematical and code examples.

Relevant references:

TBD

Possible Drawbacks: N/A

Related GitHub Issues: TBD: FDHS demo PR

[sc-74884]

---

If you are writing a demonstration, please answer these questions to facilitate the marketing process.

• GOALS — Why are we working on this now?

• The theorem uses Lie algebra theory, for which functionalities were recently added to PennyLane.
• It can be seen as a follow-up/extension/application of the more basic Introduction to Lie algebras demo and it is related to content about Lie algebraic simulation (g-sim| (g+P)-sim).
• There will be a close follow-up demo on "Fixed-depth Hamiltonian simulation", which makes use of the KAK theorem.

• AUDIENCE — Who is this for?

• Researchers/Learners that would like to understand the mathematical structure behind the KAK theorem and Khaneja-Glaser circuit templates.
• Researchers/Learners that would like to familiarize themselves with Lie algebraic tools in PennyLane beyond a basic introduction and the simulation-related tools in the existing content pieces.
• Researchers/Learners that would like to read/understand the "Fixed-depth Hamiltonian simulation" demo.

• KEYWORDS — What words should be included in the marketing post?

"KAK theorem" "Lie algebra" "Symmetric space" "Cartan decomposition" and/or "Cartan involution" "Khaneja-Glaser decomposition" "Circuit templates" "Universality"

• Which of the following types of documentation is most similar to your file? (more details here)

• [ ] Tutorial
• [x] Demo
• [ ] How-to