On an inverse tridiagonal eigenvalue problem and its application to synchronization of network motion
Luca Dieci, Cinzia Elia, Alessandro Pugliese
TL;DR
This work addresses an inverse eigenvalue problem for unreduced tridiagonal matrices to realize a Laplacian $L$ with $0=\lambda_1<\lambda_2<\cdots<\lambda_N$ and $L\mathbf{e}=0$, then uses the resulting $L$ to analyze synchronization stability via the Master Stability Function (MSF) in networks with nearest-neighbor coupling. It introduces two constructive algorithms: diag2trid to obtain symmetric unreduced tridiagonal matrices with a prescribed spectrum, and TridZeroRowSum to obtain a (generally non-symmetric) tridiagonal with a specified null-vector, while examining the feasibility of symmetry. The paper proves a fundamental bound showing that among symmetric tridiagonal network Laplacians the eigenvalue ratio is maximized by the standard diffusive matrix, implying symmetry can prevent achieving a negative MSF for some spectra. Numerical experiments on Van der Pol and Rössler networks demonstrate that non-symmetric tridiagonal $L$ can yield negative MSF intervals and achieve synchronization with modest coupling, whereas symmetric cases may require large coupling or fail to synchronize. Overall, the work connects inverse-EBP constructions to network synchronization, offering practical guidance on choosing tridiagonal weights to realize stable synchronous motion and highlighting symmetry-induced limitations for real-world networks.
Abstract
In this work, motivated by the study of stability of the synchronous orbit of a network with tridiagonal Laplacian matrix, we first solve an inverse eigenvalue problem which builds a tridiagonal Laplacian matrix with eigenvalues $λ_1=0<λ_2<\cdots <λ_N$ and null-vector $\boldsymbol{e} = \begin{bmatrix} 1 \\ \vdots \\ 1 \end{bmatrix}$. Then, we show how this result can be used to guarantee -- if possible -- that a synchronous orbit of a connected tridiagonal network associated to the matrix $L$ above is asymptotically stable, in the sense of having an associated negative Master Stability Function (MSF). We further show that there are limitations when we also impose symmetry for $L$.
