[논문 리뷰] Combinatorial properties of poly-Bernoulli relatives

Beáta Bényi, Peter I. Hajnal|arXiv (Cornell University)|2016. 02. 28.

Advanced Combinatorial Mathematics참고 문헌 24인용 수 15

한 줄 요약

이 논문은 수정된 lonesum 행렬 제약 조건과 조합적 해석을 통해 다항 베르누이 수의 두 가지 새로운 조합적 연료인 배열 C_{n,k}와 D_{n,k}를 도입한다. 닫힌 형식의 공식을 유도하고 포함-배제 원리 및 재귀 관계를 통해 연결을 수립하며, 다항 베르누이 수의 대각합과 중심 이항 합 사이의 깊은 연결을 제안한다. 이는 ∑_{n+k=N} B_{n,k} = 3P_N로 표현되며, P_N는 π/√3의 유리수 근사에서 유래한다.

ABSTRACT

In this note we augment the poly-Bernoulli family with two new combinatorial objects. We derive formulas for the relatives of the poly-Bernoulli numbers using the appropriate variations of combinatorial interpretations. Our goal is to show connections between the different areas where poly-Bernoulli numbers and their relatives appear and give examples how the combinatorial methods can be used for deriving formulas between integer arrays.

연구 동기 및 목표

• 다항 베르누이 수 가족을 확장하기 위해 조합적 연료로서 새로운 정수 배열 C_{n,k}와 D_{n,k}를 도입하는 것.
• 01-행렬에서 금지된 부분행렬 제약 조건을 사용하여 이러한 연료에 대한 새로운 조합적 해석을 수립하는 것.
• 포함-배제 원리와 스타링 수 항등식을 사용하여 C_{n,k}와 D_{n,k}의 명시적 공식을 도출하는 것.
• 순열의 제한된 초월 집합과 비가시적 트리와 같은 알려진 조합적 객체와 이 연료들을 연결하는 것.
• 다항 베르누이 수의 대각합을 조사하고, 이를 중심 이항 합과 연결하는 추측을 제안하는 것.

제안 방법

• 특정 2×2 부분행렬을 금지하는 수정된 lonesum 행렬 제약 조건을 통해 C_{n,k}와 D_{n,k}를 다항 베르누이 수의 연료로 정의하는 것.
• Akiyama–Tanigawa 알고리즘과 그 변형을 사용하여 배열을 생성하고, AT({(i+1)^k}) = {(-1)^i C_{i,k}} 및 AT({i^k}) = {(-1)^i D_{i,k}}임을 보이는 것.
• 제2종 스타링 수와 계승 항을 사용하여 C_{n,k}와 D_{n,k}의 포함-배제 공식을 도출하는 것.
• 이차형 다항 베르누이 수의 알려진 재귀 관계와 유사한 이차형 계수와 이동된 인덱스를 사용하여 배열에 대한 재귀 관계를 수립하는 것.
• 다항 베르누이 수 배열의 대칭성을 활용하여 새로운 수열에 대해 이중 해석을 도출하는 것.
• 생성함수와 지수적 생성함수를 사용하여 새로운 배열이 알려진 수론적 및 조합적 수열과 연결됨을 밝히는 것.

실험 결과

연구 질문

• RQ1 다항 베르누이 수 가족은 어떻게 새로운 조합적 배열 C_{n,k}와 D_{n,k}를 도입함으로써 확장될 수 있는가?
• RQ2 새로운 배열 C_{n,k}와 D_{n,k}를 뒷받침하는 조합적 해석(예: 행렬 제약 조건 또는 순열의 유형)은 무엇인가?
• RQ3 포함-배제 원리 또는 스타링 수 항등식을 사용하여 C_{n,k}와 D_{n,k}의 닫힌 형식 공식을 도출할 수 있는가?
• RQ4 B_{n,k}, C_{n,k}, D_{n,k}의 대각합 간의 관계는 무엇이며, 이는 어떤 알려진 수열과 연결되는가?
• RQ5 ∑_{n+k=N} B_{n,k} = 3P_N라는 추측은 참인가, 여기서 P_N는 중심 이항 합 전개에서 유도된 유리수 계수인가?

주요 결과

• 배열 C_{n,k}는 특정한 2×2 부분행렬을 피하는 01-행렬의 수로 정의되며, C_{n,k} = ∑_{m=0}^{min(n,k)} (-1)^m m! S(n+1, m+1) m! S(k+1, m+1) (m+1)^k 를 만족한다.
• 배열 D_{n,k}는 다른 금지된 부분행렬 패턴을 통해 유사하게 정의되며, D_{n,k} = ∑_{m=0}^{min(n,k)} (-1)^m m! S(n+1, m+1) m! S(k+1, m+1) m^k 로 표현된다.
• Akiyama–Tanigawa 알고리즘은 AT({(i+1)^k}) = {(-1)^i C_{i,k}} 및 AT({i^k}) = {(-1)^i D_{i,k}} 를 통해 C_{n,k}와 D_{n,k}를 생성한다.
• 대각합 ∑_{n+k=N} B_{n,k}는 P_N와 같다고 추측되며, 여기서 P_N는 중심 이항 합 ∑_{n≥1} n^k / binom(2n,n) 전개에서 유도된 유리수 계수이다.
• C_{n,k}의 대각합은 첫 번째 항을 제외하고 B_{n,k}의 대각합의 정확히 반값이며, OEIS 수열 A098830와 A136127에 의해 확인되었다.
• 논문은 다항 베르누이 수의 대각합과 수론적 상수 사이의 강력한 연결을 수립하며, 이러한 조합적 배열 뒤에 더 깊은 산술적 구조가 존재할 가능성을 시사한다.