<p>Let <i>G</i> be a simple graph on the vertex set <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1381_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="91" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{v_{1},\ldots ,v_{n}\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <msub> <mi>v</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>v</mi> <mi>n</mi> </msub> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>. An algebraic object attached to <i>G</i> is the toric ideal <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1381_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(I_G\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>I</mi> <mi>G</mi> </msub> </math></EquationSource> </InlineEquation>. We say that <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1381_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(I_G\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>I</mi> <mi>G</mi> </msub> </math></EquationSource> </InlineEquation> is subgraph splittable if there exist subgraphs <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1381_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1381_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> of <i>G</i> such that <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1381_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="105" /> </InlineMediaObject> <EquationSource Format="TEX">\(I_G=I_{G_1}+I_{G_2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>I</mi> <mi>G</mi> </msub> <mo>=</mo> <msub> <mi>I</mi> <msub> <mi>G</mi> <mn>1</mn> </msub> </msub> <mo>+</mo> <msub> <mi>I</mi> <msub> <mi>G</mi> <mn>2</mn> </msub> </msub> </mrow> </math></EquationSource> </InlineEquation>, where both <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1381_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(I_{G_1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>I</mi> <msub> <mi>G</mi> <mn>1</mn> </msub> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1381_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(I_{G_2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>I</mi> <msub> <mi>G</mi> <mn>2</mn> </msub> </msub> </math></EquationSource> </InlineEquation> are not equal to <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1381_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(I_G\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>I</mi> <mi>G</mi> </msub> </math></EquationSource> </InlineEquation>. We show that <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1381_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(I_G\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>I</mi> <mi>G</mi> </msub> </math></EquationSource> </InlineEquation> is subgraph splittable if and only if it is edge splittable. We also prove that the toric ideal of a complete bipartite graph is not subgraph splittable. In contrast, we show that the toric ideal of a complete graph <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1381_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(K_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>K</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> is always subgraph splittable when <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1381_Article_IEq12.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n \ge 4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation>. Additionally, we show that the toric ideal of <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1381_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(K_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>K</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> has a minimal splitting if and only if <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1381_Article_IEq14.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="73" /> </InlineMediaObject> <EquationSource Format="TEX">\(4 \le n \le 5\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>4</mn> <mo>≤</mo> <mi>n</mi> <mo>≤</mo> <mn>5</mn> </mrow> </math></EquationSource> </InlineEquation>. Finally, we prove that any minimal splitting of <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1381_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(I_G\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>I</mi> <mi>G</mi> </msub> </math></EquationSource> </InlineEquation> is also a reduced splitting.</p>

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

Splittings of toric ideals of graphs

  • Anargyros Katsabekis,
  • Apostolos Thoma

摘要

Let G be a simple graph on the vertex set \(\{v_{1},\ldots ,v_{n}\}\) { v 1 , , v n } . An algebraic object attached to G is the toric ideal \(I_G\) I G . We say that \(I_G\) I G is subgraph splittable if there exist subgraphs \(G_1\) G 1 and \(G_2\) G 2 of G such that \(I_G=I_{G_1}+I_{G_2}\) I G = I G 1 + I G 2 , where both \(I_{G_1}\) I G 1 and \(I_{G_2}\) I G 2 are not equal to \(I_G\) I G . We show that \(I_G\) I G is subgraph splittable if and only if it is edge splittable. We also prove that the toric ideal of a complete bipartite graph is not subgraph splittable. In contrast, we show that the toric ideal of a complete graph \(K_n\) K n is always subgraph splittable when \(n \ge 4\) n 4 . Additionally, we show that the toric ideal of \(K_n\) K n has a minimal splitting if and only if \(4 \le n \le 5\) 4 n 5 . Finally, we prove that any minimal splitting of \(I_G\) I G is also a reduced splitting.