[논문 리뷰] Palindromic richness and Coxeter groups

Edita Pelantová, Štěpán Starosta|arXiv (Cornell University)|2011. 08. 15.

semigroups and automata theory인용 수 1

한 줄 요약

이 논문은 자유 모노이드 위의 자기형사 및 반자기형사의 군 G에 관하여 닫혀 있는 무한 단어에서 펠린드롬 러치니스의 일반화인 G-richness를 도입한다. G-rich 단어에 대한 등가 조건을 규명함으로써, G에 속한 반자기형사에 의해 정의된 일반화된 펠린드롬으로 일반화된 고전적 펠린드롬 러치니스를 확장하고, 이 이론의 타당성을 보여주기 위해 두 가지 명시적 예를 제시한다. 이는 코x터 군과 일반화된 대칭성에 응용 가능함을 시사한다.

ABSTRACT

For a given finite group $G$ consisting of morphisms and antimorphisms of a free monoid $\mathcal{A}^*$, we study infinite words with language closed under the group $G$. We focus on the notion of $G$-richness which describes words rich in generalized palindromic factors, i.e., in factors $w$ satisfying $\Theta(w) = w$ for some antimorphism $\Theta \in G$. We give several equivalent descriptions which are generalizations of know characterizations of rich words (in the terms of classical palindromes) and show two examples of $G$-rich words.

연구 동기 및 목표

• 자유 모노이드 위의 자기형사 및 반자기형사의 군 G에 관하여 불변인 단어로 펠린드롬 러치니스의 개념을 확장한다.
• G-rich 단어를 정의하고, G에 속한 반자기형사에 의해 고정되는 일반화된 펠린드롬 인자의 러치니스를 갖는 단어로 특성화한다.
• 고전적 펠린드롬 러치니스의 알려진 특성화를 군 불변 언어의 맥락으로 일반화한다.
• Coxeter 군의 맥락에서 이론을 구체적으로 설명하기 위해 G-rich 단어의 명시적 구성법을 제시한다.

제안 방법

• G-rich 단어를 정의한다. 이는 언어가 군 G의 자기형사 및 반자기형사에 관하여 닫혀 있고, G에 속한 반자기형사에 의해 고정되는 인자가 일반화된 펠린드롬으로 간주되는 무한 단어이다.
• 요소 복잡도 및 군 작용에 의한 대칭성의 성질을 이용하여 G-richness의 등가 조건을 규명한다.
• 코x터 군의 구조를 활용하여, 그들의 치환 기반 대칭성을 이용해 G-rich 단어의 예를 구성한다.
• 표준 역전을 대체하여 G에 속한 임의의 반자기형사를 사용함으로써, 고전적 펠린드롬 러치니스 기준(예: 요소 복잡도 조건)을 일반화한다.
• 군 작용 하의 무한 단어 언어를 분석하여, 최대 펠린드롬 인자 러치니스를 확보하는 조건을 규명한다.
• G-richness가 G의 자기형사 및 반자기형사에 의해 보존됨을 증명함으로써, 언어의 군 작용에 대한 불변성을 확보한다.

실험 결과

연구 질문

• RQ1 고전적 펠린드롬 러치니스 개념은 어떤 식으로 자기형사 및 반자기형사의 군에 관하여 불변인 단어로 일반화될 수 있는가?
• RQ2 G에 속한 반자기형사에 의한 대칭성과 요소 복잡도를 기반으로 G-rich 단어의 등가 조건은 무엇인가?
• RQ3 G가 자유 모노이드 위에서 작용하는 코x터 군일 경우, 어떤 무한 단어가 G-rich성을 갖는가?
• RQ4 G에 속한 반자기형사는 어떻게 일반화된 펠린드롬을 정의하며, G-rich 단어는 어떤 구조적 성질을 갖는가?
• RQ5 G-richness 이론은 고전적 펠린드롬을 초월한 새로운 펠린드롬 러치니스 단어의 구성에 적용될 수 있는가?

주요 결과

• G-richness는 고전적 펠린드롬 러치니스를 일반화하는 등가 조건들로 특성화되며, 일반화된 요소 복잡도 조건을 포함한다.
• 논문은 어떤 단어가 G-rich임과 동시에 G에 속한 어떤 반자기형사에 의한 일반화된 펠린드롬 닫힘을 갖는 것과 동치임을 규명한다.
• 두 가지 명시적 예가 제시되며, 그 중 하나는 A∞ 유형의 코x터 군과 관련된 무한 단어에서 유래한다.
• G-rich 단어의 언어는 G에 속한 모든 자기형사 및 반자기형사에 관하여 닫혀 있으며, 군 작용에 대한 불변성을 보장한다.
• 이론은 표준 역전 대신 반자기형사가 일반화된 역전 연산자 역할을 하게 하여, 고전적 펠린드롬 러치니스를 비역전 대칭성으로 일반화한다.
• 논문은 G-richness가 군 작용과 가환하는 자기형사에 의한 이미지에 대해 보존됨을 보여주며, 구조적 안정성을 확보한다.