The finite basis problem for matrix semirings $\mathbf{M}_n(S_7)$

제목: 행렬 반군 $M_n(S_7)$에 대한 유한 기저 문제

문제 정의
본 논문은 가법 항등적 반군(ai-semiring) 클래스에 대한 유한 기저 문제를 다룬다. 구체적으로, ai-semiring $S$ 위의 행렬 반군 $M_n(S)$에 의해 생성되는 다양성을 조사한다. 작은 규모의 ai-semiring에 대한 유한 기저 문제는 광범위하게 연구되어 왔으며—특히 세 원소 ai-semiring의 분류에서 $S_7$이 유일한 비유한 기저 예시로 식별되었다—$n \ge 2$인 경우의 행렬 반군 $M_n(S_7)$의 거동은 미해결 상태로 남아 있었다. 저자들은 $M_n(S_7)$이 유한 기저를 갖는지 여부를 결정하고, $[V(S_7), V(M_n(S_7))]$ 구간 내에 포함된 다양성의 격자를 규명하는 것을 목표로 한다.

방법론
저자들은 임베딩 정리, 하이퍼그래프 이론, 그리고 $S_7$ 상의 행렬 연산에 대한 구조적 분석을 결합하여 사용한다.

1. 임베딩 정리: 본 논문은 임의의 ai-semiring $S$와 $n \ge 2$에 대하여 $M_n(S)$가 $M_{n+1}(S)$에 임베딩됨을 증명하는 일반적인 임베딩 정리를 먼저 확립한다. 이는 $S$의 덧셈의 항등성을 활용하여, 마지막 행과 열을 행렬에 추가하는 단사 준동형 사상 $\phi: M_n(S) \to M_{n+1}(S)$를 구성함으로써 달성된다. 이 결과는 상승 체인인 다양성 $V(M_2(S)) \le V(M_3(S)) \le \dots$를 함의한다.
2. 비유한 기저를 위한 하이퍼그래프 기준: 비유한 기저 성질을 증명하기 위해, 저자들은 3-유니폼 하이퍼그래프를 포함하는 Gao 등[10]의 기준을 활용한다. 저자들은 높은 girth를 가진 특정 비-2-색칠 가능 하이퍼그래프 $H_n$을 구성하고, 이를 ai-semiring 항 $t_{H_n}$과 연관시킨다. 핵심 전략은 $M_n(S_7)$이 특정 정점 $v_n$에 대해 항등식 $t_{H_n} \approx t_{H_n} + x_{v_n}$를 만족함을 보여주는 것이며, 이는 플랫 반군 $Sc(abc)$의 존재와 결합되어 해당 다양성이 비유한 기저임을 시사한다.
3. $M_n(S_7)$의 구조적 분석: 저자들은 $S_7$의 구체적인 케일리 테이블(원소 $\{1, a, \infty\}$)을 활용하여 $M_n(S_7)$의 행렬 곱셈에 대한 상세한 사례 분석을 수행한다. 저자들은 곱의 결과가 언제 덧셈의 최댓값 $\infty$가 되는지, 또는 최소 원소 $1$과$a$가 되는지에 관한 성질을 확립한다.
4. 멱영성 분석: 마지막 섹션에서 저자들은 $M'_n(S_7)$(상수 행렬 $[1]_n$을 제외한 $M_n(S_7)$의 집합)의 곱셈 환(multiplicative reduct)을 분석한다. 저자들은 이 다양성 체인의 안정화를 추론하기 위해 해당 반군의 멱영 지수(nilpotency index)를 조사한다.

주요 기여 및 결과

• $M_n(S_7)$의 비유한 기저: 주요 결과는 모든 $n \ge 2$에 대하여 행렬 반군 $M_n(S_7)$이 비유한 기저라는 것이다. 나아가 저자들은 더 강력한 결과를 증명한다: $[V(Sc(abc)), V(M_n(S_7))]$ 내의 모든 다양성은 비유한 기저이다. $V(S_7)$가 $Sc(abc)$를 포함하므로, 이는$[V(S_7), V(M_n(S_7))]$ 내의 모든 다양성이 비유한 기저임을 의미한다.
• 엄격한 상승 체인: 본 논문은 두 원소 분산 격자 $D_2$ 상의 행렬 반군에 의해 생성되는 다양성의 체인이 엄격히 상승함($V(D_2) < V(M_2(D_2)) < \dots$)을 보여준다. $S_7$에 대한 체인의 엄격성($V(M_n(S_7)) < V(M_{n+1}(S_7))$)은 완전히 증명되지 않았으나, 저자들은 $V(S_7) < V(M_2(S_7))$임을 보여준다.
• 무한 다양성 구간: 저자들은 $[V(S_7), V(M_2(S_7))]$ 구간이 적어도 가산 무한 개의 서로 다른 다양성을 포함함을 증명한다. 이는 선형 단어 $w_k$와 연관된 플랫 반군 $S(w_k)$에 의해 생성되는 다양성 열 $V_k$를 구성하여, $V_k$가 $V_{k+1}$의 진부분 다양성임을 보임으로써 달성된다.
• 다섯 원소 반군에 대한 적용: 주요 정리를 적용하여, 저자들은 73개의 다섯 원소 ai-semiring이 비유한 기저임을 식별한다. 저자들은 구체적인 예시로 $S(5, 5158)$을 제시하며, 이 다양성이 $[V(S_7), V(M_2(S_7))]$ 구간 내에 있음을 입증한다.
• 곱셈 환의 멱영성: 본 논문은 $M'_n(S_7)$의 곱셈 환이 5-멱영(임의의 다섯 행렬의 곱은 영행렬 $[\infty]_n$임)이지만 4-멱영은 아님을 보여준다.

의의 및 주장
본 논문은 $S_7$의 독특한 비유한 기저 성질 때문에 중심적인 중요성을 갖는 구조인 $M_n(S_7)$의 상태를 해결함으로써, ai-semiring의 유한 기저 문제에 중요한 기여를 했다고 주장한다. 결과들은 $S_7$의 "비유한 기저" 성질이 모든 행렬 반군 $M_n(S_7)$과 $S_7$ 및 이들 행렬 반군 사이에 놓인 모든 다양성으로 전파됨을 확인해 준다.

$V(M_n(S_7))$ 체인이 안정화되는지(즉, $V(M_n(S_7)) = V(M_{n+1}(S_7))$인지)에 대한 열린 질문에 대해, 저자들은 겸허한 태도를 유지한다. 저자들은 등가성을 증명할 수는 없지만, $M'_n(S_7)$의 곱셈 환이 5-멱영이라는 사실이 모든 $n \ge 2$에 대해 등가성이 실제로 성립할 수 있음을 "강력하게 시사한다"고 기술한다. 본 논문은 $S_7$을 포함하는 비유한 기저 성질을 가진 유한 ai-semiring의 더 넓은 분류 문제에 대한 완전한 해결책을 향한 "겸손한 단계"로 자리매김한다. 저자들은 임의의 $S$에 대한 $M_n(S)$의 일반적인 안내 결과가 여전히 부족하다는 점을 명시하며, 자신들의 연구가 Dolinka, Gusev, Volkov의 이전 연구들과 함께 이 분야의 초기 방향 역할을 한다고 밝힌다.