[논문 리뷰] The complexity of semidefinite programs for testing $k$-block-positivity

Qian Chen, Benoît Collins|arXiv (Cornell University)|2026. 01. 27.

Complexity and Algorithms in Graphs인용 수 0

한 줄 요약

저자들은 k-block-positivity 테스트를 위한 SDP의 계산 복잡도를 Rectangular Young diagram symmetry reduction을 사용하여 분석하고, k=d일 때 계층 구조 붕괴를 입증하는 명시적 복잡도 공식을 도출한다.

ABSTRACT

We extend \cite{chen2025srkbp} by analyzing the complexity of the $k$-block-positivity testing algorithm that stems from the optimization problem in Definition ef{definition:SDP-k-block-positivity}. In this paper, we investigate a symmetry reduction scheme based on rectangular shaped Young diagrams. Connecting the complexity to the dimensions of irreducible representations of $\U(d)$, we derive an explicit formula for the complexity, which also clarifies why the semidefinite program hierarchy collapses in the $k=d$ case.

연구 동기 및 목표

• 이진 양자 시스템에서 k-block-positivity를 테스트하는 문제를 동기 부여하고 형식화한다.
• Young diagrams으로 인덱싱된 대칭 축소된 SDP 프레임워크를 개발하여 k-block-positivity 테스트를 근사한다.
• SDP 리소스 크기를 정량화하고 이를 U(d)의 불가약 표현과 연결한다.
• rectangular Young diagram scheme은 k-block-positivity 테스트에 충분함을 보여주고 명시적 복잡도 공식을 도출한다.

제안 방법

• k-block-positivity와 그의 SDP 형식을 k-purification과 extendibility 계층을 통해 정의한다.
• k-purification을 이용하여 k-block-positivity를 1-block-positivity 문제로 매핑한다.
• U(k)와 Bosonic 순열 대칭을 이용하여 SDPs를 Young diagrams로 인덱싱된 블록으로 축소하고, rectangular shapes에 초점을 맞춘다.
• d, k, n의 식으로 축소된 SDP 복잡도 C(nk)에 대한 명시적 표현식을 도출한다.
• Schur-Weyl 이중성에 의해 SDP 변수 크기를 U(d)의 불가약 표현의 차원과 연결한다.
• k = d일 때 계층이 어떻게 붕괴되는지 보여주고 k와 d-k 간의 복잡성을 비교한다.

실험 결과

연구 질문

• RQ1 대칭 축소를 이용한 semidefinite 프로그래밍으로 k-block-positivity 테스트를 효율적으로 다룰 수 있는가?
• RQ2 유효한 k-block-positivity 테스트를 위해 직사각형 모양의 Young 도형으로의 제한이 충분한가?
• RQ3 대칭 축소가 n, k, d의 함수로서 SDP의 크기/복잡성에 어떤 영향을 미치는가?
• RQ4 k = d의 경우 extendibility 계층이 왜 붕괴하는가?
• RQ5 이 설정에서 SDP 복잡성과 U(d)의 불가약 표현 간의 관계는 무엇인가?

주요 결과

• 명시적 SDP 복잡도 공식 C(nk) = d k(d + n −1)^(k+n−1) 곱으로 r이 1부터 k까지의 (d + n − r −1)!(k − r)!을 곱한 것 나누기 (k + n − r −1)!(d − r)!, 대칭 축소 후 복잡도가 O(nk(d−k))로 스케일한다.
• extended 계층 하에서 Rectangular-shaped Young diagrams는 k-block-positivity 테스트에 충분하다.
• 복잡도는 U(d) 표현의 차원에 의존하며, 계산 자원을 Schur-Weyl 이중성 구조와 연결한다.
• k = d일 때 SDP 계층은 최소 고유값에 기반한 단일 테스트로 축약되며 더 이상 계층이 필요하지 않다.
• rectangular-diagram scheme은 경제적인 접근법을 제공한다: 정확히 k 행을 가진 블록만 목표에 기여하여 계산량이 감소한다.