통합 함자 신호 표현 세 번째 기초 중복성 L0와 L2

초록

본 논문은 신호를 범주론적 관점에서 함자(functor)로 모델링하고, 전통적인 L⁰·L² 공간을 범주와 함자 사이의 사상으로 재구성한다. 신호 생성기의 구조를 군오이드(그룹오이드)로 표현해 이들 사이의 동형 사상을 통해 중복성을 정의하고, 차등 부호화가 왜 특정 이미지에서 압축 효율이 높은지를 범주론적으로 설명한다. 또한 측정 이론과 리에즈 공간을 결합해 기존 선형 공간 모델을 특수 경우로 포함한다.

상세 분석

논문은 먼저 신호를 “생성기(Generator)”와 “관측기(Observer)” 사이의 함자 F: C → D 로 설정한다. 여기서 C는 신호의 추상적 구조를 담은 군오이드(모든 사상이 가역인 범주)이며, D는 측정 가능한 공간(Meas) 혹은 그 변형인 Measure, LocMeas 등으로 구성된다. 이 함자는 각 객체 G∈Ob(C)를 구체적인 파형 f_G∈Ob(D) 로 매핑하고, 객체 사이의 전이 a:G→H 를 자연 변환 혹은 사상 F(a): f_G→f_H 로 옮긴다. 중요한 점은 F가 전사적(isomorphism‑preserving)일 때, C 내의 동형 사상이 D에서도 동형으로 보존되어 “중복 신호”를 정의할 수 있다는 것이다. 즉, G₁≅G₂이면 f_{G₁}와 f_{G₂}는 동형 사상 (h, φ) 으로 연결되며, 후자는 차등 부호화에서 차분 연산에 해당한다. 이러한 관점은 전통적인 “레드던던시 = 실제 비트율 대비 이론적 비트율” 정의를 범주론적 상대적 시각으로 확장한다.

다음으로 저자는 L⁰와 L² 공간을 함자적으로 재해석한다. 측정 공간 (X, Σ_X) 에서 L⁰(X) 은 거의 모든 점에서 정의된 실수값 함수들의 동등류이며, 이는 Meas→ 의 객체 f 로서 동시에 Riesz 공간의 원소가 된다. 저자는 L⁰와 L² 를 각각 LocMeas → Riesz 와 LocMeasure → Hilb 라는 공변·반공변 함자로 정의하고, (h, φ) 와 같은 사상이 L² 사이의 선형 연산 T(h, φ)⁻¹ 를 유도함을 보인다. 따라서 신호 전체 f는 L⁰ 혹은 L² 의 코프로덕트(즉, 부분 신호들의 직합) 로 표현되며, 각 부분 신호는 서로 연결된 사상에 의해 변환된다. 이는 전통적인 전역 힐베르트 기저 선택이 아닌, 신호 생성 구조에 맞춘 “맞춤형” 기저 혹은 프레임을 제공한다는 의미다.

논문은 또한 “트리비얼 범주화(trivial categorification)” 개념을 도입한다. 측정 가능한 함수 f는 Meas→ 의 객체일 뿐 아니라, 그 정의역 위의 필드 구조를 이용해 Riesz 공간 L⁰에 속하는 원소이기도 하다. 이렇게 두 이론을 동시에 활용하면, 예를 들어 차등 부호화에서 발생하는 “Δ f = f_J − f_I” 를 L² 사상으로 정확히 기술하고, 그 결과 압축 효율을 정량화할 수 있다. 마지막으로 저자는 실제 시스템에서 발생하는 비가역성(예: 중첩, 잡음) 때문에 함자 F가 완전히 충실하지 않을 수 있음을 인정하고, 부분적으로는 측정 이론을 이용해 이러한 한계를 보완하는 방안을 제시한다.

전체적으로 이 논문은 신호 이론에 범주론적 구조를 도입함으로써, 신호 생성·전달·압축 과정을 보다 구조적으로 이해하고, 기존의 선형 대수적 방법이 놓치던 “동형 관계에 기반한 중복성”을 포착한다는 점에서 학술적·실용적 의의를 가진다.