Unverified 2026

Objective-Weighted Graph Partition Router

Implementation & benchmark of arXiv:2607.17158 — A Parallel Evolutionary Algorithm Framework for Graph $k$-CUT Problems

Usefulness5/10
Difficulty6/10
Novelty7/10

Source paper: A Parallel Evolutionary Algorithm Framework for Graph $k$-CUT Problems arXiv:2607.17158 ⓘ · analyzed Aug 30, 2026

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

Idea description

Use the paper's structure-inheriting crossover to construct discrete token-to-expert assignments from two parent routers instead of randomly reinitializing routing assignments. Build a sparse token-similarity graph and optimize an objective combining within-expert similarity, cross-expert separation, and expert-load balance; use the resulting assignment to initialize router logits or to periodically repair overloaded experts. The method is especially suitable for small calibration batches or offline clustering before ordinary differentiable MoE training.

Formulas

$$\mathrm{score}^{1}=\begin{cases}\frac{F(I^{1})}{F(I^{1})+F(I^{2})},&\text{if }\operatorname{opt}=\max,\\[4pt]\frac{F(I^{2})}{F(I^{1})+F(I^{2})},&\text{if }\operatorname{opt}=\min,\end{cases}\qquad \mathrm{score}^{2}=1-\mathrm{score}^{1}.$$
$$\mathrm{lab}(v,\bar I^{1})=\begin{cases}\mathrm{lab}(v,I^{1}),&r\leq\mathrm{score}^{1},\\\mathrm{lab}(v,I^{2}),&r>\mathrm{score}^{1},\end{cases}\qquad r\sim\mathcal U[0,1].$$
$$\Delta_M=F(I\circ M)-F(I),\qquad \mathbb E^{(j)}(I)=\left\{J:\ E(J)\in\mathbb E,\ \left|\{v\in V:\mathrm{lab}(v,J)=\mathrm{lab}(v,I)\}\right|=n-j\right\}.$$
$$F(I)=\lambda_{\mathrm{sim}}\sum_{\{u,v\}\in E}w_{uv}\mathbf 1[z_u=z_v]-\lambda_{\mathrm{load}}\sum_{a=1}^{k}\left(\frac{N_a}{|V|}-\frac{1}{k}\right)^2-\lambda_{\mathrm{sep}}\,\mathrm{Collide}(z),\qquad N_a=\sum_{v\in V}\mathbf 1[z_v=a].$$

Mathematical statement

For a graph G=(V,E), each candidate partition I assigns every vertex v in V to one of k labeled segments, and F(I) is its scalar objective, maximized or minimized depending on the task. Given parent partitions I^1 and I^2 with F(I^1) >= F(I^2), the paper defines the parent inheritance probability as score^1 = F(I^1)/(F(I^1)+F(I^2)) for maximization and score^1 = F(I^2)/(F(I^1)+F(I^2)) for minimization; score^2=1-score^1. For every vertex v, the child label is lab(v,I^1) when a uniform random variable r~U[0,1] satisfies r <= score^1, and lab(v,I^2) otherwise. To avoid invalid probabilities when F can be negative, use positive shifted scores q_i=exp(beta*s_i), where s_i=F(I^i) for maximization and s_i=-F(I^i) for minimization, giving p_1=q_1/(q_1+q_2). The paper defines the j-th neighborhood E^(j)(I) as all partitions J differing from I on exactly j vertices, and defines the move gain Delta_M=F(I composed with M)-F(I). We use single-token moves to repair load imbalance or greedily improve the router objective.

Implementation notes

Integrate this at the MoE router initialization or at a periodic offline refresh, operating on a calibration batch of tokens rather than on every training token. (1) Construct V as token occurrences or token prototypes, and create a sparse graph E by connecting each token to its top-h cosine neighbors; set w_uv to cosine similarity clipped at zero. A candidate I is an integer vector z with z_v in {1,...,k}, where z_v is the selected expert. Define F using the fourth formula, with lambda_sim, lambda_load, and lambda_sep tuned so that load variance is strongly penalized while similar tokens prefer the same expert. (2) Maintain a population of P assignments. Select two parents by tournament or rank selection. For every token v, compute s_i=F(I^i) for maximization, set q_i=exp(beta*s_i) after subtracting max(s_1,s_2) for numerical stability, and set p_1=q_1/(q_1+q_2). Sample the child label from parent 1 with probability p_1 and parent 2 otherwise. (3) Apply local mutations: propose moving a token v from expert a to b, compute the exact or incremental Delta_M, accept the best positive-gain move, and additionally force moves from overloaded experts when N_a exceeds the capacity threshold. Run one-token and small j-token neighborhoods for a fixed budget. (4) Keep the best-scoring diverse assignments, where diversity is Hamming distance between z vectors, then export the best assignment as router-logit initialization: set the selected expert logit to +c and all others to -c, or use it as a temporary hard-routing mask for several warmup steps. The mathematical quantities are F, p_1, and Delta_M; estimate graph edges and weights from embeddings, and estimate objective coefficients on a held-out calibration set. First test on a 4-expert Switch-Transformer-style layer with a small language-model or CIFAR token benchmark, comparing random router initialization, k-means initialization, and learned noisy top-1 routing. Measure expert load coefficient of variation, auxiliary load-balancing loss, validation loss at equal training FLOPs, and the number of dropped or overflowed tokens. A successful result is lower initial routing imbalance and faster loss descent without reducing final perplexity or accuracy.

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.