선형 순서 두 개만으로 비트 연산을 완전하게 표현한다

초록

이 논문은 두 개의 특별히 설계된 선형 순서 < 와 ≺₀ 만을 사용하면, 비트 프레디케이트 Bit 를 포함한 1차 논리와 동등한 표현력을 가짐을 보인다. 또한, C와 Q라는 단항 프레디케이트를 하나의 순서 ≺ 또는 순열 π 로 대체할 수 있음을 증명한다.

상세 분석

논문은 먼저 자연수 집합 N 을 무한히 많은 열과 행을 가진 오른쪽 아래 삼각 행렬에 배치한다. i번째 열은 i+1 개의 연속된 수로 구성되고, 행은 무한히 길다. 각 원소 x 에 대해 열 번호 c(x) 와 행 번호 r(x) 를 정의하고, 열의 가장 아래 원소 q(x)=q_{c(x)} 를 도입한다. 기본 순서 < 는 열 우선(좌→우, 아래→위) 정렬이며, 새로운 순서 ≺₀ 는 행 우선(아래→위, 좌→우) 정렬이다.

이 구조 위에 두 개의 단항 프레디케이트 C 와 Q 를 정의한다. C 는 각 열 i 에 대해 i+1 의 이진 표현을 행 번호에 매핑하고, Q 는 q_i+1 (=i(i+1)/2+1)의 이진 표현을 매핑한다. 즉, 열 i 의 원소 x 가 C 에 속하면 r(x) 번째 비트가 i+1 의 이진수에 1인 경우이며, Q 도 동일하게 q_i+1 의 비트를 나타낸다. 이러한 설계는 c(x) 와 r(x) 를 통해 자연수의 이진 비트를 직접 읽을 수 있게 만든다.

핵심 정리는 FO(<,≺₀,C,Q) 가 FO(Bit)와 동등한 표현력을 가진다는 것이다. 이를 위해 논문은 먼저 FO(Bit) 내에서 c, r, q 함수를 정의하는 FO 공식을 구성하고, 이를 이용해 ≺₀, C, Q 를 FO(Bit)로 정의한다. 반대 방향에서는, FO(<,≺₀,C,Q) 내에서 비트 비트를 추출하는 복잡한 공식들을 단계별로 만든다. 열·행 동일성, 열 하단 원소 식별, 대각선 원소 검출 등 여러 보조 공식(예: ϕ_same‑col, ϕ_same‑row, ϕ_q, ϕ_rc 등)을 정의하고, 이를 조합해 q(x)와 r(x) 의 비트를 읽어 Bit(x,i) 을 표현한다. 특히, 두 수 q(x)와 r(x) 의 이진 덧셈에서 발생하는 캐리 비트를 처리하기 위해 ϕ_q+r,carry,r 공식을 도입해 정확히 비트 합산을 시뮬레이션한다. 최종적으로 ϕ_Bit(x,y) =∃u(ϕ_r(u,y)∧ϕ_Bit,r(x,u)) 와 같이 정의함으로써 FO(Bit) 의 모든 원자를 재현한다.

다음으로 논문은 FO(<,≺₀) 만으로는 FO(Bit) 를 포착할 수 없음을 보인다. 여기서는 Crane Beach 속성을 이용한다. FO(<,≺₀) 는 모든 중립 문자(문자열에 삽입·삭제해도 언어가 변하지 않는 문자)를 포함하는 언어를 FO(<) 로도 정의할 수 있기에 Crane Beach 속성을 만족한다. 반면 FO(Bit) 는 이 속성을 갖지 않으므로 두 논리는 엄격히 구분된다.

마지막으로 C, Q 를 제거하고 단일 선형 순서 ≺ 또는 순열 π 로 대체한다. ≺ 은 ≺₀ 위에 C, Q 의 정보를 인코딩한 새로운 순서이며, π 은 ≺ 을 순열 형태로 표현한다. 따라서 FO(<,π) 또는 FO(<,≺) 도 FO(Bit)와 동등한 표현력을 가진다. 논문은 이러한 변환 과정을 구체적인 정의와 증명으로 제시한다.