[논문 리뷰] An Automated Generation of Bootstrap Equations for Numerical Study of Critical Phenomena

Mocho Go|arXiv (Cornell University)|2020. 06. 07.

Model Reduction and Neural Networks참고 문헌 103인용 수 14

한 줄 요약

이 학위논문은 균형 부트스트랩 프로그램에서 부트스트랩 방정식과 정수형 프로그래밍(SDP)을 자동으로 생성하는 두 가지 자동화된 도구인 autoboot과 qboot을 소개한다. 이는 전역 대칭성을 가진 양자역학적 상전이 이론(CFT)의 수치적 연구를 크게 간소화한다. SDPB 해소기와 통합함으로써, 3D 이징 모형과 O(2) 벡터 모형과 같은 모델에서 임계 지수와 운영자 스펙트럼을 엄밀하고 효율적으로 계산할 수 있으며, Δε′ < 3.83 및 Δσ′ < 5.3과 같은 비임계 연장자에 대한 엄밀한 경계를 도출한다.

ABSTRACT

In this thesis, we introduce new tools for the conformal bootstrap, autoboot and qboot. Each tool solves a different step in the whole computational stack, and combined with an existing efficient tool SDPB which solves semidefinite programming (SDP), our tools make it easier to study conformal field theories with more complicated global symmetries and with more general spectra. In the introduction, we review how the conformal bootstrap method gives rich information about the theory at the fixed point of renormalization group, or in other words, the critical phenomena such as the Ising model at criticality. The following three sections focus on the theories behind the implementation of autoboot and qboot, and the explicit implementation, freely available at https://github.com/selpoG/autoboot/ and https://github.com/selpoG/qboot/, is discussed in section 5. We also have two applications in the last section, the Ising model and the O(2) vector model in three dimensions, each of them has close relationship with a physical system in the real world.

연구 동기 및 목표

• 전역 대칭성을 가진 양자역학적 상전이 이론(CFT)에 대한 부트스트랩 방정식을 자동으로 생성하여 수작업 유도의 복잡성을 줄이는 것.
• qboot를 통해 부트스트랩 방정식을 정수형 프로그래밍(SDP)에 적합한 형태로 변환함으로써, 효율적인 수치 분석을 가능하게 하는 것.
• 복잡한 스펙트럼과 비아벨 전역 대칭성을 가진 CFT에 대한 부트스트랩 계산의 효율성과 확장성을 향상시키는 것.
• 3D 이징 모형과 O(2) 모델과 같은 통계역학 이론에서 임계 현상 연구를 체계적이고 재현 가능하며 오픈소스 프레임워크로 제공하는 것.
• 비임계 연장자 스펙트럼, 특히 스케일링 차원이 주요 수정 항에 해당하는 것들에 대한 엄밀한 경계를 제공하는 것.

제안 방법

• autoboot는 전역 대칭군의 표현 이론을 활용하여 군 이론적 자료와 CFT 운영자 내용으로부터 부트스트랩 방정식을 자동으로 생성한다.
• qboot는 유리수 근사와 동형 블록 분해를 통해 얻어진 부트스트랩 방정식을 정수형 프로그래밍(SDP)에 적합한 형태로 변환한다.
• 프레임워크는 SDPB 해소기와 통합되어 결과적인 SDP를 효율적으로 해결함으로써 CFT 스펙트럼에 대한 수치적 제약 조건을 가능하게 한다.
• 특히 아일랜드 플롯 절차에서 수렴 속도를 높이기 위해 핫스타트 기법을 적용한다.
• 동형 블록의 대각선 극한과 횡방향 도함수를 활용하여 수치적 안정성과 정확도를 향상시킨다.
• 전체 파ip라인은 GitHub에 공개된 오픈소스 코드로 구현되어 재현 가능성과 확장성을 보장한다.

실험 결과

연구 질문

• RQ1 전역 대칭성을 가진 CFT에 대한 부트스트랩 방정식을 수작업 유도를 최소화하면서 자동으로 생성할 수 있는가?
• RQ2 부트스트랩 방정식을 정수형 프로그래밍(SDP) 해소기에 적합한 형태로 매핑하는 가장 효율적인 방법은 무엇인가?
• RQ3 자동화된 도구는 임계 모델에서 주요 운영자 스케일링 차원에 대한 경계의 정밀도와 엄밀성을 향상시킬 수 있는가?
• RQ4 결과적으로 도출된 비임계 연장자에 대한 경계는 몬테카를로 및 ε-확장 결과와 어떻게 비교되는가?
• RQ5 유한한 스펙트럼 절단이 통제 가능한 방식으로 전체 부트스트랩 해를 근사할 수 있는 정도는 어느 정도인가?

주요 결과

• 프레임워크는 3D 이징 모형과 O(2) 벡터 모형에 대한 부트스트랩 방정식을 성공적으로 생성하여 기존에 알려진 임계 지수와의 일관성을 확인했다.
• 3D 이징 모형의 경우, Z2-짝성 비임계 스칼라의 스케일링 차원에 대한 엄밀한 상한 Δε′ < 3.83을 도출하였으며, 이는 이전 비엄밀 추정치보다 향상된 결과이다.
• O(2) 모형의 경우, (Δϕ, Δs) 평면에서 몬테카를로 및 4He 실험 데이터와 일치하는 좁은 배제 영역을 생성하였다.
• 이징 모형에서 Z2-홀드 비임계 스칼라에 대한 엄밀한 상한 Δσ′ < 5.3을 제공하였으며, 몬테카를로 추정치와 일치하지만 더 엄밀한 결과를 도출하였다.
• 이징 모형에서 이론이 이끄는 방식으로 스펙트럼의 유한한 절단은 향후 절단 기반 부트스트랩 접근법의 유망한 출발점이 된다.
• autoboot와 qboot가 SDPB와 통합되어, 복잡한 전역 대칭성을 가진 CFT에 대한 효율적이고 확장 가능하며 재현 가능한 수치 부트스트랩 연구를 가능하게 하였다.