[논문 리뷰] Enumeration of permutations starting with a longest increasing subsequence

Greta Panova|arXiv (Cornell University)|2009. 05. 13.

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

한 줄 요약

이 논문은 $S_n$에서 첫 $n-k$ 개의 원소가 증가하고 최장 증가 부분수열의 길이가 $n-k$인 순열을 세는 공식에 대해 두 가지 간단한 전단사 증명을 제공한다. RSK 대응과 직접적인 순열 전단사에 기반하여, 닫힌 표현식과 그 $q$-해석을 확립하며, 초기에 문자 다항식 기법을 통해 유도된 결과를 해결한다.

ABSTRACT

We prove a formula for the number of permutations in $S_n$ such that their first $n-k$ entries are increasing and their longest increasing subsequence has length $n-k$. This formula first appeared as a consequence of character polynomial calculations in recent work of Adriano Garsia and Alain Goupil. We give two `elementary' bijective proofs of this result and of its $q$-analogue, one proof using the RSK correspondence and one only permutations.

연구 동기 및 목표

• 문자 다항식 기법을 사용해 처음으로 유도된 공식에 대해, 간단하고 조합론적인 증명을 제공하는 것.
• 첫 $n-k$ 개의 원소가 증가하고 최장 증가 부분수열 길이가 $n-k$인 $S_n$의 순열에 대한 닫힌 표현식을 확립하는 것.
• 이 결과를 $q$-해석으로 확장하여, 순열 통계를 통해 가중 카운팅을 포괄하는 것.
• 두 가지 서로 다른 전단사 접근 방식—하나는 RSK 대응을 사용하고, 다른 하나는 순수하게 조합론적인 순열 기반의 방식—을 제시하여 더 깊은 구조적 통찰을 제공하는 것.

제안 방법

• 순열을 표준 양의 표준 젊 테이블로 매핑하는 RSK 대응을 사용하여, 증가 부분수열의 구조를 젊 테이블의 형태와 연결하는 것.
• 특정 조건을 만족하는 순열의 집합과 그 수가 잘 알려진 조합론적 클래스 사이의 직접 전단사를 구성하여, 문자 다항식 기반의 기계적 방법을 피하는 것.
• 첫 $n-k$ 개의 원소가 증가하고 최장 증가 부분수열 길이가 $n-k$인 조건을 유지하는 순수하게 순열 기반의 두 번째 전단사를 정의하는 것.
• 전단사 과정에서 역전의 통계 또는 기타 순열 통계를 추적하여 $q$-해석을 도입하는 것.
• 두 전단사 모두 주어진 조건—첫 $n-k$ 개 원소가 증가하고 LIS 길이가 $n-k$—를 유지하는지 확인하는 것.
• 표준 젊 테이블의 성질과 RSK 대응의 특성을 이용하여, 구성의 정확성과 전단사성 보장하는 것.

실험 결과

연구 질문

• RQ1 문자 다항식 기법을 사용하지 않고도, 첫 $n-k$ 개 원소가 증가하고 최장 증가 부분수열 길이가 $n-k$인 $S_n$의 순열 수를 세는 공식을 증명할 수 있는가?
• RQ2 RSK 대응을 사용하여 이 순열 수를 직접적으로 실현하는 전단사 구조는 무엇이 있는가?
• RQ3 테이블로를 피하고 순수하게 순열 기반의 전단사로 공식을 증명할 수 있는가?
• RQ4 이 수의 $q$-해석은 어떻게 조합론적으로 구성하고 검증할 수 있는가?
• RQ5 이러한 전단사에서 어떤 순열의 구조적 성질이 유지되며, 이는 LIS와 접두사 제약 조건을 어떻게 반영하는가?

주요 결과

• 논문은 공식에 대해 두 가지 독립적인 전단사 증명을 제공한다. 하나는 RSK 대응을 통한 것이고, 다른 하나는 순수하게 순열만을 사용한 것이다.
• 동일한 전단사 틀을 통해 $q$-해석도 확립되었으며, $q$-가중 수를 유지한다.
• 이러한 순열의 수가 특정 형태의 표준 젊 테이블의 수와 같다는 것이 밝혀져 공식의 타당성을 확인한다.
• 전단사들은 문자 다항식 이론을 피하고도, 첫 $n-k$ 개 원소가 증가하고 LIS 길이가 $n-k$라는 조건을 조합론적으로 표현할 수 있음을 보여준다.
• 원래 문자 다항식 계산을 통해 유도된 공식이 이제는 명시적이고 구성적인 증명을 통해 확인된다.
• 구성 과정은 순열 패턴, 증가 부분수열, 젊 테이블 간의 더 깊은 연결고리를 드러내어 문제에 대한 조합론적 이해를 풍부하게 한다.