<p>The metric space <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathcal {H}_{q}(n,w)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">H</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is the set of all words of length <i>n</i> with weight <i>w</i> over the alphabet <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathbb {Z}_{q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Z</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation>, under the Hamming distance metric. A <i>q</i>-ary constant-weight code, as a nonempty subset of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {H}_{q}(n,w)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">H</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, has always been a fundamental topic in coding theory. This paper investigates the tiling problem of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathcal {H}_{q}(n,w)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">H</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with optimal <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\((n,d,w)_{q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>d</mi> <mo>,</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation>-codes, simply denoted by <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\textrm{TOC}_{q}(n,d,w)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>TOC</mtext> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>d</mi> <mo>,</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, meaning a partition of <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathcal {H}_{q}(n,w)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">H</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> into mutually disjoint optimal <i>q</i>-ary constant-weight codes with distance <i>d</i>. When the distance <i>d</i> is odd, we investigate large sets of generalized Steiner systems. When <i>d</i> is even, we define large sets of generalized maximum H-packings. We present several general construction approaches for generating <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\textrm{TOC}_{q}(n,d,w)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>TOC</mtext> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>d</mi> <mo>,</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>s via <i>t</i>-resolvable Steiner systems and almost-regular edge-colorings of complete hypergraphs. For the cases <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(d=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(d=2w\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>=</mo> <mn>2</mn> <mi>w</mi> </mrow> </math></EquationSource> </InlineEquation>, we completely resolve the existence problem of <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\textrm{TOC}_{q}(n,d,w)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>TOC</mtext> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>d</mi> <mo>,</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>s for all parameters <i>q</i>,&#xa0;<i>n</i> and <i>w</i>. Particularly, we pay attention to tilings for weight three. For binary case and weight three, the existence problem of <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\textrm{TOC}_{2}(n,d,3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>TOC</mtext> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>d</mi> <mo>,</mo> <mn>3</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>s is totally resolved. For specific alphabet size <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(q\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, we obtain many infinite families of <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\textrm{TOC}_{q}(n,d,3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>TOC</mtext> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>d</mi> <mo>,</mo> <mn>3</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>s for distances <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(d=3,4,5\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>=</mo> <mn>3</mn> <mo>,</mo> <mn>4</mn> <mo>,</mo> <mn>5</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Tilings of \(\mathcal {H}_{q}(n,w)\) with optimal \((n,d,w)_{q}\)-codes

  • Yuli Tan,
  • Junling Zhou

摘要

The metric space \(\mathcal {H}_{q}(n,w)\) H q ( n , w ) is the set of all words of length n with weight w over the alphabet \(\mathbb {Z}_{q}\) Z q , under the Hamming distance metric. A q-ary constant-weight code, as a nonempty subset of \(\mathcal {H}_{q}(n,w)\) H q ( n , w ) , has always been a fundamental topic in coding theory. This paper investigates the tiling problem of \(\mathcal {H}_{q}(n,w)\) H q ( n , w ) with optimal \((n,d,w)_{q}\) ( n , d , w ) q -codes, simply denoted by \(\textrm{TOC}_{q}(n,d,w)\) TOC q ( n , d , w ) , meaning a partition of \(\mathcal {H}_{q}(n,w)\) H q ( n , w ) into mutually disjoint optimal q-ary constant-weight codes with distance d. When the distance d is odd, we investigate large sets of generalized Steiner systems. When d is even, we define large sets of generalized maximum H-packings. We present several general construction approaches for generating \(\textrm{TOC}_{q}(n,d,w)\) TOC q ( n , d , w ) s via t-resolvable Steiner systems and almost-regular edge-colorings of complete hypergraphs. For the cases \(d=2\) d = 2 and \(d=2w\) d = 2 w , we completely resolve the existence problem of \(\textrm{TOC}_{q}(n,d,w)\) TOC q ( n , d , w ) s for all parameters qn and w. Particularly, we pay attention to tilings for weight three. For binary case and weight three, the existence problem of \(\textrm{TOC}_{2}(n,d,3)\) TOC 2 ( n , d , 3 ) s is totally resolved. For specific alphabet size \(q\ge 3\) q 3 , we obtain many infinite families of \(\textrm{TOC}_{q}(n,d,3)\) TOC q ( n , d , 3 ) s for distances \(d=3,4,5\) d = 3 , 4 , 5 .