Unverified 2026

Degree-Capacity Regularizer for Sparse Routing

Implementation & benchmark of arXiv:2607.16854 — Linear Turán Numbers of Uniform Hypertrees

Usefulness5/10
Difficulty5/10
Novelty5/10

Source paper: Linear Turán Numbers of Uniform Hypertrees arXiv:2607.16854 ⓘ · analyzed Aug 30, 2026

AI-generated research hypothesis, automatically tested. Not peer-reviewed.

Idea description

Use the paper's degree-sensitive crown inequality to penalize or constrain router assignments that create medium- or high-degree tokens or experts. The resulting router favors a controlled population of low-degree, medium-degree, and high-degree nodes rather than allowing a few hubs to absorb most interactions, which can stabilize sparse attention or mixture-of-experts load balancing.

Formulas

$$A=\{v\in V(H):d(v)\geq 2r\},\quad B=\{v\in V(H):d(v)\leq r\},\quad C=\{v\in V(H):r+1\leq d(v)\leq 2r-1\}.$$
$$|E(H)|\leq \frac{r}{r-1}|B|+\frac{2r-1}{r}|C|.$$
$$d(v)=\sum_{e\in E}M_{ve},\qquad \mathcal{R}_{\mathrm{deg}}=\max\left(0,|E|-\frac{r}{r-1}|B|-\frac{2r-1}{r}|C|\right)^2+\lambda_A\sum_{v\in A}(d(v)-2r+1)^2.$$
$$\mathcal{L}_{\mathrm{router}}=\mathcal{L}_{\mathrm{task}}+\lambda_{\mathrm{deg}}\mathcal{R}_{\mathrm{deg}}+\lambda_{\mathrm{pair}}\sum_{u<v}\max\left(0,\sum_eM_{ue}M_{ve}-1\right)^2.$$

Mathematical statement

For a linear r-uniform hypergraph H=(V,E), partition vertices by degree d(v) into A={v:d(v)>=2r}, B={v:d(v)<=r}, and C={v:r+1<=d(v)<=2r-1}. For a crown-free hypergraph E_4^r, the paper proves |E(H)| <= [r/(r-1)]|B| + [(2r-1)/r]|C|, where |E(H)| is the number of hyperedges and |B|,|C| are cardinalities of the degree classes. The result says that edge capacity is controlled by low- and medium-degree vertices, while very high-degree vertices are structurally inefficient under the crown-avoidance condition. Adapt it as a soft capacity objective for a router with assignment incidence M, defining d(v)=sum_e M_{ve}; the exact crown-free premise is not guaranteed for arbitrary learned assignments, so the inequality is used as a regularization target rather than a universal theorem about the neural graph.

Implementation notes

Apply this at the router output of a sparse-attention or MoE layer. Let M_{ve} be a soft assignment probability from token v to group or expert e, with top-k dispatch converted to a differentiable soft matrix during the forward-backward pass. Compute d(v)=sum_e M_{ve}; for hard top-k routing this is the number of selected groups per token, while for MoE it can instead be the number of routed interaction groups associated with token v. At each minibatch, form soft degree masks using sigmoids around thresholds r and 2r: b_v=sigmoid((r+0.5-d(v))/tau), c_v=sigmoid((d(v)-r-0.5)/tau)sigmoid((2r-0.5-d(v))/tau), and a_v=1-b_v-c_v. Replace |B| and |C| in the paper's inequality by sum_v b_v and sum_v c_v. Add the displayed capacity residual, a penalty on excessive A-degree, and optionally the pair-overlap penalty when groups represent attention subsets. Stop gradients through the masks in an initial ablation to avoid unstable threshold dynamics, then anneal tau from 1 to 0.1. The exact degree partition and coefficients come from the paper; the smooth masks and residual are engineering adaptations. First test a 4-layer, 8-expert top-2 MoE on WikiText-2 or CIFAR-100, comparing standard Switch-style load balancing with this regularizer at equal capacity. Log expert load variance, maximum token degree, dropped-token rate, router entropy, training loss, and throughput. Success means lower maximum load and fewer routing overflows without increasing perplexity or reducing tokens-per-second; a negative result is increased routing collapse or no improvement over standard load balancing.

Verification

This idea has not been verified yet.

Verification happens in two stages: Stage 1 — a mechanism check on a toy system confirms the claimed mathematical phenomenon reproduces; Stage 2 — a benchmark implements the idea on a real (small) neural network task and compares it against a tuned baseline over 8 paired seeds with a permutation test.

Artifacts

Artifacts unavailable.