Table of Contents
Fetching ...

Floquet Isospectrality of the Zero Potential for Discrete Periodic Schrödinger Operators

Matthew Faust, Wencai Liu, Rodrigo Matos, Jenna Plute, Jonah Robinson, Yichen Tao, Ethan Tran, Cindy Zhuang

Abstract

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.

Floquet Isospectrality of the Zero Potential for Discrete Periodic Schrödinger Operators

Abstract

Let , with for each , and denote by the discrete Laplacian on . Using Macaulay2, we first numerically find complex-valued -periodic potentials such that the operators and are Floquet isospectral. We then use combinatorial methods to validate these numerical solutions.
Paper Structure (5 sections, 6 theorems, 22 equations, 3 figures)

This paper contains 5 sections, 6 theorems, 22 equations, 3 figures.

Key Result

Theorem 1.1

Let $\Gamma=q_1\mathbb{Z}\oplus q_2 \mathbb{Z}\oplus\cdots\oplus q_d\mathbb{Z}$. Assume that at least one of $q_j$, $j=1,2,\cdots$ is even. Then there exist a nonzero $\Gamma$-periodic function $V$ Floquet isospectral to $\bf{0}$.

Figures (3)

  • Figure 1: The weighted digraph $J_m$ of an $m \times m$ Jacobi matrix $M$.
  • Figure 2: The refined digraph $G'$. Notice we do not include the weight $0$ self loops after specializing.
  • Figure 3: (Above) $G'$ after fixing the cycles $v_1$ and $v_2$ and removing cycles $v_3$ and $v_4$. (Below) $G'$ after fixing the cycles $v_3$ and $v_4$ and removing cycles $v_1$ and $v_2$. Notice how these are the same digraphs, just relabeled; thus indeed the coefficients of $v_1v_2$ and $v_3v_4$ are the same.

Theorems & Definitions (14)

  • Definition 1
  • Theorem 1.1
  • Remark 1
  • Theorem 3.1
  • Theorem 3.2
  • Definition 2
  • Lemma 3.3
  • proof
  • proof : Proof of Reduction of Theorem 3.1 to Theorem 3.2
  • Theorem 4.1
  • ...and 4 more