Authority-Limited Removal Gating
Implementation & benchmark of arXiv:2608.10641 — Removal-Only Actuation in Age-Structured Branching Populations: Fundamental Limits of Equilibrium Placement
Source paper: Removal-Only Actuation in Age-Structured Branching Populations: Fundamental Limits of Equilibrium Placement arXiv:2608.10641 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Construct a branching residual network whose active computational paths reproduce according to a fixed offspring/connectivity law, while a controller can only remove paths using an age- or depth-dependent hazard \(u(a)\). Use the resulting bound as a diagnostic and gating schedule: removal can suppress unstable activity and reduce compute, but it should not be expected to cross the reproduction-driven propagation barrier unless the network's expansion operator is also changed.
Formulas
Mathematical statement
Represent active paths by a point measure \(\eta\), where each path has age \(a\), and let \(p_n\) be the probability that an active path produces \(n\) child paths at reproduction events with baseline rate \(\mu(a)\). A removal controller adds hazard \(u(a)\ge 0\), replacing one active path by zero paths. For singleton states, the controlled generator contains the removal term \(u(a)[\Phi(0)-\Phi(f(a))]\), while the unkilled reproduction generator is unchanged. Let \(\Lambda\) denote the transmission barrier determined only by the reproduction law and baseline dynamics, and let \(\nu^{\star}\le 0\) denote the Malthusian parameter of the lineage conditioned never to produce zero children. The structural result is that removal leaves \(\Lambda\) invariant and the supremum achievable decay rate is \(\Lambda+\nu^{\star}\), so the unattainable gap is \(|\nu^{\star}|\), which vanishes exactly when \(p_n=0\) for all \(n\ge 2\). In a neural implementation, estimate \(\Lambda\) from the long-run growth rate of the ungated path population and estimate \(\nu^{\star}\) from trajectories conditioned on nonzero offspring.
Implementation notes
1. Integration point: apply this to a residual MLP, recurrent state-space model, or tree-shaped computation graph. Treat each active token, path, or channel as an individual with normalized depth or elapsed computation time \(a\). At a reproduction event, a block creates \(n\) child paths according to a fixed branching rule; a learned gate may only delete a path, never increase its fan-out or alter the reproduction weights. Parameterize the removal hazard as \(u_\theta(a,x)=\operatorname{softplus}(g_\theta(a,x))\), then convert it to a Bernoulli removal probability \(q=1-\exp[-u_\theta\Delta t]\). 2. Pseudocode: initialize active paths; for each depth interval, execute every active path, spawn children using the fixed architecture, compute \(q\), and remove each child with probability \(q\); use a straight-through or Concrete gate for backpropagation and add a compute penalty \(\lambda_c\sum q\). Log active-path count and its exponential growth or decay rate. 3. Taken directly from the paper's mechanism: removal enters only as killing, while the reproduction operator is held fixed. Estimated empirically: \(\Lambda\) is the slope of \(\log Z_t\) for the ungated network, and \(\nu^{\star}\) is estimated from the slope of surviving lineages restricted to trajectories with no zero-child event. 4. First cheap experiment: use a 20-layer residual MLP on CIFAR-10 or a synthetic sequence-copy task, comparing fixed depth, random dropout, and learned removal gating at matched FLOPs. Sweep gate strength. The falsifiable signature is saturation: increasing maximum \(u\) should improve compute or transient stability but should not move the measured propagation boundary by more than 20%; the best decay rate should approach \(\widehat{\Lambda}+\widehat{\nu}^{\star}\), rather than \(\widehat{\Lambda}\). A binary-offspring architecture should have a vanishing gap and serve as a control where removal can reach the barrier. If gating crosses the predicted barrier without changing fan-out or weights, the transfer is falsified.
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.