[논문 리뷰] Estimations of the particular periodicity in case of the extremal periods in Shirshov's Height theorem

Mikhail Kharitonov|arXiv (Cornell University)|2011. 08. 31.

semigroups and automata theory참고 문헌 4인용 수 3

한 줄 요약

이 논문은 비가역 단어의 주기적 부분어휘를 분석하여 l-생성 PI-대수의 본질적 높이에 대한 향상된 상계를 제공한다. 어휘의 조합 기법, 특히 사전적 비교 가능성과 Dilworth의 정리를 활용하여 주기 2, 3, 및 n−1을 가진 부분어휘에 대해 날카러운 추정치를 도출함으로써, 본질적 높이에 대한 지수적 이하의 상계 $Υ(n,l) = 8(l+1)^n n^6$ 를 확립한다. 이는 이전의 추정치를 크게 향상시키며, Shirshov의 높이 정리의 증명을 진전시킨다.

ABSTRACT

Let us recall the well-known Shirshov's Height Theorem. "Let A be a finitely generated algebra of degree d. Then there exists a finite set Y which is the subset of A that A has and an integer h' = h(A) such that A has Shirshov's height h' over set Y. For Y we may take the set of words of length

연구 동기 및 목표

• l-생성 PI-대수의 다항식 항등식 차수 n에 대한 본질적 높이에 대한 상계를 향상시키는 것.
• 특정 주기(2, 3, 및 n−1)를 가진 사전적 비교 가능한 부분어휘에 초점을 맞추어 비-n-가역 어휘의 구조를 분석하는 것.
• 주기성 추정과 어휘의 조합 분석을 통한 Shirshov의 높이 정리의 증명 전략을 정교화하는 것.
• 기존의 하한 추정치(예: $\sim (l-1)n^2/4 + 1$)와 문헌에 기록된 상한 추정치 사이의 격차를 메우는 것.

제안 방법

• Dilworth의 정리를 적용하여 주기 2, 3, 및 n−1를 가진 사전적 비교 가능한 부분어휘의 수를 상계하는 데 사용.
• Rosamond (k-그래프) 표현을 활용하여 어휘의 궤적을 모델링하고 부분어휘의 주기성을 분석.
• 로그형 깊이와 거듭제곱을 활용하여 $β(t,l,n)$ 에 대한 보조정리의 반복적 적용을 통해 성장률을 통제.
• 작은 주기의 부분어휘를 체계화하여 주요 높이 상계 유도를 지원하는 프레임워크에 통합.
• 너무 많은 상호비교 불가능한 고주기 부분어휘가 존재할 경우 n-가역성이 강제됨을 모순에 기반해 보여주는 방법.
• $\beth(t,l,n)$ 를 포함하는 부등식의 사슬을 수립하여 최종 상계 $\Upsilon(n,l) < 8(l+1)^n n^6$ 를 도출.

실험 결과

연구 질문

• RQ1 l-생성 PI-대수의 차수 n에 대해 어떤 모노이드 내에서 주기 2를 가진 사전적 비교 가능한 부분어휘의 최대 개수는 얼마인가?
• RQ2 어떤 대수에서 n-가역성을 유도하지 않으면서 주기 3을 가진 부분어휘는 최대 몇 개인가?
• RQ3 주기 n−1을 가진 부분어휘의 구조를 활용하여 본질적 높이에 대한 더 날카로운 상계를 도출할 수 있는가?
• RQ4 l-생성 PI-대수의 다항식 항등식 차수 n에 대한 본질적 높이에 대한 가장 날카로운 가능한 상계는 무엇인가?
• RQ5 새로운 상계는 Gelfand–Kirillov 차원과 Amitsur–Levitzky 정리에 기반한 알려진 하한 추정치와 비교해 어떻게 다른가?

주요 결과

• 어느 모노이드 내에서 주기 2를 가진 사전적 비교 가능한 부분어휘의 수는 최대 $\frac{(2l-1)(n-1)(n-2)}{2}$ 개이다.
• 주기 3를 가진 이러한 부분어휘의 수는 최대 $(2l-1)(n-1)(n-2)$ 개이다.
• 주기 $n-1$에 대해 이러한 부분어휘의 최대 개수는 $(l-2)(n-1)$ 으로 상한이 둔다.
• l-생성 PI-대수의 본질적 높이는 $\Upsilon(n,l) = 8(l+1)^n n^6$ 보다 작으며, 이는 지수적 이하의 상계이다.
• 상계 $\Upsilon(n,l)$ 는 이전의 추정치 $\Phi(l,n) = 2^{87}l \cdot n^{12\log_3 n + 48}$ 보다 향상된 것이다.
• 결과는 주기적 어휘 분해와 부분어휘의 구조적 조합 제어를 통한 Shirshov의 높이 정리의 정교화된 증명을 뒷받침한다.