<p>Let <i>G</i> be a graph and let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1951_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="73" /> </InlineMediaObject> <EquationSource Format="TEX">\(J=I_c(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>J</mi> <mo>=</mo> <msub> <mi>I</mi> <mi>c</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be its ideal of covers. The aims of this work are to study the v-number <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1951_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{v}(J)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>v</mtext> <mo stretchy="false">(</mo> <mi>J</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of <i>J</i> and to study when <i>J</i> is linearly presented using combinatorics and commutative algebra. We classify when <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1951_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{v}(J)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>v</mtext> <mo stretchy="false">(</mo> <mi>J</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> attains its minimum and maximum possible values in terms of the vertex covers of the graph that satisfy the exchange property. If the cover ideal of a graph has a linear presentation, we express its v-number in terms of the covering number of the graph. If <i>G</i> is unmixed, the graph <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1951_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {G}_J\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">G</mi> <mi>J</mi> </msub> </math></EquationSource> </InlineEquation> of <i>J</i> is the graph whose vertices are the minimal vertex covers of <i>G</i> and whose edges are the pairs <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1951_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{C,C'\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <mi>C</mi> <mo>,</mo> <msup> <mi>C</mi> <mo>′</mo> </msup> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1951_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="135" /> </InlineMediaObject> <EquationSource Format="TEX">\(|C\cup C'|=|C|+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> <mi>C</mi> <mo>∪</mo> </mrow> <msup> <mi>C</mi> <mo>′</mo> </msup> <mrow> <mo stretchy="false">|</mo> <mo>=</mo> <mo stretchy="false">|</mo> <mi>C</mi> <mo stretchy="false">|</mo> <mo>+</mo> <mn>1</mn> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We show necessary and sufficient conditions for the graph <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1951_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {G}_J\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">G</mi> <mi>J</mi> </msub> </math></EquationSource> </InlineEquation> of <i>J</i> to be connected. Then, for unmixed König graphs, we classify when <i>J</i> is linearly presented using graph theory, and show some results on Cohen–Macaulay König graphs. If <i>G</i> is unmixed, it is shown that the columns of the linear syzygy matrix of <i>J</i> are linearly independent if and only if <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1951_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {G}_J\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">G</mi> <mi>J</mi> </msub> </math></EquationSource> </InlineEquation> has no strong 3-cycles. One of our main theorems shows that if <i>G</i> is unmixed and has no induced 4-cycles, then <i>J</i> is linearly presented. For unmixed graphs without 3- and 5-cycles, we classify combinatorially when <i>J</i> is linearly presented.</p>

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

The v-Numbers and Linear Presentations of Ideals of Covers of Graphs

  • Humberto Muñoz-George,
  • Enrique Reyes,
  • Rafael H. Villarreal

摘要

Let G be a graph and let \(J=I_c(G)\) J = I c ( G ) be its ideal of covers. The aims of this work are to study the v-number \(\textrm{v}(J)\) v ( J ) of J and to study when J is linearly presented using combinatorics and commutative algebra. We classify when \(\textrm{v}(J)\) v ( J ) attains its minimum and maximum possible values in terms of the vertex covers of the graph that satisfy the exchange property. If the cover ideal of a graph has a linear presentation, we express its v-number in terms of the covering number of the graph. If G is unmixed, the graph \(\mathcal {G}_J\) G J of J is the graph whose vertices are the minimal vertex covers of G and whose edges are the pairs \(\{C,C'\}\) { C , C } such that \(|C\cup C'|=|C|+1\) | C C | = | C | + 1 . We show necessary and sufficient conditions for the graph \(\mathcal {G}_J\) G J of J to be connected. Then, for unmixed König graphs, we classify when J is linearly presented using graph theory, and show some results on Cohen–Macaulay König graphs. If G is unmixed, it is shown that the columns of the linear syzygy matrix of J are linearly independent if and only if \(\mathcal {G}_J\) G J has no strong 3-cycles. One of our main theorems shows that if G is unmixed and has no induced 4-cycles, then J is linearly presented. For unmixed graphs without 3- and 5-cycles, we classify combinatorially when J is linearly presented.