[논문 리뷰] Newton Polytopes in Algebraic Combinatorics

Cara Monical, Neriman Tokcan외 1명|arXiv (Cornell University)|2017. 03. 07.

Advanced Combinatorial Mathematics참고 문헌 27인용 수 11

한 줄 요약

이 논문은 n×n 격자에 있는 다이어그램에서 유도된 선형 부등식을 통해 정의되는 새로운 다면체인 슈비부토프(Schubitope)를 소개한다. 이 다면체는 슈베르트 다항식과 키 다항식의 뉴턴 다면체를 기술할 것으로 추측된다. 이 논문은 이러한 다항식들—대칭 다항식, 맥도널드 다항식 등—이 포화된 뉴턴 다면체(SNP)를 가짐을 증명하며, 이는 그들 다면체의 볼록 hull 내부에 있는 모든 격자점이 다항식의 항에 대응된다는 뜻이다. 또한 슈비부토프가 주어진 무게에 대해 일반화된 퍼뮤테이토프(permutahedron)임을 보여준다.

ABSTRACT

A polynomial has saturated Newton polytope (SNP) if every lattice point of the convex hull of its exponent vectors corresponds to a monomial. We compile instances of SNP in algebraic combinatorics (some with proofs, others conjecturally): skew Schur polynomials; symmetric polynomials associated to reduced words, Redfield--Polya theory, Witt vectors, and totally nonnegative matrices; resultants; discriminants (up to quartics); Macdonald polynomials; key polynomials; Demazure atoms; Schubert polynomials; and Grothendieck polynomials, among others. Our principal construction is the Schubitope. For any subset of [n] x [n], we describe it by linear inequalities. This generalized permutahedron conjecturally has positive Ehrhart polynomial. We conjecture it describes the Newton polytope of Schubert and key polynomials. We also define dominance order on permutations and study its poset-theoretic properties.

연구 동기 및 목표

• 알제브라적 조합론에서 포화된 뉴턴 다면체(SNP)를 가지는 다항식의 가족을 식별하고 정리하는 것. 여기서 SNP는 지수 벡터의 볼록 hull 내부에 있는 모든 격자점이 다항식의 항에 대응된다는 뜻이다.
• n×n 격자에 있는 다이어그램에 기반한 선형 부등식으로 정의된 일반화된 퍼뮤테이토프인 슈비부토프를 제안하며, 이는 슈베르트 다항식과 키 다항식의 뉴턴 다면체를 모델링할 것으로 추측된다.
• 슈비부토프 제약 조건에서 유도된 부등식을 사용해 분할에서의 지배 순서를 순열로 확장하는 것. 이를 통해 뉴턴 다면체를 이용한 순열에 대한 지배 순서 정의를 시도한다.
• 슈비부토프의 에흐라르트 긍정성(Ehrhart positivity)을 조사하며, 저자들이 제안한 바와 같이 그들의 에흐라르트 다항식이 양의 계수를 가진다는 추측을 제기한다.

제안 방법

• 각 하위집합 S⊆[n]에 대해 상한이 θ_D(S)인 비음수 실수 벡터의 집합으로 슈비부토프 S_D를 정의한다. 여기서 θ_D(S)는 다이어그램 D의 각 행을 단어로 표현한 후 계산된다.
• 각 열 c에 대해, 위에서 아래로 읽으며 D에 속하는지, S에 속하는지에 따라 (, ), 또는 ⋆로 표기된 단어 word_{c,S}(D)를 구성한다.
• 각 열의 단어에서 괄호 쌍의 수와 ⋆ 기호의 수를 세어 θ_D^c(S)를 정의하고, 이를 모든 열에 대해 합하여 θ_D(S)를 구한다.
• w(i) < w(i+1)일 때, 슈비부토프가 인접 전치에 대해 불변임을 증명함으로써 좌표 순열에 대한 대칭성을 보장한다.
• 그라스만니언 순열 w_λ,n에 대해, 슈비부토프 S_{D_{w_λ,n}}가 슈어 다항식 s_λ(x)의 뉴턴 다면체와 일치함을 증명한다. 이는 Kohnert의 무게를 유지하는 반사사상(반사사상)을 통해 준순서 표준표와 Kohnert 다이어그램 간의 이분류를 통해 이루어진다.
• 일반 슈베르트 다항식과 키 다항식의 뉴턴 다면체를 기술하기 위해 슈비부토프가 모델로 사용될 수 있음을 추측하며, 이는 퍼뮤테이토프의 일반화로 볼 수 있다.

실험 결과

연구 질문

• RQ1 슈베르트 다항식과 키 다항식은 포화된 뉴턴 다면체를 가지는가? 만약 그렇다면, 이들의 뉴턴 다면체는 새로운 다면체 가족을 통해 조합론적으로 기술될 수 있는가?
• RQ2 괄호 쌍과 별표를 포함한 다이어그램 기반 부등식으로 정의된 슈비부토프는 슈베르트 다항식과 키 다항식의 뉴턴 다면체를 타당한 모델로 사용할 수 있는가?
• RQ3 슈비부토프는 퍼뮤테이토프를 일반화하는가? 만약 그렇다면, 어떤 조건에서 슈어 다항식의 뉴턴 다면체와 일치하는가?
• RQ4 슈비부토프의 부등식을 이용해 분할의 고전적 지배 순서를 순열로 확장할 수 있는 지배 순서를 정의할 수 있는가?
• RQ5 저자들이 추측한 바와 같이, 슈비부토프의 에흐라르트 다항식은 양의 계수를 가지는가? 이는 알려진 긍정성 결과와의 유사성에 의해 지지된다.

주요 결과

• 슈비부토프 S_D는 열 방향 단어에서 쌍이 맞는 괄호와 별표의 수를 세어 유도된 θ_D(S)를 포함하는 선형 부등식으로 정의되며, 모든 α ∈ S_D에 대해 ∑α_i = #D 를 만족한다.
• 슈비부토프는 퍼뮤테이토프를 일반화한다. 분할 λ에 대해 슈비부토프 S_{D_{w_λ,n}}는 Kohnert의 반사사상에 의해 슈어 다항식 s_λ(x)의 뉴턴 다면체와 일치한다.
• w(i) < w(i+1)일 때 슈비부토프가 인접 전치에 대해 불변이므로 좌표 순열에 대한 대칭성이 보장되며, 이는 슈비부토프가 뉴턴 다면체 모델로서의 역할을 뒷받침한다.
• 저자들은 슈어 다항식이 포화된 뉴턴 다면체를 가짐을 증명하며, 퍼뮤테이토프 기반 기술을 통해 라도의 정리를 확인한다.
• 논문은 키 다항식과 슈베르트 다항식이 추측적으로 SNP임을 뒷받침하는 증거를 제공하며, 슈비부토프를 그들의 뉴턴 다면체 모델로 제안한다.
• 저자들은 모든 슈비부토프가 양의 에흐라르트 다항식을 가진다고 추측하며, 이는 일반화된 퍼뮤테이토프에 대한 알려진 추측을 확장하는 것이다.