답변:
일반 선형 연산자로 만들어진 회로는 입니다. PEPS 및 텐서 네트워크 수축의 계산 능력에 대한 Scott Aaronson 의 논문 또는 Schuch의 PostBQP 논문 을 참조하십시오 .
순수한 수학적 의미에서 원칙적으로 적절하게 표현 된 입력 데이터를 출력 데이터로 변환하는 방법을 설명 할 수있는 한 어떤 종류의 재귀 적으로 구성 가능한 구조를 사용하여 계산 모델을 만들 수 있습니다. 그러나 적용된 수학적 의미에서, 또는보다 정확하게, 실제 과학적 의미 에서, 그러한 계산 모델이 실제로 관찰되는 어떤 것에 해당하는지 ( 즉, 모델이 잘 맞는지)에 대한 문제가있다 ( 예 : 아마도 계산을 수행하도록 구성된 기계에서 관찰하기 때문일 것입니다. 로컬 시스템의 제품으로 구성된 순열 행렬과 확률 적 행렬은 확률 분포를 변환하기위한 가능한 계산 모델을 나타냅니다. 원칙적으로 단위 2- 노름 파 함수 (유사한 방식으로 구성)에 대한 단일 변환은 계산 모델로 부당하지 않다는 것이 인정됩니다. 실제로 실현 가능하다는 것을 보여주는 것은 (매우 도전적인!) 공학 문제로 널리 받아 들여지고 있습니다.
이 두 계산 모델 모두 CPTP 수퍼 오퍼레이터 (추적을 유지하는 방식으로 선형 오퍼레이터를 다른 선형 오퍼레이터에 맵핑하고 양의-음수 유한 오퍼레이터를 다른 이러한 오퍼레이터에 강력하게 맵핑하는)의 형식에 포함시킬 수 있습니다. 특정 관점은 단일 변환 또는 프로젝터 단독보다 양자 계산을 설명하는 더 좋은 방법입니다.
단일 변환 또는 CPTP 수퍼 오퍼레이터보다 계산이 더 일반적이고 (더 강력하고, 동일한 유형의 입력 및 출력 데이터 표현을 사용하는) 의미가 있는지 여부는 본질적으로 이론 물리학의 문제입니다.
따라서 그 대답은 "아마도 – 우리는 아직 모릅니다. 그리고 어떤 것을 믿을만한 설득력있는 이유는 없습니다".