---
title: 'Cut Hierarchy: Multi-Level Refinements'
url: https://www.emergentmind.com/topics/cut-hierarchy
type: topic
---

# Cut Hierarchy: Multi-Level Refinements

Search arXiv for papers on "cut hierarchy" across clustering, optimization, graph algorithms, and quantum max cut.
Cut hierarchy is not a single universal construction. In current arXiv usage, the term and closely related phrases denote several families of hierarchical objects built around cut decisions: multi-level pruning rules on dendrograms, level-by-level LP/SDP/SoS relaxations for cut objectives, recursively maintained graph decompositions that preserve cut-flow structure, and domain-specific hierarchical cut mechanisms in road networks, ray tracing, MILP solvers, and low-multiplicity event mixing [2212.05367] [1911.10304] [2005.02369] [2311.11063]. The unifying theme is that a cut is not treated as a single flat decision: either the cut is chosen at multiple scales in a tree, or feasibility and optimality are refined through a hierarchy of increasingly structured constraints.

## 1. Core meanings of cut hierarchy

Across the literature, two broad meanings recur. First, a cut hierarchy can be a **recursive decomposition**: a tree, dendrogram, or multilevel partition in which different substructures are cut at different depths. Second, it can be a **relaxation hierarchy**: a sequence of LP, SDP, SoS, or ncSoS programs whose higher levels impose stronger consistency conditions on cut variables or cut-induced observables [2512.08741] [1801.04497] [2307.15661].

| Setting | Hierarchical object | Representative papers |
|---|---|---|
| Clustering | Multi-level dendrogram cuts or optimal pruning paths | [2212.05367], [2512.08741] |
| Classical cut optimization | Sherali-Adams, Lasserre, and related relaxations | [1911.10304], [1006.3970], [1801.04497] |
| Quantum cut optimization | Symmetry-adapted ncSoS or NPA hierarchies | [2307.15661], [2307.15688] |
| Graph data structures | Expander hierarchies and balanced tree hierarchies | [2005.02369], [2311.11063] |
| Applied cut control | Hierarchy cut code, hierarchical cut selection, IMEHC cut | [2305.16652], [2302.00244], [1810.11592] |

A useful synthesis is that the first meaning refines *where* a cut is placed, while the second refines *what constraints certify* a cut’s quality. This suggests that “cut hierarchy” is best understood as a design pattern rather than a single formal definition.

## 2. Dendrogram pruning and multi-level cutting

In hierarchical clustering, the simplest pruning rule is a single horizontal cut. Two recent lines of work show that this is often suboptimal. “Weakest-link optimal pruning” formulates pruning as a cost-complexity problem on a dendrogram \(T\), with within-cluster dispersion
\[
R(t)=\sum_{x_i,x_{i'}\in t}\|x_i-x_{i'}\|^2,\qquad
R(T)=\sum_{t\in \tilde T}R(t),
\]
and penalized objective
\[
R_\alpha(T)=R(T)+\alpha |\tilde T|.
\]
At each step, the weakest link is the internal node whose collapse causes the smallest increase in loss per leaf removed. For every fixed number of clusters \(k\), the size-\(k\) subtree on the weakest-link path has \(R(T)\) no larger than any size-\(k\) subtree obtainable by a horizontal cut [2212.05367].

The adaptive-cut framework generalizes this idea from one-dimensional cut-height selection to combinatorial multi-cut selection on a dendrogram \(T\). It optimizes
\[
\pi^\star=\arg\max_{\pi\in X(T)} f(\pi),
\]
where \(X(T)\) is the set of partitions obtainable by multi-cutting \(T\), and \(f\) can be link-clustering partition density \(D(\pi)\) or graph modularity \(Q(\pi)\). The search is performed by an MCMC with simulated annealing, initialized at the single-cut optimum, and driven by merge/split moves along the dendrogram [2512.08741].

A central diagnostic in the adaptive-cut paper is the balancedness score
\[
B(T)=\frac{1}{L}\sum_{l=1}^L
\frac{H(\pi_l)-H_{\min}(k_l,n)}{H_{\max}(k_l)-H_{\min}(k_l,n)},
\]
where \(H(\pi_l)\) is the entropy of the level-\(l\) partition. The paper shows \(0\le B\le 1\), with \(B=1\) for perfectly even splits and \(B=0\) for caterpillar dendrograms. Empirically, when \(B\ll 1\), gains from multi-level cuts can be large: on a varying-density SBM, partition density improved from \(0.325\) to \(0.450\) (about \(38.5\%\)), AMI improved by about \(20\)–\(30\%\), and on more than 200 real networks, link-clustering gains were typically \(10\)–\(100\%\) when \(B<0.5\); modularity gains reached \(5\)–\(10\%\) on highly unbalanced trees [2512.08741].

These results directly address a common misconception: that a dendrogram is fully summarized by a single cut height. The pruning and adaptive-cut literature instead shows that the relevant hierarchy is often the tree itself, not a scalar threshold.

## 3. Relaxation hierarchies for classical cut problems

For classical cut optimization, “cut hierarchy” often means a sequence of progressively tighter relaxations. In Max-Cut, the degree-\(d\) Sherali-Adams relaxation introduces local distributions or pseudoexpectations over subsets of size at most \(d\), with objective
\[
\SA_d(G)=
\max_{\widetilde\E}\frac12\sum_{i<j}w_{ij}\bigl(1-\widetilde\E[x_i x_j]\bigr).
\]
A principal result is that for every constant \(\alpha>0\), degree \(d=n^\alpha\) Sherali-Adams, of size \(\exp(\widetilde O(n^\alpha))\), achieves a \(\bigl(\tfrac12+\epsilon'(\alpha)\bigr)\)-approximation with \(\epsilon'(\alpha)=\exp(-O(1/\alpha^3))\). The same work gives additive-\(\epsilon\) approximation on low threshold-rank graphs at degree controlled by the threshold rank, and extends the framework to Unique Games [1911.10304].

For Sparsest Cut on bounded-treewidth graphs, Sherali-Adams appears in a different role. A level-\((r+3)\) SA relaxation is solved locally on bags of a width-\(r\) tree decomposition, and the rounding algorithm patches local distributions bag-by-bag to produce a global cut. The resulting algorithm gives the first constant-factor approximation for Sparsest Cut with general demands in bounded-treewidth graphs, running in \((2^r n)^{O(1)}\) time [1006.3970].

For simultaneous Max-Cut, a constant-level Lasserre hierarchy strengthens the natural SDP by enforcing large cut value even after conditioning on small partial assignments. Combined with a Raghavendra–Tan style rounding and a degree-7 bias function,
\[
f_R(x)=0.79x+0.07x^3+0.14x^7,
\]
this yields a polynomial-time \(0.8780\)-approximation for every constant number \(k\) of instances [1801.04497].

The landscape is not monotone across problem variants. For MAX BISECTION, a 2025 integrality-gap construction shows that the standard two-phase paradigm—first obtaining an \(\varepsilon\)-uncorrelated Basic SDP solution, then rounding it to an almost balanced cut—cannot achieve the Goemans–Williamson ratio \(\alpha_{GW}\) if it relies only on \(\varepsilon\)-uncorrelatedness. The paper constructs an explicit instance with ratio below \(0.87853<\alpha_{GW}\) for some \(\varepsilon\)-uncorrelated solution of the Basic SDP relaxation [2512.04951].

Taken together, these results show that hierarchy strength is problem-sensitive. A stronger hierarchy can close gaps for Max-Cut or simultaneous Max-Cut, but analogous low-level information may still be insufficient for balanced variants.

## 4. Quantum Max-Cut hierarchies

Quantum Max-Cut has produced a distinct family of cut hierarchies built from operator algebras rather than classical cut variables. One approach replaces the usual Pauli-based quantum Lasserre viewpoint with a hierarchy over the algebra generated by swap operators \(S_{ij}\), using the identity
\[
H_{\mathrm{QMC}}(G)=\sum_{(i,j)}2w_{ij}(I-S_{ij}).
\]
The resulting swap-ncSoS hierarchy enforces a finite presentation of the swap algebra, including \(S_{ij}^2=I\), braid relations, disjoint commutation, and the triangle-pair identity. Its level-\(d\) relaxation optimizes a moment matrix over monomials in the swap generators. The hierarchy converges finitely, degree \(\lceil n/2\rceil\) suffices, and level 2 was numerically exact up to tolerance \(10^{-7}\) on all unweighted instances with at most 8 vertices [2307.15661].

A parallel development builds an SU(2)-symmetric NPA hierarchy in the projector variables
\[
h_{ij}=\tfrac14(-X_iX_j-Y_iY_j-Z_iZ_j)\succeq 0,
\qquad
H_G=\sum_{(i<j)\in E(G)}w_{ij}h_{ij}.
\]
Its moment matrices enforce positivity, normalization, and SU(2)-specific algebraic constraints, including
\[
h_{ij}h_{jk}+h_{jk}h_{ij}=\tfrac12(h_{ij}+h_{jk}-h_{ik}).
\]
This hierarchy also converges finitely, with exactness guaranteed by level \(k^*=\binom{n}{2}\), though many graph families are solved much earlier [2307.15688].

The two quantum papers emphasize that symmetry-adapted hierarchies can be both smaller and stronger than generic Pauli-based relaxations. The swap-based paper reports that level 2 often outperforms or matches Pauli-ncSoS at far lower SDP size, while the SU(2)-symmetric paper gives analytic exactness at level 1 for star graphs and complete bipartite graphs, exactness for even \(K_n\), and a level-1 gap of exactly \(3/8\) for odd \(K_n\) [2307.15661] [2307.15688].

A plausible implication is that in quantum cut problems, the decisive hierarchy is often the symmetry hierarchy of the Hamiltonian rather than the generic hierarchy of local observables.

## 5. Structural graph hierarchies and parameter landscapes

A different notion of cut hierarchy arises when a graph is recursively decomposed so that cuts and flows are preserved approximately at every level. The expander hierarchy is such a construction. It starts from a boundary-linked expander decomposition, recursively contracts clusters, and forms a tree whose edges are annotated with capacities. The resulting tree is a tree-flow sparsifier of quality \(n^{o(1)}\), and the hierarchy can be maintained fully dynamically with \(n^{o(1)}\) worst-case update time [2005.02369].

The consequences are extensive. The same paper gives the first fully dynamic deterministic algorithm with \(n^{o(1)}\) worst-case update time that supports \(n^{o(1)}\)-approximate conductance, \(s\)-\(t\) maximum flows, and \(s\)-\(t\) minimum cuts in \(O(\log^{1/6} n)\) query time; a deterministic fully dynamic connectivity algorithm with \(n^{o(1)}\) worst-case update time; and a dynamic treewidth-decomposition algorithm on constant-degree graphs maintaining width \(\mathrm{tw}(G)\cdot n^{o(1)}\) [2005.02369].

Balanced tree hierarchy serves an analogous role in road-network indexing. In Hierarchical Cut 2-Hop Labelling, the hierarchy is a rooted binary tree whose cuts are \(\beta\)-balanced and satisfy the cut-vertex condition that every pair \(s,t\) has a cut-vertex in \(\mathrm{LCA}_H(s,t)\) lying on some shortest path. Querying reduces to finding the LCA in \(O(1)\) and scanning only the label arrays at that cut level in \(O(c_{\max})\). On ten real-world road networks, HC2L is reported to be \(1.5\)–\(4\times\) faster per query than the baselines, with label size up to \(60\%\) smaller; the parallel variant HC2L\(^p\) is \(2\)–\(4\times\) faster in construction than any baseline [2311.11063].

Another use of “cut hierarchy” is classificatory rather than algorithmic. For Two-Sets Cut-Uncut, the parameterized-complexity landscape orders graph parameters by the strength of algorithmic consequences. The paper gives a polynomial kernel for feedback-edge-set number, reducible to at most \(5k\) vertices and \(6k\) edges when \(\mathrm{fes}(G)=k\); FPT algorithms for distance to cographs in \(O(k^{O(k)}n^3)\) time and for treewidth in \(O(n\cdot k^{O(k)})\); XP algorithms such as \(n^{4k^2}\) for vertex-cover number; and para-NP-hardness for several weaker parameters [2408.13543].

Here the hierarchy is not a sequence of relaxations or cuts on a tree. It is a hierarchy of structural parameters governing when cut-uncut constraints cross from kernelizable to merely FPT, then XP, and finally intractable.

## 6. Operational and domain-specific cut hierarchies

Several applied systems use hierarchical cuts as operational primitives rather than as approximation hierarchies. In ray tracing, Hierarchy Cut Code encodes a ray by its intersections with a cut \(C=\{c_1,\dots,c_m\}\) of a BVH:
\[
\mathrm{HCC}(r)=(b_1\cdots b_m),\qquad
b_i=1 \text{ iff } r \text{ intersects } c_i.
\]
The code aligns sorting keys with the BVH rather than with Euclidean coordinates, and the multi-level compressed variant MLHCC reduces sorting cost. On secondary rays, HCC accelerates tracing by up to \(1.81\times\), and replacing 32-bit HCC by 16-bit MLHCC reduces total encoding-plus-sorting overhead from \(13.86\) ms to \(8.83\) ms in the Breakfast scene [2305.16652].

In mixed-integer linear programming, hierarchical cut selection appears as a decision policy. HEM decomposes the action into a high-level model that selects the cut count and a low-level sequence model that selects an ordered subset of cuts. This jointly addresses which cuts to prefer, how many to choose, and in what order to add them. On the reported benchmarks, HEM reduces solve time by about \(70\)–\(80\%\) versus NoCuts on easy instances, improves over SBP by about \(10\)–\(20\%\), reduces PD-integral on CORLAT by about \(62\%\) versus NoCuts and about \(34\%\) versus SBP, and improves PD-integral on MIPLIB mixed neos by about \(36\%\) versus Default and SBP [2302.00244].

In low-multiplicity event mixing for \(\pi\pi X\) final states, the IMEHC cut imposes a hierarchy correspondence on either the \(\pi X\) invariant mass ordering or the pion-energy ordering, chosen randomly with \(50\%\) probability, while MMC and ESO cuts are always enforced. In numerical tests for \(\gamma p\to\pi^0\pi^0 p\), the new IMEHC+MMC+ESO scheme reduced the underestimation of \(\lambda_2\) from \(22\%\) to \(18\%\), while the bias in \(r_0\) was not significantly improved [1810.11592].

These applications show that the hierarchy idea also functions as a practical control mechanism: it restricts the combinatorial search space by respecting the latent structure of a BVH, a cut pool, or a kinematic configuration.

Cut hierarchy therefore names a family of techniques whose common purpose is to refine cut decisions without flattening the underlying structure. In clustering it replaces a single cut height by subtree-aware pruning; in approximation algorithms it replaces one-shot relaxations by levelwise consistency; in graph algorithms it turns cut structure into a maintained tree; and in systems applications it encodes, orders, or constrains local decisions according to a hierarchy already present in the problem instance.

Source: https://www.emergentmind.com/topics/cut-hierarchy