[논문 리뷰] The Möbius function of the composition poset

Bruce E. Sagan, Vincent Vatter|ArXiv.org|2005. 07. 22.

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

한 줄 요약

이 논문은 약한 부등호를 갖는 부분어 포함 관계로 순서가 매겨진 합성 순서집합의 모비우스 함수를 결정한다. 부호를 반전시키는 치환과 이산 모스 이론을 모두 사용하여, 모비우스 함수에 대한 닫힌 형식의 공식을 유도하며, 비ör너의 부분어 순서에 대한 결과를 일반화하고, 임의의 순서집합 위의 자유 모노이드에서의 일반화된 부분어 순서를 통해 부분어 순서와 합성 순서집합의 구조를 통합한다.

ABSTRACT

We determine the Möbius function of the poset of compositions of an integer. In fact we give two proofs of this formula, one using an involution and one involving discrete Morse theory. The composition poset turns out to be intimately connected with subword order, whose Möbius function was determined by Björner. We show that using a generalization of subword order, we can obtain both Björner's results and our own as special cases.

연구 동기 및 목표

• 약한 부분어 포함 관계로 순서가 매겨진 정수 합성의 순서집합의 모비우스 함수를 결정하는 것.
• 부호를 반전시키는 치환을 사용한 조합적 증명과 이산 모스 이론을 사용한 위상수학적 증명이라는 두 가지 서로 다른 증명을 제공하는 것.
• 임의의 순서집합 위의 자유 모노이드에서의 일반화된 부분어 순서를 통해 부분어 순서와 합성 순서집합의 결과를 통합하는 것.
• 모비우스 함수가 합성 순서집합과 다른 조합론적 구조, 예를 들어 순열과 체비세프 다항식 사이의 관계를 탐색하는 것.

제안 방법

• 입력값 $\mathbb{P}^*$ 위의 합성 순서집합을 정의하며, $u \leq w$ 라는 조건은 $u$ 가 $w$ 에 부분어로 포함되며, 원소들 사이에 약한 부등호가 적용된다는 뜻이다.
• 모비우스 함수 합에서 항들을 상쇄시키기 위해 임베딩 집합에 부호를 반전시키는 치환을 사용한다. 이로 인해 정규 임베딩만 남는다.
• 합성 순서집합의 순서 복합체에 대해 이산 모스 이론을 적용하여 기울기 벡터장을 구성함으로써 호모로지와 따라서 모비우스 함수를 계산한다.
• 임의의 순서집합 $P$ 에 대해 $P^*$ 위의 일반화된 부분어 순서를 도입하며, 비ör너의 부분어 순서와 합성 순서집합을 특수한 경우로 포함한다.
• 층상 순열과 합성 사이의 전단사 관계를 설정하여, 층상 순열에서의 패턴 포함 순서가 정확히 합성 순서와 일치함을 보인다.
• 체비세프 다항식의 세 항 재귀식을 사용하여 $\Lambda^*$ 순서집합에서 모비우스 함수에 대한 추측을 증명하는 데 잠재적인 도구로 활용한다.

실험 결과

연구 질문

• RQ1 약한 부분어 포함 관계 하에서 합성 순서집합의 모비우스 함수는 무엇인가?
• RQ2 합성 순서집합의 모비우스 함수는 조합적 방법과 위상수학적 방법을 모두 사용하여 계산할 수 있는가?
• RQ3 합성 순서집합은 부분어 순서와 자유 모노이드 위의 일반화된 부분어 순서와 어떻게 관련이 있는가?
• RQ4 순서집합 $\Lambda^*$ 의 모비우스 함수와 체비세프 다항식 사이에 연결 고리가 있는가?
• RQ5 패턴 포함 관계 하에서 순열의 모비우스 함수는 가중 정규 임베딩을 사용하여 기술할 수 있는가?

주요 결과

• 합성 순서집합 $\mathbb{P}^*$ 의 모비우스 함수는 특정 임베딩 클래스에 대해 $\mu(u,w) = (-1)^{|w|-|u|} \cdot \prod_{i=1}^{k} (w(i) - u(i))$ 로 주어지며, 치환과 모스 이론을 통해 닫힌 형식의 공식이 도출된다.
• 합성 순서집합은 층상 순열에서의 패턴 포함 순서와 순서집합적으로 동일하므로, 이 모비우스 함수 결과는 이 클래스의 순열에 대해 윌프의 질문에 대한 답이 된다.
• 합성 순서집합의 모비우스 함수는 항상 $\{0, \pm 1\}$ 이 아니며, $\mu(1,31524) = 6$ 이라는 사례로 이를 보여주며, 일반적인 임베딩 기반 서술을 위해 비단위 가중치가 필요하다는 것을 시사한다.
• 임의의 순서집합 $P$ 에 대해 $P^*$ 위의 일반화된 부분어 순서는 부분어 순서(만일 $P$ 가 반사상이면)와 합성 순서집합(만일 $P$ 가 사슬이면)의 모비우스 함수 결과를 통합한다.
• 수치적 증거는 $\Lambda^*$ 의 모비우스 함수와 체비세프 다항식의 첫 번째 종류 사이에 깊은 연결 고리가 있음을 시사하며, $\mu(a^i, c^j)$ 는 $T_{i+j}(x)$ 에서 $x^{j-i}$ 의 계수로 추측된다.
• 순서집합 $[a^i, c^j]$ 는 $\Lambda^*$ 에서 셸러블이 아니며, 이는 표준적인 위상수학적 도구인 셸러블리티가 실패함을 나타내지만, 이산 모스 이론은 여전히 효과적이다.