Extreme-Subset Adversarial Dropout
Implementation & benchmark of arXiv:2607.06249 — Extreme least singular values of Gaussian row submatrices and a phase retrieval stability problem
Source paper: Extreme least singular values of Gaussian row submatrices and a phase retrieval stability problem arXiv:2607.06249 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Turn row dropout into an adversarial conditioning problem rather than independent Bernoulli noise. At each training step, search for a subset of surviving channels or measurements with unusually small least singular value, train the downstream network on that subset, and gradually increase the search strength so training directly exposes failure modes hidden by average-case dropout.
Formulas
Mathematical statement
The paper defines the extreme statistic M_m^{\mathbb F}(A)=\min_{T\subset[N],|T|=m}\sigma_{\min}(A_T), making the worst square surviving submatrix the dangerous object. For an iid Gaussian N imes m matrix with aspect ratio \gamma=N/m>1, Theorem 1.1 gives \log M_m/m\approx-\log(c_\gamma)/d_{\mathbb F}, with c_\gamma=\gamma^\gamma/(\gamma-1)^{\gamma-1}, d_{\mathbb R}=1, and d_{\mathbb C}=2. Use this as a hardness schedule: if the current layer has empirical worst-subset score q, preferentially sample subsets with score below q. For a rectangular surviving matrix with more than m rows, evaluate the minimum over its m-row square submatrices. The method is a min-max training procedure; the theorem provides a random-matrix benchmark, not an assumption that neural features are Gaussian.
Implementation notes
1. Integration point: apply this to a feature tensor h\in\mathbb R^{B imes N imes m} immediately before a linear readout or reconstruction head, where N feature channels or measurements can be dropped. During training, replace ordinary dropout masks by masks generated from a hard-subset sampler. 2. Pseudocode: maintain a pool of K candidate subsets T of size m; for each candidate compute s(T)=sigma_min(W_T), where W is the next linear map or a periodically refreshed local Jacobian estimate; sample the next mask with probability p(T) proportional to exp(-s(T)/tau), or choose the lowest-scoring candidate; run the network on P_T h; backpropagate task loss plus optional alpha/s(T) penalty; every Q steps propose new subsets by swapping one included row with one excluded row and retain swaps that reduce s(T). Anneal tau from a broad value to a small value, moving from random dropout toward pathological masks. 3. The exact mathematical quantity is the combinatorial minimum and its Gaussian exponent. The sampler estimates it from a finite candidate pool; for large layers compute sigma_min with 3-8 Lanczos iterations on W_T^ op W_T. Use the theorem's c_gamma curve to choose target difficulty or compare against a Gaussian baseline. 4. First cheap experiment: use a small CIFAR-10 MLP or ViT patch-projection with N=64 channels and m=32. Compare standard dropout, random fixed masks, and extreme-subset adversarial dropout with equal numbers of masked examples. Evaluate clean accuracy, accuracy under the worst 1% of 10,000 sampled masks, loss spikes, and recovery after deleting channels. Success is lower worst-mask loss and smoother gradients with only a small clean-accuracy decrease.
Verification
Stage 1 · Toy mechanism gate: Failed ✗
Stage 2 · Mechanism transferred to benchmark: Not tested
Stage 2 · Practical benchmark result: Not run
Methodology: Toy-system gate first; the benchmark stage runs only after a pass. How verification works
Stage 1 — Mechanism check agent confidence 9/10
Built experiment.py with exhaustive least-singular-value subset scoring, a Gaussian theorem scaling check, and a matched toy downstream regression comparison. The extreme-conditioning phenomenon was clearly observed: at N=12,m=6 the minimum score was 0.00021 versus median 0.225, while gamma=2 log(M)/m values were broadly consistent with the theoretical limit -1.386. However, adversarial training worsened identical-pool evaluation, so this MVP does not demonstrate the promised robustness benefit.
- Agent confidence
- 9/10
- Baseline
- Random 20-subset training: final MSE 1.289; exhaustive-mask mean MSE 1.311; worst-1% MSE 2.131; worst MSE 2.294.
- Idea
- Lowest-singular-score 20-subset training: final MSE 1.076; exhaustive-mask mean MSE 1.733; worst-1% MSE 2.658; worst MSE 2.852. Extreme score 0.000211 versus median 0.2249, ratio 0.00094.
Limitations: Small synthetic regression with N=12,m=6 and fixed candidate subsets, not CIFAR-10 or a deep network. Scores used a fixed random feature matrix rather than a refreshed Jacobian; annealing, swap search, multiple seeds, Bernoulli dropout, and FLOP/accuracy studies were not tested.
How to run: python3 experiment.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Artifacts
- experiment.py 6.5 KB View Raw
- report.md 1.4 KB View
- results.json 27.2 KB View Raw