<p>Let <i>n</i> and <i>t</i> be integers with <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2024_2883_Article_IEq3.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="73" /> </InlineMediaObject> <EquationSource Format="TEX">\(1&lt;t\le n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>t</mi> <mo>≤</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation>. Let <i>A</i> be an <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2024_2883_Article_IEq4.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\times n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>×</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation> (0,&#xa0;1)-matrix with a positive permanent, that is, for which there exists a permutation matrix <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2024_2883_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(P\le A\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mo>≤</mo> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation> (entrywise order). We investigate the minimum number <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2024_2883_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha (n,t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of zeros possible in such a matrix <i>A</i> which avoids a <i>P</i> with a <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2024_2883_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(12\cdots t\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>12</mn> <mo>⋯</mo> <mi>t</mi> </mrow> </math></EquationSource> </InlineEquation>-pattern, that is, for which there does not exist a permutation matrix <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2024_2883_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(P\le A\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mo>≤</mo> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation> containing the identity matrix <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2024_2883_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(I_t\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>I</mi> <mi>t</mi> </msub> </math></EquationSource> </InlineEquation> as a submatrix. We conjecture that <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2024_2883_Article_IEq10.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="108" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha (n,t)={{k+1}\atopwithdelims ()2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfenced close=")" open="("> <mfrac linethickness="0pt"> <mrow> <mi>k</mi> <mo>+</mo> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </mfenced> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2024_2883_Article_IEq11.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="98" /> </InlineMediaObject> <EquationSource Format="TEX">\(k=n-t+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>=</mo> <mi>n</mi> <mo>-</mo> <mi>t</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. We prove this conjecture is correct when <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2024_2883_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="TEX">\(t=2 \text{ or } 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>=</mo> <mn>2</mn> <mspace width="0.333333em" /> <mtext>or</mtext> <mspace width="0.333333em" /> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> and we consider for which matrices equality holds. We also prove the conjecture is correct for all <i>t</i> if <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2024_2883_Article_IEq13.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="81" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\ge 2k-3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>2</mn> <mi>k</mi> <mo>-</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>. Finally, we investigate which <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2024_2883_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(12\cdots t\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>12</mn> <mo>⋯</mo> <mi>t</mi> </mrow> </math></EquationSource> </InlineEquation>-permutation avoiding matrices have the maximum permanent.</p>

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

\(12\cdots t\)-Permutation Avoiding (0, 1)-Matrices

  • Richard A. Brualdi,
  • Lei Cao,
  • John L. Goldwasser

摘要

Let n and t be integers with \(1<t\le n\) 1 < t n . Let A be an \(n\times n\) n × n (0, 1)-matrix with a positive permanent, that is, for which there exists a permutation matrix \(P\le A\) P A (entrywise order). We investigate the minimum number \(\alpha (n,t)\) α ( n , t ) of zeros possible in such a matrix A which avoids a P with a \(12\cdots t\) 12 t -pattern, that is, for which there does not exist a permutation matrix \(P\le A\) P A containing the identity matrix \(I_t\) I t as a submatrix. We conjecture that \(\alpha (n,t)={{k+1}\atopwithdelims ()2}\) α ( n , t ) = k + 1 2 where \(k=n-t+1\) k = n - t + 1 . We prove this conjecture is correct when \(t=2 \text{ or } 3\) t = 2 or 3 and we consider for which matrices equality holds. We also prove the conjecture is correct for all t if \(n\ge 2k-3\) n 2 k - 3 . Finally, we investigate which \(12\cdots t\) 12 t -permutation avoiding matrices have the maximum permanent.