<p>An <i>r</i>-block-coloring, simply <i>r</i>-coloring, of a Steiner triple system <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{STS}(v)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>STS</mtext> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a partition of the block set into <i>r</i> color classes, each color class being a partial parallel class. The chromatic index of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{STS}(v)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>STS</mtext> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, denoted by <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\chi ^{\prime }(v)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>χ</mi> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, is the smallest <i>r</i> for which an <i>r</i>-coloring of an <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{STS}(v)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>STS</mtext> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> exists. A minimum colorable Steiner triple system <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="73" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{mcSTS}(v)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>mcSTS</mtext> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is an <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{STS}(v)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>STS</mtext> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> admitting a <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\chi ^{\prime } (v)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>χ</mi> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-coloring. We generalize the notion of an <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq8.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{RDSQS}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>RDSQS</mtext> </math></EquationSource> </InlineEquation> (a Steiner quadruple system <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq9.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{SQS}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>SQS</mtext> </math></EquationSource> </InlineEquation> with resolvable derived designs) to <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq10.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{mcDSQS}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>mcDSQS</mtext> </math></EquationSource> </InlineEquation>, representing an <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq9.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{SQS}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>SQS</mtext> </math></EquationSource> </InlineEquation> whose derived design at every point is minimum colorable. This is motivated by an application in non-binary diameter perfect codes. The purpose of this paper is to display a few recursive constructions to produce <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq10.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{mcDSQS}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>mcDSQS</mtext> </math></EquationSource> </InlineEquation>s via Steiner systems <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{S}(3,K,v)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>S</mtext> <mo stretchy="false">(</mo> <mn>3</mn> <mo>,</mo> <mi>K</mi> <mo>,</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with certain properties. Among others, a construction for <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq10.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{mcDSQS}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>mcDSQS</mtext> </math></EquationSource> </InlineEquation>s is developed, which is also new even for <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq8.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{RDSQS}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>RDSQS</mtext> </math></EquationSource> </InlineEquation>s; special constructions concentrating only on <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="123" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{mcDSQS}(6n+2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>mcDSQS</mtext> <mo stretchy="false">(</mo> <mn>6</mn> <mi>n</mi> <mo>+</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>s are demonstrated as well. As the main results, both a new infinite family of <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq17.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="115" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{RDSQS}(6n+4)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>RDSQS</mtext> <mo stretchy="false">(</mo> <mn>6</mn> <mi>n</mi> <mo>+</mo> <mn>4</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>s and the first infinite family of <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="123" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{mcDSQS}(6n+2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>mcDSQS</mtext> <mo stretchy="false">(</mo> <mn>6</mn> <mi>n</mi> <mo>+</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>s are constructed. To be specific, an <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq19.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="136" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{RDSQS}(2^{2m+1}+2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>RDSQS</mtext> <mo stretchy="false">(</mo> <msup> <mn>2</mn> <mrow> <mn>2</mn> <mi>m</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <mo>+</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and an <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq20.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="144" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{mcDSQS}(2\cdot 9^{m}+2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>mcDSQS</mtext> <mo stretchy="false">(</mo> <mn>2</mn> <mo>·</mo> <msup> <mn>9</mn> <mi>m</mi> </msup> <mo>+</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> are proved to exist, in which the former class gives rise to a new infinite family of large sets of Kirkman triple systems. As applications, the smallest <i>q</i> is determined such that a diameter perfect constant-weight <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq21.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\((n,\frac{1}{4}\genfrac(){0.0pt}1{n}{3},6;4)_{q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mfrac> <mn>1</mn> <mn>4</mn> </mfrac> <mfenced close=")" open="("> <mstyle displaystyle="false" scriptlevel="0"> <mfrac linethickness="0.0pt"> <mi>n</mi> <mn>3</mn> </mfrac> </mstyle> </mfenced> <mo>,</mo> <mn>6</mn> <mo>;</mo> <mn>4</mn> <mo stretchy="false">)</mo> </mrow> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation> code exists where <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1677_Article_IEq22.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="341" /> </InlineMediaObject> <EquationSource Format="TEX">\(n \in \{ 2\cdot 9^{m}+2:m\ge 1\}\bigcup \{ 2^{2m+1}+2:m\ge 0\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>∈</mo> <mrow> <mo stretchy="false">{</mo> <mn>2</mn> <mo>·</mo> <msup> <mn>9</mn> <mi>m</mi> </msup> <mo>+</mo> <mn>2</mn> <mo>:</mo> <mi>m</mi> <mo>≥</mo> <mn>1</mn> <mo stretchy="false">}</mo> </mrow> <mo>⋃</mo> <mrow> <mo stretchy="false">{</mo> <msup> <mn>2</mn> <mrow> <mn>2</mn> <mi>m</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <mo>+</mo> <mn>2</mn> <mo>:</mo> <mi>m</mi> <mo>≥</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Steiner quadruple systems with minimum colorable derived designs: constructions and applications

  • Yuli Tan,
  • Junling Zhou

摘要

An r-block-coloring, simply r-coloring, of a Steiner triple system \(\textrm{STS}(v)\) STS ( v ) is a partition of the block set into r color classes, each color class being a partial parallel class. The chromatic index of \(\textrm{STS}(v)\) STS ( v ) , denoted by \(\chi ^{\prime }(v)\) χ ( v ) , is the smallest r for which an r-coloring of an \(\textrm{STS}(v)\) STS ( v ) exists. A minimum colorable Steiner triple system \(\textrm{mcSTS}(v)\) mcSTS ( v ) is an \(\textrm{STS}(v)\) STS ( v ) admitting a \(\chi ^{\prime } (v)\) χ ( v ) -coloring. We generalize the notion of an \(\textrm{RDSQS}\) RDSQS (a Steiner quadruple system \(\textrm{SQS}\) SQS with resolvable derived designs) to \(\textrm{mcDSQS}\) mcDSQS , representing an \(\textrm{SQS}\) SQS whose derived design at every point is minimum colorable. This is motivated by an application in non-binary diameter perfect codes. The purpose of this paper is to display a few recursive constructions to produce \(\textrm{mcDSQS}\) mcDSQS s via Steiner systems \(\textrm{S}(3,K,v)\) S ( 3 , K , v ) with certain properties. Among others, a construction for \(\textrm{mcDSQS}\) mcDSQS s is developed, which is also new even for \(\textrm{RDSQS}\) RDSQS s; special constructions concentrating only on \(\textrm{mcDSQS}(6n+2)\) mcDSQS ( 6 n + 2 ) s are demonstrated as well. As the main results, both a new infinite family of \(\textrm{RDSQS}(6n+4)\) RDSQS ( 6 n + 4 ) s and the first infinite family of \(\textrm{mcDSQS}(6n+2)\) mcDSQS ( 6 n + 2 ) s are constructed. To be specific, an \(\textrm{RDSQS}(2^{2m+1}+2)\) RDSQS ( 2 2 m + 1 + 2 ) and an \(\textrm{mcDSQS}(2\cdot 9^{m}+2)\) mcDSQS ( 2 · 9 m + 2 ) are proved to exist, in which the former class gives rise to a new infinite family of large sets of Kirkman triple systems. As applications, the smallest q is determined such that a diameter perfect constant-weight \((n,\frac{1}{4}\genfrac(){0.0pt}1{n}{3},6;4)_{q}\) ( n , 1 4 n 3 , 6 ; 4 ) q code exists where \(n \in \{ 2\cdot 9^{m}+2:m\ge 1\}\bigcup \{ 2^{2m+1}+2:m\ge 0\}\) n { 2 · 9 m + 2 : m 1 } { 2 2 m + 1 + 2 : m 0 } .