무작위 XORSAT 해공간의 클러스터링 전이와 희소 기저 구조

본 연구는 무작위 k‑XORSAT(k≥3) 인스턴스의 해공간 구조를 전반적으로 조사하고, 특히 해공간이 “클러스터링”되는 위상 전이를 정확히 규정한다. XORSAT은 n개의 불리언 변수와 m개의 XOR 절(각 절은 정확히 k개의 변수에 대한 모듈로‑2 합이 특정 비트와 일치하도록 요구)으로 구성된 선형 시스템이며, 선형 대수학적 방법으로 해의 존재 여부와 개수를 다항시간에 판단할 수 있다. 그러나 해공간 자체가 어떻게 배치되는지는 아직 충분히 이해되지 않았다. 논문은 먼저 무작위 인스턴스 I를 G(n,k,m)라는 균등 분포 위에서 샘플링한다. 해집합 S(I)⊆{0,1}ⁿ은 선형(또는 아핀) 부분공간이며, 이를 하이퍼큐브 상의 점들의 집합으로 본다. 저자들은 두 가지 주요 질문에 답한다. (1) 해공간이 하나의 연결된 집합으로 남는 임계값 α_d(k)는 어디인가? (2) 그 임계값을 초과하면 해공간이 몇 개의 클러스터로 분리되는가? **클러스터링 임계값 α_d(k)의 정의와 증명** α_d(k)는 다음 부등식이 모든 z∈(0,1)에서 성립하도록 하는 α의 상한으로 정의된다. α_d(k)=sup{α∈