주어진 행렬을 갖는 범주의 존재 조건

초록

본 논문은 유한 범주의 구조를 완전히 기술하는 행렬 M에 대해, 어떤 M이 실제 범주의 동형 사상 수를 나타낼 수 있는지를 판별하는 완전한 기준을 제시한다. 저자는 항등 사상, 합성 가능성, 그리고 사상 수의 비음수 정수성이라는 세 가지 핵심 제약을 정리하고, 이를 만족하는 행렬과 만족하지 못하는 행렬을 명확히 구분한다. 또한, 주어진 M이 범주를 정의할 수 있는지 여부를 결정하는 다항 시간 알고리즘을 제시한다.

상세 분석

논문은 먼저 유한 범주의 객체 집합을 {x₁,…,xₙ}이라 두고, 각 쌍 (xᵢ, xⱼ) 사이의 사상 개수를 aᵢⱼ∈ℕ₀ 로 정의한 n×n 행렬 A=(aᵢⱼ)를 도입한다. 이때 A는 전통적인 ‘인시던스 행렬’과는 달리, 항등 사상이 반드시 존재함을 반영해 대각 원소 aᵢᵢ≥1 로 제한한다. 저자는 A가 실제 범주의 구조를 구현하려면 두 가지 추가적인 산술적 제약이 필요함을 보인다. 첫째, 합성 연산이 정의되기 위해서는 모든 i,j,k에 대해 aᵢⱼ·aⱼₖ ≤ aᵢₖ·mᵢⱼₖ 형태의 부등식이 성립해야 하는데, 여기서 mᵢⱼₖ는 (xᵢ→xⱼ)와 (xⱼ→xₖ) 사이의 가능한 합성 경로 수를 나타내는 비음수 정수이다. 둘째, 항등 사상의 유일성은 각 행과 열의 최소값이 정확히 1이어야 함을 의미한다. 이를 통해 저자는 ‘합성 가능 행렬’이라는 새로운 개념을 정의하고, 이러한 행렬이 만족해야 할 ‘삼각 부등식’과 ‘대각 최소성’ 조건을 정리한다.

다음 단계에서는 이러한 조건이 충분조건이 되는지를 검증한다. 저자는 ‘합성 그래프’라는 보조 구조를 도입해, 행렬 A가 정의하는 다중 유향 그래프에서 모든 2‑step 경로가 1‑step 경로로 ‘압축’될 수 있는지를 확인한다. 이 압축 가능성은 정확히 위에서 제시한 부등식 집합과 동치임을 증명함으로써, A가 범주를 구현할 수 있는 필요·충분조건을 완전히 규정한다.

알고리즘적 측면에서는, 저자는 행렬 A의 각 원소를 순회하면서 위의 부등식을 O(n³) 시간에 검증하는 절차를 제시한다. 또한, 부등식 위반이 발견될 경우 최소한의 수정(예: 특정 원소 감소)으로 범주화가 가능하도록 하는 ‘정규화 과정’도 제안한다. 이 과정은 행렬을 ‘범주 가능 행렬’로 변환하는 다항 시간 변환기를 제공한다는 점에서 실용적 의미가 크다.

마지막으로, 저자는 기존 문헌에서 다루어진 특수 경우—예를 들어, 전이 관계만을 갖는 사전식(poset) 범주나, 군 작용에 의해 생성된 동형 사상 집합—를 이 일반 이론에 귀속시켜, 기존 결과들을 자연스럽게 재현함을 보인다. 따라서 본 논문은 행렬 기반으로 유한 범주의 존재 여부를 판단하는 통합 이론을 제공하며, 범주론, 대수적 컴비네토리학, 그리고 이산 수학 분야에 새로운 도구를 제시한다.