<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({\mathbb {K}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">K</mi> </math></EquationSource> </InlineEquation> denote a field and <i>d</i> be a positive integer. Let <i>V</i> be a vector space of dimension <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(d+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> over <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({\mathbb {K}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">K</mi> </math></EquationSource> </InlineEquation>. A <i>Leonard pair</i> on <i>V</i> is an ordered pair <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\((A, A^*)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo>,</mo> <msup> <mi>A</mi> <mo>∗</mo> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of diagonalizable linear maps on <i>V</i>, with the property that each acts on an eigenbasis for the other one in an irreducible tridiagonal fashion. In this paper, we introduce the family of doubly almost-bipartite (DAB) Leonard pairs, defined as follows. Let <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\((A,A^*)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo>,</mo> <msup> <mi>A</mi> <mo>∗</mo> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> denote a Leonard pair on <i>V</i>. Let <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\{v^*_i\}_{i=0}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mo stretchy="false">{</mo> <msubsup> <mi>v</mi> <mi>i</mi> <mo>∗</mo> </msubsup> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>i</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>d</mi> </msubsup> </math></EquationSource> </InlineEquation>, denote an ordered eigenbasis for <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(A^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>A</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation> on which <i>A</i> acts in an irreducible tridiagonal fashion. For <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(0 \le i \le d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>i</mi> <mo>≤</mo> <mi>d</mi> </mrow> </math></EquationSource> </InlineEquation>, let <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(E^*_i : V \rightarrow V\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>E</mi> <mi>i</mi> <mo>∗</mo> </msubsup> <mo>:</mo> <mi>V</mi> <mo stretchy="false">→</mo> <mi>V</mi> </mrow> </math></EquationSource> </InlineEquation> be the <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\({\mathbb {K}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">K</mi> </math></EquationSource> </InlineEquation>-linear map such that <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(E^*_i v^*_i= v^*_i\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>E</mi> <mi>i</mi> <mo>∗</mo> </msubsup> <msubsup> <mi>v</mi> <mi>i</mi> <mo>∗</mo> </msubsup> <mo>=</mo> <msubsup> <mi>v</mi> <mi>i</mi> <mo>∗</mo> </msubsup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(E^*_i v^*_j = 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>E</mi> <mi>i</mi> <mo>∗</mo> </msubsup> <msubsup> <mi>v</mi> <mi>j</mi> <mo>∗</mo> </msubsup> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> when <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(j \not =i\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>j</mi> <mo>≠</mo> <mi>i</mi> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\((0 \le j \le d)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>≤</mo> <mi>j</mi> <mo>≤</mo> <mi>d</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We say <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\((A,A^*)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo>,</mo> <msup> <mi>A</mi> <mo>∗</mo> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is <i>doubly almost-bipartite</i> (DAB) whenever <i>A</i> satisfies <Equation ID="Equ9"> <EquationSource Format="TEX">\(E^*_i A E^*_i=0 \quad \text{ if } \text{ and } \text{ only } \text{ if } \quad 1 \le i \le d-1.\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msubsup> <mi>E</mi> <mi>i</mi> <mo>∗</mo> </msubsup> <mi>A</mi> <msubsup> <mi>E</mi> <mi>i</mi> <mo>∗</mo> </msubsup> <mo>=</mo> <mn>0</mn> <mspace width="1em" /> <mspace width="0.333333em" /> <mtext>if</mtext> <mspace width="0.333333em" /> <mspace width="0.333333em" /> <mtext>and</mtext> <mspace width="0.333333em" /> <mspace width="0.333333em" /> <mtext>only</mtext> <mspace width="0.333333em" /> <mspace width="0.333333em" /> <mtext>if</mtext> <mspace width="0.333333em" /> <mspace width="1em" /> <mn>1</mn> <mo>≤</mo> <mi>i</mi> <mo>≤</mo> <mi>d</mi> <mo>-</mo> <mn>1</mn> <mo>.</mo> </mrow> </math></EquationSource> </Equation>In particular, both <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(E^*_0 A E^*_0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>E</mi> <mn>0</mn> <mo>∗</mo> </msubsup> <mi>A</mi> <msubsup> <mi>E</mi> <mn>0</mn> <mo>∗</mo> </msubsup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(E^*_d A E^*_d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>E</mi> <mi>d</mi> <mo>∗</mo> </msubsup> <mi>A</mi> <msubsup> <mi>E</mi> <mi>d</mi> <mo>∗</mo> </msubsup> </mrow> </math></EquationSource> </InlineEquation> are assumed to be non-zero. Our main result is the classification (up to isomorphism) of the DAB Leonard pairs with <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(d \ge 4.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>≥</mo> <mn>4</mn> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Our work is situated within the framework of Terwilliger’s celebrated classification of Leonard pairs, and establishes that DAB Leonard pairs are exactly of the <i>q</i>-Racah, <i>q</i>-Hahn, <i>q</i>-Krawtchouk, or Bannai/Ito type.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Doubly almost bipartite Leonard pairs

  • John S. Caughman,
  • Shuichi Masuda

摘要

Let \({\mathbb {K}}\) K denote a field and d be a positive integer. Let V be a vector space of dimension \(d+1\) d + 1 over \({\mathbb {K}}\) K . A Leonard pair on V is an ordered pair \((A, A^*)\) ( A , A ) of diagonalizable linear maps on V, with the property that each acts on an eigenbasis for the other one in an irreducible tridiagonal fashion. In this paper, we introduce the family of doubly almost-bipartite (DAB) Leonard pairs, defined as follows. Let \((A,A^*)\) ( A , A ) denote a Leonard pair on V. Let \(\{v^*_i\}_{i=0}^d\) { v i } i = 0 d , denote an ordered eigenbasis for \(A^*\) A on which A acts in an irreducible tridiagonal fashion. For \(0 \le i \le d\) 0 i d , let \(E^*_i : V \rightarrow V\) E i : V V be the \({\mathbb {K}}\) K -linear map such that \(E^*_i v^*_i= v^*_i\) E i v i = v i and \(E^*_i v^*_j = 0\) E i v j = 0 when \(j \not =i\) j i \((0 \le j \le d)\) ( 0 j d ) . We say \((A,A^*)\) ( A , A ) is doubly almost-bipartite (DAB) whenever A satisfies \(E^*_i A E^*_i=0 \quad \text{ if } \text{ and } \text{ only } \text{ if } \quad 1 \le i \le d-1.\) E i A E i = 0 if and only if 1 i d - 1 . In particular, both \(E^*_0 A E^*_0\) E 0 A E 0 and \(E^*_d A E^*_d\) E d A E d are assumed to be non-zero. Our main result is the classification (up to isomorphism) of the DAB Leonard pairs with \(d \ge 4.\) d 4 . Our work is situated within the framework of Terwilliger’s celebrated classification of Leonard pairs, and establishes that DAB Leonard pairs are exactly of the q-Racah, q-Hahn, q-Krawtchouk, or Bannai/Ito type.