[논문 리뷰] Discrete Subproduct Systems and Word Systems

Malte Gerhold, Michael Skeide|arXiv (Cornell University)|2014. 02. 02.

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

한 줄 요약

이 논문은 부분곱계열의 차원 수열과 단어계열의 기수 수열 사이의 일대일 대응을 수립하여, 이러한 수열을 특성화하는 문제를 단어 이론의 조합론 문제로 환원한다. 핵심 기여는 단어의 조합론적 성질을 통해 허용 가능한 차원 수열을 완전히 특성화하는 데 있다.

ABSTRACT

We show that a sequence of natural numbers is the dimension sequence of a subproduct system if and only if it is the cardinality sequence of a word system. Determining such sequences is, therefore, reduced to a purely combinatorial problem in the combinatorics of words. We provide some new results.

연구 동기 및 목표

• 어떤 자연수 수열이 부분곱계열의 차원 수열이 될 수 있는가를 규명하는 것.
• 부분곱계열을 분류하는 문제를 단어계열에 대한 순수한 조합론 문제로 재구성하는 것.
• 허용 가능한 차원 수열을 단어계열의 기수를 통해 특성화하는 새로운 조합론적 결과를 제공하는 것.
• 부분곱계열과 단어계열 사이의 차원/기수 수열을 통해 이중사상 대응을 수립하는 것.

제안 방법

• 유한 알파벳 위의 유한 집합들로 이루어진, 특정 호환 조건을 만족하는 단어계열을 정의한다.
• 단어계열의 기수 수열 개념을 도입하여 각 길이에 해당하는 단어의 수를 나타낸다.
• 유한 차원 C*-대수 위의 텐서곱 구조를 사용해 주어진 단어계열로부터 부분곱계열을 구성한다.
• 모든 부분곱계열의 차원 수열이 어떤 단어계열의 기수 수열로 나타남을 증명한다.
• 역으로, 모든 단어계열의 기수 수열이 어떤 부분곱계열의 차원 수열로 나타남을 보인다.
• 단어 성장과 대수적 제약 조건에 대한 조합론적 추론을 통해 등가성을 확립한다.

실험 결과

연구 질문

• RQ1 어떤 자연수 수열이 부분곱계열의 차원 수열로 실현될 수 있는가?
• RQ2 특히, 부분곱계열의 구조를 포괄하는 조합론적 모델—즉, 단어계열—이 존재하는가?
• RQ3 부분곱계열의 분류 문제를 단어의 조합론 문제로 환원할 수 있는가?
• RQ4 어떤 수열이 단어계열의 기수 수열이 되기 위한 필요 및 충분 조건은 무엇인가?
• RQ5 부분곱계열의 대수적 제약 조건은 단어에 대한 조합론적 제약 조건으로 어떻게 번역되는가?

주요 결과

• 자연수 수열이 부분곱계열의 차원 수열이 되는 것은 단지 그 수열이 어떤 단어계열의 기수 수열이 될 때에 한하여 성립한다.
• 부분곱계열을 분류하는 문제는 완전히 단어계열의 조합론 문제로 환원된다.
• 부분곱계열과 단어계열 사이의 대응은 이중사상이면서 구조를 유지하는 대응이다.
• 특성화 과정의 부산물로 새로운 단어계열에 대한 조합론적 결과가 도출된다.
• 특성화는 허용 가능한 차원 수열에 대한 완전하고 명시적인 기준을 제공한다.
• 결과적으로 부분곱계열의 연구는 단어 성장과 알파벳 제약 조건의 분석으로 환원된다.