[논문 리뷰] The method of characteristics, and "problem 89" of Graham, Knuth and Patashnik

Herbert S. Wilf|ArXiv.org|2004. 06. 30.

Advanced Mathematical Identities참고 문헌 3인용 수 10

한 줄 요약

이 논문은 선형 PDE를 풀기 위한 특성선 방법을 두 가지 조합론 문제에 적용한다: DNA 서열 매칭 문제와 Graham, Knuth, Patashnik의 일반화된 이항계수에 관한 문제 89번. 이 중 하나의 매개수가 0이 되는 조건에서 후자의 정확한 닫힌 형태 해를 유도하고, 이 조건 하에서 관련 다항식이 오직 실근만을 가짐을 증명하며, 행 합에 대한 생성함수와 점근적 분석을 제공한다.

ABSTRACT

We apply the method of characteristics for the solution of pde's to two combinatorial problems. The first is finding an explicit form for a distribution that arises in bio-informatics. The second is a question raised by Graham, Knuth and Patashnik abiout a sequence of generalized binomial coefficients. We find an exact formula, which factors in an interesting way, in the case where one of the six parameters of the problem vanishes. We also show that the associated polynomial sequence has real zeros only, provided that one parameter vanishes, and the other five are nonnegative.

연구 동기 및 목표

• DNA 서열 매칭에서 발생하는 재귀관계를 생성함수와 PDE 기법을 사용하여 해결한다.
• Graham, Knuth, Patashnik의 문제 89번을 해결한다. 이는 두 변수 선형 재귀로 정의된 일반화된 이항계수에 관한 것이다.
• 일곱 매개수 중 하나가 0이 되는 조건에서 일반화된 이항계수에 대한 정확한 닫힌 형태 표현식을 도출한다.
• 관련 다항식 수열이 오직 실근만을 가지는 조건을 확립한다.
• 특정 매개수 제약 조건 하에서 일반화된 파스칼 삼각형의 행 합의 점근적 성장률을 분석한다.

제안 방법

• DNA 매칭 문제의 재귀관계를 생성함수 $ Q(x,t) $에 대한 일阶 선형 PDE로 형식화한다.
• 특성선 방법을 적용하여 PDE $ (x-1)\frac{\partial Q}{\partial x} + (1-t)\frac{\partial Q}{\partial t} = Q $ 를 풀어 $ Q(x,t) = \frac{1 - (1 - (1-t)(1-x))^n}{1-t} $ 를 얻는다.
• 생성함수를 전개하여 $ Q_k(x) $ 에 대한 세 가지 동치 표현을 도출하며, 이 중에는 압축된 이항계수 합 표현식이 포함된다.
• Gosper의 알고리즘을 사용하여 $ Q_k(x) $ 의 다양한 표현식 간의 동치성을 검증하며, 특히 $ Q_k(x) = (1-x)^{k+1} \sum_{j=0}^{n-k-1} \binom{j+k}{j} x^j $ 의 형태가 맞는지 확인한다.
• 일반화된 이항계수 문제에 대해 생성함수 $ u(x,y) $ 를 유도하고 이를 PDE로 변환한 후 특성선을 통해 일반해를 임의의 함수 $ f $ 로 표현한다.
• 초기 조건을 적용하여 $ f $ 를 결정함으로써 닫힌 형태의 생성함수를 도출하고, 계수를 추출한다.

실험 결과

연구 질문

• RQ1 DNA 서열 매칭에서 유도된 수열 $ Q_k(x) $ 에 대한 정확한 닫힌 형태 표현식은 무엇인가?
• RQ2 특성선 방법이 생성함수에 대한 PDE를 유도하는 조합론적 재귀관계에 효과적으로 적용될 수 있는가?
• RQ3 일반화된 이항계수 재귀관계가 오직 실근만을 가지는 다항식을 생성하는 매개수 조건은 무엇인가?
• RQ4 일부 매개수가 0일 때 행 합 $ \rho(n) = \sum_k {n \atopwithdelims| k} $ 의 점근적 행동은 어떻게 되는가?
• RQ5 재귀관계에서 한 매개수가 0이 되면 생성함수의 구조는 어떻게 변화하는가?

주요 결과

• 정확한 닫힌 형태 표현식으로서 $ Q_k(x) = (1-x)^{k+1} \sum_{j=0}^{n-k-1} \binom{j+k}{j} x^j $ 가 도출되었으며, 이는 압축된 형태이면서 수열이 누적분포의 성격을 드러낸다.
• 수열 $ Q_k(x) $ 는 $ k \geq n $ 일 때 식별적으로 0이 되며, 고정된 $ k $ 와 $ |x| < 1 $ 일 때 $ \lim_{n \to \infty} Q_k(x) = 1 $ 이다. 이는 수렴이 탈탈 털린 분포로 수렴함을 시사한다.
• $ \beta' = 0 $ 이고 나머지 모든 매개수가 음이 아닌 조건에서 다항식 $ \phi_n(x) = \sum_k {n \atopwithdelims| k} x^k $ 는 오직 실근과 음의 근만을 가지며, 귀납법과 롤레의 정리를 통해 증명된다.
• 행 합 $ \rho(n) $ 의 생성함수는 $ F(x) = \sum_n \rho(n) \frac{x^n}{n!} = \frac{(1 - \alpha x)^{-\gamma/\alpha}}{\left(1 + \frac{\beta'}{\beta}(1 - (1 - \alpha x)^{-\beta/\alpha})\right)^{1 + \gamma'/(\beta')}} $ 로 유도되었으며, 이는 $ \alpha' = 0 $ 일 때 유효하다.
• 생성함수 해는 초함수로 표현되며, 계수 추출 과정을 통해 이항계수와 유리함수의 거듭제곱을 포함하는 이중합 공식으로 $ \rho(n) $ 를 도출할 수 있다.
• 특성선 방법은 매개수 중 하나가 0이 되는 특수한 경우에 문제 89번에 대한 완전한 해를 성공적으로 도출하였지만, 일반적인 해는 여전히 다루기 어려운 형태이다.