Testing the equivalence to thermal states via extractable work under LOCC

기술적 요약: LOCC 하에서의 추출 가능한 일(Work)을 통한 열적 상태로의 등가성 테스트

문제 정의
고립된 양자 다체 순수 상태(pure states)에서 어떻게 열적 거동이 발현되는지를 이해하는 것은 양자 열역학의 핵심적인 문제입니다. 전형적인 순수 상태들은 엄격한 국소 연산(LO)에 제한될 경우 열적 상태와 구별할 수 없다는 사실이 잘 알려져 있습니다. 이는 해당 상태들로부터 추출 가능한 일이 열적 상태의 거동과 마찬가지로 열역학적 극한에서 소멸하기 때문입니다. 이러한 등가성은 국소 연산이 서브시스템 간의 상관관계를 이용할 수 없기 때문에 발생합니다. 반면, 임의의 전역 연산(global operations) 하에서는 다입자 상관관계를 완전히 활용함으로써 모든 순수 상태로부터 광범ist한(extensive) 일을 추출할 수 있습니다.

본 연구에서 다루는 결정적인 미해결 과제는, 이 열적 상태로의 등가성이 국소 연산 및 고전 통신(LOCC) 하에서도 유지되는가 하는 점입니다. LOCC는 고전적으로 접근 가능한 상관관계를 활용할 수 있으면서도, 진정한 양자 상관관계는 여전히 접근 불가능한 중간 단계의 운용 영역을 나타냅니다. 순수 상태가 "열적" 상태(서브익스텐시브한 일을 산출)로 남을지, 아니면 "비열적" 상태(익스텐시브한 일을 산출)가 될지를 결정하는 것은 단순하지 않은데, 이는 고전적 다입자 상관관계와 양자적 다입자 상관관계를 구분해야 하기 때문입니다.

방법론
저자들은 무한 온도 영역($k_B T \gg \Delta E$)에서의 일 추출 프레임워크를 채택하며, 여기서 추출 가능한 일은 에너지 변화보다는 오직 상태의 순도(purity)에 의해 결정됩니다. 이 프레임워크는 세 가지 영역을 정의합니다:

1. 전역 연산 ($W_{\text{global}}$): $W_{\text{global}}(\rho) = N \ln d - S(\rho)$. 순수 상태의 경우, 이는 익스텐시브($\Theta(N)$)합니다.
2. 엄격한 국소 연산 ($W_{\text{local}}$): $W_{\text{local}}(\rho) = N \ln d - \sum S(\rho_n)$. 국소적으로 열적 상태와 구별 불가능한 상태의 경우, 이는 소멸합니다($o(1)$).
3. LOCC ($W_{\text{LOCC}}$): 모든 유한 단계 LOCC 프로토콜에 대한 추출 가능한 일의 상한(supremum)으로 정의됩니다. 일은 $W_{\text{LOCC}}(\rho) = N \ln d - \min_{\Lambda} H_{\Lambda, \rho}(Y^L)$로 정식화되며, 여기서 두 번째 항은 측정 결과인 고전적 메모리를 지우는 데 드는 비용을 나타냅니다.

모든 LOCC 프로토콜에 대해 최적화하는 작업의 어려움을 해결하기 위해, 저자들은 기하학적 얽힘(geometric entanglement, $E_g$)을 사용하여 $W_{\text{LOCC}}$에 대한 다루기 쉬운 **상한(upper bound)**을 도출합니다:
$$W_{\text{LOCC}}(|\psi\rangle) \leq N \ln d - E_g(|\psi\rangle)$$
여기서 $E_g(|\psi\rangle) \equiv -\ln (\max_{|u\rangle \in \mathcal{P}_{SN}} |\langle u|\psi\rangle|^2)$이며, $\mathcal{P}_{SN}$은 곱 상태(product states)의 집합입니다. 이 부등식은 만약 어떤 상태가 점근적으로 최대치에 달하는 다입자 얽힘($E_g \approx N \ln d$)을 가진다면, LOCC 하에서의 추출 가능한 일이 서브익스텐시브(subextensive)해야 함을 시사합니다.

이 상한이 서브익스텐시성을 보장하지 못하는 상태들에 대해, 저자들은 맞춤형 일 추출 프로토콜(특히 적응형 측정 전략)을 설계하여 익스텐시브한 일 추출을 입증하는 명시적인 **하한(lower bounds)**을 구축합니다.

주요 기여 및 결과
본 논문은 추출 가능한 일의 스케일링($W_{\text{LOCC}}$)을 기반으로 열적 등가성에 대한 기준을 확립합니다. 상태가 $W_{\text{LOCC}} = o(N)$이면 열적 등가적이라고 간주하며, $W_{\text{LOCC}} = \Theta(N)$이면 비등가적이라고 간주합니다.

1. 고도로 얽힌 상태 (열적 등가성):
   저자들은 점근적으로 최대 기하학적 얽힘을 생성하는 상태들이 LOCC 하에서 서브익스텐시브한 일을 생성함을 증명합니다. 이 클래스에는 다음이 포함됩니다:

   • Haar-random 상태: 높은 확률로 최대 기하학적 얽힘을 가짐이 증명되었으며, 이에 따라 $W_{\text{LOCC}} \leq 2 \ln N = o(N)$이 됩니다.
   • 근사 상태 $t$-디자인(approximate state $t$-designs): $t = \omega(\ln N)$인 앙상블의 경우, 기하학적 얽힘 역시 점근적으로 최대치에 달하며, 결과적으로 $W_{\text{LOCC}} = o(N)$이 됩니다.
   • 랜덤 그래프 상태(Random graph states): 모든 $N$-정점 그래프로부터 균일하게 샘플링된 그래프들은 최대 기하학적 얽힘을 나타내며, $W_{\text{LOCC}} = o(N)$을 가집니다.
     이러한 결과들은 이들이 국소적으로는 열적 상태와 구별 불가능함에도 불구하고, 고전적 통신이 허용될 때도 열적 등가성을 유지함을 확인시켜 줍니다.

2. 제한된 얽힘을 가진 상태 (열적 비등가성):
   반대로, 저자들은 제한된 다입자 얽힘 구조를 가진 특정 상태들이 국소적으로는 열적임에도 불구하고 LOCC 하에서 익스텐시브한 일 추출을 허용한다는 것을 보여줍니다:

   • 상수 차수 그래프 상태(Constant-degree graph states): 모든 정점의 차수가 고정된 $r = O(1)$인 그래프 상태(예: 육각형 또는 사각형 격자)의 경우, 저자들은 $W_{\text{LOCC}} \geq \frac{N \ln 2}{r+1} = \Theta(N)$을 산출하는 프로토콜을 구축합니다.
   • 부분 집합 상태 앙상블(Subset state ensemble): 계산 기저(computational basis)의 부분 집합 $S$에 대한 균일 중첩으로 정의된 상태로, 지지 집합 크기가 $K < 2^{cN}$ ($c < 1$)인 경우입니다. 단순한 1-라운드 프로토콜을 통해 $W_{\text{LOCC}} \geq N \ln 2 - \ln K = \Theta(N)$을 얻습니다.
   • 오토마타 회로(Automaton circuits): 저자들은 계산 기저에서 결맞음(coherence)을 생성하지 않는 오토마타 회로의 출력 상태들이 이 범주에 속하며, 국소적 열화는 보이지만 LOCC 비등가성을 보인다고 언급합니다.

의의
본 논문은 전통적인 국소 영역을 넘어 확장된 정교한 운용적 열적 등가 개념을 제공합니다. LOCC를 활용함으로써, 본 연구는 단순히 국소적으로 열적인 상태와 고전적 통신이 존재하는 상황에서 전역적으로 열적인 상태를 구분합니다.

주요 의의는 다입자 양자 상관 구조를 열역학적 거동과 직접 연결시킨 데 있습니다. 결과는 다음과 같이 보여줍니다:

• 점근적으로 최대 다입자 얽힘을 가진 상태(Haar-random 상태 등)는 LOCC 하에서도 견고하게 열적입니다.
• 제한된 다입자 얽힘을 가진 상태(상수 차수 그래프 상태나 낮은 결맞음을 가진 부분 집합 상태 등)는 LOCC를 통해 열적 상태와 구별될 수 있으며, 익스텐시브한 일 추출을 허용합니다.

이 연구는 고립된 양자계의 열화(thermalization)에 대한 이해를 정교화하며, 상관 구조를 바탕으로 순수 상태를 분류하는 운용적 기준을 제시합니다. 이는 상태의 "열적" 성질이 절대적인 것이 아니라 허용된 연산의 클래스에 따라 달라진다는 점을 강조하며, 이는 서브시스템 간의 고전적 통신을 포함하도록 실험적 역량이 확장됨에 따라 점점 더 중요해지는 구분입니다.