Unverified 2026

Noncommutative adjacency-degree moments

Implementation & benchmark of arXiv:2607.21494 — Adjacency-degree algebras and spectral determination of graphs

Usefulness6/10
Difficulty4/10
Novelty6/10

Source paper: Adjacency-degree algebras and spectral determination of graphs arXiv:2607.21494 ⓘ · analyzed Aug 30, 2026

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

Idea description

Augment a graph neural network with features generated by noncommutative words in the adjacency matrix and diagonal degree matrix. Ordered patterns such as AD^2A and DADA distinguish where degree information occurs along a walk; the paper proves that the full scalar moment family determines every tree.

Formulas

$$\mathcal{A}(G)=\langle I,A_G,D_G\rangle,\qquad M_G=\mathcal{A}(G)\mathbf{1}$$
$$\mu_G(w)=\mathbf{1}^{T}w(A_G,D_G)\mathbf{1},\qquad w\in\mathbb{R}\langle x,y\rangle$$
$$v_{\varepsilon}=\mathbf{1},\qquad v_{wx}=A_Gv_w,\qquad v_{wy}=D_Gv_w,\qquad \mu_G(w)=\mathbf{1}^{T}v_w$$
$$\phi_L(G)=\left\{\frac{\mathbf{1}^{T}w(A_G,D_G)\mathbf{1}}{n\,s_w}:w\in\{x,y\}^{\leq L}\right\}$$

Mathematical statement

For a graph G with n vertices, A_G is its n-by-n adjacency matrix, D_G=diag(d_1,...,d_n) is its diagonal degree matrix, and 1 is the all-ones vector in R^n. The adjacency-degree algebra is A(G)=<I,A_G,D_G>, where products retain order because A_GD_G generally differs from D_GA_G. For a noncommutative word w in R<x,y>, w(A_G,D_G) substitutes A_G for x and D_G for y. The principal scalar moment is mu_G(w)=1^T w(A_G,D_G)1. The paper's main theorem states that the complete collection of these moments determines every tree. Vector features are v_w=w(A_G,D_G)1, whose span is the principal cyclic module M_G. A finite implementation uses words of length at most L; exact tree determination concerns the untruncated family, while finite features are an empirical approximation.

Implementation notes

Integrate this at the graph-level input stage of a message-passing GNN or graph transformer. For each graph with adjacency A, degree diagonal D, n nodes, and maximum word length L, construct vectors recursively: initialize v_empty=ones(n); for every current vector v_w, create v_wx=A @ v_w and v_wy=D @ v_w. Store both the nodewise vectors v_w and scalar sums ones^T @ v_w. Concatenate selected normalized node channels to the original node features and concatenate normalized scalar moments to the graph readout. Use s_w=(1+mean degree)^{number of x symbols plus number of y symbols}, or estimate each scale from the training set; apply a signed log transform to large moments. Begin with all 2^k words through L=4, then use random words or a learned top-k subset for L=6-8. The exact mathematical quantities are the recursive matrix-vector products and moments; truncation and normalization are empirical choices. First test a 3-6 layer GIN baseline on synthetic trees with depth and branching labels, using a held-out set of non-isomorphic trees and equal hidden width. Also test available ten-vertex switching examples. Success means higher graph classification accuracy or lower regression error when baseline node embeddings collide, with permutation-invariant moments and acceptable feature-computation overhead.

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.