[논문 리뷰] On the inner structure of a permutation: Bicolored Partitions and Eulerians, Trees and Primitives

Adrian Ocneanu|arXiv (Cornell University)|2013. 04. 04.

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

한 줄 요약

이 논문은 오르림과 내림이 지정된 이색 집합으로서의 가족들로 순열을 이항 분해하는 방법을 제안하며, 이는 원시 순열의 표준적인 트리형 구조를 가능하게 한다. 주요 기여는 이론적 조합적 프레임워크를 통해 순열 재정렬을 셔플링과 쌍화 작업으로 대체함으로써, 이항수와 탈치수에 대한 명시적인 덧셈 다항식 공식을 유도한 것이다.

ABSTRACT

We present a bijective algorithm with which an arbitrary permutation decomposes canonically into elementary blocks which we call families, which are sets with a specified number of ascents and descents. We show that families, arranged in an arbitrary order in a sequence, are in bijection with permutations. The permutation decomposes canonically, by inserting parentheses, into a tree having as nodes a class of permutations which we call primitive. Primitive permutations can be assembled from very simple data. The data for the trees into which a permutation decomposes can be written in a form similar to the decimal classification of a library. We axiomatize that data. It has a structure very different from the permutation which it encodes, with shuffles and pairings instead of reorderings. These structures are similar to the fundamental processes in quantum field theory. Our main bijective structure algorithm gives explicit, additive multinomial formulae for the number of permutations with given sets of elements under and over the diagonal, or with given ascent and descent values. The multinomial expressions obtained this way give a new class of bicolored set statistics, between set partitions and set compositions, called shifted multinomials. These provide for the first time additive multinomial expressions for Eulerian numbers and derangements, as part of a sequence of new combinatorial objects. These multinomial expressions satisfy inductive relations involving only immediate neighbors, similar to the relations satisfied by the Eulerian numbers.

연구 동기 및 목표

• 지정된 오르림 및 내림 수를 가진 기본적인 구조 단위로 불리는 '가족'으로 순열을 표준화된 방식으로 분해하는 것.
• 순열과 이러한 가족들의 수열 사이의 이항 대응 관계를 확립하여, 조합적 자료로부터 순열을 명시적으로 구성할 수 있도록 하는 것.
• 곱셈 수론에서 소수와 유사한 기본 단위로 기능하는 '원시' 순열의 트리형 구조를 도입하는 것.
• 새로운 유형의 이색 집합 통계인 이동 다항계수를 통해 이항수와 탈치수에 대한 덧셈 다항식 공식을 도출하는 것.
• 새로운 순열의 동역학을 가족의 성장과 분열 과정으로 모델링하여 생물학적 세포 분열이나 양자장 이론 연산자와 유사한 방식으로 기술하는 것.

제안 방법

• 가족을 k개의 빨간색(오르림)과 l개의 파란색(내림) 원소로 구성된 이색 집합으로 정의하며, 파랑 원소는 증가 순서로, 빨강 원소는 증가 순서로 정렬되고, 모든 파랑 원소는 모든 빨강 원소보다 작다.
• 동적 삽입 알고리즘을 사용: {1,…,n−1}의 순열에 가장 큰 원소 n을 삽입하며, 기존 가족에 포함되거나, 친구를 끌어내어 새로운 가족을 형성하거나, 단일 원소로 생성할 수 있다.
• 각 노드가 특정 오르림/내림 값과 함께 활성 가족과 고위 브랜치를 위한 '순위' 삽입 지점으로 구성된 원시 순열인 표준적인 숲 구조를 구성한다.
• 순열 전체를 이중화된 원소 쌍화 및 셔플링에 기반한 십진수 유사 코드로 인코딩하며, 순열 재정렬을 조합적 쌍화 및 셔플링 자료로 대체한다.
• 정수의 양음 수열 또는 장식된 내림이 있는 다이크 경로를 사용하여 트리 구조의 자료를 공리화함으로써 원시 순열을 직접 구성할 수 있도록 한다.
• 이동 다항계수를 사용하여 주어진 수의 원소가 대각선 위, 아래, 위에 있는 순열의 수에 대한 덧셈 다항식 표현을 도출한다.

실험 결과

연구 질문

• RQ1 순열은 오르림 및 내림 수가 지정된 기본적인 구조 단위(가족)로 표준화된 방식으로 분해될 수 있는가?
• RQ2 순열과 이러한 가족들의 수열 사이의 이항 대응 관계는 무엇이며, 이를 통해 순열을 명시적으로 구성할 수 있는가?
• RQ3 새로운 최대 원소 삽입을 통한 가족 성장 및 분열의 동역학을 원시 순열의 트리형 구조로 형식화할 수 있는가?
• RQ4 어떤 조합적 자료(예: 다이크 경로, 부호가 있는 수열)가 순열의 구조적 원시 구성 요소를 유일하게 인코딩할 수 있는가?
• RQ5 새로운 이색 집합 통계인 이동 다항계수를 사용하여 이항수와 탈치수에 대한 덧셈 다항식 공식을 도출할 수 있는가?

주요 결과

• 크기가 i+j인 n₁개의 단일원소와 n_{(i,j)}개의 가족(오르림 i개, 내림 j개)을 가진 {1,…,n}의 순열 수는 다음과 같은 다항계수 표현식으로 주어진다: n! / (n₁! ∏(i+j)!^{n_{(i,j)}}) × (Σn_{(i,j)})! / ∏n_{(i,j)}!.
• 모든 유효한 (n₁, n_{(i,j)}) 구성에 대해 이 다항계수 표현식의 총합은 n!과 일치하며, 이는 순열과 무제한적인 가족 조합 간의 이항 대응 관계를 확인한다.
• 이러한 이색 집합 통계—이동 다항계수—는 이항수와 탈치수에 대한 첫 번째 덧셈 다항식 공식을 제공한다.
• 이러한 다항식 표현식은 오직 바로 이웃하는 항들만을 포함하는 재귀 관계를 만족하며, 이는 이항수의 재귀 성질과 유사하다.
• 가족의 (i,j) 유형(오르림 i개, 내림 j개)에 따른 통계 분포는 가족 성장 및 분열의 복잡한 동역학으로 인해 다변량 정규분포를 따른다.
• 순열의 구조는 원시 구성 요소의 쌍화 및 셔플링을 통해 인코딩되며, 순열 재정렬을 양자장 이론의 연산자들과 유사한 본질적으로 다른 조합적 연산으로 대체한다.