<p>Let <i>K</i> be a simplicial complex, and let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2025_969_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta _i^{up}(K)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="normal">Δ</mi> <mi>i</mi> <mrow> <mi mathvariant="italic">up</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>K</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be the <i>i</i>-th up normalized Laplacian of <i>K</i>. Horak and Jost showed that the largest eigenvalue of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2025_969_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta _i^{up}(K)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="normal">Δ</mi> <mi>i</mi> <mrow> <mi mathvariant="italic">up</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>K</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is at most <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2025_969_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">\(i+2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>+</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, and characterized the equality case by orientable or non-orientable circuits. In this paper, we establish a relationship between the eigenvalue <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2025_969_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">\(i+2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>+</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and the balancedness of the signed incidence graph of <i>K</i>, namely, <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2025_969_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta _i^{up}(K)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="normal">Δ</mi> <mi>i</mi> <mrow> <mi mathvariant="italic">up</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>K</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> has an eigenvalue <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2025_969_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">\(i+2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>+</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> if and only if <i>K</i> has an <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2025_969_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\((i+1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>i</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-path connected component <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2025_969_Article_IEq8.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(K'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>K</mi> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation> whose <i>i</i>-th signed incidence graph <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2025_969_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(B_i(K')\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>B</mi> <mi>i</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi>K</mi> <mo>′</mo> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is balanced. We also characterize the multiplicity of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2025_969_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">\(i+2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>+</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> as an eigenvalue of <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2025_969_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta _i^{up}(K)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="normal">Δ</mi> <mi>i</mi> <mrow> <mi mathvariant="italic">up</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>K</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, and construct infinitely many simplicial complexes <i>K</i> with <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2025_969_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta _i^{up}(K)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="normal">Δ</mi> <mi>i</mi> <mrow> <mi mathvariant="italic">up</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>K</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> having an eigenvalue <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2025_969_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">\(i+2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>+</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> by using wedges, Cartesian products, or duplication of motifs.</p>

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

The Normalized Laplacian Eigenvalue and Incidence Balancedness of Simplicial Complexes

  • Yi-Min Song,
  • Hui-Feng Wu,
  • Yi-Zheng Fan

摘要

Let K be a simplicial complex, and let \(\Delta _i^{up}(K)\) Δ i up ( K ) be the i-th up normalized Laplacian of K. Horak and Jost showed that the largest eigenvalue of \(\Delta _i^{up}(K)\) Δ i up ( K ) is at most \(i+2\) i + 2 , and characterized the equality case by orientable or non-orientable circuits. In this paper, we establish a relationship between the eigenvalue \(i+2\) i + 2 and the balancedness of the signed incidence graph of K, namely, \(\Delta _i^{up}(K)\) Δ i up ( K ) has an eigenvalue \(i+2\) i + 2 if and only if K has an \((i+1)\) ( i + 1 ) -path connected component \(K'\) K whose i-th signed incidence graph \(B_i(K')\) B i ( K ) is balanced. We also characterize the multiplicity of \(i+2\) i + 2 as an eigenvalue of \(\Delta _i^{up}(K)\) Δ i up ( K ) , and construct infinitely many simplicial complexes K with \(\Delta _i^{up}(K)\) Δ i up ( K ) having an eigenvalue \(i+2\) i + 2 by using wedges, Cartesian products, or duplication of motifs.