<p>Given a connected graph <i>G</i> on the vertex set <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_862_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="94" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{0,1,\ldots ,n\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>n</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> with the root vertex 0, Postnikov and Shapiro associated a monomial ideal <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_862_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}_G\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">M</mi> <mi>G</mi> </msub> </math></EquationSource> </InlineEquation> in the polynomial ring <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_862_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="126" /> </InlineMediaObject> <EquationSource Format="TEX">\(R=\mathbb {K}[x_1,\ldots ,x_n]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo>=</mo> <mi mathvariant="double-struck">K</mi> <mo stretchy="false">[</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>x</mi> <mi>n</mi> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> over a field <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_862_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {K}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">K</mi> </math></EquationSource> </InlineEquation> such that the vector space dimension of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_862_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(R/\mathcal {M}_G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo stretchy="false">/</mo> <msub> <mi mathvariant="script">M</mi> <mi>G</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> is same as the determinant of the reduced Laplacian of <i>G</i>. Dochtermann introduced the 1-skeleton ideal <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_862_Article_IEq6.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="93" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}_G^{(1)}\subset \mathcal {M}_G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="script">M</mi> <mi>G</mi> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msubsup> <mo>⊂</mo> <msub> <mi mathvariant="script">M</mi> <mi>G</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> which satisfies the property that the vector space dimension of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_862_Article_IEq7.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(R/\mathcal {M}_G^{(1)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo stretchy="false">/</mo> <msubsup> <mi mathvariant="script">M</mi> <mi>G</mi> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msubsup> </mrow> </math></EquationSource> </InlineEquation> is bounded below by the determinant of the reduced signless Laplacian of <i>G</i>. In this paper, we characterize all subgraphs of the complete multigraph <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_862_Article_IEq8.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(K_{n+1}^{a,1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>K</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> <mrow> <mi>a</mi> <mo>,</mo> <mn>1</mn> </mrow> </msubsup> </math></EquationSource> </InlineEquation>, in particular all simple graphs <i>G</i>, such that the vector space dimension of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_862_Article_IEq7.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(R/\mathcal {M}_G^{(1)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo stretchy="false">/</mo> <msubsup> <mi mathvariant="script">M</mi> <mi>G</mi> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msubsup> </mrow> </math></EquationSource> </InlineEquation> is same as the determinant of the reduced signless Laplacian.</p>

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

1-skeleton ideals of multigraphs and the signless Laplacian

  • Amit Roy

摘要

Given a connected graph G on the vertex set \(\{0,1,\ldots ,n\}\) { 0 , 1 , , n } with the root vertex 0, Postnikov and Shapiro associated a monomial ideal \(\mathcal {M}_G\) M G in the polynomial ring \(R=\mathbb {K}[x_1,\ldots ,x_n]\) R = K [ x 1 , , x n ] over a field \(\mathbb {K}\) K such that the vector space dimension of \(R/\mathcal {M}_G\) R / M G is same as the determinant of the reduced Laplacian of G. Dochtermann introduced the 1-skeleton ideal \(\mathcal {M}_G^{(1)}\subset \mathcal {M}_G\) M G ( 1 ) M G which satisfies the property that the vector space dimension of \(R/\mathcal {M}_G^{(1)}\) R / M G ( 1 ) is bounded below by the determinant of the reduced signless Laplacian of G. In this paper, we characterize all subgraphs of the complete multigraph \(K_{n+1}^{a,1}\) K n + 1 a , 1 , in particular all simple graphs G, such that the vector space dimension of \(R/\mathcal {M}_G^{(1)}\) R / M G ( 1 ) is same as the determinant of the reduced signless Laplacian.