다중값 함수의 다대일 감소와 범주론적 구조

초록

다중값 함수에 대한 다대일 감소를 범주론적으로 정형화하고, 이를 통해 얻어지는 차수 구조가 어떠한 구체적 감소 개념에도 불구하고 분배 격자를 이룸을 보인다. 주요 결과는 Mult 범주와 p‑카테고리, 그리고 그 위에 정의된 ‘쉽다’ 전순서를 이용해 일반적인 다대일 감소와 그 차수들의 Kleene 대수를 구축하는 것이다. 논문은 계산가능성, 다항시간, Weihrauch, 파라미터화 검색 등 다양한 사례에 적용한다.

상세 분석

이 논문은 다중값 함수(multivalued function)를 단순히 관계로 보는 것을 넘어, 전통적인 함수와는 다른 범주적 성질을 갖는 객체로 취급한다. 먼저 저자는 Mult라는 범주를 정의한다. 여기서 객체는 집합이고, 사상은 부분관계 f ⊆ A×B이며, 합성은 “입력값 a에 대해 f(a)⊆dom(g)이고, f(a)의 어떤 원소 b에 대해 c∈g(b)인 경우에만 (g∘f)(a) 에 c가 들어간다”는 규칙을 따른다. 이 합성은 관계 합성과 달리 전제조건을 포함하므로, Mult는 Rel과 달리 자기‑대칭(self‑dual)하지 않으며, 이는 차수 구조가 비대칭적일 수 있음을 시사한다.

다음으로 저자는 p‑카테고리와 그 위에 정의된 부분곱(product)·×·, 대각선·Δ·, 사영·π· 등을 이용해 ‘도메인’과 ‘제한’ 개념을 범주론적으로 형식화한다. 특히 dom(f) = π₁∘(id×f)∘Δ 로 정의된 부분동형은 f가 실제 정의된 입력 부분을 나타내며, 이 구조를 통해 “쉽다(easier‑than)” 전순서 ⊑ 를 정의한다. f ⊑ g ⇔ dom(f)⊆dom(g) ∧ g|dom(f)⊆f 로, 이는 문제 인스턴스와 해답 사이의 포함 관계를 정확히 포착한다. 중요한 점은 ⊑가 합성·곱·무한합(inf)와 호환되어, Hom‑집합이 완전한 격자 구조를 이룬다.

이러한 전제 하에 저자는 일반적인 ‘many‑one reduction’ 을 정의한다. 구체적으로, f ≤ₘ g iff ∃ computable(또는 지정된 복잡도 제한) 함수 h,k such that f = k ∘ g ∘ h 그리고 h, k 가 각각 입력·출력 변환을 담당한다. 여기서 ‘computable’은 연구자가 선택한 구체적 모델(예: Turing‑계산, 다항시간, 연속성 등)에 따라 달라진다. 이 정의는 기존의 Cook‑type, Karp‑type, Weihrauch‑type 감소를 모두 포괄한다.

주요 정리 중 하나는 이러한 감소에 의해 형성되는 차수 집합이 언제나 분배 격자(distributive lattice)임을 보이는 정리이다. 증명은 ⊑ 전순서가 완전 격자를 이루고, 합성·곱·무한합이 격자 연산과 호환된다는 사실을 이용한다. 또한 차수들 위에 곱·합·별표(*) 연산을 정의해 Kleene 대수 구조를 만든다. 이는 기존의 Weihrauch 격자에서 보였던 연산과 일치하지만, 여기서는 보다 일반적인 카테고리적 가정만으로 성립한다.

논문은 6개의 구체적 사례를 제시한다. (1) Type‑1 computable many‑one 감소, (2) 다항시간 many‑one 감소, (3) 집합 사이의 전통적 many‑one 감소, (4) Weihrauch 감소 (Type‑2), (5) 파라미터화 검색 문제, (6) Medvedev 감소. 각각의 경우에 대해 위의 일반 프레임워크가 어떻게 적용되는지를 보여주며, 특히 PPAD·PLS와 같은 복잡도 클래스의 차수 구조가 분배 격자를 이룸을 설명한다. 이는 기존에 PPAD∩PLS가 완전 문제를 가졌다는 결과를 범주론적 관점에서 자연스럽게 설명한다.

마지막으로 저자는 여러 개방문제를 제시한다. 예를 들어, 다중값 함수의 자기‑대칭성 부재가 어떤 차수 간의 비교 가능성에 어떤 제약을 주는가, 혹은 특정 카테고리에서 추가적인 연산(예: 역함수, 고정점 연산)이 존재할 경우 차수 격자의 성질이 어떻게 변하는가 등이 있다. 이러한 질문들은 범주론과 계산 복잡도 이론 사이의 새로운 연결 고리를 탐구할 여지를 남긴다.