[논문 리뷰] Representing elementary semi-algebraic sets by a few polynomial inequalities: A constructive approach

Gennadiy Averkov|ArXiv.org|2008. 04. 14.

Advanced Optimization Algorithms Research참고 문헌 12인용 수 6

한 줄 요약

이 논문은 ℝᵈ 내의 유계 기본 반대칭 다항집합을 최소한의 다항부등식으로 표현하는 구축 가능한 방법을 제시한다. 집합 내 어떤 점에서도 동시에 활성화되는 제약 조건의 최대 수를 분석함으로써, 집합의 점들 중에서 n개의 제약 조건이 활성화되는 점들의 집합이 유한할 경우, 닫힌 집합에 대해서는 n+1개의 다항식으로 충분하고, 열린 집합에 대해서는 n개로 충분하다는 것을 증명하며, 구체적인 알고리즘을 제공한다.

ABSTRACT

Let P be an elementary closed semi-algebraic set in R^d, i.e., there exist real polynomials p_1,...,p_s such that P= \{x \in R^d : p_1(x) \ge 0, >..., p_s(x) \ge 0 \}; in this case p_1,...,p_s are said to represent P. Denote by $n$ the maximal number of the polynomials from \{p_1,...,p_s\} that vanish in a point of P. If P is non-empty and bounded, we show that it is possible to construct n+1 polynomials representing P. Furthermore, the number n+1 can be reduced to n in the case when the set of points of P in which n polynomials from \{p_1,...,p_s\} vanish is finite. Analogous statements are also obtained for elementary open semi-algebraic sets.

연구 동기 및 목표

• 기본 반대칭집합을 표현하기 위해 필요한 다항부등식의 수에 대한 구축 가능한 상계를 제공하기 위해.
• 반대칭기하학 이론에서 이전에 존재했던 비구축성에 기반한 이론적 경계를 해결하기 위해.
• 집합의 기하학적 및 조합적 성질을 바탕으로 최소 다항식 표현을 명시적으로 생성하는 알고리즘을 개발하기 위해.
• 최대 활성 제약 조건 수가 활성화되는 점들의 구조를 활용하여 경계를 정밀화하기 위해.
• 유계성 및 유한성 조건 하에서 닫힘 및 열림 반대칭집합에 대한 결과를 확장하기 위해.

제안 방법

• 반대칭집합 P 내의 어떤 점에서도 동시에 0이 되는 다항식의 최대 수를 n으로 정의한다.
• 정의 다항식의 기본 대칭함수를 사용하여 국소적으로 P를 표현하는 새로운 부등식을 구성한다.
• Łojasiewicz 유형의 부등식과 음이 아닌 다항식을 통한 변형을 적용하여 새로운 표현의 전역 타당성을 확보한다.
• 비판점(즉, n개의 제약 조건이 동시에 활성화되는 점들)에서 정확히 0이 되는 엄격하게 오목한 다항식 q₁을 구성하여, P 외부에서는 음수임을 보장한다.
• 주요 대칭함수를 수정하기 위해 gₘ,λ,k(x)ˡ hᵤ(x)ᵐ 형태의 변형 항을 도입하여, P 위에서 비음성임을 유지하면서 내부에서는 엄격히 양성임을 보장한다.
• 실수의 일阶논리 이론의 결정 가능성에 기반하여, 최종 다항식 시스템의 알고리즘적 계산 가능성을 확보한다.

실험 결과

연구 질문

• RQ1 유계 기본 반대칭집합을 표현하기 위해 필요한 다항부등식의 수를, 활성 제약 조건의 최대 수에 따라 구축 가능한 방식으로 경계 지을 수 있는가?
• RQ2 반대칭집합 표현에서 n+1개의 부등식을 n개로 줄일 수 있는 조건은 무엇인가?
• RQ3 주어진 반대칭집합에 대해 최소 다항식 표현을 알고리즘적으로 구성할 수 있는가?
• RQ4 최대 활성 제약 조건이 동시에 활성화되는 점들의 집합의 유한성이 필요한 부등식 수를 줄이는 데 어떤 역할을 하는가?
• RQ5 전통적인 경계의 비구축성 증명을 대체할 수 있는 구축 가능한 방법을 개발할 수 있는가?

주요 결과

• s개의 다항식으로 정의된 공집합이 아니며, 유계인 닫힌 기본 반대칭집합 P에 대해, s(d,P) ≤ n+1이며, 여기서 n은 P 내 어떤 점에서도 동시에 0이 되는 다항식의 최대 수이다.
• n개의 다항식이 동시에 0이 되는 점들의 집합이 유한할 경우, s(d,P) ≤ n로 경계가 향상된다.
• 활성 제약 조건 집합이 유한할 경우 n개의 다항식으로, 무한일 경우 n+1개의 다항식으로 P와 P₀를 표현하는 명시적 알고리즘이 제공된다.
• 구성은 원래 다항식의 대칭함수와 전역 타당성을 보장하기 위해 철저히 설계된 변형 항에 의존한다.
• 실수의 일阶논리 이론의 결정 가능성에 기반하여 알고리즘이 계산 가능하지만, 계산 복잡도가 매우 높다.
• 결과는 열린 반대칭집합으로도 확장되며, 일반적으로 s₀(d,P₀) ≤ n+1이며, 비판점 집합이 유한할 경우 s₀(d,P₀) ≤ n이다.