스팬 프로그램과 양자 공간 복잡도

초록

이 논문은 불린 함수 f 에 대한 양자 알고리즘의 공간 복잡도를 고전적인 스팬 프로그램 크기의 로그와 연결한다. 일측 오류 모델에서는 정확한 스팬 프로그램 크기, 양쪽 오류 모델에서는 근사 스팬 프로그램 크기가 하한을 제공한다. 또한 단조 위상 추정 알고리즘에 대해 단조 스팬 프로그램 크기의 로그가 공간 하한이 됨을 보이고, 명시적인 함수에 대해 (log n)² 수준의 새로운 비자명한 하한을 제시한다.

상세 분석

논문은 먼저 양자 공간 복잡도 S_U(f) (단일 오류와 양쪽 오류 모두에 대해 정의)를 도입하고, 이를 고전적인 스팬 프로그램 모델과 연결한다. 스팬 프로그램은 Karchmer‑Wigderson이 제시한 선형 대수적 계산 모델로, 함수 f 를 결정하기 위해 필요한 벡터들의 선형 결합을 이용한다. 기존 연구에서는 스팬 프로그램 복잡도 SP(f) 가 양자 쿼리 복잡도와 정확히 일치한다는 사실이 알려져 있었지만, 공간 복잡도와의 관계는 미지였다. 저자들은 S₁U(f) (일측 오류)와 SP(f) 사이에 S₁U(f) ≥ log SP(f) 라는 하한을 증명한다. 핵심 아이디어는 Reichardt(2009)의 변환을 역으로 적용해, 주어진 양자 알고리즘을 스팬 프로그램으로 변환하면서 공간을 로그 스케일로 보존하는 것이다.

양쪽 오류 모델에서는 근사 스팬 프로그램 f SP(f) (approximate span program size)를 도입한다. 근사 스팬 프로그램은 원래 스팬 프로그램의 조건을 완화해, 입력에 대한 출력이 일정 오차 ε 이내이면 허용한다. 저자들은 양자 알고리즘이 T 쿼리와 S 공간을 사용한다면, 이를 Θ(T) 복잡도와 2^{Θ(S)} 크기의 근사 스팬 프로그램으로 변환할 수 있음을 보인다. 따라서 S_U(f) ≥ Ω(log f SP(f)) 가 성립한다. 이 결과는 기존의 쿼리 복잡도와 스팬 프로그램 복잡도 사이의 대응을 공간 복잡도까지 확장한 것으로, 양자 알고리즘 설계 시 스팬 프로그램 크기가 공간 효율성의 직접적인 지표가 됨을 의미한다.

단조 함수에 대해서는 단조 스팬 프로그램 mSP(f) 와 그 근사 버전 mf SP(f) 를 고려한다. 여기서는 “단조 위상 추정 알고리즘”이라는 특수한 양자 알고리즘 클래스를 정의한다. 이 알고리즘은 입력에 0을 추가하면 거부 확률이 증가하는 단조성을 유지하면서, 한 번의 쿼리와 위상 추정을 통해 결정을 내린다. 저자들은 모든 단조 위상 추정 알고리즘에 대해 공간 복잡도가 log mf SP(f) 또는 log mSP(f) (일측 오류)보다 작을 수 없음을 증명한다. 이는 기존에 알려진 단조 스팬 프로그램 하한을 양자 공간 복잡도에 직접 연결시킨 최초의 결과다.

마지막으로, 저자들은 기존에 알려진 단조 스팬 프로그램 하한(예: mSP(f) ≥ 2^{Ω(log² n)})을 이용해, 실제 함수에 대해 (log n)² 수준의 비자명한 양자 공간 하한을 얻는다. 구체적으로, 인증 복잡도와 근사 다항식 차수가 큰 차이를 보이는 함수 g 를 이용해 패턴 매트릭스를 구성하고, 이를 단조 버전의 랭크 방법에 적용한다. 결과적으로, 어떤 명시적 함수 f 에 대해 모든 양쪽 오류 단조 위상 추정 알고리즘은 Ω((log n)²) 공간을 필요로 한다는 새로운 하한을 얻는다. 이 하한은 현재 알려진 가장 강력한 비단조 경우(Ω(n))보다 약하지만, 근사 스팬 프로그램을 통한 공간 하한 연구의 가능성을 보여준다. 논문은 또한 S_U(f) 에 대한 ω(log n) 하한을 얻기 위한 열린 문제들을 제시하고, 양자‑고전 메모리 모델, 시간‑공간 트레이드오프, 그리고 스팬 프로그램을 통한 복합 복잡도 분석의 향후 연구 방향을 논의한다.