[논문 리뷰] Remark on multi-particle observables and entangled states with constant complexity

Dominik Janzing, Thomas Beth|ArXiv.org|2000. 03. 24.

Quantum Computing Algorithms and Architecture인용 수 3

한 줄 요약

이 논문은 깊이가 일정한 양자 네트워크가 매크로스코픽 양자 불확실성을 나타내는 높은 엔트로피를 가진 다중 입자 양자 상태를 준비하거나 측정할 수 없음을 보여준다. 이는 매개변수 $ e_{\rho} $ 로 측정된다. 이 논문은 이러한 상태와 관측 가능량이 $ \log n $ 수준의 네트워크 깊이를 필요로 함을 증명하여, 매크로스코픽 양자 행동에 대한 기본적인 복잡도 한계를 설정한다.

ABSTRACT

We show that every density matrix of an n-particle system prepared by a quantum network of constant depth is asymptotically commuting with the mean-field observables. We introduce certain pairs of hypersurfaces in the space of density matrices and give lower bounds for the depth of a network which prepares states lying outside those pairs. The measurement of an observable which is not asymptotically commuting with the mean-field observables requires a network of depth in the order of log n, if one demands the measurement to project the state into the eigenspace of the measured observable.

연구 동기 및 목표

• 깊이가 일정한 양자 네트워크가 매크로스코픽 양자 행동을 보이는 다중 입자 양자 상태를 준비하거나 측정하는 데서 나타나는 한계를 조사하는 것.
• 매개변수 $ e_{\rho} $ 로 기술된 매크로레얼리즘을 위반하는 상태에 대한 접근 능력과 양자 네트워크 깊이 간의 관계를 수학적으로 정의하는 것.
• 평균장 근사와 불가침한 관측 가능량을 준비하거나 측정하기 위해 필요한 깊이에 하한을 설정하는 것.
• 스chrödinger의 고양이 유형의 역설, 즉 매크로스코픽으로 구별되는 상태의 양자 초월 중첩이 고전적 직관에 도전하는 맥락에서 네트워크 깊이의 역할을 분석하는 것.

제안 방법

• 다중 입자 밀도 행렬 $ \rho $ 에서 매크로스코픽 양자 불확실성의 정도를 측정하기 위해 매개변수 $ e_{\rho} $ 를 정의하였으며, 큰 $ e_{\rho} $ 는 강한 비고전적 행동을 나타낸다.
• 계통의 집합적 성질을 나타내는 평균장 관측 가능량 $ \overline{a} = \frac{1}{n}\sum_{i=1}^n a_i $ 의 개념을 도입하였다.
• 깊이 $ k $ 의 일정한 깊이 네트워크를 통해 측정 가능한 모든 관측 가능량 $ c $ 는 점점 증가하는 방식으로 $ \overline{a} $ 와 비가환성을 가진다는 것을 증명하였으며, 이에 따라 비가환자 노름은 $ \| [\overline{a}, A^*(P)] \| \leq \frac{2^k}{\sqrt{2n}} $ 로 유계화된다. 여기서 $ k $ 는 네트워크 깊이다.
• 관측 가능량의 스펙트럼 프로젝션 $ P $ 를 사용하여 측정 결과가 평균장 행동과 얼마나 호환되는지 분석하였으며, 비가환 관측 가능량은 더 깊은 회로를 필요로 함을 보였다.
• 텐서 곱 힐버트 공간의 구조와 국소 연산자 간의 지지 집합 겹침을 활용하여 비가환자 표현식 내 상호작용 항의 수를 유계화하였다.
• 깊이 $ k $ 의 네트워크에서 각 국소 연산자당 지지 집합이 겹치는 연산자 쌍의 수는 $ 4^k $ 이하로 유계화되며, 이는 비가환성의 증가에 따라 $ \sqrt{4^k / n} $ 의 스케일링을 유도한다.

실험 결과

연구 질문

• RQ1 깊이가 일정한 양자 네트워크가 큰 $ e_{\rho} $ 를 가진 다중 입자 상태를 준비할 수 있는가? 이는 매크로스코픽 양자 초월 중첩을 나타낸다.
• RQ2 평균장 관측 가능량과 불가침한 관측 가능량을 준비하거나 측정하기 위해 필요한 최소 네트워크 깊이는 얼마인가?
• RQ3 네트워크로 실행된 관측 가능량과 평균장 관측 가능량 간의 점점 증가하는 비가환성은 접근 가능한 양자 얽힘 상태의 집합을 어떻게 제한하는가?
• RQ4 특히 깊이와 같은 자원 제약 조건이 슈뢰딩거의 고양이 생각 실험과 같은 매크로스코픽 양자 현상에 대해 기본적인 제한을 어떻게 가하게 되는가?

주요 결과

• 깊이 $ k $ 의 양자 네트워크로 측정 가능한 모든 관측 가능량은 그 스펙트럼 프로젝션을 점점 증가하는 방식으로 평균장 관측 가능량과 비가환성을 가진다. 이에 따라 비가환자 노름은 $ \frac{2^k}{\sqrt{2n}} $ 이하로 유계화된다.
• 큰 $ e_{\rho} $ 를 가진 상태, 즉 매크로스코픽 양자 불확실성을 나타내는 상태는 깊이가 일정한 네트워크로는 준비될 수 없으며, 이는 깊이 $ \Theta(\log n) $ 가 필요하기 때문이다.
• 평균장 행동과 불가침한 관측 가능량을 측정하기 위해 필요한 깊이 역시 $ \Theta(\log n) $ 이며, 상태 준비에 필요한 깊이와 일치한다.
• 비가환자 노름에 대한 유계화는 깊이가 일정한 네트워크가 매크로레얼리즘 또는 슈뢰딩거의 고양이 역설에 관련된 전체 양자 얽힘 상태 집합에 접근할 수 없음을 시사한다.
• 깊이 $ k $ 의 네트워크에서 지지 집합이 겹치는 연산자 쌍의 수는 국소 연산자당 최대 $ 4^k $ 개이며, 이는 비가환성의 증가를 제한한다.
• 결과적으로 '매우 낮은 복잡도의 얽힘'—예를 들어 깊이 2 네트워크에서 유도되는 것—은 $ e_{\rho} $ 가 큰 상태와 관련된 매크로스코픽으로 비국소적인 얽힘을 생성할 수 없다는 것을 암시한다.