밀집된 지역 테스트 코드, 일정 비율·거리와 상충한다

초록

본 논문은 질의 수가 상수인 지역 테스트 코드(LTC) 중, 테스트의 밀도가 평균적으로 한 좌표가 다수의 로컬 뷰에 참여하는 ‘밀집’ 형태라면, 코드의 상대율과 상대거리 모두를 상수로 유지할 수 없음을 증명한다. 3‑쿼리 경우 밀도≫1, q‑쿼리(q>3) 경우 밀도≫n^{q‑2}이면 일정 비율·거리(CCC) 특성을 가질 수 없으며, 이 결과는 ‘가중치 없음’·‘마지막 하나 고정’이라는 두 자연스러운 제약 하에 성립한다.

상세 분석

지역 테스트 코드(LTC)는 입력 문자열이 코드워드인지 여부를, 전체를 읽지 않고 무작위로 선택된 q개의 좌표만 검사함으로써 판단한다. 이때 테스트 알고리즘이 각 q‑튜플을 동일한 확률로 선택하고(‘가중치 없음’), 선택된 q‑튜플 중 q‑1개의 값이 마지막 값을 결정하도록 설계된 경우(‘마지막 하나 고정’)를 주목한다. 이러한 제약은 선형 코드의 검증식과 일치한다. 논문은 먼저 ‘밀도’라는 개념을 정의한다. 밀도는 테스트에서 한 좌표가 포함되는 평균 로컬 뷰 수이며, 이는 검증 하이퍼그래프의 평균 차수를 의미한다. 밀도가 1보다 크게 되면, 각 좌표가 다수의 제약에 동시에 얽히게 된다.

주요 결과는 두 단계로 전개된다. 첫째, 3‑쿼리 LTC에 대해 밀도≫1이면, 코드의 최소 거리 d가 n·ε(ε>0) 수준으로 유지될 수 없음을 보인다. 여기서는 검증 하이퍼그래프의 삼각형 구조를 이용해, 임의의 작은 오류 집합이 다수의 테스트를 동시에 통과하게 만드는 ‘오류 전파’ 현상을 정량화한다. 두 번째로, q>3인 경우 밀도≫n^{q‑2}이면 동일한 결론이 확장된다. 이때는 (q‑1)‑차원 초평면에 해당하는 검증식이 서로 겹치는 정도를 분석하고, 고밀도 하이퍼그래프가 결국 ‘코드워드와 비코드워드’를 구분하는 신호 대 잡음비를 급격히 낮춘다는 점을 보인다.

증명 핵심은 ‘마지막 하나 고정’ 속성을 활용한 선형 종속성 전파이다. 한 검증식이 만족되지 않으면, 해당 q‑tuple의 마지막 좌표를 고정함으로써 인접 검증식들에 오류를 전이시킬 수 있다. 밀도가 높을수록 이러한 전이가 빠르게 전역으로 퍼져, 전체 코드워드가 작은 비율의 오류만으로도 다수의 테스트를 통과하게 만든다. 결과적으로, 일정 비율의 오류를 허용하면서도 상수 수의 쿼리로 강력한 소리성(soundness)을 유지하려면, 테스트의 밀도가 제한적이어야 함을 보인다.

또한, 논문은 현재 증명의 정량적 한계가 일반적인 CCC‑문제(밀도와 무관하게 상수 비율·거리·쿼리 수를 동시에 만족하는 LTC 존재 여부)를 해결할 수 있는 잠재력을 지닌다고 지적한다. 즉, 밀도에 대한 더 정밀한 상한을 얻으면, 비밀집 LTC라도 동일한 불가능성을 증명할 수 있다.

이러한 결과는 기존에 존재하던 ‘아스키즘(Asymptotically good) LTC’에 대한 기대를 크게 낮추며, 특히 선형 검증식이 지배적인 현재의 코드 설계 패러다임에서 새로운 접근법이 필요함을 시사한다.