[논문 리뷰] Pattern Matching in the Cycle Structure of Permutations

Miles Eli Jones, Jeffrey B. Remmel|arXiv (Cornell University)|2011. 02. 15.

Advanced Combinatorial Mathematics참고 문헌 23인용 수 6

한 줄 요약

이 논문은 순열의 순환 구조가 주어진 순열 집합의 패턴을 포함할 때를 정의하는 순환 패턴 매칭을 도입한다. 순열에서 순환 패턴을 피하는 데 대한 생성함수—특히 지수 생성함수—를 개발하고, 이를 계산하기 위해 재귀 공식과 대칭 함수 기법을 제공하며, 1324 및 1423와 같은 특정 패턴에 대해 명시적인 결과를 도출한다.

ABSTRACT

In this paper, we study the occurrence of patterns in the cycle structures of permutations.

연구 동기 및 목표

• 순열의 순환 구조 내에서 패턴 매칭 개념을 체계화하여, 전통적인 순열 패턴 이론을 순환 분해로 확장한다.
• 패턴이 순환의 순환 부분수열에서 상대적 순서가 나타나면 그 순환에 포함된 것으로 간주하는 순환 피하기 및 순환 매칭 통계를 정의한다.
• 특정 순환 패턴을 피하거나 매칭하는 순열 수를 위한 생성함수—특히 지수 생성함수—를 개발한다.
• 특정 패턴 집합에 대해 이러한 생성함수를 계산하기 위한 재귀적이고 대수적 방법, 특히 대칭 함수의 환형 준동형을 제공한다.
• 1324 및 1423와 같은 구체적 사례에 대해 이 방법을 적용하고, 이중사상과 환형 준동형을 활용하여 더 복잡한 패턴 집합으로의 확장을 시도한다.

제안 방법

• 순열의 순환 분해에서 한 순환의 순환 부분수열에 패턴 τ가 포함되어 있으면, 이를 순환-τ-매칭으로 정의하며, 인덱스는 순환 길이에 대해 모듈로 취한다.
• 지수 생성함수 $ NCM_\tau(t,x,y) = \sum_{n \geq 0} ncmS_{n,\tau}(x,y) \frac{t^n}{n!} $ 를 도입하며, 여기서 $ ncmS_{n,\tau}(x,y) $ 는 크기 n인 순열 중 순환 τ-매칭이 없는 순열의 수를 세는 함수이다.
• 생성함수를 보다 단순한 보조 함수와 연결하기 위해 항등식 $ NCM_\tau(t,x,y) = \frac{1}{(U_\tau(t,y))^x} $ 를 사용하며, 여기서 $ U_\tau(t,y) = \frac{1}{NCM_\tau(t,1,y)} $ 이다.
• 대칭 함수에서의 준동형 방법을 적용한다: $ \Lambda $ 에서의 환형 준동형 θ 를 정의하여 $ \theta(e_n) = \frac{(-1)^n}{n!} ncmS_{n,\tau}(1,y) $ 를 만족시키며, 생성함수와 대칭 함수 항등식을 연결한다.
• 카탈란 수를 사용하여 $ U_{n,\tau}(y) $ 의 재귀 관계를 유도한다. 예를 들어 $ U_{n,1324}(y) = (1-y)U_{n-1,1324}(y) + \sum_{k=2}^{\lfloor n/2 \rfloor} (-y)^{k-1} C_{k-1} U_{n-2k+1,1324}(y) $ 와 같이 유도된다.
• 데랭ement과 브릭 타블로이드의 채우기 사이의 대칭적 이중사상을 활용한 대체 방법을 제시하며, 이는 대칭 함수 항등식과 $ e^t $ 의 곱을 통해 복잡한 패턴 집합에 대한 $ NCM_\Upsilon(t) $ 를 계산할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 고전적 순열 패턴 매칭은 어떻게 순열의 순환 구조로 확장될 수 있는가?
• RQ2 순환 패턴을 피하는 순열의 생성함수는 어떤 구조를 가지며, 효율적으로 계산할 수 있는가?
• RQ3 1324나 1423와 같은 특정 패턴에 대해 순환 매칭이 없는 순열 수에 대한 재귀 공식을 유도할 수 있는가?
• RQ4 대칭 함수 항등식과 준동형은 어떻게 순환 패턴 피하기 생성함수의 계산을 지원하는가?
• RQ5 데랭ement과 브릭 타블로이드 채우기 사이의 이중사상은 어떻게 복잡한 순환 패턴 집합의 생성함수 계산에 기여하는가?

주요 결과

• 논문은 $ n = 0 $ 에서 $ 8 $ 까지의 명시적 생성함수 $ S^{ncm}_{n,\tau}(x,y) $ 를 제공하며, $ \tau = 1324 $ 인 경우 순환 $ \tau $-매칭이 없는 크기 $ n $ 의 순열 수를 $ x $ 와 $ y $ 의 계수로 추적한다.
• 패턴 $ \tau = 1324 $ 에 대해 재귀식 $ U_{n,1324}(y) = (1-y)U_{n-1,1324}(y) + \sum_{k=2}^{\lfloor n/2 \rfloor} (-y)^{k-1} C_{k-1} U_{n-2k+1,1324}(y) $ 가 도출되었으며, 여기서 $ C_k $ 는 $ k $ 번째 카탈란 수이다.
• 패턴 $ \tau = 1423 $ 에 대해 재귀식 $ U_{n,1423}(y) = (1-y)U_{n-1,1423}(y) + \sum_{k=2}^{\lfloor n/2 \rfloor} (-y)^{k-1} \binom{n-k-1}{k-1} U_{n-2k+1,1423}(y) $ 가 확립되었다.
• 패턴 집합 $ \Upsilon $ 에 대해 생성함수 $ NCM_\Upsilon(t) = \frac{e^t}{1 - \sum_{n \geq 3} \frac{2(-t)^n}{n!}} $ 가 이중사상 기반 방법을 통해 계산되었으며, $ \Upsilon $ 는 1234와 모든 5자리 순열로, 패턴 $ \sigma_1 < \sigma_2 > \sigma_3 < \sigma_4 > \sigma_5 $ 를 가진다.
• 준동형 방법은 생성함수를 대칭 함수와 연결하여, $ H(t) = 1/E(-t) $ 와 같은 항등식을 사용해 새로운 재귀식을 도출하고 대수적 조작을 통해 계수를 계산할 수 있도록 한다.
• 세 번째 방법은 데랭ement와 브릭 타블로이드 채우기 사이의 이중사상을 포함하며, 첫 번째 두 방법으로는 접근이 어려운 패턴 집합에 대해 $ NCM_\Upsilon(t) $ 의 계산을 가능하게 하여 더 넓은 적용 가능성을 보여준다.