arXiv++ Combinatorics

We give a complete characterization of generic irreducibility for dispersion polynomials and Bloch varieties of periodic graph operators. More precisely, we prove that for a generic choice of edge weights and potentials, the dispersion polynomial/Bloch variety of a nontrivial periodic graph is irreducible if and only if the quotient graph is connected. Our proof uses a strong dichotomy for parameterized Laurent polynomials: reducibility either occurs for every parameter or fails on a nonempty Zariski-open set. After establishing this dichotomy, we reduce the problem to minimally connected periodic graphs.

When can one change the diagonal of a matrix without changing its spectrum? We completely answer this question over an algebraically closed field of characteristic zero or larger than the size of the matrix: An $n \times n$ matrix $A$ admits a nonzero diagonal matrix $D$ such that $A$ and $A+D$ have the same spectrum if and only if, for some size $k$, the $k \times k$ principal minors of $A$ are not all equal. This relates to the classical additive inverse eigenvalue problem in numerical analysis and has implications for existence and rigidity results in the theory of Floquet isospectrality of discrete periodic operators in solid state physics. The proof employs new techniques involving Hilbert schemes of points and the infinitesimal structure of the Hilbert--Chow morphism.

The Spectral Edges Conjecture is a well-known and widely believed conjecture in the theory of discrete periodic operators. It states that the extrema of the dispersion relation are isolated, non-degenerate, and occur in a single band. We present two infinite families of periodic graphs which satisfy the Spectral Edges Conjecture. For each, every extremum of the dispersion relation is a corner point (point of symmetry). In fact, each spectral band function is a perfect Morse function. We also give a construction that increases dimension, while preserving that each spectral band function is a perfect Morse function.

As a corollary of our main results, we prove that for any connected $\mathbb{Z}^d$-periodic graph, when edge weights and potentials are treated as variables, the corresponding periodic graph operators generically (i.e., outside a proper algebraic subset of the variable space) do not have flat bands.

Let $Γ=q_1\mathbb{Z}\oplus q_2 \mathbb{Z}\oplus\cdots\oplus q_d\mathbb{Z}$, with $q_j\in (\mathbb{Z}^+)^d$ for each $j\in \{1,\ldots,d\}$, and denote by $Δ$ the discrete Laplacian on $\ell^2\left( \mathbb{Z}^d\right)$. Using Macaulay2, we first numerically find complex-valued $Γ$-periodic potentials $V:\mathbb{Z}^d\to \mathbb{C}$ such that the operators $Δ+V$ and $Δ$ are Floquet isospectral. We then use combinatorial methods to validate these numerical solutions.