SPLD 다항식 최적화와 차수 제한 SOS 계층

초록

본 논문은 고차 차수의 분리형(Separable) 항과 저차도 다변량 항을 결합한 새로운 구조인 SPLD(Separable Plus Lower Degree) 다항식을 정의하고, 이를 위한 차수 제한 SOS 계층인 BSOS‑SPLD를 제안한다. 수렴 이론과 유한 수렴 조건을 제시하고, 기존 BSOS 계층보다 계산 효율이 높음을 수치 실험으로 입증한다. 또한, 볼록 SPLD 문제에 대한 정확한 SOS 완화와 포트폴리오 최적화 및 다항식 회귀와 같은 실제 응용 사례를 제시한다.

상세 분석

SPLD 다항식은 f(x)=s(x)+l(x) 형태로 정의되는데, 여기서 s(x)=∑{j=1}^n s_j(x_j)는 각 변수별 일변량 다항식들의 합으로 이루어진 완전 분리형 항이며, l(x)는 차수가 s(x)보다 낮은 다변량 다항식이다. 이 정의는 기존의 SPQ(Separable Plus Quadratic) 다항식을 일반화한 것으로, l(x)가 2차 이하일 때 SPQ와 동일하지만, 더 높은 차수의 저차 항도 허용한다는 점에서 확장성을 제공한다. 논문은 SPLD가 실제 최적화 모델에서 고차 차수의 분리형 구조와 저차 다변량 상호작용을 동시에 포함하는 경우가 많아, 차수 제한 SOS(BSOS) 계층을 그대로 적용하면 차수 제한이 완화되지 않아 Gram 행렬이 급격히 커지는 문제를 지적한다. 이를 해결하기 위해 저자들은 Krivine‑Stengle 양성정리를 기반으로 하는 BSOS‑SPLD 계층을 설계하였다. 핵심 아이디어는 제약식 h{p,q}(x)=∏_{i=1}^m f_i(x)^{p_i}(1−f_i(x))^{q_i} 를 이용해 기존 BSOS의 다항식 곱을 그대로 유지하되, SOS 보조항 σ와 σ_j를 각각 전체 변수와 각 변수별 차수 d_j 로 제한함으로써 SDP 변수의 차원을 s(n,d_j)·s(n,r) 수준으로 억제한다. 이때 d_j는 각 일변량 항 s_j의 차수에 기반하고, r은 l(x)의 차수에 기반한다. 논문은 (i) 원문 문제와 BSOS‑SPLD 원시·쌍대값이 동일한 상한을 갖는다, (ii) 완비성 가정 하에 최적값이 전역 최적값으로 수렴한다는 정리를 증명하고, (iii) Archimedean 조건과 같은 추가 가정 하에 유한 단계에서 최적값이 정확히 수렴하고 최적해를 추출할 수 있는 충분조건을 제시한다. 구현 측면에서는 다항식 계수를 직접 매칭하는 방식을 채택했으며, 이는 차수가 높아도 변수 수가 적어 수치적 안정성을 확보한다는 장점이 있다. 실험에서는 고차 차수의 베젤 함수, 6‑hump camel‑back, 포트폴리오 위험 최소화 등 다양한 benchmark에 BSOS‑SPLD를 적용했을 때, 기존 BSOS 대비 SDP 변수 수가 30%~70% 감소하고 해결 시간이 크게 단축됨을 보고한다. 마지막으로, 볼록 SPLD 다항식에 대해 SOS‑convex성을 이용한 정확한 SOS 완화를 제시하고, 이를 다항식 회귀 모델에 적용해 통계적 예측 정확도와 계산 효율성을 동시에 개선한다는 실용적 가치를 강조한다.