시르더 클래스에서 분리 순열과 세 쌍의 새로운 위치 통계
본 논문은 큰 시르더 수로 셈되는 네 종류의 4패턴 회피 순열 클래스에 대해, 최소 원소·최대 원소의 위치, 1과 n 사이 거리 등 구체적인 위치 통계를 도입하고 다변량 생성함수를 유도한다. 구조 분해와 커널 방법을 결합해 명시적 식을 얻으며, 이를 통해 각 클래스가 시르더 수열을 따름을 새로운 방식으로 증명한다. 또한 삼각 배열과 중앙 이항계수와의 연관성을 밝힌다.
저자: Juan B. Gil, Oscar A. Lopez, Michael D. Weiner
이 논문은 큰 시르더 수(large Schröder numbers)로 셈되는 네 개의 4패턴 회피 순열 클래스에 대해, “위치 통계(positional statistics)”라는 새로운 관점을 도입해 세밀한 열거 결과를 얻는다. 첫 번째 대상은 분리 순열 S(2413,3142)이다. 저자들은 1이 나타나는 위치 ℓ을 추적하는 이변량 생성함수 g(x,u)를 정의하고, 순열을 indecomposable와 decomposable 두 종류로 구분한다. 역전(inverse) 연산이 두 종류를 서로 교환한다는 사실을 이용해 g(x,u)를 S(x)와 S(xu) 사이의 관계식으로 전개한다. 결과적으로 g(x,u)=xuS(x)S(xu)S(x)+S(xu)−S(x)S(xu) 를 얻으며, u=1을 대입하면 S(x)−1=xS(x)^2−S(x) 가 된다. 이는 S(x)=½(3−x−√(x²−6x+1)) 로 정리되어 큰 시르더 수열임을 확인한다. 이어서 1이 가장 왼쪽에 있는 경우와 1과 n 사이 거리 k를 추적하는 2중 생성함수 f(x,t)를 도출한다. 분해 구조 σ=π₁⊕π₂⊕π₃를 이용해 각 부분에 대한 기여를 곱한 뒤, 앞서 구한 g_i와 S 함수를 대입해 f(x,t)=x²t S(x)S(xt)²/(S(xt)+S(x)−S(xt)S(x)) 라는 명시적 식을 얻는다. 이 식은 거리 통계가 큰 시르더 수와 직접 연결됨을 보여준다.
두 번째 클래스는 (1324,1423) 회피 순열이다. 여기서는 skew‑indecomposable 순열을 중심으로 A_{ind}^{n,ℓ}={σ∈S_n(1324,1423): σ indecomposable, σ(ℓ)=1} 를 정의하고, 재귀식 a_{n,ℓ}=2a_{n−1,ℓ}+∑_{j=1}^{ℓ−1}a_{n−1,j} 를 증명한다. 이를 다변량 생성함수 g(x,u)=∑ a_{n,ℓ}u^ℓ x^n 로 변환하면 (u−1−ux+2x)g(x,u)=ux(1−x)(u−1)+ux g(ux,1) 가 된다. 커널 방법으로 u를 (2x−1)/(x−1) 로 정하면 g(x,1)=1+x−√(1−6x+x²)⁄4 를 얻으며, 이는 작은 시르더 수열의 생성함수이다. 큰 시르더 수열은 작은 시르더 수열에 x→x/(1−x) 치환을 적용해 얻는다.
세 번째 클래스는 (1423,2413) 회피 순열이다. 여기서는 n번째 원소 n이 위치 k에 있을 때의 집합 A_{1≺n}^{k→n}을 정의하고, 세 가지 삽입·교환 연산 ϕ₁,ϕ₂,ϕ₃를 설계한다. 이를 통해 a_{n,k}=a_{n,k−1}+a_{n−1,k}+a_{n−1,k−1} (3≤k
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기