[논문 리뷰] Convex Geometry of Orbits

Alexander Barvinok, Grigoriy Blekherman|ArXiv.org|2003. 12. 12.

Point processes and geometric inequalities참고 문헌 11인용 수 5

한 줄 요약

이 논문은 컴act 군의 궤도 분석을 위한 볼록 기하학 프레임워크를 개발하며, 이러한 궤도의 쌍대체의 최대 부피 타원체에 초점을 맞춘다. 대칭 TSP 다면체의 내접원 반경에 대한 날카운 bounds를 제공하고, 표현 이론과 구 위의 측도 집중을 이용하여 음이 아닌 동차 다항식의 원뿔에 대한 정밀한 부피 추정치를 수립한다.

ABSTRACT

We study metric properties of convex bodies B and their polars B^o, where B is the convex hull of an orbit under the action of a compact group G. Examples include the Traveling Salesman Polytope in polyhedral combinatorics (G=S_n, the symmetric group), the set of non-negative polynomials in real algebraic geometry (G=SO(n), the special orthogonal group), and the convex hull of the Grassmannian and the unit comass ball in the theory of calibrated geometries (G=SO(n), but with a different action). We compute the radius of the largest ball contained in the symmetric Traveling Salesman Polytope, give a reasonably tight estimate for the radius of the Euclidean ball containing the unit comass ball and review (sometimes with simpler and unified proofs) recent results on the structure of the set of non-negative polynomials (the radius of the inscribed ball, volume estimates, and relations to the sums of squares). Our main tool is a new simple description of the ellipsoid of the largest volume contained in B^o.

연구 동기 및 목표

• 컴act 군 작용 하에서 형성된 볼록체의 체적 성질을 연구하기 위해.
• 대칭 TSP 다면체에 포함된 최대 유클리드 구의 반경을 계산하기 위해.
• 음이 아닌 동차 다항식의 집합에 대한 내접원 반경과 부피에 대한 날카운 추정치를 제공하기 위해.
• 새로운 타원체 특성화를 통해 기존의 제곱합과 음이 아닌 다항식에 관한 결과들을 통합하고 단순화하기 위해.
• 구 적분을 통한 고차원에서의 랜덤 다항식의 $L^\f$ 노름에 대한 날카운 bounds를 수립하기 위해.

제안 방법

• 컴act 군 $G$ 작용 하에서의 궤도 $ ext{conv}(Gv)$ 의 볼록체 $B = \text{conv}(Gv)$ 의 쌍대체 $B^\bullet$ 를 사용한다.
• 군 불변 적분을 통한 $B^\bullet$ 내부의 존 엘립소이드(최대 부피 타원체)에 대한 새로운 특성화를 도입한다.
• SO(n) 의 표현 이론을 활용하여 단위 구 위에서 $x^{\bigotimes m}$ 의 궤도를 분석한다.
• 횔더의 부등식과 젠센의 부등식을 이용하여 다항식의 $L^\f$-노름과 구 적분 간의 관계를 설정한다.
• 구 위의 측도 집중을 적용하여 $U_{m,n}$ 내의 랜덤 다항식의 평균 $L^\f$-노름을 유계화한다.
• 코로나리 3.2와 레마 3.5로부터 유도된 항등식 $\|p\|_\infty \approx \|p\|_{2k}$ (여기서 $k \sim n\ln(m+1)$) 에 기반한다.

실험 결과

연구 질문

• RQ1 대칭 TSP 다면체 $ST_n$ 의 내접원 반경은 얼마인가요?
• RQ2 캘리브레이션 기하학에서 단위 콤파스 볼 내부에 포함된 최대 유클리드 구의 반경은 얼마인가요?
• RQ3 고차원에서 음이 아닌 동차 다항식의 집합과 단위 볼 간의 부피 비율은 얼마인가요?
• RQ4 제곱합의 집합은 전체 음이 아닌 다항식의 원뿔과 비교해 부피가 얼마나 큰가요?
• RQ5 $L^2$-노름이 1인 $n$변수 동차 다항식의 $L^\infty$-노름의 일반적인 크기는 얼마인가요?

주요 결과

• 대칭 TSP 다면체 $ST_n$ 에 포함된 최대 구의 반경은 어떤 절대 상수 $\alpha > 0$ 에 대해 $\alpha \sqrt{n \ln n}$ 이하로 유계화된다.
• 단위 $L^2$-노름을 가진 $n$변수 동차 다항식의 $L^\infty$-노름은 높은 확률로 $O\bigl(\sqrt{n \ln(m+1)}\bigr)$ 이다.
• 부피 비율 $\left(\operatorname{vol} Pos_{2k,n}^\prime / \operatorname{vol} K\right)^{1/d}$ 는 어떤 절대 상수 $\alpha > 0$ 에 대해 $\alpha (n \ln(2k+1))^{-1/2}$ 이상이다. 여기서 $d = \dim U_{2k,n}$.
• 제곱합 집합의 부피 비율은 $\left(\operatorname{vol} Sq_{2k,n}^\prime / \operatorname{vol} K\right)^{1/d} \leq \alpha \, 2^{4k} \binom{n+k-1}{k}^{1/2} \binom{n+2k-1}{2k}^{-1/2}$ 를 만족하며, 고정된 $k$ 에 대해 $n^{-k/2}$ 의 속도로 감소한다.
• 벡터 공간 $U_{m,n}$ 의 단위 벡터의 평균 $L^\infty$-노름은 $\alpha \sqrt{n \ln(m+1)}$ 이하로 유계화되며, 여기서 $\alpha$ 는 절대 상수이다.
• Pos_{2k,n}^\prime 의 부피 하한을 증명하는 데에는, 횔더와 젠센의 부등식으로부터 유도된 부등식 $\left(\int_{\Sigma_{2k,n}} \|p\|_\infty^{-d} dp\right)^{1/d} \geq \left(\int_{\Sigma_{2k,n}} \|p\|_\infty dp\right)^{-1}$ 이 기초가 된다.