Unverified 2026

Boundary-Hankel Mediator Regularization

Implementation & benchmark of arXiv:2608.15926 — A Control-Theoretic Formulation of Global Workspace Theory

Usefulness6/10
Difficulty6/10
Novelty7/10

Source paper: A Control-Theoretic Formulation of Global Workspace Theory arXiv:2608.15926 ⓘ · analyzed Sep 1, 2026

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

Idea description

Treat a selected neural submodule as an open dynamical system embedded in the rest of the network. Regularize it to contain internal modes that are simultaneously reachable from many external features and observable through many external outputs, rather than behaving as a one-sided receiver, broadcaster, or disconnected read/write split.

Formulas

$$x_{t+1}=Ax_t$$
$$z_{t+1}=Fz_t+Bu_t,\qquad y_t=Cz_t,\qquad F=A_{SS},\ B=A_{SR},\ C=A_{RS}$$
$$W_R(T)=\sum_{k=0}^{T-1}F^kBB^\top(F^k)^\top,\qquad W_O(T)=\sum_{k=0}^{T-1}(F^k)^\top C^\top CF^k$$
$$H_T=\mathcal{O}_T\mathcal{R}_T,\quad \mathcal{R}_T=[B,FB,\ldots,F^{T-1}B],\quad \mathcal{O}_T=\begin{bmatrix}C\\CF\\\vdots\\CF^{T-1}\end{bmatrix},\quad \mathcal{L}_{\mathrm{GMW}}=-\frac{\|H_T\|_*}{\|W_R(T)\|_F^{1/2}\|W_O(T)\|_F^{1/2}+\epsilon}+\lambda_r\,\mathrm{ReLU}(r_0-r_{\mathrm{eff}})^2+\lambda_g\|F\|_F^2$$

Mathematical statement

The paper starts from the local discrete-time network dynamics $x_{t+1}=Ax_t$, where $x_t\in\mathbb{R}^n$ is the network state and $A_{ij}$ is the predictive influence from source node $j$ to target node $i$. Partition the state into candidate-module coordinates $z_t\in\mathbb{R}^d$ and external coordinates $r_t\in\mathbb{R}^{n-d}$, giving the open subsystem $z_{t+1}=Fz_t+Bu_t$ and external readout $y_t=Cz_t$, with $F=A_{SS}$, $B=A_{SR}$, $C=A_{RS}$, $u_t=r_t$, and $y_t$ the effect returned to the remainder. For horizon $T$, the finite-horizon reachability Gramian is $W_R(T)=\sum_{k=0}^{T-1}F^kBB^\top(F^k)^\top$ and the observability Gramian is $W_O(T)=\sum_{k=0}^{T-1}(F^k)^\top C^\top CF^k$. The boundary Hankel operator is represented in finite dimensions by $H_T=\mathcal{O}_T\mathcal{R}_T$, where $\mathcal{R}_T=[B,FB,\ldots,F^{T-1}B]$ and $\mathcal{O}_T=[C^\top,(CF)^\top,\ldots,(CF^{T-1})^\top]^\top$. Its singular values identify modes that are both externally excitable and externally visible. A practical mediator score is the normalized nuclear energy $m_T=\|H_T\|_*/(\|W_R(T)\|_F^{1/2}\|W_O(T)\|_F^{1/2}+\epsilon)$, combined with effective Hankel rank $r_{\mathrm{eff}}=\exp(-\sum_i p_i\log p_i)$, where $p_i=\sigma_i(H_T)/(\sum_j\sigma_j(H_T)+\epsilon)$ and $\sigma_i$ are singular values. The regularizer should increase aligned Hankel energy and useful effective rank while avoiding uncontrolled gain growth.

Implementation notes

Integrate this at training time around a small candidate mediator block, such as a 2-layer residual MLP inserted between transformer blocks or an MoE expert group. Let the candidate hidden state be z with dimension d and let the surrounding activations provide u. Use a local linearization of the candidate-plus-return path over a minibatch: estimate F by least squares from consecutive candidate states, $F=\arg\min_F\sum_t\|z_{t+1}-Fz_t\|_2^2$, estimate B from the regression residual dependence on external input u, and estimate C by regressing the returned external activation y on z. A simpler implementation can obtain F, B, and C directly from autograd Jacobian-vector products of the computational graph, averaged over a minibatch. For each candidate and every K training steps, run T=3 or 4 Gramian recurrences: initialize $R_0=0,O_0=0$ and update $R_{k+1}=FR_kF^\top+BB^\top$, $O_{k+1}=F^\top O_kF+C^\top C$. Construct the finite controllability and observability matrices, compute the small d-by-d product $H_T$ or its equivalent balanced singular values, and add $\alpha\mathcal{L}_{\mathrm{GMW}}$ to the task loss. Stop gradients through the estimated Jacobians initially to reduce instability, then allow them after the metric is validated. Estimate the mathematical quantities from minibatch Jacobians; do not assume anatomical or token adjacency. The first experiment should use a 6-layer small Transformer on CIFAR-10 or WikiText-2, with one candidate residual MLP and matched parameter/FLOP baselines. Compare no regularizer, reachability-only, observability-only, and the full Hankel term. Measure validation accuracy or perplexity, gradient norm variance, singular-value spectrum, and ablations that create one-sided receivers or broadcasters by zeroing B or C. Success means improved validation performance at equal compute, reduced seed variance, and a nontrivial increase in normalized Hankel energy and effective rank without exploding activation gain.

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.