Hamiltonian 오라클 모델에서의 적대자 하한

본 논문은 양자 알고리즘의 쿼리 복잡도 하한을 증명하는 대표적 기법인 적대자 방법을, 기존의 이산형 쿼리 모델이 아닌 연속시간 Hamiltonian 오라클 모델에도 그대로 적용할 수 있음을 체계적으로 보여준다. 첫 번째 섹션에서는 양자 쿼리 모델의 기본 개념을 정리한다. 입력 문자열 x∈{0,1}^N에 대해 전통적인 이산형 오라클 Q_x는 |j,k⟩↦(−1)^{x_j}|j,k⟩ 로 동작하며, 알고리즘은 임의의 입력 독립 유니터리 연산 U_i와 Q_x를 번갈아 적용하는 형태로 기술된다. 이 모델을 일반화한 fractional query 모델에서는 Q_{1/M}^x가 작은 위상 회전을 수행하고, M→∞ 한계에서 연속시간 Hamiltonian 오라클 모델이 도출된다. 여기서 시스템의 상태 |ψ_t^x⟩는 시간에 따라 Schrödinger 방정식 i d/dt|ψ_t^x⟩=H_x(t)|ψ_t^x⟩ 로 진화한다. 전체 해밀토니안은 입력 의존 부분 H_Q(x)와 구동 해밀토니안 H_D(t)로 분리될 수 있으며, H_x(t)=g(t)H_Q(x)+H_D(t) 로 표현된다. g(t)는 실수 함수이며 |g(t)|≤1 로 제한된다. H_Q(x) 자체는 각 변수 j에 대응하는 부분 해밀토니안 H_j(x_j)들의 합으로 구성되고, 각 H_j는 정규화된 연산자 ‖H_j‖≤1 을 만족한다. 두 번째 섹션에서는 적대자 방법의 핵심 아이디어를 소개한다. 함수 f의 출력이 서로 다른 두 입력 x와 y에 대해 알고리즘이 구별할 수 있어야 하므로, 시간 t에서의 내적 ⟨ψ_t^x|ψ_t^y⟩가 충분히 작아져야 한다. 이를 정량화하기 위해 스펙트럼 적대자 매트릭스 Γ∈ℝ^{2^N×2^N}를 정의한다. Γ