[논문 리뷰] Large deviations for functions of two random projection matrices

Fumio Hiai, D. Petz|ArXiv.org|2005. 04. 21.

Random Matrices and Applications참고 문헌 11인용 수 18

한 줄 요약

이 논문은 행렬 크기 N이 무한대에 접근함에 따라 두 개의 독립적이고 유니터리 불변 랜덤 프로젝션 행렬의 다항식의 경험적 고유값 분포에 대한 큰 편차 원리를 수립한다. C*-대수적 프레임워크를 사용하여, 쌍 (P(N), Q(N))에 의해 유도되는 랜덤 트레이스 상태가 두 자기수반 프로젝션으로 생성된 유니버설 C*-대수의 트레이스 상태 공간에서 큰 편차 원리를 만족하며, 이 경우의 비용 함수는 자유 프로젝션에 대한 Voiculescu의 자유 엔트로피와 연결된다.

ABSTRACT

In this paper two independent and unitarily invariant projection matrices P(N) and Q(N) are considered and the large deviation is proven for the eigenvalue density of all polynomials of them as the matrix size $N$ converges to infinity. The result is formulated on the tracial state space $TS({\cal A})$ of the universal $C^*$-algebra ${\cal A}$ generated by two selfadjoint projections. The random pair $(P(N),Q(N))$ determines a random tracial state $τ_N \in TS({\cal A})$ and $τ_N$ satisfies the large deviation. The rate function is in close connection with Voiculescu's free entropy defined for pairs of projections.

연구 동기 및 목표

• N → ∞일 때 두 개의 독립적이고 유니터리 불변 랜덤 프로젝션 행렬의 다항식에 대한 경험적 고유값 분포에 대한 큰 편차 원리를 수립하기.
• 두 자기수반 프로젝션으로 생성된 유니버설 C*-대수의 트레이스 상태 공간의 맥락에서 큰 편차 결과를 제시하기.
• 큰 편차 원리의 비용 함수를 W*-확률 공간에서의 자유 프로젝션 쌍에 대한 Voiculescu의 자유 엔트로피와 연결하기.
• 선형 조합과 유니터리 함수를 포함한 특정 함수들에 대해, 계약 원리(contraction principle)를 통해 비용 함수의 명시적 계산을 제공하기.

제안 방법

• 논문은 P(N)QP(N)의 공동 고유값 분포를 다루며, 이를 자코비 분포와 연결하여 경험적 고유값 밀도에 대한 큰 편차를 유도한다.
• ψ: A → M_N(ℂ)에서 ψ(e) = P(N), ψ(f) = Q(N)인 *-환형사상 ψ를 통해 정의된 랜덤 트레이스 상태 τ_N ∈ TS(A)를 도입한다.
• GNS 구성법을 사용하여 비용 함수를 자유 엔트로피와 연결하고, 스케일링 1/N²로 트레이스 상태 공간 TS(A)에서 큰 편차 원리를 수립한다.
• 비용 함수 I(τ)는 τ의 GNS 표현에서 자유 프로젝션 p, q에 대한 Voiculescu의 자유 엔트로피 χ(p,q)의 음수로 식별된다.
• 특정 함수들(예: 선형 조합 및 유니터리 함수)에 대해 계약 원리를 적용하여 비용 함수를 유도한다.
• 스펙트럼 측도와 단위 원 위의 로그 잠재력 이론을 사용하여, 유니터리 함수에 대한 비용 함수의 명시적 표현을 도출한다.

실험 결과

연구 질문

• RQ1 두 개의 독립적 랜덤 프로젝션 행렬의 다항식에 대한 경험적 고유값 분포는 큰 N 근처에서 어떻게 행동하는가?
• RQ2 두 개의 독립적이고 유니터리 불변 프로젝션 행렬에 의해 유도되는 랜덤 트레이스 상태에 대한 큰 편차 비용 함수는 무엇인가?
• RQ3 비용 함수는 W*-확률 공간에서의 자유 프로젝션 쌍에 대한 Voiculescu의 자유 엔트로피와 어떻게 관련되어 있는가?
• RQ4 특정 함수들, 예를 들어 aP(N) + bQ(N) 또는 P(N)Q(N) + Q(N)P(N)에 대해 큰 편차 원리가 명시적으로 계산될 수 있는가?
• RQ5 비용 함수의 최소화자(minimizer)는 무엇이며, 자유 프로젝션의 함수의 점근적 분포와 어떻게 관련되어 있는가?

주요 결과

• 두 개의 독립적이고 유니터리 불변 프로젝션 행렬 P(N)과 Q(N)에 의해 유도되는 랜덤 트레이스 상태 τ_N는 스케일링 1/N²로 큰 편차 원리를 만족한다.
• 비용 함수 I(τ)는 τ의 GNS 표현에서 자유 프로젝션 p, q에 대한 Voiculescu의 자유 엔트로피 χ(p,q)의 음수와 같다.
• 함수 aP(N) + bQ(N)에 대해서는 계약 원리를 적용하여 비용 함수를 유도하였으며, 이는 자유 합 프로젝션의 스펙트럼 측도에 대해 명시적으로 계산 가능하다.
• 유니터리 함수 u = e^{iπP(N)}e^{-iπQ(N)}에 대해서는 비용 함수가 단위 원 위의 측도와 로그 잠재력에 대한 적분 표현으로 주어지며, α = β = 1/2일 때 최소화자는 토러스 위의 균일 측도가 된다.
• u에 대한 비용 함수의 최소화자는 α = β = 1/2일 때 𝕋 위의 균일 분포이며, 반면 e^{iπ(p−q)}의 분포는 아크사인 법칙을 따른다. 이는 두 함수 사이의 근본적인 차이를 보여준다.
• 스펙트럼 측도가 매개변수 α와 β에 의해 규정되는 원자적 및 연속적 구조와 일치하지 않을 경우 비용 함수는 무한대가 되며, 이는 엄격한 지지 조건을 보장한다.