[논문 리뷰] Fermi isospectrality for discrete periodic Schrodinger operators

Wencai Liu|arXiv (Cornell University)|2021. 06. 07.

Spectral Theory in Mathematical Physics참고 문헌 24인용 수 4

한 줄 요약

이 논문은 $\bbZ^d$, $d \geq 3$에서 이산 주기적 슈뢰딩거 연산자에 대한 강성 정리들을 수립하며, 고정된 에너지에서 피어미 등스펙트럴리티—즉, 동일한 에너지에서 피어미 다양체의 일치—가 퍼텐셜에 대한 구조적 제약을 유도함을 증명한다. 만약 퍼텐셜 $V$가 분리 가능한 퍼텐셜 $Y$와 피어미 등스펙트럴리티를 가지면, $V$ 역시 분리 가능해야 한다. 만약 $V$와 $Y$가 모두 분리 가능하다면, 그 성분들은 플로케트 등스펙트럴리티를 가져야 한다. 그리고 만약 $V$가 영 퍼텐셜과 피어미 등스펙트럴리티를 가지면, $V$는 식별적으로 영이어야 한다. 이러한 결과들은 이산 설정에서의 역스펙트럴 문제를 해결한다.

ABSTRACT

Let $Γ=q_1\mathbb{Z}\oplus q_2 \mathbb{Z}\oplus\cdots\oplus q_d\mathbb{Z}$, where $q_l\in \mathbb{Z}_+$, $l=1,2,\cdots,d$. Let $Δ+V$ be the discrete Schrödinger operator, where $Δ$ is the discrete Laplacian on $\mathbb{Z}^d$ and the potential $V:\mathbb{Z}^d o \mathbb{R}$ is $Γ$-periodic. We prove three rigidity theorems for discrete periodic Schrödinger operators in any dimension $d\geq 3$: (1) if at some energy level, Fermi varieties of the $Γ$-periodic potential $V$ and the $Γ$-periodic potential $Y$ are the same (this feature is referred to as {\it Fermi isospectrality} of $V$ and $Y$), and $Y $ is a separable function, then $V$ is separable; (2) if potentials $V$ and $Y$ are Fermi 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$; (3) if a potential $V$ and the zero potential are Fermi isospectral, then $V$ is zero. In particular, all conclusions in (1), (2) and (3) hold if we replace the assumption "Fermi isospectrality" with a stronger assumption "Floquet isospectrality".

연구 동기 및 목표

• 이산 주기적 슈뢰딩거 연산자에 대한 역스펙트럴 문제를 차원 $d \geq 3$에서 피어미 등스펙트럴리티를 사용하여 해결하는 것.
• 두 퍼텐셜의 피어미 등스펙트럴리티가 분리 가능성 또는 성분별 플로케트 등스펙트럴리티와 같은 구조적 동치를 유도하는지 판단하는 것.
• 피어미 등스펙트럴리티가 영 퍼텐셜과 성립할 경우 퍼텐셜이 식별적으로 영이어야 한다는 것을 증명하는 것.
• 연속 설정에서 알려진 강성 결과들을 이산 설정으로 확장하여, 특히 분리 가능하고 완전히 분리 가능한 퍼텐셜에 대해 적용하는 것.
• 플로케트 등스펙트럴리티가 피어미 등스펙트럴리티를 유도하며, 더 강한 조건이 동일한 강성 결론을 도출한다는 것을 증명하는 것.

제안 방법

• 주기군 $\Gamma = q_1\bbZ \oplus \cdots \oplus q_d\bbZ$, $q_l \in \bbZ_+$인 $\Gamma$-주기적 퍼텐셜 $V$에 대해 $\ell^2(\bbZ^d)$에서 이산 슈뢰딩거 연산자 $H_0 = \Delta + V$를 정의한다.
• 플로케트-블로흐 분해를 사용하여, 준주기적 경계 조건을 갖는 연산자 $D_V(k)$를 정의하고, $\lambda$가 $D_V(k)$의 고유값이 되는 $k \in \bbC^d$의 집합으로서 피어미 다양체 $F_\lambda(V)$를 정의한다.
• 피어미 등스펙트럴리티의 개념을 도입한다: 어떤 $\lambda_0 \in \bbC$에 대해 $F_{\lambda_0}(V) = F_{\lambda_0}(Y)$이다.
• 만약 $V$와 $Y$가 피어미 등스펙트럴리티를 가지며 $Y$가 분리 가능하다면, 해석적 계속과 특성 다항식의 유일한 인수분해를 사용하여 $V$도 분리 가능해야 한다는 것을 증명한다.
• 분리 가능한 퍼텐셜 $V = \bigoplus_{j=1}^r V_j$, $Y = \bigoplus_{j=1}^r Y_j$에 대해, 피어미 등스펙트럴리티가 각 쌍 $(V_j, Y_j)$가 플로케트 등스펙트럴리티임을 의미함을 보이며, 고유값 분지의 점근적 분석과 특성 다항식의 계수 비교를 통해 이를 증명한다.
• 특성 다항식 $\tilde{\mathcal{P}}_V(z,\lambda)$의 계수 비교를 통해, 만약 $V$가 영 퍼텐셜과 피어미 등스펙트럴리티를 가지면, $V$의 모든 푸리에 계수들이 0이 되며, 이는 $V \equiv 0$을 의미함을 보인다.

실험 결과

연구 질문

• RQ1 두 $\Gamma$-주기적 퍼텐셜 $V$와 $Y$가 피어미 등스펙트럴리티를 가지며 $Y$가 분리 가능할 경우, $V$도 분리 가능해야 하는가?
• RQ2 만약 $V$와 $Y$가 모두 분리 가능하고 피어미 등스펙트럴리티를 가지면, 그 저차원 성분들인 $V_j$와 $Y_j$는 플로케트 등스펙트럴리티를 가져야 하는가?
• RQ3 퍼텐셜 $V$가 영 퍼텐셜과 피어미 등스펙트럴리티를 가질 경우, $V$는 식별적으로 영이어야 하는가?
• RQ4 피어미 등스펙트럴리티가 이산 주기적 슈뢰딩거 설정에서 플로케트 등스펙트럴리티와 동일한 구조적 제약을 유도하는가?
• RQ5 완전한 플로케트 등스펙트럴리티보다 약한 조건 하에서도 이산 케이스에 대한 강성 결과를 확립할 수 있는가?

주요 결과

• 피어미 등스펙트럴리티를 가지며 $Y$가 분리 가능할 경우, $V$도 분리 가능해야 하며, 이는 $V$가 사전에 분리 가능하다는 가정 없이도 성립한다.
• 분리 가능한 퍼텐셜 $V = \bigoplus_{j=1}^r V_j$와 $Y = \bigoplus_{j=1}^r Y_j$가 피어미 등스펙트럴리티를 가지면, 각 $j$에 대해 $V_j$와 $Y_j$는 상수 이동을 제외하고 플로케트 등스펙트럴리티를 가져야 한다.
• 만약 $V$가 영 퍼텐셜과 피어미 등스펙트럴리티를 가진다면 $V \equiv 0$이므로, 이는 이산 설정에서 강력한 강성 결과를 증명한다.
• 이러한 결과들은 더 약한 조건인 피어미 등스펙트럴리티 하에서도 성립하며, 더 강한 조건인 플로케트 등스펙트럴리티를 가정하더라도 동일한 결론이 도출된다.
• 증명은 $|z_d| \to \infty$일 때 고유값 분지 $\lambda^l(z_d)$의 점근적 분석에 기반하며, 이는 주로 임계 항의 행동이 퍼텐셜의 구조를 결정함을 보여준다.
• 특성 다항식 $\tilde{\mathcal{P}}_V(z,\lambda)$의 계수 비교—특히 $\lambda^{Q_1-1}$과 $\lambda^{Q_1-2}$의 계수—를 통해, $V$가 영 퍼텐셜과 피어미 등스펙트럴리티를 가질 경우 $V \equiv 0$임을 도출할 수 있다.