변수 전치 연산의 복잡성 및 다항동등대수의 비가산성

초록

본 논문은 유한 변수 1차 논리의 공식 대수 F에 변수 전치 연산 pₓᵧ를 도입했을 때, 그 연산을 포함한 모든 등식 이론은 어떤 유한한 변수 집합만을 사용한 유한한 공리계로는 완전히 기술될 수 없음을 증명한다. 특히 차원 α≥3인 대표 가능한 다항동등대수 PSE_α는 대표 가능한 원통대수 Cs_α 위에 전치 연산을 추가함으로써 유한히 많은 등식만으로는 정의될 수 없으며, 이를 위해 n‑생성 부분대수가 모두 대표 가능하지만 전체 대수는 비대표인 일련의 구조 Aₙ을 구성한다. 결과는 Johnson의 1969년 문제에 대한 부정적 답을 제공하고, 전치 연산, 원통화 연산, 대각선 상수 모두가 동시에 무한히 많은 변수와 함께 등장해야 함을 보인다.

상세 분석

논문은 먼저 유한 변수 논리의 공식 대수 Fₘ을 정의하고, 변수 전치 연산 p_{ij}를 포함한 확장 Fₘ⁺를 소개한다. 기본 연산인 합·보완·존재량화 c_i·동치 d_{ij}와 전치 연산 사이의 기본 등식 (P1)–(P7)을 제시하고, 이들만으로는 Fₘ⁺의 모든 구문적 진리를 포착하지 못함을 보인다. 특히 의미론적 동등성 ≡에 대한 몫 대수 Fₘ⁺/≡에서 (P8)과 같은 추가 등식이 필요함을 예시한다. Johnson과 Monk의 기존 결과를 재조명하면서, 전치 연산만을 추가했을 때도 등식 이론이 유한히 axiomatizable 하지 않다는 문제(C)를 제기한다.

핵심 정리는 “모든 등식 공리계는 임의의 자연수 n에 대해 n개의 서로 다른 대수 변수와 전치, 원통, 대각선 연산을 모두 포함하는 등식을 반드시 포함한다”는 것이다. 이를 증명하기 위해 저자들은 다음과 같은 전략을 사용한다. 차원 α≥3인 경우, 각 소수 p에 대해 다항동등대수형(algebraic) 구조 A_p를 구성한다. A_p는 전치 연산 P_{01}만을 이용해 비대표성을 보이지만, 충분히 큰 p에 대해 n‑생성 부분대수는 모두 대표 가능한 다항동등대수 집합 PSE_α에 동형이다. 또한, A_p의 원통 연산만을 제거하거나 대각선 연산만을 제거한 부분대수 역시 모두 대표 가능하다는 점을 증명한다. 따라서 A_p는 “거의 대표”하지만 전체적으로는 비대표이며, 이는 전치 연산이 포함된 등식 체계가 무한히 많은 변수와 연산을 요구함을 강제한다.

정리 3은 위와 같은 A_p의 존재를 명시하고, (i) A_p는 PSE_α에 속하지 않음, (ii) 모든 n‑생성 부분대수는 PSE_α에 동형, (iii) 각 연산군(원통, 대각선, 전치)만을 남긴 축소도 모두 PSE_α의 부분대수와 동형임을 보인다. 이를 통해 정리 2(전치 연산을 포함한 등식 공리계는 무한히 많은 변수와 연산을 필요로 함)를 도출한다. 또한 단일 전치 연산 P_{01}만을 고려한 변형도 동일한 난이도를 가진다.

논문은 마지막 장에서 이러한 결과가 논리적 증명 시스템, 특히 유한 변수 논리의 완전성 및 증명 복잡도에 미치는 영향을 논한다. 전치 연산을 제한적으로만 사용할 경우, 증명 체계는 본질적으로 무한히 많은 스키마를 필요로 하며, 이는 기존의 원통대수 기반 증명 시스템보다 더 복잡함을 의미한다. 또한 다항동등대수와 원통대수 사이의 변형 격자(lattice of varieties)를 조사하여, 두 이론 사이에 연속적인 중간 이론이 존재함을 보이고, 전치 연산이 이 격자에서 중요한 구분자를 제공함을 강조한다. 마지막으로 무한 차원 α에 대한 일반화 가능성 및 1차 논리 공리계 수준에서의 확장 가능성을 제시하며, 몇 가지 개방 문제를 제시한다.