[논문 리뷰] Efficient Tomography of Non-Interacting Fermion States

Scott Aaronson, Sabee Grewal|arXiv (Cornell University)|2021. 02. 20.

Medical Imaging Techniques and Applications인용 수 5

한 줄 요약

이 논문은 O(m³n² log(1/δ)/ϵ⁴)개의 복제본과 O(m⁴n² log(1/δ)/ϵ⁴)의 시간을 사용하여 비상호작용 페르미온 상태를 학습하는 효율적인 알고리즘을 제안한다. 이 알고리즘은 높은 확률로 트레이스 거리에서 ϵ-근접한 재구성을 달성한다. 방법은 O(m)개의 측정 기저를 통해 한 모드 및 두 모드 상관관계를 추정하고, 커널 행렬 K를 재구성하며, 상태를 기술하는 열직교 행렬 Â를 계산한다.

ABSTRACT

We give an efficient algorithm that learns a non-interacting-fermion state, given copies of the state. For a system of n non-interacting fermions and m modes, we show that O(m³ n² log(1/δ) / ε⁴) copies of the input state and O(m⁴ n² log(1/δ)/ ε⁴) time are sufficient to learn the state to trace distance at most ε with probability at least 1 - δ. Our algorithm empirically estimates one-mode correlations in O(m) different measurement bases and uses them to reconstruct a succinct description of the entire state efficiently.

연구 동기 및 목표

• 다수의 복제본으로부터 비상호작용 페르미온 상태를 효율적으로 학습하는 알고리즘을 개발하기 위해.
• 페르미온계에서 양자 상태 토모그래피의 자원 비용(복제본 수 및 시간)을 줄이기 위해.
• 자유 페르미온 상태의 구조—특히 m×n 열직교 행렬 A로 특징지어지는 것—을 활용하여 간결하고 효율적인 재구성을 가능하게 하기 위해.
• 높은 확률 1−δ로 트레이스 거리에서 ϵ-근접한 근사치를 달성하기 위해.

제안 방법

• 표준 기저에서 측정하고 점유도 빈도를 평균 내어 한 모드 상관관계를 경험적으로 추정한다.
• 비틀림기반을 사용하여 커널 행렬 K의 비대각성 항을 추정한다: 1/√2(1 1; 1 -1) 및 1/√2(1 i; 1 -i)를 적용하여 Kij의 실수부와 허수부를 추정한다.
• O(m)개의 측정 기저에서 각각 O(log(1/δ)/γ²)개의 복제본이 필요한 것으로, 커널 행렬 ˆK를 재구성한다.
• ˆK의 고유분해 QΛQ†를 수행하고, 첫 n개의 열을 Q에서 추출하여 ˆA를 얻어 재구성된 상태 |ˆΨ⟩를 형성한다.
• 페르미온 상태가 K의 주요 소행렬식에 의해 결정되며, 구성 S에 대해 |⟨S|Ψ⟩|² = det(KS)임을 이용한다.
• A가 열직교 행렬이므로 K = AA†임을 활용하여 재구성된 상태의 물리적 일관성을 보장한다.

실험 결과

연구 질문

• RQ1 비상호작용 페르미온 상태는 복제본 수와 시간 복잡도 측면에서 효율적으로 학습될 수 있는가?
• RQ2 허용되는 힐베르트 공간 차원의 기하급수적 크기에도 불구하고, 오직 O(m)개의 측정 기저만으로 상태를 재구성할 수 있는가?
• RQ3 높은 확률로 트레이스 거리에서 ϵ-정확도를 달성하기 위해 필요한 최소 복제본 수는 얼마인가?
• RQ4 이 알고리즘은 일반 양자 상태 토모그래피 또는 다른 양자 상태 유형으로 일반화될 수 있는가?
• RQ5 이러한 학습 작업에 필요한 측정 수나 복제본 수에 대한 본질적인 한계는 무엇인가?

주요 결과

• 알고리즘은 높은 확률로 트레이스 거리에서 ϵ-근접한 재구성을 달성하기 위해 O(m³n² log(1/δ)/ϵ⁴)개의 복제본과 O(m⁴n² log(1/δ)/ϵ⁴)의 고전적 시간을 사용한다.
• 이 방법은 오직 O(m)개의 측정 기저만을 필요로 하며, 각 기저는 커널 행렬 K의 비대각성 항을 추정하기 위해 모드 쌍에 대해 비틀림기반 연산을 수행한다.
• 한 모드 상관관계는 표준 기저에서 복제본에 대해 점유도 빈도를 평균 내어 추정한다.
• 비대각성 항 Kij는 제어된 비틀림기반 연산을 통해 실수부 Re(Kij)와 허수부 Im(Kij)를 추정하고, 이후 표준 기저에서 측정한다.
• 재구성된 상태 |ˆΨ⟩는 ˆK의 고유분해에서 얻은 고유벡터 행렬 Q의 첫 n개 열로 구성된 ˆA에서 유도된다.
• 알고리즘은 자유 페르미온 상태의 저랭크 및 행렬식적 구조 덕분에, 힐베르트 공간의 기하급수적 크기에도 불구하고 전체 상태를 효율적으로 학습할 수 있음을 보여준다.