<p>Let <i>G</i> be a simple graph and <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1448_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(I_t(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>I</mi> <mi>t</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denote the <i>t</i>-path ideal of <i>G</i>. It is well known that the Castelnuovo–Mumford regularity <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1448_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="95" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{reg}(R/I_t(G))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>reg</mtext> <mo stretchy="false">(</mo> <mi>R</mi> <mo stretchy="false">/</mo> <msub> <mi>I</mi> <mi>t</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and the projective dimension <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1448_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="91" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{pd}(R/I_t(G))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>pd</mtext> <mo stretchy="false">(</mo> <mi>R</mi> <mo stretchy="false">/</mo> <msub> <mi>I</mi> <mi>t</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> are bounded below by the quantities <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1448_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\((t-1)\nu _t(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <msub> <mi>ν</mi> <mi>t</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and the big height <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1448_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="88" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{bight}(I_t(G))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>bight</mtext> <mo stretchy="false">(</mo> <msub> <mi>I</mi> <mi>t</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, respectively, where <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1448_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\nu _t(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>ν</mi> <mi>t</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denotes induced matching number of the hypergraph corresponding to <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1448_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(I_t(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>I</mi> <mi>t</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We show that if <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1448_Article_IEq8.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(t\ge 4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>≥</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation>, then the difference between <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1448_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="95" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{reg}(R/I_t(G))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>reg</mtext> <mo stretchy="false">(</mo> <mi>R</mi> <mo stretchy="false">/</mo> <msub> <mi>I</mi> <mi>t</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1448_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\((t-1)\nu _t(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <msub> <mi>ν</mi> <mi>t</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, and the difference between <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1448_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="91" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{pd}(R/I_t(G))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>pd</mtext> <mo stretchy="false">(</mo> <mi>R</mi> <mo stretchy="false">/</mo> <msub> <mi>I</mi> <mi>t</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1448_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="88" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{bight}(I_t(G))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>bight</mtext> <mo stretchy="false">(</mo> <msub> <mi>I</mi> <mi>t</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> can be arbitrarily large even if we take <i>G</i> to be a tree. This, in particular, disproves a conjecture in Hang and Vu (Graphs Combin 41(1):18, 2025). However, when <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1448_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(t=3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>=</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> and <i>G</i> is chordal, we show that <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1448_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="166" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{reg}(R/I_3(G))=2\nu _3(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>reg</mtext> <mrow> <mo stretchy="false">(</mo> <mi>R</mi> <mo stretchy="false">/</mo> <msub> <mi>I</mi> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>2</mn> <msub> <mi>ν</mi> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1448_Article_IEq15.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="203" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{pd}(R/I_3(G))=\textrm{bight}(I_3(G))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>pd</mtext> <mrow> <mo stretchy="false">(</mo> <mi>R</mi> <mo stretchy="false">/</mo> <msub> <mi>I</mi> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mtext>bight</mtext> <mrow> <mo stretchy="false">(</mo> <msub> <mi>I</mi> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, extending the well-known formulas for the edge ideals of chordal graphs. As a consequence, we get that the 3-path ideal of a chordal graph is Cohen–Macaulay if and only if it is unmixed. Additionally, we show that the Alexander dual of <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1448_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(I_3(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>I</mi> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is vertex splittable when <i>G</i> is a tree, thereby resolving the <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1448_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(t=3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>=</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> case of a recent conjecture in Abdelmalek et al. (Int J Algebra Comput 33(3):481–498, 2023). Also, for each <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1448_Article_IEq18.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(t\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, we give examples of chordal graphs <i>G</i> such that the duals of the corresponding <i>t</i>-path ideals are not vertex splittable. Furthermore, we extend the formula of the regularity of 3-path ideals of chordal graphs to all <i>t</i>-path ideals of caterpillar graphs.</p>

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

On the path ideals of chordal graphs

  • Kanoy Kumar Das,
  • Amit Roy,
  • Kamalesh Saha

摘要

Let G be a simple graph and \(I_t(G)\) I t ( G ) denote the t-path ideal of G. It is well known that the Castelnuovo–Mumford regularity \(\textrm{reg}(R/I_t(G))\) reg ( R / I t ( G ) ) and the projective dimension \(\textrm{pd}(R/I_t(G))\) pd ( R / I t ( G ) ) are bounded below by the quantities \((t-1)\nu _t(G)\) ( t - 1 ) ν t ( G ) and the big height \(\textrm{bight}(I_t(G))\) bight ( I t ( G ) ) , respectively, where \(\nu _t(G)\) ν t ( G ) denotes induced matching number of the hypergraph corresponding to \(I_t(G)\) I t ( G ) . We show that if \(t\ge 4\) t 4 , then the difference between \(\textrm{reg}(R/I_t(G))\) reg ( R / I t ( G ) ) and \((t-1)\nu _t(G)\) ( t - 1 ) ν t ( G ) , and the difference between \(\textrm{pd}(R/I_t(G))\) pd ( R / I t ( G ) ) and \(\textrm{bight}(I_t(G))\) bight ( I t ( G ) ) can be arbitrarily large even if we take G to be a tree. This, in particular, disproves a conjecture in Hang and Vu (Graphs Combin 41(1):18, 2025). However, when \(t=3\) t = 3 and G is chordal, we show that \(\textrm{reg}(R/I_3(G))=2\nu _3(G)\) reg ( R / I 3 ( G ) ) = 2 ν 3 ( G ) and \(\textrm{pd}(R/I_3(G))=\textrm{bight}(I_3(G))\) pd ( R / I 3 ( G ) ) = bight ( I 3 ( G ) ) , extending the well-known formulas for the edge ideals of chordal graphs. As a consequence, we get that the 3-path ideal of a chordal graph is Cohen–Macaulay if and only if it is unmixed. Additionally, we show that the Alexander dual of \(I_3(G)\) I 3 ( G ) is vertex splittable when G is a tree, thereby resolving the \(t=3\) t = 3 case of a recent conjecture in Abdelmalek et al. (Int J Algebra Comput 33(3):481–498, 2023). Also, for each \(t\ge 3\) t 3 , we give examples of chordal graphs G such that the duals of the corresponding t-path ideals are not vertex splittable. Furthermore, we extend the formula of the regularity of 3-path ideals of chordal graphs to all t-path ideals of caterpillar graphs.