Unverified 2026

Positive Spectral-Energy Budget for Learned Graphs

Implementation & benchmark of arXiv:2607.18044 — A positive square-energy strengthening of Turán's theorem

Usefulness5/10
Difficulty5/10
Novelty6/10

Source paper: A positive square-energy strengthening of Turán's theorem arXiv:2607.18044 ⓘ · analyzed Aug 30, 2026

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

Idea description

Add a clique-aware penalty to a learned graph adjacency or graph-attention matrix that suppresses excessive squared positive eigenvalue energy. Unlike a spectral-radius penalty, this controls the entire positive spectral subspace and can discourage highly concentrated, unstable message-passing channels while preserving useful negative-spectrum structure.

Formulas

$$s^{+}(G)=\sum_{i:\lambda_i(A)>0}\lambda_i(A)^2$$
$$\sqrt{s^{+}(G)}\leq\left(1-\frac{1}{\omega(G)}\right)n$$
$$\max\bigl\{x^{\top}Ax:x\geq 0,\ \mathbf{1}^{\top}x=1\bigr\}=1-\frac{1}{\omega(G)}$$
$$\mathcal{L}_{\mathrm{PSE}}=\left[\sqrt{\sum_i\max(\lambda_i(W),0)^2}-\tau\right]_+^2,\qquad \tau=\left(1-\frac{1}{r}\right)n$$

Mathematical statement

For a simple undirected graph G with n vertices, adjacency matrix A, eigenvalues \(\lambda_1,\ldots,\lambda_n\), and clique number \(\omega(G)=r\), the paper defines \(s^+(G)=\sum_{i:\lambda_i>0}\lambda_i^2\) and proves \(\sqrt{s^+(G)}\le (1-1/r)n\). The target constant comes from the Motzkin–Straus identity \(\max\{x^\top A x:x\ge0,\mathbf{1}^\top x=1\}=1-1/r\), where x is a probability vector on vertices and \(\mathbf{1}\) is the all-ones vector. For a learned symmetric nonnegative matrix W, define \(\lambda_i(W)\) as its real eigenvalues and \(s^+(W)=\sum_i\max(\lambda_i(W),0)^2\). Use the theorem-inspired soft constraint \(\mathcal{L}_{\mathrm{PSE}}=[\sqrt{s^+(W)}-\tau]^2_+\), with \([z]_+=\max(z,0)\) and \(\tau=(1-1/r)n\) for a desired clique-complexity budget r. The rigorous guarantee applies to binary graph adjacency matrices; for continuous W this is a relaxation whose usefulness must be measured empirically.

Implementation notes

Integrate this at the learned-adjacency stage of a GNN or graph transformer. Let node features be H in R^{n x d}; construct nonnegative edge scores with S=softplus(H Q (H K)^T / sqrt(d)), symmetrize W=(S+S^T)/2, and optionally zero the diagonal. Use W in message passing, for example H_next=sigma(W H V), while adding beta times L_PSE to the task loss. Here n is the number of nodes in the graph and r is a chosen complexity budget: r=2 is a strong low-clique constraint, while larger r permits more positive spectral energy. For small graphs, compute all eigenvalues of W with a symmetric eigensolver each training step. For larger graphs, estimate the top k positive eigenvalues using k-step Lanczos on W; use s_plus_hat=sum_{j=1}^k max(theta_j,0)^2 and stop increasing k when the residual energy estimate is below a tolerance. Pseudocode is: construct W; theta=Lanczos(W,k); s=sum(max(theta,0)^2); penalty=relu(sqrt(s)-tau)^2; loss=task_loss+beta*penalty; backpropagate. The theorem supplies the target scale and explains why positive, rather than absolute, eigenvalues are penalized; the eigenvalues and gradients are estimated numerically. First test on Cora or a synthetic stochastic-block graph with a 2-layer GCN whose adjacency is learned from node features. Compare no spectral penalty, a largest-eigenvalue penalty, and PSE at matched parameter count and FLOPs. Measure validation accuracy, oversmoothing via pairwise cosine similarity of final node embeddings, spectral energy, and training stability. Success means lower embedding collapse and comparable or better accuracy at the same message-passing depth; a stronger result is improved accuracy when increasing depth from 2 to 6 layers without exploding positive spectral energy.

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.