<p>A quaternion unit gain graph (or <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(U(\mathbb {Q})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>U</mi> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-gain graph) is defined as a triple <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\Phi =(G,U(\mathbb {Q}),\varphi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Φ</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>U</mi> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">)</mo> <mo>,</mo> <mi>φ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> (or <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\widetilde{G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>G</mi> <mo stretchy="false">~</mo> </mover> </math></EquationSource> </InlineEquation> for short) consisting of an underlying graph <i>G</i>, the quaternion unit circle group <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(U(\mathbb {Q})=\{q\in \mathbb {Q}: |q|=1\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>U</mi> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mo stretchy="false">{</mo> <mi>q</mi> <mo>∈</mo> <mi mathvariant="double-struck">Q</mi> <mo>:</mo> <mo stretchy="false">|</mo> <mi>q</mi> <mo stretchy="false">|</mo> <mo>=</mo> <mn>1</mn> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> and gain function <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\varphi :E(G)\rightarrow U(\mathbb {Q})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo>:</mo> <mi>E</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo stretchy="false">→</mo> <mi>U</mi> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, such that <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\varphi (e_{ij})=\varphi (e_{ji})^{-1}=\overline{\varphi (e_{ji})}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>e</mi> <mrow> <mi mathvariant="italic">ij</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>φ</mi> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>e</mi> <mrow> <mi mathvariant="italic">ji</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo>=</mo> <mover> <mrow> <mi>φ</mi> <mo stretchy="false">(</mo> <msub> <mi>e</mi> <mrow> <mi mathvariant="italic">ji</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mo>¯</mo> </mover> </mrow> </math></EquationSource> </InlineEquation>. The adjacency matrix of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\Phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Φ</mi> </math></EquationSource> </InlineEquation> is denoted by <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(A(\Phi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Φ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and the left row rank of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\Phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Φ</mi> </math></EquationSource> </InlineEquation> is denoted by <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(r(\Phi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Φ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. If <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\Phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Φ</mi> </math></EquationSource> </InlineEquation> has at least one cycle, then the length of the shortest cycle in <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\Phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Φ</mi> </math></EquationSource> </InlineEquation> is the girth of <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\Phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Φ</mi> </math></EquationSource> </InlineEquation>, denoted by <i>g</i>. Khan and Van Dam (A bound on the girth of quaternion unit gain graphs in terms of the rank, in <a href="http://arxiv.org/abs/2411.19057">http://arxiv.org/abs/2411.19057</a>, 2024) proved that <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(r(\Phi )\ge g-2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Φ</mi> <mo stretchy="false">)</mo> <mo>≥</mo> <mi>g</mi> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\Phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Φ</mi> </math></EquationSource> </InlineEquation> and characterized <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(U(\mathbb {Q})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>U</mi> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-gain graphs satisfying <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(r(\Phi )=g-2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Φ</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>g</mi> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. In this paper, we extend the result of Khan and Van Dam (A bound on the girth of quaternion unit gain graphs in terms of the rank, <a href="http://arxiv.org/abs/2411.19057">http://arxiv.org/abs/2411.19057</a>, 2024) and characterize <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(U(\mathbb {Q})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>U</mi> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-gain graphs of rank <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(g-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> or <i>g</i>. Moreover, we characterize all quaternion unit gain graphs with rank 2. The results will generalize the corresponding results of simple graphs (Zhou et al. in Linear algebra Appl 630:56–68, 2021), signed graphs (Wu et al. in Linear algebra Appl 651:90–115, 2022), and complex unit gain graphs (Khan in Linear algebra Appl 688:232–243, 2024).</p>

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

The left row rank of quaternion unit gain graphs in terms of girth

  • Yong Lu

摘要

A quaternion unit gain graph (or \(U(\mathbb {Q})\) U ( Q ) -gain graph) is defined as a triple \(\Phi =(G,U(\mathbb {Q}),\varphi )\) Φ = ( G , U ( Q ) , φ ) (or \(\widetilde{G}\) G ~ for short) consisting of an underlying graph G, the quaternion unit circle group \(U(\mathbb {Q})=\{q\in \mathbb {Q}: |q|=1\}\) U ( Q ) = { q Q : | q | = 1 } and gain function \(\varphi :E(G)\rightarrow U(\mathbb {Q})\) φ : E ( G ) U ( Q ) , such that \(\varphi (e_{ij})=\varphi (e_{ji})^{-1}=\overline{\varphi (e_{ji})}\) φ ( e ij ) = φ ( e ji ) - 1 = φ ( e ji ) ¯ . The adjacency matrix of \(\Phi \) Φ is denoted by \(A(\Phi )\) A ( Φ ) and the left row rank of \(\Phi \) Φ is denoted by \(r(\Phi )\) r ( Φ ) . If \(\Phi \) Φ has at least one cycle, then the length of the shortest cycle in \(\Phi \) Φ is the girth of \(\Phi \) Φ , denoted by g. Khan and Van Dam (A bound on the girth of quaternion unit gain graphs in terms of the rank, in http://arxiv.org/abs/2411.19057, 2024) proved that \(r(\Phi )\ge g-2\) r ( Φ ) g - 2 for \(\Phi \) Φ and characterized \(U(\mathbb {Q})\) U ( Q ) -gain graphs satisfying \(r(\Phi )=g-2\) r ( Φ ) = g - 2 . In this paper, we extend the result of Khan and Van Dam (A bound on the girth of quaternion unit gain graphs in terms of the rank, http://arxiv.org/abs/2411.19057, 2024) and characterize \(U(\mathbb {Q})\) U ( Q ) -gain graphs of rank \(g-1\) g - 1 or g. Moreover, we characterize all quaternion unit gain graphs with rank 2. The results will generalize the corresponding results of simple graphs (Zhou et al. in Linear algebra Appl 630:56–68, 2021), signed graphs (Wu et al. in Linear algebra Appl 651:90–115, 2022), and complex unit gain graphs (Khan in Linear algebra Appl 688:232–243, 2024).