[논문 리뷰] Efficiently contractable quantum circuits cannot produce much entanglement

Nadav Yoran|ArXiv.org|2008. 02. 08.

Quantum Computing Algorithms and Architecture인용 수 3

한 줄 요약

이 논문은 효율적으로 수축 가능한 텐서 네트워크를 갖는 양자 회로—특히 유리한 그래프 구조로 인해 수축 복잡도가 낮은 경우—는 상당한 얽힘을 생성할 수 없다는 것을 보여준다. 텐서 수축 방법과 나무 텐서 네트워크(TTN) 표현 간의 구조적 동치성을 확립함으로써, 저자들은 이러한 회로가 고전적으로 시뮬레이션 가능하며, 얽힘 생성 능력이 본질적으로 제한되어 있음을 증명한다. 이는 양자 비트 수에 대해 다항함수로 유 bounds된 슈미트 랭크를 가짐을 의미한다.

ABSTRACT

We show a similarity between two different classical simulation methods for measurement based quantum computation -- one relying on a low entanglement (tree tensor network) representation of the computer's state, and the other a tensor contraction method based on the topology of the graph state. We use this similarity to show that any quantum circuit that can be efficiently simulated via tensor contraction cannot produce much entanglement.

연구 동기 및 목표

• 낮은 얽힘을 갖는 나무 텐서 네트워크(TTN)와 회로 위상도에 기반한 텐서 수축 기반의 두 고전적 시뮬레이션 방법 간의 관계를 명확히 하기.
• 효율적으로 수축 가능한 양자 회로가 다량의 얽힘을 생성할 수 있는지 조사하기.
• 효율적인 텐서 수축이 얽힘의 유 bounds를 의미함을, 시뮬레이션 방법 간의 구조적 유사성을 통해 확립하기.
• 모든 효율적인 텐서 수축 체계를 갖는 양자 회로는 모든 단계에서 다항식으로 유 bounds된 슈미트 랭크를 갖는 TTN 표현을 가져야 한다는 것을 보여주기.
• 얽힘은 양자 우월성의 유일한 자원이 아니며, 일부 비얽힌 회로(예: 고전적 회로)는 여전히 효율적인 수축을 저항한다는 것을 보여주기.

제안 방법

• 기본 양자 회로의 그래프 구조를 이용해 측정 기반 양자 계산(MQC)에 대한 텐서 수축 체계를 정의하기.
• 동일한 그래프 구조에서 이진 나무를 사용하여 나무 텐서 네트워크(TTN) 표현을 구성하고, 내부 간선을 슈미트 분해에 대응시키기.
• 그래프의 수축 복잡도(cc(G))가 트리 폭(twd(G))과 랭크 폭(rwd(G))에 의해 유 bounds됨을 증명하며, rwd(G) = χwd(G)임을 확인하기.
• 만약 회로의 텐서 수축이 효율적이라면(즉, cc(Gc)가 작다면), 해당 그래프 상태는 낮은 랭크의 TTN 표현을 갖는다는 것을 확립하기.
• 차수 2 정점 수축에 대해 수축 복잡도가 불변임을 이용해, 회로의 그래프(Gc)와 그래프 상태의 그래프(G)를 연결하여 cc(G) ≤ cc(Gc)임을 보여주기.
• MQC에서의 단일 큐비트 측정 및 국소 연산은 슈미트 랭크를 증가시키지 않으므로, 부분 회로 이후의 상태는 여전히 TTN을 통해 효율적으로 표현 가능하다고 주장하기.

실험 결과

연구 질문

• RQ1 효율적으로 수축 가능한 텐서 네트워크를 갖는 양자 회로는 높은 수준의 얽힘을 생성할 수 있는가?
• RQ2 텐서 수축 방법과 나무 텐서 네트워크(TTN) 표현 간의 구조적 관계는 무엇인가? (양자 회로 시뮬레이션에서)
• RQ3 효율적인 텐서 수축은 양자 회로에서 유 bounds된 얽힘을 의미하는가?
• RQ4 낮은 얽힘을 생성하지만 여전히 효율적인 고전적 시뮬레이션을 저항하는 양자 회로는 존재하는가?
• RQ5 회로의 그래프 구조(트리 폭 및 랭크 폭에 의해)는 계산 중 양자 상태의 얽힘을 어떻게 제약하는가?

주요 결과

• 텐서 네트워크 방법을 통해 효율적으로 수축 가능한 모든 양자 회로는 단계별로 슈미트 랭크가 큐비트 수에 대해 다항함수로 유 bounds되기 때문에 상당한 얽힘을 생성할 수 없다.
• 회로의 그래프 수축 복잡도(cc(Gc))는 해당 그래프 상태의 수축 복잡도(cc(G))에 의해 상한을 받으며, 이는 회로에서의 효율적 수축이 그래프 상태에서의 효율적 TTN 표현을 암시한다.
• 그래프의 랭크 폭(rwd(G))는 χwd(G)와 같으며, 다음 부등식을 만족한다: (twd(G) - 1)/(2Δ²) ≤ rwd(G) ≤ Δ(twd(G) + 1) - 1. 이는 위상적 매개변수를 시뮬레이션 효율성과 연결한다.
• 모든 부분 회로 이후의 양자 컴퓨터 상태는 여전히 TTN으로 효율적으로 표현 가능하다. 단일 큐비트 측정 및 국소 연산은 슈미트 랭크를 증가시키지 않기 때문이다.
• 일부 양자 회로(예: 고전적 모듈로 지수 계산)는 얽힘을 전혀 생성하지 않지만 여전히 효율적인 텐서 수축 체계를 갖지 못하므로, 낮은 얽힘은 효율적인 고전적 시뮬레이션을 의미하지는 않음을 보여준다.
• TTN과 텐서 수축 방법 간의 구조적 유사성은 효율적 수축이 유 bounds된 얽힘을 암시함을 보여주며, 이는 양자 우월성의 한계를 새롭게 특성화한다.