[논문 리뷰] Catalan paths, Quasi-symmetric functions and Super-Harmonic Spaces

Jean-Christophe Aval, Nantel Bergeron|arXiv (Cornell University)|2001. 09. 20.

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

한 줄 요약

이 논문은 비대칭 함수와 카탈란 경로 사이의 연결고리를 설정한다. 비상수 비대칭 함수로 생성된 아이디얼의 폐쇄에 대한 형식적 멱급수의 몫환에서, 무한 Dyck 경로(카탈란 경로)로 인덱싱된 Hilbert 기저를 갖는다는 것을 보여준다. 또한 직선 y = x − k 위의 경로에 의해 인덱싱된 필터를 도입하고, 유한 변수 몫환 Rn의 차원이 제1n 카탈란 수로 상한이 있음을 증명하며, 등호가 성립할 것이라는 추측은 현재 검토 중이다.

ABSTRACT

We investigate the quotient ring $R$ of the ring of formal power series $\Q[[x_1,x_2,...]]$ over the closure of the ideal generated by non-constant quasi-\break symmetric functions. We show that a Hilbert basis of the quotient is naturally indexed by Catalan paths (infinite Dyck paths). We also give a filtration of ideals related to Catalan paths from $(0,0)$ and above the line $y=x-k$. We investigate as well the quotient ring $R_n$ of polynomial ring in $n$ variables over the ideal generated by non-constant quasi-symmetric polynomials. We show that the dimension of $R_n$ is bounded above by the $n$th Catalan number.

연구 동기 및 목표

• 비상수 비대칭 함수로 생성된 아이디얼의 폐쇄 J에 의한 몫환 R = Q[[x1,x2,...]] / J의 구조를 특성화하는 것.
• 무한 Dyck 경로(카탈란 경로)로 인덱싱된 R에 대한 Hilbert 기저를 수립하여 조합론적 구조와 대수적 구조를 연결하는 것.
• 직선 y = x − e 위의 경로에 대응하는 이상들 J^(e)의 필터를 정의하고, 관련 몫환을 분석하는 것.
• 비상수 비대칭 다항식으로 생성된 Jn에 의한 유한차원 몫환 Rn = Q[x1,...,xn]/Jn를 조사하고, 그 차원을 상한으로 제한하는 것.
• dim(Rn) = Cn(제1n 카탈란 수)라는 추측을 지지하며, 등호 성립을 증명하기 위한 현재 진행 중인 작업을 제시하는 것.

제안 방법

• 지수 시퀀스를 단계별 이동으로 매핑함으로써 Q[[x1,x2,...]]의 각 단항식을 평면 내의 격자 경로와 연관짓는다: (0,0) → (α1,0) → (α1,1) → (α1+α2,1) → ...
• y = x 위에서 약하게 유지되는 경로로 무한 Dyck 경로(카탈란 경로)를 정의하고, 이러한 경로에 대응하는 단항식이 몰입환 R의 Hilbert 기저를 이룬다는 것을 보인다.
• J^(e)는 관련 경로가 항상 직선 y = x − e 위에 머무르는 원소들로 구성되며, 이에 대응하는 몫환 R^(e) = R / J^(e)를 정의한다.
• 일반화된 구성과 재귀적 생성자 G~α를 사용하여 각 이상 J^(e)에 대해 Gröbner 기저 Q^(e)를 구성하며, 주 단항식이 경로 유형에 대응하도록 한다.
• Buchberger 알고리즘과 사전순 감소를 사용하여 Q^(e)의 모든 S다항식이 감소 가능함을 증명함으로써 Q^(e)가 Gröbner 기저임을 입증한다.
• 삼각성과 성분별 지배성을 활용하여, Q^(e)의 주 단항식으로 나누어지지 않는 단항식의 집합이 e-카탈란 경로로 인덱싱된 R^(e)의 Hilbert 기저를 이룬다는 것을 보인다.

실험 결과

연구 질문

• RQ1 J가 비상수 비대칭 함수로 생성된 아이디얼의 폐쇄일 때, 몰입환 R = Q[[x1,x2,...]] / J의 Hilbert 기저는 무엇인가?
• RQ2 직선 y = x − e 위의 경로에 대응하는 이상 J^(e)에 의한 몰입환 R^(e) = R / J^(e)의 구조는 어떤가?
• RQ3 Jn이 비상수 비대칭 다항식으로 생성될 때, 유한차원 몰입환 Rn = Q[x1,...,xn]/Jn의 차원은 무엇인가?
• RQ4 Rn의 차원이 제1n 카탈란 수 Cn과 같을까? 이 잠재적 등호의 구조적 이유는 무엇인가?
• RQ5 초조화 다항식 공간 SHn(즉, Jn의 수직보완공간)의 대수적 구조는 더 이상 특성화될 수 있으며, 이에 자연스럽게 작용하는 자연스러운 대수는 무엇인가?

주요 결과

• 몰입환 R = Q[[x1,x2,...]] / J의 Hilbert 기저는 항상 직선 y = x 위에서 약하게 유지되는 무한 Dyck 경로(카탈란 경로)에 대응하는 단항식들로 구성된다.
• 모든 e ≥ 0에 대해, 몰입환 R^(e) = Q[[x1,x2,...]] / J^(e)는 항상 직선 y = x − e 위에 머무르는 경로로 인덱싱된 Hilbert 기저를 가지며, 이는 e-카탈란 경로의 클래스를 이룬다.
• 재귀적 구성 규칙을 통해 정의된 생성자 집합 Q^(e)의 G~α는, 모든 S다항식이 0으로 감소함을 보임으로써 이상 J^(e)에 대한 Gröbner 기저를 이룬다.
• 유한차원 몰입환 Rn = Q[x1,...,xn]/Jn의 차원은 제1n 카탈란 수로 상한이 있으며, 즉 dim(Rn) ≤ Cn이다.
• SHn ⊆ Hn의 초조화 다항식 공간—Jn의 수직보완공간으로 정의된—은 고전적 조화 다항식의 부분공간이며, 그 차원은 Cn으로 상한이 있다.
• 저자들은 dim(Rn) = Cn라는 추측을 제기하며, 이 등호는 F. Bergeron과 A. Garsia와의 공동 작업 중이며, 향후 논문 [5]에서 증명이 예상된다.