양의 특성체에서의 기본 대칭다항식 복잡도와 경계 회로 한계

초록

본 논문은 양의 특성(field of positive characteristic) 위에서 차수 d 인 기본 대칭다항식 eₙ,₍d₎ 의 공식(formula) 복잡도 하한을 Ω(d·(n−d)) 로 확장하고, 기존에 영특성에서 성립하던 대칭다항식의 선형 투사 보편성 및 경계 깊이‑3 ΣΠΣ 회로(탑 팬‑인 k) 결과가 양의 특성에서는 성립하지 않음을 보인다. 핵심 도구는 차수‑2 영공간(V₂) 차원의 정확한 추정과 메타다항식 구성을 통한 경계‑팬‑인 분석이다.

상세 분석

논문은 세 부분으로 구성된다. 첫 번째 부분에서는 Chatterjee·Kumar·Shi·Volk(2022)의 영특성 결과를 양의 특성으로 일반화한다. 핵심 아이디어는 차수‑2 영공간 V₂(f) = {a ∈ Fⁿ | f(a)=∂f/∂x₁(a)=⋯=∂f/∂xₙ(a)=0}의 차원을 이용해 공식 크기의 하한을 얻는 것이다. 기존 연구에서는 V₂(eₙ,₍d₎)의 차원이 정확히 d−2임을 보였지만, 양의 특성에서는 특성 p가 d와 n에 따라 V₂ 차원이 d−1이 될 수도 있음을 Lemma 1.7에서 증명한다. 구체적으로 p≠0이고 n−d+1≡0 (mod p⌈logₚ d⌉)···조건을 만족하면 차원이 d−1, 그 외의 경우는 d−2가 된다. 이 범위 내에서 차원이 최대 d−1임을 이용하면 Lemma 1.5(차수‑2 영공간 차원 ≥ n−2k)와 결합해, 공식이 k개의 곱 형태로 분해될 경우 n−2k ≤ dim V₂ ≤ d−1을 만족해야 함을 얻는다. 따라서 k ≥ Ω(d·(n−d))가 되어, 공식 크기의 하한 Ω(d·(n−d))가 양의 특성에서도 유지된다.

두 번째 부분에서는 Shpilka(2002)와 Kumar(2020)의 “대칭 모델 보편성” 및 “경계 탑 팬‑인 k” 결과가 양의 특성에서는 깨진다는 것을 보인다. 구체적으로, 임의의 n에 대해 차수 d 인 동차 다항식 f가 존재함을 보이며, 이는 k=o(n)개의 선형 투사된 기본 대칭다항식의 선형 결합으로 표현될 수 없다는 것을 증명한다. 여기서 중요한 단계는 메타다항식(‘metapolynomial’)을 구성해, 다항식들의 선형 결합을 하나의 다항식으로 압축하고, 이를 경계 설정(ε‑approximation)까지 확장한다. 메타다항식은 각 투사 Lᵢ와 상수 cᵢ를 변수화하여 f = ∑_{i=1}^{k} cᵢ·e_d(Lᵢ) 형태를 만들고, 이 표현이 k=o(n)에서는 차수‑2 영공간 차원 제한을 위배한다는 점을 이용한다. 결과적으로, 양의 특성에서는 “선형 투사들의 합” 자체가 이미 충분히 강력한 모델이 되며, 개별 투사만으로는 모든 다항식을 포괄하지 못한다는 결론에 도달한다.

마지막으로, 위의 결과를 이용해 Σ^{