[논문 리뷰] A generalization of Menon's identity

Marius Tărnăuceanu|arXiv (Cornell University)|2011. 09. 10.

Graph theory and applications참고 문헌 7인용 수 15

한 줄 요약

이 논문은 $GL_r(\mathbb{Z}_n)$ 내 상삼각행렬의 군 작용을 $\mathbb{Z}_n^r$에 적용한 Burnside의 보조정리에 기반하여 Menon의 항등식을 일반화한다. 이는 반복된 약수 함수 $\tau_r(n)$를 포함하는 새로운 항등식을 도출하며, 군론적 및 산술적 기법을 통해 고차원으로의 고전적 Menon 항등식의 확장을 실현한다.

ABSTRACT

In this note we give a generalization of the well-known Menon's identity. This is based on applying the Burnside's lemma to a certain group action.

연구 동기 및 목표

• 군 작용을 이용하여 Menon의 고전적 항등식을 고차원 산술 설정으로 확장한다.
• $\gcd(n, a-1)$의 합을 상삼각행렬을 포함하는 다변수 설정으로 일반화한다.
• 군 작용 궤도 수와 곱셈적 산술 함수 $\tau_r(n)$을 연결하는 새로운 항등식을 수립한다.
• Burnside의 보조정리를 활용하여 수론에서의 항등식을 유도하는 통합적 프레임워크를 제공한다.

제안 방법

• 군 $G$가 $GL_r(\mathbb{Z}_n)$ 내 상삼각행렬로 구성되어 있을 때, 집합 $X = \mathbb{Z}_n^r$에 대한 군 작용에 Burnside의 보조정리를 적용한다.
• 궤도 수 $N$을 이 군 작용에 의한 서로 다른 궤도의 수로 정의하며, $N = \frac{1}{|G|} \sum_{g \in G} |X^g|$로 계산한다.
• 각 군 원소 $g$에 대해 고정점 $X^g$를 특성화하고, $|X^g|$의 크기를 $r$개의 최대공약수 항목의 곱으로 도출한다.
• 기저 사례 $r=1$에서 원래 Menon 항등식을 회복하는 방식으로 $r$에 대한 귀납법을 사용한다.
• $\tau_r(n)$을 Dirichlet 콘볼루션을 통해 재귀적으로 정의한다: $\tau_r(n) = \sum_{d|n} \tau_{r-1}(d)$, $\tau_1(n) = \tau(n)$.
• 궤도 유형과 약수 체인 사이의 전단사 사상 수립으로 $N = \tau_r(n)$을 도출한다.

실험 결과

연구 질문

• RQ1 군 작용을 통해 Menon의 항등식을 고차원 산술 설정으로 일반화할 수 있는가?
• RQ2 $GL_r(\mathbb{Z}_n)$ 내 상삼각행렬의 작용에 의한 궤도 공간의 구조는 어떠한가?
• RQ3 궤도 수는 $\tau_r(n)$과 같은 곱셈적 산술 함수와 어떻게 관련이 있는가?
• RQ4 Burnside의 보조정리는 다변수 수론에서 새로운 항등식을 도출하는 데 효과적으로 적용될 수 있는가?

주요 결과

• 일반화된 항등식은 $\sum_{g \in G} \prod_{k=1}^r d_k = n^{r(r-1)/2} \varphi(n)^r \tau_r(n)$이며, 여기서 $G$는 $GL_r(\mathbb{Z}_n)$ 내 상삼각행렬의 군이다.
• $r=1$일 때, 항등식은 고전적 Menon 항등식으로 축소된다: $\sum_{a \in U(\mathbb{Z}_n)} \gcd(n, a-1) = \varphi(n) \tau(n)$.
• 궤도 수 $N$은 $\tau_r(n)$과 같으며, 이는 $\delta_1 \mid n$, $\delta_2 \mid n/\delta_1$, ..., $\delta_r \mid n/(\delta_1 \cdots \delta_{r-1})$ 형태의 약수 체인의 수로 계산된다.
• 군 원소 $g$에 대한 고정점 집합의 크기 $|X^g|$는 $\prod_{k=1}^r d_k$로 주어지며, 각 $d_k$는 $g$의 원소들과 $n$ 사이의 관계를 포함하는 $\gcd$ 표현식이다.
• $\tau_r(n)$의 재귀적 구조는 궤도 수를 통해 확인되며, $\tau_r(n) = \sum_{\delta_1 \mid n} \sum_{\delta_2 \mid n/\delta_1} \cdots \sum_{\delta_{r-1} \mid n/\delta_1 \cdots \delta_{r-2}} \tau(n / (\delta_1 \cdots \delta_{r-1}))$로 표현된다.
• $r=2$일 때 $N$에 대한 명시적 공식은 $n = \prod_{i=1}^s p_i^{\alpha_i}$ 이면 $N = \frac{1}{2^s} \prod_{i=1}^s (\alpha_i + 1)(\alpha_i + 2)$로 주어진다.