递归Cartan分解（CDs）提供了一种精确分解量子电路为更小部件的方法，使其成为酉合成的核心工具。本文详细概述了递归CDs，阐明其数学结构，展示其算法效用，并在大规模下进行数值实现。我们调整、扩展并统一了现有的递归CDs数学框架，从而获得新见解并简化新的电路分解构造。基于此，我们证明文献中几种领先的合成技术——量子Shannon分解、Block-ZXZ分解和Khaneja-Glaser分解——实现了相同的递归CD。我们还基于正交群和辛群提出了新的递归CD，并推导出参数最优的分解。此外，我们将文献中的CDs数值工具汇总在一个共同背景下，并完善它们以允许经典CDs的所有可能形式以规范形式进行数值实现。作为一个应用，我们高效地将快进哈密顿量时间演化编译为固定深度电路，在一台笔记本电脑上仅用22秒就将包含10³个量子比特的横向场XY模型编译为2×10⁶个门。

Recursive Cartan decompositions (CDs) provide a way to exactly factorize quantum circuits into smaller components, making them a central tool for unitary synthesis. Here we present a detailed overview of recursive CDs, elucidating their mathematical structure, demonstrating their algorithmic utility, and implementing them numerically at large scales. We adapt, extend, and unify existing mathematical frameworks for recursive CDs, allowing us to gain new insights and streamline the construction of new circuit decompositions. Based on this, we show that several leading synthesis techniques from the literature-the Quantum Shannon, Block-ZXZ, and Khaneja-Glaser decompositions-implement the same recursive CD. We also present new recursive CDs based on the orthogonal and symplectic groups, and derive parameter-optimal decompositions. Furthermore, we aggregate numerical tools for CDs from the literature, put them into a common context, and complete them to allow for numerical implementations of all possible classical CDs in canonical form. As an application, we efficiently compile fast-forwardable Hamiltonian time evolution to fixed-depth circuits, compiling the transverse-field XY model on $10^3$ qubits into $2\times10^6$ gates in 22 seconds on a laptop.