Unverified 2026

Entropy-to-Contraction Attractor Regularization

Implementation & benchmark of arXiv:2608.17137 — Dimension of self-conformal measures associated to an exponentially separated holomorphic IFS

Usefulness6/10
Difficulty6/10
Novelty7/10

Source paper: Dimension of self-conformal measures associated to an exponentially separated holomorphic IFS arXiv:2608.17137 ⓘ · analyzed Sep 1, 2026

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

Idea description

Construct a contractive multi-branch recurrent or generative network whose branches define an iterated-function system, and regularize it so that branch entropy is high relative to average contraction while compositions remain exponentially separated. The target is a measurable attractor-dimension law rather than only a benchmark improvement: the invariant measure dimension should approach min(d, H divided by chi), where d is state dimension.

Formulas

H(p) = - sum over i in Lambda of p_i log2(p_i)
chi = - sum over i in Lambda of p_i times integral of log2(||Df_i(x)||_op) d mu(x), with mu = sum over i of p_i times (f_i)_# mu
dim(mu) <= min(d, H(p) / chi), with target dim(mu) approximately equal to min(d, H(p) / chi)
L_sep = average over distinct u,v of positive_part of log(epsilon + exp(-a n) - average over x in Q of ||f_u(x) - f_v(x)||_2)

Mathematical statement

Let f_i map a bounded state domain Omega in R^d to itself, with branch index i in Lambda and branch probabilities p_i. The symbolic entropy is H(p) = minus sum_i p_i log2(p_i). The average contraction exponent is chi = minus sum_i p_i times the integral of log2 of the operator norm of Df_i(x), integrated against the stationary measure mu. The stationary measure satisfies mu = sum_i p_i times the pushforward of mu by f_i. The paper gives dim(mu) less than or equal to min(d, H(p) divided by chi), with equality under nondegeneracy and exponential separation. In a neural implementation, enforce operator norms below one, maximize H divided by chi, and penalize collisions between distinct length-n branch compositions. Approximate exponential separation by requiring distinct compositions f_u and f_v to differ by at least c exp(-a n) on sampled probe states, where c and a are positive constants.

Implementation notes

Use a contractive branch module as the transition map of an RNN or world model, or as the decoder dynamics of a generative model. Define each branch as f_i(x) = s_i tanh(W_i x + b_i), with spectral normalization or power iteration enforcing ||Df_i(x)||_op <= s_i < 1. At every training step, sample branch indices from p and propagate states. Estimate H_hat from the branch probabilities. Estimate chi_hat by averaging minus log2 of the estimated Jacobian operator norm along sampled trajectories; one or two power iterations per Jacobian are sufficient for the first prototype. Sample length-n branch words, apply their composed maps to several probe states, and penalize pairs whose average endpoint distance is below c exp(-a n). Add the ratio penalty lambda_R times positive_part(r0 - H_hat divided by chi_hat) squared, plus lambda_S times L_sep, to the task loss. The entropy-to-contraction bound and separation mechanism come from the paper; Jacobian norms, separation distances, and attractor dimension are estimated empirically. The first cheap experiment should use a two-dimensional contractive RNN with four branches trained on a mixture of spirals or a chaotic-map trajectory. Compare spectral normalization, entropy regularization, separation regularization, and the combined method. Sweep contraction scale and branch-logit temperature. The predicted signature is that measured box or correlation dimension increases approximately linearly with H_hat divided by chi_hat below d, then saturates near d. If minimum length-n separation falls below c exp(-a n), measured dimension should fall below the ratio. Perturbation norms should decay as approximately 2 to the power of minus chi_hat times t, with measured log-decay slope within 20 percent of minus chi_hat times ln(2).

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.