덧셈조합론으로 본 로그‑랭크 추측의 새로운 상한

초록

이 논문은 다항식 프리만‑루자(PFR) 추측을 가정하에, 실수 계수 행렬의 랭크에 대한 로그‑랭크 추측의 약한 형태인 CC(M) ≤ O(rank(M)/log rank(M)) 을 증명한다. 핵심은 근사 이중성(approximate duality) 개념을 개선하고, 이를 Nisan‑Wigderson 방식과 결합해 저랭크 행렬에 대한 큰 단색 부분행렬을 찾아 통신 복잡도 상한을 얻는 데 있다.

상세 분석

본 논문은 통신 복잡도 이론에서 가장 오래된 개방 문제 중 하나인 로그‑랭크 추측을 새로운 관점에서 접근한다. 기존에는 행렬의 실수 랭크와 통신 복잡도 사이에 다항식 관계가 존재한다는 강한 형태의 추측이 제시되었지만, 현재까지는 O(rank) 수준의 상한만 알려져 있다. 저자들은 덧셈조합론의 핵심 정리인 다항식 프리만‑루자(PFR) 추측을 전제로, 근사 이중성(approximate duality)이라는 개념을 정밀하게 다듬는다.

근사 이중성은 두 집합 A, B⊆F₂ⁿ에 대해 D(A,B)=E_{a∈A,b∈B}