相位约化是一种研究非线性振荡系统的重要技术。在特定假设下，它可以将每个多维振荡器简化为单一相变量，从而得到如Kuramoto模型这样的简单相位模型。经典方法主要应用于二体相互作用的情况下。然而，越来越多的证据表明，真实系统中的相互作用并非简单的二体相互作用，而是高阶（即多体）相互作用。尽管高阶系统中的同步现象已受到广泛关注，但由于其框架的高度非线性特性，解析结果较为稀缺。本文填补了这一空白，提出了高阶相互作用情形下的通用相位约化理论。我们证明了高阶拓扑结构在相位约化模型中可以被一阶保留，并且在某些对称性存在时，只有奇耦合会对动力学产生影响。此外，通过将该方法应用于具有全连接配置和环状超图拓扑的Stuart-Landau振荡器群体，我们展示了相位约化方法的强大性和灵活性；在这两种情况下，仅通过对相位模型的分析就能提供深刻的见解和解析结果。

Phase reduction is a powerful technique in the study of nonlinear oscillatory systems. Under certain assumptions, it allows us to describe each multidimensional oscillator by a single phase variable, giving rise to simple phase models such as the Kuramoto model. Classically, the method has been applied in the case where the interactions are only pairwise (two-body). However, increasing evidence shows that interactions in real-world systems are not pairwise but higher-order, i.e., many-body. Although synchronization in higher-order systems has received much attention, analytical results are scarce because of the highly nonlinear nature of the framework. In this paper, we fill the gap by presenting a general theory of phase reduction for the case of higher-order interactions. We show that the higher-order topology is preserved in the phase reduced model at the first order and that only odd couplings have an effect on the dynamics when certain symmetries are present. Additionally, we show the power and ductility of the phase reduction approach by applying it to a population of Stuart-Landau oscillators with an all-to-all configuration and with a ring-like hypergraph topology; in both cases, only the analysis of the phase model can provide insights and analytical results.