对于qubit系统的量子最大割（QMC）问题是局部哈密顿量问题的一个例子，并且是计算复杂性理论中的一个突出范例。本文研究了更高维度的QMC问题对于qudit系统的类比的代数结构。量子最大$d$-割（d-QMC）问题旨在寻找定义在具有$n$个顶点的图上的哈密顿量的最大特征值，其边对应于作用于$(\mathbb{C}^d)^{\otimes n}$上的交换算符。由交换算符生成的代数被识别为自由代数模去对称群关系以及一个额外的$d$次关系的商代数。这种表述导致了一种专门的半定规划层次结构，利用非交换多项式优化（NPO）方法，收敛到d-QMC问题的解。对于一大类完全二分图，利用对称群表示论得到了d-QMC问题的精确解，这特别包括$n$个顶点的团图和星图的d-QMC问题，适用于所有$d$和$n$。最后，论文讨论了一个细化的d-QMC问题，专注于找到图哈密顿量中每个同构成分（不可约块）的最大特征值。结果显示，星图哈密顿量的谱可以区分3-QMC问题的同构成分。对于一般的$d$，给出了分离同构成分的低次关系，从而能够调整全局NPO层次结构以有效地计算每个同构成分的最大特征值。

Quantum Max Cut (QMC) problem for systems of qubits is an example of a 2-local Hamiltonian problem, and a prominent paradigm in computational complexity theory. This paper investigates the algebraic structure of a higher-dimensional analog of the QMC problem for systems of qudits. The Quantum Max d-Cut (d-QMC) problem asks for the largest eigenvalue of a Hamiltonian on a graph with n vertices whose edges correspond to swap operators acting on $(\mathbb{C}^d)^{\otimes n}$. The algebra generated by the swap operators is identified as a quotient of a free algebra modulo symmetric group relations and a single additional relation of degree d. This presentation leads to a tailored hierarchy of semidefinite programs, leveraging noncommutative polynomial optimization (NPO) methods, that converges to the solution of the d-QMC problem. For a large class of complete bipartite graphs, exact solutions for the d-QMC problem are derived using the representation theory of symmetric groups. This in particular includes the d-QMC problem for clique and star graphs on n vertices, for all d and n. Lastly, the paper addresses a refined d-QMC problem focused on finding the largest eigenvalue within each isotypic component (irreducible block) of the graph Hamiltonian. It is shown that the spectrum of the star graph Hamiltonian distinguishes between isotypic components of the 3-QMC problem. For general d, low-degree relations for separating isotypic components are presented, enabling adaptation of the global NPO hierarchy to efficiently compute the largest eigenvalue in each isotypic component.