Twisted Z2 classifier on graph cycles
Implementation & benchmark of arXiv:2607.00999 — Yang-Mills-Higgs: A Geometric Theory of Binary Labels on Non-Contractible Spaces
Source paper: Yang-Mills-Higgs: A Geometric Theory of Binary Labels on Non-Contractible Spaces arXiv:2607.00999 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Replace a globally signed classifier by local logits connected through learnable plus-or-minus-one transports on the data graph. The model can represent XOR-like or periodic labelings that are inconsistent with any globally continuous sign function, while an explicit cycle penalty prevents arbitrary edge-sign memorization.
Formulas
Mathematical statement
The paper identifies binary label systems with functors \(\mathcal{C}:\Pi_1(M)\to B(\mathbb{Z}_2)\), whose equivalence classes are classified by \(\mathrm{Hom}(\pi_1(M,x_0),\mathbb{Z}_2)\). Given two functors \(\mathcal{C},\mathcal{C}'\) with the same monodromy, the paper constructs the natural isomorphism \(\eta_x:=\mathcal{C}'([\gamma_x])\mathcal{C}([\gamma_x])^{-1}\), and for a path \(\delta:x\to y\) proves \(\mathcal{C}'([\delta])=\eta_y\mathcal{C}([\delta])\eta_x^{-1}\). Here \(\gamma_x\) is a reference path from a base point to \(x\), \(\mathcal{C}([\delta])\in\{\pm1\}\) is transport along the path, and \(\eta_x\in\{\pm1\}\) is a local gauge change. Adapt this to a graph with edge transport \(s_{ij}\in\{\pm1\}\): a node logit \(z_i\) is covariantly smooth when \(z_j\approx s_{ij}z_i\). The monodromy on a cycle \(\gamma=(i_0,i_1,\ldots,i_L=i_0)\) is \(\prod_{r=0}^{L-1}s_{i_ri_{r+1}}\), which is gauge-invariant because vertex sign changes \(g_i\) transform \(s_{ij}\) to \(g_js_{ij}g_i^{-1}\).
Implementation notes
Integrate this as a classification head on top of a graph neural network, point-cloud network, or transformer whose tokens have known adjacency and periodic identifications. First construct a sparse graph G=(V,E) using k-nearest neighbors or known grid edges, retain edge weights w_ij, and compute a cycle basis B from a spanning tree plus one cycle for each non-tree edge. The backbone produces scalar logits z_i=h_theta(x_i). Add one trainable scalar a_ij=a_ji per undirected edge and define a differentiable transport s_ij=tanh(alpha*a_ij), or use sign(a_ij) with a straight-through estimator. For every labeled node, apply ordinary cross-entropy to sigmoid(z_i). Add the covariant smoothness term w_ij*(z_j-s_ij*z_i)^2. For each basis cycle, compute m_gamma as the product of its edge transports and add the cycle penalty (1-m_gamma)^2. To avoid the trivial solution s_ij approximately zero, increase alpha during training or add lambda_s*(1-s_ij^2)^2. The graph transport is the learned discrete connection; cycle products are computed exactly from current edge parameters, while the cycle basis is computed once. First test on a 2D torus grid with XOR labels at 4, 16, and 100 labeled points, comparing an MLP, ordinary GNN, and this head. Success means lower test error at fixed labels and stable learned cycle parity, especially when the ordinary MLP violates periodic identification.
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.