Stationarity is not enough: tightness of the quantum mechanical bootstrap and the copositive cone

기술 요약: 정체성(Stationarity)만으로는 충분하지 않다: 양자 역학적 부트스트랩의 조밀함과 코포지티브 원뿔(copositive cone)

문제 정의
본 논문은 양자 역학을 위한 수치적 부트스트랩 방법의 "조밀함(tightness)"을 조사한다. 부트스트랩 접근법은 해밀토니안 $H$와 연산자 대수로부터 유도된 선형 제약 조건을 테스트하여 후보 상태의 양의 성질을 결정하며, 미분 방정식을 풀지 않는다. 이 절단된 모멘트 문제(truncated moment problem)에서 핵심적인 미묘함은 두 가지 양의 조건 사이의 구별에 있다:

1. 제곱합 (Sum of Squares, SOS): 모든 연산자 $A$에 대해 선형 범함수 $L(A^\dagger A) \geq 0$를 요구함.
2. 점별 비음성 (Pointwise Nonnegativity): $\mathbb{R}^d$ 상의 모든 곳에서 비음수인 모든 다항식 $f$에 대해 $L(f) \geq 0$를 요구함.

이 두 조건은 1차원에서는 일치하지만(모든 단변수 비음 다항식은 SOS라는 힐베르트의 결과 덕분에), 2차원 이상의 차원에서는 서로 달라진다. 본 논문은 수학적으로 이 SOS 원뿔과 비음 원뿔 사이의 간극이 물리적인 양자 시스템에 의해 실제로 구현되는지(즉, 모든 부트스트랩 제약 조건을 만족하지만 실제 물리적 상태에는 대응하지 않는 "가짜" 모멘트 벡터가 존재하는지)를 묻는다.

저자는 두 가지 유형의 완화(relaxation)를 구분한다:

• 정체 부트스트랩 (Stationary Bootstrap): $\langle [H, O] \rangle = 0$을 부과함 (열적 및 혼합 상태에 유효).
• 고유상태 부트스트랩 (Eigenstate Bootstrap): 추가로 $\langle OH \rangle = E \langle O \rangle$를 부과함 (에너지 고유상태에만 유효).

방법론
저자는 수치적 반올림 오차를 피하기 위해 정확한 유리수 산술(exact rational arithmetic)을 사용하여 모든 주장이 엄격하게 검증되었음을 보장한다.

1. 반례 구축: 저자는 부트스트랩 제약 조건을 준정부호 프로그래밍(Semidefinite Program, SDP)으로 공식화한다. 정체(stationary) 사례의 경우, 특정 절단 수준까지 모든 제약 조건을 만족하면서도 $\mathbb{R}^d$ 전체에서 비음수인 다항식에 대해 음의 기댓값을 갖는 모멘트 벡터를 탐색한다.
2. 분리 증인 (Separating Witnesses): 모멘트 벡터가 물리적이지 않음을 증명하기 위해, 저자는 $L(p) < 0$을 만족하는 다항식 $p \geq 0$인 "분리 증인"을 구성한다.
3. 대칭 감소 (Symmetry Reduction): 분석에는 부호 반전($q_j \to -q_j$) 및 좌표 치환에 대해 불변인 퍼텐셜을 활용한다. 이는 일반성을 잃지 않으면서 가짜 점(spurious points)의 존재 여부에 관한 탐색 공간과 제약 집합을 줄여준다.
4. 코포지티브 원뿔 분석: 고차원에서의 문제를 코포지티브 원뿔(모든 $x \geq 0$에 대해 $x^T W x \geq 0$인 행렬 $W$)과 연관시킨다. 저자는 양의 준정부호 행렬과 비음 행렬의 합($P+N$)과 코포지티브 원뿔 사이의 알려진 간극(차원 $d=5$에서 처음 나타남)을 활용한다.

주요 결과

1. 정체 부트스트랩은 조밀하지 않다 (정리 1)
2차원 4차 더블 웰 퍼텐셜($d=2$)의 절단 수준 $K=3$에 대해, 저자는 다음을 만족하는 유리수 성분을 가진 모멘트 벡터 $m$을 제시한다:

• 모든 정체 제약 조건 $\langle [H, O] \rangle = 0$을 정확하게 만족한다.
• 양의 정부호 모멘트 행렬 $M_3$를 갖는다.
• 특정 다항식 $p_c$에 대해 음의 기댓값($L_m(p_c) \approx -0.086$)을 할당한다. 이때 $p_c$는 $\mathbb{R}^2$ 전체에서 비음이다.
• 결과적으로, $m$은 어떤 양자 상태(순수 또는 혼합)의 모멘트 수열도 아니다.
• 결정적 세부 사항: 다항식 $p_c$는 제곱합(SOS)이 아니다. 만약 SOS였다면, $M_3$의 양의 정부호성이 $L_m(p_c) \geq 0$을 보장했을 것이다. 실패는 SOS 원뿔이 비음 원뿔보다 엄격하게 작기 때문에 발생한다.

2. 고유상태 부트스트랩은 조밀해 보인다 (체계적 탐색)
고유상태 제약 $\langle OH \rangle = E \langle O \rangle$가 추가될 때, 위반 현상이 사라진다. 저자는 다음을 포함한 다양한 설정에서 체계적인 탐색을 수행했다:

• 차원 $d=2, 3, 5$.
• 절단 수준 $K=3, 4$.
• 알려진 비-SOS 형태(Robinson의 형태 및 Horn의 행렬 포함)를 활용하도록 설계된 다양한 퍼텐셜.
  테스트된 모든 설정(에너지가 하한을 갖고 이산 스펙트럼을 갖는 경우)에서 분리 증인이 발견되지 않았다. 유일한 예외는 $K=2$인 경우로, 이때는 차수 예산이 너무 낮아 고유상태 제약이 사실상 사라져 에너지 정규화만을 남긴 상태였다.

3. 메커니즘: 유계된 운동량 모멘트
논문은 고유상태 사례에서 간극을 방지하는 물리적 메커니즘을 식별한다.

• 정체 완화(stationary relaxation)에서는 고차 운동량 모멘트(예: $\langle p^4 \rangle, \langle p^6 \rangle$)가 허용 집합 내에서 유계되지 않는다. 정리 1에서 발견된 가짜 점은 위치 기반 제약은 만족하면서 비음성을 위반할 수 있도록 팽창된 운동량 모멘트를 가짐으로써 이를 이용한다.
• 고유상태 제약 $\langle OH \rangle = E \langle O \rangle$는 이러한 고차 운동량 모멘트를 효과적으로 제한한다.
• 명제 1: $d=2, K=3$인 4차 퍼텐셜에 대해, 고유상태 제약은 에너지 $E$와 퍼텐셜의 최솟값에 따른 $\langle p^4 \rangle$의 명시적 상한을 함의한다. 이 상한은 모멘트 벡터가 SOS와 비음 원뿔 사이의 영역으로 탈출하는 것을 방지한다.

4. 코포지티비티와 차원성
저자는 왜 고차원에서 위반이 나타날 수 있는지 분석한다.

• $d=5$에서, SOS 원뿔과 비음 원뿔 사이의 간극은 $P+N$ 원뿔과 코포지티브 원뿔 사이의 간극(Horn의 행렬)과 연결된다.
• $K=2$에서, 부트스트랩은 $P+N$에 대한 멤버십을 인증하며, 만약 증인이 코포지티브 원뿔에 속하지만 $P+N$ 밖에 있다면 위반이 발생할 수 있다.
• $K=3$에서, 부트스트랩은 Parrilo 계층의 더 높은 단계($K_1$)에 대한 멤버십을 인증한다. 저자는 Horn의 행렬이 $K_1$ 내부에 있음을 보여줌으로써, 대칭 퍼텐셜을 가진 $d=5$에서 위반이 발견되지 않은 이유를 설명한다.

의의 및 주장
논문은 다음과 같은 기여를 주장한다:

• 열린 질문의 해결: 정체 부트스트랩 완화가 $d \geq 2$에서 조밀하지 않다는 것을 최초의 엄격한 정확한 산술 증명을 통해 입증했다. 이는 정체 제약과 모멘트 행렬의 양의 정부호성을 만족하는 것만으로는 물리적 상태를 보장하기에 불충분함을 보여준다.
• 완화의 구별: 고유상태 제약이 단순한 정교화가 아니라, 운동량 모멘트를 제한함으로써 허용 집합의 기하학적 구조를 근본적으로 변화시켜 SOS와 비음 원뿔 사이의 간극을 닫는다는 점을 강조한다.
• 현재 이론의 한계: 이 결과는 아르키메데스 조건(유계 연산자)을 충족하지 못하는 Weyl 대수($[q, p] = i$)를 따르는 비가환 다항식 최적화의 기존 수렴 이론의 범위를 벗어난다.
• 추측: 저자는 고유상태 제약이 운동량 모멘트에 대한 아르키메데스 유형의 상한($\langle p^{2k} \rangle \leq C(E, k)$)을 함의하며, 이것이 충분히 높은 절단 수준에서 고유상태 부트스트랩의 조밀성을 보장할 것이라고 추측한다.
• 실용적 진단 도구: 향후 부스트랩 연구를 위한 진단 테스트를 제안한다: $d \geq 2$에서 위반이 보고될 때마다, 후보 모멘트 벡터가 알려진 비-SOS 비음 다항식에 대해 음의 기댓값을 갖는지 확인해야 한다.

저자는 자신의 고유상태 결과에 대해 겸손한 태도를 유지하며, 이를 증명이 아닌 "체계적인 수치적 증거"로 규정하고, 사용된 교대 탐색(alternating search) 방법이 국소적임을 인정한다. 그러나 식별된 메커니즘(운동량 모멘트의 유계성)이 관찰된 조밀성에 대한 강력한 이론적 근거를 제공한다고 주장한다.