An exact semidefinite characterization of the stoquasticity cone of permutationally invariant Bell operators

기술 요약: 순열 불변 벨 연산자의 스토카스틱성 원뿔에 대한 정확한 반정부호(Semidefinite) 특성 규명

문제 정의
대규모 원자 앙상블(수백 개에서 수십만 개의 입자 범위)에서의 벨 상관관계는 종종 순열 불변(permutationally invariant, PI) 벨 연산자를 사용하여 검출됩니다. 이 영역에서 관찰되는 중요한 현상은, 많은 실험적으로 구현된 연산자들의 경우 최대 위반 상태가 비음수 진폭을 갖는 기저(basis)로 표현될 수 있다는 점입니다. 이 기저에서 벨 연산자는 '스토카스틱(stoquastic)'하며, 이는 연산자의 비대각 성분이 실수이면서 동시에 음수가 아님(non-positive)을 의미합니다. 벨 계수들이 연산자를 스토카스틱하게 만드는 계수의 집합은 볼록 영역인 **스토카스틱성 원뿔(stoquasticity cone)**을 형성합니다.

$K \geq 3$인 연산자에 대해 이 원뿔을 특성화하는 것은 미해결 과제였습니다. $K=2$인 이체(two-body) 연산자의 경우, 시스템 크기 $n$에 독립적인 고정된 수의 초평면으로 정의되는 다면체 원뿔임이 알려져 있습니다. 그러나 고차 연산자의 경우 제약 조건이 급증합니다. 구체적으로, 스토카스틱 조건은 모든 비대각 행렬 성분이 음수 또는 0이어야 함을 요구합니다. 그런데 이러한 성분의 개수는 시스템 크기 $n$에 따라 스케일링되므로, 원뿔을 정의하는 선형 부등식의 수가 $n$과 함께 증가하게 됩니다. 이러한 증가는 벨 연산자의 양자-고전 간극(quantum-classical gap)을 극대화하기 위한 최적화를 방해하는데, 왜냐하면 최적화에는 원뿔의 쌍대(vertex) 기술이 필요하기 때문입니다.

방법론
저자들은 대칭 부공간(symmetric subspace, 해밀토니안의 가장 큰 블록) 내에서의 PI 벨 연산자의 구조적 특성을 활용합니다. 그들의 접근 방식은 세 단계로 진행됩니다:

1. 비대각 성분의 다항식 구조: 저자들은 특정 비대각 성분 $d$(주대각선으로부터의 거리 $d$)를 따라, 행렬 성분 $(B)_{k, k+d}$가 임의의 값이 아니라 리스케일링된 행 인덱스 $k$에 대한 단일 일변량 다항식의 값임을 입증합니다. 즉, $(B)_{k, k+d} = \sqrt{f_d(n,k)} h_d(n, k; \vec{\alpha})$이며, 여기서 $h_d$는 $k$에 대한 최대 차수가 $K-d$인 다항식이고 계수는 벨 계수 $\vec{\alpha}$에 선형적입니다.
2. 열역학적 극한으로의 축소: 각 비대각 성분에 대해 $O(n)$개의 이산적인 부등식을 확인하는 대신, 저자들은 열역학적 극한($n \to \infty$)으로 넘어갑니다. $k = (n-d)x$로 치환하여 $x \in [0, 1]$에 대해 적용함으로써, 이산적인 제약 조건 집합을 연속적인 조건인 "다항식 $h_d(x, \vec{\alpha})$가 구간 $[0, 1]$ 내의 모든 $x$에 대해 음수 또는 0이어야 한다"는 조건, 즉 $\sup_{x \in [0,1]} h_d(x, \vec{\alpha}) \leq 0$으로 대체합니다. 이는 각 비대각 성분당 $O(n)$개의 제약 조건을 하나의 연속적인 조건으로 줄여줍니다.
3. 반정부호 특성 규명: 구간 $[0, 1]$에서 일변량 다항식이 음수 또는 0임을 보장하는 문제는 마르코프-루카스(Markov–Lukács) 정리를 사용하여 해결됩니다. 이 정리는 구간 $[0, 1]$에서 비음수인 일변량 다항식은 양정부호(positive semidefinite) 그람 행렬(Gram matrix)을 포함하는 특정 SOS(sum-of-squares) 분해를 가짐을 명시합니다. 결과적으로, $\sup h_d \leq 0$ 조건은 선형 행렬 부등식(LMI)의 가해성(feasibility)과 동치입니다. 따라서 스토카스틱성 원뿔은 **투영된 스펙트라헤드론(projected spectrahedron 또는 spectrahedral shadow)**으로 특성화됩니다.

주요 기여 및 결과

• 정확한 반정부호 정식화: 본 논문은 임의의 차수 $K$를 가진 PI 벨 연산자에 대해 열역학적 극한에서의 정확한 반정부호 특성을 제공합니다. 다변량 다항식의 비음수성 문제와 달리, 비대각 성분의 일변량 특성 덕분에 계층적 근사(hierarchy of relaxations, Positivstellensatz) 없이 단 한 번의 SDP(semidefinite program)만으로 정확한 표현이 가능합니다.
• 이체 사례 ($K=2$): 본 방법론은 이체 스토카스틱성 원뿔이 $n$에 독립적인 세 개의 초평면에 의해 정의되는 다면체 원뿔이라는 기존 결과를 재현합니다. 이는 접근 방식의 타당성을 검증합니다.
• 삼체 사례 ($K=3$): 삼체 연산자의 경우, 저자들은 새로운 기하학적 구조를 도출했습니다. 두 번째와 세 번째 비대각 성분은 선형 제약(초평면)을 생성하지만, 첫 번째 비대각 성분은 이차 제약을 생성합니다. 내부 영역에서의 원뿔 경계는 **이차 원뿔(quadric cone, 곡선 경계)**이며, 단일 보조 변수를 갖는 캐노니컬 LMI로 기술됩니다.
  • 저자들은 엄격한 열역학적 극한에서 이 곡선 경계가 한 쌍의 초평면(다면체 형태)으로 퇴화함을 보여줍니다.
  • 그러나 유한한 $n$에 대해서는 곡률이 $O(1/n)$ 효과로 존재합니다. 논문은 이 오차를 정량화하여, 열역학적 극한 근사가 실험적으로 유의미한 시스템 크기(예: $n \approx 5 \times 10^5$)에서 매우 정확하며, 상대적 편차가 $1/n$으로 스케일링됨을 보여줍니다.
• 패리티(Parity) 및 대칭성: 저자들은 극한 다항식의 패리티 성질인 $h^\infty_d(1-x) = (-1)^{K-d} h^\infty_d(x)$를 식별했습니다. 이 대칭성은 $K-d$가 홀수일 때 비대각 제약이 극한 상황에서 등식 제약으로 퇴화함을, $K-d$가 짝수일 때 구간 상의 비음수 다항식을 정의함을 의미합니다.

의의 및 주장
본 논문은 많은 체(many-body) PI 벨 연산자의 부등식 급증 문제가 사실은 표면적인 복잡성에 불과함을 보여줌으로써 이 문제를 해결했다고 주장합니다. 핵심 통찰은 각 비대각 성분에 따른 스토카스틱성 조건이 단일 일변량 다항식에 의해 지배된다는 것이며, 이를 통해 전체 가용 영역을 단일 SDP로 포착할 수 있습니다.

• 통합: 이 접근법은 이체 연산자의 알려진 다면체 기술과 고차 연산자의 미지의 구조를 통합합니다.
• 계산적 용이성: 벨 연산자가 스토카스틱한지 결정하는 문제는 단일 반정부호 가해성 문제로 환원됩니다. 또한, 주어진 속성을 갖는 스토카스틱 벨 연산자를 설계하는 것은 이 원뿔에 대한 반정부호 최적화 문제가 됩니다.
• 물리적 관련성: 본 결과는 대규모 원자 앙상블을 다루는 현재의 실험들에 직접 적용 가능합니다. 저자들은 유한 시스템에 대한 열역학적 극한 묘사의 충실도를 정량화하여, 실험 데이터(예: 보스-아인슈타인 응축물) 분석에 유용함을 확인했습니다.
• 한계 및 향후 과제: 저자들은 SDP 특성화는 정확하지만, $K \geq 3$인 경우 원뿔의 명시적인 정점 기술(extremal rays)은 여전히 미해결 과제로 남아 있다고 언급했습니다. 또한, 큐트릿(qutrit, 스핀-1) 시스템으로의 확장은 대칭 섹터가 2차원이 되어 다변량 다항식이 발생하므로, 정확한 SOS 표현을 위해 계층 구조가 필요할 수 있는 더 어려운 문제임을 명시했습니다.

요약하자면, 본 논문은 순열 불변 벨 연산자의 스토카스틱성을 분석하기 위한 엄격하고 정확하며 계산 효율적인 프레임워크를 제공하며, 시스템 크기에 선형적으로 증가하던 제약 문제를 고정된 크기의 반정부호 프로그램으로 변환하였습니다.