Asymptotically Commuting Recurrent Blocks
Implementation & benchmark of arXiv:2608.16917 — Proximal Relations in Asymptotically Commutative Non-Autonomous Dynamical Systems
Source paper: Proximal Relations in Asymptotically Commutative Non-Autonomous Dynamical Systems arXiv:2608.16917 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Replace a time-homogeneous recurrent update by a sequence of parameterized maps f_t, and regularize late-time pairs of updates to approximately commute: applying block f_t followed by f_r should agree with applying f_r followed by f_t. This should make long-horizon predictions robust to local time-step reorderings and schedule perturbations, while proximal statistics provide a diagnostic for whether trajectories repeatedly approach one another rather than diverging permanently.
Formulas
Mathematical statement
Let (X,d) be the hidden-state metric space and f_t: X -> X the update at time t. Define the non-autonomous evolution map omega_n = f_n composed with f_(n-1) composed through f_1. The sequence is pointwise asymptotically commutative if, for every fixed r and x in X, d(f_n(f_r(x)), f_r(f_n(x))) tends to zero as n tends to infinity; a uniform version takes the supremum over x in a bounded hidden-state set. A pair x,y is proximal when the limit inferior of d(omega_n(x), omega_n(y)) is zero. Transfer these relations by minimizing a sampled late-time commutator loss while monitoring, but not blindly maximizing, the proximal recurrence statistic. The commutator controls order sensitivity; the proximal statistic detects recurrent near-collisions and must be paired with an anti-collapse constraint.
Implementation notes
Use a recurrent, state-space, or deep residual model with time-dependent blocks h_t = f_t(h_(t-1), u_t). For a first test, let f_t be a shared MLP with a low-rank time embedding or learned step-size modulation, making the model genuinely non-autonomous. Add lambda_c times L_comm to the task loss and compute it on hidden states from the current minibatch. Sample r from the first half of a sequence and n from the last quarter, with n different from r. Use normalized hidden states or a bounded projection when evaluating the commutator. Pseudocode is: sample hidden states x and indices n,r; compute a = f_n(f_r(x)); compute b = f_r(f_n(x)); set comm = mean squared error between a and b; optimize task_loss + lambda_c times (n/T)^p times comm. During evaluation, run the normal sequence and locally transposed sequences in which selected update pairs are swapped, then measure prediction disagreement. Compute the two compositions exactly; estimate the supremum c_(n,r) with a maximum or 95th percentile over sampled states. Estimate P_epsilon from validation pairs, but enforce a covariance-eigenvalue floor v_min to prevent trivial representation collapse. First experiment: train a GRU or residual SSM on sequential MNIST, permuted sequential MNIST, and a synthetic switching linear system. Compare the baseline, commutator regularization, and random-order augmentation. Sweep lambda_c. The prediction is that the late-time commutator curve decreases with n, approximately as a power law n^(-alpha) or toward a plateau, and that reordered-versus-normal prediction error decreases with the measured commutator. Require at least a twofold reduction in median late-time commutator and a 20 percent reduction in order-perturbation error without reducing hidden-state covariance rank. If P_epsilon rises while covariance collapses, the experiment falsifies the intended mechanism.
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.