Matroid-rank interaction bottleneck
Implementation & benchmark of arXiv:2607.07458 — Analytic Spread via Linear Matroids
Source paper: Analytic Spread via Linear Matroids arXiv:2607.07458 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Construct a candidate feature for every edge pair or structured token pair, then retain a numerically independent subset under a feature-Jacobian matroid. The neural layer computes only the selected interactions, preserving directions that add new information rather than pruning solely by magnitude or attention score.
Formulas
Mathematical statement
The paper associates graph-pair determinantal generators with a matrix \(\mathcal{H}(G,H)\), whose columns represent candidate generators and whose rank is the rank of a linear matroid. The analytic spread \(\ell(J_{G,H})\) therefore counts the dimension of the independent generator span. If \(G\) and \(H\) have \(n\) and \(m\) vertices and \(c_G,c_H\) connected components, the paper proves \((n-c_G)(m-c_H)\leq\ell(J_{G,H})\leq mn\). For a path \(P_n\) and a unicycle \(H\), it proves \(\ell(J_{P_n,H})=(n-1)|E(H)|\). It also uses explicit nullspace matrices: \(\mathcal{H}M_n=0\) implies \(\operatorname{rank}(\mathcal{H})\leq n(n-1)-\operatorname{rank}(M_n)\). In the neural version, each candidate interaction \(q\) has a feature or Jacobian column \(j_q\), and QR pivoting selects a basis whose numerical rank estimates the matroid rank. Here \(\tau\) is the numerical independence threshold, \(J\) is the matrix of sampled Jacobian columns, and \(B\) is the selected pivot set.
Implementation notes
Integrate the method at the interaction tensor of a graph neural network or structured attention layer. Let \(X\in\mathbb{R}^{n\times d}\) and \(Y\in\mathbb{R}^{m\times d}\) be node or token embeddings. For each edge pair \(e=(i,k)\in E(G)\), \(f=(j,l)\in E(H)\), define a candidate scalar interaction \(\phi_{e,f}=\langle X_i,Y_j\rangle\langle X_k,Y_l\rangle-\langle X_i,Y_l\rangle\langle X_k,Y_j\rangle\), or replace it with the actual attention feature used by the baseline. During a calibration pass, sample 8--32 random probe vectors \(v_t\) and estimate each Jacobian column through directional derivatives \(j_q=[v_t^T\partial\phi_q/\partial\operatorname{vec}(X,Y)]_t\). Stack the columns into \(J\), run rank-revealing QR or greedy Gram-Schmidt, and retain pivot indices whose residual norm exceeds \(\tau=10^{-3}\|J\|_2\), with \(\tau\) optionally tuned on a calibration set. Pseudocode: form candidate set \(Q\); compute or approximate \(J\); \(B\leftarrow\operatorname{QR\text{-}pivot}(J;\tau)\); during training compute only \(\{\phi_q:q\in B\}\); concatenate them and apply the existing projection/MLP. Refresh \(B\) every 1,000--10,000 steps using an exponential moving average of \(J^TJ\), or keep it fixed for a cheaper MVP. The paper supplies the rank and nullspace rationale; the Jacobian proxy, threshold, and refresh schedule are empirical. First test a 4-layer graph transformer or GAT on ZINC or ogbg-molhiv, with 4--8 times as many candidate edge-pair interactions as the desired bottleneck. Compare dense, random, magnitude, and matroid-rank selection at matched retained-feature counts. Measure interaction FLOPs, activation memory, validation score, and rank-versus-budget curves. A successful result is at least 2x lower interaction memory or FLOPs with no validation degradation, or higher accuracy than random and magnitude pruning at equal budget.
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.