[논문 리뷰] An integrable evolution equation in geometry

Oliver Knill|arXiv (Cornell University)|2013. 06. 01.

Nonlinear Waves and Solitons참고 문헌 9인용 수 14

한 줄 요약

이 논문은 유한한 그래프 또는 리만 다양체 위에서 딜라크 연산자 $D = d + d^*$ 를 라프 쌍 $D' = [B, D]$ 를 통해 변형하는 적분 가능 해밀토니안 체계를 제안한다. 여기서 $B = d - d^*$ 이다. 이 변형은 라플라스 연산자 $L = D^2$ 를 유지하며, 이는 기하학을 확장하고 점점 복소 구조를 갖추며 비선형 양자역학이 선형 상대론적 딜라크 파동 방정식 $u'' = Lu$ 로 수렴하게 하는 등스펙트럴 진화를 이끈다. 이 과정에서 초대칭은 깨지지만 동역학 내부에 숨어 있다.

ABSTRACT

We introduce an integrable Hamiltonian system which Lax deforms the Dirac operator D=d+d* on a finite simple graph or compact Riemannian manifold. We show that the nonlinear isospectral deformation always leads to an expansion of the original space, featuring a fast inflationary start. The nonlinear evolution leaves the Laplacian L=D^2 invariant so that linear Schroedinger or wave dynamics is not affected. The expansion has the following effects: a complex structure can develop and the nonlinear quantum mechanics asymptotically becomes the linear relativistic Dirac wave equation u''=Lu. While the later is not aware of the expansion of space and does not see the emerged complex structure, nor the larger non-commutative geometric setup, the nonlinear flow is affected by it. The natural Noether symmetries of quantum mechanics introduced here force to consider space as part of a larger complex geometry. The nonlinear evolution equation is a symmetry of quantum mechanics which still features super-symmetry, but it becomes clear why it is invisible: while the McKean-Singer formulas str(exp(i D(t) t)) = str(exp(-L t))=chi(G) still hold, the super-partners f,Df are orthogonal only at t=0 and become parallel or anti-parallel for |t| to infinity.

연구 동기 및 목표

• 그래프 및 다양체 위에서 딜라크 연산자에 대한 비선형 이sovolumetric 진화를 개발하여 라플라스 연산자 $L = D^2$ 를 유지하는 것.
• 비선형 이스펙트럴 변형이 기하학적 확장을 어떻게 이끌고, 복소 구조가 어떻게 나타나는지 탐구하는 것.
• 이 흐름 하에서 양자역학의 점근적 행동을 연구하며, 특히 선형 딜라크 파동 방정식 $u'' = Lu$ 로 수렴하는지 분석하는 것.
• 맥키언-싱어 초대칭 슈트레이스 항등식이 유지되더라도 변형된 시스템에서 초대칭이 왜 깨지는지 이해하는 것.
• 이 비선형 흐름이 리치 흐름과 유사하게 기하학을 단순화하거나 안정화하는 기하학적 도구로 기능할 수 있는지 분석하는 것.

제안 방법

• 라프 쌍 $D' = [B, D]$ 를 $B = d - d^*$ 와 함께 정의하여 $D(t) = U(t) D(0) U^*(t)$ 가 스펙트럼을 유지하도록 보장한다.
• 시간에 따라 스펙트럼을 유지하고 $L = D^2$ 가 시간에 따라 불변이 되도록, $U' = B U$ 를 통해 유니터리 진동 $U(t)$ 를 정의한다.
• 외적 미분 $d(t)$ 와 연산자 $b(t)$ 를 $d' = db - bd$, $b' = dd^* - d^*d$ 를 통해 진화시키며, $d^2 = 0$ 과 코homology 를 유지한다.
• 복소화된 형태로 $B = d - d^* + i\beta b$ 를 도입하여 흐름의 실수 부분을 유지하면서 복소 구조의 출현을 가능하게 한다.
• 시간이 무한에 가까워질수록 $M(t) = C(t)^2 = (d(t) + d(t)^*)^2$ 의 점근적 행동을 분석하여 $\operatorname{tr}(M(t)) \to 0$ 이고 $b(t) \to \sqrt{L}$ 임을 보이며, 이는 기하학적 붕괴를 의미한다.
• 국소 상태를 옮기기 위해 유니터리 진동 $U(t)$ 가 필요한 시간 $t$ 를 이용해 형식 공간 위에 비선형 거리 함수를 정의하여, 파동 전파 메트릭스를 비선형 설정으로 일반화한다.

실험 결과

연구 질문

• RQ1 라프 흐름 $D' = [B, D]$ 가 딜라크 연산자를 어떻게 변형하면서도 라플라스 연산자 $L = D^2$ 를 유지하는가?
• RQ2 비선형 이스펙트럴 진화 과정에서 기하학적·위상수학적 변화는 어떻게 일어나며, 특히 코homology 와 곡률 측면에서 어떻게 나타나는가?
• RQ3 D(t) 에서 복소 구조가 나타나는 것이 양자역학의 역학에 어떤 영향을 미치는가? 특히 점근적 영역에서의 행동을 고려할 때.
• RQ4 맥키언-싱어 슈트레이스 항등식 $\operatorname{str}(e^{iDt}) = \chi(G)$ 가 유지되더라도 변형된 시스템에서 초대칭이 왜 깨지는가?
• RQ5 이 비선형 흐름이 리치 흐름과 유사하게 기하학을 단순화하거나 안정화하는 기하학적 진화 도구로 기능할 수 있는가?

주요 결과

• 비선형 흐름은 라플라스 연산자 $L = D^2$ 를 유지하므로 선형 파동 역학 $u'' = Lu$ 는 그대로 유지되지만, 비선형 양자역학 $u(t) = \operatorname{Re}(e^{iD(t)t}\psi(0))$ 는 시간에 따라 변화하는 $D(t)$ 에 직접적으로 의존한다.
• 연산자 $b(t)$ 는 처음에는 증가하여 기하학적으로 급팽창 단계를 경험하며, $\operatorname{tr}(b^2)^\prime \geq 0$ 이고, $|t| \to \infty$ 에서 $\operatorname{tr}(b^2) \to \operatorname{tr}(L)$ 에 도달한다.
• 시간이 무한에 가까워질수록 $M(t) = C(t)^2$ 의 스펙트럼은 0으로 수렴하며, 이는 $d(t)$ 와 $C(t)$ 가 모두 0으로 수렴하고, $b(t)$ 가 $L$ 의 제곱근으로 수렴함을 의미한다. 따라서 $D(t) \to \sqrt{L}$ 이다.
• 진화 과정 중에 복소 구조가 나타난다: $t > 0$ 에서 $D(t)$ 는 복소수가 되며, $\operatorname{Re}(D(t))$ 와 $\operatorname{Im}(D(t))$ 는 $\partial^2 = \overline{\partial}^2 = 0$ 을 만족하고, $d = \partial + \overline{\partial}$ 를 만족한다. 이는 $D(0)$ 가 실수이지만, $D(t)$ 는 복소수가 된다는 뜻이다.
• 초대칭은 깨진다: $\{D(t), P\} \neq 0$ 이며, $D(t)$ 는 더 이상 보존적 및 페르미온 하위공간 간의 동형사상으로 작용하지 않는다. 그러나 슈트레이스 항등식 $\operatorname{str}(e^{iDt}) = \chi(G)$ 는 여전히 유지된다.
• 비선형 거리 $d(x,y)$ 는 $U(t)(x + iv) = y + iw$ 를 만족하는 최소의 $t$ 로 정의되며, $|v| = 1$ 이다. 이는 비선형 설정으로 파동 전파 메트릭스를 일반화한다.