지수 합의 지수적 하한과 ShubSmale 타우추측의 연결

초록

본 논문은 Shub‑Smale의 τ‑추측이 지수적 크기의 대수 회로를 필요로 하는 명시적 지수 합을 만들 수 있음을 보인다. 이를 위해 파라미터화된 복잡도 기법을 활용하고, VW‑계열 클래스와 선형 카운팅 계층의 붕괴를 연결한다. 또한 제한된 사이클 구조를 가진 영구식(permanent)으로 VW

상세 분석

논문은 먼저 VNP 를 정의하는 지수 합 형태 f(X)=∑{e∈{0,1}^ℓ} g(X,e) 를 일반화하여, ℓ이 입력 변수 수 n에 대해 선형적으로 제한될 때 해당 합을 계산하는 회로의 크기가 ℓ에 비례해 지수적으로 커져야 하는지를 질문한다. 이 질문을 τ‑추측과 연결시키는 핵심 아이디어는 “p‑log‑Expsum”이라는 파라미터화된 문제를 도입하는 것이다. 여기서 p‑log‑Expsum(m,k,g) 은 크기 m인 회로 g에 대해 k=n/ log m 로 정의된 파라미터 k를 이용해 ∑{y∈{0,1}^ℓ} g(X,y) 를 계산한다. 저자들은 이 문제가 고정‑파라미터 트랙터블(fpt)이라면 선형 카운팅 계층(CH_lin) 이 붕괴하고, CH_lin 에서 정의 가능한 정수와 다항식의 τ‑복잡도가 다항식 이하가 된다는 두 가지 강력한 결과를 도출한다. 반대로 τ‑추측이 참이라면 p‑log‑Expsum 은 fpt가 될 수 없으며, 따라서 해당 지수 합은 회로 크기가 2^{Ω(ℓ)} 수준이어야 함을 보인다. 이 논리는 포흐머 다항식 p_n(x)=∏_{i=1}^n (x+i) 의 계수를 이용해 구체적인 예시를 만든다. p_n 의 최고차항 계수는 기본 대칭 다항식 σ_k(1,…,n) 이며, 이는 CH_lin 에서 정의 가능한 정수열이다. τ‑추측 하에서 σ_k 의 τ‑복잡도가 다항식 이하라면 p_n 은 상수‑자유 회로로 2^{o(n)} 크기로 구현될 수 없으므로, p‑log‑Expsum 이 fpt가 아님을 역으로 증명한다.

또한 저자들은 파라미터화된 대수 복잡도 클래스 VW_nb