[논문 리뷰] Inhomogeneous Restricted Lattice Walks

Manfred Buchacher, Manuel Kauers|arXiv (Cornell University)|2018. 11. 16.

Advanced Combinatorial Mathematics참고 문헌 15인용 수 4

한 줄 요약

이 논문은 위치 또는 시간에 따라 변화하는 스텝 세트를 가진 반평면과 1사분면에서의 비균질 제한 격자 보행을 연구한다. 비균질 반평면 보행의 생성함수는 항상 대수적임을 증명하며, 선형 함수방정식 시스템에 대한 일반화된 커널 방법을 사용한다. 또한, 짧은 스텝을 가진 1사분면 모델에 대해 실험적인 분류를 수행하여, 아직 이론적 설명이 없는 많은 D-유한 사례를 발견한다.

ABSTRACT

We consider inhomogeneous lattice walk models in a half-space and in the quarter plane. For the models in a half-space, we show by a generalization of the kernel method to linear systems of functional equations that their generating functions are always algebraic. For the models in the quarter plane, we have carried out an experimental classification of all models with small steps. We discovered many (apparently) D-finite cases for most of which we have no explanation yet.

연구 동기 및 목표

• 스텝 세트가 위치나 시간에 따라 변하는 비균질 격자 보행 모델을 체계적으로 분석하여, 고전적인 균질 모델의 결과를 확장한다.
• 비균질 반평면 보행에서 발생하는 선형 함수방정식 시스템에 대해 커널 방법을 일반화한다.
• 짧은 스텝을 가진 비균질 1사분면 모델을 분류하고, 그 생성함수의 성질을 조사한다.
• 특히 이론적 설명이 없는 경우에도 비균질 모델에서 D-유한성의 패턴을 식별한다.

제안 방법

• 비균질 반평면 보행에서 발생하는 선형 함수방정식 시스템을 해결하기 위해 커널 방법을 일반화한다.
• 위치와 스텝 수에 대한 선형 함수로 정의된 다항식 비균질성과, 스텝 세트 간의 주기적 전환을 사용한다.
• 군 작용과 궤도 합(그룹 (x,y)↦(x,1/y) 및 (x,y)↦(1/x,y)에 의해 생성됨)을 적용하여 함수방정식의 경계 항을 제거한다.
• 형식적 멱급수와 스텝 세트의 로랑 다항식 표현을 사용하여 생성함수의 닫힌 표현을 유도한다.
• 컴퓨터 대수를 통한 실험적 분류를 통해 1사분면에서 작은 스텝과 두 가지 비균질성 패턴을 가진 모델을 분석한다.
• D-유한성의 닫힘 성질을 적용하여 부분 해로부터 전체 생성함수의 D-유한성을 추론한다.

실험 결과

연구 질문

• RQ1 스텝 세트가 위치와 시간에 따라 변하는 비균질 반평면 보행의 생성함수는 항상 대수적인가?
• RQ2 커널 방법은 비균질 모델에서 발생하는 선형 함수방정식 시스템을 다룰 수 있도록 확장될 수 있는가?
• RQ3 왜 많은 비균질 1사분면 모델(작은 스텝)은 이론적 설명 없이도 D-유한 생성함수를 갖는가?
• RQ4 비균질 모델의 어떤 구조적 성질이 D-유한성 또는 대수성 생성함수를 유도하는가?
• RQ5 균질 모델에서의 차원 개념은 비균질 비균질 격자 보행으로 어떻게 일반화될 수 있는가?

주요 결과

• 비균질 반평면 보행의 생성함수는 항상 대수적이다. 이는 Banderier와 Flajolet의 고전적 결과를 일반화한다.
• 선형 함수방정식 시스템에 대한 일반화된 커널 방법은 반평면 경우의 대수성 증명에 성공적으로 적용된다.
• 작은 스텝을 가진 비균질 1사분면 모델에서는 생성함수의 대부분이 D-유한한 것으로 밝혀졌지만, 아직 이론적 설명은 존재하지 않는다.
• 1사분면 모델의 함수방정식은 군 작용에 따른 궤도 합을 사용하여 해결되며, 이는 경계 항을 제거하고 양의 부분을 추출할 수 있게 한다.
• 전체 생성함수 F(x,y) = F₀(x,y) + F₁(x,y)는 닫힘 성질과 군 궤도 합을 포함한 유도된 표현으로 인해 D-유한하다.
• 실험적 분류 결과 D-유한성은 비균질 모델에서 흔히 나타나며, 아직 밝혀지지 않은 더 깊은 구조적 패턴이 존재할 가능성이 제기된다.