<p>Let <i>G</i> be a graph with adjacency matrix <i>A</i>(<i>G</i>) and let <i>D</i>(<i>G</i>) be the diagonal matrix of degrees of <i>G</i>. For <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\alpha \in [0,1]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>, Nikiforov (Appl Anal Discrete Math 11(1): 81–107, 2017) introduced the family of matrices <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(A_\alpha (G)=\alpha D(G) + (1-\alpha )A(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>A</mi> <mi>α</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>α</mi> <mi>D</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <mi>α</mi> <mo stretchy="false">)</mo> </mrow> <mi>A</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, together with fundamental properties and several open problems. From such properties, it follows that there exists a unique <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\alpha _0(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>α</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(A_{\alpha }(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>A</mi> <mi>α</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is positive semidefinite for all <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\alpha \ge \alpha _0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>≥</mo> <msub> <mi>α</mi> <mn>0</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>. One of the problems is: <i>Given a graph </i><i>G</i><i>, find </i><InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\alpha _0(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>α</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We call it the <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\alpha _0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>α</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>-Nikiforov’s problem. In this work, we give a fundamental result on <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\alpha _0(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>α</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Moreover, if <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(B_k({\textbf {d}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>B</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">d</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is a generalized Bethe tree of <i>k</i> levels with <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\({\textbf {d}}=(d_1,d_2,\ldots ,d_k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">d</mi> <mo>=</mo> <mo stretchy="false">(</mo> <msub> <mi>d</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>d</mi> <mn>2</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>d</mi> <mi>k</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> where, for <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(1\le j\le k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>j</mi> <mo>≤</mo> <mi>k</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(d_j\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>d</mi> <mi>j</mi> </msub> </math></EquationSource> </InlineEquation> is the degree of the vertices at the level <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(k-j+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>-</mo> <mi>j</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, we study the positive semidefiniteness of <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(A_{\alpha }(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>A</mi> <mi>α</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and the computation of <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\({\alpha _0}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>α</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for the following classes of graphs:</p><p>1. <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(G=R\{rB_k({\textbf {d}})\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>=</mo> <mi>R</mi> <mo stretchy="false">{</mo> <mi>r</mi> <msub> <mi>B</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">d</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> is the graph obtained from <i>r</i> copies of <InlineEquation ID="IEq24"> <EquationSource Format="TEX">\(B_k({\textbf {d}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>B</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">d</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and an arbitrary connected nonbipartite graph <i>R</i> of order <i>r</i> by identifying the root of each copy of <InlineEquation ID="IEq25"> <EquationSource Format="TEX">\(B_k({\textbf {d}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>B</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">d</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with a different vertex of <i>R</i>.</p><p>2. <InlineEquation ID="IEq26"> <EquationSource Format="TEX">\(G=K_r\{pB_k({\textbf {d}})\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>=</mo> <msub> <mi>K</mi> <mi>r</mi> </msub> <mrow> <mo stretchy="false">{</mo> <mi>p</mi> <msub> <mi>B</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">d</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq27"> <EquationSource Format="TEX">\(1\le p \le r\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>p</mi> <mo>≤</mo> <mi>r</mi> </mrow> </math></EquationSource> </InlineEquation>, is the graph obtained from <i>p</i> copies of <InlineEquation ID="IEq28"> <EquationSource Format="TEX">\(B_k({\textbf {d}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>B</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">d</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and the complete graph <InlineEquation ID="IEq29"> <EquationSource Format="TEX">\(K_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>K</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq30"> <EquationSource Format="TEX">\(r \ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, by identifying the root of each copy of <InlineEquation ID="IEq31"> <EquationSource Format="TEX">\(B_k({\textbf {d}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>B</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">d</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with a different vertex of <InlineEquation ID="IEq32"> <EquationSource Format="TEX">\(K_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>K</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation>.</p><p>The computation of <InlineEquation ID="IEq33"> <EquationSource Format="TEX">\(\alpha _0(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>α</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is performed by first computing the determinant of a symmetric tridiagonal matrix of order <i>k</i> or <InlineEquation ID="IEq34"> <EquationSource Format="TEX">\(k+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. Using the three-term recursion formula for this class of matrices, the cost of computing the determinant is linear. Moreover, we give the <InlineEquation ID="IEq35"> <EquationSource Format="TEX">\(A_\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>α</mi> </msub> </math></EquationSource> </InlineEquation>-spectra of the above mentioned classes of graphs in terms of the eigenvalues of symmetric tridiagonal matrices of order less than or equal to <i>k</i> or <InlineEquation ID="IEq36"> <EquationSource Format="TEX">\(k+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Advances on the \(\alpha _0\)-Nikiforov’s problem: positive semidefiniteness of \(A_{\alpha }(G)\) and computation of \(\alpha _0(G)\)

  • Germain Pastén

摘要

Let G be a graph with adjacency matrix A(G) and let D(G) be the diagonal matrix of degrees of G. For \(\alpha \in [0,1]\) α [ 0 , 1 ] , Nikiforov (Appl Anal Discrete Math 11(1): 81–107, 2017) introduced the family of matrices \(A_\alpha (G)=\alpha D(G) + (1-\alpha )A(G)\) A α ( G ) = α D ( G ) + ( 1 - α ) A ( G ) , together with fundamental properties and several open problems. From such properties, it follows that there exists a unique \(\alpha _0(G)\) α 0 ( G ) such that \(A_{\alpha }(G)\) A α ( G ) is positive semidefinite for all \(\alpha \ge \alpha _0\) α α 0 . One of the problems is: Given a graph G, find \(\alpha _0(G)\) α 0 ( G ) . We call it the \(\alpha _0\) α 0 -Nikiforov’s problem. In this work, we give a fundamental result on \(\alpha _0(G)\) α 0 ( G ) . Moreover, if \(B_k({\textbf {d}})\) B k ( d ) is a generalized Bethe tree of k levels with \({\textbf {d}}=(d_1,d_2,\ldots ,d_k)\) d = ( d 1 , d 2 , , d k ) where, for \(1\le j\le k\) 1 j k , \(d_j\) d j is the degree of the vertices at the level \(k-j+1\) k - j + 1 , we study the positive semidefiniteness of \(A_{\alpha }(G)\) A α ( G ) and the computation of \({\alpha _0}(G)\) α 0 ( G ) for the following classes of graphs:

1. \(G=R\{rB_k({\textbf {d}})\}\) G = R { r B k ( d ) } is the graph obtained from r copies of \(B_k({\textbf {d}})\) B k ( d ) and an arbitrary connected nonbipartite graph R of order r by identifying the root of each copy of \(B_k({\textbf {d}})\) B k ( d ) with a different vertex of R.

2. \(G=K_r\{pB_k({\textbf {d}})\}\) G = K r { p B k ( d ) } , \(1\le p \le r\) 1 p r , is the graph obtained from p copies of \(B_k({\textbf {d}})\) B k ( d ) and the complete graph \(K_r\) K r , \(r \ge 3\) r 3 , by identifying the root of each copy of \(B_k({\textbf {d}})\) B k ( d ) with a different vertex of \(K_r\) K r .

The computation of \(\alpha _0(G)\) α 0 ( G ) is performed by first computing the determinant of a symmetric tridiagonal matrix of order k or \(k+1\) k + 1 . Using the three-term recursion formula for this class of matrices, the cost of computing the determinant is linear. Moreover, we give the \(A_\alpha \) A α -spectra of the above mentioned classes of graphs in terms of the eigenvalues of symmetric tridiagonal matrices of order less than or equal to k or \(k+1\) k + 1 .