Spectrally Safe Phase Propagation
Implementation & benchmark of arXiv:2608.23655 — On Spectra of $\mathbb{T}$-Gain Digraphs
Source paper: On Spectra of $\mathbb{T}$-Gain Digraphs arXiv:2608.23655 ⓘ · analyzed Aug 29, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Use unit-gain directed propagation as a drop-in graph filter whose spectral radius is provably bounded by that of the underlying nonnegative adjacency. Add an inexpensive power-iteration monitor or rescaling rule so learned graph propagation remains no more expansive than the corresponding magnitude-only operator.
Formulas
Mathematical statement
The gain adjacency A(Φ) has entries of modulus one wherever the underlying digraph has an arc, hence |A(Φ)|=A(D) entrywise for the unweighted underlying adjacency A(D). The paper recalls the Perron-Frobenius comparison result: if N is nonnegative and |M|≤N, then ρ(M)≤ρ(|M|)≤ρ(N), where ρ(M)=max_{λ∈spec(M)}|λ| is spectral radius. Therefore ρ(A(Φ))≤ρ(A(D)). For a propagation operator P_α=(1−α)I+αD_+^{-1}A(Φ), estimate its spectral radius by power iteration and rescale it to a target r≤1. The guarantee applies directly to the raw gain adjacency; the normalized or residual operator should be monitored empirically because degree normalization and self-loops alter the comparison matrix.
Implementation notes
1. Integration point: modify the propagation matrix in a directed GNN, graph preprocessing step, or graph diffusion block. For each edge use A_uv=e^{iθ_uv}, multiply by inverse out-degree D_+^{-1}, and retain a real-valued output projection after the complex propagation. 2. Pseudocode: form P=(1−α)I+αD_inv@A_gain; draw a fixed random complex probe x with unit norm; run K=5–10 power iterations x←P@x/norm(P@x), recording rho_hat=norm(P@x); if rho_hat>r_target, replace P by (r_target/(rho_hat+ε))*P. Apply h_next=equivariant_activation(P@h@W). Compute the monitor every several hundred optimizer steps, with gradients stopped through rho_hat, or use a soft penalty max(0,rho_hat−r_target)^2. 3. The exact comparison theorem is used for the unnormalized gain adjacency; rho_hat is an empirical estimate for the normalized residual operator, and separately estimate rho(A(D)) using the same power iteration. 4. First cheap experiment: train 2- to 6-layer directed GCNs on Cora, PubMed, and a synthetic long-chain graph, comparing ordinary real adjacency propagation, unconstrained complex gains, and this rescaled version. Record exploding activations, gradient norms, validation accuracy, and feature oversmoothing versus depth. The target signal is fewer exploding runs and stable training at depths where the unconstrained phase model diverges, without reducing accuracy or requiring smaller learning rates.
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.