기술 요약: 유한 $\beta$-전개 시스템에서의 내재적 중복성과 국소적 강건성

1. 문제 정의

현대 디지털 계산은 거의 전적으로 이진 표현법에 의존하고 있으나, 비정수 기수 시스템($\beta$-전개)은 기수, 숫자 알파벳, 그리고 허용 가능한 언어를 독립적으로 선택할 수 있는 더 넓은 설계 공간을 제공한다. 아날로그 $\beta$-인코더 및 기호 역학에 관한 문헌은 비정수 기수(특히 $1 < \beta < 2$)가 의미론적 비유일성(동일한 값을 나타내는 서로 다른 숫자 문자열의 존재)을 보인다는 점을 확립해 왔으나, 유한 디지털 산술에서 이러한 중복성이 갖는 운용적 가치는 여전히 불분명하다.

본 논문은 다음과 같은 구체적이고 좁은 질문을 다룬다: 숫자가 유한한 정형 코드워드로 저장될 때, 내재된 $\beta$-중복성이 어떤 운용적 강건성을 제공하는가? 저자들은 다음을 구분한다:

1. 주변적 의미론적 비유일성: 전체 숫자 문자열 공간에서 단일 값에 대해 여러 문자열이 존재하는 현상.
2. 정형 코드북 허용성: 저장용으로 선택된 엄격한 부분 집합 (예: 황금비 기수에서의 "인접한 1 없음" 규칙).

핵심 과제는 이러한 허용 가능한 언어의 내재적 구조가 외부 오류 제어 메커니즘(패리티 비트나 해밍 코드와 같은) 없이 결함을 감지하거나, 손상된 상태를 복구하거나, 원래의 값을 회복할 수 있는지 결정하는 것이다.

2. 방법론

본 연구는 유한 정밀도 하드웨어를 시뮬레이션하기 위해 제한된 윈도우 계산 모델을 채택한다. 방법론은 두 가지 구별된 운용 파이프라인을 분리한다:

A. 유한 윈도우 모델

• 윈도우: 인덱스 $I_{L,R} = \{-R, \dots, L\}$를 갖는 고정된 정수 폭 $W$가 정의된다.
• 코드북: 유효하게 저장된 단어는 국소적 허용성 제약 조건을 충족해야 한다 (예: $\beta=\phi$의 경우 "11" 금지, 트리보나치의 경우 "111" 금지).
• 경계 효과: 모델은 오버플로(L 너머의 쓰기)와 절단( -R 아래의 쓰기)을 명시적으로 추적하며, 경계에서 정확한 값 보존이 실패할 수 있음을 인정한다.

B. 운용 파이프라인

1. 산술 정형화: 유효한 피연산자들이 자릿수별로 더해져 비정형 중간 상태(예: 2 이상의 숫자 또는 금지된 패턴)를 생성한다. 결정론적인 MSB-first 스케줄러가 국소적 재작성 규칙(예: $\phi$의 경우 $011 \to 100$)을 적용하여 허용성을 복구한다.
2. 손상 복구: 이미 저장된 허용 가능한 코드워드가 단일 자릿수 반전 또는 국소적 버스트 손상에 의해 섭동된다. 시스템은 제한된 윈도우 정규화를 통해 관찰된 상태를 복구하려고 시도한다.

C. 평가 지표

논문은 다음과 같은 계층적 정답성 기준을 정의한다:

• 구조적 감지 가능성: 손상이 허용성 제약을 위반하여 단어를 구문론적으로 무효하게 만드는가?
• 구조적 정확성 (값 보존): 복구 과정이 손상된 단어와 동일한 값을 갖는 허용 가능한 단어를 반환하는가?
• 의미론적 생존: 복구 과정이 손상 전의 원래 값을 회복하는가?
• 비용: 재작성 연산 횟수($\kappa$)와 전파 깊이($\pi$)로 측정된다.

D. 비교 시스템

연구는 다음을 비교한다:

• 이진법 (B): 표준 기수 2, 알파벳 $\{0,1\}$. 중복성이 없는 기준점.
• 부호 NAF (S): 기수 2, 알파벳 $\{-1, 0, 1\}$ 및 비인접 형태(Non-Adjacent Form) 제약 조건. 알파벳 기반 중복성을 나타낸다.
• 황금비 ($\Phi$): 기수 $\phi$, 알파벳 $\{0,1\}$, "11"을 금지함.
• 트리보나치 ($T_3$) & 테트라나치 ($T_4$): 더 긴 금지 패턴("111", "1111")을 갖는 고차 멀티나치 기수.

3. 주요 기여

A. 이론적 결과

1. 단일 자릿수 불가능성 결과: 저자들은 임의의 정형 단사(injective) 유한 코드북에서, 진정한 단일 자릿수 손상은 외부 정보 없이는 의미론적으로 복구될 수 없음을 공식화한다. 단일 자릿수 변화는 수치를 변경하므로, 정형 코드북은 단사적(one-to-one) 매핑(값과 문자열 간)이기 때문에, 손상된 상태의 값을 보존하는 복구는 원래의 값과는 다른 값을 생성하게 된다.
2. 의미론적 생존을 위한 대수적 커널 조건: 의미론적 생존은 오류 벡터가 평가 사상의 대수적 커널에 속할 때만 가능하다 (예: $\phi$에서 $100 \leftrightarrow 011$과 같이 값 보존적 로컬 항등식과 일치하는 경우).
3. 중복성 유형의 구분: 논문은 주변적 의미론적 다중성(무한 공간의 특성)과 정형 허용성(저장된 언어)을 엄격히 구분한다. 저자들은 내재적 중복성이 클래식한 오류 제어 중복성과는 구별되는, 구조적 무결성을 위한 제약된 언어 자원이라고 주장한다.

B. 실험적 발견

1. 구조적 감지 가능성:
   • 이진법은 구조적 감지 가능성이 제로이다 (모든 비트 반전이 유효함).
   • 중복 시스템(NAF, $\Phi, T_3, T_4$)은 양(+)의 비율로 결함을 감지한다.
   • 트레이드오프: 엄격한 언어($\Phi$ 등)는 밀도가 높은 언어($T_4$ 등)보다 단일 자릿수 결함에 대한 감지력은 높지만, 저장 용량(희소성) 측면에서는 손해를 본다.
2. 복구 비용 vs 정확성:
   • 부호 NAF는 가장 높은 산술적 정확성을 달성하지만, 높은 계산 비용(전역 재코딩)을 요구한다.
   • **국소 재작성 시스템 ($\Phi, T_3, T_4$)**은 매우 낮은 복구 비용(단일 자릿수 결함에 대해 평균적으로 1회 미만의 연산)을 갖지만, 경계 절단으로 인해 산술적 정확성은 낮다.
3. 의미론적 생존:
   • 단일 자릿수: 모든 시스템에서 생존율이 0이다 (불가능성 결과를 확인).
   • 버스트 손상: 중복 시스템에서 작지만 0이 아닌 생존율을 보인다. 이는 대수적 항등식과 엄격히 일치한다. 예를 들어, $\Phi$에서 $100 \to 011$에 해당하는 버스트는 생존하지만, 무작위 버스트는 그렇지 않다.
4. 경계 효과: 하한 절단은 비정수 기수의 주요 오류 원인이다. **가드 자릿수(guard digits)**를 추가하면 절단은 효과적으로 억제할 수 있으나, 상한 오버플로는 해결하지 못한다.

C. 결과 요약

실험은 윈도우 폭 $W=24$에서 시스템 간의 트레이드오프를 정량화한다:

• 감지 가능성: 부호 NAF (0.489) > $\Phi$ (0.431) > $T_3$ (0.223) > $T_4$ (0.119).
• 복구 비용: 부호 NAF (23.03 ops) >> $\Phi$ (0.66 ops) > $T_3$ (0.26 ops) > $T_4$ (0.13 ops).
• 의미론적 생존 (버스트): 부호 NAF (2.3%) > $\Phi$ (1.8%) > $T_3$ (0.3%) > $T_4$ (0.1%).
• 산술적 정확성: 부호 NAF (75.3%) > 이진법 (49.2%) > $\Phi$ (32.3%) > $T_3$ (7.4%) > $T_4$ (1.7%).

데이터는 **$\Phi$ (황금비)**가 유리한 균형을 제공함을 보여준다: 이는 상당한 수준의 구조적 결함 가시성과 매우 낮은 국소 복구 비용을 제공하지만, 부호 NAF에 비해 경계 절단으로 인한 산술적 정확성이 낮다는 단점이 있다.

4. 의의 및 주장

논문은 내재적 $\beta$-중복성의 역할에 대해 겸허하지만 정밀한 주장을 하며 결론을 맺는다:

• 일반적인 오류 정정 코드가 아님: 내재적 $\beta$-중복성은 임의의 단일 자릿수 손상을 복구할 수 있는 클래식한 오류 정정 코드로서 기능하지 않는다. "불가능성 결과"는 외부 정보 없이는 원래의 값을 재구성할 수 없다는 엄격한 이론적 한계를 설정한다.
• 제약된 언어 자원: 대신, 내재적 중복성은 구조적 결함 가시성과 **값 보존적 재허용화(re-admissibilization)**를 위한 메커니즘 역할을 한다. 이는 시스템이 저장된 단어가 유효한 언어를 벗어났음을 감지하고, 이를 관측된(손상된) 값을 보존하는 유효한 상태로 복구할 수 있게 한다.
• 선택적 의미론적 생존: 진정한 원래 값의 회복(의미론적 생존)은 시스템의 국소 재작성 항등식과 일치하는 특정 대수적 정렬된 다자릿수(버스트) 섭동에 대해서만 가능하다.
• 아키텍처적 함의: 본 연구는 $\beta$-전개가 구조적 위반을 감지하고 산술 중간값을 낮은 국소 오버헤드로 정규화하는 "네이티브" 메커니즘을 제공할 수 있음을 시사하지만, 경계 손실과 일반적인 오류 수정을 처리하기 위해서는 가드 자릿수나 외부 체크와 같은 다른 메커니즘과 결합되어야 한다.

저자들은 이 작업이 아날로그 인코딩이나 외부 오류 제어 코드의 광범위한 맥락에서 벗어나, 저장된 허용 가능한 언어 자체의 특성을 고립시켜 분석함으로써, 유한 디지털 시스템에서 내재적 중복성의 한계를 이해하기 위한 엄격한 기준을 제공한다고 강조한다.