[논문 리뷰] Counting With Irrational Tiles

Scott Garrabrant, Igor Pak|arXiv (Cornell University)|2014. 07. 30.

Advanced Combinatorial Mathematics참고 문헌 36인용 수 6

한 줄 요약

이 논문은 단위 높이 직사각형 내에서 무리수 길이의 타일을 사용하여 타일 수 함수를 도입하고 특성화하며, 이들이 정수 계수의 유리수 생성함수의 대각선과 특정 이항 다중합과 정확히 일치함을 증명한다. 주요 기여는 다변수 유리수 생성함수와 초함수 및 카탈란 수와의 연결을 통한 이러한 수열의 완전한 특성화이다.

ABSTRACT

We introduce and study the number of tilings of unit height rectangles with irrational tiles. We prove that the class of sequences of these numbers coincides with the class of diagonals of N-rational generating functions and a class of certain binomial multisums. We then give asymptotic applications and establish connections to hypergeometric functions and Catalan numbers.

연구 동기 및 목표

• 단위 높이 직사각형 내에서 무리수 길이의 타일로 구성된 타일링 수열의 조합적 구조를 연구한다.
• 이러한 타일링 함수의 클래스를 특성화하고 기존의 생성함수 클래스와 연결한다.
• 무리수 길이 타일링, 유리수 생성함수의 대각선, 이항 다중합 간의 연결 고리를 확립한다.
• 점근적 행동을 탐색하고 초함수, 카탈란 수와 같은 특수 함수와의 관계를 탐색한다.
• 카탈란 수가 무리수 길이 타일링의 점근적 카운팅으로 나타날 수 있는지 조사하며, 그 비표현 가능성에 대한 추측을 제기한다.

제안 방법

• 고정된 무리수 타일 집합 $T$ 와 고정된 오프셋 $\varepsilon$ 에 대해, $[1\times(n+\varepsilon)]$ 의 타일링 수를 세는 타일 수 함수 $f_{T,\varepsilon}(n)$ 를 정의한다.
• 일반화된 전이 행렬 방법을 사용하여 이러한 함수들이 다변수 $\naturals$-유리수 생성함수의 대각선으로 나타남을 보인다.
• $\mathcal{F}$ 라는 모든 이러한 함수의 클래스를 정확히 $\mathcal{R}_k$, 즉 다변수 $\naturals$-유리수 함수의 대각선으로 특성화한다.
• 함수 $f(n)$ 이 다변수 이항 합 $\sum_{\mathbf{v}} \prod_{i=1}^r \binom{a_{i1}v_1 + \cdots + a_{id}v_d + a'_in + a''_i}{\cdots}$ 의 형태로 표현될 수 있음을 보이며, 조합적 다중합과의 연결을 맺는다.
• 형식적 멱급수 이론과 초함수 이론의 결과를 적용하여 점근적 행동을 분석한다.
• 조합적 선형대수학과 '사이클 팝핑' 기법에 영감을 받은 순환 분해와 다중도 수치를 사용하여 구조적 성질을 증명한다.

실험 결과

연구 질문

• RQ1 고정된 유한한 무리수 길이 타일 집합을 사용하여 $[1\times(n+\varepsilon)]$ 의 타일링 수로 나타날 수 있는 정수 수열은 무엇인가?
• RQ2 모든 이러한 타일링 수열이 다변수 $\naturals$-유리수 생성함수의 대각선으로 표현될 수 있는가?
• RQ3 무리수 길이 타일링과 이항 다중합 또는 초함수 사이에 연결 고리가 존재하는가?
• RQ4 카탈란 수 $C_n$ 이 이러한 무리수 길이 타일링 수열의 점근적 성장률로 나타날 수 있는가?
• RQ5 비음수 유리수 생성함수 중 $\naturals$-유리수이지 않은 것은 존재하는가, 그리고 이러한 함수들은 이 타일링 프레임워크와 어떻게 관련되어 있는가?

주요 결과

• 무리수 길이 타일을 사용한 타일 수 함수의 클래스는 정확히 $\naturals$-유리수 생성함수의 대각선 클래스와 일치한다.
• 모든 이러한 타일링 함수 $f(n)$ 은 다변수 이항 합 $\sum_{\mathbf{v}} \prod_{i=1}^r \binom{a_{i1}v_1 + \cdots + a_{id}v_d + a'_in + a''_i}{\cdots}$ 의 형태로 표현될 수 있다.
• 두 개의 무리수 길이 타일 $[1\times(\frac{1}{2} \pm \alpha)]$ 을 사용한 타일링 수의 생성함수는 $F(x) = \frac{1}{\sqrt{1-4x}}$ 이며, 이는 중심 이항 계수 $\binom{2n}{n}$ 과 대응한다.
• 이러한 타일링 수열의 점근적 성장은 생성함수의 특이점에 의해 결정되며, 일부 경우에서 점근 전개의 상수항이 초월수임이 알려져 있다 (예: $\pi$ 와 $\Gamma(1/4)$ 를 포함함).
• 초함수 이론 분석을 통한 강력한 증거를 제시하여, 카탈란 수 $C_n$ 은 어떤 무리수 길이 타일링 함수의 점근적 표현으로도 실현될 수 없다.
• 관련 초함수 곱에서 상수 $\frac{\pi}{3\sqrt{3}}$ 를 생성할 수 없기 때문에, 어떤 무리수 길이 타일링 함수도 $f(n) \sim C_n$ 을 만족하지 못할 것이라는 추측을 제기한다.