[논문 리뷰] What makes a D_0 graph Schur positive?

Jonah Blasiak|arXiv (Cornell University)|2014. 11. 13.

Advanced Combinatorial Mathematics참고 문헌 10인용 수 4

한 줄 요약

이 논문은 페르마르의 순열에 대한 쿠니스와 로테이션 변환으로 구성된 D₀ 그래프에서 생성 함수의 슈어 양성에 대해 연구한다. 비가환 슈어 함수와 선형 프로그래밍을 사용하여, 8글자 순열에 대한 D₀ 그래프를 구성함으로써 생성 함수가 슈어 양성이 아님을 입증함으로써, 모든 D₀ 그래프가 슈어 양성이라는 추측을 반박한다. 또한 동일한 정점 집합에서 D 그래프가 여전히 존재할 수 있음을 보여주며, 이 분야에서 슈어 양성의 복잡성을 부각시킨다.

ABSTRACT

We define a D_0 graph to be a graph whose vertex set is a subset of permutations of n, with edges of the form ...bac... ...bca... or ...acb... ...cab... (Knuth transformations), or ...bac... ...acb... or ...bca... ...cab... (rotation transformations), such that whenever the Knuth and rotation transformations at positions i-1, i, i+1 are available at a vertex, exactly one of these is an edge. The generating function of such a graph is the sum of the quasisymmetric functions associated to the descent sets of its vertices. Assaf studied D_0 graphs in the paper *Dual equivalence and Schur positivity* and showed that they provide a rich source of examples of the D graphs defined in the paper *Dual equivalence graphs and a combinatorial proof of LLT and Macdonald positivity*. A key construction of Assaf expresses the coefficient of q^t in an LLT polynomial as the generating function of a certain D_0 graph. LLT polynomials are known to be Schur positive by work of Grojnowski-Haiman, and experimentation shows that many D_0 graphs have Schur positive generating functions, which suggests a vast generalization of LLT positivity in this setting. As part of a series of papers, we study D_0 graphs using the Fomin-Greene theory of noncommutative Schur functions. We construct a D_0 graph whose generating function is not Schur positive by solving a linear program related to a certain noncommutative Schur function. We go on to construct a D graph on the same vertex set as this D_0 graph.

연구 동기 및 목표

• LLT 다항식과 맥도널드 이론과의 연결으로 유도된 중심적인 미해결 문제인, 모든 D₀ 그래프의 생성 함수가 슈어 양성인지 여부를 판단하기 위해.
• LLT 다항식의 알려진 양성 결과와 광범위한 계산적 증거에 기반하여, D₀ 그래프 생성 함수가 슈어 양성일 조건을 조사하기 위해.
• 일부 D₀ 그래프가 슈어 양성이 아님을 고려할 때, 국소적 성질과 이상 기반 조건이 슈어 양성을 설명하는 데 얼마나 유용한지 평가하기 위해.
• 비가환 슈어 함수와 리본 슈어 연산자들이 대칭 함수의 슈어 전개를 이해하는 데 어떻게 기여하는지 명확히 하기 위해.
• 특히 LLT 다항식과 그 슈어 양성과의 관련성에서, D₀ 그래프의 생성 함수가 언제 슈어 양성이 되는지 식별하는 프레임워크를 제공하기 위해.

제안 방법

• 저자들은 비가환 슈어 함수의 Fomin-Greene 이론을 사용하여 D₀ 그래프 생성 함수의 구조를 분석한다.
• 비가환 슈어 함수와 관련된 선형 프로그램을 해결하여, 𝒮₈의 순열 부분집합에 대한 D₀ 그래프를 구성함으로써 비-슈어 양성 결과를 도출한다.
• 각 3개 위치 조합에서 엄격한 간선 선택 규칙을 만족하는 Knuth 및 로테이션 간선을 포함한 D₀ 그래프를 정의하는 방법을 사용한다.
• 생성 함수는 정점의 내림세기 집합에 따라 인덱싱된 게젤의 기본 쿼asi-대칭 함수의 합으로 계산된다.
• 동일한 정점 집합에서 D 그래프를 구성하여 D₀ 그래프와 비교함으로써, 생성 함수가 슈어 양성이 아니더라도 D 그래프가 존재할 수 있음을 보여준다.
• 리본 슈어 연산자의 대수에서 이상의 구조를 분석하여 슈어 양성 조건을 시험한다.

실험 결과

연구 질문

• RQ1 광범위한 계산적 증거와 LLT 다항식의 알려진 양성 결과에 기반하여, 모든 D₀ 그래프 생성 함수가 슈어 양성인지 여부는 무엇인가?
• RQ2 리본 슈어 연산자의 대수에서 몫에 대해 비가환 슈어 함수가 단항식의 양성 합으로서 나타나는 데 필요한 및 충분한 조건은 무엇인가?
• RQ3 정점 집합과 길이 6 이하의 관계로 정의되는 국소적 성질이 D₀ 그래프 생성 함수의 슈어 양성을 보장하는 데 충분한가?
• RQ4 어떻게 일부 D₀ 그래프, 예를 들어 아사프의 LLT 이분할에 의해 유도된 그래프들이 비록 반례가 존재하지만도 슈어 양성인가?
• RQ5 다양한 유형의 D₀ 그래프에서 슈어 양성을 설명할 수 있는 비균일하거나 국소적이지 않은 조건이 존재하는가?

주요 결과

• 𝒮₈의 부분집합에 대한 D₀ 그래프를 명시적으로 구성함으로써, 그 생성 함수가 슈어 양성이 아님을 입증함으로써, 모든 D₀ 그래프가 슈어 양성이라는 추측을 반박하였다.
• 비가환 슈어 함수와 연결된 선형 프로그램을 해결함으로써 이 구성이 이루어졌으며, 이는 D₀ 그래프의 모든 성질이 슈어 양성이 아니라는 것을 보여준다.
• 생성 함수가 슈어 양성이 아니더라도 동일한 정점 집합에서 D 그래프를 성공적으로 구성함으로써, D 그래프가 슈어 양성과 독립적으로 존재할 수 있음을 보여주었다.
• 이 연구는 차수 ≤6에서 생성된 이상에 기반한 국소적 성질이 슈어 양성을 완전히 설명할 수 없음을 드러내었으며, 이러한 조건은 필요한 비국소적 구조를 포착하지 못한다.
• 결과적으로, D₀ 그래프에서의 슈어 양성은 단일한 균일한 대수적 조건에 의해 결정되지 않고, 더 복잡한 비국소적 또는 사례 기반 메커니즘에 의해 영향을 받을 수 있음을 시사한다.
• 논문은 LLT 다항식과 관련된 D₀ 그래프의 슈어 양성이 일반적인 대수적 공리에 기반하는 것이 아니라, 더 깊이 있는 비균일한 구조적 특성에서 기인할 수 있음을 증거로 제시한다.