[논문 리뷰] Directed animals, quadratic and rewriting systems

Jean‐François Marckert|arXiv (Cornell University)|2011. 12. 05.

Stochastic processes and statistical mechanics참고 문헌 15인용 수 3

한 줄 요약

이 논문은 정사각형 격자 위의 유도 동물의 생성함수(면적과 둘레를 세는)와 이차 행렬 방정식계 사이의 깊은 대수적 연결을 확립한다. 생성함수는 텐서곱을 포함하는 재작성 체계의 고정점으로 나타나는 무한 행렬의 고유벡터로부터 유도될 수 있음을 강력한 증거로 제시하며, 이는 오랫동안 미해결이었던 조합론 문제를 해결하기 위한 새로운 대수적 프레임워크를 제공한다.

ABSTRACT

A directed animal is a percolation cluster in the directed site percolation model. The aim of this paper is to exhibit a strong relation between the problem of computing the generating function $\G$ of directed animals on the square lattice, counted according to the area and the perimeter, and the problem of solving a system of quadratic equations involving unknown matrices. We present some solid evidence that some infinite explicit matrices, the fixed points of a rewriting like system are the natural solutions to this system of equations: some strong evidence is given that the problem of finding $\G$ reduces to the problem of finding an eigenvector to an explicit infinite matrix. Similar properties are shown for other combinatorial questions concerning directed animals, and for different lattices.

연구 동기 및 목표

• 정사각형 격자 위의 유도 동물의 생성함수와 이차 행렬 방정식계 사이의 공식적 연결을 확립하기 위해.
• 텐서곱을 사용하는 재작성 체계의 고정점으로 정의된 무한 행렬이 이 행렬 체계의 자연스러운 해가 되는지 조사하기 위해.
• 생성함수를 계산하는 것이 이러한 무한 행렬의 좌우 고유벡터를 찾는 것으로 환원됨을 보여주기 위해.
• 원추형 격자 및 이중색 동물, 순환 클러스터와 같은 다른 격자와 조합 모델로 이 프레임워크를 확장하기 위해.
• 유도 동물의 수를 세는 데 새로운 대수적 접근법을 제공하여 생성함수의 계산 가능성을 보장하기 위해.

제안 방법

• 원천 S를 가진 그래프 G 위의 유도 동물에 대한 생성함수 GF_S^G(x,y)를 면적과 둘레를 세는 방식으로 형식화하기 위해.
• 유도 동물의 재귀적 분해로부터 유도된 미지의 유한 행렬을 포함하는 이차 방정식계를 사용하여 문제를 모델링하기 위해.
• 무한 크기의 행렬을 생성하기 위한 텐서곱 기반의 재작성 체계를 도입하여 고정점 해로 간주할 후보를 제시하기 위해.
• 확률적 기체 모델과 조건부 기대값을 사용하여 생성함수에 대한 방정식을 유도하고, 이를 행렬 곱과 트레이스와 연결하기 위해.
• 정리 11을 적용하여 격자 선 위의 측도를 행렬 곱으로 표현하고, 행렬 수렴을 통한 해의 구성 가능성을 보장하기 위해.
• 색상에 따라 전이가 달라지는 삼상태 기체 모델을 도입하여 이중색 모델로의 확장을 시도하고, 잘 색칠된 유도 동물과의 관계를 보여주기 위해.

실험 결과

연구 질문

• RQ1 정사각형 격자 위의 유도 동물의 면적과 둘레 생성함수는 이차 행렬 방정식계의 해로 표현될 수 있는가?
• RQ2 텐서곱을 포함하는 재작성 체계의 고정점으로 구성된 무한 행렬이 이 행렬 체계의 자연스러운 해가 되는가?
• RQ3 이러한 무한 행렬의 좌우 고유벡터로부터 생성함수를 복원할 수 있는가?
• RQ4 이 대수적 프레임워크는 원추형 격자 및 이중색 유도 동물과 같은 다른 격자와 조합 구조로 일반화될 수 있는가?
• RQ5 색상에 따라 전이가 달라지는 삼상태 기체 모델이 잘 색칠된 유도 동물의 생성함수에 대해 처리 가능한 표현을 제공하는가?

주요 결과

• 정사각형 격자 위의 유도 동물에 대한 생성함수 GF_S^G(x,y)는 특정한 무한 행렬 체계의 고유벡터를 찾는 문제로 환원됨을 보였다.
• 재작성 체계의 고정점으로 나타나는 무한 행렬이 생성함수를 지배하는 이차 행렬 방정식의 자연스러운 해임에 대한 강력한 증거를 제시하였다.
• 이 방법은 원추형 격자 및 이중색 유도 동물과 같은 다른 격자와 조합 모델로도 성공적으로 확장되었다.
• 이중색 모델의 경우, 생성함수 GF_{S1,S2}(-p1,-p2)는 삼상태 기체 모델의 공동 확률로 표현되었으며, 조합론과 통계역학 간의 연결을 제시하였다.
• 상태 {0,1,2}를 가진 기체 모델은 선상에서 마코프가 아니지만, 알려진 마코프 프로젝션을 통해 근사 가능한 근사 확률을 계산할 수 있어, 핵심 확률의 간접 계산이 가능하다.
• 이 프레임워크는 유사 문제에 대한 일반적인 접근법을 제공하며, 격자 선 위의 측도의 행렬 표현은 행렬 V^x_(κ)와 H^x_(κ)의 곱을 포함하는 트레이스 공식을 통해 구성된다.