Unverified 2026

Upper-shadow mask augmentation

Implementation & benchmark of arXiv:2607.21589 — Upper-shadow comparisons on the slice and the Frankl--Tokushige product conjectures

Usefulness5/10
Difficulty4/10
Novelty9/10

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

$$\partial_{k\to\ell}\mathcal{F}=\{B\in\tbinom{[n]}{\ell}:\exists A\in\mathcal{F},\ A\subseteq B\},\qquad \mu_k(\mathcal{F})=\frac{|\mathcal{F}|}{\binom{n}{k}},\quad p=\frac{k}{n},\quad q=\frac{\ell}{n}.$$
$$\mu_{\ell}(\partial_{k\to\ell}\mathcal{F})\geq\begin{cases}u^{\frac{\log q}{\log p}},&0\leq u\leq p^{2},\\ q\left[1-\left(1-\frac{u}{p}\right)^{\frac{\log(1-q)}{\log(1-p)}}\right],&p^{2}\leq u\leq p,\\ 1-(1-u)^{\frac{\log(1-q)}{\log(1-p)}},&p\leq u\leq1,\end{cases}\qquad u=\mu_k(\mathcal{F}).$$
$$|\partial_{k\to\ell}\mathcal{F}|\geq \binom{n}{\ell}\,\Phi_{p,q}\!\left(\frac{|\mathcal{F}|}{\binom{n}{k}}\right),\qquad \Phi_{p,q}(u)=\begin{cases}u^{\log q/\log p},&u\leq p^2,\\ q[1-(1-u/p)^{\log(1-q)/\log(1-p)}],&p^2\leq u\leq p,\\ 1-(1-u)^{\log(1-q)/\log(1-p)},&u\geq p.\end{cases}$$

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.