Positivity preservers over finite fields II

기술 요약: 유한체 상의 양의 성질 보존 함수 II (Positivity Preservers Over Finite Fields II)

문제 정의
본 논문은 유한체 $\mathbb{F}_q$ 상의 $n \times n$ 행렬 공간 $M_n(\mathbb{F}_q)$에 대한 성분별 양의 성질 보존 함수(entrywise positivity preservers)의 분류 문제를 다룬다. 행렬 $A \in M_n(\mathbb{F}_q)$는 대칭 행렬이며 모든 주 부행렬식(leading principal minors)이 $\mathbb{F}_q$의 비제로 제곱수(즉, $\mathbb{F}_q^+$의 원소)일 때 양의 정부호(positive definite)라고 정의된다. 함수 $f: \mathbb{F}_q \to \mathbb{F}_q$는 $A$가 양의 정부호일 때 $f[A] = (f(a_{ij}))$ 또한 양의 정부호가 되도록 하는 성분별 양의 성질 보존 함수이다.

저자들의 이전 연구([5], J. Algebra, 2025)는 모든 차원 $n \ge 3$과 $q$가 짝수이거나, $q \equiv 3 \pmod 4$이거나, 또는 $q$가 홀수 제곱수인 경우의 $n=2$에 대해 이러한 보존 함수들을 성공적으로 분류하였다. 그러나 다음과 같은 하나의 특정 사례가 미해결 상태로 남아 있었다:

• 미해결 사례: $n = 2$, $q \equiv 1 \pmod 4$, 그리고 $q$가 완전제곱수가 아닌 경우.

이전 연구에서 저자들은 고립된 전략( [5]의 Proposition 5.8)을 제시했는데, 이는 만약 $f$가 $q \equiv 1 \pmod 4$인 $M_2(\mathbb{F}_q)$ 상에서 양의 성질을 보존하고, $f(1)=1$로 정규화되었을 때, $f$가 반드시 거듭제곱 사상(power map, $f(x) = x^{p^j}$)이어야 한다는 점을 시사했다. 단, 이는 $f$를 $\mathbb{F}_q^+$ 집합에 제한했을 때 $f$가 **단사(injective)**라는 조건하에 성립한다. 누락된 연결 고리는 이러한 모든 $q$에 대해 이 단사성이 자동적으로 성립함을 증명하는 것이었다.

방법론
저자들은 $q \equiv 1 \pmod 4$인 $M_2(\mathbb{F}_q)$ 상의 모든 양의 성질 보존 함수가 $\mathbb{F}_q^+$ 상에서 반드시 단사임을 증명함으로써 이 미해결 사례를 해결한다. 증명은 비제곱수 $q$에 대해 기존의 시도를 방해했던 팔레이 그래프(Paley graph)의 구조적 복잡성을 피하는 새로운 접근 방식을 채택한다.

1. 멱등체 축소 (Idempotent Reduction): 저자들은 함수 $f$의 반복 합성(iterates) 수열($f, f^{(2)}, f^{(3)}, \dots$)을 고려한다. $\mathbb{F}_q$는 유한하므로 이 수열은 결국 주기성을 갖게 된다. 저자들은 $h = f^{(m)}$이 멱등체(idempotent) 양의 성질 보존 함수(즉, $h \circ h = h$)가 되도록 하는 반복 합성을 선택한다.
2. 이차 문자의 모순 (Contradiction via Quadratic Characters): $h$가 $\mathbb{F}_q^+$ 상에서 단사가 아니라고 가정하면, $h(a) = h(b) = s$를 만족하는 서로 다른 $a, b \in \mathbb{F}_q^+$가 존재한다.
   • 저자들은 이차 문자의 알려진 성질(Lemma 2.1)을 활용한다: 서로 다른 $a, b \in \mathbb{F}_q^+$에 대하여, $a-z \in \mathbb{F}_q^+$이고 $b-z \in \mathbb{F}_q^-$인 비제곱수 $z \in \mathbb{F}_q^-$가 존재한다.
   • $a, b, z$를 포함하는 두 가지 특정한 양의 정부호 행렬 $A_1$과 $A_2$를 구성한다.
   • 이 멱등체 사상 $h$를 이 행렬들에 적용함으로써, $v = h(z)$의 값에 대한 제약 조건을 도출한다. 구체적으로, 양의 정부호 성질의 보존은 $v$가 제곱수($v \in \mathbb{F}_q^+$)여야 함을 강제한다.
   • 그 후 $v$와 $z$를 사용하여 세 번째 행렬 $C$를 구성한다. $v-z$가 제곱수인지 비제곱수인지에 따라, $C$는 양의 정부호 행렬이 된다.
   • 그러나 $C$에 $h$를 적용하면 특이 행렬(determinant가 0인 행렬)이 도출되는데, 이는 양의 성질 보존 함수의 정의에 모순된다.
3. 일관성 (Uniformity): 이 증명은 제곱수인 $q$에서 사용되는 부분체 구조에 의존하지 않고, 모든 $q \equiv 1 \pmod 4$에 대해 일관되게 작동하며, 이는 비제곱수 차수에서 가용하지 않은 구조를 사용하는 클리크 구조(clique structure) 논증을 우회한다.

주요 기여 및 결과
본 논문의 주요 기여는 $q \equiv 1 \pmod 4$인 경우, $M_2(\mathbb{F}_q)$ 상의 모든 양의 성질 보존 함수는 $\mathbb{F}_q^+$ 상에서 단사 함수로 제한된다는 정리 1.1을 증명하는 것이다.

이 결과는 [5]의 이전 분류와 결합되어, 모든 유한체와 고정된 차원 $n$에 대한 **완전한 분류(정리 1.2)**를 완성한다:

• $n=1$인 경우: $f(\mathbb{F}_q^+) \subseteq \mathbb{F}_q^+$.
• $n=2, q$가 짝수인 경우: $f$는 $f(x) = cx^m$ (단, $\gcd(m, q-1)=1$) 형태의 쌍사 단항식(bijective monomial)이다.
• $n \ge 3, q$가 짝수인 경우: $f(x) = cx^{2^j}$이다.
• $n \ge 2, q$가 홀수인 경우: $f(x) = cx^{p^j}$ (단, $c \in \mathbb{F}_q^+$ 및 $0 \le j \le k-1$, 여기서 $q=p^k$)이다.

특히, 저자들은 홀수 표수(odd characteristic)에서 차원 $n=2$에 대한 분류가 모든 차원 $n \ge 3$에 대한 분류와 동일하다는 점을 관찰한다.

의의 및 주장
본 논문은 유한체 상의 성분별 양의 성질 보존 함수 분류에서 마지막 남은 사례를 해결했다고 주장한다. 이러한 단사성을 통해 이론을 모든 차원과 체의 표수에 걸쳐 통합한다.

본 연구의 의의는 다음과 같다:

1. 분류의 완성: 일부만 해결되었던 문제에 대해 확정적인 답을 제공하며, 특히 $n=2$의 비제곱수 사례를 종결지었다.
2. 방법론적 혁신: "멱등체 축소" 기법을 도입하였다. 이 접근 방식은 조합론에서 여전히 난제로 남아 있는 비제곱수 차수의 팔레이 그래프의 클리크 수를 분석해야 하는 어려움을 성공적으로 회피하였다.
3. 통합: $n=2$ (홀수 $q$의 경우)에서의 양의 성질 보존 함수에 대한 구조적 제약이, 예상과는 달리 높은 차원에서와 다를 바 없이 단순하다는 것을 보여준다.

저자들은 자신들의 증명이 제곱수인 $q$에서 가용한 특수한 부분체 구조에 의존하지 않음을 명시하며, 따라서 결과가 모든 $q \equiv 1 \pmod 4$에 대해 견고함을 밝히고 있다.