[논문 리뷰] Linear discrete multitime multiple recurrence

Cristian Ghiu, Raluca Tuliga외 1명|arXiv (Cornell University)|2015. 06. 05.

Advanced Optimization Algorithms Research참고 문헌 9인용 수 4

한 줄 요약

이 논문은 기본 행렬 해법과 변환 기법을 사용하여 상수 계수를 가진 선형 이산 다시생성 다중 시간 반복 관계에 대한 존재성 및 유일성 정리를 수립한다. 계수 행렬의 가역성 조건 하에서 이러한 시스템이 유일한 해를 갖는다는 것을 증명하며, 일변수 반복 이론을 모노이드 위의 다변수 이산 동역학으로 일반화한다.

ABSTRACT

The multitime multiple recurrences are common in analysis of algorithms, computational biology, information theory, queueing theory, filters theory, statistical physics etc. The theoretical part about them is little or not known. That is why, the aim of our paper is to formulate and solve problems concerning nonautonomous multitime multiple recurrence equations. Among other things, we discuss in detail the cases of linear recurrences with constant coefficients, highlighting in particular the theorems of existence and uniqueness of solutions.

연구 동기 및 목표

• 계산 생물학 및 정보 이론 등의 분야에서 다중 시간 다중 반복에 대한 이론적 기초가 부족한 문제를 다루기 위해.
• 비자기성 다중 시간 다중 반복 방정식을 제시하고 해결하기 위해, 특히 상수 계수를 가진 선형 케이스에 초점을 맞추기 위해.
• 선형 이산 다중 시간 다중 반복의 해에 대한 존재성 및 유일성 정리를 수립하기 위해.
• 일변수 및 다변수 설정에서의 반복 관계를 통합적으로 서술하기 위해.

제안 방법

• ℤ^m 위의 부분순서 ≤를 사용하여 모노이드 위에서 일계수 다중 시간 다중 반복을 수립한다.
• 선형 동차 시스템에 대해 기본(전이) 행렬 χ(t, s)의 개념을 도입한다.
• 비동차 시스템을 덧셈 반복 형태로 변환하기 위해 변환 x̃(t) = χ(t, t₀)⁻¹x(t)를 적용한다.
• 공존성 조건을 도출하기 위해 교환 조건 Fα(t+1β, Fβ(t,x)) = Fβ(t+1α, Fα(t,x))를 사용한다.
• 행렬 역행렬과 순환 합산을 이용하여 일반 해를 x(t) = χ(t,t₀)x₀ + χ(t,t₀)∑C̃α,k(t)로 표현한다.
• 해의 존재성과 계수 행렬 및 비동차 항을 포함하는 조건 (9)의 호환성 조건 사이의 등가성을 확립한다.

실험 결과

연구 질문

• RQ1 상수 계수를 가진 선형 이산 다중 시간 다중 반복이 언제 유일한 해를 갖는가?
• RQ2 이러한 시스템에 대해 기본 행렬 해를 어떻게 구성할 수 있으며, 어떤 성질을 만족하는가?
• RQ3 비동차 반복을 덧셈 형태로 줄이기 위해 어떤 변환이 가능한가?
• RQ4 다중 시간 시스템에서 서로 다른 시간 방향 간의 일관성을 보장하기 위한 호환성 조건은 무엇인가?
• RQ5 해의 구조는 일변수에서 다변수 이산 반복으로 어떻게 일반화되는가?

주요 결과

• 모든 Aα(t)가 가역일 경우, 초기 조건 x(t₀) = x₀에 대해 시스템 x(t+1α) = Aα(t)x(t) + bα(t)는 유일한 해를 갖는다.
• 해는 x(t) = χ(t,t₀)x₀ + χ(t,t₀)∑C̃α,k(t)로 주어지며, 여기서 χ(t,t₀)는 기본 행렬이고 C̃α,k(t)는 변환된 비동차 항의 누적 합이다.
• 유일한 전역 해의 존재성은 Aα(t+1β)bβ(t) + bα(t+1β) = Aβ(t+1α)bα(t) + bβ(t+1α) 조건과 등가하다.
• 모든 t ≥ s에 대해 기본 행렬 χ(t,s)는 가역적이며, 초기값 문제의 잘 정의됨을 보장한다.
• 변환된 시스템 x̃(t+1α) = x̃(t) + Ãα(t)는 덧셈적이고 합산을 통해 해를 구할 수 있으며, 해는 x̃(t) = x₀ + ∑C̃α,k(t)로 주어진다.
• 이 이론은 고전적인 일변수 반복 결과를 ℤ^m 위의 부분순서 구조를 가진 다변수 이산 동역학으로 일반화한다.