Crystal-Orbit Consistency Regularization
Implementation & benchmark of arXiv:2607.12232 — Contractions and applications of crystal skeletons: Young quasisymmetric and Stanley symmetric functions
Source paper: Contractions and applications of crystal skeletons: Young quasisymmetric and Stanley symmetric functions arXiv:2607.12232 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Generate structured augmentations of categorical sequences using the paper's adjacent crystal rewrites, then enforce prediction consistency across the resulting orbit. Unlike arbitrary random swaps, the rewrite preserves paired subsequences and modifies only the unmatched portion, making it appropriate for exchangeable discrete codes or explicitly permutation-equivariant inputs.
Formulas
Mathematical statement
Given a word w over ordered labels, the local action for adjacent labels i and i+1 pairs i+1 as a left parenthesis with i as a right parenthesis. Only the unmatched block i^r(i+1)^s is transformed, according to s_i(i^r(i+1)^s)=i^s(i+1)^r; all paired symbols and all other labels remain unchanged. Repeated local actions generate a finite sampled orbit O_K(w) of related words. The paper's identity s_lambda=sum over T in SYT(lambda) of F_Des(T) indicates that descent statistics can index structured components; in the adaptation, d(w) is a task-specific protected statistic, such as a code histogram, exchangeability mask, or descent mask. Let p_theta(w) be the model's predictive distribution. The consistency loss averages KL divergence from the original prediction to predictions on rewritten words. The stop-gradient operator prevents the original branch from being pulled toward every augmentation simultaneously.
Implementation notes
Apply this at the input of an encoder whose sequences contain discrete codes with exchangeable or approximately exchangeable labels, such as VQ-VAE code indices, product-quantized retrieval IDs, graph colors, or synthetic permutation-equivariant data. Do not apply it directly to ordinary natural-language token IDs, whose numerical adjacency has no invariance meaning. For each training sequence w, sample an adjacent pair (i,i+1), run the stack-based parenthesis matching on the subsequence containing those labels, and construct w'=s_i(w) by swapping only the unmatched block. Reject the rewrite if it changes protected metadata or violates a task-specific invariant d(w). Run both w and w' through the shared encoder, compute predictive distributions p and p', and add the stop-gradient KL term. Use one rewrite initially, then test two or three successive rewrites with probability q. The combinatorial procedure computes legal orbit moves; the dataset determines which labels are exchangeable, while lambda, q, and the protected statistic are empirical settings. First test a VQ-VAE on CIFAR-10 with code-index permutations, comparing crystal-orbit augmentation against no consistency loss and random swaps. Also evaluate robustness under held-out valid code permutations. Record reconstruction error, classification accuracy from the latent code, prediction KL across rewrites, and training variance. Success is improved held-out performance at equal compute and substantially lower disagreement under valid transformations without hurting performance on original inputs.
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.