Unverified 2026

Ensemble-Averaged Sparse Graph Search

Implementation & benchmark of arXiv:2607.08484 — Learning LDPC codes with quantized density evolution over relaxed protographs

Usefulness5/10
Difficulty5/10
Novelty5/10

Source paper: Learning LDPC codes with quantized density evolution over relaxed protographs arXiv:2607.08484 ⓘ · analyzed Aug 30, 2026

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

Idea description

Replace a binary neural connectivity mask by independent Bernoulli edge probabilities and optimize a deterministic expected message-passing objective before discretization. The resulting module can search sparse GNN edges or expert-to-token routes without repeatedly sampling many discrete architectures during training.

Formulas

$$Q_{i\to j}^{(0)}=L_i,\qquad j\in\mathfrak{M}(i).$$
$$H_{uv}^{(l)}\sim\operatorname{Bernoulli}(P_{uv}^{(l)}),\qquad P_{uv}^{(l)}\in[0,1],$$
$$\mathcal{L}_{\mathrm{rel}}(P)=\mathbb{E}_{H\sim\prod_{l,u,v}\operatorname{Bernoulli}(P_{uv}^{(l)})}\left[\mathcal{L}(H)\right],$$
$$m_u^{(l)}=\sum_v P_{uv}^{(l)}W_lh_v^{(l)},\qquad h_u^{(l+1)}=\phi\!\left(W_{\mathrm{self},l}h_u^{(l)}+m_u^{(l)}\right),\qquad \mathcal{J}=\mathcal{L}_{\mathrm{task}}+\lambda\sum_{l,u,v}P_{uv}^{(l)}.$$

Mathematical statement

The paper associates a relaxed protograph P with a binary ensemble H whose entries are independently sampled as H_{ji} ~ Bernoulli(P_{ji}), where P_{ji} in [0,1] is the probability that edge (j,i) exists. Its central construction is a relaxed density-evolution objective that equals the ensemble-averaged decoder performance, written here as L_rel(P) = E_{H ~ prod_{j,i} Bernoulli(P_{ji})}[L(H)], so gradients are taken with respect to probabilities rather than integer edge indicators. The extracted decoder initialization is Q_{i->j}^{(0)} = L_i for every neighboring check node j in M(i), where L_i is the channel log-likelihood ratio and Q is a variable-to-check message. For a neural message-passing analogue, let P_{uv}^{(l)} be the probability of an edge from node v to node u at layer l, h_v^{(l)} in R^d be the source embedding, W_l be a trainable message matrix, and phi be the node nonlinearity. The deterministic mean-field update is m_u^{(l)} = sum_v P_{uv}^{(l)} W_l h_v^{(l)} and h_u^{(l+1)} = phi(W_{self,l}h_u^{(l)} + m_u^{(l)}). This computes the expected preactivation conditional on h^{(l)}; nonlinear propagation is a mean-field approximation, so final discrete sampled graphs must be evaluated separately. Add a sparsity penalty lambda sum_{u,v} P_{uv}^{(l)} to make the relaxed optimum deployable.

Implementation notes

1. Integration point: modify the aggregation operation of a 2-4 layer message-passing GNN on a fixed candidate edge superset. Store one trainable logit a_uv^(l) per candidate directed edge and define P_uv^(l)=sigmoid(a_uv^(l)); during the relaxed phase, do not sample or materialize a binary adjacency. Replace the usual aggregation sum_v H_uv W_l h_v by m_u^(l)=sum_v P_uv^(l)W_l h_v. Add lambda times the sum of probabilities to the task loss, and optionally add a target-density penalty (sum P / number of candidates - rho)^2. 2. Pseudocode: initialize node states h; for each layer l, compute P=sigmoid(a_l), messages z_v=W_l h_v, aggregate m_u=sum_v P[u,v]*z_v, update h=phi(Wself_l*h+m); backpropagate J=L_task+lambda*sum(P). Every K steps, construct a discrete graph by top-k thresholding or Bernoulli sampling, run the same forward pass, and record validation accuracy and edge count. 3. Computed from the paper's mathematics: the Bernoulli ensemble interpretation, deterministic probability-weighted aggregation, and gradients through edge probabilities. Estimated empirically: the nonlinear ensemble loss, the threshold meeting the desired sparsity, and whether relaxed edge ranking predicts sampled-graph usefulness. At evaluation intervals, estimate the true ensemble loss with 8-32 sampled masks. 4. First experiment: use a 2-layer GCN on Cora or a synthetic stochastic block model, with all candidate edges available and a 10-25% target density. Compare dense GCN, post-training magnitude pruning, Gumbel/DARTS edge search, and this method at equal epochs and parameter budgets. Success means higher validation accuracy at the same edge budget, smoother loss descent than sampled-mask training, strong correlation between relaxed validation loss and thresholded-graph performance, and at least 4x fewer deployed edges with no more than a 1 percentage point accuracy loss. Measure sparse inference latency and memory after conversion.

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.