[논문 리뷰] Computing the spectral action for fuzzy geometries: from random noncommutatative geometry to bi-tracial multimatrix models

Carlos I. Pérez-Sánchez|arXiv (Cornell University)|2019. 12. 31.

Noncommutative and Quantum Gravity Theories참고 문헌 52인용 수 8

한 줄 요약

이 논문은 랜덤 비가환 기하학을 사용하여 $2n$-차원 퍼지 기하에서 스펙트럼 작용을 계산하며, 경로 적분을 $N \times N$ 복소 행렬을 가진 이중 흔적 다중행렬 모형으로 재구성한다. 2차원의 경우 6차까지, 4차원의 경우 4차까지의 명시적 공식을 유도하며, 현수도 다이어그램을 통해 $N$-독립성과 자기수반성 보장하여 대-$N$ 근사에서 자유 확률론적 접근 가능하게 한다.

ABSTRACT

A fuzzy geometry is a certain type of spectral triple whose Dirac operator crucially turns out to be a finite matrix. This notion was introduced in [J. Barrett, J. Math. Phys. 56, 082301 (2015)] and accommodates familiar fuzzy spaces like spheres and tori. In the framework of random noncommutative geometry, we use Barrett's characterization of Dirac operators of fuzzy geometries in order to systematically compute the spectral action $S(D)= \mathrm{Tr} f(D)$ for $2n$-dimensional fuzzy geometries. In contrast to the original Chamseddine-Connes spectral action, we take a polynomial $f$ with $f(x) o \infty$ as $ |x| o\infty$ in order to obtain a well-defined path integral that can be stated as a random matrix model with action of the type $S(D)=N \cdot \mathrm{tr}\, F+ extstyle\sum_i \mathrm{tr}\,A_i \cdot \mathrm{tr} \,B_i $, being $F,A_i $ and $B_i $ noncommutative polynomials in $2^{2n-1}$ complex $N imes N$ matrices that parametrize the Dirac operator $D$. For arbitrary signature---thus for any admissible KO-dimension---formulas for 2-dimensional fuzzy geometries are given up to a sextic polynomial, and up to a quartic polynomial for 4-dimensional ones, with focus on the octo-matrix models for Lorentzian and Riemannian signatures. The noncommutative polynomials $F,A_i $ and $B_i$ are obtained via chord diagrams and satisfy: independence of $N$; self-adjointness of the main polynomial $F$ (modulo cyclic reordering of each monomial); also up to cyclicity, either self-adjointness or anti-self-adjointness of $A_i $ and $B_i $ simultaneously, for fixed $i$. Collectively, this favors a free probabilistic perspective for the large-$N$ limit we elaborate on.

연구 동기 및 목표

• 랜덤 비가환 기하학을 사용하여 $2n$-차원 퍼지 기하에서 스펙트럼 작용 $S(D) = \mathrm{Tr} f(D)$를 체계적으로 계산하는 것.
• 수렴을 보장하는 다항식 $f$를 가진 경로 적분을 잘 정의된 랜덤 행렬 모형으로 재구성하는 것.
• 디랙 연산자에 대해 6차(2차원) 및 4차(4차원) 다항식까지의 스펙트럼 작용에 대한 명시적 표현을 도출하는 것.
• 현수도 다이어그램 조합론을 통해 스펙트럼 작용의 구성 요소에 대한 $N$-독립성과 자기수반성을 확보하는 것.
• 순환 불변성을 가진 이중 흔적 다중행렬 모형을 구성함으로써 대-$N$ 근사에서 자유 확률론적 프레임워크를 가능하게 하는 것.

제안 방법

• 퍼지 기하에서 디랙 연산자를 유한 행렬로 간주함으로써 스펙트럼 트리플을 정의하는 Barrett의 특성화를 활용.
• 경로 적분의 수렴을 보장하기 위해 $f(x) \to \infty$ 인 다항식 $f$를 사용함.
• 스펙트럼 작용을 $S(D) = N \cdot \mathrm{tr}\, F + \sum_i \mathrm{tr}\, A_i \cdot \mathrm{tr}\, B_i$로 표현하며, 여기서 $F, A_i, B_i$는 $2^{2n-1}$개의 복소 $N \times N$ 행렬에서 이루어진 비가환 다항식.
• 현수도 다이어그램을 사용하여 $F, A_i, B_i$를 구성함으로써 $N$-독립성과 순환 불변성을 확보.
• $F$에 대해 순환 재정렬을 고려한 자기수반성과 각 $i$에 대해 $A_i$ 및 $B_i$가 동시에 자기수반 또는 반자기수반 성질을 갖도록 조건을 설정.
• 2차원 및 4차원 퍼지 기하에 이 프레임워크를 적용하며, 옥토-행렬 모형을 통해 로렌츠 및 리만 기하 서명을 중심으로 다룸.

실험 결과

연구 질문

• RQ1 랜덤 비가환 기하학을 사용하여 $2n$-차원 퍼지 기하에서 스펙트럼 작용을 어떻게 체계적으로 계산할 수 있는가?
• RQ2 스펙트럼 작용이 다항식 $f$를 가진 랜덤 행렬 모형으로 표현될 때 경로 적분은 어떤 형태를 띄는가?
• RQ3 현수도 다이어그램은 유도된 행렬 모형에서 $N$-독립성과 순환 불변성을 어떻게 보장하는가?
• RQ4 2차원 및 4차원 퍼지 기하에서의 스펙트럼 작용의 명시적 다항식 구조는 무엇인가?
• RQ5 $F$, $A_i$, $B_i$의 대칭성은 대-$N$ 근사에서 자유 확률론적 해석을 어떻게 지원하는가?

주요 결과

• 스펙트럼 작용은 $S(D) = N \cdot \mathrm{tr}\, F + \sum_i \mathrm{tr}\, A_i \cdot \mathrm{tr}\nolimits B_i$ 형태의 이중 흔적 다중행렬 모형으로 재구성되며, 여기서 $F, A_i, B_i$는 $2^{2n-1}$개의 복소 $N \times N$ 행렬에서 이루어진 비가환 다항식.
• 2차원 퍼지 기하에서 스펙트럼 작용은 디랙 연산자에 대해 6차 다항식까지 명시적으로 계산됨.
• 4차원 퍼지 기하에서 스펙트럼 작용은 4차 다항식까지 유도되었으며, 로렌츠 및 리만 서명에 대해 옥토-행렬 모형을 중심으로 다룸.
• 비가환 다항식 $F, A_i, B_i$는 현수도 다이어그램을 통해 구성되어 $N$-독립성과 순환 불변성을 보장함.
• 다항식 $F$는 순환 재정렬을 고려한 자기수반성이며, 각 $i$에 대해 $A_i$ 및 $B_i$는 동시에 자기수반 또는 반자기수반 성질을 가짐.
• 행렬 모형 구성 요소의 대칭성과 불변성 특성 덕분에 작용의 구조는 대-$N$ 근사에서 자유 확률론적 해석을 가능하게 함.