Extending Andrews and Newman's refinement of the crank-mex theorem

문제 정의
본 논문은 Andrews와 D. Newman (2020) 및 Hopkins와 Sellers (2020)에 의해 확립된 "크랭크-멕 정리(crank–mex theorem)"의 정교화(refinement)를 다룬다. 원래의 정리는 비음수 크랭크($M_{\ge 0}(n)$)를 갖는 $n$의 정수 분할의 개수가 홀수 최소 제외수(mex)를 갖는 분할의 개수($X_o(n)$)와 같음을 기술한다. Andrews와 M. Newman은 최근 통계량 $\beta(\lambda)$로 명명된 '1보다 큰 부분의 개수'를 추적함으로써 이 등식의 정교화를 수행했다. 그들은 분석적으로 $x_o(n, k) = m_{\ge 0}(n, k)$임을 증명했으나, 조합론적 증명을 요청한 바 있다.

본 연구는 이러한 탐구를 상보적인 분할 통계량 세트로 확장한다. 구체적으로, 다음 사이의 등수성(equinumerosity)을 조사한다:

1. 짝수 mex를 갖는 분할 ($X_e(n)$).
2. 고정점(fixed point, $\lambda_i = i$인 $i$가 존재함)을 갖는 분할.
3. 음수 크랭크를 갖는 분할 ($M_{< 0}(n)$).
4. 양수 크랭크를 갖는 분할 ($M_{> 0}(n)$).

저자들은 1보다 큰 부분의 개수($k$)를 추적하고, 고정점의 경우 해당 부분의 구체적인 개수를 추적함으로써 이러한 관계를 확립하고 정교화하는 것을 목표로 한다.

방법론
본 논문은 주요 정리를 증명하기 위해 두 가지 별개의 방법론을 사용한다:

1. 분석적 증명: 저자들은 $q$-급수와 생성 함수를 활용한다. 그들은 각 네 가지 분할 집합에 대한 생성 함수를 정의하며, 1보다 큰 부분의 개수를 추적하기 위한 변수 $z$와 부분의 합을 추적하기 위한 변수 $q$를 도입한다. 크랭크 관련 집합의 경우, Andrews와 Garvan (1988)이 유도한 알려진 크랭크 생성 함수를 사용한다. Heine 변환과 $q$-이항 정리를 포함한 대수적 조작을 통해, 그들은 각 집합의 생성 함수가 동일하거나(또는 간단한 인자 $z$에 의해 관련됨) 함을 보여줌으로써 등수성을 증명한다.
2. 조합론적 증명: 저자들은 집합들 사이의 명시적인 전단사 함수(bijection)를 구축한다.
   • 짝수 Mex $\leftrightarrow$ 고정점: 홀수 mex를 갖는 분할과 고정점이 없는 분할을 연결하는 Konan (2023)의 일반화된 전단사 함수를 응용한다. 이를 짝수 mex 분할과 고정점을 갖는 분할을 연결하도록 수정하며, 이 과정에서 반복적인 매핑 동안 1보다 큰 부분의 개수가 어떻게 변화하는지 면밀히 분석한다.
   • 고정점 $\leftrightarrow$ 음수 크랭크: 고정점 인덱스, 1의 개수($\omega(\lambda)$), 그리고 크랭크 사이의 관계를 기반으로 한 전단사 함수를 정의한다. 고정점을 갖는 분할과 음수 크랭크를 갖는 분할이 $\omega(\lambda)$에 대한 특정 경계 조건을 만족한다는 것을 보여주는 보조정리들을 확립한다. 이 매핑은 고정점 $i$를 $i$개의 1로 교체하거나(또는 그 반대로) 하며, 이에 따라 1보다 큰 부분의 개수를 조정한다.
   • 음수 크랭크 $\leftrightarrow$ 양수 크랭크: 음수 크랭크를 갖는 분할과 양수 크랭크를 갖는 분할 사이의 직접적인 전단사 함수를 구축한다. 이 매핑은 크랭크의 부호를 반전시키면서 1보다 큰 부분의 개수를 정확히 1만큼 증가시키기 위해 부분들과 1의 개수를 이동시키는 과정을 포함한다.

주요 기여 및 결과
주요 결과는 정리 1로, 양의 정수 $n$과 $k$에 대하여 다음 네 집합이 등수임을 확립한다:

• (a) 짝수 mex를 갖고 1보다 큰 부분이 $k$개인 $n$의 분할.
• (b) 고정점을 갖고 1보다 큰 부분이 $k+1$개인 $n$의 분할.
• (c) 음수 크랭크를 갖고 1보다 큰 부분이 $k$개인 $n$의 분할.
• (d) 양수 크랭크를 갖고 1보다 큰 부분이 $k+1$개인 $n$의 분할.

이를 수학적으로 표현하면 다음과 같다:
$$x_e(n, k) = f(n, k+1) = m_{< 0}(n, k) = m_{> 0}(n, k+1)$$

본 논문은 이 정리에 대한 분석적 및 조합론적 증명을 모두 제공한다. 조합론적 증명은 다음의 전단사 체인에 의존한다:
$$X_e(n, k) \xrightarrow{\text{Konan의 map}} (1) \times G_1(n-1, k) \xrightarrow{\text{Fixed point map}} F(n, k+1) \xrightarrow{\text{Crank map}} M_{< 0}(n, k) \xrightarrow{\text{Crank map}} M_{> 0}(n, k+1)$$

또한 저자들은 $k=0$인 특수 사례를 다루며, 분할 $(1^n)$에 관한 사소한 예외를 언급하고 경계 조건 처리를 위해 $F^*(n, k+1)$이라는 표기법을 도입한다.

의의 및 한계
본 논문은 크랭크-멕 정리의 정교화를 짝수 mex, 고정점, 그리고 부호가 있는 크랭크를 포함하는 상보적 집합들로 성공적으로 확장했다고 주장한다. 분석적 및 조합론적 증명을 모두 제공함으로써, 이 연구는 이러한 분할 통계량에 대한 더 깊은 구조적 이해를 제공한다.

그러나 저자들은 Andrews와 Newman가 제기한 미해결 문제의 해결에 대해서는 겸허한 태도를 보인다. 그들은 자신들의 결과가 $x_o(n, k) = m_{\ge 0}(n, k)$의 정교화에 대한 조합론적 증명을 제공하지 않는다고 명시적으로 밝힌다. 그들은 기존의 Konan의 매핑을 이 특정 사례로 정교화하는 데 있어 두 가지 "극복할 수 없는 장애물"을 식별했다:

1. $X_o(n)$와 고정점이 없는 분할($G(n)$) 사이에는 $\beta$ 값의 분포가 근본적으로 다르기 때문에, 1보다 큰 부분의 개수를 보존하는 전단사 함수가 존재하지 않는다.
2. 크랭크가 0인 분할의 패리티를 고려하더라도, 필요한 통계량을 보존하면서 $M_{\le 0}(n, k)$와 $M_{\ge 0}(n, k+1)$ 사이의 전단사 함수를 구성할 수 없다.

결과적으로, 본 논문은 홀수 mex 정교화에 대한 조합론적 증명 요청을 충족하기 위해서는 현재의 매핑을 확장하는 것이 아니라, $X_o(n)$와 $M_{\ge 0}(n)$ 사이의 직접적인 연결을 찾거나 완전히 새로운 등수 집합을 발견해야 할 것임을 결론짓는다.