[논문 리뷰] Existence Problem of Telescopers: Beyond the Bivariate Case

Shaoshi Chen, Qing-Hu Hou외 2명|arXiv (Cornell University)|2016. 01. 12.

Polynomial and algebraic computation참고 문헌 16인용 수 8

한 줄 요약

이 논문은 최근 해결된 문제인 이원 유리 함수의 합계 가능성으로 귀결되는 삼변수 이산 함수에 대한 텔레스코퍼 존재 문제를 해결한다. 저자들은 일반화된 감소 알고리즘과 이동 등가성 테스트를 사용하여 텔레스코퍼 존재에 대한 필요 및 충분 조건을 수립하며, 기존의 이원 함수 결과를 삼변수 경우로 확장한다. 중요한 예시를 통해 비적절한 유리 함수도 여전히 텔레스코퍼를 가질 수 있음을 보여준다.

ABSTRACT

In this paper, we solve the existence problem of telescopers for rational functions in three discrete variables. We reduce the problem to that of deciding the summability of bivariate rational functions, which has been solved recently. The existence criteria we present is needed for detecting the termination of Zeilberger's algorithm to the function classes studied in this paper.

연구 동기 및 목표

• 삼변수 이산 함수에 대한 텔레스코퍼 존재 문제를 해결하는 데 오랫동안 열려 있던 문제를 해결한다.
• 기존의 존재 조건을 비록 적절한 함수나 홀로노믹 함수에 국한된 이원 함수의 경우를 초월하여 확장한다.
• 삼변수 유리 함수 설정에서 텔레스코퍼 존재에 대한 필요 및 충분 조건을 제공한다.
• 이러한 함수 클래스에서 지일버거 알고리즘의 정지 여부를 탐지할 수 있도록 한다.
• 초기기반의 다변수 함수 클래스, 특히 초함수항에 대한 존재 문제 해결을 위한 기초를 마련한다.

제안 방법

• 일반화된 감소 알고리즘을 사용하여 삼변수 텔레스코퍼 존재 문제를 이원 유리 함수의 합계 가능성 테스트로 환원한다.
• 특정 이동에 대해 다항식이 불변임을 식별하기 위해 이동 등가성 테스트 절차를 적용한다. 이는 부분분수 분해에서 분모를 다룰 때 핵심적이다.
• 변수 $ y $ 에 대한 기약 부분분수 분해를 사용하여 $ ( au_y, au_z) $-합계 가능성에 대한 분석을 위한 구성 요소를 분리한다.
• $ au_y $- 및 $ au_z $-합계 가능성 구성 요소의 구조를 활용하여 연산자 분해를 통해 텔레스코퍼 존재 여부를 결정한다.
• 기존에 알려진 이원 유리 함수 합계 가능성 알고리즘([21] 참조)을 전체 결론 절차의 서브루틴으로 활용한다.
• 표준 기준이 실패하는 경우를 포함하여 삼변수에서 비적절한 유리 함수를 다룰 수 있는 새로운 감소 프레임워크를 도입한다.

실험 결과

연구 질문

• RQ1 비적절하거나 홀로노믹 함수가 아닌 삼변수 이산 함수에 대해 텔레스코퍼가 존재할 조건은 무엇인가?
• RQ2 삼변수 경우에서 텔레스코퍼 존재 문제를 이원 유리 함수의 합계 가능성 문제로 환원할 수 있는가?
• RQ3 다중 이동 연산자 하에서 다항식 간의 이동 등가성을 알고리즘적으로 테스트하는 방법은 무엇인가, 이를 통해 존재 조건을 뒷받침할 수 있는가?
• RQ4 삼변수 유리 함수의 어떤 구조적 성질이 적절한 항으로 분해되지 않음에도 불구하고 텔레스코퍼를 허용할 수 있게 하는가?
• RQ5 이원 함수를 초월하여 텔레스코퍼 존재 문제를 탐지할 수 있는 일반적인 알고리즘 프레임워크가 존재하는가?

주요 결과

• 삼변수 유리 함수에 대한 텔레스코퍼 존재는 유도된 이원 유리 함수의 $ ( au_y, au_z) $-합계 가능성과 동치이다.
• 논문은 삼변수 유리 함수의 경우에 대해 텔레스코퍼 존재에 대한 필요 및 충분 조건을 제공하며, 기존의 이원 함수 결과를 일반화한다.
• 핵심 예시를 통해 $ f = 1/(x+y+z^2) $ 는 적절하지 않지만 여전히 텔레스코퍼를 가짐을 보여주며, 이는 이원 함수의 경우에 존재하지 않는 현상이다.
• 감소 과정은 일반화된 부분분수 분해와 이동 등가성 테스트에 의존하며, 후자는 [17, 19, 20]에서 알려진 알고리즘으로 해결 가능하다.
• 이 방법을 통해 삼변수 유리 함수에 대한 지일버거 알고리즘의 정지 여부를 알고리즘적으로 탐지할 수 있다.
• 이러한 클래스에 대해 존재 문제는 이제 결정 가능해졌으며, 최근 해결된 이원 합계 가능성 문제에 기반한다.