[논문 리뷰] A Note on Boolean Lattices and Farey Sequences II

Andrey O. Matveev|ArXiv.org|2008. 01. 31.

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

한 줄 요약

이 논문은 파레이 수열의 부분수열과 부울 레이티스에서 유도된 파레이 부분수열의 왼쪽 및 오른쪽 반수열 사이의 단조 비례 사상(단조 일대일 대응)을 수립한다. 이는 $\mathcal{F}(\mathbb{B}(n),m)$의 왼쪽 반수열이 $\mathcal{F}_{n-m}^m$과 순서를 반전시키는 일대일 대응을 가지며, 오른쪽 반수열은 $\mathcal{F}_m^{n-m}$과 순서를 반전시키는 일대일 대응을 가짐을 증명한다. 이는 파레이 부분수열의 구조와 부울 레이티스의 랭크 수준 간의 이중성(duality)을 드러낸다.

ABSTRACT

We establish monotone bijections between subsequences of the Farey sequences and the halfsequences of Farey subsequences associated with elements of the Boolean lattices.

연구 동기 및 목표

• 레이티스 원소와 관련된 부분수열을 분석하여 파레이 수열과 부울 레이티스 간의 구조적 연결 고리를 탐색한다.
• 분수 $\leq 1/2$ 및 $\geq 1/2$로 정의된 $\mathcal{F}(\mathbb{B}(n),m)$의 왼쪽 및 오른쪽 반수열을 특성화한다.
• 이러한 반수열과 각각 $\mathcal{F}_{n-m}^m$ 및 $\mathcal{F}_m^{n-m}$ 사이의 명시적 단조 비례 사상을 수립한다.
• 분수 벡터에 대한 행렬 변환을 사용하여 이러한 사상이 순서를 반전시키며 일대일임을 증명한다.
• 다양한 랭크 조건 하에서 $1/2$, $1/3$, $2/3$과 같은 핵심 분수의 이웃 공식을 명시적으로 제공한다.

제안 방법

• 레이티스 관련 부분수열을 정의하기 위해 $\mathcal{F}_n^m = \{ \frac{h}{k} \in \mathcal{F}_n : h \leq m \}$ 및 $\mathcal{G}_n^m = \{ \frac{h}{k} \in \mathcal{F}_n : k - h \leq n - m \}$을 사용한다.
• $\mathcal{F}(\mathbb{B}(n),m)$을 $b \in \mathbb{B}(n)$, $\rho(b) > 0$, $\rho(a) = m$ 인 경우에 대해 $\{ \frac{\rho(b \wedge a)}{\gcd(\rho(b \wedge a), \rho(b))} / \frac{\rho(b)}{\gcd(\rho(b \wedge a), \rho(b))} \}$로 정의하여 레이티스 랭크를 분수 구조와 연결한다.
• 분수 $\frac{h}{k}$를 $\frac{k-h}{k}$로 매핑하는 행렬 변환 $\begin{bmatrix} -1 & 1 \\ 0 & 1 \end{bmatrix}$을 적용하여 순서를 반전시키는 일대일 대응를 유도한다.
• 행렬 $\begin{bmatrix} 2 & -1 \\ 3 & -1 \end{bmatrix}$에 의해 유도되는 사상 $\frac{h}{k} \mapsto \frac{2h - k}{3h - k}$를 도입하여 $\mathcal{F}^{\geq 1/2}(\mathbb{B}(n),m)$과 $\mathcal{F}^{\leq 1/2}(\mathbb{B}(n),m)$를 연결하고, 단사성과 순서 유지 성질을 증명한다.
• 카디널리티 계산을 위해 모비우스 함수 $\overline{\mu}(d)$와 오일러의 타우 함수 $\phi(h;[i,l])$를 사용하여 $\mathcal{G}_n^m$ 및 관련 수열의 크기를 계산한다.
• $\mathcal{F}_{n-m}^m \to \mathcal{F}(\mathbb{B}(n),m)$ 및 $\mathcal{F}_m^{n-m} \to \mathcal{F}(\mathbb{B}(n),m)$ 간의 복합 사상들을 활용하여 일대일성과 단조성의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 파레이 부분수열 $\mathcal{F}_{n-m}^m$과 $\mathcal{F}(\mathbb{B}(n),m)$의 왼쪽 반수열 사이에 단조 비례 사상이 존재하는가?
• RQ2 파레이 부분수열 $\mathcal{F}_m^{n-m}$과 $\mathcal{F}(\mathbb{B}(n),m)$의 오른쪽 반수열 사이에 단조 비례 사상이 존재하는가?
• RQ3 $\mathcal{F}(\mathbb{B}(n),m)$에서 $1/2$, $1/3$, $2/3$과 같은 핵심 분수의 인접 관계는 다양한 랭크 조건 하에서 어떻게 행동하는가?
• RQ4 행렬 변환 $\begin{bmatrix} -1 & 1 \\ 0 & 1 \end{bmatrix}$는 파레이 부분수열 간의 순서를 반전시키는 일대일 대응를 어떻게 유도하는가?
• RQ5 $\mathcal{G}_n^m$의 카디널리티는 모비우스 함수와 타우 함수의 합으로 표현될 수 있으며, 이는 $\mathcal{F}_n^{n-m}$과 어떻게 관련이 있는가?

주요 결과

• $\mathcal{F}^{\leq 1/2}(\mathbb{B}(n),m)$은 $\mathcal{F}_{n-m}^m$과 순서를 반전시키는 일대일 대응을 하며, 이는 행렬 $\begin{bmatrix} -1 & 1 \\ 0 & 1 \end{bmatrix}$에 의한 사상 $\frac{h}{k} \mapsto \frac{k-h}{k}$를 통해 유도된다.
• $\mathcal{F}^{\geq 1/2}(\mathbb{B}(n),m)$은 $\mathcal{F}_m^{n-m}$과 순서를 반전시키는 일대일 대응을 하며, 동일한 행렬 변환을 사용한다.
• 사상 $\frac{h}{k} \mapsto \frac{2h-k}{3h-k}$는 $\mathcal{F}^{\geq 1/2}(\mathbb{B}(n),m)$에서 $\mathcal{F}^{\leq 1/2}(\mathbb{B}(n),m)$으로의 순서 유지 및 단사성 사상을 제공하며, 행렬 $\begin{bmatrix} 2 & -1 \\ 3 & -1 \end{bmatrix}$에 의해 유도된다.
• $\mathcal{G}_n^m$의 카디널리티는 $1 + \sum_{d \geq 1} \overline{\mu}(d) \cdot \left( \left\lfloor \frac{n}{d} \right\rfloor - \frac{1}{2} \left\lfloor \frac{n-m}{d} \right\rfloor \right) \cdot \left\lfloor \frac{n-m}{d} + 1 \right\rfloor$로 주어지며, 이는 모비우스 함수 및 타우 함수와 연결된다.
• 모든 $m > n/2$ 조건에서 분수 $\frac{n-m-1}{2(n-m)-1}$은 $1/2$ 이전에 오며, $\frac{n-m+1}{2(n-m)+1}$은 $1/2$ 이후에 오며, $n-m$의 기수성 및 크기에 따라 $1/3$ 및 $2/3$에 대한 유사한 이웃 공식이 유도된다.
• $m < n/2$ 조건에서 분수 $\frac{m}{2m+1}$은 $1/2$ 이전에 오며, $\frac{m}{2m-1}$은 $1/2$ 이후에 오며, $m$의 기수성 및 크기에 따라 $1/3$ 및 $2/3$에 대한 유사한 이웃 표현식이 유도된다.