Maximal Orbital Entanglement from Non-Interacting Fermions

기술 요약: 비상호작용 페르미온으로부터의 최대 궤도 얽힘 (Maximal Orbital Entanglement from Non-Interacting Fermions)

문제 정의
양자 다체 물리학 및 화학에서, 궤도 회전(orbital rotations)은 일반적으로 궤도 상관관계(orbital correlation)를 최소화하여 양자 상태의 복잡성을 작은 세트의 관련 궤도로 압축하는 데 사용됩니다 (예: 텐서 네트워크 방법이나 하트리-포크 이론). 반대로, 양자 정보 처리(QIP)는 얽힘을 자원으로 최대화하고자 합니다. 자유 상태(비상호작용 페르미온)에 대한 궤도 상관관계의 최소화는 잘 알려져 있지만(그들의 자연 궤도 기저에서 0이 됨), 이러한 상태의 궤도 얽힘을 최대화하는 연구는 거의 이루어지지 않았으며, 특정 상태나 평균적인 경우, 또는 구별 가능한/보존적 시스템에 대해서만 다루어져 왔습니다.

본 연구는 다음과 같은 근본적인 질문을 다룹니다: 비상호작용 페르미온(구체적으로 슬레이터 행렬식 및 일반적인 자유 상태)은 최적의 궤도 회전 하에서 얼마나 많은 궤도 얽힘과 총 상관관계를 가질 수 있는가?

방법론
저자들은 $N$-페르미온 상태에서의 궤도 상관관계 최대화 문제를 일입자 축약 밀도 행렬(1RDM) 공간에서의 스펙트럼 최적화 문제로 재구성합니다.

1. 1RDM으로의 축소: 자유 상태(슬레이터 행렬식 및 가우시안 상태 포함)는 그들의 1RDM에 의해 완전히 결정되므로, 다체 힐베르트 공간에 대한 최적화는 고정된 스펙트럼(자연 점유수, NONs)을 가진 $d \times d$ 헤르미시안 행렬에 대한 최적화로 축소됩니다.
2. 블록 스펙트럼 및 메이저화(Majorization): 문제는 격자의 특정 분할에 의해 유도되는 블록 스펙트럼(1RDM의 대각 블록 고윳값들)의 집합을 특징짓는 것으로 더 축소됩니다. 저자들은 최적의 블록 스펙트럼을 식별하기 위해 메이저화($\prec$) 개념을 활용합니다. 이들은 목적 함수가 엄격한 슈르-오목(Schur-concave) 함수임을 입증합니다. 따라서 극댓값은 가능한 블록 스펙트럼 집합 내에서 메이저화가 가장 적게 되는(majorization-least) 원소에 해당합니다.
3. 새로운 수학적 도구: 일반적인 문제를 해결하기 위해, 저자들은 헤르미시안 행렬의 블록 스펙트럼에 대한 새로운 메이저화 관계(정리 1 및 정리 4)를 유도하며, 이는 행렬의 스펙트럼과 그 대각 블록의 스펙트럼 사이의 관계를 규명합니다.

주요 기여 및 결과

• 결과 1: 슬레이터 행렬식의 최대 얽힘
  $d = d_A + d_B$ 개의 사이트를 가진 격자 위의 $N$개 페르미온 시스템에 대해, 슬레이터 행렬식(SD)이 도달할 수 있는 최대 궤도 얽힘 엔트로피는 다음과 같습니다:
  $$E_{\text{max}} = \min\{d_A, d_B, N, d-N\} \times \log 2$$
  이는 궤도 쌍의 "빔 스플리터 유형" 회전(구체적으로 궤도 $j$와 $d+1-j$를 혼합)에 의해 달성됩니다. 입자 및 홀의 수가 충분하다면 ($\min\{N, d-N\} \ge \min\{d_A, d_B\}$), 이 값은 모든 페르미온 상태가 가질 수 있는 최대 얽힘과 같으며, 이는 비상호작용 상태가 QIP를 위한 자원으로서 상호작용하는 상태만큼 유용할 수 있음을 의미합니다.

• 결과 2: 임의의 자유 상태에 대한 최대 상관관계 (이분할)
  저자들은 결과 1을 주어진 자연 점유수 $n = (n_1, \dots, n_d)$를 가진 임의의 자유 상태(혼합 상태 포함)로 일반화합니다. 임의의 이분할 $\lambda = (\lambda_1, \lambda_2)$에 대해, 저자들은 블록 스펙트럼의 극댓값 $b_{\text{max}}$에 대한 폐쇄형 식을 유도합니다. $b_{\text{max}}$의 성분은 자연 점유수 쌍의 평균(예: $(n_1+n_d)/2, (n_2+n_{d-1})/2, \dots$)입니다. 최대 총 상관관계는 $C_{\text{max}} = H(b_{\text{max}}) - H(n)$입니다.

• 결과 3: 임의의 순수 상태에 대한 얽힘 상한
  유도된 메이저화 관계를 사용하여, 저자들은 임의의 패리티 초선택 규칙(parity-superselected)을 따르는 페르미온 순수 상태(상호작용하는 바닥 상태 포함)의 궤도 얽힘에 대한 상한을 자연 점유수를 통해 설정합니다:
  $$E(|\Psi\rangle) \le \frac{1}{2} H(b_{\text{max}})$$
  이 상한은 표준 차원 기반 상한보다 엄격하게 강력합니다.

• 결과 4: 가장 미세한 분할 (자명한 다중 분할)
  각 격자 사이트가 별개의 서브시스템이 되는 가장 미세한 분할($\lambda = (1, \dots, 1)$)의 경우, 극댓값은 모든 성분이 평균 충전율 $\eta = (\sum n_j)/d$와 같은 최대 혼합 벡터입니다. 최적의 유니터리는 궤도의 이산 푸리에 변환(DFT)에 해당합니다.

• 결과 5: 일반적인 다중 분할 ($d \le 5$)
  저자들은 최대 5개의 사이트를 가진 격자의 모든 분할에 대한 명시적인 폐쇄형 해를 제공합니다. 저자들은 극댓값의 함수 형태가 $n$의 특정 값에 따라 달라지며, 서로 다른 "영역(regimes)"을 정의함을 관찰합니다. 해결된 모든 경우에서 극댓값은 메이저화가 가장 적게 되며, 그 성분은 자연 점유수의 부분집합의 평균입니다.

• 추측 1 & 2: $d=12$까지의 수치적 증거를 바탕으로, 저자들은 임의의 차원과 분할에 대해 최적의 블록 스펙트럼이 항상 가용한 집합 내에서 메이저화가 가장 적게 되는 원소이며, 그 성분은 항상 인덱스의 정렬된 분할에 의해 정의된 자연 점유수의 부분집합의 평균일 것이라고 추측합니다.

• 확장:

  • 초선택 규칙 (SSRs): 저자들은 국소적 입자 수 SSR의 영향을 분석합니다. 그들은 SSR이 접근 가능한 상관관계를 감소시키지만, SSR 없이 유도된 최적 유니터리가 효과적(엄밀히 최적이 아닐지라도)으로 남아 있으며, 상관관계 손실은 입자 수가 많은 극한에서 소멸함을 발견했습니다.
  • 순수 가우시안 상태: 고정된 입자 수를 가질 수 있는 일반적인 순수 페르미온 가우시안 상태의 경우, 최대 얽힘은 균형 잡힌 이분할 $2k$ 궤도에 대해 $k$ ebits임이 BCS-유사 상태를 통해 나타납니다.

의의 및 주장
본 논문은 다체 물리학에서 복잡성을 줄이기 위한 출발점으로 간주되는 평균장 상태(슬레이터 행렬식 및 자유 상태)를 양자 정보 처리를 위한 실행 가능한 자원으로 전환한다고 주장합니다.

• 자원 식별: 비상호작용 페르미온은 입자 상관관계가 0임에도 불구하고, 최적의 회전 하에서 최대 궤도 얽힘을 가질 수 있음을 보여줍니다.
• 운용 가능성: 최적의 회전은 빔 스플리터 유형의 기본 두 궤도 유니터리로 구성되며, 이는 광격자, 양자점, 초전도 프로세서에서 실험적으로 구현 가능합니다.
• 이론적 완성: 본 연구는 동일 입자에 대한 궤도 상대성(orbital relativity)의 그림을 완성함으로써, 궤도 상관관계를 최소화하는 잘 확립된 과정의 최대화 대응물을 제공합니다.
• 페르미온 특이성: 자유 상태 중에서 궤도 얽힘이 진정한 페르미온 자원임을 식별합니다 (보존 자유 상태는 항상 분리 가능함).

저자들은 임의의 다중 분할에 대한 일반적인 해에 대해 겸손한 입장을 유지하며, $d \le 5$ 및 $d \le 12$에 대한 수치적 결과를 모든 $d$에 대한 증명된 정리라기보다는 강력한 증거로서 제시합니다. 또한 유도된 메이저화 관계가 행렬 해석학 분야에서 독립적인 가치를 지닌 새로운 결과임을 명시합니다.