Periodic-block recurrent dynamics
Implementation & benchmark of arXiv:2607.14797 — Robustness of periodicity in Grover walks under a magnetic vector potential
Source paper: Robustness of periodicity in Grover walks under a magnetic vector potential arXiv:2607.14797 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Replace a generic recurrent transition by an exactly periodic unitary base transition plus a learnable weak Hermitian perturbation. The resulting \(\tau\)-step macro-dynamics approximates a continuous-time unitary flow, allowing the model to preserve signal norms while learning slowly varying long-range transformations.
Formulas
Mathematical statement
Theorem 3.1 assumes a Grover walk \(U_0\) with period \(\tau\), meaning \(U_0^{\tau}=I\), and a perturbed operator \(U_{\beta}\) with small strength \(\beta\). Starting from \(\phi_0\), the discrete evolution is \(\varphi_n^{[D]}=U_{\beta}^{\tau}\varphi_{n-1}^{[D]}\), while the continuous limit satisfies \(-i\frac{\partial}{\partial t}\psi_t^{[C]}=\tau H\psi_t^{[C]}\). The theorem states \(\psi_t^{[C]}=\lim_{\beta\to 0}\varphi_{\lceil t/\beta\rceil}^{[D]}\). Here \(\tau\) is the base period, \(\beta\) is perturbation magnitude, \(H\) is the Hermitian effective generator, \(t\) is macroscopic time, and \(\phi_0\) is the hidden state. For a neural recurrent operator parameterized as \(U_{\beta}=U_0\exp(-i\beta A)\), with \(A=A^{\dagger}\), define \(H_{\mathrm{eff}}=\frac{i}{\tau}\left.\frac{\partial}{\partial\beta}U_{\beta}^{\tau}\right|_{\beta=0}\). Then \(U_{\beta}^{\tau}=I-i\beta\tau H_{\mathrm{eff}}+O(\beta^2)\). If \(U_0\) has repeated eigenvalues, the perturbation restricted to a degenerate eigenspace, \(P_jH_{\mathrm{eff}}P_j\), is the Hermitian matrix controlling first-order spectral splitting.
Implementation notes
Integrate the construction into the recurrent transition of a small sequence model. Let the hidden state be \(h_t\in\mathbb{C}^d\). Choose a cheap periodic unitary \(U_0\), such as a block diagonal matrix of two-dimensional rotation blocks with angles \(2\pi m/\tau\), so that \(U_0^{\tau}=I\) exactly. Store an unconstrained complex matrix \(B\), set \(A=(B+B^{\dagger})/2\), and parameterize the transition as \(U_{\beta}=U_0Q(A)\), where \(Q(A)=(I-i\beta A/2)(I+i\beta A/2)^{-1}\) is the Cayley approximation to \(\exp(-i\beta A)\). The recurrent update is: input \(x_t\); compute \(h'_t=U_{\beta}h_{t-1}\); compute \(h_t=h'_t+W_xx_t\); then apply a gated nonlinearity or use \(h_t\) directly in the output head. A compact pseudocode loop is: initialize periodic \(U_0\), small \(\beta\), Hermitian \(A\), and \(h=0\); for each token set \(h\leftarrow U_\beta h+W_xx_t\), then emit \(W_oh\). Every \(K\) optimizer steps, compute \(M=U_\beta^{\tau}\) by repeated matrix multiplication and estimate \(H_{\mathrm{eff}}\) as \(\operatorname{Herm}(i(M-I)/(\tau\beta))\), where \(\operatorname{Herm}(Z)=(Z+Z^{\dagger})/2\). Add \(L_{\mathrm{flow}}=\|M-I+i\beta\tau H_{\mathrm{eff}}\|_F^2\) only as an optional diagnostic or weak regularizer. The exact periodicity of \(U_0\) and the continuous-limit equation come from the paper; the finite-\(\beta\) estimator and Cayley parameterization are implementation adaptations. First test on adding, parity, and sequential MNIST using width 128 and sequence lengths 256, 512, and 1024. Compare a tanh RNN, an orthogonal RNN, and this periodic-block model at matched parameter count and FLOPs. Record validation accuracy, gradient norm variance across time, hidden-state norm drift, and training loss at equal updates. The expected signal is lower long-horizon gradient variance and smaller norm drift without sacrificing accuracy, especially when sequence length exceeds the training length.
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.