-
Smooth critical points of eigenvalues on the torus of magnetic perturbations of graphs
Authors:
Lior Alon,
Gregory Berkolaiko,
Mark Goresky
Abstract:
Motivated by the nodal distribution universality conjecture for discrete operators on graphs and by the spectral analysis of their maximal abelian covers, we consider a family of Hermitian matrices $h_α$ obtained by varying the complex phases of individual matrix elements. This family is parametrized by a $β$-dimensional torus, where $β$ is the first Betti number of the underlying graph. The eigen…
▽ More
Motivated by the nodal distribution universality conjecture for discrete operators on graphs and by the spectral analysis of their maximal abelian covers, we consider a family of Hermitian matrices $h_α$ obtained by varying the complex phases of individual matrix elements. This family is parametrized by a $β$-dimensional torus, where $β$ is the first Betti number of the underlying graph. The eigenvalues of each matrix are ordered, enabling us to treat the $k$-th eigenvalue $λ_k$ as a function on the torus. We classify the smooth critical points of $λ_k$, describe their structure and Morse index in terms of the support and nodal count, that is, the number of sign changes between adjacent vertices of the corresponding eigenvector. In general, the families under consideration exhibit critical submanifolds rather than isolated critical points. These critical manifolds appear frequently and cannot be removed through perturbations. We provide an algorithmic way of determining all critical submanifolds by investigating finitely many eigenvalue problems: the $2^β$ real symmetric matrices $h_α$ in the family under consideration as well as their principal minors.
△ Less
Submitted 22 May, 2025;
originally announced May 2025.
-
Nodal count for a random signing of a graph with disjoint cycles
Authors:
Lior Alon,
Mark Goresky
Abstract:
Let $G$ be a simple, connected graph on $n$ vertices, and further assume that $G$ has disjoint cycles. Let $h$ be a real symmetric matrix supported on $G$ (for example, a discrete Schrödinger operator). The eigenvalues of $h$ are ordered increasingly, $λ_1 \le \cdots \le λ_n$, and if $φ$ is the eigenvector corresponding to $λ_k$, the nodal (edge) count $ν(h,k)$ is the number of edges $(rs)$ such t…
▽ More
Let $G$ be a simple, connected graph on $n$ vertices, and further assume that $G$ has disjoint cycles. Let $h$ be a real symmetric matrix supported on $G$ (for example, a discrete Schrödinger operator). The eigenvalues of $h$ are ordered increasingly, $λ_1 \le \cdots \le λ_n$, and if $φ$ is the eigenvector corresponding to $λ_k$, the nodal (edge) count $ν(h,k)$ is the number of edges $(rs)$ such that $ h_{rs}φ_{r}φ_{s}>0$. The nodal surplus is $σ(h,k)= ν(h,k) - (k-1)$. Let $h'$ be a random signing of $h$, that is a real symmetric matrix obtained from $h$ by changing the sign of some of its off-diagonal elements. If $h$ satisfies a certain generic condition, we show for each $k$ that the nodal surplus has a binomial distribution $σ(h',k)\sim Bin(β,\frac{1}{2})$. Part of the proof follows ideas developed by the first author together with Ram Band and Gregory Berkolaiko in a joint unpublished project studying a similar question on quantum graphs.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Morse theory for discrete magnetic operators and nodal count distribution for graphs
Authors:
Lior Alon,
Mark Goresky
Abstract:
Given a discrete Schrödinger operator $h$ on a finite connected graph $G$ of $n$ vertices, the nodal count $φ(h,k)$ denotes the number of edges on which the $k$-th eigenvector changes sign. A {\em signing} $h'$ of $h$ is any real symmetric matrix constructed by changing the sign of some off-diagonal entries of $h$, and its nodal count is defined according to the signing. The set of signings of…
▽ More
Given a discrete Schrödinger operator $h$ on a finite connected graph $G$ of $n$ vertices, the nodal count $φ(h,k)$ denotes the number of edges on which the $k$-th eigenvector changes sign. A {\em signing} $h'$ of $h$ is any real symmetric matrix constructed by changing the sign of some off-diagonal entries of $h$, and its nodal count is defined according to the signing. The set of signings of $h$ lie in a naturally defined torus $\mathbb{T}_h$ of ``magnetic perturbations" of $h$. G. Berkolaiko discovered that every signing $h'$ of $h$ is a critical point of every eigenvalue $λ_k:\mathbb{T}_h \to \mathbb{R}$, with Morse index equal to the nodal surplus. We add further Morse theoretic information to this result. We show if $h_α \in \mathbb{T}_h$ is a critical point of $λ_k$ and the eigenvector vanishes at a single vertex $v$ of degree $d$, then the critical point lies in a nondegenerate critical submanifold of dimension $d+n-4$, closely related to the configuration space of a planar linkage. We compute its Morse index in terms of spectral data. The average nodal surplus distribution is the distribution of values of $φ(h',k)-(k-1)$, averaged over all signings $h'$ of $h$. If all critical points correspond to simple eigenvalues with nowhere-vanishing eigenvectors, then the average nodal surplus distribution is binomial. In general, we conjecture that the nodal surplus distribution converges to a Gaussian in a CLT fashion as the first Betti number of $G$ goes to infinity.
△ Less
Submitted 24 May, 2023; v1 submitted 1 December, 2022;
originally announced December 2022.
