[논문 리뷰] Minimal group determinants and the Lind-Lehmer problem for dihedral groups

Ton Boerkoel, Christopher Pinner|arXiv (Cornell University)|2018. 02. 20.

graph theory and CDMA systems참고 문헌 13인용 수 4

한 줄 요약

이 논문은 정수 변수에 대한 최소 비자명 군 행렬식을 계산하여 이방군에 대한 Lind-Lehmer 문제를 해결한다. $ D_{2n} $에서 $ n $ 이 큰 primorial의 곱으로 나누어지지 않는 경우, 최소 행렬식은 $ \boxed{2} $이며, $ D_{2p} $ 및 $ D_{4p} $의 가능한 모든 행렬식을 Mahler 측도와 결과론 이론을 사용하여 완전히 특성화한다.

ABSTRACT

We find the minimal non-trivial integer variable group determinant for any dihedral group of order less than $3.79 imes 10^{47}$. We think of this as the Lind-Lehmer problem for the dihedral group. We give a complete description of the determinants for some dihedral groups including $D_{2p}$ and $D_{4p}$.

연구 동기 및 목표

• 이방군 $ G = D_{2n} $에 대해 최소 비자명 정수 군 행렬식 $ \lambda(G) $를 결정함으로써, 순환군을 초월한 Lind-Lehmer 문제를 확장한다.
• $ p $ 가 홀수 소수일 때 $ D_{2p} $ 및 $ D_{4p} $의 가능한 모든 군 행렬식 값의 전체 집합을 특성화한다.
• $ n $ 이 큰 primorial 곱으로 나누어지지 않는 한 $ \lambda(D_{2n}) = 2 $ 임을 증명하여, 최소 비자명 행렬식이 2임을 보인다.
• Mahler 측도와 결과론 이론을 사용하여 군 행렬식을 원분 단위의 근의 곱으로 분석하고, 체비셰프 다항식의 수론적 성질과 연결한다.
• 체 $ \mathbb{Z} $ 위에서 군 행렬식 사상의 이미지의 구조를 규명하여, 짝수 행렬식이 특정한 $ 2 $-adic 및 $ p $-adic 순서로 제약을 받음을 보여준다.

제안 방법

• 군 행렬식 $ \mathscr{D}_G(x_g) $ 는 $ \mathscr{D}_G = \prod_{\rho \in \hat{G}} \det\left( \sum_g x_g \rho(g) \right)^{\deg \rho} $ 를 통해 기약 표현의 곱으로 표현되어 대수적 분석이 가능해진다.
• $ D_{2n} $ 에서는 특성 및 원분 다항식, 특히 $ \Phi_n(x) $ 를 사용하여 행렬식을 평가하고, Mahler 측도 $ m_G(F) = \frac{1}{|G|} \log |M_G(F)| $ 를 계산한다. 여기서 $ M_G(F) = \mathscr{D}_G(a_g) $ 이다.
• 결과론을 사용하여 단위근에서의 행렬식의 절대값을 계산한다: $ \operatorname{Res}(H(x), \Phi_n(x)) $, 특히 $ H(x) = f(x)f(x^{-1}) - g(x)g(x^{-1}) $ 인 경우에 대해 $ p $-adic 및 $ 2 $-adic 순서를 제어한다.
• $ D_{2p} $ 에서는 $ M_G(F) $ 가 $ 2^a p^b m $ 형식의 모든 값을 취할 수 있도록 명시적인 라우렌트 다항식 $ F(x,y) = f(x) + y g(x) $ 를 구성한다. 여기서 $ a = 0 $ 이거나 $ a \geq 2 $, $ b = 0 $ 이거나 $ b \geq 2k+1 $, $ (m, 2p) = 1 $ 이다.
• $ D_{2^k} $ 에서는 대칭 다항식과 기하급수 항등식을 사용하여 $ 2 $-adic 순서를 제어하며, $ \mathscr{E} \subseteq 2^{2k+2}\mathbb{Z} $ 및 $ 2^{3k}\mathbb{Z} \subseteq \mathscr{E} $ 를 보이고, 명시적인 구성으로 이러한 모든 값을 달성함을 보인다.
• 논문은 항등식 $ \mathscr{D}_G(a_g) = \prod_{x \in G} \left| \sum_{u \in G} a_u \chi_x(u) \right| $ 를 사용하여 행렬식을 특성의 곱으로 줄이며, 이는 유한 아벨 군 위에서 Mahler 측도와 연결된다.

실험 결과

연구 질문

• RQ1 이방군 $ D_{2n} $ 에서 정수 변수에 대한 최소 비자명 군 행렬식 $ \mathscr{D}_G(x_g) $ 는 무엇이며, 언제 값이 2가 되는가?
• RQ2 $ D_{2p} $ 및 $ D_{4p} $ 에서 가능한 모든 군 행렬식 값의 전체 집합을 완전히 기술할 수 있는 이방군은 어떤 것인가?
• RQ3 $ D_{2n} $ 에서 군 행렬식의 $ 2 $-adic 및 $ p $-adic 순서는 어떻게 행동하며, 이는 군 행렬식 사상의 이미지에 어떤 제약을 가하는가?
• RQ4 $ D_{2^k} $ 에서 군 행렬식은 $ 2 $-adic 순서에 대해 완전히 특성화될 수 있는가? 그리고 가능한 값의 정확한 범위는 무엇인가?
• RQ5 라우렌트 다항식의 결과론은 어떻게 이방군의 Mahler 측도 및 군 행렬식을 계산하는 데 기여하는가?

주요 결과

• $ n $ 이 $ 2^2 \cdot 3^2 \cdot \prod_{5 \leq p \leq 113} p \approx 1.89 \times 10^{47} $ 로 나누어지지 않는 이방군 $ D_{2n} $ 에서 최소 비자명 군 행렬식은 $ \lambda(D_{2n}) = 2 $ 이며, 이는 이 범주에서 Lind-Lehmer 추측을 확인한다.
• $ D_{2p} $ 에서 군 행렬식은 $ a = 0 $ 이거나 $ a \geq 2 $, $ b = 0 $ 이거나 $ b \geq 2k+1 $, $ (m, 2p) = 1 $ 인 형식의 모든 정수 값 $ 2^a p^b m $ 을 취하며, 이러한 모든 값은 달성 가능하다.
• $ D_{4p} $ 에서 군 행렬식은 $ a = 0 $ 이거나 $ a \geq 2 $, $ b = 0 $ 이거나 $ b \geq 3k $, $ (m, 2p) = 1 $ 인 형식의 모든 값을 취하며, 명시적인 구성이 제공된다.
• $ k \geq 3 $ 인 $ D_{2^k} $ 에서는 $ \mathbb{Z} $ 위에서 군 행렬식 사상의 이미지에 대해 $ 2^{3k}\mathbb{Z} \subseteq \mathscr{E} \subseteq 2^{2k+2}\mathbb{Z} $ 를 만족하며, 다항식 구성으로 이러한 모든 값이 달성된다.
• $ D_8 $ 에서는 짝수 행렬식이 $ 2^9\mathbb{Z} \subseteq \mathscr{E} \subseteq 2^8\mathbb{Z} $ 를 만족하며, 빠진 $ 2^8 $-배수는 $ M_G(F) = \pm 2^8(4k+1) $ 을 사용하여 달성되며, 명시적인 다항식이 제시된다.
• $ D_{16} $ 에서는 짝수 행렬식이 $ 2^{12}\mathbb{Z} \subseteq \mathscr{E} \subseteq 2^{10}\mathbb{Z} $ 를 만족하며, $ M_G((1+x^2)(1+x^4) - (1-x)) = 2^{10} $ 와 같은 구성으로 범위 내 모든 값이 달성된다.