[논문 리뷰] Pure N=2 Super Yang-Mills and Exact WKB

Amir-Kian Kashani-Poor, Jan Troost|arXiv (Cornell University)|2015. 04. 30.

Black Holes and Theoretical Physics참고 문헌 47인용 수 11

한 줄 요약

이 논문은 순수 ${\cal N}=2$ 초대칭 양-밀스 이론의 $\epsilon_1$-변형 영역에서 분할 함수에 정확한 WKB 방법을 적용하여, 인stanton 수와 $\epsilon_1$ 전개의 순서를 뒤바꿔 합산함으로써 발생하는 형태 $\sim \exp[-\mathrm{SW\, periods}/\epsilon_1]$ 의 비임계 보정을 규명한다. 이러한 보정은 월드시트 기반 설명에서 기인할 것으로 추측되며, 복소 매개변수를 가진 매스터 방정식의 스토크스 그래프와 특성 지수 분석을 통해 계산된다.

ABSTRACT

We apply exact WKB methods to the study of the partition function of pure N=2 epsilon_i-deformed gauge theory in four dimensions in the context of the 2d/4d correspondence. We study the partition function at leading order in epsilon_2/epsilon_1 (i.e. at large central charge) and in an expansion in epsilon_1. We find corrections of the form ~ exp[- SW periods / epsilon_1] to this expansion. We attribute these to the exchange of the order of summation over gauge instanton number and over powers of epsilon_1 when passing from the Nekrasov form of the partition function to the topological string theory inspired form. We conjecture that such corrections should be computable from a worldsheet perspective on the partition function. Our results follow upon the determination of the Stokes graphs associated to the Mathieu equation with complex parameters and the application of exact WKB techniques to compute the Mathieu characteristic exponent.

연구 동기 및 목표

• 순수 ${\cal N}=2$ 초대칭 양-밀스 이론에서 인스턴턴 분할 함수의 $\epsilon_1$-전개에 나타나는 비임계 보정을 이해하는 것.
• 분할 함수의 $\epsilon_1$-전개에서 형태 $\sim \exp[-\mathrm{SW\, periods}/\epsilon_1]$ 의 비임계 보정이 나타나는 이유를 규명하는 것.
• 2차원/4차원 대응을 통해 이러한 보정을 위상수학적 끈 이론의 월드시트 기반 설명과 연결하는 것.
• 복소 매개변수를 가진 매스터 방정식에 대해 정확한 WKB 기법을 사용하여 특성 지수를 계산하고, 스토크스 그래프와 보로스 곱수를 포함하는 것.
• 작은 $\epsilon$ 영역에서의 임계 WKB의 붕괴를 명확히 하고, 힐 방법과 행렬 행렬식과 같은 수치적 방법과의 비교를 통해 결과의 타당성을 검증하는 것.

제안 방법

• 2차원 CFT에서 유도된 영벡터 분리 방정식에 정확한 WKB 방법을 적용하여, 복소 매개변수를 가진 매스터 방정식으로 매핑하는 것.
• 매스터 방정식의 비임계 보정과 파동함수의 불연속성을 분석하기 위해 스토크스 그래프를 구성하는 것.
• 4차까지의 WKB 섭동 이론을 사용하여 매스터 방정식의 특성 지수를 계산하고 수치 결과와 비교하는 것.
• 매트릭스 크기의 선형 비용으로 특성 지수를 수치적으로 계산하기 위해 힐 방법과 삼중대각 행렬 행렬식을 사용하는 것.
• 매스터 방정식의 재귀관계에서 유도된 삼중대각 행렬의 행렬식 $\Delta(0)$에 대한 선형 재귀식을 구현하는 것.
• 수학 소프트웨어의 내장 알고리즘과 WKB 및 수치 결과를 비교하여, 작은 $\epsilon$ 영역에서의 신뢰성 평가를 수행하고, 그 영역에서의 한계를 드러내는 것.

실험 결과

연구 질문

• RQ1 순수 ${\cal N}=2$ 초대칭 양-밀스 이론에서 인스턴턴 분할 함수의 $\epsilon_1$-전개에 어떤 비임계 보정이 나타나는가?
• RQ2 왜 $\epsilon_1$ 거듭제곱에 대해 인스턴턴 수 이전에 합산함으로써 형태 $\sim \exp[-\mathrm{SW\, periods}/\epsilon_1]$ 의 보정이 나타나는가?
• RQ3 복소 매개변수를 가진 매스터 방정식의 스토크스 그래프를 어떻게 활용하여 특성 지수에 대한 비임계 보정을 계산할 수 있는가?
• RQ4 작은 $\epsilon$ 영역에서 수학 소프트웨어의 수치 알고리즘이 WKB 섭동 이론과 다른 결과를 내는 이유는 무엇인가?
• RQ5 인스턴턴 수와 $\epsilon_i$-변형 이론의 월드시트 해석이 이러한 비임계 보정을 자연스럽게 설명할 수 있는가?

주요 결과

• 형태 $\sim \exp[-\mathrm{SW\, periods}/\epsilon_1]$ 의 비임계 보정은 분할 함수 전개에서 인스턴턴 수와 $\epsilon_1$ 거듭제곱의 합산 순서를 뒤바꿔 발생함을 규명하였다.
• 복소 매개변수를 가진 매스터 방정식의 특성 지수는 정확한 WKB 기법을 통해 계산되었으며, 특성 지수의 스토크스 현상과 특별한 점 $u = \pm 1$ 에서 보로스 곱수의 점프 행동이 드러났다.
• 힐 방법과 삼중대각 행렬식 재귀식을 사용한 수치적 검증 결과, 4차까지의 WKB 섭동 이론이 수치 결과와 매우 높은 정밀도로 일치하는 반면, 수학 소프트웨어의 알고리즘이 작은 $\epsilon$ 에서 실패하는 것으로 확인되었다.
• $\Delta(0)$ 행렬식은 특성 지수를 결정하는 데 있어 선형 재귀 관계를 만족하여 매트릭스 크기의 선형 비용으로 효율적으로 계산할 수 있다.
• $\epsilon = 10^{-2}$, $u = 6e^{i\pi/8}$ 일 때, WKB 근사치는 $301.757 - 1507.262i$ 로, 수치 결과와 매우 정밀하게 일치한다. 반면 수학 소프트웨어는 $301.347 - 1507.309i$ 를 반환하여 허수부에서 약 $2\pi i$ 정도의 오차를 보였다.
• 본 연구는 2차원/4차원 대응을 통해 분할 함수의 $\epsilon_1$-전개와 위상수학적 끈 이론을 연결하며, 이러한 보정이 월드시트 관점에서 계산 가능할 수 있음을 시사한다.