[논문 리뷰] Factorizations of permutations into star transpositions

J. Irving, Amarpreet Rattan|arXiv (Cornell University)|2006. 10. 21.

graph theory and CDMA systems참고 문헌 2인용 수 9

한 줄 요약

이 논문은 대칭군 $\mathfrak{S}_n$ 내의 임의의 순열에 대한 최소 전이성 스타 분해의 수에 대한 닫힌 형식의 공식을 제공한다. 이는 패크의 이전 결과를 일반화하여 순열의 순환 구조에 대한 제약 조건을 제거한 것이다. 스타 분해와 루트가 있는 평면 트리 사이의 이분법적 대응 관계를 통해, 이러한 분해의 수는 순열의 순환 유형에만 의존하며, 이는 순환 유형에 대한 놀라운 대칭성을 드러내지만 아직 조합적으로 설명되지 않은 상태이다.

ABSTRACT

We give a compact expression for the number of factorizations of any permutation into a minimal number of transpositions of the form $(1 i)$. Our result generalizes earlier work of Pak in which substantial restrictions were placed on the permutation being factored.

연구 동기 및 목표

• 패크의 최소 스타 분해 공식을 1을 고정하고 일정한 순환 길이를 가진 순열에 국한된 것에서, 임의의 순열으로 확장한다.
• 최소 전이성 스타 분해의 수가 순환 길이에만 의존하고, 어떤 원소(예: 1)가 어느 순환에 속해 있는지에 따라 달라지지 않는 데서 비롯되는 놀라운 대칭성을 설명한다.
• 그래프 임bedding과 트리 표현을 통해 최소 전이성 스타 분해의 조합적 특성화를 제공한다.
• 분해, 평면 맵, 루트가 있는 평면 트리 간의 연결 고리를 수립하여, 순환 보조정리를 통해 수를 세는 데 활용한다.

제안 방법

• 목표 순열의 순환 분해와 분해의 구조를 연결하는 조합론적 보조정리를 사용하여 최소 전이성 스타 분해를 특성화한다.
• 최소 전이성 스타 분해와 $m$개의 흰색 정점(각 순환마다 하나)과 $n-m$개의 검은 정점(루트가 아닌 각 원소마다 하나)을 가진 루트가 있는 평면 트리 사이의 이분법적 대응 관계를 수립한다. 여기서 흰색 정점은 각 순환의 최소 원소로 레이블링된다.
• 이러한 트리를 디락 타입의 수열로 표현한다: 정점에 처음으로 도달할 때 +1을 기록하고, 순환 $j$의 흰색 정점 $j$를 마지막으로 방문할 때 $-i^{(j)}$를 기록한다. 여기서 $i$는 $j$의 검은 정점 자식 수이다.
• 유효한 디락 수열의 수를 세기 위해 순환 보조정리를 사용한다. 이 수열은 최소 전이성 스타 분해와 일대일 대응된다.
• 오일러-포앵카르에 공식을 통해 분해와 평면 맵 간의 관계를 이용하여 최소성 및 전이성 조건을 확인한다.
• 맵 표현을 표준 트리 형태로 단순화하여 중복된 간선 레이블을 제거하고 수를 세는 것을 단순화한다.

실험 결과

연구 질문

• RQ1 주어진 순열 $\pi \in \mathfrak{S}_n$의 순환 유형에 따라 최소 전이성 스타 분해의 수는 얼마인가?
• RQ2 모든 전이가 1을 포함하는 바람에 1이 어느 순환에 속해 있는지에 따라 달라지지 않음에도 불구하고, 이러한 분해의 수가 순환 길이에만 의존하는 이유는 무엇인가?
• RQ3 관측된 공식의 대칭성에 대해, 1을 포함한 순환의 레이블링에 의존하지 않는 통일된 조합론적 설명을 찾을 수 있는가?
• RQ4 최소 스타 분해는 평면 맵과 루트 트리와 어떻게 관련되어 있으며, 이 연결 고리를 통해 수의 세기 공식을 유도할 수 있는가?
• RQ5 최소 분해를 초월하여, 더 긴 분해로까지 전이성 스타 분해의 수에 대한 대칭성이 유지되는가?

주요 결과

• 순환 길이 $\ell_1, \ldots, \ell_m$를 가진 순열 $\pi \in \mathfrak{S}_n$의 최소 전이성 스타 분해의 수는 $\frac{(n + m - 2)!}{n!} \ell_1 \cdots \ell_m$이다.
• 공식은 순환 길이에 대해 대칭적이다: 1이 어느 순환에 속해 있는지에 따라 달라지지 않지만, 모든 전이가 1을 포함한다는 사실에도 불구하고 그렇다.
• 이 결과는 패크의 공식을 일반화한다. 패크의 공식은 순열이 1을 고정하고 순환 길이가 동일한 $k \geq 2$여야 하는 제약 조건이 있었지만, 본 연구는 순환의 균일성 제약과 1이 고정점이어야 하는 조건을 제거하였다.
• 1을 제외한 고정점을 $k$개 가진 순열의 경우, 최소 스타 분해의 수는 $\frac{(n + m - 2(k+1))!}{(n-k)!} \ell_1 \cdots \ell_m$이며, 여기서 $m$은 고정점이 아닌 순환의 수이다.
• 수의 세기는 루트가 있는 평면 트리에서 유도된 디락 타입 수열로의 이분법적 대응을 통해 이루어지며, 유효한 수열의 수를 세기 위해 순환 보조정리가 사용된다.
• 공식의 대칭성은 아직 조합적으로 설명되지 않아, 순열 분해와 그래프 임베딩 간의 상호작용에 더 깊은 기초적인 구조가 존재할 가능성을 시사한다.