<p>A <i>code</i> <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({\mathcal {C}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation> is a subset of the vertex set of a Hamming graph <i>H</i>(<i>n</i>,&#xa0;<i>q</i>), and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\mathcal {C}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation> is 2-<i>neighbour-transitive</i> if the automorphism group <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(G={{\,\textrm{Aut}\,}}({\mathcal {C}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>=</mo> <mrow> <mspace width="0.166667em" /> <mtext>Aut</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">C</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> acts transitively on each of the sets <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({\mathcal {C}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({\mathcal {C}}_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">C</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({\mathcal {C}}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">C</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\({\mathcal {C}}_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">C</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\({\mathcal {C}}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">C</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> are the (non-empty) sets of vertices that are distances 1 and 2, respectively, (but no closer) to some element of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\({\mathcal {C}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation>. Suppose that <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\({\mathcal {C}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation> is a 2-neighbour-transitive code with minimum distance at least 5. For <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(q=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, all ‘minimal’ such <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\({\mathcal {C}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation> have been classified. Moreover, it has previously been shown that <i>q</i> must be a prime power, and a subgroup of the automorphism group of such a code induces a well-defined affine 2-transitive group action on the alphabet of the Hamming graph. The main results of this paper are to show that this affine 2-transitive group must be a subgroup of <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\textrm{A}\Gamma \textrm{L}_1(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>A</mtext> <mi mathvariant="normal">Γ</mi> <msub> <mtext>L</mtext> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and to provide a number of infinite families of examples of such codes. These examples are described via polynomial algebras related to representations of certain classical groups.</p>

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

Alphabet-affine 2-neighbour-transitive codes

  • Daniel R. Hawtin

摘要

A code \({\mathcal {C}}\) C is a subset of the vertex set of a Hamming graph H(nq), and \({\mathcal {C}}\) C is 2-neighbour-transitive if the automorphism group \(G={{\,\textrm{Aut}\,}}({\mathcal {C}})\) G = Aut ( C ) acts transitively on each of the sets \({\mathcal {C}}\) C , \({\mathcal {C}}_1\) C 1 and \({\mathcal {C}}_2\) C 2 , where \({\mathcal {C}}_1\) C 1 and \({\mathcal {C}}_2\) C 2 are the (non-empty) sets of vertices that are distances 1 and 2, respectively, (but no closer) to some element of \({\mathcal {C}}\) C . Suppose that \({\mathcal {C}}\) C is a 2-neighbour-transitive code with minimum distance at least 5. For \(q=2\) q = 2 , all ‘minimal’ such \({\mathcal {C}}\) C have been classified. Moreover, it has previously been shown that q must be a prime power, and a subgroup of the automorphism group of such a code induces a well-defined affine 2-transitive group action on the alphabet of the Hamming graph. The main results of this paper are to show that this affine 2-transitive group must be a subgroup of \(\textrm{A}\Gamma \textrm{L}_1(q)\) A Γ L 1 ( q ) and to provide a number of infinite families of examples of such codes. These examples are described via polynomial algebras related to representations of certain classical groups.