arXiv++ Combinatorics

For a simple graph $F$, let $\mathrm{Ex}(n, F)$ and $\mathrm{Ex_{sp}}(n,F)$ denote the set of graphs with the maximum number of edges and the set of graphs with the maximum spectral radius in an $n$-vertex graph without any copy of the graph $F$, respectively. The Turán graph $T_{n,r}$ is the complete $r$-partite graph on $n$ vertices where its part sizes are as equal as possible. Cioabă, Desai and Tait [The spectral radius of graphs with no odd wheels, European J. Combin., 99 (2022) 103420] posed the following conjecture: Let $F$ be any graph such that the graphs in $\mathrm{Ex}(n,F)$ are Turán graphs plus $O(1)$ edges. Then $\mathrm{Ex_{sp}}(n,F)\subset \mathrm{Ex}(n,F)$ for sufficiently large $n$. In this paper we consider the graph $F$ such that the graphs in $\mathrm{Ex}(n, F)$ are obtained from $T_{n,r}$ by adding $O(1)$ edges, and prove that if $G$ has the maximum spectral radius among all $n$-vertex graphs not containing $F$, then $G$ is a member of $\mathrm{Ex}(n, F)$ for $n$ large enough. Then Cioabă, Desai and Tait's conjecture is completely solved.

Let $A_n=(a_1,a_2,\ldots,a_n)$ and $B_n=(b_1,b_2,\ldots,b_n)$ be nonnegative integer sequences with $A_n\le B_n$. The purpose of this note is to give a good characterization such that every integer sequence $π=(d_1,d_2,\ldots d_n)$ with even sum and $A_n\le π\le B_n$ is graphic. This solves a forcible version of problem posed by Niessen and generalizes the Erdős--Gallai theorem.

An edge-colored hypergraph is rainbow if all of its edges have different colors. Given two hypergraphs $\mathcal{H}$ and $\mathcal{G}$, the anti-Ramsey number $ar(\mathcal{G}, \mathcal{H})$ of $\mathcal{H}$ in $\mathcal{G}$ is the maximum number of colors needed to color the edges of $\mathcal{G}$ so that there does not exist a rainbow copy of $\mathcal{H}$. Li et al. determined the anti-Ramsey number of $k$-matchings in complete bipartite graphs. Jin and Zang showed the uniqueness of the extremal coloring. In this paper, as a generalization of these results, we determine the anti-Ramsey number $ar_r(\mathcal{K}_{n_1,\ldots,n_r},M_k)$ of $k$-matchings in complete $r$-partite $r$-uniform hypergraphs and show the uniqueness of the extremal coloring. Also, we show that $\mathcal{K}_{k-1,n_2,\ldots,n_r}$ is the unique extremal hypergraph for Turán number $ex_r(\mathcal{K}_{n_1,\ldots,n_r},M_k)$ and show that $ar_r(\mathcal{K}_{n_1,\ldots,n_r},$ $M_k)=ex_r(\mathcal{K}_{n_1,\ldots,n_r},M_{k-1})+1$, which gives a multi-partite version result of Özkahya and Young's conjecture.

The $(k,r)$-fan is the graph consisting of $k$ copies of the complete graph $K_r$ which intersect in a single vertex, and is denoted by $F_{k,r}$. Erdős, Füredi, Gould and Gunderson [J. Combin. Theory Ser. B 64 (1995) 89--100] determined the maximum number of edges in an $n$-vertex graph that does not contain $F_{k,3}$ as a subgraph. Furthermore, Chen, Gould, Pfender and Wei [J. Combin. Theory Ser. B 89 (2003) 159--171] proved the analogous result on $F_{k,r}$ for the general case $r\ge 3$.In this paper, we show that for sufficiently large $n$, the graphs of order $n$ that contain no copy of $F_{k,r}$ and attain the maximum spectral radius are also edge-extremal. That is, such graphs must have $\mathrm{ex}(n, F_{k,r})$ edges.

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.

In this paper, using the theory of matching polynomial of hypertrees and ordering of hypertrees, we determine the largest spectral radius of hypertrees with $m$ edges and given size of matching.

We study matching polynomials of uniform hypergraph and spectral radii of uniform supertrees. By comparing the matching polynomials of supertrees, we extend Li and Feng's results on grafting operations on graphs to supertrees. Using the methods of grafting operations on supertrees and comparing matching polynomials of supertrees, we determine the first $\lfloor\frac{d}{2}\rfloor+1$ largest spectral radii of $r$-uniform supertrees with size $m$ and diameter $d$. In addition, the first two smallest spectral radii of supertrees with size $m$ are determined.

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.

A matching in a hypergraph $H$ is a set of pairwise disjoint hyperedges. The matching number $α'(H)$ of $H$ is the size of a maximum matching in $H$. A subset $D$ of vertices of $H$ is a dominating set of $H$ if for every $v\in V\setminus D$ there exists $u\in D$ such that $u$ and $v$ lie in an hyperedge of $H$. The cardinality of a minimum dominating set of $H$ is called the domination number of $H$, denoted by $γ(H)$. It is known that for a intersecting hypergraph $H$ with rank $r$, $γ(H)\leq r-1$. In this paper we present structural properties on intersecting hypergraphs with rank $r$ satisfying the equality $γ(H)=r-1$. By applying the properties we show that all linear intersecting hypergraphs $H$ with rank $4$ satisfying $γ(H)=r-1$ can be constructed by the well-known Fano plane.

A matching in a hypergraph $\mathcal{H}$ is a set of pairwise disjoint hyperedges. The matching number $ν(\mathcal{H})$ of $\mathcal{H}$ is the size of a maximum matching in $\mathcal{H}$. A subset $D$ of vertices of $\mathcal{H}$ is a dominating set of $\mathcal{H}$ if for every $v\in V\setminus D$ there exists $u\in D$ such that $u$ and $v$ lie in an hyperedge of $\mathcal{H}$. The cardinality of a minimum dominating set of $\mathcal{H}$ is the domination number of $\mathcal{H}$, denoted by $γ(\mathcal{H})$. It was proved that $γ(\mathcal{H})\leq (r-1)ν(\mathcal{H})$ for $r$-uniform hypergraphs and the 2-uniform hypergraphs (graphs) achieving equality $γ(\mathcal{H})=ν(\mathcal{H})$ have been characterized. In this paper we generalize the inequality $γ(\mathcal{H})\leq (r-1)ν(\mathcal{H})$ to arbitrary hypergraph of rank $r$ and we completely characterize the extremal hypergraphs $\mathcal{H}$ of rank $3$ achieving equality $γ(\mathcal{H})=(r-1)ν(\mathcal{H})$.

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 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.

A matching in a hypergraph $H$ is a set of pairwise vertex disjoint edges in $H$ and the matching number of $H$ is the maximum cardinality of a matching in $H$. A transversal in $H$ is a subset of vertices in $H$ that has a nonempty intersection with every edge of $H$. The transversal number $τ(H)$ of $H$ is the minimum cardinality of a transversal in $H$. A hypergraph $H$ is an intersecting hypergraph if every two distinct edges of $H$ have a non-empty intersection. Equivalently, $H$ is an intersecting hypergraph if and only if it has matching number one. In this paper we study the extremal behavior of matching critical intersecting hypergraphs. We partly solve an open problem on matching critical intersecting hypergraphs posed by Henning and Yeo. We also prove a strengthening of the result for intersecting $r$-uniform hypergraphs.

A clique-coloring of a graph $G$ is a coloring of the vertices of $G$ so that no maximal clique of size at least two is monochromatic. The clique-hypergraph, $\mathcal{H}(G)$, of a graph $G$ has $V(G)$ as its set of vertices and the maximal cliques of $G$ as its hyperedges. A (vertex) coloring of $\mathcal{H}(G)$ is a clique-coloring of $G$. The clique-chromatic number of $G$ is the least number of colors for which $G$ admits a clique-coloring. Every planar graph has been proved to be 3-clique-colorable (Electr. J. Combin. 6 (1999), \#R26). Recently, we showed that every claw-free planar graph, different from an odd cycle, is $2$-clique-colorable (European J. Combin. 36 (2014) 367-376). In this paper we generalize these results to \{claw, $K_5$-minor\}-free graphs.

The $p$-spectral radius of a graph $G\ $of order $n$ is defined for any real number $p\geq1$ as \[ λ^{\left( p\right) }\left( G\right) =\max\left\{ 2\sum_{\{i,j\}\in E\left( G\right) \ }x_{i}x_{j}:x_{1},\ldots,x_{n}\in\mathbb{R}\text{ and }\left\vert x_{1}\right\vert ^{p}+\cdots+\left\vert x_{n}\right\vert ^{p}=1\right\} . \] The most remarkable feature of $λ^{\left( p\right) }$ is that it seamlessly joins several other graph parameters, e.g., $λ^{\left( 1\right) }$ is the Lagrangian, $λ^{\left( 2\right) }$ is the spectral radius and $λ^{\left( \infty\right) }/2$ is the number of edges. This paper presents solutions to some extremal problems about $λ^{\left( p\right) }$, which are common generalizations of corresponding edge and spectral extremal problems. Let $T_{r}\left( n\right) $ be the $r$-partite Turán graph of order $n.$ Two of the main results in the paper are: (I) Let $r\geq2$ and $p>1.$ If $G$ is a $K_{r+1}$-free graph of order $n,$ then \[ λ^{\left( p\right) }\left( G\right) <λ^{\left( p\right) }\left( T_{r}\left( n\right) \right) , \] unless $G=T_{r}\left( n\right) .$ (II) Let $r\geq2$ and $p>1.$ If $G\ $is a graph of order $n,$ with \[ λ^{\left( p\right) }\left( G\right) >λ^{\left( p\right) }\left( T_{r}\left( n\right) \right) , \] then $G$ has an edge contained in at least $cn^{r-1}$ cliques of order $r+1,$ where $c$ is a positive number depending only on $p$ and $r.$