[논문 리뷰] Idempotent and tropical mathematics and problems of mathematical physics (Volume II)

G. L. Litvinov, V. P. Maslov외 1명|ArXiv.org|2007. 09. 26.

Polynomial and algebraic computation참고 문헌 126인용 수 7

한 줄 요약

이 논문은 아이디포텐트 및 트로피컬 수학과 그 수학적 물리학 응용에 대한 종합적인 연구를 제시하며, 최대-합 분석, 아르틴 군의 호로펑션 컴actsification, 양자화 이론과 같은 고급 주제를 집중적으로 다룬다. 주요 결과로는 호로펑션 컴actsification과 무한 단어 및 부분문자열의 위상공간 사이의 호메오멀피즘을 확립하고, 이중 생성자 거리에서 모든 호로펑션들이 부세만 점임을 증명하며, 표준 생성자 거리에서는 비부세만 점이 존재하는 것과 대비된다.

ABSTRACT

This volume contains the proceedings of an International Workshop on Idempotent and Tropical Mathematics and Problems of Mathematical Physics, held at the Independent University of Moscow, Russia, on August 25-30, 2007.

연구 동기 및 목표

• 아르틴 군의 단어 길이 거리 체계를 사용하여 이형형 아르틴 군의 호로펑션 컴actsification의 구조를 조사한다.
• 특히 표준 생성자와 이중 생성자 간의 다른 생성 집합에서 호로펑션 경계의 성질를 비교한다.
• 무한 단어와 부분문자열 분해를 통한 호로펑션 컴actsification의 위상적 특성화를 수립한다.
• 아르틴 군의 호로경계에서 부세만 점의 존재성과 성격을 분석한다.
• 트로피컬 기하학, 최대-합 대수학, 고전 및 양자역학적 물리학에서의 양자 유사 구조 간의 연결 고리를 탐색한다.

제안 방법

• 군 원소의 오른쪽 정규형을 사용하여 아르틴 군 $A_k$ 상의 단어 길이 거리를 분석하며, 각 원소를 $x = z_1 \cdots z_m \Delta^r$ 형태로 표현한다.
• 항등원으로부터의 거리에 대한 공식을 유도한다: $d(e,x) = \sum_{i=0}^{k-1} |p_i|$, 여기서 $p_i$ 는 각 길이의 표준 인자 수를 기반으로 정의된다.
• 호로펑션 컴actsification $\mathcal{M}$ 이 $k$-튜플 $p$ 와 $Z$ 상의 무한 단어 $z$ 를 포함하는 몫공간 $\Omega$ 와 호메오멀피즘임을 보였다. 이때 $p_i - p_{i-1}$ 의 차이에 대한 제약 조건이 존재한다.
• 무한 단어를 $M^+$ 에 속하는 곱을 갖는 부분문자열로 분해함으로써 공간 $\Omega$ 를 구성하였으며, 분해의 유일성을 보장하였다.
• 부세만 점은 $\Omega \setminus \Omega_0$ 내의 원소들 중 모든 유효한 $i$ 에 대해 $p_i - p_{i-1} = m_{k-i}(z)$ 를 만족하는 것으로 특성화된다. 여기서 $m_i(z)$ 는 길이 $i$ 의 부분문자열의 수를 세는 함수이며, $\Omega_0$ 는 유한 단어에 대응한다.
• 이중 생성자 집합에 대해서는 모든 호로펑션들이 부세만 점임을 증명하였으며, 이는 표준 생성자 경우에서는 비부세만 점이 존재하는 것과 대비된다.

실험 결과

연구 질문

• RQ1 아르틴 군 $A_k$ (where $k \geq 3$) 의 호로펑션 컴actsification은 무한 단어와 부분문자열 분해의 구조와 어떻게 관련이 있는가?
• RQ2 표준 아르틴 생성자 단어 거리 체계 하에서 $A_k$ 의 호로경계의 위상적 구조는 어떠한가?
• RQ3 호로경계 내 비부세만 점의 존재는 아르틴 군 $A_k$ 의 생성자 집합 선택에 따라 달라지는가?
• RQ4 표준 인자 분해를 사용하여 아르틴 군 $A_k$ 의 단어 길이 거리에 대해 닫힌 형태의 공식을 유도할 수 있는가?
• RQ5 아르틴 군 $A_k$ 의 이중 생성자 단어 거리 체계에서 모든 호로펑션들이 부세만 점인가?

주요 결과

• 표준 아르틴 생성자 단어 거리 체계 하에서 아르틴 군 $A_k$ 의 호로펑션 컴actsification $\mathcal{M}$ 은 $k$-튜플 $p$ 와 제약 조건을 만족하는 무한 단어 $z$ 를 매개변수화하는 몫공간 $\Omega$ 와 호메오멀피즘임을 입증하였다.
• 닫힌 형태의 단어 길이 거리 공식을 확립하였다: $d(e,x) = \sum_{i=0}^{k-1} |p_i|$, 여기서 $p_i$ 는 $x$ 의 표준 인자 분해로부터 유도된다.
• 호로펑션 컴actsification $\mathcal{M}$ 내의 부세만 점들은 $\Omega \setminus \Omega_0$ 내에서 모든 유효한 $i$ 에 대해 $p_i - p_{i-1} = m_{k-i}(z)$ 를 만족하는 원소들에 정확히 대응한다. $\Omega_0$ 는 유한 단어에 대응한다.
• 표준 생성자 거리 체계와는 대조적으로, 아르틴 군 $A_k$ 의 이중 생성자 단어 거리 체계는 모든 호로펑션들이 부세만 점인 호로경계를 유도한다.
• 표준 거리 체계에서는 비부세만 점이 존재하고, 이중 거리 체계에서는 존재하지 않는다는 점은 호로경계의 구조가 생성자 집합의 선택에 매우 강하게 의존함을 보여준다.
• 본 연구는 아르틴 군 $A_k$ 에서 호로경계의 구조가 생성자 집합의 변경에 대해 불변이 아니며, 아벨 군과는 달리 모든 호로펑션들이 생성자에 관계없이 부세만 점임을 확인하였다.