[논문 리뷰] BWT and Combinatorics on Words

Lapointe, Mélodie, Reutenauer, Christophe|arXiv (Cornell University)|2024. 07. 27.

Advanced Algebra and Logic인용 수 1

한 줄 요약

이 논문은 n개의 문자로 이루어진 알파벳 위에서 완전히 클러스터링되는 린도어 단어를 n−1개의 팰린드롬과 그 사이에 끼는 단일 문자들로 분해하는 새로운 인수분해를 제안한다. 이는 고전적인 크리스토펠 단어의 특성화를 일반화한 것으로, 주요 기여는 이러한 특수한 팰린드로믹 인수분해를 통한 구조적 특성화이다. 이를 통해 공액성과 팰린드롬 곱 성질을 통한 완전히 클러스터링되는 단어의 새로운 조합적 특성화가 가능해지며, 피릴로와 드루라-미냐지의 결과를 더 큰 알파벳으로 확장하고 버로우스-위러러 변환(Burrows-Wheeler transform)이 클러스터링 행동을 설명하는 데 수행하는 역할을 일반화한다.

ABSTRACT

Perfectly clustering words are one of many possible generalizations of Christoffel words. In this article, we propose a factorization of a perfectly clustering word on a $n$ letters alphabet into a product of $n-1$ palindromes with a letter between each of them. This factorization allows us to generalize two combinatorial characterization of Christoffel words due to Pirillo (1999) and de Luca and Mignosi (1994).

연구 동기 및 목표

• 완전히 클러스터링되는 단어의 개념을 활용하여 크리스토펠 단어의 조합적 특성화를 더 큰 알파벳으로 일반화한다.
• 완전히 클러스터링되는 린도어 단어에 대해 특수한 팰린드롬 인수분해를 정의하여 그 내부 구조를 드러낸다.
• 완전히 클러스터링되는 단어의 버로우스-위러러 변환(Burrows-Wheeler transform)이 약하게 감소하는 성질을 가지는 데서 그 역할을 확장한다.
• 대칭적인 간격 교환의 맥락에서 기존의 크리스토펠 단어, 팰린드롬 곱, 공액성에 관한 결과들을 통합하고 일반화한다.

제안 방법

• 완전히 클러스터링되는 린도어 단어에 대해 n−1개의 팰린드롬과 그 사이에 단일 문자들이 있는 곱으로서 특수한 팰린드롬 인수분해를 도입한다.
• 버로우스-위러러 변환(BWT)을 사용하여, BWT가 약하게 감소하는 단어를 완전히 클러스터링되는 단어로 정의함으로써 이중 알파벳 크리스토펠 단어를 일반화한다.
• 자유군 위에서의 자동형사 λℓ와 ρℓ를 활용하여 단어의 공액성과 역전 성질을 분석한다.
• 공액성 순서와 BWT 행렬에서의 마지막 문자 전이에 관한 보조정리를 적용하여 특수한 인수분해가 유일하고 단어를 특성화함을 증명한다.
• 다음 원소 매핑 ν를 사용하여 완전히 클러스터링되는 린도어 단어의 공액체가 사전순으로 정렬되며, 마지막 문자들이 약하게 감소하는 순서를 이룸을 보인다.
• 이중 알파벳의 경우(연속된 BWT 행들이 반전된 팰린드롬으로 다름)를 k개의 문자로 이루어진 알파벳으로 일반화하기 위해 특수한 인수분해를 사용한다.

실험 결과

연구 질문

• RQ1 고전적인 크리스토펠 단어의 특성화(두 개의 팰린드롬의 곱으로서)는 어떻게 더 큰 알파벳의 단어로 일반화될 수 있는가?
• RQ2 완전히 클러스터링되는 린도어 단어에 대해 이중 알파벳의 경우를 일반화하는 특수한 구조적 인수분해는 무엇인가?
• RQ3 완전히 클러스터링되는 단어의 버로우스-위러러 변환은 그 공액성 클래스와 팰린드롬 분해와 어떻게 관련이 있는가?
• RQ4 완전히 클러스터링되는 단어의 BWT 행렬에서 연속된 두 행 사이의 전이를 k개의 문자 알파벳에서 팰린드롬 역전으로 기술할 수 있는가?
• RQ5 특수 인수분해에 포함된 팰린드롬이 공백일 조건은 무엇인가?

주요 결과

• 완전히 클러스터링되는 린도어 단어에 대한 특수한 팰린드롬 인수분해는 n−1개의 팰린드롬과 그 사이에 끼는 단일 문자들로 이루어지며, 이 인수분해는 유일하다.
• 어떤 단어가 완전히 클러스터링되는 것은 그 단어가 자신의 역전과 공액임과 동치이며, 이는 이중 알파벳 크리스토펠 단어의 성질을 일반화한다.
• 완전히 클러스터링되는 린도어 단어의 공액체는 사전순으로 정렬되어 있으며, 그 마지막 문자들이 약하게 감소하는 순서를 이룬다. 이는 BWT가 약하게 감소함을 특성화한다.
• 완전히 클러스터링되는 단어의 BWT 행렬에서 연속된 두 행은 특수 인수분해에 포함된 팰린드롬 중 하나를 뒤집는 것으로 다름을 보인다.
• 특수 인수분해의 팰린드롬 πs는 as까지의 문자 빈도 합이 as+1부터 ak까지의 문자 빈도 합과 같을 때에만 공백이 된다.
• 이 결과는 이중 알파벳의 경우에서 연속된 BWT 행들이 yabx와 ybax의 형태이며, xy가 팰린드롬인 경우를 일반화한 것으로, 특수한 인수분해를 통해 k개의 문자 알파벳으로 확장된다.