[논문 리뷰] Universal Cycles of Restricted Words

KB Gardner, Anant P. Godbole|arXiv (Cornell University)|2017. 11. 19.

Advanced Combinatorial Mathematics참고 문헌 7인용 수 5

한 줄 요약

이 논문은 단조 함수, 보완된 전성 함수, 리프시츠 함수, 격자 경로, 고차원에서의 랜덤 워크를 포함한 다양한 제한된 조합적 객체에 대한 유니버설 사이클(U-cycles)의 존재를 확립한다. 균형 잡힌 진입 차수와 출구 차수를 갖는 정점에서 유일한 에일러라인 다이그래프 이론을 사용하여, 경로 길이의 홀짝성 및 알파벳 제약 조건과 같은 특정 조건 하에서 U-cycles의 존재를 증명한다.

ABSTRACT

A connected digraph in which the in-degree of any vertex equals its out-degree is Eulerian, this baseline result is used as the basis of existence proofs for universal cycles (also known as generalized deBruijn cycles or U-cycles) of several combinatorial objects. We extend the body of known results by presenting new results on the existence of universal cycles of monotone, "augmented onto", and Lipschitz functions in addition to universal cycles of certain types of lattice paths and random walks.

연구 동기 및 목표

• 제한되지 않은 단어를 초월하여 구조적 제약 조건이 있는 조합적 객체로 유니버설 사이클(U-cycles) 이론을 확장하기.
• 유한 도메인에서 단조, 보완된 전성, 리프시츠 함수에 대해 U-cycles가 존재하는지 조사하기.
• 다차원 공간에서의 격자 경로 및 랜덤 워크에 대해 U-cycles가 존재하는 조건을 규명하기.
• 이전에 보고된 제한된 단어의 U-cycles 결과, 예를 들어 균형 잡힌 분포 및 무게 제한 집합을 일반화하기.
• 정점 레이블이 부여된 경로 그래프에서 균형 잡힌 다이그래프와 약한 연결성을 통해 U-cycle 존재성을 증명하는 프레임워크 수립하기.

제안 방법

• 주어진 제약 조건을 만족하는 길이 $k-1$의 문자열(또는 경로)을 정점으로 하는 방향 그래프를 구성한다. 예를 들어, 3차원 격자 경로에서 끝점이 원점으로부터 거리 $k+1$ 이내에 있어야 한다.
• 첫 번째 문자열의 접미사가 두 번째 문자열의 접두사와 일치할 경우 간선을 정의함으로써, 드 브루이jn 유형의 오버랩 구조를 형성한다.
• 각 정점에서 들어오는 차수와 나가는 차수가 동일함을 증명함으로써 다이그래프가 균형 잡혀 있음을 보이되, 유효한 확장 수가 문자 빈도에만 의존하고 순서에는 영향을 받지 않음을 보여준다.
• 모든 정점이 인접한 문자의 교환을 통해 기준 정점(예: 문자가 블록으로 묶인 정점)과 연결됨을 보여줌으로써 약한 연결성을 확립한다. 이 경우, 인접한 문자에 대해 차수 6의 교환을 사용한다.
• 약한 연결성과 균형 잡힌 다이그래프는 에일러라인 사이클을 포함하며, 이는 원래 객체 유형에 대한 유니버설 사이클에 해당함을 이용한다.
• 이 프레임워크를 여러 클래스에 적용한다: 단조 함수, 전성 함수, 균형 잡힌 단어, 경쟁 순위, 강력한 암호, $m$-차원에서의 격자 경로.

실험 결과

연구 질문

• RQ1 단조 함수 $[k]$에서 $[n]$으로의 유니버설 사이클은 어떤 조건에서 존재하는가?
• RQ2 코-domain에서 정확히 한 값을 누락하는 거의 전성 함수에 대해 유니버설 사이클을 구성할 수 있는가?
• RQ3 원점으로부터 거리 $k+1$ 이내에 끝나는 3차원 격자 경로의 길이가 $n-1$일 때, 유니버설 사이클이 존재하는가?
• RQ4 균형 잡힌 단어(거의 균일한 문자 빈도)에 대해 U-cycles가 존재할 수 있는 단어 길이와 알파벳 크기의 제약 조건은 무엇인가?
• RQ5 제한된 구조 조건 하에서 랜덤 워크 및 초그래프에 대해 U-cycles 존재성을 확장할 수 있는가?

주요 결과

• 모든 단조 함수 $[k]$에서 $[n]$으로의 U-cycles는 $k < n$일 때 존재하며, 이는 이전의 단사 함수 결과를 확장한다.
• 정확히 한 개의 도메인 원소를 누락하는 보완된 전성 함수에 대해 U-cycles는 $n eq 1,3$ 이고 $k > n$일 때 존재하며, 균형 잡힌 다이그래프를 통해 존재성이 증명된다.
• 원점으로부터 거리 $k+1$ 이내에 끝나는 3차원 격자 경로의 길이가 $n-1$일 때, $n eq k+1$ 이거나 $n \to \text{odd}$ 이면 U-cycle이 존재하며, 균형 잡힌 다이그래프와 약한 연결성에 의해 보장된다.
• 균형 잡힌 $k$-문자 단어가 $[n]$에서 존재하는 경우, $k \not\rightarrow 0 \bmod n$일 때에만 U-cycles가 존재하며, 이는 이전의 이진 단어에서 균형 잡힌 무게에 대한 결과를 일반화한다.
• 3차원에서의 $P_{n,k}$ 경로 전부에 대해 U-cycle이 존재하는 경우는 $n \to k+1 \to 4$일 때이며, 유사한 다이그래프 구성 방식을 통해 $m$-차원 경로로도 일반화된다.
• 경쟁 순위, 비단사 함수, 비강력한 암호에 대해 U-cycles 존재성이 특정 매개변수 제약 조건 하에서 확립된다. 예를 들어, 비단사 함수의 경우 $k \to 4$ 조건이 필요하다.