△ Mechanism confirmed, baseline not beaten 2026

Augmentation-Graph Label Propagation Head

Implementation & benchmark of arXiv:2607.07513 — Fast Rates for Semi-Supervised Learning via Data-Augmentation Graph Regularization

Usefulness7/10
Difficulty4/10
Novelty5/10

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

$$L(g,S^L)=\frac{1}{n_L}\sum_{z_j\in S^L}\ell(g,z_j),\qquad |\ell(f,y)-\ell(g,y)|\leq\sigma_\ell\|f-g\|.$$
$$\mathbb{E}[\mathrm{error}]\leq\frac{C}{n_L}+R_{\mathrm{DA}}(y).$$
$$L=D-W,\qquad D_{ii}=\sum_{j=1}^{m}W_{ij},\qquad \frac{1}{2}\sum_{i,j}W_{ij}\|p_i-p_j\|^2=\operatorname{tr}(P^{\top}LP).$$
$$\min_{\theta}\;\frac{1}{n_L}\sum_{i\in\mathcal{L}}\ell(g_\theta(x_i),y_i)+\frac{\lambda}{m^2}\operatorname{tr}(P_\theta^{\top}LP_\theta).$$

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

Mechanism confirmed, baseline not beaten

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
Limitations:

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
Limitations:

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

Implementation overview ⬇ Download all as ZIP 6 files · code, reports and structured results