[논문 리뷰] The Riemann-Roch theorem for graphs and the rank in complete graphs

Robert Cori, Yvan Le Borgne|arXiv (Cornell University)|2013. 08. 24.

Advanced Combinatorial Mathematics참고 문헌 15인용 수 10

한 줄 요약

이 논문은 완전 그래프 $K_n$ 에 중점을 두어 그래프의 리만-로흐 정리를 조합론적이고 알고리즘적으로 증명한다. $K_n$ 상의 구성(configurations)의 랭크를 계산하는 선형 시간 알고리즘을 제안하고, 주차 함수와 딕 경로에 대해 새로운 파라미터인 '프리랭크(pre-rank)'를 정의하며, 정렬된 주차 구성에 대한 차수와 랭크의 생성함수는 두 개의 칼리츠 $q$-해석형 카탈란 수를 포함하는 대칭 유리함수임을 보여준다.

ABSTRACT

The paper by M. Baker and S. Norine in 2007 introduced a new parameter on configurations of graphs and gave a new result in the theory of graphs which has an algebraic geometry flavour. This result was called Riemann-Roch formula for graphs since it defines a combinatorial version of divisors and their ranks in terms of configuration on graphs. The so called chip firing game on graphs and the sandpile model in physics play a central role in this theory. In this paper we give a presentation of the theorem of Baker and Norine in purely combinatorial terms, which is more accessible and shorter than the original one. An algorithm for the determination of the rank of configurations is also given for the complete graph $K_n$. This algorithm has linear arithmetic complexity. The analysis of number of iterations in a less optimized version of this algorithm leads to an apparently new parameter which we call the prerank. This parameter and the classical area parameter provide an alternative description to some well known $q,t$-Catalan numbers. Restricted to a natural subset of configurations, the two natural statistics degree and rank in Riemann-Roch formula lead to a distribution which is described by a generating function which, up to a change of variables, is a symmetric fraction involving two copies of Carlitz q-analogue of the Catalan numbers.

연구 동기 및 목표

• 그래프의 베이커-노린의 리만-로흐 정리를 대수기하학을 사용하지 않고 순수하게 조합론적으로 단순화된 표현을 제공하는 것.
• 완전 그래프 $K_n$ 상의 구성에 대한 랭크를 계산하는 효율적인 알고리즘을 개발하는 것.
• 주차 함수와 딕 경로에 대해 새로운 조합론적 파라미터인 '프리랭크'를 도입하고 분석하는 것.
• 완전 그래프 $K_n$ 의 정렬된 주차 구성에서 차수와 랭크 통계의 생성함수를 특성화하는 것.
• 차수와 랭크의 공동 분포에 대해 칼리츠 $q$-해석형 카탈란 수를 포함하는 대칭 유리함수 표현을 확립하는 것.

제안 방법

• 칩-파이어 게임과 모래더미 모델을 사용하여 탑플링 연산과 구성의 동치류를 정의하는 것.
• 화염 알고리즘을 적응하여 $K_n$ 의 재발성 구성(recurrent configurations)을 특성화하고, 이를 주차 함수와 연결하는 것.
• 반복적 탑플링과 잘라내기(iterative toppling and pruning)를 통한 선형 산술 복잡도 알고리즘 설계를 통해 $K_n$ 상의 구성에 대한 랭크를 계산하는 것.
• 랭크 알고리즘의 비최적화된 버전에서의 반복 횟수로 '프리랭크' 파라미터를 정의하는 것.
• 이중으로 지oint된 컷 기울인 цили더드와 나선형 순회를 사용하여 구성 모델링 및 통계 $vister$와 $unvini$ 정의하는 것.
• 시린더 구성의 중첩을 통한 전역적 호환사상 $\Psi$ 수립으로써 $lw(f)$와 $rw(f)$ 가 $vister$와 $unvini$ 와 관련됨을 보여주는 것.

실험 결과

연구 질문

• RQ1 대수기하학을 사용하지 않고도 그래프의 리만-로흐 정리를 순수한 조합론적 방법으로 재증명할 수 있는가?
• RQ2 완전 그래프 $K_n$ 상의 구성에 대한 랭크를 결정하는 계산 복잡도는 무엇인가?
• RQ3 새로운 파라미터 '프리랭크'는 딕 경로와 주차 함수에서 알려진 통계인 dinv 와 어떻게 관련이 있는가?
• RQ4 정렬된 주차 구성에서 차수와 랭크의 공동 분포에 대한 생성함수는 무엇인가?
• RQ5 차수와 랭크의 생성함수에 대해 대칭 유리함수 표현이 존재하는가?

주요 결과

• 완전 그래프 $K_n$ 상의 임의의 구성에 대한 선형 산술 복잡도 알고리즘을 개발하였다.
• 비최적화된 랭크 알고리즘의 반복 횟수로 정의된 '프리랭크' 파라미터가 도입되었으며, 이는 딕 경로에 대한 새로운 통계임이 입증되었다.
• 완전 그래프 $K_n$ 의 정렬된 주차 구성에서 차수와 랭크의 생성함수는 변수 치환과 스케일링을 거쳐, 두 개의 칼리츠 $q$-해석형 카탈란 수를 포함하는 대칭 유리함수로 표현됨을 보였다.
• 이중으로 지정된 컷 기울인 시린더에서 부분 나선 순회를 통해 정의된 통계 $vister(C_n[w], s, 0)$ 과 $unvini(C_n[w], s, 0)$ 는 각각 $\rho(f)+1$ 과 $\binom{n-1}{2} + \rho(f) - \deg(f)$ 와 정확히 일치한다.
• 호환사상 $\Psi(f) = \text{sort} \circ \text{park}(\kappa - f)$ 는 시린더 구성의 중첩을 통해 완전히 특성화되었으며, $\Psi$ 는 $vister$ 와 $unvini$ 통계를 서로 바꾸는 것으로 밝혀졌다.
• 호환사상 $\Psi$ 는 $\Psi(cyltoconf(C_n[w], s, 0)) = cyltoconf(C_n[\Phi(w)], \text{lastright}(w) - 1 - s, 0)$ 를 만족함을 보였으며, 이는 랭크와 차수 통계의 이중성에 대한 전역 기하학적 기술을 제공한다.