[논문 리뷰] Tractable Subcones and LP-based Algorithms for Testing Copositivity

Akihiro Tanaka, Akiko Yoshise|arXiv (Cornell University)|2015. 01. 01.

Matrix Theory and Algorithms참고 문헌 37인용 수 3

한 줄 요약

이 논문은 선형계획법(LP)을 통한 코포지티브 검증이 가능하도록 O(n²) 변수와 O(n²) 제약 조건을 가진 선형계획법(LP)을 이용하는, 더 큰 두 개의 새로운 하위코너를 제안한다. 이는 반정형기저(SD 기저)를 사용하여 도출된 것으로, 코포지티브 코너의 더 큰 하위코너를 제공한다. 제안된 하위코너는 유용한 계산 가능성 성질을 유지하며, 수치적 성능이 향상되어 실용적인 코포지티브 검증에 유망하다.

ABSTRACT

The authors in a previous paper devised certain subcones of the copositive cone and showed that one can detect whether a given matrix belongs to each of them by solving linear optimization problems (LPs) with O(n) variables and O(n 2 ) constraints. They also devised LP-based algorithms for testing copositivity using the subcones. In this paper, they investigate the properties of the subcones in more detail and explore better subcones of the copositive cone having desirable properties.They introduce a semidenite basis (SD basis) that is a basis of the space of n n symmetric matrices consisting of n(n + 1)=2 symmetric semidefinite matrices. Using the SD basis, they devise two new subcones for which detection can be done by solving LPs with O(n 2 ) variables and O(n 2 ) constraints. The new subcones are larger than the ones in the previous paper and inherit their nice properties. The authors also examine the efficiency of those subcones in numerical experiments. The results show that the subcones are promising for testing copositivity.

연구 동기 및 목표

• 선형계획법(LP)을 통한 검증이 가능한 성질을 유지하면서 더 크고 더 계산 가능한 코포지티브 코너의 하위코너를 개발하는 것.
• 이전의 하위코너를 향상시켜 크기와 코포지티브 코너 커버리지 면에서 향상시키면서도 계산 효율성을 유지하는 것.
• 새로운 하위코너를 구성하기 위한 구조적 도구로 반정형기저(SD 기저)를 도입하는 것.
• 새로운 하위코너의 수치적 효율성과 실용 가능성(실제 적용 가능성)을 평가하는 것.

제안 방법

• n×n 대칭행렬의 공간을 생성하는 n(n+1)/2개의 대칭 반정형행렬로 이루어진 반정형기저(SD 기저)를 구성하는 것.
• SD 기저를 사용하여 이전 연구에서 제안된 것보다 더 큰 두 개의 새로운 코포지티브 코너의 하위코너를 정의하는 것.
• O(n²) 변수와 O(n²) 제약 조건을 가진 선형계획법(LP) 기반 알고리즘을 설계하여 새로운 하위코너에 속하는지 검증하는 것.
• SD 기저의 구조를 활용하여 하위코너에 속하는지 여부를 선형 최적화 문제로 공식화하는 것.
• 이전 연구에서 제안된 하위코너들이 가진 바람직한 계산 가능성 성질과 닫힘 성질을 새로운 하위코너가 그대로 이어받도록 보장하는 것.
• 수치 실험을 수행하여 새로운 하위코너의 성능 및 커버리지가 이전 방법들과 비교하여 어떻게 되는지 평가하는 것.

실험 결과

연구 질문

• RQ1 선형계획법(LP)을 통한 계산 가능성 성질을 유지하면서 더 크고 종합적인 코포지티브 코너의 하위코너를 구성할 수 있는가?
• RQ2 반정형기저(SD 기저)의 사용이 코포지티브 코너의 더 넓은 커버리지와 함께 향상된 하위코너를 구성하는 데 어떻게 기여하는가?
• RQ3 새로운 하위코너에 속하는지 검증하는 데 필요한 계산 복잡도는 얼마이며, 행렬 크기 n에 따라 어떻게 증가하는가?
• RQ4 이전에 제안된 하위코너들과 비교하여 새로운 하위코너는 수치적 성능과 커버리지 면에서 어떻게 다른가?
• RQ5 실제 응용에서 코포지티브 검증을 위해 새로운 하위코너를 효율적으로 구현할 수 있는가?

주요 결과

• 제안된 하위코너는 저자들이 이전에 제안한 것보다 엄격히 더 크며, 코포지티브 코너의 커버리지가 향상된다.
• 새로운 하위코너에 속하는지 여부는 O(n²) 변수와 O(n²) 제약 조건을 가진 선형계획법(LP)을 통해 검증할 수 있으며, 계산 가능성 성질을 유지한다.
• 이전 하위코너들이 가진 바람직한 성질(예: 비음수 스케일링에 대한 닫힘성, 특정 변환 하에서의 코포지티브 성질 유지)을 새로운 하위코너도 그대로 이어받는다.
• 수치 실험 결과, 새로운 하위코너가 코포지티브 검증에 효과적이고 효율적임을 확인하였으며, 실용적인 잠재력을 보여준다.
• 반정형기저(SD 기저)의 사용은 이론적 및 계산적 성질이 향상된 하위코너를 체계적이고 체계적인 방식으로 구성하는 데 기여한다.