Non-invertible symmetries and modular invariance in lattice models

문제 정의
본 논문은 퓨전 카테고리 $\mathcal{C}$로부터 유도된 면 상호작용(face interactions)을 갖는 고전적 2차원 격자 통계 모델의 구조적 분석을 다룬다. 구체적으로, 국소 상호작용이 템퍼리-리브(Temperley–Lieb, TL) 대수 관계를 만족하는 모델에 초점을 맞춘다. 핵심적인 문제는 다양한 경계 조건(고정, 주기적, 뒤틀린 주기적 경계 조건)에 대해 상태 전이 행렬 공간(transfer-matrix space of states)을 단순 TL(또는 아핀 TL) 모듈의 직합으로 체계적으로 결정하는 것이다. 또한, 이 공간들에 작용하는 위상적 연산자(topological operators)의 대수를 규명하고, 특히 원시 단위근(primitive roots of unity)에서의 연관된 기약 TL 캐릭터(irreducible TL characters)의 모듈러 변환 성질을 도출하는 것을 목표로 한다.

방법론
저자는 퓨전 카테고리와 템퍼리-리브 대수의 표현론에 기반한 프레임워크를 사용한다.

1. 모델 정의: 본 연구는 격자 상의 사이트들이 퓨전 카테고리 $\mathcal{C}$의 단순 대상(simple objects)들을 가지는 정사각형 격자 상의 면 모델(face models)을 고려한다. 볼츠만 가중치는 양적 차원(quantum dimensions)과 F-심볼(F-symbols)을 사용하여 구성된다. 국소 면 연산자들은 루프 가중치 $\beta = d(a)$를 갖는 TL 관계를 만족하며, 여기서 $a$는 특정 단순 대상이다.
2. 위상적 연산자: CFT(Conformal Field Theory)의 페트코바와 주버(Petkova and Zuber)의 접근 방식을 따라, 격자 위상적 연산자는 TL 모듈의 모피즘(morphism)으로 정의된다. 이 연산자들은 경로를 따라 수정된 조건(seams)을 삽입하는 것에 대응한다. 본 논문은 열린 경계 조건과 닫힌 경계 조건 모두에 대해 단순 대상 $p$와 관련된 연산자 $Y_p$, 그리고 카테고리 자기 동형 사상 $L$과 관련된 연산자 $Q_L$의 가족을 구성한다.
3. 재귀적 분해 알고리즘: 상태 공간 $V(N)$을 단순 모듈로 분해하기 위한 일반적인 알고리즘이 제시된다.
   • 시드 상태(Seed States): 이 방법은 특정 크기를 가지며 특정 하강 연산자($c_j$)에 의해 소멸되고, TL 다이어그램의 작용 하에서 단순 모듈을 생성하는 "시드 상태"를 식별하는 것에 의존한다.
   • 고정 경계 조건: 열린 경계의 경우, 분해는 단순 TL 모듈 $I_k$의 직합으로 나타난다. 다중도는 경계 CFT의 융합된 인접 행렬(fused adjacency matrices)과 유사하게, 인접 행렬의 체비쇼프 다항식으로부터 유도된 행렬 $n_k$에 의해 인코딩된다.
   • 뒤틀린 주기적 경데 조건: 닫힌 경계의 경우, 분해는 단순 아핀 TL 모듈 $I_{k,z}$를 포함한다. 알고리즘은 순환 이동 연산자 $\Omega$와 루프 연산자 $f$의 스펙트럼을 활용하여 파라미터 $z$와 다중도를 결정한다.
4. 모듈러 분석: 루프 가중치가 $\beta = 2\cos(\pi/h)$ 형태인 경우(단위적 RSOS 모델에 대응), 본 논문은 아핀 TL 단순 모듈에 대한 트레이스(trace)로서 모듈러 캐릭터를 정의한다. 뒤틀린 RSOS 모델의 분해와 위상적 연산자의 고윳값을 분석함으로써, 저자는 이전의 CFT 결과들을 역으로 이용하여 이 TL 캐릭터들의 모듈러 S-행렬 변환을 도출한다.

주요 기여 및 결과

• 일반적 분해 알고리즘: 본 논문은 TL 상호작용을 가진 임의의 2차원 격자 모델에 대해, 전이 행렬 상태 공간을 단순 TL 모듈로 해석적으로 분해하는 구성적이고 재귀적인 알고리즘을 제공한다. 이는 고정 경계 조건과 뒤틀린 주기적 경계 조건 모두에 적용된다.
• 위상적 연산자 대수: 분해된 상태 공간 상에서의 위상적 연산자의 작용이 명시적으로 계산되었다. 피보나치, 이징(Ising), 3상 포츠(three-state Potts) 모델의 예시에서, TL 엔도모피즘(endomorphism)의 대수는 단순 대상 및 카테고리 자기 동형 사상과 관련된 위상적 연산자들에 의해 생성됨이 보여진다.
• 명시적 예시:
  • 피보나치 모델: 고정, 주기적, 뒤틀린 경계 조건에 대한 분해와 위상적 연산자의 작용이 상세히 기술되었다. 스케일링 극한은 이동 연산자(shift operator)로부터 발생하는 특정 공형 스핀과 함께 최소 모델 $\mathcal{M}(5,4)$로 식별된다.
  • 이징 모델: 면 모델은 임계 양자 이징 해밀토니안으로 매핑된다. 위상적 연산자들은 스핀 플립(spin-flip) 및 크래머스-와니어(Kramers–Wannier) 쌍대성 연산자로 식별된다. 스케일링 극한은 $\mathcal{M}(4,3)$에 대응한다.
  • 3상 포츠 모델: Tambara–Yamagami 카테고리 $TY(\mathbb{Z}_3)$를 사용하여, 본 논문은 분해와 연산자 작용을 분석하고 스케일링 극한을 $\mathcal{M}(6,5)$로 식별한다.
  • 비임계 모델: $d(a) > 2$인 $psu(2)_5$ 퓨전 규칙에 기반한 모델이 분석되었으며, 상태 공간이 단순 모듈의 무한 직합임을 보여준다.
• TL 캐릭터의 모듈러 불변성: $A_n$ 계열(단위적 RSOS 모델)에 대해, 본 논문은 기약 TL 캐릭터의 모듈러 변환을 도출한다. 이들은 캐릭터가 모듈러 그룹의 표현을 형성함을 확립하며, 이때 S-행렬은 퓨전 카테고리 S-행렬과 부호 인자의 곱으로 주어진다. 베를린데 공식(Verlinde formula)을 적용하여 단순 아핀 TL 모듈의 융합 규칙을 제안한다.

의의 및 주장
본 논문은 TL 상호작용을 가진 임의의 퓨전 카테고리 기반 면 모델에 대해 "제1원리로부터 이 분해를 계산하는 체계적인 방법"을 제공한다고 주장한다. 이 분해는 이러한 모델들의 "대칭 분석을 위한 초석"으로 묘사된다.

• 이론적 통합: 본 연구는 다양한 정확히 풀린 모델들(이징, 포츠, RSOS)의 처리를 퓨전 카테고리와 TL 대수의 언어 아래 통합하며, 기존의 방법들이 종종 특정 모델에 국한되었던 것과 달리 일반적인 알고리즘을 제공한다.
• 모듈러 표현론: 핵심적인 결과는 기약 TL 캐릭터의 모듈러 변환을 도출한 것이다. 이는 모듈러 불변성에 대한 이해를 표준적인 CFT 캐릭터를 넘어 격자 모델의 대수적 구조로 확장한다.
• 한계 및 향후 방향: 저자는 비임계 모델(여기서 $\beta \ge 2$)의 경우, 엔도모피즘의 대수가 무한 차원인 반면 위상적 연산자들은 유한 차원 부분 대수만을 생성한다는 점을 언급하며, 남은 엔도모피즘의 구체적인 형태는 여전히 미해결 과제로 남아 있다고 밝힌다. 또한, 베를린데 공식이 아핀 TL 모듈의 융합 규칙을 제안하긴 하지만, 이 규칙들의 타당성은 추가적인 검증이 필요한 조건들에 달려 있다고 명시한다. 본 연구는 새로운 실험적 응용을 제안하기보다는 격자 모델의 대칭성과 스케일링 극한을 이해하기 위한 엄격한 대수적 프레임워크를 제공하는 데 목적이 있다.