깊이 3 회로의 순위 상한을 거의 최적화

본 논문은 깊이‑3 ΣΠΣ 회로, 즉 상위 덧셈 게이트 아래에 곱셈 게이트가 k개, 각 곱셈 게이트가 d개의 선형 형태를 곱한 형태로 구성된 회로를 연구한다. 회로 C를 ΣΠΣ(k,d)라 표기하고, C가 영(즉, 항들의 합이 0)이며 단순(simple)·최소(minimal) 조건을 만족한다고 가정한다. 단순성은 모든 곱항이 공통 선형 인자를 공유하지 않음을 의미하고, 최소성은 임의의 진부분 집합의 합이 영이 되지 않음을 뜻한다. 이러한 제한은 순위(rank) 개념을 의미 있게 정의하고, 구조적 분석을 가능하게 한다. 순위는 회로에 등장하는 모든 선형 형태를 n‑차원 벡터 공간에 놓고, 선형 독립적인 형태의 최대 개수로 정의한다. 이는 회로를 표현하는 최소 변수 수와 동치이며, 순위가 작을수록 회로가 더 제한된 구조를 가진다. 기존 연구(Dvir‑Shpilka 2005)는 순위를 2^{O(k²)}·(log d)^{k‑2} 로 제한했으며, 이로부터 검증 알고리즘의 복잡도는 k에 대해 이중 지수적이었다. 저자들은 새로운 도구인 “이상 매칭(ideal matching)”을 도입한다. 두 선형 형태 집합 A와 B 사이에 이상 매칭이 존재한다는 것은, 어떤 이상 I⊂F