논문 요약: BALANCED RECTANGLES OVER STURMIAN WORDS AND MINIMAL DISCREPANCY INTERVALS

저자: Ingrid Vukusic
주제: 스투르미안 (Sturmian) 단어에서 형성된 $m \times n$ 직사각형 행렬의 균형 (balance) 성질에 대한 완전한 특성화

---

1. 연구 배경 및 문제 정의

1.1 스투르미안 단어와 균형성 (Balance)

스투르미안 단어는 무리수 기울기 $\alpha$와 절편 $\theta$를 사용하여 정의된 0 과 1 로 이루어진 무한 단어입니다.
$$a_n := \lfloor (n+1)\alpha + \theta \rfloor - \lfloor n\alpha + \theta \rfloor \in \{0, 1\}$$
스투르미안 단어의 가장 기본적인 성질 중 하나는 **균형성 (balancedness)**입니다. 즉, 길이가 같은 두 부분 문자열 (factor) 의 1 의 개수 (가중치) 는 최대 1 까지만 차이가 납니다.

1.2 다차원 균형 문제

Berthé 와 Tijdeman 은 2 차원 이상의 단어에서는 균형성이 주기적인 단어에서만 성립함을 보였습니다. 최근 Anselmo 등 [2] 과 Shallit 및 저자 [8] 는 피보나치 단어 (Fibonacci word) 나 2 차 무리수 기울기를 가진 스투르미안 단어에 대해 특정 직사각형 ($m \times n$) 의 균형성을 연구했습니다.

• 문제: 주어진 무리수 $\alpha$에 대해, $m \times n$ 크기의 직사각형 행렬 (Hankel 행렬의 부분행렬) 이 균형을 이루기 위한 필요충분조건은 무엇인가?
• 한계: 기존 연구는 주로 2 차 무리수 (quadratic irrational) 에 국한되거나, Zeckendorf 표현 (피보나치 수의 합) 을 사용했습니다. 일반적인 무리수 $\alpha$에 대한 완전한 해답은 없었습니다.

1.3 연구 목표

이 논문은 모든 무리수 $\alpha$에 대해 $m \times n$ 직사각형의 균형성을 완전히 특성화 (characterise) 하는 것을 목표로 합니다. 특히, Ostrowski 표현을 사용하여 이를 해결합니다.

---

2. 방법론 (Methodology)

이 연구는 다음과 같은 단계적 접근법을 사용합니다.

2.1 직사각형 균형과 구간 불균형 (Discrepancy) 의 동치성

• 직사각형 $A(i, m, n)$의 가중치 합 $T(i, m, n)$을 분석합니다.
• Theorem 3.1: $m \times n$ 직사각형이 균형을 이루는 것과, 길이 $\{n\alpha\}$인 구간들이 $(\alpha, m)$에 대해 균형 (balanced) 을 이루는 것은 동치입니다.
  • 여기서 "구간이 균형"이라는 것은, $[0, 1)$ 상의 점들 $\{0, \alpha, 2\alpha, \dots, (m-1)\alpha\}$이 임의의 길이 $\{n\alpha\}$ 구간 안에 포함될 때, 그 개수가 $c$ 또는 $c+1$로만 제한되는 것을 의미합니다.
• 이는 최소 불일치 (minimal discrepancy) 개념과 연결됩니다.

2.2 전단사 함수 (Bijective Maps) 를 통한 재정의

• Lemma 4.3 에 따라, 구간 균형성은 특정 함수 $f_{left}$와 $f_{right}$의 **전단사성 (bijectivity)**과 동치임을 보입니다.
  • $f_{left}(\ell)$: 점 $\xi_\ell + \delta$의 왼쪽 가장 가까운 점의 인덱스.
  • $f_{right}(\ell)$: 점 $\xi_\ell + \delta$의 오른쪽 가장 가까운 점의 인덱스.
• 이를 통해 기하학적 균형 문제를 정수론적 함수의 성질 문제로 변환합니다.

2.3 Ostrowski 표현의 활용

• 정수 $m, n$을 $\alpha$에 대한 Ostrowski 표현으로 나타냅니다.
  $$n = \sum_{k=0}^N b_k q_k$$
  (여기서 $q_k$는 $\alpha$의 연분수 수렴분모, $b_k$는 특정 조건을 만족하는 계수)
• Ostrowski 표현의 계수 ($b_k$) 와 수렴분모 ($q_k$) 의 성질을 이용하여, 함수 $f_{left}, f_{right}$가 전단사인지 판별합니다.
• 특히, $n$의 Ostrowski 표현에서 "작은 부분"과 "큰 부분"을 분리하고, $q_T - n$ 형태의 수에 대한 Ostrowski 표현의 구조를 분석하는 Lemma 들 (5.15~5.17) 을 개발했습니다.

---

3. 주요 결과 (Key Results)

3.1 완전한 특성화 정리 (Theorem 2.1)

$\alpha \in (0, 1)$가 무리수이고 $2 \le m \le n$일 때, $m \times n$ 직사각형이 균형을 이루기 위한 필요충분조건은 $m$과 $n$의 Ostrowski 표현이 다음 네 가지 형태 중 적어도 하나에 해당해야 합니다.

1. 분리된 표현 (Split Representations):

   • (i) $m = \sum_{k=0}^M b_k q_k$, $n = \sum_{k=M+1}^N b_k q_k$
   • (ii) $m = \sum_{k=0}^M b_k q_k$ ($b_M \neq 0$), $n = q_M + \sum_{k=M+1+2t}^N b_k q_k$ ($t \ge 0, b_{M+1+2t} \neq 0$)
   • 의미: $m$은 작은 인덱스의 항으로만 구성되고, $n$은 큰 인덱스의 항으로만 구성되거나 특정 구조를 가짐.

2. 수렴분모/준수렴분모 기반 (Convergent/Semi-convergent based):

   • (iii) $m = q_M$, $n = \sum_{k=0}^{M-1} b_k q_k + \sum_{k=M+2t}^N b_k q_k$ ($t \ge 0, b_{M+2t} \neq 0$)
   • (iv) $m = q_{M-1} + a q_M$ ($1 \le a \le a_{M+1}-1$), $n = \sum_{k=0}^{M-1} b_k q_k + \sum_{k=M+1+2t}^N b_k q_k$ ($t \ge 0, b_{M+1+2t} \neq 0$)
   • 의미: $m$이 수렴분모 ($q_M$) 나 준수렴분모 (semi-convergent) 형태일 때, $n$의 큰 계수들이 특정 홀수/짝수 간격 (parity restriction) 을 가져야 함.

3.2 예시

• 피보나치 단어 ($\alpha = (3-\sqrt{5})/2$): $m=2, n=10$인 경우, Ostrowski 표현이 조건 (ii) 를 만족하므로 균형이 성립합니다. 반면 $m=5, n=10$은 조건을 만족하지 않아 균형이 성립하지 않습니다.
• 일반 무리수 ($\alpha = \pi/4$): 위 정리를 적용하여 임의의 $m, n$에 대해 균형 여부를 판단할 수 있습니다.

---

4. 의의 및 기여 (Significance)

1. 일반성 확보: 기존 연구가 2 차 무리수 (quadratic irrational) 나 피보나치 수열에 국한되었던 것과 달리, 모든 무리수 $\alpha$에 대해 균형 문제를 해결했습니다.
2. 이론적 통합:
   • 스투르미안 단어의 균형성 문제를 불일치 이론 (discrepancy theory) 및 **동역학계 (dynamical systems)**의 개념 (bounded remainder sets) 과 깊이 연결했습니다.
   • Ostrowski 표현의 구조적 성질을 사용하여 균형 조건을 명확한 대수적 형태 (4 가지 경우) 로 정리했습니다.
3. 방법론적 혁신:
   • Walnut 소프트웨어를 사용한 자동화 접근법 대신, 디오판토스 근사 (Diophantine approximation) 와 Ostrowski 표현의 정밀한 분석을 통해 이론적 증명을 완성했습니다.
   • 구간 균형성을 전단사 함수의 성질로 변환하는 새로운 관점을 제시했습니다.

5. 결론

이 논문은 스투르미안 단어에서 유도된 2 차원 직사각형 행렬의 균형성을 결정하는 완전한 기준을 제시했습니다. 이 결과는 무리수 $\alpha$의 연분수 전개와 Ostrowski 표현을 통해 $m$과 $n$의 구조적 관계를 명확히 규명함으로써, 조합론적 단어 이론과 수론, 동역학계의 교차점에서 중요한 진전을 이루었습니다. 특히, 2 차 무리수뿐만 아니라 일반적인 무리수까지 범위를 확장했다는 점에서 이론적 중요성이 매우 큽니다.