이동 집합의 새로운 불가분·비가역 구조

본 논문은 이진 하이퍼큐브 Eₙ(= {0,1}ⁿ)에서 **이동 집합(mobile set, m.s.)**이라는 새로운 객체를 정의하고, 그 구조와 존재론을 심도 있게 탐구한다. 1. **배경 및 정의** - 1‑코드: 반경 1 볼이 서로 겹치지 않는 점 집합. - 1‑완전 코드: 1‑코드이면서 모든 점이 반경 1 볼에 포함되는 경우, 존재 차원 n=2ᵏ−1. - 이동 집합 M: (i) 1‑코드이며, (ii) M과 교집합이 없고 동일한 이웃집합 Ω(M)=Ω(M′)을 공유하는 다른 1‑코드 M′이 존재한다. M′을 M의 대안이라 부른다. 2. **확장 이동 집합(e.m.s.)** - 모든 원소에 전체 패리티 비트(또는 그 보수)를 추가해 차원을 하나 늘린 집합. - Lemma 1은 e.m.s.와 그 대안이 (a) 차원 감소 후 1‑코드가 되며, (b) 거리‑2 그래프가 차수 n/2인 이분 그래프가 되고, (c) Ω\*(M)=Ω\*(M′)을 만족한다는 등 여러 동등한 성질을 제시한다. 3. **i‑성분(i‑component)** - 좌표 i를 토글했을 때 이웃집합이 변하지 않는 1‑코드. - Lemma 2는 i‑성분이 존재하려면 해당 집합의 거리‑2 그래프가 (n−1)/2 차수의 이분 그래프여야 함을 보인다. 이는 i‑성분이 이동 집합과 깊은 연관이 있음을 의미한다. 4. **가환성(reducibility)** - Lemma 3에 따라, 어떤 e.m.s.가 두 차원‑k 이동 집합을 적절히 결합해 만든 경우, 이를 **가환(리듀서블) 이동 집합**이라 정의한다. 즉, 차원을 낮춘 이동 집합을 단순히 확장·전치(좌표 순열·부정)만으로 얻을 수 있으면 가환이다. 5. **주요 정리와 구성** - **정리**: n≥7이며 n≡3(mod 4)인 모든 차원에 대해, 크기 2·6ᵏ(여기서 n=4k+3)인 **불가분(unsplittable)**하고 **비가환(irreducible)**인 이동 집합이 존재한다. - **구성 방법**: 좌표를 k개의 4‑묶음으로 나누고, 각 묶음에서 6가지 가능한 쌍(e_{ij},e_{it})을 선택한다. 선택된 쌍을 이용해 가중치 벡터 v∈{0,1}^{2k}를 만든다(표준 벡터). 전체 표준 벡터는 6ᵏ개이며, 각 벡터에 대해 인덱스 I(v) = (∑ pair‑index) mod 3을 정의한다. 이를 기반으로 S₀, S₁, S₂ 세 부분집합으로 분할한다. - **Claim 1**: S_i∪S_j의 거리‑2 그래프는 이분이며 차수가 2k인 정규 그래프이다. 따라서 S₀는 e.m.s.이며 크기는 2·6ᵏ−1이다. - **Claim 2**: S₀는 두 개의 비공집합 이동 집합으로 분할될 수 없으며, 즉 **불가분**이다. - **Claim 3**: S₀는 Lemma 3에 의해 얻어지는 가환 형태가 아니므로 **비가환**이다. - 이 결과는 기존에 알려진 선형 이동 집합 M={ (x,x,|x|) : x∈E_m }(크기 2·2^{m})와는 전혀 다른 구조를 제공한다. 6. **연관 연구와 차이점** - 기존 연구는 주로 1‑완전 코드와 그 변형(완전 색칠, i‑성분 등)에 초점을 맞추었으며, 차원 n=2ᵏ−1에 국한되었다. - 본 논문은 **중간 차원**(특히 n≡3(mod 4))에서도 풍부한 이동 집합을 구성함으로써, 완전 코드와는 독립적인 새로운 조합 구조를 제시한다. 7. **열린 문제** - (1) 전순위(full‑rank)인 불가분 이동 집합의 무한 계열 구축. - (2) 전이성(transitive)인 불가분·확장 이동 집합의 존재 여부. - (3) 이동 집합을 1‑완전 코드에 삽입(embeddability)할 수 있는지, 특히 차원 n=2ᵏ−1에서 비삽입 가능한 경우가 존재하는지. - (4) 불가분 이동 집합의 최대·최소 크기 추정. - (5) 비가환·불가분 이동 집합의 전순위 버전 및 그 구조적 특성. 결론적으로, 논문은 이진 하이퍼큐브에서 **불가분·비가환 이동 집합**이라는 새로운 조합 객체를 체계적으로 정의하고, 차원 n≡3(mod 4)에서 무한히 많은 예시를 제공한다. 이는 코딩 이론, 조합 설계, 그리고 그래프 이론에서 기존의 완전 코드와는 별개의 풍부한 구조적 현상을 탐구할 수 있는 기반을 마련한다.