[논문 리뷰] Complexity, combinatorial positivity, and Newton polytopes.

Anshul Adve, Colleen Robichaux외 1명|arXiv (Cornell University)|2018. 10. 24.

Advanced Combinatorial Mathematics참고 문헌 22인용 수 7

한 줄 요약

이 논문은 슈부버트 다항식 계수의 비영성에 대한 타블로 기준을 수립하여, 이 문제에 대한 첫 번째 다항식 시간 알고리즘을 가능하게 한다. 슈부버트롭(Permutahedron)을 일반화한 뉴턴 다면체인 슈부버톱(Schubitope)을 특성화함으로써, 비영성 문제(nonvanishing)가 NP ∩ coNP에 속함을 보이며, 좋은 특성화를 제공하고, 대수적 조합론과 복잡도 이론을 연결한다.

ABSTRACT

The Nonvanishing Problem asks if a coefficient of a polynomial is nonzero. Many families of polynomials in algebraic combinatorics admit combinatorial counting rules and simultaneously enjoy having saturated Newton polytopes (SNP). Thereby, in amenable cases, Nonvanishing is in the complexity class ${\sf NP} \cap {\sf coNP}$ of problems with good characterizations. This suggests a new algebraic combinatorics viewpoint on complexity theory. This paper focuses on the case of Schubert polynomials. These form a basis of all polynomials and appear in the study of cohomology rings of flag manifolds. We give a tableau criterion for Nonvanishing, from which we deduce the first polynomial time algorithm. These results are obtained from new characterizations of the Schubitope, a generalization of the permutahedron defined for any subset of the n x n grid.

연구 동기 및 목표

• 대수적 조합론 내에서 다항식의 계수가 0이 아닌지 여부를 판단하는 비영성 문제(nonvanishing problem)를 다루기 위해.
• 플래그 다양체 코homology에 나타나며, 모든 다항식의 기저를 이루는 슈부버트 다항식이 비영성 계수에 대해 좋은 특성화(good characterization)를 갖는다는 것을 입증하기 위해.
• 스위치드 타블로(Flagged tableau)의 조합론적 성질을 분석함으로써, 슈부버트 다항식 계수가 0이 아닌지 여부를 판단하는 조합론적 기준을 개발하기 위해.
• 모든 n×n 격자 부분집합에 대해 정의된 슈부버톱(Schubitope)을 특성화하여, 슈부버트 다항식의 뉴턴 다면체를 이해하는 데 핵심 도구로 활용하기 위해.
• 슈부버트 다항식의 비영성 문제(nonvanishing problem)가 NP ∩ coNP 복잡도에 속함을 입증함으로써, 긍정 및 부정의 경우에 모두 좋은 특성화가 존재함을 시사하기 위해.

제안 방법

• 모든 n×n 격자 부분집합에 대해 정의된 슈부버톱(Schubitope)을 도입하여, 슈부버트 다항식의 뉴턴 다면체를 모델링한다.
• 격자 위에서 호환 가능한 타블로의 존재 여부를 분석함으로써 계수의 비영성을 판단하는 타블로 기준을 개발한다.
• 슈부버트 다항식의 포화된 뉴턴 다면체(Saturated Newton polytope, SNP) 성질을 활용하여, 비영성 계수들이 슈부버톱 내의 정수점에 정확히 대응함을 보장한다.
• 타블로 기준을 활용하여, 다항식 시간 내에 타블로 존재 여부를 검증함으로써 비영성 테스트를 위한 다항식 시간 알고리즘을 구축한다.
• 대칭성과 볼록 기하학을 적용하여, 슈부버톱의 정수점이 슈부버트 다항식의 비영성 단항식과 정확히 일치함을 보인다.
• 타블로의 존재 및 부재 여부를 효율적으로 검증할 수 있음을 보임으로써, 슈부버트 다항식의 비영성 문제(nonvanishing problem)가 NP ∩ coNP에 속함을 입증한다.

실험 결과

연구 질문

• RQ1 스위치드 타블로의 조합론적 성질을 기반으로, 슈부버트 다항식의 계수가 0이 아닌지 여부를 판단할 수 있는 조합론적 타블로 기준을 개발할 수 있는가?
• RQ2 슈부버톱은 어떻게 슈부버트 다항식의 뉴턴 다면체를 모델링하기 위해 퍼뮤테이톤(permutahedron)의 일반화로 특성화될 수 있는가?
• RQ3 슈부버트 다항식의 비영성 문제(nonvanishing problem)는 좋은 특성화를 갖는가? 즉, NP ∩ coNP에 속하는가?
• RQ4 슈부버톱의 정수점과 슈부버트 다항식의 비영성 단항식 사이의 관계는 무엇인가?
• RQ5 타블로 기준을 활용하여, 계수의 비영성 여부를 테스트하는 다항식 시간 알고리즘을 구축할 수 있는가?

주요 결과

• 관련 격자 위에 호환 가능한 슈부버트 타블로가 존재하는지 여부를 검사함으로써, 슈부버트 다항식의 계수 비영성을 판단하는 타블로 기준이 확립되었다.
• 모든 n×n 격자 부분집합에 대해 정의된 슈부버톱(Schubitope)이 해당 슈부버트 다항식의 뉴턴 다면체임을 입증하였으며, 퍼뮤테이톤(permutahedron)을 일반화한 것이다.
• 슈부버트 다항식의 비영성 문제(nonvanishing problem)가 NP ∩ coNP에 속함을 입증하였으며, 이는 긍정 및 부정의 경우에 모두 좋은 특성화가 존재함을 시사한다.
• 타블로 기준을 활용하여, 슈부버트 다항식의 계수 비영성 여부를 테스트하는 첫 번째 다항식 시간 알고리즘을 구축하였다.
• 슈부버톱의 정수점이 슈부버트 다항식의 비영성 계수를 갖는 단항식과 일대일 대응됨을 증명하였다.
• 결과적으로, 포화된 뉴턴 다면체가 비영성 테스트를 효율적으로 가능하게 하여, 대수적 조합론과 계산 복잡도 이론 간의 새로운 다리를 구축하였다.