[논문 리뷰] The Double Eulerian Polynomial and Inversion Tables

Erik Aas|arXiv (Cornell University)|2014. 01. 22.

Advanced Combinatorial Mathematics참고 문헌 2인용 수 3

한 줄 요약

이 논문은 비송타이의 추측을 증명하며, 이중 오일러 다항식이 내림차순과 역내림차순 통계로 나열하는 순열에 대한 이중 오일러 다항식과, 오름차순과 행 통계를 사용하는 뒤집기 표본에 대한 생성함수 간의 이항 생성함수 항등식을 확립한다. 핵심 결과는 라벨이 부여된 루트 있는 나무를 통한 이분법적 증명으로, 이는 서로 다른 조합적 객체 위에서 이러한 두 통계 간의 직접적인 조합적 동치를 확립한다.

ABSTRACT

We show that the pair (des, ides) of statistics on the set of permu- tations has the same distribution as the pair (asc, row) of statistics on the set of inversion tables, proving a conjecture of Visontai. The common generating function of these pairs is the double Eulerian polynomial.

연구 동기 및 목표

• 이중 오일러 다항식을 정의하여 순열의 내림차순과 역내림차순 통계로 나열하는 생성함수와, 오름차순과 행 통계로 나열하는 뒤집기 표본의 생성함수 간의 등가성을 증명한다.
• 비송타이의 이중 오일러 다항식과 뒤집기 표본의 생성함수 간의 등분포성에 대한 추측을 해결한다.
• 루트가 있는 라벨이 부여된 나무를 사용한 이분법적 증명을 제공하며, 이를 통해 순열과 뒤집기 표본의 통계를 인덕티브로 구성하고, 모비우스 역전을 통해 유도한다.
• 전통적인 오일러 다항식 이론을 확장하여 순열 통계와 뒤집기 표본 통계 사이의 더 깊은 조합적 연결 고리를 확립한다.

제안 방법

• 이중 오일러 다항식을 $ A_n(u,v) = \sum_{\pi \in \mathbb{S}_n} u^{\operatorname{des}(\pi)} v^{\operatorname{des}(\pi^{-1})} $ 로 정의하여 고전적 오일러 다항식을 일반화한다.
• 뒤집기 표본 $ e \in \mathbb{I}_n $ 을 정의하며, 이는 $ 1 \leq e_i \leq i $ 를 만족하는 수열이며, 두 통계를 정의한다: $ \operatorname{asc}(e) $ 는 오름차순의 수, $ \operatorname{row}(e) $ 는 집합 $ \{e_i : 1 \leq i \leq n\} \setminus \{1\} $ 의 크기이다.
• 순열과 길이가 고정된 부분집합 $ S \subseteq \mathbb{N} $ 에 속하지 않는 뒤집기 표본의 길이를 가진 루트가 있는 라벨이 부여된 나무 $ T_{\mathbb{S}} $ 와 $ T_{\mathbb{I}} $ 를 구성하며, 간선은 $ r+s \notin S $ 를 만족하는 최소의 $ s $ 를 사용해 수열을 블록으로 확장함으로써 정의된다.
• 모비우스 역전을 사용하여 등분포성 주장이 $ T_{\mathbb{S}} $ 와 $ T_{\mathbb{I}} $ 간의 동형성으로 환원됨을 보이며, 각 $ S $ 에 대해 $ S \subseteq \operatorname{DES}(\pi) $ 를 만족하는 순열과 $ S \subseteq \operatorname{ASC}(e) $ 를 만족하는 뒤집기 표본의 수가 각각 역내림차순과 행 통계에 대해 등분포함을 보인다.
• 비슷한 길이와 통계를 유지하는 조건에서 순열을 뒤집기 표본으로 매핑하는 인덕티브 방법을 사용하여 나무 간의 이분법적 사상 $ \Phi $ 를 수립한다. 이를 위해 비음수 정수 튜플 $ (x_0, \dots, x_r) $ 을 사용하여 늦은 부분의 원소들이 빠른 부분의 연속적인 값들 사이에 떨어지는 수를 매개변수화한다.
• 기존의 조합적 항등식을 사용하여 주어진 내림차순 수를 갖는 이러한 튜플의 수가 주어진 수의 원소를 포함하는 $ T \subseteq [r+s] $ 의 부분집합 $ T^c \cap \operatorname{ROW}(e') $ 에 대해 동일한 수의 조합을 갖는다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 이중 오일러 다항식 $ A_n(u,v) $ 는 내림차순과 역내림차순으로 나열하는 순열을 세는 다항식이며, 오름차순과 행 통계를 사용하는 뒤집기 표본에 대해 등분포하는 동반 다항식을 갖는가?
• RQ2 비송타이의 추측, 즉 $ A_n(u,v) = \sum_{e \in \mathbb{I}_n} u^{\operatorname{asc}(e)} v^{\operatorname{row}(e)} $ 이 조합적으로 증명될 수 있는가?
• RQ3 내림차순과 역내림차순 통계를 오름차순과 행 통계로 보존하는 순열과 뒤집기 표본 간의 이분법적 대응 관계가 존재하는가?
• RQ4 이 등분포성은 주요 지수나 내림차순 위치의 합과 같은 다른 통계로 확장될 수 있는가?
• RQ5 오름차순과 행 통계의 등분포성에 대해 순열 측면과 독립적인 직접적인 조합적 증명이 존재하는가?

주요 결과

• 이중 오일러 다항식 $ A_n(u,v) $ 는 생성함수 $ \sum_{e \in \mathbb{I}_n} u^{\operatorname{asc}(e)} v^{\operatorname{row}(e)} $ 와 동일하다는 것이 증명되었으며, 이는 비송타이의 추측을 확인한다.
• 증명은 순열 기반과 뒤집기 표본 기반의 루트가 있는 나무 간의 나무 동형성을 확립하며, 각각 $ \operatorname{des} $ 와 $ \operatorname{ides} $ 가 $ \operatorname{asc} $ 와 $ \operatorname{row} $ 와 보존됨을 보여준다.
• 모비우스 역전을 통해 주어진 내림차순 집합 $ S $ 와 $ k $ 개의 역내림차순을 갖는 순열의 수는 $ S \subseteq \operatorname{ASC}(e) $ 와 $ \operatorname{row}(e) = k $ 를 만족하는 뒤집기 표본의 수와 동일하다. 이는 모든 $ S \subseteq [n-1] $ 에 대해 성립한다.
• 증명은 순열에서의 쌍 $ (\operatorname{maj}, \operatorname{ides}) $ 가 뒤집기 표본에서의 쌍 $ (\operatorname{amaj}, \operatorname{row}) $ 와 등분포함을 보여주며, 여기서 $ \operatorname{maj} $ 는 내림차순 위치의 합이고 $ \operatorname{amaj} $ 는 오름차순 위치의 합이다.
• 오름차순과 행 통계의 등분포성은 주요 결과에 의해 암시되지만, 직접적인 조합적 증명은 알려져 있지 않다.
• 사용된 이분법적 사상은 최종 항등식의 대칭성에도 불구하고 $ u $ 와 $ v $ 에 대해 대칭적이지 않으며, 이는 기초 조합론에서 더 깊은 비대칭성을 시사한다.