Jucys–Murphy spectral token mixer
Implementation & benchmark of arXiv:2608.13727 — Hitting-time mixing for the star transposition shuffle
Source paper: Hitting-time mixing for the star transposition shuffle arXiv:2608.13727 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Add a structured token-mixing layer based on commuting sums of swap operators rather than unconstrained pairwise attention. The layer learns a low-degree spectral filter in the Jucys–Murphy operators, allowing it to represent hierarchical interactions while retaining an explicit algebraic inductive bias.
Formulas
Mathematical statement
For n token positions, the paper defines the Jucys–Murphy elements in the group algebra of the symmetric group as J_1=0 and J_k=\sum_{i<k}(i\,k) for 2\leq k\leq n. Here (i\,k) is the transposition swapping positions i and k. In the natural permutation representation on tensors x=(x_1,\ldots,x_n), let P_{ik}x denote x with slots i and k exchanged; then J_k x=\sum_{i<k}P_{ik}x. The key property stated in the paper is [J_k,J_\ell]=0 for all k,\ell, so the operators are simultaneously diagonalizable, with eigenvalues related to tableau contents. Use normalized operators \widetilde J_k=J_k/(k-1), whose operator scale is bounded by approximately one, and define a learnable commuting spectral filter F_ heta=\prod_{k=2}^n(a_k I+b_k\widetilde J_k), where I is the identity and a_k,b_k are scalar parameters. Because the factors commute, their order does not alter the mathematical filter; the resulting layer is x' = x + \gamma F_ heta(\operatorname{LN}(x)), with feature projection matrices applied before and after the mixer. The transferable property is not a claim that the layer is fully permutation-equivariant: the ordered family J_2,\ldots,J_n follows the subgroup chain S_1\subset S_2\subset\cdots\subset S_n and therefore supplies a controlled, hierarchical symmetry-breaking basis.
Implementation notes
Integrate this module as a replacement for one self-attention block in a small encoder, initially with sequence length n fixed or padded to a fixed maximum. The input is X with shape [batch,n,d]. First apply LayerNorm and a linear projection W_v. For each k=2,...,n, construct Y_k=(1/(k-1))\sum_{i<k}P_{ik}Y, where P_{ik} is implemented by exchanging columns i and k of Y; then update Y <- a_k Y + b_k Y_k. This sequential implementation equals the product F_theta because the Jucys–Murphy operators commute, although floating-point ordering can still cause tiny numerical differences. Use scalar parameters a_k initialized to 1 and b_k initialized to 0, constrain |b_k| with tanh or weight decay, and initialize the residual scale gamma to 1e-2. Apply W_o to the final Y and add it to the input. For variable sequence lengths, mask nonexistent positions and renormalize each J_k by the number of valid i<k terms. The commutation relation and product form come from the paper; the normalization, residual connection, and parameterization are engineering adaptations. The first experiment should compare a 4-layer Set Transformer, standard self-attention, and the Jucys–Murphy mixer on permutation-sensitive set classification and synthetic hierarchical aggregation tasks using 1k–4k token sequences. Measure validation accuracy, robustness to unseen permutations, parameter count, and wall-clock cost. Success is higher accuracy or better permutation generalization than an equal-parameter MLP mixer, without destabilizing training; a secondary target is matching attention accuracy at substantially lower quadratic compute.
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.