Unverified 2026

Approximation-Aware Hard-Core Routing

Implementation & benchmark of arXiv:2607.21398 — A Hard-Core Subshift Whose Sofic Mean Dimension Depends on the Sofic Approximation

Usefulness6/10
Difficulty5/10
Novelty7/10

Source paper: A Hard-Core Subshift Whose Sofic Mean Dimension Depends on the Sofic Approximation arXiv:2607.21398 ⓘ · analyzed Aug 30, 2026

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

Idea description

Construct a sparse routing or graph-neural architecture whose activation gates satisfy a hard-core constraint: neighboring sites, experts, or token groups cannot be active simultaneously. Compare the same local routing rule on bipartite and random regular interaction graphs; the graph structure should change the maximum usable activation dimension and may also change optimization stability.

Formulas

$$X_{hc} = \{x \in [0,1]^{F_2} : x_g x_{gs} = 0 \text{ for every } g \in F_2, s \in \{a,b\}\}.$$
$$H(G) = \{z \in [0,1]^{|V|} : z_u z_v = 0 \text{ for every } (u,v) \in E\}, \qquad \text{capacity}(G) \approx \frac{\alpha(G)}{|V|}.$$
$$\operatorname{dim}_{hc}(G_{bip}) = \frac{1}{2}, \qquad \frac{1}{5} \leq \operatorname{dim}_{hc}(G_{rand}) \leq \frac{9}{20}.$$
$$L_{total} = L_{task} + \lambda \sum_{(u,v) \in E} z_u z_v + \beta \sum_{v \in V} z_v.$$

Mathematical statement

Let G = (V,E) be an interaction graph and let z_v in [0,1] denote an activation or routing weight at vertex v. The hard-core feasible set is H(G) = {z in [0,1]^V : z_u z_v = 0 for every edge (u,v) in E}. Its combinatorial capacity is related to the maximum independent-set density alpha(G)/|V|, where alpha(G) is the largest number of pairwise nonadjacent vertices. The paper gives dimension 1/2 for its bipartite approximation and a value between 1/5 and 9/20 for its random-permutation approximation. In a neural implementation, use a soft penalty on forbidden neighboring activations and optionally project the gates onto a maximal independent set.

Implementation notes

Integrate this mechanism as a routing layer in a mixture-of-experts MLP or as a sparse message-passing layer in a graph neural network. Create n experts or token slots with a fixed interaction graph of matched degree and compute routing logits r_v from the hidden state h. Convert logits to soft gates z_v = sigmoid(r_v divided by temperature tau). During training use the total loss L_task plus lambda times the sum of z_u z_v over graph edges, plus beta times the total activation mass. For exact feasibility at inference, replace soft gates with a greedy maximal-independent-set projection: sort vertices by gate score, accept a vertex, and reject all of its neighbors. The paper supplies the local incompatibility rule and the contrast between graph families; estimate alpha(G)/n, active fraction, effective Jacobian rank, routing collisions, and task loss empirically. The first cheap experiment should use 1,024 experts, degree-four graphs, and a two-layer MoE on CIFAR-10 or synthetic token classification. Compare a connected bipartite graph with a random regular graph while matching degree, parameter count, and optimizer. The falsifiable prediction is that the bipartite graph permits effective active dimension near 0.50, whereas the random graph falls between 0.20 and 0.45. The measured activation fraction or Jacobian-rank density should differ by at least 0.05. Increasing lambda should drive both systems toward their graph-dependent capacity bounds, and excessive lambda should produce a measurable task-loss kink when the desired active fraction exceeds the independent-set density.

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.