Upper-shadow mask augmentation
Implementation & benchmark of arXiv:2607.21589 — Upper-shadow comparisons on the slice and the Frankl--Tokushige product conjectures
Source paper: Upper-shadow comparisons on the slice and the Frankl--Tokushige product conjectures arXiv:2607.21589 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Represent an input perturbation, feature mask, or expert route as a subset of a ground set of size n. Collect a useful family F of k-subsets, then generate larger l-subsets only by adding l-k elements to members of F; these are the upper-shadow augmentations. The paper's explicit profile predicts a guaranteed fraction of distinct l-masks covered by this procedure, allowing an augmentation system to replace inefficient random mask sampling with targeted combinatorial expansion.
Formulas
Mathematical statement
For a ground set [n]={1,...,n}, let \binom{[n]}{k} be all k-element subsets and let \mathcal{F}\subseteq\binom{[n]}{k}. Its upper shadow is \partial_{k o\ell}\mathcal{F}=\{B\in\binom{[n]}{\ell}:\exists A\in\mathcal{F}, A\subseteq B\}. Define normalized masses \mu_k(\mathcal{F})=|\mathcal{F}|/\binom{n}{k}, p=k/n, and q=\ell/n. The paper proves the dimension-free lower bound \mu_\ell(\partial_{k o\ell}\mathcal{F})\geq\Phi_{p,q}(\mu_k(\mathcal{F})), where \Phi_{p,q}(u)=u^{\log q/\log p} for 0\leq u\leq p^2; \Phi_{p,q}(u)=q[1-(1-u/p)^{\log(1-q)/\log(1-p)}] for p^2\leq u\leq p; and \Phi_{p,q}(u)=1-(1-u)^{\log(1-q)/\log(1-p)} for p\leq u\leq1. The logarithms are natural, although their base is irrelevant in each ratio. We use this as a coverage guarantee: if the useful k-mask family has normalized size u, then at least \binom{n}{\ell}\Phi_{p,q}(u) distinct l-masks can be reached by adding features. The guarantee is combinatorial and does not assume that masks are independent.
Implementation notes
1. Integration point: use this in a mask-augmentation layer before the encoder, or in a sparse MoE router whose route is a binary subset of n features or experts. Fix a base cardinality k and an augmentation cardinality l>k. Maintain a replay buffer of useful k-subsets: for classification, these can be masks with low validation loss; for MoE, they can be high-reward routes. 2. Pseudocode: F = select_top_useful_k_masks(buffer, M); u = len(F) / comb(n,k); target = comb(n,l) * Phi(p=k/n,q=l/n,u); repeatedly sample A uniformly from F, sample l-k elements from [n]\A, form B=A union extras, and insert B into a hash set until either the hash set size reaches min(target, budget) or the augmentation budget is exhausted; train on the resulting B masks. For a differentiable router, use the selected routes as teacher masks and add their logits to the corresponding augmented routes. 3. Compute from the paper: Phi, the lower-bound target, and the exact subset-containment construction. Estimate empirically: the actual unique-shadow size, duplicate rate, validation loss per mask, and the fraction of generated masks accepted by the model. For large n, never enumerate all subsets; estimate u from the replay buffer and use hashing or Bloom-filter deduplication. 4. First experiment: use CIFAR-10 or MNIST with an MLP or ViT whose input coordinates are randomly masked, n=32 or 64, k=4 or 8, and l=2k. Compare random l-subset masks, independent Bernoulli masks, and upper-shadow masks at equal augmentation count and FLOPs. Measure validation accuracy versus number of unique masks, duplicate rate, and robustness to unseen masks. The expected signal is higher unique-mask coverage and faster accuracy improvement at equal mask-generation budget; a negative result would be no gain over random supersets after controlling for marginal feature frequencies.
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.