[논문 리뷰] Algebraic G-functions associated to matrices over a group-ring

Jean Bellissard, Stavros Garoufalidis|ArXiv.org|2007. 08. 30.

Mathematical Dynamics and Fractals참고 문헌 51인용 수 5

한 줄 요약

이 논문은 자유군의 군환 위의 행렬의 거듭제곱의 추적 생성함수는 비가환 유리함수와 대수함수, 그리고 헤이먼의 문맥 자유 언어 정리에 기반하여 대수적 G-함수임을 증명한다. 이 결과는 이러한 행렬의 노름이 대수적으로 계산 가능한 수이며, 그들의 그린 함수가 대수적임을 시사하며, 작용소 대수학, 자유 확률론, 수학적 물리학에 응용된다.

ABSTRACT

Given a square matrix with elements in the group-ring of a group, one can consider the sequence formed by the trace (in the sense of the group-ring) of its powers. We prove that the corresponding generating series is an algebraic $G$-function (in the sense of Siegel) when the group is free of finite rank. Consequently, it follows that the norm of such elements is an exactly computable algebraic number, and their Green function is algebraic. Our proof uses the notion of rational and algebraic power series in non-commuting variables and is an easy application of a theorem of Haiman. Haiman's theorem uses results of linguistics regarding regular and context-free language. On the other hand, when the group is free abelian of finite rank, then the corresponding generating series is a $G$-function. We ask whether the latter holds for general hyperbolic groups. This version has an expanded introduction following suggestions from Lehner, Voiculescu and others.

연구 동기 및 목표

• 유한 계수 자유군의 군환 위의 행렬에 대한 그린 함수의 대수성 증명
• 생성함수의 미분-대수적 성질과 군론 및 형식 언어 이론의 단어 문제 간의 연결
• G-함수 이론을 비가환 설정으로 확장하여 특히 자유 확률론과 스펙트럼 이론의 맥락에서 적용
• 비가환 함수 이론을 활용한 군환 원소의 노름 계산 가능성에 대한 새로운 대수적 증명 제공
• 양자역학 및 응집물리학에서 대수적 생성함수의 함수해석학적 및 물리적 의미 탐색

제안 방법

• 비교변수에서의 유리함수와 대수함수의 생성함수와 문맥 자유 언어를 연결하는 헤이먼의 정리를 적용한다.
• 자유군의 군환에서의 행렬 거듭제곱의 트레이스를 이용해 생성함수 R_P(z)를 정의한다.
• 모멘트 생성함수가 비가환 변수에서의 대수함수 행렬임을 증명한다.
• 문맥 자유 언어의 콜름시-슐츠너 정리를 활용하여 R_P(z)의 대수성 증명
• 변환 z → 1/z를 통해 생성함수를 리졸베이트 트레이스와 연결함으로써 스펙트럼 이론과 연관시킨다.
• 스푸르 콘플레멘트 방법을 활용한 대안적 함수해석학적 증명으로 양자화학 및 고체물리학에서의 관련성 확보

실험 결과

연구 질문

• RQ1 자유군의 군환 위의 행렬의 거듭제곱의 추적 생성함수 R_P(z)는 대수적일까?
• RQ2 군이 유한 계수 자유 아벨 군일 경우 생성함수는 여전히 G-함수일까?
• RQ3 자기군의 단어 문제가 문맥 자유임을 고려할 때, R_P(z)의 대수성은 히perspacial 군으로까지 확장될 수 있을까?
• RQ4 R_P(z)와 그 아벨화 R_P^ab(z)의 특이점은 어떻게 관련되어 있는가?
• RQ5 비가환 변수에서의 휘어진 함수의 정의와 구조는 무엇인가?

주요 결과

• 자유군 F_r의 유한 계수일 때, M_N(Q[F_r])에 속한 임의의 행렬 P에 대해 생성함수 R_P(z)는 대수적 G-함수이다.
• M_N(Q[F_r])에 속한 임의의 원소의 노름은 R_P(z)의 대수성에 기반하여 대수적으로 계산 가능한 수이다.
• P와 관련된 그린 함수는 대수적이며, L(F_r)의 연산자에 대한 정확한 스펙트럼 정보를 제공한다.
• 모멘트 생성함수는 비가환 변수에서의 대수함수 행렬이 되며, 이는 R_P(z)의 대수성보다 더 강력한 결과이다.
• 자유 아벨 군의 경우 생성함수 R_P(z)는 G-함수이지만, 반드시 대수적일 필요는 없다.
• 스푸르 콘플레멘트 방법은 기능해석학적 해석을 제공하며, 결과를 양자 시스템의 리졸베이트 트레이스와 스펙트럼 측도와 연결시킨다.