BQPSPACE가 PSPACE에서 기하 급수적으로 긴 실행 시간을 가질 수있는 이유는 무엇입니까?

BQPSPACE가 PSPACE에 있다는 표준 증거는 경로 적분에 대한 Savitch 게임 유형 분석에 의존합니다. 그러나 BQPSPACE의 실행 시간이 기하 급수적으로 길다고 가정합니다. 이는 PSPACE의 경우에도 마찬가지이지만 고정 된 자유도를 가진 닫힌 양자 시스템의 경우 상태 벡터의 지수 특성으로 인해 Poincare 재발 전에 일반적으로 두 배의 시간이 걸립니다. 그렇다면 증거가 아직 통과하고 있습니까?

BQPSPACE는 다항식 qbit 만 사용할 수 있지만 계산은 클래식 머신에 의해 이루어집니다. 이 클래식 머신은 또한 다항식 비트 수만 얻습니다. 따라서, 고전적인 컴퓨터는 양자 컴퓨터가 무엇을하든 상관없이 단계 수를 단순히 지수로 제한합니다.

다항식 크기 ​​알고리즘에 의한 지수 길이 회로의 한계는 컴퓨터가 회로 자체의 상태 나 세부 사항이 아니라 무한 루프를 생성하는 회로를 생성하기 때문입니다. 양자 회로도 다르지 않습니다.