Mathematical analysis demonstrates exact conditions for the non-symmetric strong spectral property in looped double paths, resolving allowance across loop sets.
We classify exactly when a looped double-path zero--nonzero pattern allows the non-symmetric strong spectral property (nSSP). The structural core proves that a real symmetric irreducible tridiagonal matrix with one nonzero diagonal entry has the nSSP exactly when the two Jacobi arms obtained by deleting that vertex have disjoint spectra. Together with scaling, the Superpattern Lemma, and the known negative cases, this resolves the allowance question for every loop set. The result classifies allowance, not the finer require-versus-allow distinction. Status: Public Beta v0.2; internally verified candidate proof; external mathematical review pending.
No takes yet. Share an insight, caveat, or question.
Carptopus (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: