Unverified 2026

Bartlett-LKJ Correlated Head Noise

Implementation & benchmark of arXiv:2608.06116 — Bartlett Couplings of the Onion and Vine LKJ Samplers

Usefulness5/10
Difficulty4/10
Novelty7/10

Source paper: Bartlett Couplings of the Onion and Vine LKJ Samplers arXiv:2608.06116 ⓘ · analyzed Aug 31, 2026

AI-generated research hypothesis, automatically tested. Not peer-reviewed.

Idea description

Replace independent dropout or Gaussian perturbations across attention heads, ensemble members, or diffusion score replicas with a positive-semidefinite correlation matrix sampled from an LKJ distribution. The concentration parameter eta controls whether perturbations are nearly independent or strongly correlated in a controlled way, while the Bartlett construction guarantees a valid covariance without matrix rejection or projection.

Formulas

$$p_\eta(C) \propto \det(C)^{\eta-1}, \qquad C\in\mathcal{E}_n=\{C=C^\top,\ C\succeq 0,\ C_{ii}=1\}.$$
$$A_{ij}\sim\mathcal{N}(0,1)\ (j<i),\qquad A_{ii}^2\sim\chi^2_{\,2\eta+i-2},\qquad B_{i,:}=\frac{A_{i,:}}{\|A_{i,:}\|_2},\qquad C=BB^\top.$$
$$\varepsilon=\sigma Bz,\qquad z\sim\mathcal{N}(0,I_n),\qquad \operatorname{Cov}(\varepsilon\mid B)=\sigma^2 C.$$

Mathematical statement

The LKJ distribution on the elliptope E_n={C in R^{n x n}: C=C^T, C is positive semidefinite, C_ii=1} has density p(C) proportional to det(C)^(eta-1), with eta>0. A direct row-normalized Bartlett sampler draws A_ij independently from N(0,1) for j<i, draws A_ii^2 from chi-square with degrees of freedom 2 eta+i-2, and normalizes each row B_i=A_i/||A_i||_2. The resulting C=B B^T is an LKJ_n(eta) correlation matrix. For head-wise perturbations epsilon with marginal scale sigma, use epsilon=sigma B z for z~N(0,I_n), giving conditional covariance sigma^2 C. The factor B avoids a separate eigendecomposition or matrix square root.

Implementation notes

Integrate this at the perturbation-generation point rather than inside the core attention matrix multiplication. For a transformer with H heads, set n=H and generate one lower-triangular Bartlett factor B per training step, microbatch, or epoch. Use eta as a fixed hyperparameter or a schedule. Pseudocode: input head outputs h[1:H], noise scale sigma, and eta; initialize A=0; for i=2,...,H, sample A[i,j]~Normal(0,1) for j<i and A[i,i]~sqrt(ChiSquare(2*eta+i-2)); set B[i]=A[i]/norm(A[i]); set B[1,1]=1; sample z~Normal(0,I_H); set eps=sigma*(B@z); replace independent head noise eps_i with eps_i, or use eps_i to scale head dropout logits. For multiple feature dimensions, draw z independently per token and feature group, reusing B across the sequence to create head-level rather than token-level correlation. The exact paper-derived computation is the Bartlett degrees-of-freedom rule and row normalization; no empirical eigendecomposition is needed. Record head-output correlation and gradient variance empirically. First experiment: compare a 6-head, 2-layer Transformer on CIFAR-10 or WikiText-2 using independent dropout versus LKJ-correlated dropout at eta in {0.3,1,3,10}, matched noise variance and FLOPs. Measure validation accuracy or perplexity, gradient variance, and robustness across seeds. Success means improved accuracy or calibration at equal cost, or lower seed-to-seed variance without optimization instability.

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.