복소수 체계에서의 토다 정리: 복소 다항계층과 Poincaré 다항식의 연결

본 논문은 BSS 모델 하에서 복소수 체계에 대한 다항계층(PH) 을 #P 의 복소 버전인 #P_C 로 귀결시키는 복소수 버전의 토다 정리를 증명한다. 핵심은 복소 조인(complex join)과 Poincaré 다항식의 효율적 계산을 이용해, (compact) 복소 다항계층의 모든 언어를 다항시간 내에 결정할 수 있음을 보이는 것이다.

저자: Saugata Basu