[논문 리뷰] A bound on the minimum of a real positive polynomial over the standard simplex

Saugata Basu, Richard Leroy외 1명|ArXiv.org|2009. 02. 19.

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

한 줄 요약

이 논문은 실대수기하 기법을 사용하여 표준 단체 위에서 양의 다변수다항식의 최소값에 대한 명시적이고 비퇴화된 하한을 제시한다. 결과행렬과 실레스터 행렬을 통해 일변수 결과를 일반화하고, 결과다항식에 코시의 하한을 적용함으로써, 비퇴화 조건이 필요 없이 차원 $k$, 차수 $d$, 계수 비트크기 $ au$ 에만 의존하는 계산 가능한 하한을 확립한다.

ABSTRACT

We consider the problem of bounding away from 0 the minimum value m taken by a polynomial P of Z[X_1,...,X_k] over the standard simplex, assuming that m>0. Recent algorithmic developments in real algebraic geometry enable us to obtain a positive lower bound on m in terms of the dimension k, the degree d and the bitsize of the coefficients of P. The bound is explicit, and obtained without any extra assumption on P, in contrast with previous results reported in the literature.

연구 동기 및 목표

• 표준 단체 $\Delta \subset \mathbb{R}^k$ 위에서 양의 다항식 $P \in \mathbb{Z}[X_1,\dots,X_k]$ 의 최소값 $m > 0$ 에 대한 명시적 하한을 제공하기 위해.
• 이전 방법에서 요구하던 비퇴화 또는 특수 조건의 필요성을 제거하기 위해.
• 차원 $k$, 차수 $d$, 계수의 비트크기 $ au$ 에만 의존하는 하한 $m_{k,d,\tau}$ 를 유도하기 위해.
• 알고리즘적 실대수기하학 기법을 사용하여 명시적이고 계산 가능한, 그리고 보편적인 하한을 제공함으로써 이전 결과를 향상시키기 위해.

제안 방법

• 최소값이 발생하는 임계점 위치를 파악하기 위해 일변수의 결과를 분석함으로써 일변수 경우를 일반화한다: $R(Z) = \operatorname{Res}_T(P(T) - Z, P'(T))$.
• 실레스터 행렬의 구조와 하다르드의 행렬식 하한을 사용하여 결과다항식 $R(Z)$ 의 계수를 제어한다.
• 결과다항식에 코시의 하한을 적용하여, 최소 양근인 $m$ 에 대한 하한을 도출한다.
• 단체의 각 면에서 유리일변수표현(RUR)을 사용하여 일변수 접근법을 다변수 다항식으로 확장한다.
• RUR 다항식의 차수와 계수 비트크기($d_u, \tau_u, d_{P,u}, \tau_{P,u}$)를 제어하여 결과다항식의 크기를 통제한다.
• 재귀적 하한을 사용하여 $D, \rho, \rho'$ 에 대해 계산한 결과, 최종 하한 $m_{k,d,\tau} = \left[2^{\rho'+1}\sqrt{dD+1}\right]^{-D}\left[2^{\rho}\sqrt{D+1}\right]^{-dD}$ 를 구성한다.

실험 결과

연구 질문

• RQ1 비퇴화 조건이 필요 없이, 표준 단체 위에서 양의 다항식의 최소값에 대한 보편적이고 명시적인 하한을 도출할 수 있는가?
• RQ2 표준 단체 위에서 양의 다항식의 최소값은 그 차수 $d$, 차원 $k$, 계수 비트크기 $ au$ 와 어떻게 관련이 있는가?
• RQ3 알고리즘적 실대수기하학 기법을 사용하여 $m = \min_{\Delta} P$ 에 대해 도출할 수 있는 가장 날카로운 명시적 하한은 무엇인가?
• RQ4 캔니 및 데 루아와 산투스의 이전 결과와 비교하여, 제안된 하한은 지수항과 매개변수에 대한 의존성 측면에서 어떻게 다를까?

주요 결과

• 논문은 $D = 2d(2d-1)^{k-1}$, $\rho$, $\rho'$ 가 $k,d,\tau$ 에 대해 재귀적 표현으로 정의되는 명시적 하한 $m_{k,d,\tau} = \left[2^{\rho'+1}\sqrt{dD+1}\right]^{-D}\left[2^{\rho}\sqrt{D+1}\right]^{-dD}$ 를 확립한다.
• 캔니의 갭 정리나 로자이에비치 기반 하한과 달리, 비퇴화 또는 교차 조건이 필요 없이도 모든 양의 다항식에 대해 유효하다.
• 이전 결과를 향상시켜 $k$, $d$, $ au$ 에 대한 명시적 의존성을 제공하며, 정량적 추정 $rac{1}{m_{k,d,\tau}} \leq \left(2^{\tau}\right)^{2^{k+3}d^{k+1}k}2^{2^{k+7}d^{k+2}k^{2}}$ 을 제공한다.
• 알 수 없는 보편 상수를 포함하는 데 루아와 산투스의 일반적 추정보다 더 날카로운 하한을 얻기 위해 지수를 명시적으로 제시한다.
• 이 방법은 시스템 $\partial P_\sigma / \partial Y_i = 0$ 대신 단일 식 $Q = \sum_i (\partial P_\sigma / \partial Y_i)^2 = 0$ 을 사용함으로써 퇴화된 경우도 포함할 수 있도록 한다.
• 일변수 경우에서는 $m > \frac{3^{d/2}}{2^{(2d-1)\tau}(d+1)^{2d-1/2}}$ 라는 하한을 도출하며, 이는 최근의 [BCR] 결과보다 略로 더 우수하다.