[논문 리뷰] Pattern avoidance in labelled trees

Vladimir Dotsenko|arXiv (Cornell University)|2011. 10. 04.

semigroups and automata theory인용 수 13

한 줄 요약

이 논문은 평면 레이블이 붙은 루트 있는 트리에서의 패턴 회피를 위한 새로운 조합론적 프레임워크를 제안하며, 순열과 단어에서의 고전적 연속 패턴 회피를 일반화한다. 트리 패턴 회피와 셔플 옵레이드 사이의 연결 고리를 확립하여, 주어진 패턴 집합을 회피하는 트리의 수를 계산하는 것은 단순히 단항 관계를 갖는 옵레이드의 성분 차원을 계산하는 것과 같으며, 특정 조건 하에서 이러한 패턴의 생성함수는 미분 대수적임을 증명한다.

ABSTRACT

We discuss a new notion of pattern avoidance motivated by the operad theory: pattern avoidance in planar labelled trees. It is a generalisation of various types of consecutive pattern avoidance studied before: consecutive patterns in words, permutations, coloured permutations etc. The notion of Wilf equivalence for patterns in permutations admits a straightforward generalisation for (sets of) tree patterns; we describe classes for trees with small numbers of leaves, and give several bijections between trees avoiding pattern sets from the same class. We also explain a few general results for tree pattern avoidance, both for the exact and the asymptotic enumeration.

연구 동기 및 목표

• 옵레이드 이론과 그로브너 기저를 동기로 삼아 평면 레이블이 붙은 루트 있는 트리에서의 새로운 패턴 회피 개념을 체계화한다.
• 단어, 순열, 색상이 있는 순열에서의 고전적 연속 패턴 회피를 트리의 맥락으로 일반화한다.
• 주어진 트리 패턴 집합을 회피하는 트리의 정확한 수와 점근적 수를 조사한다.
• 트리 패턴에 대한 윌프 동치 클래스를 조사하고, 동치 클래스 내의 패턴들 사이의 전단사 사상(비둘기)을 수립한다.
• 트리 패턴 회피의 조합론을 특히 셔플 옵레이드와 그 단항 기저와 같은 대수적 구조와 연결한다.

제안 방법

• 레이블과 상대적 순서가 중요한 부분 구조로서 평면 레이블이 붙은 루트 있는 트리와 트리 패턴을 정의하며, 고전적 패턴을 일반화한다.
• 셔플 합성에 의한 트리 단항식의 '나누어 떨어짐' 개념을 사용하여 셔플 옵레이드의 그로브너 기저에서 주도항을 모델링한다.
• 골로드–샤파레비치 기법을 적용하여 트리 패턴 회피 수열의 점근적 성장률에 대한 상한을 도출한다.
• 이전 연구 결과(예: 코로쉬킨 및 도츠엔코)를 활용하여 특정 패턴 집합에 대한 정확한 수의 공식을 도출한다.
• 셔플 정규성 조건 하에서 트리 패턴 회피의 생성함수가 미분 대수적임을 증명한다.
• 비둘기와 구조적 분석을 활용하여 작은 트리(예: 2~4개의 잎을 가진 트리)에 대한 윌프 동치 클래스를 분류한다.

실험 결과

연구 질문

• RQ1 어떻게 순열과 단어에서의 고전적 연속 패턴 회피가 트리 패턴을 통해 하나의 프레임워크로 통합될 수 있는가?
• RQ2 주어진 트리 패턴 집합을 회피하는 트리의 수의 점근적 성장률은 무엇인가?
• RQ3 어떤 트리 패턴 집합이 윌프 동치이며, 이러한 집합의 회피 클래스 사이에 비둘기를 어떻게 구성할 수 있는가?
• RQ4 트리 패턴 회피의 생성함수는 어떤 대수적 성질을 만족하는가, 특히 셔플 정규성 조건 하에서?
• RQ5 셔플 옵레이드의 구조는 특정 패턴을 회피하는 트리 단항식의 수에 어떻게 영향을 미치는가?

주요 결과

• 셔플 정규성 조건 하에서 트리 패턴 회피의 생성함수는 미분 대수적임을 증명하며, 이는 기존의 무라벨 트리 결과를 일반화한다.
• 셔플 옵레이드에 관한 이전 연구 결과를 활용하여 트리 패턴 회피의 정확한 수의 공식을 도출할 수 있으며, 특히 그로브너 기저 기법을 통해 가능하다.
• 골로드–샤파레비치 부등식을 적용하여 회피 수열의 점근적 성장률에 대한 상한을 도출할 수 있으며, 이는 이 맥락으로의 응용을 확장한다.
• 작은 트리 패턴(예: 2~4개의 잎을 가진 트리)에 대한 윌프 동치 클래스는 명시적으로 기술되었으며, 동치 클래스 내의 패턴들 사이의 비둘기가 구성되었다.
• 주어진 패턴 집합을 회피하는 트리의 수는 단항 관계를 갖는 셔플 옵레이드의 해당 성분의 차원과 정확히 일치한다.
• 이 프레임워크는 단어, 순열, 색상이 있는 순열에서의 다양한 연속 패턴 회피 유형을 트리 패턴 회피의 특수한 경우로 통합한다.