[논문 리뷰] An Algorithmic Approach to Operator Product Expansions, $W$-Algebras and $W$-Strings

Kris Thielemans|ArXiv.org|1995. 06. 23.

Black Holes and Theoretical Physics인용 수 24

한 줄 요약

이 논문은 두 차원 등온 대칭 양자장론에서 연산자 곱 전개(OPE)를 계산하는 알고리즘적 프레임워크를 제시하며, $W$-대수와 $W$-스트링에의 응용을 포함한다. 수학 소프트웨어 매트랩을 사용한 기호 계산을 통해 OPE 계수를 체계적으로 계산하는 방법을 도입하여, $W\!B_{2}$-대수의 최초의 명시적 구성과 자유장 실현을 위한 조건을 제공함으로써, 굳은 $W$-대칭 이론에서 정확한 상관 함수 계산이 가능해졌다.

ABSTRACT

String theory is currently the most promising theory to explain the spectrum of the elementary particles and their interactions. One of its most important features is its large symmetry group, which contains the conformal transformations in two dimensions as a subgroup. At quantum level, the symmetry group of a theory gives rise to differential equations between correlation functions of observables. We show that these Ward-identities are equivalent to Operator Product Expansions (OPEs), which encode the short-distance singularities of correlation functions with symmetry generators. The OPEs allow us to determine algebraically many properties of the theory under study. We analyse the calculational rules for OPEs, give an algorithm to compute OPEs, and discuss an implementation in Mathematica. There exist different string theories, based on extensions of the conformal algebra to so-called W-algebras. These algebras are generically nonlinear. We study their OPEs, with as main results an efficient algorithm to compute the beta-coefficients in the OPEs, the first explicit construction of the WB_2-algebra, and criteria for the factorisation of free fields in a W-algebra. An important technique to construct realisations of W-algebras is Drinfel'd- Sokolov reduction. The method consists of imposing certain constraints on the elements of an affine Lie algebra. We quantise this reduction via gauged WZNW-models. This enables us in a theory with a gauged W-symmetry, to compute exactly the correlation functions of the effective theory. Finally, we investigate the critical W-string theories based on an extension of the conformal algebra with one symmetry generator of dimension N. We clarify how the spectrum of this theory forms a minimal model of the W_N-algebra.

연구 동기 및 목표

• 등온 대칭 양자장론에서 연산자 곱 전개(OPE)를 체계적이고 알고리즘적으로 계산하는 방법을 개발하는 것.
• 이 프레임워크를 드리플란트-쇼콜로프 축소에서 유도되는 비선형 $W$-대수로 확장하는 것.
• 가우지드 WZNW 모형을 통해 $W$-대칭 이론에서 정확한 상관 함수 계산을 가능하게 하는 것.
• 기본 $W_N$-대수를 바탕으로 하는 임계 $W$-스트링 이론의 구조를 명확히 하는 것.
• 이론적 고에너지 물리학 연구에서 실용적으로 사용할 수 있도록 매트랩에 OPE 계산 알고리즘을 구현하는 것.

제안 방법

• 대칭 제약 조건과 워드 항등식을 기반으로 OPE 계산 규칙를 개발한다.
• 특히 $W$-대수 OPE에서의 $\beta$-계수를 계산하는 알고리즘을 도입한다.
• Map, Apply, Block과 같은 고유 함수를 사용한 기호 변환, 변환 규칙, 맞춤형 함수를 활용하여 매트랩에 알고리즘을 구현한다.
• 가시적 아핀 리 대수 제약 조건을 가우징함으로써 드리플란트-쇼콜로프 축소를 적용하여 효과 이론에서 정확한 상관 함수를 도출한다.
• 정규 순서화, 파울리 브라켓, 모드 전개를 사용하여 OPE 구조를 유도하고 그 대수적 성질을 분석한다.
• 리 대수의 투영 연산자와 등급 구조를 활용하여 OPE 특이점을 계산하고 체계적으로 분해한다.

실험 결과

연구 질문

• RQ1 어떻게 $W$-대수의 OPE를 보장된 효율성과 정확도를 갖는 알고리즘적으로 계산할 수 있는가?
• RQ2 $W$-대수가 자유장 실현을 허용하기 위한 필수 및 필요조건은 무엇인가?
• RQ3 가우지드 WZNW 모형을 통해 드리플란트-쇼콜로프 축소 절차를 양자화하여 정확한 상관 함수를 계산할 수 있는가?
• RQ4 $W\!B_{2}$-대수의 구조는 무엇이며, 표준 $W_N$-대수와 어떻게 다를까?
• RQ5 $W_N$-대수를 기반으로 하는 임계 $W$-스트링 이론의 스펙트럼은 어떻게 최소 모델을 이룬다?

주요 결과

• 논문은 비선형 OPE 관계를 갖는 새로운 $W$-대수인 $W\!B_{2}$-대수의 최초의 명시적 구성 결과를 제시한다.
• 특정 $W$-대수 OPE에서의 $\beta$-계수를 효율적으로 계산할 수 있는 알고리즘이 개발되어 연산자 특이점의 체계적 계산이 가능해졌다.
• 자유장 실현을 위한 분해 조건이 유도되었으며, 이러한 실현이 가능하기 위한 필요 및 충분 조건이 제공되었다.
• 가우지드 WZNW 모형의 형태는 $W$-대칭 이론에서 정확한 상관 함수 계산을 가능하게 하였다.
• 기본 $W_N$-대수를 기반으로 하는 임계 $W$-스트링 이론의 스펙트럼이 최소 모델을 이룬다는 것이 입증되었으며, 이는 이론의 일관성과 적분 가능성의 확인을 의미한다.
• 매트랩에 구현된 알고리즘은 정규 순서화, 모드 전개, 변환 규칙을 지원하는 실용적인 기호 계산을 가능하게 하였다.