RPA Phase-Separation Regularizer
Implementation & benchmark of arXiv:2607.15703 — How Topology Shapes the Phase Behavior of Polyelectrolytes
Source paper: How Topology Shapes the Phase Behavior of Polyelectrolytes arXiv:2607.15703 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Treat batches of samples, modalities, or MoE experts as components of a differentiable mixture and add the paper's topology-sensitive RPA free energy to the training objective. Learn a low-dimensional topology descriptor for each component, map it to an effective structure factor, and use the resulting free energy either to promote specialization or to penalize unwanted phase separation in representations.
Formulas
Mathematical statement
The core object is the dimensionless free-energy density from Eq. (1): $$f=\frac{\beta Fb^{3}}{V}=\sum_i\frac{\phi_i}{N_i}\ln\phi_i+\frac12\sum_{i,j}\chi_{ij}\phi_i\phi_j+\frac{b^3}{4\pi^2}\int_0^\infty dk\,k^2\left[\ln\left(1+\frac{4\pi l_{\mathrm B}}{k^2b^3}\sum_i\phi_i\sigma_i^2g_i(k;\mathcal T_i)\right)-\frac{4\pi l_{\mathrm B}}{k^2b^3}\sum_i\phi_i\sigma_i^2\right].$$ The index $i$ denotes a mixture component, $\phi_i\geq0$ is its fraction, $N_i$ is its effective size, $\chi_{ij}$ is a pairwise interaction coefficient, $b$ is a microscopic length, $\beta=(k_{\mathrm B}T)^{-1}$, $l_{\mathrm B}$ controls interaction strength, $\sigma_i$ is effective charge density, $k$ is wave number, and $g_i(k;\mathcal T_i)$ is a topology-dependent form factor. The shared spectral response is $S(k)=\sum_i\phi_i\sigma_i^2g_i(k;\mathcal T_i)$. For implementation, use the positive proxy $g_i(k;\mathcal T_i)=\exp[-(kr_i)^2]$ with $r_i=\operatorname{softplus}(w^ op\mathcal T_i)$, where $\mathcal T_i$ is a learned or fixed descriptor. The subtraction of the linear term regularizes the high-$k$ correlation contribution. A useful derivative for checking autodiff is $$\frac{\partial f_{\mathrm{corr}}}{\partial\phi_a}=\frac{b^3}{4\pi^2}\int_0^{k_{\max}}dk\,k^2\left[\frac{A\sigma_a^2g_a(k)}{1+A S(k)}-A\sigma_a^2\right],\quad A=\frac{4\pi l_{\mathrm B}}{k^2b^3}.$$
Implementation notes
First, integrate the regularizer after the network produces a batch of embeddings or MoE routing probabilities. Partition the batch into $K$ components using known labels, modality IDs, augmentation groups, or soft expert assignments; in an MoE, set $\phi_i$ to the batch mean router probability for expert $i$. Give each component a descriptor $\mathcal T_i$ from a learned embedding table and compute $r_i=\operatorname{softplus}(w^\top\mathcal T_i)+\epsilon$. Precompute a fixed positive quadrature grid $k_q$ and weights $u_q$ on $[k_{\min},k_{\max}]$. For each training batch, compute $g_{iq}=\exp[-(k_qr_i)^2]$, $S_q=\sum_i\phi_i\sigma_i^2g_{iq}$, and $A_q=4\pi l_B/(k_q^2b^3)$. Evaluate the correlation term as $b^3/(4\pi^2)\sum_q u_qk_q^2[\log(1+A_qS_q)-A_q\sum_i\phi_i\sigma_i^2]$, then add $\sum_i(\phi_i/N_i)\log(\phi_i+\epsilon)$ and $0.5\sum_{ij}\chi_{ij}\phi_i\phi_j$. Add $\lambda_{\mathrm{RPA}}f$ to the task loss and backpropagate through routing fractions and topology descriptors. The paper supplies the log-response structure; the Gaussian form factor, cutoffs, quadrature resolution, and coefficients are engineering choices. Use $k_{\min}>0$ for numerical safety and clamp the logarithm argument away from zero. Start with fixed $N_i$, $\sigma_i$, and $\chi_{ij}$; only learn $r_i$ after verifying the fixed-form-factor baseline. On CIFAR-10, train a small four-expert MoE and compare standard load balancing with the regularizer. Sweep $\lambda_{\mathrm{RPA}}$ and $l_B$, measuring accuracy, expert entropy, class-expert mutual information, load variance, and dead-expert frequency. Success for specialization is improved accuracy or class-expert mutual information at equal FLOPs without unacceptable load imbalance; success for invariance is improved corruption or augmentation robustness when the sign or component assignment is chosen to discourage separation.
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.