[논문 리뷰] An algorithm to recognize regular singular Mahler systems

Colin Faverjon, Marina Poulet|arXiv (Cornell University)|2021. 02. 22.

semigroups and automata theory참고 문헌 23인용 수 1

한 줄 요약

이 논문은 0에서 매력적 시스템이 정칙 특이성을 갖는지 결정하는 최초의 알고리즘을 제시하며, 매력적 시스템 이론에서 핵심적인 격차를 메운다. 정칙 특이 시스템을 해의 유한차원 부분공간을 통해 특성화하고 게이지 변환 기준을 사용함으로써, 상수 시스템과의 동치성을 결정하는 알고리즘이 제안되며, 이는 슈레싱너의 조밀성 정리의 응용을 가능하게 하고, 미분 및 (q-)차분 시스템에 대한 고전 결과를 매력적 설정으로 확장한다.

ABSTRACT

This paper is devoted to the study of the analytic properties of Mahler systems at 0. We give an effective characterisation of Mahler systems that are regular singular at 0, that is, systems which are equivalent to constant ones. Similar characterisations already exist for differential and (q-)difference systems but they do not apply in the Mahler case. This work fills in the gap by giving an algorithm which decides whether or not a Mahler system is regular singular at 0. In particular, it gives an effective characterisation of Mahler systems to which an analog of Schlesinger's density theorem applies.

연구 동기 및 목표

• 매력적 시스템의 특이성 이론에서 기존의 미분 및 (q-)차분 시스템 알고리즘이 적용되지 않는 격차를 메우기 위해.
• 0에서 정칙 특이인 매력적 시스템에 대한 효과적인 특성화를 제공하기 위해, 즉 푸앵카르 세리에스의 체에서 게이지 변환을 통해 상수 시스템과 동치가 되는 시스템을 의미한다.
• 정칙 특이 조건이 성립할 때 슈레싱너의 조밀성 정리를 매력적 시스템에 적용할 수 있도록 하기 위해.
• 해의 공간 차원성과 행렬 구조를 바탕으로 정칙 특이성을 결정하는 구체적이고 구현 가능한 알고리즘을 개발하기 위해.
• 매력적 시스템 해의 해석적 행동을 파악하기 위해 푸앵카르 세리에스 체로 제한함으로써 중간 성장성과 분기된 유수함수 성질을 유지하기 위해.

제안 방법

• 정칙 특이 매력적 시스템을 K-동치인 상수 시스템으로 정의한다. 여기서 K는 대수적 계수를 가진 푸앵카르 세리에스의 체이다.
• 매력 연산자 φ_p의 작용을 이용하여 Hahn 세리에스 H에서 φ_p(Y) = AY의 해에 대한 유한차원 부분공간 X_d를 구성한다.
• 각 d ≥ 1에 대해, 값매김이 적어도 d 이상인 해의 공간 X_d의 차원을 계산한다. 정칙 특이 시스템은 dim X_d가 d = 1에서 안정화될 때 특성화된다.
• 증가하는 d에 대해 X_d의 차원을 계산하는 알고리즘을 적용하여 안정화되거나 한계에 도달할 때까지 진행하며, d = 1에서 안정화되면 정칙 특이성으로 간주한다.
• X_1의 해 기저를 사용하여 φ_p(Ψ)^{-1} A Ψ가 상수인 게이지 변환 Ψ ∈ GL_m(K)를 적용한다.
• 해가 K에 속할 경우 분기된 유수함수임을 알 수 있으며(랜데의 정리에 의해), 이는 해석적 제어를 보장한다.

실험 결과

연구 질문

• RQ1 기존 방법이 매력 연산자에 대해 실패하는 바에 비해, 주어진 매력적 시스템이 0에서 정칙 특이성을 갖는지를 결정할 수 있는 효과적인 알고리즘을 구성할 수 있는가?
• RQ2 해의 공간 구조에 기반한 정확한 대수적 및 해석적 특성화로서, 정칙 특이 매력적 시스템의 특성은 무엇인가?
• RQ3 슈레싱너의 조밀성 정리는 어떤 조건에서 매력적 시스템으로 확장될 수 있으며, 이를 알고리즘적으로 어떻게 결정할 수 있는가?
• RQ4 행렬 A의 역행렬에 대한 시스템의 역행렬 A^{-1}이 정칙 특이성을 유지하는가? 그리고 A와 A^{-1}이 모두 정칙 특이 시스템을 유도하는 행렬 A에 대한 특성화는 무엇인가?
• RQ5 매력 연산자 φ_p의 선택에 따라 정칙 특이성은 어떻게 달라지며, 고정된 A에 대해 모든 p 또는 유한한 p에 대해 정칙 특이성이 성립하는가?

주요 결과

• 알고리즘은 증가하는 d에 대해 X_d의 차원을 계산함으로써 정칙 특이성을 결정한다. dim X_d가 d = 1에서 안정화되면 시스템은 정칙 특이하다.
• 예제 5.1의 시스템은 0에서 정칙 특이하며, dim X_2 = 2이고 관련 게이지 변환 행렬 Ψ는 φ_3(Ψ)^{-1} A Ψ = I_2를 만족한다.
• 루딘-샤비에 순열과 관련된 매력적 시스템은 정칙 특이가 아니며, 알고리즘 2는 d = 3과 dim X_3 = 1을 반환하여 알고리즘 3이 'False'를 반환한다.
• строго 푸셔안 시스템(0에서 해석적이고 A(0)가 가역인 경우)은 항상 정칙 특이하지만, 그 역은 성립하지 않으며, 이는 정칙 특이성이 더 약한 조건임을 보여준다.
• 정칙 특이 매력적 시스템의 역행렬은 반드시 정칙 특이성이 아니며, 5.2절의 반례로 이를 보였다.
• 정칙 특이성은 p의 변화에 대해 보존되지 않는다. p = 3일 때 정칙 특이인 시스템이 p = 2 또는 다른 값일 때는 성립하지 않을 수 있으며, 이는 p에 대해 비균일한 의존성을 시사한다.