[논문 리뷰] Symmetric semi-algebraic sets and non-negativity of symmetric polynomials

Cordian Riener|arXiv (Cornell University)|2014. 09. 02.

Polynomial and algebraic computation참고 문헌 12인용 수 4

한 줄 요약

이 논문은 힘의 다항식 표현을 활용하여 티모프테의 반도수 및 도수 원리의 일반화를 통해 대칭 다항식의 음이 아닌 성질을 증명한다. 특히, 일부 힘의 다항식에 대해 흐린 표현을 갖는 대칭 다항식에 대해, 낮은 복잡도의 대칭 다양체(최대 d개의 서로 다른 성분을 가짐)에서의 음이 아닌 성질이 전역적인 음이 아닌 성질을 암시함을 증명하며, 이는 대칭 준대수집합에 대한 효율적인 최적화 및 결정 절차를 가능하게 한다.

ABSTRACT

The question of how to certify the non-negativity of a polynomial function lies at the heart of Real Algebra and it also has important applications to Optimization. In the setting of symmetric polynomials Timofte provided a useful way of certifying non-negativity of symmetric polynomials that are of a fixed degree. In this note we present more general results which naturally generalize Timofte's setting. We investigate families of polynomials that allow special representations in terms of power-sum polynomials.These in particular also include the case of symmetric polynomials of fixed degree. Therefore, we recover the consequences of Timofte's original statements as a corollary. Thus, this note also provides an alternative and simple proof of Timofte's original statements.

연구 동기 및 목표

• 힘의 다항식 생성자 $ p_i = \sum X_j^i $ 를 사용하여 기본 정리의 대칭 다항식 표현을 활용해 티모프테의 반도수 및 도수 원리를 대칭 다항식으로 일반화함.
• 일부 힘의 다항식에 대해 흐린 표현을 갖는 대칭 다항식을 특성화함.
• 고급 대수기하학을 피하면서도 힘의 다항식의 구조를 통해 음이 아닌 성질을 증명하는 간단한 증명을 제공함.
• 도수 2d인 대칭 다항식이 최대 d개의 서로 다른 성분을 갖는 낮은 복잡도의 대칭 다양체에서 음이 아닌 경우, 전역적으로 음이 아닌 성질을 가짐을 증명함.
• 위 결과를 위상수학적 및 대수적 추론을 통해 코포지티브성과 대칭 준대수집합의 타당성 문제로 확장함.

제안 방법

• 힘의 다항식 생성자 $ p_i = \sum X_j^i $ 를 사용하여 대칭 다항식을 기본 정리에 따라 표현함.
• 다른 힘의 다항식 집합 $ J \subset \{1,\dots,n\} $ 에서만 의존하는 다항식의 $ J $-희박성 개념을 도입함.
• 대칭 수준집합 $ H(a_1,\dots,a_k) $ 에서 라그랑주 승수법를 적용하여 최소화점을 분석하고, 이들이 최대 $ k $개의 서로 다른 성분을 갖는 점들의 집합 $ A_k $ 내부에 있어야 함을 보임.
• 레마 3.2를 활용한 국소적 변형 추론을 통해, 비퇴도 조건 하에서 $ k $개 초과의 서로 다른 성분을 갖는 최소화점은 존재할 수 없음을 증명함.
• 음이 아닌 성질 증명 문제를 $ n $의 $ k $-분할로 매개변수화된 유한한 낮은 차원의 대칭 다양체의 합집합에서의 음이 아닌 성질 검증으로 환원함.
• 짝수 거듭제곱의 대칭 합에만 의존하는 $ f(X_1^2,\dots,X_n^2) $ 를 고려하여 결과를 코포지티브성으로 확장함.

실험 결과

연구 질문

• RQ1 티모프테의 반도수 원리는 전체 힘의 다항식 기저를 넘어서 흐린 힘의 다항식 부분집합으로 일반화될 수 있는가?
• RQ2 어떤 조건 하에서 최대 $ d $개의 서로 다른 성분을 갖는 다양체에서의 음이 아닌 성질이 전역적인 음이 아닌 성질을 암시하는가?
• RQ3 힘의 다항식 다항식의 구조는 대칭 최적화 문제에서 음이 아닌 성질을 효율적으로 증명하는 데 어떻게 기여하는가?
• RQ4 대칭 다항식의 음이 아닌 성질이 성분 수가 제한된 대칭 다양체에서의 행동에 의해 결정되며, 이는 힘의 다항식 생성자에 대한 흐린 표현과 어떻게 관련되는가?
• RQ5 힘의 다항식 생성자 선택이 도수 및 반도수 원리의 타당성에 영향을 미치며, 다른 기저를 사용해도 유사한 결과를 도출할 수 있는가?

주요 결과

• 도수 $ 2d $인 대칭 다항식이 $ \mathbb{R}^n $ 전역에서 음이 아닌 것은, 최대 $ d $개의 서로 다른 성분을 갖는 점들에서 음이 아닌 경우에 국한하여 성립함. 이는 티모프테의 반도수 원리를 일반화한 것이다.
• 일부 힘의 다항식에 대해 흐린 표현을 갖는 대칭 다항식의 경우, 해당 다항식이 대응하는 대칭 다양체에서 음이 아닌 경우, 전역적으로 음이 아닌 성질을 가짐. 이는 $ n $ 에 대해 다항식적 의존성으로 복잡도가 감소함.
• 대칭 수준집합 $ H(a_1,\dots,a_k) $ 에서 대칭 다항식의 최소화점 집합은, 약한 조건 하에 최대 $ k $개의 서로 다른 성분을 갖는 점들의 집합 $ A_k $ 와 교차함.
• 대칭 다항식 $ f $ 가 최대 $ k $개의 서로 다른 성분을 갖는 모든 점들에서 음이 아닌 경우, $ f $ 는 전역적으로 음이 아닌 성질을 가짐. 이는 $ f $ 가 전체 대칭 다항식이 아닐 경우에도 성립함.
• 결과는 코포지티브성으로 확장됨: $ f(X_1^2,\dots,X_n^2) $ 가 음이 아닌 경우, $ f $ 는 코포지티브이며, 이는 낮은 복잡도의 대칭 다양체를 통해 증명 가능함.
• 증명은 힘의 다항식의 구조에 기반하며, 비퇴도 최소화점은 낮은 복잡도의 대칭 위치에 있어야 하며, 이는 알고리즘적 증명 가능성을 가능하게 함.