The equality cases $P_t(\mathbb{N})=\tfrac12$ for the deconvolved sum-of-digits measures

기술 요약: 디콘볼루션된 자릿수 합 측도의 중앙값 성질에 대한 등호 사례

문제 정의
본 논문은 이진 자릿수 합 함수 $s(n)$과 관련된 측도 $P_t$의 "포화 문제(saturation problem)"를 다룬다. 여기서 $s(n)$은 정수 $n$의 이진 전개에 포함된 1의 개수를 나타낸다. 차이 $s(n+t) - s(n)$의 레벨 세트(level sets)에 대한 점근적 밀도는 $\mathbb{Z}$ 상의 확률 측도 $\mu_t$를 정의한다. 이 측도들은 $\mu_t = \mu_1 * P_t$라는 재귀 관계를 만족하며, 여기서 $P_t$는 유한 지지(finitely supported) 측도들의 가족이다.

본 논문의 핵심 과제는 $P_t(\mathbb{N}) = 1/2$인 경우, 즉 중앙값 성질이 등호로 성립하는 홀수 정수 $t$의 집합을 규명하는 것이다. Cusick의 추측은 모든 $t \in \mathbb{N}$에 대해 $\mu_t(\mathbb{N}) > 1/2$임을 상정하고 있으며, 최근 Cheng(2026)의 연구는 0으로 시작하는 단어(words)에 대해 엄격한 하한을 가지는 $P_t(\mathbb{N}) \geq 1/2$를 입증하였다. 그러나 등호 $P_t(\mathbb{N}) = 1/2$가 발생하는 정확한 조건은 미해결 상태로 남아 있었다. 기존의 분석은 수치적이었거나 일반적인 조합론적 특성 없이 유한한 사례 검증에 의존했다.

방법론
본 논문은 $P_t$ 측도를 재귀적으로 성장하는 이진 트리 $T_t$ 상의 정지된 랜덤 워크(stopped random walks)와 연결하는 조합론적 프레임워크를 채택한다.

1. 트리 표현: $P_t$ 가족은 트리 $T_w$ (여기서 $w$는 $t$와 연관된 이진 단어)의 내부 노드들로부터의 첫 번째 탈출 시간(first exit time)에서 정지되는 단순 랜덤 워크의 확률 분포로 식별된다.
2. 부분 단어 순서(Subword Order): Cheng(2026)이 제공한 이러한 트리들의 조합론적 기술을 활용하여, $T_w$의 내부 노드들은 역순 단어 $\overleftarrow{w}$의 산재된 부분 단어(scattered subwords) 집합과 동일시된다. 정지 시간 $\tau_w$는 랜덤 워크 경로가 $\overleftarrow{w}$의 부분 단어가 아니게 되는 첫 번째 시점에 해당한다.
3. 질량 분석: $P_w(\mathbb{N})$은 특정 부분 단어의 개수를 포함하는 합으로 표현된다. 구체적으로, $1/2$로부터의 편차는 $\Delta^-_m(w) = 2|B^{-1}_{2m-1}(w)| - |B^0_{2m}(w)|$라는 양량에 의해 결정된다. 여기서 $B^x_n(w)$는 길이가 $n$이고 균형(balance)이 $x$인 $w$의 부분 단어 집합을 나타낸다.
4. 삽입 로직: 본 논문은 "결핍된(deficient)" 단어들을 조사함으로써 $\Delta^-_m(w) = 0$ 조건을 분석한다. 본 논문은 $P_w(\mathbb{N}) = 1/2$일 필요충분조건이, $\ell_0(v) = \ell_1(v) + 1$을 만족하는 모든 부분 단어 $v \subseteq \overleftarrow{w}$에 대하여, $v$의 임의의 위치에 '1'을 삽입했을 때 생성되는 단어가 여전히 $\overleftarrow{w}$의 부분 단어가 되는 것임을 입증한다.

주요 기여 및 결과
주요 결과는 $t = (1w1)_2$에 연관된 이진 단어 $w$의 구조에 기반한 등호 사례 $P_t(\mathbb{N}) = 1/2$에 대한 완전한 규명이다.

• 포화 단어(Saturated Words)의 정의: $k$개의 0을 가진 단어 $w$가 블록 분해 $w = 1^{a_0}0 1^{a_1}0 \dots 0 1^{a_k}$를 가질 때, 모든 1의 블록이 $a_i \geq k$를 만족하면 이 단어를 **포화(saturated)**되었다고 정의한다. 동등하게, 모든 0은 고립되어 있으며, (처음과 끝을 포함한) 모든 극대 1 블록의 길이는 단어 내 전체 0의 개수보다 크거나 같다.
• 주 정리 (Theorem 1.2): 홀수 정수 $t = (1w1)_2$에 대하여, 등호 $P_t(\mathbb{N}) = 1/2$가 성립할 필요충분조건은 $w$가 포화되었다는 것이다.
• 하한 확장 (Corollary 6.3): 비포화(non-saturated) 단어 $w$에 대하여, 본 논문은 다음과 같은 엄격한 하한을 증명한다:
  $$P_w(\mathbb{N}) \geq \frac{1}{2} + 2^{-2 \min(\ell_0(w), \ell_1(w)+1) - 1}$$
  이는 0으로 시작하는 단어에 대해 Cheng이 설정했던 이전의 경계 조건을 모든 비포화 단어로 확장한 것이다.
• 계수 구조: 본 논문은 길이가 $\ell$인 포화 단어의 개수 $E(\ell)$를 나타내는 공식을 제공하며, 등호 조건을 만족하는 정수 $t$의 점근적 밀도가 0임을 명시한다.

의의
본 연구는 Cheng(2026)이 남긴 미해결 과제인 포화 문제를 해결하고, $P_t(\mathbb{N}) = 1/2$의 등호 사례에 대한 정확한 조합론적 조건을 제공한다. $P_t(\mathbb{N}) = 1/2$를 밑바탕 단어의 "포화" 성질과 연결함으로써, 본 논문은 트리 비대칭성이 소멸하기 위한 구조적 요구 사항을 명확히 한다. 이 결과는 Cusick의 추측과 직접적으로 관련되는데, 이는 디콘볼루션된 측도 $P_t$에서 엄격한 부등식 $\mu_t(\mathbb{N}) > 1/2$이 성립하지 않을 수 있는 특정한 (그리고 희소한) 매개변수 집합을 구분해 줌으로써, 자릿수 합 차이의 분포에 대한 이해를 정교화한다. 본 논문은 새로운 응용이나 향후 실험적 방향을 제안하기보다는, 주어진 미해결 문제에 대한 완전한 이론적 해법을 제시하는 데 집중한다.