Information-Budgeted Reverse-Dynamics Controller
Implementation & benchmark of arXiv:2607.16639 — On the Information Required for Feedback Control
Source paper: On the Information Required for Feedback Control arXiv:2607.16639 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Equip an RNN, state-space model, or neural-ODE controller with a stochastic observation bottleneck and constrain the causal information rate from the plant state to the control action. When the passive dynamics and target stationary distribution are known, initialize or regularize the controller toward the probabilistic time reversal of the passive transition kernel, providing a principled low-information control policy.
Formulas
Mathematical statement
Let X_t be the plant state, Z_t the stochastic encoded observation, H_t the controller memory, U_t the action, and Delta t the physical time step. The causal information rate is I_Delta equal to the time-averaged conditional mutual information I(X_t;Z_t given H_t), estimated by a variational log-density ratio. For passive transition kernel P_0 and desired stationary density q, the reversed kernel is P_0^R(x prime given x) equal to q(x prime) P_0(x given x prime) divided by q(x). Train the controller with task cost plus beta times the information rate and gamma times the KL divergence from its induced transition kernel to P_0^R. Varying beta defines an empirical approximation to the optimal cost-information frontier J star(C), where C is the allowed information rate. The transferred mechanism predicts lower control cost at fixed information rate when the reverse-kernel prior is appropriate.
Implementation notes
1. Exact integration point: implement a stochastic recurrent controller for a synthetic Markov plant. Given state x_t and memory h_t, sample z_t from a Gaussian encoder q_phi(z_t given x_t,h_t), sample action u_t from a policy pi_theta(u_t given z_t,h_t), and update the plant and recurrent memory. Add the causal information penalty to the normal task loss. If the passive transition kernel and target stationary distribution are known, add the KL penalty to the reverse kernel. 2. Pseudocode: roll out x_t; sample z_t; compute the log ratio log q_phi(z_t given x_t,h_t) minus log q_phi(z_t given h_t); sample u_t; advance the plant; accumulate task loss plus beta times the log ratio plus gamma times the transition KL; backpropagate through the rollout. Estimate q_phi(z given h) using a learned Gaussian prior network. 3. Computed from the paper: the information-rate objective and reverse-kernel construction. Estimated empirically: stationary density, information rate, control cost, and the Pareto frontier. 4. First cheap experiment: use a two-dimensional Ornstein-Uhlenbeck plant with known passive Gaussian dynamics, quadratic state-control cost, and a small GRU controller. Compare an unconstrained controller, an information-penalized controller, and a controller initialized with the reverse passive kernel. Sweep beta and plot cost against measured nats per time step. The prediction is a monotone frontier with diminishing returns as information increases; at equal information rate, reverse initialization should reduce control KL or task cost by at least 10 percent if the target distribution is compatible with the passive dynamics.
Verification
Stage 1 · Toy mechanism gate: Passed ✓
Stage 2 · Mechanism transferred to benchmark: Not reproduced ✗
Stage 2 · Practical benchmark result: Significantly worse ✗
Methodology: 8 paired seeds, permutation test (p<0.05) against a learning-rate-tuned baseline. How verification works
Stage 1 — Mechanism check agent confidence 8/10
Built a reproducible linear-Gaussian MVP in experiment.py. The three quantitative predictions manifested: the Gaussian information estimator matched I=0.5 log(1+V/r) within 0.248%, reverse-kernel KL was zero while passive-to-reverse KL increased with contraction radius, and increasing beta produced a monotone information frontier. The control effect was real but weak: beta=8 reduced information by 0.089% and increased task cost by 0.095%, so this supports the mechanism but not a meaningful performance win.
- Agent confidence
- 8/10
- Baseline
- beta=0: task cost 0.304178, information 0.308190 nats/step, k=-0.33738
- Idea
- beta=8: task cost 0.304466, information 0.307916 nats/step, k=-0.35541; information decreased and task cost increased monotonically across the beta sweep
- Information math
- Maximum relative error between predicted and measured information over five noise levels: 0.248%
- Reverse kernel math
- Reverse realization KL was 0 for radii 0.2, 0.4, 0.6, 0.82, and 0.92; passive-to-reverse KL increased from 0.02763 to 3.66567 nats
Limitations: The MVP uses analytically optimized linear-Gaussian policies rather than a trained GRU/RNN, has no controller memory H, no learned variational marginal q_phi(z|h), and does not test neural-controller optimization, target-distribution mismatch, runtime, or high-dimensional plants.
How to run: python3 experiment.py
Stage 2 — Benchmark vs. tuned baseline (arXiv:2607.16639)
Significantly WORSE than the tuned baseline (+219391.5%, p=0.0081, wins 0 / 8 paired seeds).
- Benchmark
- Dynamics forecasting
- Model
- rnn_small
- Paired seeds
- 8
- Baseline mean
- 0.0004
- Idea mean
- 0.7774
- Effect (Δ)
- 0.777 (+219391.5%; negative = idea better)
- Wins
- 0 / 8 paired seeds
- p-value
- 0.0081 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- n/a
- Mechanism
- Not confirmed ✗
- Practical effect
- Hurts
- Baseline tuning
- swept over 3 configs
Only the built-in dynamics pendulum track was tested. The implementation used a short 10-epoch budget and a surrogate reverse-kernel penalty rather than an exact learned transition-kernel KL; no target-distribution mismatch sweep, longer-memory controller, or alternative information estimators were tested.
How to run: python3 stage2_bench.py > bench_report.json
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Stage 2 — Benchmark latest Failed ✗
Agent confidence: 10/10
Implemented the Information-Budgeted Reverse-Dynamics Controller on the structurally matched dynamics track using paired GRU systems, a stochastic bottleneck, information regularization, and a reverse-dynamics surrogate. The idea was significantly worse than the tuned baseline: test MSE 0.777351 versus 0.000354, paired delta +0.776997, permutation p=0.0081. The negative information estimate was rejected as invalid evidence, so the mechanism signature is unconfirmed.
- Baseline
- rnn_small, best lr=0.006: mean test MSE 0.00035416, std 0.00009526, 8 seeds
- Idea
- stochastic bottleneck GRU, lr=0.006 beta=0.01 gamma=0.02: mean test MSE 0.77735104, std 0.04344097, 8 seeds
- Paired delta
- idea - baseline = +0.77699687 MSE; idea wins 0/8; permutation p=0.0081
Benchmark result
Significantly WORSE than the tuned baseline (+219391.5%, p=0.0081, wins 0 / 8 paired seeds).
- Benchmark
- Dynamics forecasting
- Model
- rnn_small
- Paired seeds
- 8
- Baseline mean
- 0.0004
- Idea mean
- 0.7774
- Effect (Δ)
- 0.777 (+219391.5%; negative = idea better)
- Wins
- 0 / 8 paired seeds
- p-value
- 0.0081 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- n/a
- Mechanism
- Not confirmed ✗
- Practical effect
- Hurts
- Baseline tuning
- swept over 3 configs
Only the built-in dynamics pendulum track was tested. The implementation used a short 10-epoch budget and a surrogate reverse-kernel penalty rather than an exact learned transition-kernel KL; no target-distribution mismatch sweep, longer-memory controller, or alternative information estimators were tested.
How to run: python3 stage2_bench.py > bench_report.json
Artifacts
- bench_report.json 4.0 KB View Raw
- experiment.py 4.8 KB View Raw
- report.md 1.6 KB View
- report_bench_2026-08-31T114540.md 3.9 KB View
- stage2_bench.py 5.7 KB View Raw