[논문 리뷰] Hypercubes, Leonard triples and the anticommutator spin algebra

George M. F. Brown|arXiv (Cornell University)|2013. 01. 04.

Finite Group Theory Research참고 문헌 5인용 수 4

한 줄 요약

이 논문은 초입방체 $Q_D$ 와 그 반대점 몫 $ ilde{Q}_D$ 의 Terwilliger 대수와 반대칭 스핀 대수 $ olimits\mathcal{A}$ 의 유한차원 기약 모듈 간의 대응을 수립한다. 이는 기약 모듈 위에서 인접행렬, 쌍대 인접행렬, 가중 인접행렬의 작용이 Bannai/Ito 유형의 완전 이분형 또는 거의 이분형 Leonard 삼중체를 형성하며, 스핀 대수의 대수적 구조와 초입방체 기하학을 통해 이러한 삼중체의 완전한 분류를 제공한다.

ABSTRACT

This paper is about three classes of objects: Leonard triples, distance-regular graphs and the modules for the anticommutator spin algebra. Let $\K$ denote an algebraically closed field of characteristic zero. Let $V$ denote a vector space over $\K$ with finite positive dimension. A Leonard triple on $V$ is an ordered triple of linear transformations in $\mathrm{End}(V)$ such that for each of these transformations there exists a basis for $V$ with respect to which the matrix representing that transformation is diagonal and the matrices representing the other two transformations are irreducible tridiagonal. The Leonard triples of interest to us are said to be totally B/AB and of Bannai/Ito type. Totally B/AB Leonard triples of Bannai/Ito type arise in conjunction with the anticommutator spin algebra $\mathcal{A}$, the unital associative $\K$-algebra defined by generators $x,y,z$ and relations\[xy+yx=2z,\qquad yz+zy=2x,\qquad zx+xz=2y.\] Let $D\geq0$ denote an integer, let $Q_{D}$ denote the hypercube of diameter $D$ and let $ ilde{Q}_{D}$ denote the antipodal quotient. Let $T$ (resp. $ ilde{T}$) denote the Terwilliger algebra for $Q_{D}$ (resp. $ ilde{Q}_{D}$). We obtain the following. When $D$ is even (resp. odd), we show that there exists a unique $\mathcal{A}$-module structure on $Q_{D}$ (resp. $ ilde{Q}_{D}$) such that $x,y$ act as the adjacency and dual adjacency matrices respectively. We classify the resulting irreducible $\mathcal{A}$-modules up to isomorphism. We introduce weighted adjacency matrices for $Q_{D}$, $ ilde{Q}_{D}$. When $D$ is even (resp. odd) we show that actions of the adjacency, dual adjacency and weighted adjacency matrices for $Q_{D}$ (resp. $ ilde{Q}_{D}$) on any irreducible $T$-module (resp. $ ilde{T}$-module) form a totally bipartite (resp. almost bipartite) Leonard triple of Bannai/Ito type and classify the Leonard triple up to isomorphism.

연구 동기 및 목표

• 초입방체 $Q_D$ 와 그 반대점 몫 $ olimits\tilde{Q}_D$ 의 Terwilliger 대수와 반대칭 스핀 대수 $ olimits\mathcal{A}$ 의 유한차원 기약 모듈 간의 대응을 수립한다.
• 표준 모듈 $Q_D$ 와 $ olimits\tilde{Q}_D$ 에서 유도된 $ olimits\mathcal{A}$-기약 모듈을 인접행렬과 쌍대 인접행렬에 의한 $ olimits\mathcal{A}$-모듈 구조로 분류한다.
• 초입방체 $Q_D$ 와 반대점 몫 $ olimits\tilde{Q}_D$ 에 대해 가중 인접행렬 $ olimits\mathbf{C}$ 와 $ olimits\tilde{\mathbf{C}}$ 를 정의하고, 그들이 기약 모듈 위에서 Leonard 삼중체를 생성하는 역할을 분석한다.
• 기약 $T$-또는 $ olimits\tilde{T}$-모듈 위에서 인접행렬, 쌍대 인접행렬, 가중 인접행렬의 작용이 Bannai/Ito 유형의 완전 이분형 또는 거의 이분형 Leonard 삼중체를 형성함을 증명한다.
• 이러한 Leonard 삼중체를 모듈의 기준점과 차원 $D$ 를 기반으로 동형사상에 대해 분류하고, 정규화 및 지름을 명시한다.

제안 방법

• 특성 0인 대수적으로 닫힌 체 $ olimits\mathbb{K}$ 위에서 생성되는 반대칭 스핀 대수 $ olimits\mathcal{A}$ 를 정의한다. 생성자는 $x,y,z$ 로, 관계식은 $xy+yx=2z$, $yz+zy=2x$, $zx+xz=2y$ 이다.
• 짝수 $D$ 에 대해 $Q_D$ 의 표준 모듈, 또는 홀수 $D$ 에 대해 $ olimits\tilde{Q}_D$ 의 표준 모듈에 대해 $ olimits\mathcal{A}$-모듈 구조를 구성한다. 이때 $x$ 와 $y$ 는 각각 인접행렬과 쌍대 인접행렬로 작용한다.
• 초입방체 $Q_D$ 와 반대점 몫 $ olimits\tilde{Q}_D$ 에 대해 가중 인접행렬 $ olimits\mathbf{C}$ 와 $ olimits\tilde{\mathbf{C}}$ 를 도입한다. 행렬 원소는 고정된 정점 $ olimits\mathbf{x}$ 로부터의 거리의 최솟값 $i$ 에 대해 $(-1)^i$ 로 정의된다.
• 기본 $ olimits\mathcal{A}$-모듈 구조와 대수적 관계를 이용하여 $ olimits\mathbf{C}$ 와 $ olimits\tilde{\mathbf{C}}$ 가 각각 Terwilliger 대수 $T$ 와 $ olimits\tilde{T}$ 에 속함을 보인다.
• 기본 $T$-모듈 위에서 $ olimits\mathbf{A}, \mathbf{B}, \mathbf{C}$ 의 작용이 Bannai/Ito 유형의 완전 이분형 Leonard 삼중체를 형성함을 증명하고, 마찬가지로 $ olimits\tilde{\mathbf{A}}, \tilde{\mathbf{B}}, \tilde{\mathbf{C}}$ 가 기약 $ olimits\tilde{T}$-모듈 위에서 작용할 경우에도 동일한 성질을 가짐을 보인다.
• 기본점 $r$ 과 $D$ 또는 $ olimits\mathcal{D}$ 의 기호를 이용하여 정규화와 지름을 통해 유도된 Leonard 삼중체를 분류한다.

실험 결과

연구 질문

• RQ1 초입방체 $Q_D$ 또는 반대점 몫 $ olimits\tilde{Q}_D$ 에서의 인접행렬, 쌍대 인접행렬, 가중 인접행렬이 어떻게 Leonard 삼중체를 유도하는가?
• RQ2 스핀 대수의 관계에 의해 정의된 $ olimits\mathcal{A}$-모듈 구조 하에서, $Q_D$ 와 $ olimits\tilde{Q}_D$ 의 표준 모듈에서 유도된 기약 $ olimits\mathcal{A}$-모듈의 구조는 어떠한가?
• RQ3 유도된 Leonard 삼중체는 그 유형(이분형 또는 거의 이분형), 정규화, 지름 측면에서 어떻게 분류되는가?
• RQ4 가중 인접행렬은 Terwilliger 대수의 기약 모듈 위에서 완전 이분형 또는 거의 이분형 Leonard 삼중체를 생성하는 데 어떤 역할을 하는가?
• RQ5 차원 $D$ 의 기호가 모듈 구조와 유도된 Leonard 삼중체의 분류에 어떤 영향을 미치는가?

주요 결과

• 짝수 $D$ 에 대해, $Q_D$ 의 표준 모듈에 대해 $x,y$ 가 각각 인접행렬과 쌍대 인접행렬로 작용하는 유일한 $ olimits\mathcal{A}$-모듈 구조가 존재하며, 이로부터 유도된 기약 $ olimits\mathcal{A}$-모듈은 동형사상에 대해 분류된다.
• 홀수 $D$ 에 대해, $ olimits\tilde{Q}_D$ 의 표준 모듈에 대해 $x,y$ 가 각각 인접행렬과 쌍대 인접행렬로 작용하는 유일한 $ olimits\mathcal{A}$-모듈 구조가 존재하며, 이로부터 유도된 기약 $ olimits\mathcal{A}$-모듈 역시 동일하게 분류된다.
• 초입방체 $Q_D$ 의 가중 인접행렬 $ olimits\mathbf{C}$ 는 인접한 정점에서 원소가 $(-1)^i$ 로 정의되며, $i$ 는 고정된 정점 $ olimits\mathbf{x}$ 로부터의 거리의 최솟값이다. $ olimits\mathbf{C}$ 는 Terwilliger 대수 $T$ 에 속한다.
• $\mathbf{A}, \mathbf{B}, \mathbf{C}$ 가 임의의 기약 $T$-모듈 위에서 작용할 경우 Bannai/Ito 유형의 완전 이분형 Leonard 삼중체를 형성하며, 기준점이 $r$ 인 모듈에 대해 지름은 $D - 2r$ 으로 정규화된다.
• $\tilde{\mathbf{A}}, \tilde{\mathbf{B}}, \tilde{\mathbf{C}}$ 가 임의의 기약 $\tilde{T}$-모듈 위에서 작용할 경우 Bannai/Ito 유형의 완전 거의 이분형 Leonard 삼중체를 형성하며, 이 삼중체는 $n$-정규화되며 지름은 $\mathcal{D} - r$ 이다. 여기서 $n$ 은 $r$ 과 $ olimits\mathcal{D}$ 의 기호에 따라 달라진다.
• 유도된 Leonard 삼중체의 분류는 완전하다: 모든 기약 $T$-또는 $ olimits\tilde{T}$-모듈은 고유한 완전 이분형 또는 거의 이분형 Bannai/Ito 유형의 Leonard 삼중체를 유도하며, 이는 모듈의 기준점과 차원 $D$ 또는 $ olimits\mathcal{D}$ 에 의해 완전히 특징지어진다.