<p>In this paper, we focus on constructing unique-decodable and list-decodable codes for the recently studied (<i>t</i>,&#xa0;<i>e</i>)-composite-asymmetric error-correcting codes ((<i>t</i>,&#xa0;<i>e</i>)-CAECCs). Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1634_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {X}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation> be an <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1634_Article_IEq2.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(m \times n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>×</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation> binary matrix in which each row has Hamming weight <i>w</i>. If at most <i>t</i> rows of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1634_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {X}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation> contain errors, and in each erroneous row, there are at most <i>e</i> occurrences of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1634_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(1 \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> errors, we say that a (<i>t</i>,&#xa0;<i>e</i>)-composite-asymmetric error occurs in <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1634_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {X}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation>. For general values of <i>m</i>,&#xa0;<i>n</i>,&#xa0;<i>w</i>,&#xa0;<i>t</i>, and <i>e</i>, we propose new constructions of (<i>t</i>,&#xa0;<i>e</i>)-CAECCs with redundancy at most <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1634_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="153" /> </InlineMediaObject> <EquationSource Format="TEX">\((t-1)\log (m) + O(1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo>log</mo> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mi>O</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <i>O</i>(1) is independent of the code length <i>m</i>. In particular, this yields a class of (2,&#xa0;<i>e</i>)-CAECCs that are optimal in terms of redundancy. When <i>m</i> is a prime power, the redundancy can be further reduced to <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1634_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="193" /> </InlineMediaObject> <EquationSource Format="TEX">\((t-1)\log (m) - O(\log (m))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo>log</mo> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">)</mo> <mo>-</mo> <mi>O</mi> <mo stretchy="false">(</mo> <mo>log</mo> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. To further increase the code size, we introduce a combinatorial object called a weak <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1634_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(B_e\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>B</mi> <mi>e</mi> </msub> </math></EquationSource> </InlineEquation>-set. When <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1634_Article_IEq9.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(e = w\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>e</mi> <mo>=</mo> <mi>w</mi> </mrow> </math></EquationSource> </InlineEquation>, we present an efficient encoding and decoding method for our codes. Finally, we explore potential improvements by relaxing the requirement of unique decoding to list-decoding. We show that when the list size is <i>t</i>! or an exponential function of <i>t</i>, there exist list-decodable (<i>t</i>,&#xa0;<i>e</i>)-CAECCs with constant redundancy. When the list size is two, we construct list-decodable (3,&#xa0;2)-CAECCs with redundancy <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1634_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="102" /> </InlineMediaObject> <EquationSource Format="TEX">\(\log (m) + O(1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>log</mo> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mi>O</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

More on codes for combinatorial composite DNA

  • Zuo Ye,
  • Omer Sabary,
  • Ryan Gabrys,
  • Eitan Yaakobi,
  • Ohad Elishco

摘要

In this paper, we focus on constructing unique-decodable and list-decodable codes for the recently studied (te)-composite-asymmetric error-correcting codes ((te)-CAECCs). Let \(\mathcal {X}\) X be an \(m \times n\) m × n binary matrix in which each row has Hamming weight w. If at most t rows of \(\mathcal {X}\) X contain errors, and in each erroneous row, there are at most e occurrences of \(1 \rightarrow 0\) 1 0 errors, we say that a (te)-composite-asymmetric error occurs in \(\mathcal {X}\) X . For general values of mnwt, and e, we propose new constructions of (te)-CAECCs with redundancy at most \((t-1)\log (m) + O(1)\) ( t - 1 ) log ( m ) + O ( 1 ) , where O(1) is independent of the code length m. In particular, this yields a class of (2, e)-CAECCs that are optimal in terms of redundancy. When m is a prime power, the redundancy can be further reduced to \((t-1)\log (m) - O(\log (m))\) ( t - 1 ) log ( m ) - O ( log ( m ) ) . To further increase the code size, we introduce a combinatorial object called a weak \(B_e\) B e -set. When \(e = w\) e = w , we present an efficient encoding and decoding method for our codes. Finally, we explore potential improvements by relaxing the requirement of unique decoding to list-decoding. We show that when the list size is t! or an exponential function of t, there exist list-decodable (te)-CAECCs with constant redundancy. When the list size is two, we construct list-decodable (3, 2)-CAECCs with redundancy \(\log (m) + O(1)\) log ( m ) + O ( 1 ) .