arXiv++ Combinatorics

Let SPEX$_\mathcal{P}(n,F)$ and SPEX$_\mathcal{OP}(n,F)$ denote the sets of graphs with the maximum spectral radius over all $n$-vertex $F$-free planar and outerplanar graphs, respectively. Define $tP_l$ as a linear forest of $t$ vertex-disjoint $l$-paths and $P_{t\cdot l}$ as a starlike tree with $t$ branches of length $l-1$. Building on the structural framework by Tait and Tobin [J. Combin. Theory Ser. B, 2017] and the works of Fang, Lin and Shi [J. Graph Theory, 2024] on the planar spectral extremal graphs without vertex-disjoint cycles, this paper determines the extremal graphs in $\text{SPEX}_\mathcal{P}(n,tP_l)$ and $\text{SPEX}_\mathcal{OP}(n,tP_l)$ for sufficiently large $n$. When $t=1$, since $tP_l$ is a path of a specific length, our results adapt Nikiforov's findings [Linear Algebra Appl. 2010] under the (outer)planarity condition. When $l=2$, note that $tP_l$ consists of $t$ independent $K_2$, then as a corollary, we generalize the results of Wang, Huang and Lin [arXiv: 2402.16419] and Yin and Li [arXiv:2409.18598v2]. Moreover, motivated by results of Zhai and Liu [Adv. in Appl. Math, 2024], we consider the extremal problems for edge-disjoint paths and determine the extremal graphs in $\text{SPEX}_\mathcal{P}(n,P_{t\cdot l})$ and $\text{SPEX}_\mathcal{OP}(n,P_{t\cdot l})$ for sufficiently large $n$.

A graph is trivial if it contains one vertex and no edges. The essential connectivity $κ^{\prime}$ of $G$ is defined to be the minimum number of vertices of $G$ whose removal produces a disconnected graph with at least two non-trivial components. Let $\mathcal{A}_n^{κ',δ}$ be the set of graphs of order $n$ with minimum degree $δ$ and essential connectivity $κ'$. In this paper, we determine the graphs attaining the maximum spectral radii among all graphs in $\mathcal{A}_n^{κ',δ}$ and characterize the corresponding extremal graphs. In addition, we also determine the digraphs which achieve the maximum spectral radii among all strongly connected digraphs with given essential connectivity and give the exact values of the spectral radii of these digraphs.

Given a graph $T$ and a family of graphs $\mathcal{F}$, the maximum number of copies of $T$ in an $\mathcal{F}$-free graph on $n$ vertices is called the generalized Turán number, denoted by $ex(n, T , \mathcal{F})$. When $T= K_2$, it reduces to the classical Turán number $ex(n, \mathcal{F})$. Let $ex_{bip}(b,n, T , \mathcal{F})$ be the maximum number of copies of $T$ in an $\mathcal{F}$-free bipartite graph with two parts of sizes $b$ and $n$, respectively. Let $P_k$ be the path on $k$ vertices, $\mathcal{C}_{\ge k}$ be the family of all cycles with length at least $k$ and $M_k$ be a matching with $k$ edges. In this article, we determine $ex_{bip}(b,n, K_{s,t}, \mathcal{C}_{\ge 2n-2k})$ exactly in a connected bipartite graph $G$ with minimum degree $δ(G) \geq r\ge 1$, for $b\ge n\ge 2k+2r$ and $k\in \mathbb{Z}$, which generalizes a theorem of Moon and Moser, a theorem of Jackson and gives an affirmative evidence supporting a conjecture of Adamus and Adamus. As corollaries of our main result, we determine $ex_{bip}(b,n, K_{s,t}, P_{2n-2k})$ and $ex_{bip}(b,n, K_{s,t}, M_{n-k})$ exactly in a connected bipartite graph $G$ with minimum degree $δ(G) \geq r\ge 1$, which generalizes a theorem of Wang. Moreover, we determine $ex(n, K_{s,t}, \mathcal{C}_{\ge k})$ and $ex(n, K_{s,t}, P_{k})$ respectively in a connected graph $G$ with minimum degree $δ(G) \geq r\ge 1$, which generalizes a theorem of Lu, Yuan and Zhang.

A digraph $D$ is supereulerian if $D$ contains a spanning eulerian subdigraph. For any two vertices $u,v$ in a digraph $D$, if $(u,w),(v,w)\in A(D)$ for some $w\in V(D)$, then we call the pair $\{u, v\}$ dominating; if $(w,u),(w,v)\in A(D)$ for some $w\in V(D)$, then we call the pair $\{u, v\}$ dominated. In 2015, Bang-Jensen and Maddaloni [Journal of graph theory, 79(1) (2015) 8-20] proved that if a strong digraph $D$ with $n$ vertices satisfies $d(u) + d(v)\geq 2n -3$ for any pair of nonadjacent vertices $\{u,v\}$ of $D$, then $D$ is supereulerian. In this paper, we study the above degree sum condition for any pair of dominated or dominating nonadjacent vertices of supereulerian digraphs.

A $k$-hypertournament $H$ on $n$ vertices is a pair $(V(H),A(H))$, where $V(H)$ is a set of vertices and $A(H)$ is a set of $k$-tuples of vertices, called arcs, such that for any $k$-subset $S$ of $V(H)$, $A(H)$ contains exactly one of the $k!$ $k$-tuples whose entries belong to $S$. Clearly, a 2-hypertournament is a tournament. An antidirected path in $H$ is a sequence $x_1 a_1 x_2 a_2 x_3 \ldots x_{t-1} a_{t-1} x_t$ of distinct vertices $x_1, x_2, \ldots, x_t$ and distinct arcs $a_1, a_{2},\ldots, a_{t-1}$ such that for any $i\in \{2,3,\ldots, t-1\}$, either $x_{i-1}$ precedes $x_{i}$ in $a_{i-1}$ and $x_{i+1}$ precedes $x_{i}$ in $a_{i}$, or $x_{i}$ precedes $x_{i-1}$ in $a_{i-1}$ and $x_{i}$ precedes $x_{i+1}$ in $a_{i}$. An antidirected path that includes all vertices of $H$ is known as an antidirected hamiltonian path. In this paper, we prove that except for four hypertournaments, $T_3^{c}, T_5^{c}, T_7^{c}$ and $H_{4}$, every $k$-hypertournament with $n$ vetices, where $2\leq k\leq n-1$, has an antidirected hamiltonian path, which extends Grünbaum's theorem on tournaments (except for three tournaments, $T_3^{c}, T_5^{c}$ and $T_7^{c}$, every tournament has an antidirected hamiltonian path).

A digraph $D$ with a subset $S$ of $V(D)$ is called $\boldsymbol{S}${\bf -strong} if for every pair of distinct vertices $u$ and $v$ of $S$, there is a $(u, v)$-dipath and a $(v, u)$-dipath in $D$. We define a digraph $D$ with a subset $S$ of $V(D)$ to be $\boldsymbol{S}${\bf -strictly strong} if there exist two nonadjacent vertices $u,v\in S$ such that $D$ contains a closed ditrail through the vertices $u$ and $v$; and define a subset $S\subseteq V(D)$ to be {\bf closed-trailable} if $D$ contains a closed ditrail through all the vertices of $S$. In this paper, we prove that for a digraph $D$ with $n$ vertices and a subset $S$ of $V(D)$, if $D$ is $S$-strong and if $d(u) + d(v)\geq 2n -3$ for any two nonadjacent vertices $u,v$ of $S$, then $S$ is closed-trailable. This result generalizes the theorem of Bang-Jensen et al. \cite{BaMa14} on supereulerianity. Moveover, we show that for a digraph $D$ and a subset $S$ of $V(D)$, if $D$ is $S$-strictly strong and if $δ^0(D\langle S\rangle)\geqα'(D\langle S\rangle)>0$, where $δ^0(D\langle S\rangle)$ is the minimum semi-degree of $D\langle S\rangle$ and $α'(D\langle S\rangle)$ is the matching number of $D\langle S\rangle$, then $S$ is closed-trailable. This result generalizes the theorem of Algefari et al. \cite{AlLa15} on supereulerianity.

Signed graphs have their edges labeled either as positive or negative. $ρ(M)$ denote the $M$-spectral radius of $Σ$, where $M=M(Σ)$ is a real symmetric graph matrix of $Σ$. Obviously, $ρ(M)=\mbox{max}\{λ_1(M),-λ_n(M)\}$. Let $A(Σ)$ be the adjacency matrix of $Σ$ and $(K_n,H^-)$ be a signed complete graph whose negative edges induce a subgraph $H$. In this paper, we first focus on a central problem in spectral extremal graph theory as follows: Which signed graph with maximum $ρ(A(Σ))$ among $(K_n,T^-)$ where $T$ is a spanning tree? To answer the problem, we characterize the extremal signed graph with maximum $λ_1(A(Σ))$ and minimum $λ_n(A(Σ))$ among $(K_n,T^-)$, respectively. Another interesting graph matrix of a signed graph is distance matrix, i.e. $D(Σ)$ which was defined by Hameed, Shijin, Soorya, Germina and Zaslavsky [8]. Note that $A(Σ)=D(Σ)$ when $Σ\in (K_n,T^-)$. In this paper, we give upper bounds on the least distance eigenvalue of a signed graph $Σ$ with diameter at least 2. This result implies a result proved by Lin [11] was originally conjectured by Aouchiche and Hansen [1].

Let $H=(V,E)$ be a hypergraph, where $V$ is a set of vertices and $E$ is a set of non-empty subsets of $V$ called edges. If all edges of $H$ have the same cardinality $r$, then $H$ is a $r$-uniform hypergraph; if $E$ consists of all $r$-subsets of $V$, then $H$ is a complete $r$-uniform hypergraph, denoted by $K_n^r$, where $n=|V|$. A hypergraph $H'=(V',E')$ is called a subhypergraph of $H=(V,E)$ if $V'\subseteq V$ and $E'\subseteq E$. A $r$-uniform hypergraph $H=(V,E)$ is vertex-$k$-maximal if every subhypergraph of $H$ has vertex-connectivity at most $k$, but for any edge $e\in E(K_n^r)\setminus E(H)$, $H+e$ contains at least one subhypergraph with vertex-connectivity at least $k+1$. In this paper, we first prove that for given integers $n,k,r$ with $k,r\geq2$ and $n\geq k+1$, every vertex-$k$-maximal $r$-uniform hypergraph $H$ of order $n$ satisfies $|E(H)|\geq (^n_r)-(^{n-k}_r)$, and this lower bound is best possible. Next, we conjecture that for sufficiently large $n$, every vertex-$k$-maximal $r$-uniform hypergraph $H$ on $n$ vertices satisfies $|E(H)|\leq(^n_r)-(^{n-k}_r)+(\frac{n}{k}-2)(^k_r)$, where $k,r\geq2$ are integers. And the conjecture is verified for the case $r>k$.

Let $G$ be a graph with adjacency matrix $A(G)$, and let $D(G)$ be the diagonal matrix of the degrees of $G$. For any real $α\in[0,1]$, write $A_α(G)$ for the matrix $$A_α(G)=αD(G)+(1-α)A(G).$$ This paper presents some extremal results about the spectral radius $ρ(A_α(G))$ of $A_α(G)$ that generalize previous results about $ρ(A_0(G))$ and $ρ(A_{\frac{1}{2}}(G))$. In this paper, we give some results on graph perturbation for $A_α$-matrix with $α\in [0,1)$. As applications, we characterize all extremal trees with the maximum $A_α$-spectral radius in the set of all trees with prescribed degree sequence firstly. Furthermore, we characterize the unicyclic graphs that have the largest $A_α$-spectral radius for a given unicycilc degree sequence.

Let $H=(V,E)$ be a hypergraph, where $V$ is a set of vertices and $E$ is a set of non-empty subsets of $V$ called edges. If all edges of $H$ have the same cardinality $r$, then $H$ is a $r$-uniform hypergraph; if $E$ consists of all $r$-subsets of $V$, then $H$ is a complete $r$-uniform hypergraph, denoted by $K_n^r$, where $n=|V|$. A $r$-uniform hypergraph $H=(V,E)$ is $(k,l)$-edge-maximal if every subhypergraph $H'$ of $H$ with $|V(H')|\geq l$ has edge-connectivity at most $k$, but for any edge $e\in E(K_n^r)\setminus E(H)$, $H+e$ contains at least one subhypergraph $H''$ with $|V(H'')|\geq l$ and edge-connectivity at least $k+1$. In this paper, we obtain the lower bounds and the upper bounds of the sizes of $(k,l)$-edge-maximal hypergraphs. Furthermore, we show that these bounds are best possible. Thus prior results in [Y.Z. Tian, L.Q. Xu, H.-J. Lai, J.X. Meng, On the sizes of $k$-edge-maximal $r$-uniform hypergraphs, arXiv:1802.08843v3] are extended.

Let $H=(V,E)$ be a hypergraph, where $V$ is a set of vertices and $E$ is a set of non-empty subsets of $V$ called edges. If all edges of $H$ have the same cardinality $r$, then $H$ is a $r$-uniform hypergraph; if $E$ consists of all $r$-subsets of $V$, then $H$ is a complete $r$-uniform hypergraph, denoted by $K_n^r$, where $n=|V|$. A hypergraph $H'=(V',E')$ is called a subhypergraph of $H=(V,E)$ if $V'\subseteq V$ and $E'\subseteq E$. A $r$-uniform hypergraph $H=(V,E)$ is $k$-edge-maximal if every subhypergraph of $H$ has edge-connectivity at most $k$, but for any edge $e\in E(K_n^r)\setminus E(H)$, $H+e$ contains at least one subhypergraph with edge-connectivity at least $k+1$. Let $k$ and $r$ be integers with $k\geq2$ and $r\geq2$, and let $t=t(k,r)$ be the largest integer such that $(^{t-1}_{r-1})\leq k$. That is, $t$ is the integer satisfies $(^{t-1}_{r-1})\leq k<(^{t}_{r-1})$. We prove that if $H$ is a $r$-uniform $k$-edge-maximal hypergraph such that $n=|V(H)|\geq t$, then ($i$) $|E(H)|\leq (^{t}_{r})+(n-t)k$, and this bound is best possible; ($ii$) $|E(H)|\geq (n-1)k -((t-1)k-(^{t}_{r}))\lfloor\frac{n}{t}\rfloor$, and this bound is best possible. This extends former results in [8] and [6].

Mader [J. Graph Theory 65 (2010) 61-69] conjectured that for every positive integer $k$ and every finite tree $T$ with order $m$, every $k$-connected, finite graph $G$ with $δ(G)\geq \lfloor\frac{3}{2}k\rfloor+m-1$ contains a subtree $T'$ isomorphic to $T$ such that $G-V(T')$ is $k$-connected. The conjecture has been verified for paths, trees when $k=1$, and stars or double-stars when $k=2$. In this paper we verify the conjecture for two classes of trees when $k=2$. For digraphs, Mader [J. Graph Theory 69 (2012) 324-329] conjectured that every $k$-connected digraph $D$ with minimum semi-degree $δ(D)=min\{δ^+(D),δ^-(D)\}\geq 2k+m-1$ for a positive integer $m$ has a dipath $P$ of order $m$ with $κ(D-V(P))\geq k$. The conjecture has only been verified for the dipath with $m=1$, and the dipath with $m=2$ and $k=1$. In this paper, we prove that every strongly connected digraph with minimum semi-degree $δ(D)=min\{δ^+(D),δ^-(D)\}\geq m+1$ contains an oriented tree $T$ isomorphic to some given oriented stars or double-stars with order $m$ such that $D-V(T)$ is still strongly connected.

In [W. Mader, Connectivity keeping paths in $k$-connected graphs, J. Graph Theory 65 (2010) 61-69.], Mader conjectured that for every positive integer $k$ and every finite tree $T$ with order $m$, every $k$-connected, finite graph $G$ with $δ(G)\geq \lfloor\frac{3}{2}k\rfloor+m-1$ contains a subtree $T'$ isomorphic to $T$ such that $G-V(T')$ is $k$-connected. In the same paper, Mader proved that the conjecture is true when $T$ is a path. Diwan and Tholiya [A.A. Diwan, N.P. Tholiya, Non-separating trees in connected graphs, Discrete Math. 309 (2009) 5235-5237.] verified the conjecture when $k=1$. In this paper, we will prove that Mader's conjecture is true when $T$ is a star or double-star and $k=2$.

A digraph X=(V, E) is max-λ, if λ(X)=δ(X). A digraph X is super-λif every minimum cut of X is either the set of inarcs of some vertex or the set of outarcs of some vertex. In this paper, we will prove that for all but a few exceptions, the strongly connected mixed Cayley digraphs are max-λand super-λ.

Let X=(V, E) be a digraph. X is maximally connected, if κ(X)=δ(X). X is maximally arc-connected, if λ(X)=δ(X). And X is super arc-connected, if every minimum arc-cut of X is either the set of inarcs of some vertex or the set of outarcs of some vertex. In this paper, we will prove that the strongly connected Bi-Cayley digraphs are maximally connected and maximally arc-connected, and the most of strongly connected Bi-Cayley digraphs are super arc-connected.

Let $G=(V,E)$ be a multigraph (it has multiple edges, but no loops). The edge connectivity, denoted by $λ(G)$, is the cardinality of a minimum edge-cut of $G$. We call $G$ maximally edge-connected if $λ(G)=δ(G)$, and $G$ super edge-connected if every minimum edge-cut is a set of edges incident with some vertex. The restricted edge-connectivity $λ'(G)$ of $G$ is the minimum number of edges whose removal disconnects $G$ into non-trivial components. If $λ'(G)$ achieves the upper bound of restricted edge-connectivity, then $G$ is said to be $λ'$-optimal. A bipartite multigraph is said to be half-transitive if its automorphism group is transitive on the sets of its bipartition. In this paper, we will characterize maximally edge-connected half-transitive multigraphs, super edge-connected half-transitive multigraphs, and $λ'$-optimal half-transitive multigraphs.