A prova padrão de que o BQPSPACE está no PSPACE depende de uma análise do tipo de jogo Savitch nas integrais do caminho. No entanto, assume que o tempo de execução do BQPSPACE é no máximo exponencialmente longo. Isso é verdade para o PSPACE, mas para sistemas quânticos fechados com um número fixo de graus de liberdade, normalmente leva um tempo duplamente exponencial até a recorrência do Poincaré devido à natureza exponencial do vetor de estado. Então, a prova ainda é completa ou não?
fonte