[논문 리뷰] Cyclic tridiagonal pairs, higher order Onsager algebras and orthogonal polynomials

Pascal Baseilhac, Azat M. Gainutdinov외 1명|arXiv (Cornell University)|2016. 01. 01.

Algebraic structures and combinatorial models참고 문헌 38인용 수 1

한 줄 요약

이 논문은 순환성 N을 가진 고유부공간 위에서 작용하는 연산자들이 순환적으로 작용하는, 삼중대각형 쌍과 레오나르드 쌍의 일반화인 순환 삼중대각형 쌍을 도입한다. 이들에서 '분할 다항식'을 정의하여, q가 2N차 단위근일 때 q-온사거 대수의 부분대수로서 고차원 온사거 대수의 일반화를 생성한다. 이 틀은 레오나르드 대칭성의 범위를 초월하여 정규직교 다항식 이론을 확장하며, N=2일 때는 q=i일 때 덱스키 이동 연산자를 통한 명시적 실현이 가능하다.

ABSTRACT

The concept of cyclic tridiagonal pairs is introduced, and explicit examples are given. For a fairly general class of cyclic tridiagonal pairs with cyclicity N, we associate a pair of `divided polynomials'. The properties of this pair generalize the ones of tridiagonal pairs of Racah type. The algebra generated by the pair of divided polynomials is identified as a higher-order generalization of the Onsager algebra. It can be viewed as a subalgebra of the q-Onsager algebra for a proper specialization at q the primitive 2Nth root of unity. Orthogonal polynomials beyond the Leonard duality are revisited in light of this framework. In particular, certain second-order Dunkl shift operators provide a realization of the divided polynomials at N=2 or q=i.

연구 동기 및 목표

• 순환성 N을 가진 고유부공간 위에서 작용하는 연산자들이 순환적으로 작용하는 삼중대각형 쌍을 도입하여 삼중대각형 쌍과 레오나르드 쌍을 일반화한다.
• 이러한 쌍과 관련된 새로운 연산자 클래스인 '분할 다항식'을 정의하여 삼중대각형 대수의 구조를 일반화한다.
• 이 분할 다항식이 생성하는 대수를 고차원 온사거 대수의 일반화로 식별한다.
• 이 새로운 대수적 틀에 의해 레오나르드 대칭성의 범위를 초월한 정규직교 다항식 이론을 확장한다.
• 특히 N=2 및 q=i일 때, 명시적 행렬 실현과 q-온사거 대수와의 연결 고리를 제공한다.

제안 방법

• 유한차원 벡터 공간 V 위에서 두 선형 연산자 C와 C∗를 정의하여 순환 삼중대각형 쌍을 구성하며, 각각이 다른 쪽의 고유부공간 위에서 ZN-차수 구조를 가진 순환 방식으로 삼중대각형으로 작용하도록 한다.
• 순환 작용에서 유도된 다항식 연산자인 '분할 다항식'을 도입하고, 일반화된 교환관계를 만족시킨다.
• q가 2N차 원시 단위근일 때, 이러한 분할 다항식이 생성하는 대수가 q-온사거 대수의 부분대수와 동형임을 보인다.
• 예를 들어 부록에서 기술된 명시적 행렬 실현을 통해 순환 삼중대각형 쌍을 구성한다. 예를 들어 N=3일 때는 (C^2)^⊗3 위에서 W0와 W1가 작용한다.
• 표현 이론적 기법과 스펙트럼 분석을 활용하여 기약성과 순환성을 검증하여, 진정한 불변부공간이 존재하지 않음을 보장한다.
• N=2일 때는 두 번째 차수 덱스키 이동 연산자를 통해 분할 다항식을 실현하며, 기존의 정규직교 다항식 체계와 연결된다.

실험 결과

연구 질문

• RQ1 고유부공간의 순환성 N을 고려할 때 삼중대각형 쌍은 어떻게 일반화될 수 있는가?
• RQ2 이러한 순환 삼중대각형 쌍과 관련된 분할 다항식에서 도출되는 대수적 구조는 무엇인가?
• RQ3 이 구성은 루트 오브 유니티에서 q-온사거 대수와 어떻게 관련이 있는가?
• RQ4 레오나르드 대칭성의 범위를 초월한 정규직교 다항식은 이 틀 안에서 체계적으로 어떻게 통합될 수 있는가?
• RQ5 덱스키 이동 연산자는 N=2일 때 분할 다항식을 실현하는 데 어떤 역할을 하는가?

주요 결과

• 순환 삼중대각형 쌍은 C와 C∗가 ZN-순환 방식으로 고유부공간 위에서 삼중대각형으로 작용하며, 불변부공간이 존재하지 않는다.
• 이러한 쌍과 관련된 분할 다항식은 고차원 온사거 대수의 일반화로 생성되는 대수를 생성한다.
• q가 2N차 원시 단위근일 때 이 대수는 q-온사거 대수의 부분대수로 실현되며, N=3일 때 명시적 동형이 확인되었다.
• N=2일 때 분할 다항식은 두 번째 차수 덱스키 이동 연산자를 통해 실현되며, q=i 특수화와 연결된다.
• 명시적 행렬 실현이 구성되었으며, 예를 들어 (C^2)^⊗3 위에서 N=3일 때 W0와 W1가 차수 2, 3, 3인 세 개의 고유부공간 위에서 순환적으로 작용한다.
• 분할 다항식은 정리 4.3과 정리 4.4의 관계를 만족하며, 매개변수를 특수화할 경우 계수 β = -2와 일치한다.