[논문 리뷰] Reductions on Double Occurrence Words

Ryan Arredondo|arXiv (Cornell University)|2013. 11. 13.

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

한 줄 요약

이 논문은 이중 발생 단어의 중첩 지수—빈 문자열로 줄이기 위해 필요한 최소 감소 연산 수—를 도구로 삼아, 현수도와 원 그래프를 분석 도구로 사용한다. 중첩 지수가 동형인 원 그래프에 대해 불변이 아니라는 것을 증명하며, 동일한 원 그래프를 가진 단어들 사이에 중첩 지수의 차이가 임의로 클 수 있음을 보이고, 주어진 중첩 지수를 달성하기 위한 최소 단어 길이에 대한 추측을 제시한다.

ABSTRACT

In the present paper we consider biologically motivated reduction operations on double occurrence words. Then we define the nesting index of a double occurrence word to be the least number of reduction operations it takes for a word to be reduced to the empty word. We use chord diagrams and circle graphs as tools to study the nesting index of double occurrence words.

연구 동기 및 목표

• 유전체 재배열 모델에서의 구조적 복잡성 척도로 이중 발생 단어의 중첩 지수를 정의하고 연구하기 위해.
• 이중 발생 단어의 중첩 지수와 현수도 및 원 그래프의 위상적 불변량 간의 관계를 조사하기 위해.
• 중첩 지수가 원 그래프의 동형에 대해 보존되는지, 그리고 주어진 중첩 지수를 달성하기 위한 최소 단어 길이를 탐색하기 위해.
• 중첩 지수의 개수를 계산하여 표를 제작하고, 이를 바탕으로 최소 길이에 대한 추측을 수립하기 위해.

제안 방법

• 세균류에서 관찰된 생물학적 유전체 재배열 패tern을 바탕으로 이중 발생 단어에 대한 감소 연산을 정의한다.
• 현수도를 사용하여 이중 발생 단어를 표현하고 그 구조적 성질을 분석한다.
• 현수도에서 유도된 원 그래프를 구성하며, 정점은 현을 나타내고 간선은 교차를 나타낸다.
• 희박한 부분단어 분석을 적용하여 1-감소 가능한 단어를 특성화하고 감소 조건을 도출한다.
• 동일한 원 그래프를 가졌지만 중첩 지수가 다른 단어들을 비교하여 지수가 그래프 불변량이 아님을 입증한다.
• 중첩 지수와 단어 크기별로 모든 이중 발생 단어의 개수를 계산하여 표를 생성하고, 최소 길이에 대한 추측을 뒷받침한다.

실험 결과

연구 질문

• RQ1 이중 발생 단어의 중첩 지수가 관련된 원 그래프의 동형에 대해 보존되는가?
• RQ2 중첩 지수 n을 가지는 이중 발생 단어를 구성하기 위해 필요한 최소 문자 수는 얼마인가?
• RQ3 희박한 부분단어와 현수도 부분구조를 사용하여 중첩 지수를 완전히 특성화할 수 있는가?
• RQ4 중첩 지수가 불변이 아니더라도, 중첩 지수와 관련된 원 그래프의 구조적 불변량이 존재하는가?
• RQ5 동일한 원 그래프와 중첩 지수를 갖는 서로 다른 이중 발생 단어의 수에 대한 일반적인 상한이 존재하는가?

주요 결과

• 중첩 지수는 원 그래프 동형에 대해 불변이 아니다: 동형인 원 그래프를 가진 단어들 사이에 중첩 지수의 차이가 임의로 클 수 있다.
• 모든 n≥1에 대해, 동형인 원 그래프를 가진 이중 발생 단어들 중에서 중첩 지수의 차이가 n−1인 경우가 존재한다.
• 중첩 지수 1에서 10까지, 크기 1에서 9까지의 모든 이중 발생 단어에 대한 개수 표를 제시한다.
• 추측을 제안한다: 중첩 지수 n을 가지는 단어를 구성하기 위해 필요한 최소 문자 수는 n−s이며, 여기서 s는 n보다 작은 양의 제곱수의 개수이다.
• 1-감소 가능한 이중 발생 단어의 특성화를 제시한다: 단어가 123213, 123132, 또는 121323 중 하나의 희박한 부분단어를 포함하지 않을 때에만 1-감소 가능하다.
• C_{(n−1)×(n−1)}에 대응하는 현수도를 가진 단어의 중첩 지수가 n임을 증명한다. 이는 모든 n∈ℕ에 대해 중첩 지수가 n인 단어가 존재함을 보여준다.