English

Dimension-dependent bounds for the SDIEP via phase optimisation and Paley-type constructions

Spectral Theory 2025-09-30 v1 Numerical Analysis Numerical Analysis

Abstract

We refine the cycle-walk (Fourier) template of Gnacik and the author to quantify when a~δ\delta-Sule\u{\i}manova spectrum (1,λ2,,λn)(1,\lambda_2,\dots,\lambda_n) (with λj0\lambda_j\le 0) is realised by a symmetric doubly stochastic matrix. For the canonical cycle basis we compute the \emph{exact} size-dependent threshold δn  =  112cos2 ⁣(π4nρ(n)),ρ(n){0,1,2,4} determined by nmod8, \delta_n \;=\; 1-\frac{1}{2\cos^2\!\Big(\frac{\pi}{4n}\rho(n)\Big)}, \quad \rho(n)\in\{0,1,2,4\}\ \text{determined by } n\bmod 8, which improves 1/21/2 if and only if 8n8\nmid n; we also prove sharpness for that template. We then introduce an \emph{optimally phase-aligned} cycle basis which removes the `8n8\mid n' artefact and yields better sufficient bound δn(ph)  =  {112cos2(π/n),n0(mod4),112cos2(π/2n),n2(mod4),112cos2(π/4n),n odd, \delta_n^{\rm (ph)} \;=\; \begin{cases} \displaystyle 1-\dfrac{1}{2\cos^2(\pi/n)}, & n\equiv 0\pmod{4},\\[2mm] \displaystyle 1-\dfrac{1}{2\cos^2(\pi/2n)}, & n\equiv 2\pmod{4},\\[2mm] \displaystyle 1-\dfrac{1}{2\cos^2(\pi/4n)}, & n\ \text{odd}, \end{cases} so that δn(ph)<12\delta_n^{\rm (ph)}<\tfrac12 for \emph{every} n3n\ge3 and δn(ph)=δn\delta_n^{\rm (ph)}=\delta_n unless 8n8\mid n. Next, on abelian 22-groups, the Walsh--Hadamard basis has coherence M=1M=1 and hence suffices for \emph{all} Sule\u{\i}manova lists (δ=0\delta=0); the same conclusion holds in every Hadamard order (\emph{e.g.}, Paley families).

Cite

@article{arxiv.2509.24079,
  title  = {Dimension-dependent bounds for the SDIEP via phase optimisation and Paley-type constructions},
  author = {Tomasz Kania},
  journal= {arXiv preprint arXiv:2509.24079},
  year   = {2025}
}

Comments

14 pp

R2 v1 2026-07-01T06:03:03.762Z