[논문 리뷰] Bivariate $P$-polynomial association schemes

Pierre-Antoine Bernard, Nicolas Crampé외 3명|arXiv (Cornell University)|2022. 12. 21.

Coding theory and cryptography참고 문헌 28인용 수 4

한 줄 요약

이 논문은 이변수 다항식을 사용하여 고전적 $P$-다항식 체계를 일반화함으로써 유형 $(\alpha,\beta)$의 이변수 $P$-다항식 체계를 도입한다. 이 체계는 특정 교차 수 제약 조건과 동치임을 증명하며, 직접 곱, 대칭화된 체계, 24차체, 비이진 존슨 체계, 그리고 등방성/감쇠 공간에서 유래한 체계를 포함한 기존의 고차수 체계들이 이 범주에 속함을 보여준다. 이와 유사한 $Q$-다항식 변형도 정의된다.

ABSTRACT

Bivariate P-polynomial association scheme of type $(α,β)$ are defined as a generalization of the P-polynomial association schemes. This generalization is shown to be equivalent to a set of conditions on the intersection parameters. A number of known higher rank association schemes are seen to belong to this broad class. Bivariate Q-polynomial association schemes are similarly defined.

연구 동기 및 목표

• 고전적 $P$-다항식 체계의 개념을 일변수 다항식에서 이변수 다항식으로 일반화하는 것.
• 단일 순서 구조를 사용하여 유형 frac{(\alpha,\beta)}의 이변수 $P$-다항식 체계를 정의하고 특성화하는 것.
• 이변수 $P$-다항식 성질과 특정 교차 수 제약 조건 사이의 동치성을 확립하는 것.
• 프레임워크를 $Q$-다항식 체계로 확장하고, 이들이 알려진 체계들에 존재함을 보여주는 것.
• 직교 다항식, 하위구성 대수, 다변수 일반화 가능성과의 연결 고리 탐색

제안 방법

• 다항식에 대해 전체 순서 deg-lex를 정의하고, 매개변수 $0 \leq \alpha \leq 1$, $0 \leq \beta < 1$를 가진 부분 순서 $\preceq_{(\alpha,\beta)}$를 도입한다.
• 이변수 다항식 $v_i$가 $\preceq_{(\alpha,\beta)}$ 순서에서 차수 $i$를 가지며, 인접 행렬이 $A_i = v_i(A_1, A_2)$를 만족하는 유형 $(\alpha,\beta)$의 이변수 $P$-다항식 체계를 정의한다.
• 교차 수 제약 조건을 이용해 이변수 다항식 $v_{ij}$에 대한 재귀 관계를 유도하고, 선형 재귀 시스템을 도출한다.
• 체계 매개변수로부터 유도된 인접 행렬 $A_{10}$과 $A_{01}$의 고유값 $\theta_{ij}$와 $\mu_{ij}$를 사용하여 보즈–메스너 대수의 프로젝터를 구성한다.
• 쌍대 고유값을 사용하여 유사하게 이변수 $Q$-다항식 체계를 정의하고, 대칭화 및 직접 곱 구성 방법을 통해 성질을 검증한다.
• 다항식 $v_{ij}$와 그 쌍대 $v^\star_{mn}$ 사이의 윌슨 유형 이중성 관계를 확립하며, $P$-다항식과 $Q$-다항식의 구조를 연결한다.

실험 결과

연구 질문

• RQ1 고전적 $P$-다항식 체계의 개념을 일변수에서 이변수 다항식으로 일반화하면서도 구조적 일관성을 유지할 수 있는가?
• RQ2 유형 $(\alpha,\beta)$의 이변수 $P$-다항식 체계를 특성화하는 교차 수에 대한 제약 조건은 무엇인가?
• RQ3 24차체나 비이진 존슨 체계와 같은 알려진 고차수 체계 중 이변수 $P$-다항식 성질을 만족하는 것은 무엇인가?
• RQ4 $Q$-다항식 성질을 유사하게 이변수 환경으로 일반화할 수 있으며, 어떤 체계가 이를 만족하는가?
• RQ5 이변수 $P$-다항식 및 $Q$-다항식 체계에서 나타나는 대수적 구조, 예를 들어 하위구성 대수나 일반화된 레너드 쌍은 무엇인가?

주요 결과

• 유형 $(\alpha,\beta)$의 이변수 $P$-다항식 체계는 매개변수 $k, b, c, \theta, \tau$를 포함한 다항식 $v_{ij}$에 대한 재귀 관계 시스템과 동치이다.
• 직접 곱 체계와 대칭화된 체계, 24차체, 비이진 존슨 체계, 등방성 또는 감쇠 공간에서 유래한 체계는 모두 이변수 $P$-다항식 체계를 이룬다.
• P-다항식 체계의 대칭화는 이변수 $P$-다항식 및 $Q$-다항식 체계를 생성하며, 다항식 $v_{ij}$와 $v^\star_{mn}$ 사이에 명시적인 이중성 관계가 존재한다.
• $A_{10}$과 $A_{01}$의 고유값 $\theta_{ij}$와 $\mu_{ij}$는 각각 $\theta_{ij} = (N-i-j)k + i\theta + j\tau$ 및 $\mu_{ij} = (N-i-j)\frac{kb}{c} - i(\theta+1) - j(\tau+1)$로 주어진다.
• 윌슨 유형 이중성이 성립한다: $\frac{i!j!(N-i-j)!}{k^i (bk/c)^j} v_{ij}(\theta_{mn}, \mu_{mn}) = \frac{m!n!(N-m-n)!}{(k^\star)^m (b^\star k^\star / c^\star)^n} v^\star_{mn}(\theta^\star_{ij}, \mu^\star_{ij})$, 이는 이중성의 확인을 보여준다.
• 이러한 체계의 하위구성 대수는 네 개의 원소로 생성되며, 삼중대각 관계와 레너드 쌍의 고차수 일반화 가능성을 시사한다.