Augmentation-Graph Label Propagation Head
Implementation & benchmark of arXiv:2607.07513 — Fast Rates for Semi-Supervised Learning via Data-Augmentation Graph Regularization
Source paper: Fast Rates for Semi-Supervised Learning via Data-Augmentation Graph Regularization arXiv:2607.07513 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Attach a graph-Laplacian penalty to predictions on all labeled and unlabeled examples, with graph edges determined by augmentation-induced representation similarity. The supervised head is encouraged to vary smoothly along reliable augmentation edges, enabling labels to propagate through the unlabeled pool while preserving the paper's explicit augmentation-boundary diagnostic.
Formulas
Mathematical statement
The labeled empirical loss is L(g,S^L) = (1/n_L) sum over z_j in S^L of ell(g,z_j), where S^L is the labeled subset, n_L is its size, g is the predictor, and ell is convex and sigma_l-Lipschitz on a bounded score domain: |ell(f,y) - ell(g,y)| <= sigma_l ||f-g||. The paper gives the fast-rate decomposition E[error] <= C/n_L + R_DA(y), where C is a stability-dependent constant, n_L is the number of revealed labels, and R_DA(y) is an augmentation-alignment error proportional to graph-cut mass crossing label boundaries. For a symmetric nonnegative adjacency matrix W, define D_ii = sum_j W_ij and the graph Laplacian L = D - W. If p_i = g_theta(x_i) is the K-dimensional prediction vector at node i and P is the m by K matrix whose rows are p_i, then (1/2) sum_{i,j} W_ij ||p_i-p_j||^2 = tr(P^T L P). Use this identity as a differentiable regularizer. The graph-cut diagnostic is R_hat_DA = [sum_{i,j} W_ij 1[hat y_i != hat y_j]]/[sum_{i,j} W_ij], where hat y_i is a known label or a confident pseudo-label.
Implementation notes
(1) Integration point: modify the classifier loss during semi-supervised fine-tuning. Use an encoder h_phi and classifier g_theta. For every indexed example x_i in a minibatch, compute an embedding h_i and prediction p_i = softmax(g_theta(x_i)/tau). Initially freeze h_phi or update it only with the ordinary supervised loss; construct the graph from detached embeddings so the graph cannot be manipulated by the encoder to remove the penalty. (2) Pseudocode: generate two stochastic augmented views for each example; compute detached view embeddings; form a sparse k-nearest-neighbor matrix W using W_ij = exp(-||h_i-h_j||^2/(2 rho^2)) when j is among i's neighbors and zero otherwise; symmetrize W with (W+W^T)/2; calculate d_i = sum_j W_ij and L = diag(d)-W; compute predictions P; calculate R_graph = tr(P^T L P)/m^2, equivalently R_graph = (1/(2m^2)) sum_ij W_ij ||p_i-p_j||^2; minimize L_sup + lambda R_graph, where L_sup is cross-entropy or another convex supervised loss over labeled nodes. Rebuild the graph every epoch or every few hundred steps. (3) The Laplacian identity and the C/n_L + R_DA(y) rate are taken from the paper. The neighbor count k, bandwidth rho, temperature tau, regularization coefficient lambda, and stability constant C are empirical; do not assume C is known. Estimate the alignment proxy using ground-truth labels when both endpoints are labeled and pseudo-labels only when prediction confidence exceeds gamma. (4) First experiment: use CIFAR-10 with 1%, 2%, 5%, and 10% labels, a frozen pretrained ResNet-18 or ViT-small, and compare ordinary linear probing against the same head with graph regularization. Measure test accuracy, transductive accuracy on the unlabeled pool, training loss at equal FLOPs, graph-cut proxy, and n_L times the residual error after subtracting the cut proxy. Success is improved accuracy at low label counts and a substantially smaller gap between transductive and test performance without increasing encoder compute excessively.
Verification
Stage 1 · Toy mechanism gate: Passed ✓
Stage 2 · Mechanism transferred to benchmark: Confirmed ✓
Stage 2 · Practical benchmark result: No measurable effect
Methodology: 8 paired seeds, permutation test (p<0.05) against a learning-rate-tuned baseline. How verification works
Stage 1 — Mechanism check agent confidence 9/10
Built a reproducible toy Laplacian label-propagation experiment and a small graph-regularized linear classifier comparison. The core identity matched to 5.7e-14, positive lambda collapsed within-component disagreement and graph energy as predicted, and cross-boundary MSE increased monotonically for all six weight increments. The classifier did not improve accuracy over the supervised baseline, so the evidence supports the mechanism but not a practical accuracy win in this toy setup.
- Agent confidence
- 9/10
- Baseline
- Logistic regression: all accuracy 0.9667, unlabeled accuracy 0.9653.
- Idea
- Graph head: all/unlabeled accuracy 0.9633/0.9618 for lambda 0, 0.5, 2, and 10; normalized graph energy decreased from 2.8738e-4 to 2.8253e-4. Toy predictions: lambda=0 disagreement 0.2000 versus predicted 0.2; maximum positive-lambda disagreement 2.0e-13 versus predicted 0; lambda=0 energy 4.0000 versus predicted 4; maximum positive-lambda energy magnitude 4.0e-12 versus predicted 0; boundary MSE increased from approximately 0 to 0.108 as cross-edge weight rose from 0 to 5.
Limitations: The classifier experiment used synthetic Gaussian data and a linear head rather than CIFAR-10, a pretrained encoder, stochastic augmentations, pseudo-label confidence filtering, or minibatch sparse graph rebuilding. It tested one random seed and did not measure FLOPs, wall-clock speed, calibration, or the paper's full C/n_L plus augmentation-boundary residual decomposition.
How to run: python3 experiment.py
Stage 2 — Benchmark vs. tuned baseline (arXiv:2607.07513)
Ahead of the baseline (−0.5%) but not statistically significant (p=0.7468, wins 4 / 8 paired seeds).
- Benchmark
- Custom:csbm_radius_graph
- Model
- NodeHead
- Paired seeds
- 8
- Baseline mean
- 0.1162
- Idea mean
- 0.1156
- Effect (Δ)
- -0.0006 (−0.5%; negative = idea better)
- Wins
- 4 / 8 paired seeds
- p-value
- 0.7468 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±2.8%
- Mechanism
- Confirmed ✓
- Practical effect
- No effect
- Baseline tuning
- swept over 3 configs
The advertised absolute bench path and README location were unavailable; the equivalent benchmark was found at /home/maxwelhelp/all/math2nn/bench. The experiment used the existing CSBM graph track rather than CIFAR-10, did not use a pretrained encoder, and measured test error rather than augmentation-boundary residual decomposition or wall-clock/FLOP cost.
How to run: python3 run_bench.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Stage 2 — Benchmark latest Failed ✗
Agent confidence: 9/10
Implemented the augmentation-graph Laplacian penalty as a local training-loop intervention on the structurally matched CSBM graph label-propagation track, using the same NodeHead architecture for baseline and idea. The trained-model mechanism signature was confirmed because graph energy decreased monotonically with lambda, but test error did not improve significantly: paired delta was -0.000625 with permutation p=0.7468. Therefore this is not a benchmark win.
- Baseline
- Best lr=0.001; 8-seed test error mean 0.116250, std 0.021615. Sweep means: lr=0.001: 0.115000, lr=0.003: 0.115625, lr=0.01: 0.127500.
- Idea
- Best lr=0.001, lambda=0.02; 8-seed test error mean 0.115625, std 0.018864. Paired delta=-0.000625, 4/8 wins, permutation p=0.7468. Lambda means: 0.02: 0.115625, 0.1: 0.115625, 0.5: 0.117500.
- Mechanism signature
- Normalized trained-model graph energy decreased from 0.0010763953 at lambda=0 to 0.0010655579, 0.0010648575, and 0.0010639038 at lambda=0.02, 0.1, and 0.5 respectively; confirmed=true.
Benchmark result
Ahead of the baseline (−0.5%) but not statistically significant (p=0.7468, wins 4 / 8 paired seeds).
- Benchmark
- Custom:csbm_radius_graph
- Model
- NodeHead
- Paired seeds
- 8
- Baseline mean
- 0.1162
- Idea mean
- 0.1156
- Effect (Δ)
- -0.0006 (−0.5%; negative = idea better)
- Wins
- 4 / 8 paired seeds
- p-value
- 0.7468 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±2.8%
- Mechanism
- Confirmed ✓
- Practical effect
- No effect
- Baseline tuning
- swept over 3 configs
The advertised absolute bench path and README location were unavailable; the equivalent benchmark was found at /home/maxwelhelp/all/math2nn/bench. The experiment used the existing CSBM graph track rather than CIFAR-10, did not use a pretrained encoder, and measured test error rather than augmentation-boundary residual decomposition or wall-clock/FLOP cost.
How to run: python3 run_bench.py
Artifacts
- bench_report.json 3.8 KB View Raw
- experiment.py 6.3 KB View Raw
- report.md 1.7 KB View
- report_bench_2026-08-30T213329.md 4.0 KB View
- results.json 2.7 KB View Raw
- run_bench.py 6.1 KB View Raw