[논문 리뷰] Decomposing modular tensor products, and periodicity of `Jordan partitions'

S. P. Glasby, Cheryl E. Praeger외 1명|arXiv (Cornell University)|2014. 01. 13.

Coding theory and cryptography참고 문헌 16인용 수 4

한 줄 요약

이 논문은 양의 특성에서 유니포텐셜 조르당 블록의 텐서곱에서 유래하는 조르당 분할에 대한 새로운 주기성 및 이중성 결과를 수립한다. 고정된 $ r $에 대해, 편차 벡터 $ \varepsilon(r,s,p) $ 는 유한한 수(최대 $ 2^{r-1} $)를 가지며, 이는 모든 $ s \geq r $ 및 소수 $ p $에 대해 $ \lambda(r,s,p) $ 를 계산하는 유한한 표를 가능하게 한다. 이는 이전 결과들이 $ s $를 초월하는 $ p $-거듭제곱에 의존하는 것을 일반화한다.

ABSTRACT

Let $J_r$ denote an $r imes r$ matrix over a finite field $F$ with minimal and characteristic polynomials $(t-1)^r$. Suppose $r\leq s$. It is not hard to show that the Jordan canonical form of $J_r\otimes J_s$ is similar to $J_{λ_1}\oplus\cdots\oplus J_{λ_r}$ where $λ_1\geq\cdots\geqλ_r>0$ and $\sum_{i=1}^rλ_i=rs$. The partition $λ(r,s,p):=(λ_1,\dots,λ_r)$ of $rs$, which depends only on $r,s$ and the characteristic $p$ of $F$, has many applications including to the study of algebraic groups. We prove new periodicity and duality results for $λ(r,s,p)$ that depend on the smallest $p$-power exceeding $r$. This generalizes results of J. A. Green, B. Srinivasan, and others which depend on the smallest $p$-power exceeding the (potentially large) integer $s$. We show that for fixed $r$ we can construct a finite table allowing the computation of $λ(r,s,p)$ for all $s$ with $s\geq r$, and all primes $p$. This generalizes work of K-i. Iima and R. Iwamatsu.

연구 동기 및 목표

• 특성 $ p $-거듭제곱이 $ s $를 초월하는 데 의존하는 이전 결과의 적용 범위를 제한하는 바를 넘어서, 조르당 분할 $ \lambda(r,s,p) $ 의 주기성 결과를 일반화하는 것.
• 고정된 $ r $에 대해, 서로 다른 편차 벡터 $ \varepsilon(r,s,p) $ 의 수가 유한함을 증명하여 알고리즘적 계산을 가능하게 하는 것.
• 고정된 $ r $에 대해, 모든 $ s \geq r $ 및 소수 $ p $에 대해 $ \lambda(r,s,p) $ 를 계산하는 유한한 표를 구성하는 것.
• 그린, 스타니스라잔 등 이전 결과들을 통합 및 확장하기 위해, $ s $ 가 아니라 $ r $을 초월하는 최소의 $ p $-거듭제곱에 초점을 맞추는 것.
• 다양한 $ s $ 및 $ p $ 에서 $ \lambda(r,s,p) $ 를 결정하는 계산 복잡도를 해결하기 위해, 편차 벡터 유형의 유한성을 증명하는 것.

제안 방법

• 변환 기저 행렬의 부분행렬의 행렬식 $ \delta_i $ 를 사용한 재귀적 계산 방법으로, 값은 $ \mathbb{F}_p $ 에 속한다.
• 이전 $ \delta_j $ 의 0이 되는 패턴과 $ \delta_i \neq 0 $ 여부에 따라 결정되는 재귀식(정리 15)을 유도하여 단계별 계산을 가능하게 한다.
• 편차 벡터 $ \varepsilon(r,s,p) = (\lambda_i - s) $ 를 정의하여, 분할의 비균일성 부분을 균일한 경우 $ \lambda_i = s $ 에서 분리한다.
• 주기성 $ s \mod p^m $ 과 이중성을 적용하여, 특히 $ p < r $ 인 경우 고려해야 할 $ s $-값의 수를 줄인다.
• $ \Delta = \delta_1 \cdots \delta_{r-1} $ 의 인수분해를 통해 $ \Delta $ 를 나누는 관련 소수 $ p $ 의 수를 유 bounds 하여 유한성을 확보한다.
• $ \mathbb{F}_p $ 에서 $ \delta_r = 1 $ 이라는 사실을 사용하여 재귀가 정확히 종료되며, $ \lambda_i $ 의 역순 계산을 지원한다.

실험 결과

연구 질문

• RQ1 고정된 $ r $ 에 대해, $ s $ 와 $ p $ 와 관계없이, 서로 다른 편차 벡터 $ \varepsilon(r,s,p) $ 의 수를 균일하게 유 bounds 할 수 있는가?
• RQ2 $ s \mod p^m $ 에서의 주기성이 모든 $ s \geq r $ 와 모든 소수 $ p $ 에 대해 $ \lambda(r,s,p) $ 의 유한한 계산을 가능하게 하는가?
• RQ3 이전 결과들이 $ s $ 를 초월하는 $ p $-거듭제곱에 의존하는 것을, 보다 일반적인 형태로 $ r $ 을 초월하는 $ p $-거듭제곱에 의존하도록 대체할 수 있는가?
• RQ4 고정된 $ r $ 에 대해, 모든 $ s \geq r $ 와 모든 소수 $ p $ 에 대해 $ \lambda(r,s,p) $ 를 계산하는 유한한 표를 구성할 수 있는가?
• RQ5 $ r \to \infty $ 로 갈수록, 서로 다른 $ \varepsilon(r,s,p) $ 의 수의 점근적 성장률은 무엇인가?

주요 결과

• 고정된 $ r $ 에 대해, $ \mathbb{F}_p $ 에서 행렬식 $ \delta_1, \dots, \delta_{r-1} $ 의 0이 되는 패턴의 수가 유한하므로, 서로 다른 편차 벡터 $ \varepsilon(r,s,p) $ 는 최대 $ 2^{r-1} $ 개 이하로 유한하다.
• 정리 15 의 재귀식을 통해, 정수이자 $ \mathbb{F}_p $ 에 속하는 행렬식 $ \delta_i $ 를 사용하여 $ \lambda(r,s,p) $ 를 역순으로 재귀적으로 계산할 수 있다.
• $ p \geq r+s-1 $ 인 경우, $ \lambda(r,s,p) $ 는 표준 분할 $ (r+s-1, r+s-3, \dots, s-r+1) $ 이며, 이는 스타니스라잔의 결과를 일반화한다.
• $ p < r $ 인 경우, 주기성이 고려해야 할 $ s $-값의 수를 최대 $ p^m < r^2 $ 로 줄이며, $ p \geq r $ 인 경우 정리 2 에 따라 $ s \in \{r, \dots, 2r-2\} $ 만 확인하면 된다.
• $ \lambda(r,s,p) $ 가 비표준이 되는 소수 $ p $ 의 수는 $ \Delta = \delta_1 \cdots \delta_{r-1} $ 의 소인수 개수에 의해 유 bounds 되며, 이는 $ r $ 과 $ s $ 에만 의존하므로 유한성을 보장한다.
• 점근적 수 $ n_r $ 이 서로 다른 $ \varepsilon(r,s,p) $ 벡터의 수를 만족하며 $ n_r \leq 2^{r-1} $ 이고, 극한 $ \lim_{r\to\infty} n_r / 2^{r-1} $ 는 존재할 수 있으나, 이는 아직 열린 문제이다.