Convex-order stochastic expert layer
Implementation & benchmark of arXiv:2608.19576 — Convex order preservation for graphon mean-field systems
Source paper: Convex order preservation for graphon mean-field systems arXiv:2608.19576 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Replace a deterministic mixture-of-experts residual block with K population-indexed stochastic expert states coupled through a graphon matrix. The layer uses a shared drift and expert-dependent diffusion, while an empirical convex-order penalty makes later representations more dispersed than a reference representation without permitting a mean shift.
Formulas
Mathematical statement
The paper defines convex order by μ≼cvν iff ∫φ(x)μ(dx)≤∫φ(y)ν(dy) for every convex φ:R^d→R. Taking φ(x)=x_j and φ(x)=−x_j shows that convex-ordered distributions have equal means. Its Euler systems are X̄^u_{m+1}=b_m(X̄^u_m)+σ^u_m(X̄^u_m,μ̄_m)Z^u_{m+1} and Ȳ^u_{m+1}=b_m(Ȳ^u_m)+θ^u_m(Ȳ^u_m,ν̄_m)Z^u_{m+1}, where u indexes a population group, m is the discretized time or layer index, b_m is the drift, σ^u_m and θ^u_m are diffusion maps, Z^u_{m+1} is centered noise, and μ̄_m,ν̄_m are the groupwise laws. In a neural layer, use a finite convex probe family φ_r and enforce empirical inequalities C_r=(1/B)Σ_i φ_r(y_i)−(1/B)Σ_i φ_r(x_i)≥0 together with empirical mean matching. This finite condition is only a practical approximation to the all-convex-functions definition.
Implementation notes
(1) Integration point: insert the module as a stochastic residual block in a small MoE transformer, graph encoder, or MLP-MoE. Maintain K expert states h[u] in R^d for each token or batch item. Let W be a K×K nonnegative row-normalized interaction matrix and q a learned projection. (2) Pseudocode: initialize h; for m in 1..M, compute c[u]=Σ_v W[u,v]q(h[v]); compute drift=difference network b(h[u],c[u]); compute diagonal diffusion s[u]=softplus(g(h[u],c[u]))+δ; sample ξ[u]~N(0,I); set h[u]=h[u]+dt*b+sqrt(dt)*s[u]*ξ[u]. Produce candidate samples y and reference samples x using shared noise where possible. For R convex probes φ_r, calculate C[r]=mean(φ_r(y))−mean(φ_r(x)); add α times mean(ReLU(ε−C[r])) plus λ times squared mean difference to the task loss. Use φ_r(a)=|a_j|, a_j², ReLU(w_r^T a+t_r), and (w_r^T a)². (3) The exact paper machinery is the Euler update and convex-order definition; the all-convex condition is estimated empirically through R probes. Estimate W with a low-rank parameterization W=rownorm(softplus(AB^T)) to keep cost manageable. (4) First experiment: K=8, CIFAR-10, four-layer MLP-MoE, comparing deterministic MoE, independent Gaussian residual noise, and this layer at matched parameter count. Record accuracy, expected calibration error, robustness under input noise, mean drift, convex-probe violations, and loss variance across seeds. Success means better calibration or corruption accuracy at equal clean accuracy, fewer violations across depth, and less than 10% training overhead.
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.