arXiv subjects
Publications and source records attributed to Lele Liu.
Spectral graph theory is a captivating area of graph theory that employs the eigenvalues and eigenvectors of matrices associated with graphs to study them. In this paper, we present a collection of $20$ topics in spectral graph theory, covering a range of open problems and conjectures. Our focus is primarily on the adjacency matrix of graphs, and for each topic, we provide a brief historical overview.
Let $F$ be a graph and $\SPEX (n, F)$ be the class of $n$-vertex graphs which attain the maximum spectral radius and contain no $F$ as a subgraph. Let $\EX (n, F)$ be the family of $n$-vertex graphs which contain maximum number of edges and no $F$ as a subgraph. It is a fundamental problem in spectral extremal graph theory to characterize all graphs $F$ such that $\SPEX (n, F)\subseteq \EX (n, F)$ when $n$ is sufficiently large. Establishing the conjecture of Cioabă, Desai and Tait [European J. Combin., 2022], Wang, Kang, and Xue [J. Combin. Theory Ser. B, 2023] prove that: for any graph $F$ such that the graphs in $\EX (n, F)$ are Turán graphs plus $O(1)$ edges, $\SPEX (n, F)\subseteq \EX (n, F)$ for sufficiently large $n$. In this paper, we prove that $\SPEX (n, F)\subseteq \EX (n, F)$ for sufficiently large $n$, where $F$ is an $n$-vertex graph with no isolated vertices and $Δ(F) \leq \sqrt{n}/40$. We also prove a signless Laplacian spectral radius version of the above theorem. These results give new contribution to the open problem mentioned above, and can be seen as spectral analogs of a theorem of Alon and Yuster [J. Combin. Theory Ser. B, 2013]. Furthermore, as immediate corollaries, we have tight spectral conditions for the existence of several classes of special graphs, including clique-factors, $k$-th power of Hamilton cycles and $k$-factors in graphs. The first special class of graphs gives a positive answer to a problem of Feng, and the second one extends a previous result of Yan et al.
Let $G$ be a cancellative $3$-uniform hypergraph in which the symmetric difference of any two edges is not contained in a third one. Equivalently, a $3$-uniform hypergraph $G$ is cancellative if and only if $G$ is $\{F_4, F_5\}$-free, where $F_4 = \{abc, abd, bcd\}$ and $F_5 = \{abc, abd, cde\}$. A classical result in extremal combinatorics stated that the maximum size of a cancellative hypergraph is achieved by the balanced complete tripartite $3$-uniform hypergraph, which was firstly proved by Bollobás and later by Keevash and Mubayi. In this paper, we consider spectral extremal problems for cancellative hypergraphs. More precisely, we determine the maximum $p$-spectral radius of cancellative $3$-uniform hypergraphs, and characterize the extremal hypergraph. As a by-product, we give an alternative proof of Bollobás' result from spectral viewpoint.
We prove two conjectures in spectral extremal graph theory involving the linear combinations of graph eigenvalues. Let $λ_1(G)$ be the largest eigenvalue of the adjacency matrix of a graph $G$, and $\bar{G}$ be the complement of $G$. A nice conjecture states that the graph on $n$ vertices maximizing $λ_1(G) + λ_1(\bar{G})$ is the join of a clique and an independent set, with $\lfloor n/3\rfloor$ and $\lceil 2n/3\rceil$ (also $\lceil n/3\rceil$ and $\lfloor 2n/3\rfloor$ if $n \equiv 2 \pmod{3}$) vertices, respectively. We resolve this conjecture for sufficiently large $n$ using analytic methods. Our second result concerns the $Q$-spread $s_Q(G)$ of a graph $G$, which is defined as the difference between the largest eigenvalue and least eigenvalue of the signless Laplacian of $G$. It was conjectured by Cvetković, Rowlinson and Simić in $2007$ that the unique $n$-vertex connected graph of maximum $Q$-spread is the graph formed by adding a pendant edge to $K_{n-1}$. We confirm this conjecture for sufficiently large $n$.
Let $G$ be a connected graph and $Q(G)$ be the signless Laplacian of $G$. The principal ratio $γ(G)$ of $Q(G)$ is the ratio of the maximum and minimum entries of the Perron vector of $Q(G)$. In this paper, we consider the maximum principal ratio $γ(G)$ among all connected graphs of order $n$, and show that for sufficiently large $n$ the extremal graph is a kite graph obtained by identifying an end vertex of a path to any vertex of a complete graph.
Let $G$ be a graph attaining the maximum spectral radius among all connected nonregular graphs of order $n$ with maximum degree $Δ$. Let $λ_1(G)$ be the spectral radius of $G$. A nice conjecture due to Liu, Shen and Wang [On the largest eigenvalue of non-regular graphs, J. Combin. Theory Ser. B, 97 (2007) 1010--1018] asserts that \[ \lim_{n\to\infty} \frac{n^2(Δ-λ_1(G))}{Δ-1} = π^2 \] for each fixed $Δ$. Concerning an important structural property of the extremal graphs $G$, Liu and Li present another conjecture which states that $G$ has degree sequence $Δ,\ldots,Δ,δ$. Here, $δ=Δ-1$ or $δ=Δ-2$ depending on the parity of $nΔ$. In this paper, we make progress on the two conjectures. To be precise, we disprove the first conjecture for all $Δ\geq 3$ by showing that the limit superior is at most $π^2/2$. For small $Δ$, we determine the precise asymptotic behavior of $Δ-λ_1(G)$. In particular, we show that $\lim\limits_{n\to\infty} n^2 (Δ- λ_1(G)) /(Δ- 1) = π^2/4$ if $Δ=3$; and $\lim\limits_{n\to\infty} n^2 (Δ- λ_1(G)) /(Δ- 2) = π^2/2$ if $Δ= 4$. We also confirm the second conjecture for $Δ= 3$ and $Δ= 4$ by determining the precise structure of extremal graphs. Particularly, we show that the extremal graphs for $Δ\in\{3,4\}$ must have a path-like structure built from specific blocks.
Let $G$ be a connected graph, the principal ratio of $G$ is the ratio of the maximum and minimum entries of its Perron eigenvector. In 2007, Cioab\v a and Gregory conjectured that among all connected graphs on $n$ vertices, the kite graph attains the maximum principal ratio. In 2018, Tait and Tobin confirmed the conjecture for sufficientlty large $n$. In this article, we show the conjecture is true for all $n\geq 5000$.
In this paper, we propose a generalized opinion dynamics model (GODM), which can dynamically compute each person's expressed opinion, to solve the internal opinion maximization problem for social trust networks. In the model, we propose a new, reasonable and interpretable confidence index, which is determined by both person's social status and the evaluation around him. By using the theory of diagonally dominant, we obtain the optimal analytic solution of the Nash equilibrium with maximum overall opinion. We design a novel algorithm to maximize the overall with given budget by modifying the internal opinions of people in the social trust network, and prove its optimality both from the algorithm itself and the traditional optimization algorithm-ADMM algorithms with $l_1$-regulations. A series of experiments are conducted, and the experimental results show that our method is superior to the state-of-the-art in four datasets. The average benefit has promoted $67.5\%$, $83.2\%$, $31.5\%$, and $33.7\%$ on four datasets, respectively.
Let $G$ be a simple connected graph, and $D(G)$ be the distance matrix of $G$. Suppose that $D_{\max}(G)$ and $λ_1(G)$ are the maximum row sum and the spectral radius of $D(G)$, respectively. In this paper, we give a lower bound for $D_{\max}(G)-λ_1(G)$, and characterize the extremal graphs attaining the bound. As a corollary, we solve a conjecture posed by Liu, Shu and Xue.
This technical report gives a detailed, formal description of the features introduced in the paper: Adrien Ycart, Lele Liu, Emmanouil Benetos and Marcus T. Pearce. "Investigating the Perceptual Validity of Evaluation Metrics for Automatic Piano Music Transcription", Transactions of the International Society for Music Information Retrieval (TISMIR), Accepted, 2020.
Let $G$ be a graph. We say that a hypergraph $H$ is a Berge-$G$ if there is a bijection $ϕ: E(G)\to E(H)$ such that $e\subseteq ϕ(e)$ for all $e\in E(G)$. For any $r$-uniform hypergraph $H$ and a real number $p\geq 1$, the $p$-spectral radius $λ^{(p)}(H)$ of $H$ is defined as \[ λ^{(p)}(H):=\max_{{\bf x}\in\mathbb{R}^n,\,\|{\bf x}\|_p=1} r\sum_{\{i_1,i_2,\ldots,i_r\}\in E(H)} x_{i_1}x_{i_2}\cdots x_{i_r}. \] In this paper, we study the $p$-spectral radius of Berge-$G$ hypergraphs. We determine the $3$-uniform hypergraphs with maximum $p$-spectral radius for $p\geq 1$ among Berge-$G$ hypergraphs when $G$ is a path, a cycle or a star.
An $(r,s)$-directed hypergraph is a directed hypergraph with $r$ vertices in tail and $s$ vertices in head of each arc. Let $G$ be an $(r,s)$-directed hypergraph. For any real numbers $p$, $q\geq 1$, we define the $(p,q)$-spectral radius $λ_{p,q}(G)$ as \[ λ_{p,q}(G):=\max_{||{\bf x}||_p=||{\bf y}||_q=1} \sum_{e\in E(G)}\Bigg(\prod_{u\in T(e)}x_u\Bigg)\Bigg(\prod_{v\in H(e)}y_v\Bigg), \] where ${\bf x}=(x_1, \ldots, x_m)^{\rm T}$, ${\bf y}=(y_1,\ldots, y_n)^{\rm T}$ are real vectors; and $T(e)$, $H(e)$ are the tail and head of arc $e$, respectively. We study some properties about $λ_{p,q}(G)$ including the bounds and the spectral relation between $G$ and its components. The $α$-normal labeling method for uniform hypergraphs was introduced by Lu and Man in 2014. It is an effective method in studying the spectral radii of uniform hypergraphs. In this paper, we develop the $α$-normal labeling method for calculating the $(p,q)$-spectral radii of $(r,s)$-directed hypergraphs. Finally, some applications of $α$-normal labeling method are given.
Let $G$ be an $r$-uniform hypergraph of order $n$. For each $p\geq 1$, the $p$-spectral radius $λ^{(p)}(G)$ is defined as \[ λ^{(p)}(G):=\max_{|x_1|^p+\cdots+|x_n|^p=1} r\sum_{\{i_1,\ldots,i_r\}\in E(G)}x_{i_1}\cdots x_{i_r}. \] The $p$-spectral radius was introduced by Keevash-Lenz-Mubayi, and subsequently studied by Nikiforov in 2014. The most extensively studied case is when $p=r$, and $λ^{(r)}(G)$ is called the spectral radius of $G$. The $α$-normal labeling method, which was introduced by Lu and Man in 2014, is effective method for computing the spectral radii of uniform hypergraphs. It labels each corner of an edge by a positive number so that the sum of the corner labels at any vertex is $1$ while the product of all corner labels at any edge is $α$. Since then, this method has been used by many researchers in studying $λ^{(r)}(G)$. In this paper, we extend Lu and Man's $α$-normal labeling method to the $p$-spectral radii of uniform hypergraphs for $p\ne r$; and find some applications.
Let $H$ be an $r$-uniform hypergraph on $n$ vertices and $m$ edges, and let $d_i$ be the degree of $i\in V(H)$. Denote by $\varepsilon(H)$ the difference of the spectral radius of $H$ and the average degree of $H$. Also, denote \[ s(H)=\sum_{i\in V(H)}\left|d_i-\frac{rm}{n}\right|,~ v(H)=\frac{1}{n}\sum_{i\in V(H)}d_i^{\frac{r}{r-1}}-\left(\frac{rm}{n}\right)^{\frac{r}{r-1}}. \] In this paper, we investigate the irregularity of $r$-uniform hypergraph $H$ with respect to $\varepsilon(H)$, $s(H)$ and $v(H)$, which extend relevant results to uniform hypergraphs.
Let $\mathcal{A}(H)$ be the adjacency tensor of $r$-uniform hypergraph $H$. If $H$ is connected, the unique positive eigenvector $x=(x_1,x_2,\ldots,x_n)^{\mathrm{T}}$ with $||x||_r=1$ corresponding to spectral radius $ρ(H)$ is called the principal eigenvector of $H$. The maximum and minimum entries of $x$ are denoted by $x_{\max}$ and $x_{\min}$, respectively. In this paper, we investigate the bounds of $x_{\max}$ and $x_{\min}$ in the principal eigenvector of $H$. Meanwhile, we also obtain some bounds of the ratio $x_i/x_j$ for $i$, $j\in [n]$ as well as the principal ratio $γ(H)=x_{\max}/x_{\min}$ of $H$. As an application of these results we finally give an estimate of the gap of spectral radii between $H$ and its proper sub-hypergraph $H'$.
Let $\mathcal{A}(H)$ and $\mathcal{Q}(H)$ be the adjacency tensor and signless Laplacian tensor of an $r$-uniform hypergraph $H$. Denote by $ρ(H)$ and $ρ(\mathcal{Q}(H))$ the spectral radii of $\mathcal{A}(H)$ and $\mathcal{Q}(H)$, respectively. In this paper we present a lower bound on $ρ(H)$ in terms of vertex degrees and we characterize the extremal hypergraphs attaining the bound, which solves a problem posed by Nikiforov [V. Nikiforov, Analytic methods for uniform hypergraphs, Linear Algebra Appl. 457 (2014) 455-535]. Also, we prove a lower bound on $ρ(\mathcal{Q}(H))$ concerning degrees and give a characterization of the extremal hypergraphs attaining the bound.
Let A(G) be the adjacency tensor (hypermatrix) of uniform hypergraph G. The maximum modulus of the eigenvalues of A(G) is called the spectral radius of G. In this paper, the conjecture of Fan et al. in [5] related to compare the spectral radii of some three uniform hypergraphs is solved. Moreover, some eigenvalues properties of a kind of uniform hypergraphs are obtained.