[논문 리뷰] SymDPoly: symmetry-adapted moment relaxations for noncommutative polynomial optimization

Denis Rosset|arXiv (Cornell University)|2018. 08. 29.

Quantum Information and Cryptography참고 문헌 53인용 수 7

한 줄 요약

이 논문은 양자 정보에서 발생하는 비가환 다항식 최적화 문제의 대칭성을 자동으로 탐지하고 활용하는 소프트웨어 라이브러리인 SymDPoly를 소개한다. 대칭성에 적합한 모멘트 이완을 적용함으로써, 정수형 프로그래밍(SDP)의 크기를 줄여 메모리 사용량과 계산 시간을 수십만 배 수준으로 감소시키면서도 해의 정밀도를 향상시킨다. 이는 $I_{3322}$ 부등식에 대해 대칭화를 통해 최대 10배 높은 정밀도로 입증되었다.

ABSTRACT

Semidefinite relaxations are widely used to compute upper bounds on the objective of optimization problems involving noncommutative polynomials. Such optimization problems are prevalent in quantum information. We present an algorithm able to discover automatically and exploit the symmetries present in the problem formulation. We also provide an open source software library written in Scala ( https://denisrosset.github.io/symdpoly ) that computes symmetry-adapted semidefinite relaxations with interfaces to a variety of open-source and commercial semidefinite solvers. We discuss the advantages of symmetrization, namely reductions in memory use, computation time, and increase in the solution precision.

연구 동기 및 목표

• 비가환 다항식 최적화에서 정수형 프로그래밍 이완의 높은 계산 비용을 해결하기 위함이며, 특히 양자 정보 맥락에서의 적용을 대상으로 한다.
• 비가환 다항식을 포함한 최적화 문제에서 대칭성을 자동으로 탐지하고 적용하는 방법을 개발하기 위함이다.
• 대칭성에 적합한 모멘트 이완을 통해 정수형 프로그래밍의 메모리 사용량과 계산 시간을 줄이고 해의 정밀도를 향상시키기 위함이다.
• 다양한 SDP 솔버와 연동 가능한 Scala로 작성된 오픈소스 소프트웨어 라이브러리를 제공하기 위함이다. 이는 대칭성 감축된 이완 문제를 자동으로 설정한다.
• 고정밀 수치 결과를 포함한 벤치마크 문제들, 예를 들어 $I_{3322}$ 부등식에 대해 대칭화의 효과를 입증하기 위함이다.

제안 방법

• 비가환 단항식과 고정 연산을 기반으로 한 형식적 프레임워크를 사용하여 다항식 최적화 문제를 표현한다.
• 군 이론적 대칭성 감소 기법을 적용하여 문제의 전체 대칭군을 식별하며, 고정 연산과 가환하는 순열의 불변성도 고려한다.
• 대칭성에 적합한 기저를 사용해 모멘트 이완을 구성함으로써, 정수형 프로그래밍 행렬을 블록 대각형으로 분해하여 크기와 복잡도를 감소시킨다.
• 블록 대각형 분해 기법을 활용해 모멘트 행렬을 더 작은 독립 블록들로 분해함으로써, 메모리와 CPU 요구량을 크게 줄인다.
• 스칼라로 작성된 맞춤형 소프트웨어 라이브러리를 사용하여 대칭성을 자동으로 탐지하고 감소된 SDP 이완 문제를 설정하며, SDPA 및 VSDP 등의 솔버와 연동한다.
• 이 접근법은 Moroder 등과 Burgdorf 등이 제안한 모멘트 이완 계층 구조를 통합한 공통 형식론에 기반한다.

실험 결과

연구 질문

• RQ1 비가환 다항식 최적화 문제의 대칭성을 자동으로 탐지하고 활용하여 계산 비용을 줄일 수 있는가?
• RQ2 정수형 프로그래밍 이완에서 대칭성 적합 기법이 메모리 사용량과 계산 시간을 얼마나 줄일 수 있는가?
• RQ3 대칭성에 적합한 이완이 특히 고정밀 설정에서 정수형 프로그래밍 해의 수치 정밀도를 향상시킬 수 있는가?
• RQ4 대칭성 감축된 SDP의 블록 대각형 구조가 현대 솔버의 수렴성과 안정성에 어떤 영향을 미치는가?
• RQ5 대칭화가 $I_{3322}$ 부등식과 같은 벤치마크 양자 비국소성 문제의 해에 어떤 영향을 미치는가?

주요 결과

• 대칭성 적합으로 변수 수가 867개에서 124개로 감소했고, 가장 큰 블록 크기는 88에서 22로 줄어들어, 이완 계층 수준 3에서 CPU 시간이 73.2초에서 1.2초로 감소했다.
• 수준 4에서, 대칭성 감축된 설정으로 메모리 사용량이 331MB에서 10MB로 감소하고 CPU 시간이 8416초에서 62.6초로 줄어들어 135배의 속도 향상을 보였다.
• 대칭화로 인해 해의 정밀도가 약 한 자릿수 향상되었으며, 원래 해와 이중 해 사이의 갭이 약 ~10⁻³¹에서 ~10⁻³⁰으로 감소했고, $I_3$에 대한 경계가 더 탐색되었다.
• $I_3$의 경우, 대칭화 없이 얻은 해의 간격은 [1.25087555, 1.25087557]였지만, 대칭화를 통해 [1.250875561, 1.250875568]로 향상되어 정밀도 향상을 확인했다.
• 이 방법은 4개의 블록 대각형으로 구성된 5단계 이완을 8700초 내에 성공적으로 계산하여 고차수 이완으로의 확장성을 입증했다.
• 이중 이중(double-double) 및 4중 이중(quadruple-double) 정밀도 솔버를 사용한 결과, 대칭화가 특히 조건이 나쁜 문제에서 수치적 안정성과 정밀도를 향상시킨다는 것이 확인되었다.