<p>We consider a type of distance-regular graph <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Gamma =(X, \mathcal {R})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi mathvariant="script">R</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> called a bilinear forms graph. We assume that the diameter <i>D</i> of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation> is at least 3. Fix adjacent vertices <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(x,y \in X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>∈</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation>. In our first main result, we introduce an equitable partition of <i>X</i> that has <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(6D-2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>6</mn> <mi>D</mi> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> subsets and the following feature: for every subset in the equitable partition, the vertices in the subset are equidistant to <i>x</i> and equidistant to <i>y</i>. This equitable partition is called the (<i>x</i>,&#xa0;<i>y</i>)-partition of <i>X</i>. By definition, the subconstituent algebra <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(T=T(x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>=</mo> <mi>T</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is generated by the Bose-Mesner algebra of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation> and the dual Bose-Mesner algebra of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation> with respect to <i>x</i>. As we will see, for the (<i>x</i>,&#xa0;<i>y</i>)-partition of <i>X</i> the characteristic vectors of the subsets form a basis for a <i>T</i>-module <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(U=U(x,y)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>U</mi> <mo>=</mo> <mi>U</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. In our second main result, we decompose <i>U</i> into an orthogonal direct sum of irreducible <i>T</i>-modules. This sum has five summands: the primary <i>T</i>-module and four irreducible <i>T</i>-modules that have endpoint one. We show that every irreducible <i>T</i>-module with endpoint one is isomorphic to exactly one of the nonprimary summands.</p>

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

An equitable partition for the distance-regular graph of the bilinear forms

  • Paul Terwilliger,
  • Jason Williford

摘要

We consider a type of distance-regular graph \(\Gamma =(X, \mathcal {R})\) Γ = ( X , R ) called a bilinear forms graph. We assume that the diameter D of \(\Gamma \) Γ is at least 3. Fix adjacent vertices \(x,y \in X\) x , y X . In our first main result, we introduce an equitable partition of X that has \(6D-2\) 6 D - 2 subsets and the following feature: for every subset in the equitable partition, the vertices in the subset are equidistant to x and equidistant to y. This equitable partition is called the (xy)-partition of X. By definition, the subconstituent algebra \(T=T(x)\) T = T ( x ) is generated by the Bose-Mesner algebra of \(\Gamma \) Γ and the dual Bose-Mesner algebra of \(\Gamma \) Γ with respect to x. As we will see, for the (xy)-partition of X the characteristic vectors of the subsets form a basis for a T-module \(U=U(x,y)\) U = U ( x , y ) . In our second main result, we decompose U into an orthogonal direct sum of irreducible T-modules. This sum has five summands: the primary T-module and four irreducible T-modules that have endpoint one. We show that every irreducible T-module with endpoint one is isomorphic to exactly one of the nonprimary summands.