Unverified 2026

Matroid-rank interaction bottleneck

Implementation & benchmark of arXiv:2607.07458 — Analytic Spread via Linear Matroids

Usefulness5/10
Difficulty6/10
Novelty7/10

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

$$(n-c_G)(m-c_H)\leq\ell(J_{G,H})\leq mn,$$
$$\ell(J_{P_n,H})=(n-1)|E(H)|\quad\text{when }H\text{ is a unicycle},$$
$$\mathcal{H}M_n=0\quad\Longrightarrow\quad \operatorname{rank}(\mathcal{H})\leq n(n-1)-\operatorname{rank}(M_n),$$
$$J=\left[\frac{\partial\phi_q(X,Y)}{\partial\operatorname{vec}(X,Y)}\right]_{q\in Q},\qquad B=\operatorname{QR\text{-}pivot}(J;\tau),\qquad \widehat r=|B|.$$

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.