Unverified 2026

Single-Node Observable Leaky-RNN

Implementation & benchmark of arXiv:2608.09059 — On the Observability and Controllability of Leaky-ReLU Networks

Usefulness6/10
Difficulty5/10
Novelty8/10

Source paper: On the Observability and Controllability of Leaky-ReLU Networks arXiv:2608.09059 ⓘ · analyzed Sep 1, 2026

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

Idea description

Construct a sparse recurrent network with positive edge weights and Leaky-ReLU updates so that one selected hidden node, observed over a finite time window, contains enough information to reconstruct the full hidden state. Add an auxiliary decoder from the observed trajectory to the initial state or current state, and use graph rewiring or edge-growth until every hidden node has a directed path to the sensor within the observation horizon.

Formulas

$$x_i(t+1)=\rho\!\left(\sum_{j\in\mathcal{N}_i^-}a_{ij}x_j(t)+b_i\right),\qquad \rho(s)=\max(s,\alpha s),\quad 0<\alpha<1.$$
$$\mathcal{O}_{S,T}(x_0)=\big(P_Sx(0),P_Sx(1),\ldots,P_Sx(T)\big),\qquad \mathcal{O}_{S,T}(x)=\mathcal{O}_{S,T}(\tilde{x})\Rightarrow x=\tilde{x}.$$
$$\delta_{S,T}=\min_{r\neq q}\frac{\|\mathcal{O}_{S,T}(x^{(r)})-\mathcal{O}_{S,T}(x^{(q)})\|_2}{\|x^{(r)}-x^{(q)}\|_2},\qquad \widehat{\kappa}_{S,T}=\frac{\max_{r\neq q}\|x^{(r)}-x^{(q)}\|_2}{\min_{r\neq q}\|\mathcal{O}_{S,T}(x^{(r)})-\mathcal{O}_{S,T}(x^{(q)})\|_2}.$$

Mathematical statement

Let the recurrent state be $x(t)\in\mathbb{R}^{n}$ and define $x_i(t+1)=\rho(\sum_{j\in\mathcal{N}_i^-}a_{ij}x_j(t)+b_i)$, where $a_{ij}>0$, $|\mathcal{N}_i^-|\leq K$, and $\rho(s)=\max(s,\alpha s)$ with $0<\alpha<1$. For a sensor set $S\subseteq\{1,\ldots,n\}$ and horizon $T$, define the observation map $\mathcal{O}_{S,T}(x_0)=(P_Sx(0),P_Sx(1),\ldots,P_Sx(T))$, where $P_S$ selects coordinates in $S$ and $x(t+1)=F(x(t))$. Finite-window observability means $\mathcal{O}_{S,T}(x)=\mathcal{O}_{S,T}(\tilde{x})\Rightarrow x=\tilde{x}$. Because Leaky-ReLU is injective, information is not destroyed by the node nonlinearity; graph paths determine whether information can reach the sensor. The empirical separation margin $\delta_{S,T}$ estimates how robustly distinct latent states remain distinguishable through the observation window.

Implementation notes

Use this as a sparse RNN or SSM architecture. First choose a directed graph with $n$ hidden nodes and maximum indegree $K$; designate one sensor node $s$, preferably a node reached by many directed paths. Parameterize every existing recurrent edge as $a_{ij}=\operatorname{softplus}(u_{ij})+\epsilon$ to match the positive-weight setting, retain a trainable bias, and use Leaky-ReLU with fixed $\alpha\in\{0.01,0.1,0.5\}$. During each training example, record only $y_t=x_s(t)$ and feed the length-$T+1$ scalar sequence to a small decoder $D_\phi$ that predicts the full initial hidden state $x_0$. Add $L_{obs}=\|D_\phi(y_{0:T})-\operatorname{stopgrad}(x_0)\|_2^2$ to the task loss. The update procedure is: initialize graph and sensor; run $x_{t+1}=F_\theta(x_t)$; store $y_t=x_s(t)$; compute $\hat{x}_0=D_\phi(y_{0:T})$; backpropagate task loss plus $\lambda L_{obs}$; periodically estimate pairwise observation separations and rewire the sensor if the margin is too small. The paper supplies the injectivity mechanism and graph-based observability construction; the decoder, separation margin, and conditioning estimate are empirical additions. For a cheap falsifiable experiment, compare a one-sensor graph against dense and random-sensor GRUs on permuted-MNIST or sequential CIFAR-10, using equal hidden size and parameter count. Generate pairs of nearby initial states, measure $\delta_{\{s\},T}$ and decoder error as $T$ increases, and compare Leaky-ReLU to ordinary ReLU. The prediction is a horizon transition: after the longest relevant graph path reaches the sensor, reconstruction error should fall sharply and $\delta_{\{s\},T}$ should become positive or substantially larger. ReLU should show more collisions and dead-coordinate failures. Adding sensors should reduce the minimum horizon needed to reach a fixed reconstruction tolerance.

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.