[논문 리뷰] Sums of squares of Krawtchouk polynomials, Catalan numbers, and some algebras over the Boolean lattice

Philip Feinsilver|arXiv (Cornell University)|2016. 03. 22.

Advanced Algebra and Logic참고 문헌 1인용 수 4

한 줄 요약

이 논문은 행렬 표현을 사용하고 $ r = \frac{1-p}{p} $로 매개변수화함으로써 Krawtchouk 다항식의 부분합의 제곱에 대한 일반적인 항등식을 유도한다. 대칭 케이스($ r=1 $)에서는 카탈란 수 및 슈퍼 카탈란 수와의 연결을 보인다. 주요 기여는 zeon 대수를 통한 부울 라티스 위의 *-대수의 차원과 다항식 합을 연결함으로써 이항계수와 카탈란 수와 관련된 조합 구조를 드러내는 것이다.

ABSTRACT

Writing the values of Krawtchouk polynomials as matrices, we consider weighted partial sums along columns. For the general case, we find an identity that, in the symmetric case yields a formula for such partial sums. Complete sums of squares along columns involve "Super Catalan" numbers. We look as well for particular values (matrix entries) involving the Catalan numbers. Properties considered and developed in this work are applied to calculations of various dimensions that describe the structure of some *-algebras over the Boolean lattice based on inclusion/superset relations expressed algebraically using zeons [zero-square elements].

연구 동기 및 목표

• 행렬 표현과 매개변수 $ r = \frac{1-p}{p} $를 사용하여 Krawtchouk 다항식의 부분합의 제곱에 대한 일반적인 항등식을 유도한다.
• 대칭 케이스($ p = 1/2 $)에서 Krawtchouk 다항식의 완전한 제곱 합과 슈퍼 카탈란 수 사이의 연결을 탐구한다.
• Krawtchouk 행렬의 특정 행렬 원소 중 카탈란 수에 해당하는 것을 식별한다.
• 다항식 항등식을 적용하여 포함/상위집합 관계에 의해 생성되는 부울 라티스 위의 *-대수의 차원을 계산한다.
• Krawtchouk 다항식 합과 이항계수, 카탈란 수, 중심자 차원과 같은 조합적 불변량 사이의 관계를 설정한다.

제안 방법

• Krawtchouk 다항식 값 $ \phi^{N}_{nj} $의 행렬 표현을 사용하여 열 기반의 제곱 합을 분석한다.
• 파스칼 유형의 점화 항등식 (i) $ \phi^{N}_{nj} + \phi^{N}_{n-1j} = \phi^{N+1}_{nj} $ 및 (ii) $ \phi^{N}_{nj} - r\phi^{N}_{n-1j} = \phi^{N+1}_{nj+1} $를 적용하여 합 항등식을 도출한다.
• 가중치 합의 주요 항등식(정리 3.1)을 유도하며, 이는 $ (N-2n)(\phi^{N}_{nj})^2 $를 포함하고, 텔레스코핑 항과 $ r $에 의존하는 계수를 가진다.
• 일반 항등식을 대칭 케이스 $ r=1 $로 특수화하여 이항계수와 카탈란 수를 포함하는 평가를 이끌어낸다.
• Krawtchouk 행렬 항등식을 적용하여 zeon 대수의 정규 표현을 통해 부울 라티스 위의 *-대수의 차원을 계산한다.
• 관계 $ (\Phi^N)^2 = 2^N I $와 부호 대칭성을 사용하여 대수의 차수, 차원, 중심 및 중심자 차원을 계산한다.

실험 결과

연구 질문

• RQ1 일반적인 $ r $에 대해 Krawtchouk 다항식의 부분합의 제곱을 닫힌 형태로 어떻게 표현할 수 있는가?
• RQ2 대칭 케이스에서 Krawtchouk 다항식의 완전한 제곱 합과 슈퍼 카탈란 수 사이의 연결은 무엇인가?
• RQ3 Krawtchouk 행렬의 어떤 특정 원소가 카탈란 수에 해당하는가?
• RQ4 Krawtchouk 다항식 항등식은 부울 라티스 위의 *-대수의 구조와 어떻게 관련되는가?
• RQ5 부울 라티스 위에서 포함 및 상위집합 연산자에 의해 생성되는 대수의 중심, 대수, 중심자 차원은 각각 얼마인가?

주요 결과

• 일반적인 제곱 합 항등식(정리 3.1)은 $ \sum_{n=0}^{m}(N-2n)(\phi^{N}_{nj})^2 $를 $ (N-j)(\phi^{N-1}_{mj})^2 $, $ rj(\phi^{N-1}_{mj-1})^2 $, 그리고 $ \sum_{n=0}^{m}(r(\phi^{N}_{nj-1})^2 + (\phi^{N}_{nj})^2) $를 포함하는 수정 항으로 표현한다.
• 대칭 케이스 $ r=1 $에서 열에 따른 완전한 제곱 합은 $ \sum_{n=0}^{N} (\Phi^{N}_{nj})^2 = \binom{2N}{N} $로, 슈퍼 카탈란 수가 된다.
• 카탈란 수는 Krawtchouk 행렬의 특정 원소로 나타난다: $ \Phi^{N}_{11} = C_N $, 즉 $ N $-번째 카탈란 수이다.
• 포함 연산자 $ U $에 의해 생성되는 대수의 차원은 $ \delta = n+1 $, 차수는 $ 2^n $, 중심자 차원은 $ \zeta = \binom{2n}{n} $이다.
• 연산자 $ T $와 $ T^* $에 의해 생성되는 대수의 차원은 $ \delta = \binom{n+3}{3} $, 중심의 차원은 $ 1 + \lfloor n/2 \rfloor $, 중심자 차원은 $ \zeta = C_n $, 즉 $ n $-번째 카탈란 수이다.
• 연산자 $ TT^* $와 $ T^*T $에 의해 생성되는 대수의 차원 $ \delta $는 $ n $ 이외에 짝수일 경우 $ \frac{(n+2)^2}{4} $, 홀수일 경우 $ \frac{(n+1)(n+3)}{4} $이며, 중심자 차원 $ \zeta $는 $ n $ 이외에 짝수일 경우 $ \binom{n}{n/2}^2 $, 홀수일 경우 $ 2\binom{n}{\lfloor n/2\rfloor}\binom{n-1}{\lfloor n/2\rfloor} $이다. 이는 정리 3.1을 통해 검증되었다.