계급 1 시스템의 시퀀스 엔트로피와 성장 임계값

초록

본 논문은 계급 1 측정 보존 시스템에서 서브지수적 시퀀스 A에 대한 엔트로피 h_A(T)를 조사한다. 높이 h_n의 성장 속도가 일정 임계값 이하이면 h_A(T)=0이 되지만, 높이가 충분히 빠르게 성장하면 h_A(T) 를 무한대로 만들 수 있음을 보인다. 또한 다항식 시퀀스에 대한 유연성 결과를 제시한다.

상세 분석

논문은 먼저 순열 A={t_n}이 무한히 멀어지는(즉, t_{n+1}-t_n→∞) 경우, Ornstein의 확률적 cut‑and‑stack 기법을 이용해 계급 1 시스템을 무작위로 구성함으로써 h_A(T)=+∞를 얻을 수 있음을 증명한다. 이때 핵심은 각 타워 단계에서 스페이서(0)와 레벨(1)을 독립적인 베르누이 변수로 선택해, A‑오비트가 충분히 희소하게 나타나도록 하는 확률적 하한을 확보하는 것이다.

다음으로 저자는 서브지수적이지만 초선형인 시퀀스 A에 대해, 타워 높이 h_n의 로그 비율이 유계(즉, lim sup log h_{n+1}/log h_n<∞)이면 모든 계급 1 시스템에서 h_A(T)=0임을 보인다. 이는 타워 높이가 너무 천천히 증가하면 A‑오비트가 충분히 많은 정보를 담을 수 없다는 combinatorial counting argument에 기반한다.

특히, A가 다항식 형태 t_n≈n^α (α>1) 혹은 t_n≈C n (log n)^α (α>0)인 경우, β∈(0,1/(α−1)) 혹은 β∈(0,1/α)에 대해 lim sup log h_{n+1}/h_n^β<∞이면 h_A(T)=0임을 구체적인 불등식으로 제시한다. 이 경계는 Theorem 1.7에서 β와 α 사이의 관계가 역전될 때, 즉 α≥1+1/β 혹은 α≥1/β인 경우에 한해 h_A(T)>0가 가능함을 보여주며, 이는 성장률 임계값이 정확히 맞춰졌을 때만 비자명한 시퀀스 엔트로피가 발생한다는 점을 강조한다.

마지막으로 다항식 시퀀스 t_n=⌊n^α⌋에 대해 α=1+1/β인 임계 상황을 상세히 분석한다. 여기서 저자는 임의의 양의 실수 m에 대해 0<h_A(T)<m을 만족하는 계급 1 시스템을 구성할 수 있음을 보이며, 또한 정수 L≥2에 대해 C₁ log L ≤ h_A(T) ≤ C₂ log L (C₁=β^{1+β}, C₂=(2β)^{1/(1+β)})인 시스템을 만들 수 있음을 제시한다. 이는 β가 커질수록 상하계수가 1에 수렴함을 의미하며, 초선형 시퀀스에 대한 완전한 유연성 결과에 가까운 근사적 증거를 제공한다. 전체적으로 논문은 계급 1 시스템의 타워 구조와 시퀀스 성장률 사이의 미세한 상관관계를 정량화하고, 확률적 방법과 조합론적 추정 두 축을 통해 시퀀스 엔트로피의 존재와 소멸 조건을 명확히 구분한다.