[논문 리뷰] Quarter-plane lattice paths with interacting boundaries: the Kreweras and reverse Kreweras models

Nicholas R. Beaton, A L Owczarek외 1명|arXiv (Cornell University)|2019. 05. 26.

Advanced Combinatorial Mathematics참고 문헌 21인용 수 2

한 줄 요약

이 논문은 일반적인 경계 상호작용 하에서 두 가지 고전적인 1/4평면 격자 경로 모델—크레바스 및 역크레바스 산책—에 대수적 커널 방법을 적용한다. x축, y축, 원점에서의 방문에 각각 실수 가중치 a, b, c를 부여한다. 역크레바스 산책은 모든 매개변수 값에서 대수적 생성함수를 유지함을 증명하며, 크레바스 산책은 대수적인 것이 아니라 D-유한한 생성함수를 갖는다. 이는 경계 상호작용이 있는 1/4평면 모델에서 이러한 차이가 처음으로 알려진 사례이다.

ABSTRACT

Lattice paths in the quarter plane have led to a large and varied set of results in recent years. One major project has been the classification of step sets according to the properties of the corresponding generating functions, and this has involved a variety of techniques, some highly intricate and specialised. The famous Kreweras and reverse Kreweras walk models are two particularly interesting models, as they are among the only four cases which have algebraic generating functions. Here we investigate how the properties of the Kreweras and reverse Kreweras models change when boundary interactions are introduced. That is, we associate three real-valued weights $a,b,c$ with visits by the walks to the $x$-axis, the $y$-axis and the origin $(0,0)$ respectively. These models were partially solved in a recent paper by Beaton, Owczarek and Rechnitzer (2019). We apply the algebraic kernel method to completely solve these two models. We find that reverse Kreweras walks have an algebraic generating function for all $a,b,c$, regardless of whether the walks are restricted to end at the origin or on one of the axes, or may end anywhere at all. For Kreweras walks, the generating function for walks returning to the origin is algebraic, but the other cases are only D-finite. To our knowledge this is the first example of a quarter-plane model with this property.

연구 동기 및 목표

• 경계 상호작용이 크레바스 및 역크레바스 격자 경로 모델의 생성함수에 미치는 영향을 밝히는 열린 문제를 다루기.
• 대칭성 또는 상호작용이 없는 것으로 가정하는 것 대신, x축, y축, 원점에서의 방문에 일반적인 가중치 a, b, c를 도입하여 이전 결과를 확장하기.
• 임의의 경계 가중치 하에서 두 모델을 완전히 해결하기 위해 대수적 커널 방법을 사용하여 생성함수의 구조를 규명하기.
• 상호작용 존재 시 대수적과 D-유한한 생성함수 사이의 경계를 명확히 하여, 오직 D-유한성만 성립하는 새로운 사례를 규명하기.
• 특히 유한군 대칭성을 갖는 다른 1/4평면 모델을 분석하기 위한 프레임워크 제공하기.

제안 방법

• 크레바스 및 역크레바스 산책의 단계 집합에서 유도된 함수방정식에 대수적 커널 방법을 적용하기.
• 대칭성과 대수적 구조를 이용해 경계항, 특히 Q(x,0), Q(0,y), Q(0,0)를 제거하기 위해 전궤적 및 반궤적 합을 사용하기.
• x와 y의 양의 거듭제곱과 음의 거듭제곱으로 기능방정식을 분리하여 [x>] 및 [x<] 투영을 통해 생성함수를 고립하기.
• 전궤적 합에서 Q(0,0)의 계수를 분석하여, 계수가 0이면 D-유한성, 아니면 D-대수적임을 판단함으로써 해의 성질을 결정하기.
• 기호 계산(Mathematica 노트북)을 사용하여 커널 방법에서 발생하는 복잡한 대수적 변환 및 유리/무리수 표현을 검증하기.
• 모델 간 커널 방정식의 구조를 비교하여 해가 대수적, D-유한, 또는 D-대수적일 경우를 구분하기.

실험 결과

연구 질문

• RQ1 x축, y축, 원점에서의 방문에 각각 실수 가중치 a, b, c를 할당할 경우, 역크레바스 산책의 생성함수는 여전히 대수적일까?
• RQ2 크레바스 모델은 일반적인 경계 상호작용 하에서도 대수적 생성함수를 유지하는가, 아니면 오직 D-유한성만 유지하는가?
• RQ3 상호작용이 있는 모델에서 전궤적 합의 Q(0,0) 계수는 해가 D-유한성인지 D-대수적임을 결정하는 데 어떻게 기여하는가?
• RQ4 전궤적 합이 0이 아니더라도, 특히 경계 상호작용이 대칭성을 깨뜨릴 경우, 대수적 커널 방법이 성공적으로 적용될 수 있는가?
• RQ5 경계 상호작용이 존재할 때, 대수적 생성함수를 갖는 모델과 오직 D-유한한 생성함수를 갖는 모델 사이에 구조적 차이가 존재하는가?

주요 결과

• x축, y축, 원점에서의 방문에 각각 실수 가중치 a, b, c를 할당할 경우, 역크레바스 산책의 생성함수는 항상 대수적이다.
• 크레바스 산책의 생성함수는 모든 a, b, c에 대해 D-유한하나, 대수적은 아니며, 이는 이 성질을 갖는 1/4평면 모델에서 처음으로 알려진 사례이다.
• 비상호작용 또는 대칭적 상호작용의 경우와 달리, 크레바스 산책의 전궤적 합은 0이 아니지만, 경계항 계수의 구조 덕분에 해는 여전히 D-유한하다.
• 크레바스 산책의 경우, 전궤적 합에서 Q(0,0)의 계수는 해의 성질을 결정하지 않으며, 이는 다른 D-대수적 모델과는 다름을 보여주며 고유한 구조적 행동을 나타낸다.
• 역크레바스 산책은 전궤적 합과 반궤적 합이 모두 Qd₀(x)에 대해 다항계수를 생성하므로 대수적 구조를 유지한다.
• 전궤적 합에서 Q(0,0) 계수의 존재 여부를 분석함으로써 D-유한성과 D-대수적 해를 구분하는 데 성공했으며, 향후 모델에 대한 기준을 제공한다.