이진 덧셈 연산의 정체와 항등식

초록

이 논문은 2ⁿ을 모듈러로 하는 일반적인 덧셈(ADD)과 비트별 XOR 연산을 이용해 정의된 대수 A_q의 함수 표현 가능성을 완전히 규명하고, 두 연산 사이의 모든 항등식이 유한한 기초를 가진다는 것을 증명한다. 또한 A_q를 영원환(non‑associative) 닐팟트 링과 합리적으로 동등시켜 Specht 다양체를 생성함을 보인다.

상세 분석

본 연구는 q=2ⁿ인 정수 집합 Z_q 위에 두 기본 연산, 즉 전체 덧셈(모듈러 q)과 비트별 XOR(모듈러 2)를 도입한다. 저자들은 먼저 k‑ary 함수 f: A_q^k → A_q 가 “알제브라식”이라 정의하고, 이를 표현 가능한 함수 집합 F_{k,q} 를 최소 폐쇄성으로 구성한다. 핵심은 정리 1로, f가 알제브라식이 되기 위한 필요충분조건은 각 비트 f(x)i 가 Zhegalkin(이항) 다항식 g_i 로 기술될 수 있어야 하며, 이 다항식의 가중치(weight)가 1 이하이고 자유항이 없어야 한다는 것이다. 여기서 가중치는 변수 x{i−l} 의 차수에 2^{−l} 를 곱해 정의한다. 이 조건은 비트별 캐리 전파를 정확히 제한함으로써 ADD와 XOR만으로 구현 가능한 연산을 완전히 포착한다. 논문은 이를 기반으로 실용적인 결정 알고리즘을 제시한다. 알고리즘은 가장 높은 비트부터 차례로 Zhegalkin 다항식을 구하고, (∗∗)식에 따라 하위 비트로 전이시키며 가중치와 자유항을 검증한다. 모든 단계가 통과하면 함수는 알제브라식이며, 그렇지 않으면 불가능하다.

정리 1의 직접적인 결과로 코롤라리 1에서는 자유 알제브라 F_{k,q} 의 원소 수를 정확히 2^{1/k!·(q²+1)(q²+2)…(q²+k)−1} 로 계산한다. 이는 가중치 ≤1인 다항식의 개수를 조합론적으로 세어 얻은 식이다. 이어서 정리 2는 A_q 가 유한한 항등식 기초를 가진다는 것을 증명한다. 기존 연구에서 닐팟트 링이나 군은 유한 기초가 알려져 있으나, A_q 자체는 군도 링도 아니다. 저자들은 정리 3을 통해 A_q 를 비결합 영원환 (Z_q,⊕,∘) 과 합리적으로 동등함을 보인다. 여기서 ∘ 연산은 x∘y = 2·(x⊙y) 로 정의되며, ⊙는 비트별 AND이다. 이 구조는 모든 곱이 충분히 긴 경우 0이 되므로 닐팟트이며, 따라서 닐팟트 링의 일반 이론에 의해 유한 기초와 Specht 다양체 생성이 보장된다. 증명 과정에서는 커뮤터