균형 단어 최적화와 그 다양한 수학·물리 응용

초록

이 논문은 0‑1 단어·열에서 최적화 문제를 다룰 때 균형 단어(특히 Sturmian 열)가 최적해가 되는 여러 사례를 정리한다. 멀티모듈러 함수와 대기열 모델, 순환 순열에 의한 곱, 측도 최적화, 테트리스 힙, 그리고 행렬 집합의 결합 스펙트럼 반경 등 다섯 개 주요 분야에서 균형·Sturmian 구조가 어떻게 나타나는지를 정리하고, 특히 “유한성 추측”에 대한 반례를 제시한다.

상세 분석

논문은 먼저 균형 단어와 Sturmian 열의 기본 정의를 상기한다. 길이 n인 부분단어 u, v에 대해 1‑길이 차이가 1 이하인 경우를 균형이라 하고, 비주기적 무한 균형열을 Sturmian이라 부른다. Sturmian 열은 복잡도 함수 p_w(n)=n+1을 만족하고, 1‑비율 γ를 갖는 경우 식 (1) w_n=⌊(n+1)γ+δ⌋−⌊nγ+δ⌋ 로 생성될 수 있다.

1. 멀티모듈러 함수와 대기열
벡터 집합 F={f_0,…,f_m}을 정의하고, J:ℤ^m→ℝ이 “멀티모듈러”라면 J(u+v)+J(u+w)≥J(u)+J(u+v+w) (v≠w∈F) 를 만족한다. 정리 1에 따르면, J의 볼록 포락선 𝔍에 대해 임의의 0‑1 무한열 x의 평균값 lim inf (1/n)∑{k=1}^n J(x_k,…,x{k+m-1}) ≥ 𝔍(b_γ)이며, x가 (1)식으로 생성된 Sturmian 열이면 등호가 성립한다. 이를 고객 도착이 포아송 과정인 대기열에 적용하면, 고객을 γ 비율로 분할할 때 장기 평균 대기열 길이가 최소가 되는 스케줄이 바로 Sturmian 열임을 보인다.

2. 순환 순열에 의한 곱
길이 m인 0‑1 단어 w에 대해 b(w)=∑{k=1}^m w_k 2^{m-k} 로 2진값을 정의하고, B(w)=∏{i=1}^m b(w^{(i)}) (w^{(i)}는 순환 순열) 로 곱을 만든다. 정리 2는 p와 q가 서로소이고 |w|=q, |w|_1=p인 경우, B(w)가 최대가 되는 것은 정확히 균형 단어임을 증명한다. 예시(p=2,q=5)에서 균형 단어 10100이 비균형 11000보다 B값이 크게 차이 나는 것을 보여준다.

3. 측도 최적화
T(x)=2x mod 1 의 회전 시스템에서, γ‑비율을 갖는 Sturmian 측도 S_γ를 정의한다. 정리 3은 주어진 회전수 γ에 대해 (M_γ,≺) 부분 순서에서 최소 원소가 존재하며, 그것이 바로 S_γ임을 보인다. S_γ는 ϕ_γ(x)=∑{n≥0} χ{