[논문 리뷰] Congruences on the Bell polynomials and the derangement polynomials

Yidong Sun, Xiaojuan Wu외 1명|arXiv (Cornell University)|2010. 09. 15.

Advanced Mathematical Identities참고 문헌 5인용 수 4

한 줄 요약

이 논문은 벨 수와 유도 수에 대한 선과 자지에르의 합동을 우mb라 계산을 사용하여 다항식 설정으로 일반화한다. 소수 모듈로에서 벨 다항식과 유도 다항식에 대한 새로운 합동을 수립하며, 기존 결과를 확장하고 조합적 수론의 더 깊은 대수적 구조를 드러낸다.

ABSTRACT

In this note, by the umbra calculus method, the Sun and Zagier's congruences involving the Bell numbers and the derangement numbers are generalized to the polynomial cases. Some special congruences are also provided.

연구 동기 및 목표

• 선과 자지에르의 벨 수와 유도 수에 대한 합동을 우mb라 계산을 사용하여 다항식 형태로 확장하는 것.
• 소수 모듈로에서 벨 다항식 $\mathcal{B}_n(x)$ 와 유도 다항식 $\mathcal{D}_m(x)$ 를 포함하는 통합된 합동을 수립하는 것.
• 모듈로 산술 하에서 스틸링 수, 벨 다항식, 유도 다항식 간의 새로운 항등식을 유도하는 것.
• 특수 케이스와 결과를 제시하여, 소수 모듈로에서의 벨 수와 유도 수의 구조적 성질을 드러내는 것.

제안 방법

• 일반화된 벨 우mb라 $\mathbf{B}_x$ 를 정의하여 $\mathbf{B}_x^m = \mathcal{B}_m(x)$ 가 되도록 하여 다항식 수열의 대수적 연산을 가능하게 하는 우mb라 계산 프레임워크를 사용한다.
• 우mb라 설정에서 라그랑주 합동 $x(x-1)\cdots(x-p+1) \equiv x^p - x \pmod{p}$ 를 적용하여 모듈로 항등식을 유도한다.
• 유도 다항식의 재귀식 $\mathcal{D}_m(x) = m\mathcal{D}_{m-1}(x) + (x-1)^m$ 과 그 우mb라 형태를 사용하여 유도 다항식과 내림 계승 계수 간의 관계를 설정한다.
• 제1종과 제2종 스틸링 수 간의 수직 관계를 활용하여 서로 다른 다항식 표현 간의 변환을 수행한다.
• 페르마의 소정리와 이항 계수의 합동 $\binom{p-1}{k} \equiv (-1)^{p-k-1} \pmod{p}$ 를 적용하여 모듈로 $p$ 에서의 합을 단순화한다.

실험 결과

연구 질문

• RQ1 선과 자지에르의 벨 수와 유도 수에 대한 합동을 다항식 형태로 일반화할 수 있는가?
• RQ2 소수 모듈로에서 벨 다항식 $\mathcal{B}_n(x)$ 와 유도 다항식 $\mathcal{D}_m(x)$ 를 포함하는 합의 모듈로 행동은 어떠한가?
• RQ3 스틸링 수와 우mb라 항등식은 다항식 합동 모듈로 $p$ 의 맥락에서 어떻게 상호작용하는가?
• RQ4 일반화된 합동으로부터 특수 케이스나 결과는 무엇이 있으며, 특히 $n=1$ 과 $n=2$ 에서는 어떠한가?
• RQ5 주요 결과로부터 유도 수 $D_m$ 과 벨 수 $B_m$ 의 새로운 항등식을 소수 모듈로에서 유도할 수 있는가?

주요 결과

• 논문은 일반 합동을 증명한다: $x^m \sum_{k=1}^{p-1} \frac{\mathcal{B}_{n+k}(x)}{(-m)^k} \equiv x^p \sum_{k=0}^{n} S(n,k)(-1)^{m+k-1} \mathcal{D}_{m+k-1}(1-x) \pmod{p}$ for $p \nmid m$, 선과 자지에르의 결과를 확장한다.
• 특수 케이스 $x=1$ 에서는 항등식이 $\sum_{k=1}^{p-1} \frac{B_{n+k}}{(-m)^k} \equiv \sum_{k=0}^{n} S(n,k)(-1)^{m+k-1} D_{m+k-1} \pmod{p}$ 로 단순화되며, 소수 모듈로에서의 벨 수와 유도 수를 연결한다.
• 특수 케이스 $n=1$ 은 $\sum_{k=1}^{p-1} \frac{B_{k+1}}{(-m)^k} \equiv (-1)^m D_m \pmod{p}$ 를 유도하여, 유도 수에 대한 새로운 모듈로 항등식을 제공한다.
• 특수 케이스 $n=2$ 는 $\sum_{k=1}^{p-1} \frac{B_{k+2}}{(-m)^k} \equiv (-1)^m (D_m - D_{m+1}) \pmod{p}$ 를 유도하여, 유도 수의 차분 구조를 드러낸다.
• 기존 문헌에 나타나지 않은 새로운 항등식이 발견된다: $\sum_{j=0}^{m} s(m,j) B_{j-1} = (-1)^{m-1} D_{m-1}$.
• 논문은 $D_{pn+m} \equiv (-1)^n D_m \pmod{p}$ 와 $\sum_{k=1}^{p-1} (-1)^k B_{n+k} \equiv V_n \pmod{p}$ 를 유도한다. 여기서 $V_n$ 은 싱글턴을 포함하지 않는 분할의 수를 세는 것이다.