Polynomial-Mixing Block Training
Implementation & benchmark of arXiv:2608.15569 — Statistical properties for irregular observables in slowly mixing hyperbolic systems
Source paper: Statistical properties for irregular observables in slowly mixing hyperbolic systems arXiv:2608.15569 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Use the paper's separated-block construction to train recurrent or state-space networks on trajectories with slowly decaying temporal correlations, rather than treating consecutive frames as independent minibatch samples. Thresholded events such as collision, failure, saturation, constraint violation, or reward exceedance are aggregated over blocks with empirically chosen gaps and optionally replaced by finite-resolution cylinder approximations. The method predicts a measurable power-law convergence signature for cumulative event statistics and provides a principled criterion for increasing block gaps.
Formulas
Mathematical statement
Let F be the trajectory shift map, mu its invariant distribution, and h_B(z)=1_B(z)-mu(B) a centered indicator observable for event set B. Partition time indices into blocks I_n and choose a separation length k_n satisfying min(I_n)>k_n. Replace the discontinuous event 1_{F^{-k_n} pi^{-1}B} by a finite-resolution approximation 1_{A_bar_{2k_n}}, where A_bar_{2k_n} is a union of partition elements measurable at resolution 2k_n. Define q=min{xi-2,alpha-1}, where xi and alpha are the hyperbolicity and return-time tail exponents. Under a epsilon q>4 and epsilon q<2, the cumulative almost-sure approximation error through scale p obeys a power bound with exponent gamma=1/2-[epsilon q/4-1/(a+1)]. Here a controls block-scale growth, epsilon controls the resolution and separation schedule, p is trajectory length, X_n is the original block sum, and X_n' is its finite-resolution approximation. In the neural version, B is a threshold event generated by the network, while xi and alpha are estimated from observed temporal dependence. The transferable prediction is that the residual grows as p^gamma and that increasing separation reduces the effective correlation contribution.
Implementation notes
Integrate this mechanism at the data-loader and optimizer level for an RNN, SSM, or world model trained on long trajectories. Choose a binary event e_t=1{g_theta(s_t)>tau}, where g_theta is a constraint score, saturation score, collision score, reward threshold, or gradient-clipping indicator. Partition every trajectory into blocks of length L_n separated by gaps k_n. Use separated blocks as training units, or weight the loss and gradient by an inverse effective sample size estimated from the blocks. For discontinuous events, construct a finite-resolution surrogate tilde_e_t=sigmoid((g_theta(s_t)-tau)/T_n), and lower T_n as the resolution scale increases. Pseudocode: estimate event autocorrelation; set k_n=ceil(k_0 n^epsilon) and L_n=ceil(L_0 n^a); collect separated blocks; compute S_m=sum_{t in I_m}(e_t-p_hat); estimate block variance; normalize event-loss gradients by 1/sqrt(V_block); update parameters; periodically refit the cumulative residual slope on log-log axes. The paper supplies the blocking construction and exponent formula, while xi and alpha must be estimated empirically from autocorrelation decay and return-time tails. First test a small GRU on a synthetic chaotic-map prediction task or Moving-MNIST, comparing contiguous minibatches, shuffled frames, and separated-block training. Measure cumulative threshold-event error versus trajectory length p. The prediction is a residual slope gamma matching the formula within 20 percent; if the slope exceeds 1/2, increase k_n or soften the event approximation. Also test whether block variance predicts validation-loss variance and long-horizon failure frequency better than iid minibatch variance.
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.