Unverified 2026

Centered Triangle Closure Regularizer

Implementation & benchmark of arXiv:2607.22480 — Distinguishability threshold for random geometric graphs

Usefulness5/10
Difficulty4/10
Novelty5/10

Source paper: Distinguishability threshold for random geometric graphs arXiv:2607.22480 ⓘ · analyzed Aug 30, 2026

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

Idea description

Add a centered triangle-consistency term to a graph neural network or graph transformer. The term rewards learned edge affinities whose triangle products exceed the independent-edge baseline while preserving the overall edge density, encouraging locally coherent neighborhoods instead of arbitrary pairwise affinities.

Formulas

$$\mathbb{P}[\{i,j,k\}\text{ is a triangle in }G(n,d,p)]\ge p^{3}\left(1+\frac{c}{\sqrt{d}}\right),\qquad c\asymp\big(\log p^{-1}\big)^{3/2}.$$
$$d\gg n^{3}p^{3}\big(\log(1/p)\big)^{3}\quad\Longrightarrow\quad \operatorname{TV}(G(n,p),G(n,d,p))\to 0.$$
$$X_{ij}=\frac{A_{ij}-p}{\sqrt{p(1-p)}},\qquad S_{\triangle}(A)=\sum_{1\le i<j<k\le n}X_{ij}X_{ik}X_{jk}.$$
$$\mathcal{L}_{\mathrm{total}}=\mathcal{L}_{\mathrm{task}}-\lambda\,\frac{S_{\triangle}(P)}{\binom{n}{3}}+\mu\left(p_{\theta}-p_{\mathrm{target}}\right)^2.$$

Mathematical statement

The paper states that every triple in the spherical random geometric graph has triangle probability at least p^3(1+c/sqrt(d)), where p is the marginal edge probability, d is the sphere dimension, and c is of order (log(1/p))^(3/2). It identifies the signed triangle count as the leading correction to the Erdős–Rényi likelihood. For a binary adjacency matrix A, define the centered normalized edge variable X_ij=(A_ij-p)/sqrt(p(1-p)), where A_ij is the edge indicator and p is the baseline edge probability. The signed triangle statistic is S_triangle(A)=sum over i<j<k of X_ij X_ik X_jk. For neural affinities P_ij in [0,1], replace A_ij by P_ij and estimate p_theta as the mean off-diagonal affinity. The regularizer uses the normalized soft signed triangle statistic and a penalty keeping p_theta near a chosen target density.

Implementation notes

Integrate the regularizer after the model produces a soft affinity matrix. In a graph transformer, compute attention logits L=QK^T/sqrt(h), symmetrize them with L_sym=(L+L^T)/2, and define P=sigmoid(L_sym+M), where M is the graph mask. In a GNN, use the learned edge scorer as P directly. Compute p_theta as the mean of P_ij over all distinct ordered vertex pairs, then set X_ij=(P_ij-p_theta)/sqrt(p_theta(1-p_theta)+epsilon). For small graphs, compute S_triangle(P)=sum_{i<j<k} X_ij X_ik X_jk exactly, or equivalently use trace(X^3)/6 when X is symmetric with zero diagonal. For larger graphs, sample B distinct vertex triples uniformly and use the unbiased estimate S_hat=(n choose 3)/B times the sum over sampled triples of X_ij X_ik X_jk. Optimize task_loss - lambda*S_hat/(n choose 3) + mu*(p_theta-p_target)^2. Detach neither X nor p_theta so gradients affect affinities, but optionally stop gradients through p_theta for the first warmup epochs. The paper provides the centering and motif statistic; choose lambda, mu, and p_target empirically. First test a two-layer GCN and a small graph transformer on Cora and on synthetic points sampled from a low-dimensional sphere, comparing cross-entropy alone, uncentered triangle regularization, and this centered version. Measure validation accuracy, calibration, and performance after random edge rewiring at fixed density. Success is improved robustness or accuracy at equal parameter count without affinity collapse or density drift.

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.