Let $\Gamma=q_1\mathbb{ Z}\oplus q_2 \mathbb{ Z}\oplus\cdots\oplus q_d\mathbb{ Z}$ with arbitrary positive integers $q_l$, $l=1,2,\cdots,d$. Let $\Delta_{ \rm discrete}+V$ be the discrete Schr\"odinger operator on $\mathbb{ Z}^d$, where $\Delta_{ \rm discrete}$ is the discrete Laplacian on $\mathbb{ Z}^d$ and the function $V:\mathbb{ Z}^d\to \mathbb{ C}$ is $\Gamma$-periodic. We prove two rigidity theorems for discrete periodic Schr\"odinger operators: (1) If real-valued $\Gamma$-periodic functions $V$ and $Y$ satisfy $\Delta_{ \rm discrete}+V$ and $\Delta_{ \rm discrete}+Y$ are Floquet isospectral and $Y$ is separable, then $V$ is separable. (2) If complex-valued $\Gamma$-periodic functions $V$ and $Y$ satisfy $\Delta_{ \rm discrete}+V$ and $\Delta_{ \rm discrete}+Y$ are Floquet isospectral, and both $V=\bigoplus_{ j=1}^rV_j$ and $Y=\bigoplus_{ j=1}^r Y_j$ are separable functions, then, up to a constant, lower dimensional decompositions $V_j$ and $Y_j$ are Floquet isospectral, $j=1,2,\cdots,r$. Our theorems extend the results of Kappeler. Our approach is developed from the author's recent work on Fermi isospectrality and can be applied to study more general lattices.
Categories: math.SP math-ph math.MP