Mutation-invariant interaction mixer
Implementation & benchmark of arXiv:2608.12484 — Monodromy of plane curve singularities and quiver mutation
Source paper: Monodromy of plane curve singularities and quiver mutation arXiv:2608.12484 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Represent a directed interaction graph by a Laurent-polynomial Euler-like matrix and use its evaluation as a signed message-passing or attention-mixing operator. During dynamic rewiring, require the new graph representation to preserve the associated bilinear form up to the congruence transformation induced by the change of basis, so equivalent routings produce equivalent hidden states.
Formulas
Mathematical statement
The paper uses the graded Euler matrix \(\mathcal{E}_{(Q,W,d)}(t)\) of a quiver with potential \((Q,W)\), where \(Q\) is a directed graph, \(W\) is its potential, \(d\) is grading data, and \(t\) is a formal Laurent variable. Under vertex gauging, the grading changes as \(d\rightsquigarrow d+\delta h\), and the matrix transforms by \(\mathcal{E}_{d^h}(t)=D_h(t)\mathcal{E}_{d}(t)D_h(t)^{-1}\), where \(D_h(t)\) is an invertible diagonal Laurent-polynomial matrix. Under graded quiver mutation, \((Q,W,d)\rightsquigarrow(Q',W',d')\), the matrix transforms as \(\mathcal{E}'(t)=M(t)^{\dagger}\mathcal{E}(t)M(t)\), where \(M(t)\) is an invertible mutation matrix and \(\dagger\) denotes the involutive transpose appropriate to the Laurent pairing. Thus the bilinear module structure is preserved under a coordinate change. The adaptation evaluates \(t\) at a real scalar \(\rho\in(0,1)\), replaces integer features by trainable bounded edge weights, and enforces approximate congruence equivariance.
Implementation notes
Integrate this into a small graph transformer or MoE router whose tokens or experts are vertices. Construct a signed Euler-like matrix \(E\in\mathbb{R}^{n\times n}\) from the current directed interaction graph: initialize \(E_{ii}=1-\rho\), set \(E_{ij}=\rho a_{ij}\) for a forward edge, and \(E_{ij}=-a_{ji}\) for a reverse edge, with \(a_{ij}\) a bounded sigmoid edge weight and \(\rho\in[0.2,0.8]\). Use \(E\) to mix node states, for example \(H_{\mathrm{mix}}=\operatorname{LayerNorm}(H+\alpha EH)\), or add \(\alpha E\) to attention logits before row normalization. When a router rewires edges, compute an invertible change-of-basis matrix \(M\); for an MVP use products of elementary matrices \(M=I+uv^{\top}\) with small norm and explicitly reject proposals with determinant magnitude below \(0.5\). Apply the corresponding hidden-state transform \(H'=M^{-1}H\), then train the new edge weights with the penalty \(\mathcal{L}_{\mathrm{cong}}=\|E'-M^{\top}EM\|_F^2\). The paper supplies the congruence law; the implementation estimates \(E\), \(M\), and edge weights from the current graph. Pseudocode: build \(E\); compute \(Z=H+\alpha EH\); periodically propose a graph mutation; construct \(M\); replace \((E,H)\) by \((E',M^{-1}H)\); optimize task loss plus \(\lambda\mathcal{L}_{\mathrm{cong}}\). First test on Cora or a synthetic long-range graph with a 2-layer GAT baseline and random edge rewiring every 100 steps. Measure validation accuracy after rewiring, loss spikes, and recovery time. Success means at least 20% smaller loss spikes and no accuracy loss relative to an equally sized non-invariant dynamic graph model.
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.