[논문 리뷰] Largest small polygons: A sequential convex optimization approach

Christian Bingane|arXiv (Cornell University)|2020. 09. 16.

Advanced Optimization Algorithms Research인용 수 4

한 줄 요약

이 논문은 단위 지름을 가진 가장 큰 작은 $n$-다각형을 찾기 위해 비볼록 제곱형 제약 조건이 있는 제곱형 프로그래밍 문제를 해결하기 위해 순차적 볼록 최적화 방법을 제안한다. 이 방법은 등가적인 오목-볼록 절차와 동일하며 국소 최적 해로 수렴하며, 짝수 $n \leq 12$에 대해서는 기존의 전역 최적 해를 재현하여 근사 전역 최적성임을 시사한다. $n \leq 128$에 대한 수치 결과는 해가 수치 정밀도 내에서 그레아엄의 추측과 축 대칭성을 모두 만족함을 보여준다.

ABSTRACT

A small polygon is a polygon of unit diameter. The maximal area of a small polygon with $n=2m$ vertices is not known when $m\ge 7$. Finding the largest small $n$-gon for a given number $n\ge 3$ can be formulated as a nonconvex quadratically constrained quadratic optimization problem. We propose to solve this problem with a sequential convex optimization approach, which is an ascent algorithm guaranteeing convergence to a locally optimal solution. Numerical experiments on polygons with up to $n=128$ sides suggest that the optimal solutions obtained are near-global. Indeed, for even $6 \le n \le 12$, the algorithm proposed in this work converges to known global optimal solutions found in the literature.

연구 동기 및 목표

• 짝수 $n \geq 6$에 대해 정규 $n$-다각형이 최적일 수 없는 열린 문제를 해결하기 위해.
• 대칭성이나 그레아엄의 추측을 가정하지 않고, 최대 면적 문제를 비볼록 제곱형 제약 조건이 있는 제곱형 최적화 문제로 공식화하기 위해.
• 국소 최적 해로 수렴하는 보장이 있는 순차적 볼록 최적화 알고리즘을 개발하고 적용하기 위해.
• $n$이 128 이하일 경우 성능과 해의 품질을 수치적으로 평가하고, 전역 최적 해에 가까운 정도를 평가하기 위해.
• 계산된 해가 수치 정밀도 범위 내에서 핵심 구조적 성질—그레아엄의 추측과 축 대칭성—을 만족하는지 검증하기 위해.

제안 방법

• 다각형의 꼭짓점 좌표에 대한 단위 지름 제약 조건 하에 최대 면적 문제를 비볼록 제곱형 제약 조건이 있는 제곱형 프로그래밍(QCQP)으로 공식화한다.
• 순차적 볼록 최적화 방법, 즉 오목-볼록 절차(Concave-Convex Procedure, CCCP)를 적용하여 볼록 하위문제의 반복적 해결을 통해 국소 최대값으로 상승한다.
• 각 반복 단계에서 비볼록 목적 함수는 볼록 대체 함수로 근사되고, 볼록 최적화 기법을 사용하여 문제를 해결한다.
• GitHub에 공개된 OPTIGON이라는 패키지로 구현되어 있어, 최대 128개 꼭짓점을 가진 $n$-다각형에 대해 재현 가능한 계산이 가능하다.
• 6에서 128까지의 짝수 $n$에 대해 수치 실험을 수행하였으며, 목적 함수 값과 제약 조건 이행 여부를 통해 수렴을 모니터링하였다.
• 수치 정밀도 임계값을 사용하여 그레아엄의 추측(길이 $n-1$의 사이클과 추가로 한 개의 간선이 있는 지름 그래프)과 축 대칭성에 대한 해의 부합 여부를 검증하였다.

실험 결과

연구 질문

• RQ1 순차적 볼록 최적화 방법은 짝수 $n \geq 6$에 대해 비볼록 QCQP 공식화된 가장 큰 작은 $n$-다각형 문제를 효과적으로 해결할 수 있는가?
• RQ2 이 방법을 통해 구한 해는 $n \leq 128$에 대해 그레아엄의 추측에 따른 지름 그래프 구조를 만족하는가?
• RQ3 형식화 과정에서 대칭성을 가정하지 않았음에도 불구하고, 최적의 $n$-다각형의 축 대칭성이 계산된 해에서 유지되는가?
• RQ4 $n \leq 12$에 대해 계산된 해는 알려진 전역 최적 해에 얼마나 가까운가?
• RQ5 $n > 12$에 대한 해는 수치 수렴성과 구조 일관성에 기반해 얼마나 근사 전역 최적 해로 간주할 수 있는가?

주요 결과

• 짝수 $n$가 6에서 12일 동안 알고리즘이 알려진 전역 최적 해로 수렴하여 기준 사례에서의 정확성을 확인한다.
• 계산된 $n$-다각형은 $n \leq 128$에 대해 수치 정밀도 범위 내에서 그레아엄의 추측을 만족한다—길이 $n-1$의 사이클과 추가로 한 개의 간선이 있는 지름 그래프를 가진다.
• 형식화 과정에서 대칭성을 가정하지 않았음에도 불구하고, 최적의 $n$-다각형은 수치 정밀도 내에서 축 대칭성을 보인다.
• $n = 128$일 때 최대 면적은 약 0.785201로 추정되며, 이는 이소다이메트릭 상한값 $\pi/4 \approx 0.785398$으로 향하는 느린 수렴 경향을 보여준다.
• 알고리즘은 강력한 수렴성을 보이며, 평균 반복 횟수는 $n=60$일 때 17.02에서 $n=66$일 때 16.36으로 감소하여 $n$에 따라 효율적으로 스케일링됨을 나타낸다.
• OPTIGON 패키지의 구현은 재현 가능한 계산을 가능하게 하며, $n=128$를 초월한 큰 작은 다각형의 추가 탐색에 기초를 마련한다.