기술 요약: 구조 이론에서의 결정론적 변환 (Determinization in Structure Theories)

1. 문제 정의

본 논문은 특히 LLM(대규모 언어 모델) 보조 추론 및 의사결정 시스템의 실패에서 동기 부여된, 복수 구조 이론(plural structure theories) 내의 정준화(canonicalization) 문제를 다룬다. 이러한 시스템에서 언어 모델은 후보 해석을 제안하고, 기호적 구조 이론은 허용 가능한 해석 집합을 정의한다.

핵심 문제는 **환각(hallucination)**이며, 여기서 환각은 "지지되지 않은 정준화(unsupported canonicalization)"로 정의된다. 즉, 근본적인 허용 가능한 해석 집합이 단일 원소(singleton)로 붕괴하지 않았음에도 불구하고 시스템이 결정적인 답을 출력하는 현상을 의미한다. 본 논문은 다음과 같은 질문을 던진다: 구조 이론이 유일한 해석을 출력할 수 있는 구조적 조건은 무엇인가?

대부분의 시장 구조 프레임워크(그리고 확장된 의미에서 많은 형식적 이론들)는 비결정론적이며, 동일한 위치에 여러 개의 유효한 해석이 공존할 수 있도록 허용한다. 본 논문은 정준적 읽기(canonical reading)가 구축될 수 있는 충분한 구조적 조건을 공식화하고, 이것이 발생하는 메커니즘을 분류하고자 한다.

2. 방법론 및 프레임워크

2.1 구조 이론 (Structure Theories)

저자는 구조 이론을 다음과 같은 삼조(triple) $T = (\Sigma, A, I)$로 공식화한다:

• $\Sigma$는 시그니처(signature).
• $A$는 공리(axioms)의 집합.
• $I = I_{core} \cup I_{ext}$는 추론 정책(inference policy)이다 (본 논문은 $I_{core}$에 집중한다).

이 이론은 시장 실현(market realizations), 파라미터, 구조적 증거를 나타내는 입력 $(N, \Theta, \Pi)$에 대해 작동한다. 허용 가능한 해석 패밀리(admissible interpretation family) $P_T$는 공리 $A$와 추론 정책에 일치하는 모든 할당(assignment)의 집합이다.

$I_{core}$에 대한 제약 조건:
추론 정책은 긍정적이고 비철회적인(non-retractive) 추론으로 제한된다:

• (R1) 긍정적 규칙 형태 (Positive Rule Form): 규칙은 결론을 추가하기만 하며, 제거하지 않는다.
• (R2) 부정-부재(Negation-as-Failure) 배제: 전제는 긍정적 결합(conjunction)이며, 유도된 술어의 부재에 의존하는 규칙은 없다.
• (R3) 철회 없음 (No Retraction): 이전에 유도된 결론을 철회하는 규칙은 없다.

2.2 비결정론의 분류 (Taxonomy of Non-Determinism)

본 논문은 증거 정교화(evidence refinement)에 따라 복수성이 어떻게 행동하는지에 따라 비결정론을 두 가지 유형으로 분류한다:

• Type E (인식적 복수성 - Epistemic Plurality): 증거가 정교해짐에 따라 복수성이 사라진다. 만약 $|P_T| > 1$이라면, 정교화된 증거 집합 $\Pi'$가 존재하여 $|P_T(\Pi')| = 1$이 된다. (예: ICT 이론).
• Type S (구조적 복수성 - Structural Plurality): 최대 증거($\Pi_{full}$) 상태에서도 복수성이 지속된다.
  • Type S-strong: 최대 증거 상태에서의 서로 다른 허용 가능한 해석들이 명세 순서(specification order) $\preceq_{spec}$ 하에서 공통 상계(common upper bound)를 갖지 않는 Type S의 하위 클래스이다. (예: Wyckoff 이론).

2.3 정준화 강도 (Canonicalization Strengths)

프레임워크는 세 가지 수준의 정준화를 구분한다:

1. 폐쇄 안정화 (Closure Stabilization, Property 4'): 모든 허용 가능한 시드(seed)가 연산자 하에서 어떤 고정점(fixed point)으로 수렴한다 (시드에 의존적).
2. 전역 완결성 (Global Completion, Property 4): 모든 시드가 단 하나의 유일한 고정점으로 수렴한다.
3. 결정론적 변환 (Determinization, AC-6): 유일한 고정점이 유일한 허용 가능한 해석이다.

3. 주요 기여 및 결과

3.1 정준화를 위한 이중 메커니즘

본 논문은 정준화가 단일한 연산자 이론적 과정이 아니라, 근본적으로 다른 두 가지 형태의 분리로 이루어져 있음을 입증한다:

• 연산자 기반 완결 (Operator-Based Completion, Type E):

  • Type E 이론에 적용 가능하다.
  • 고정점에 도달할 때까지 결론을 반복적으로 추가하는 완결 연산자($D_{comp}$)를 사용한다.
  • 필요 조건: 폐쇄성(Closure), 비교 가능성(comparability, N4-comp), 그리고 호환 가능한 확장(compatible extension, C5-E).
  • 결과: **폐쇄 안정화(4')**를 확립한다. 전역 완결(4) 또는 AC-6를 달성하려면 추가적인 전역 합류(confluence) 결과가 필요하다 (ICT에 대한 미해결 과제 OQ-GC-1).

• 선택기 기반 구축 (Selector-Based Construction, Type S-strong):

  • Type S-strong 이론에 적용 가능하다.
  • 이론 내부의 순서에 기초하여 로컬 집합에서 유일한 원소를 뽑아내는 정준 선택기($\phi$)를 사용한다.
  • 필요 조건: 이론 내부의 비교 가능성(theory-intrinsic comparability, N4-sel) 및 선택된 선택들의 전역적 호환성(global compatibility of selected choices, C5-S).
  • 결가: 직접적으로 AC-6를 달성한다.
  • 불가능성 결과: Type S-strong 이론의 경우, 확장적 연산자(extensive operator)를 통한 전역 완결(Property 4)은 비교 불가능한 해석들이 공통 상계를 갖지 않기 때문에 증명 가능한 불가능성을 가진다.

3.2 구성 렘마 (Construction Lemma, Theorem 6b)

본 논문은 이러한 메커니즘의 존재를 확립하는 충분 조건을 제공하는 구성 렘마를 제시한다:

• 완결 브랜치 (Completion Branch): $N0 + N3 + N4\text{-comp} + C5\text{-E} \implies D_{comp}$가 강도 (4')에서 존재한다.
• 선택 브랜치 (Selection Branch): $N0 + N1 + N4\text{-sel} + C5\text{-S} \implies PhaseClassify$가 AC-6에서 존재한다.

핵-결과로서, **이론 내부의 비교 가능성(N4)**이 필수적이라는 점을 밝힌다. 최소 반례($T_{ce}$)는 폐쇄성(closure)만으로는(비교 가능성 없이) 정준화에 불충분함을 보여준다.

3.3 메커니즘의 분류 (Theorem U3)

실현 범위 가정(realization-coverage assumption, OQ-Realization) 하에, 본 논문은 특정 문법 내에서 구현된 모든 이론 내부 메커니즘을 다음과 같이 분류한다:

• Class C (완결 - Completion): 기초 규칙의 포화된 폐쇄(saturated closure, 3a) 또는 가드된 포화된 폐쇄(guarded saturated closure, 3c)를 통해 구현된다. 이들은 성질 (1)–(4')을 만족한다.
• Class S (선택 - Selection): 공리에 의해 유도된 선택(3b)을 통해 구현된다.

단조성(Monotonicity)에 관한 핵심 차이:

• 순수 $I_{core}$-계산 가능한 메커니즘(Class C, 3a)은 명세 순서($\preceq_{spec}$) 하에서 **단조적(monotone)**이다 (Lemma C).
• 가드된 메커니즘(Class C, 3c)은 **일반적으로 비단조적(generically non-monotone)**이다. 술어를 추가하면 가드를 활성화하여 유도를 억제할 수 있으며, 이는 더 작은 상태에서는 실행되었을 결론을 차단할 수 있다. 본 논문은 단조성이 실패하는 구체적인 사례($D_{comp}^{HTF}$)를 제시한다.

3.4 멀티 타임프레임 및 단계적 연산자 (Multi-Timeframe and Staged Operators)

본 논문은 단계적 연산자 $D_{comp}^{HTF} = D_L \circ D_H$를 사용하여 멀티 타임프레임 계층 구조로 프레임워크를 확장한다.

• 비가환성 (Non-Commutativity): 본 논문은 단계적 완결이 구조적으로 비가환적임을 증명한다. 구체적으로, 원시 2-연산자 아키텍처(raw two-operator architecture)의 경우, $D_H$ (HTF)를 먼저 적용한 후 $D_L$ (LTF)을 적용하는 순서인 $D_L \circ D_H$만이 허용 가능성을 보존하는 선형화(linearization)이다. 역순은 허용 불가능한 상태를 생성할 수 있다.
• Phase 2 (다중 연산자): 본 논문은 다중 연산자 정준화를 위한 존재 조건을 요약하며, "안전 간격(safety gap)" $\Phi^*$를 정의한다. 실현 가능성은 $\Phi^* = 0$인 것과 동치이다. 또한 호환성 조건의 계층 구조($GCC \implies RUCS \implies PLCS$)를 확립한다.

3.5 범주적 구조 (Categorical Structure)

본 논문은 **결정론적 변환(Determinization)**을 이론 쌍과 비교 구조를 매핑하는 부분 의사함자(partial pseudofunctor, $Det$)로 정의한다. 이는 재귀적 이론(예: 엘리어트 파동)을 위한 범주적 템플릿을 제공한다.

4. 의의 및 주장

본 논문은 다음과 같이 구분하여, 구조 이론이 언제 어떻게 결정론적으로 만들어질 수 있는지 이해하기 위한 통합된 프레임워크를 제공한다고 주장한다:

1. 인식적 불확실성 (Epistemic uncertainty): 증거 축적(완결)을 통해 해결 가능하다.
2. 구조적 비교 불가능성 (Structural incomparability): 선택 메커니즘이 필요하다.

제한적 주장 및 미해결 과제:

• 본 논문은 ICT(Type E)가 AC-6 결정론적 변환을 달성함을 입증하는 것이 아니라, 오직 **폐쇄 안정화(4')**만을 확립한다. ICT에 대한 전역 완결은 여전히 미해결 과제(OQ-GC-1)로 남아 있다.
• 메커니즘의 분류(Theorem U3)는 모든 이론 내부 연산이 (3a)/(3b)/(3c) 문법 내에 있다는 가정(OQ-Realization)에 조건부적이다.
• "Type S $\to$ Selection" 추론은 Type S-strong 이론에 대해서만 증명되었다. 일반적인 Type S의 경우는 여전히 열려 있다 (OQ-TypeS-Imp).
• 비가환성 결과는 특정 "두 연산자 원시 단계적 아키텍처"에 국한된다. 수정 연산자(repair operators)나 결합 고정점(joint fixed-points)을 가진 다른 아키텍처는 제외된다.

결론:
주요 기여는 **폐쇄 기반(closure-based)**과 선택 기반(selection-based) 정준화의 형식적 분리, 가드된 시스템에서의 비단조성(non-monotonicity) 식별, 그리고 유일한 출력을 허가하는 데 필요한 구조적 조건(N4, C5)의 엄격한 정의이다. 이 프레임워크는 LLM 보조 시스템에서 "환각"을, 근본적인 허용 가능한 집합이 단일 원소로 붕괴하지 않았을 때 결정적인 답을 내놓는 현상으로 진단할 수 있는 형식적 근거를 제공한다.