arXiv++ Combinatorics

A $q$-kernel of a digraph $D$ is an independent set $Q\subseteq D$ such that every vertex of $D$ is reachable from $Q$ by a directed path of length at most $q$, which is a natural generalization of kernels and quasikernels. In this paper, we establish three results on generalized quasikernels. Firstly, we prove that any $n$-vertex source-free bipartite oriented graph with no directed 4-cycles has a quasikernel of size at most $17n/35$. Secondly, we show that every digraph with no $(r-1)$-source set contains $r$ pairwise disjoint $(3r-2)$-kernels, where $r\ge 2$. At last, we consider unicyclic digraph with a directed cycle of length $2\ell$ and bipartition $U\cup V$, and we prove that for every odd integer $q\ge 3$, there exist two $q$-kernels $Q_U\subseteq U$ and $Q_V\subseteq V$ such that \[ |Q_U|+|Q_V| \le 2\cdot \frac{\lceil \ell/(q+1)\rceil}{\ell} |V(D)|. \] These results confirm two conjectures and give an affirmative answer to a question posed by Spiro in European Journal of Combinatorics 133 (2026), 104307.

Recently, Frankl and Wang considered a product version of the classical Hilton-Milner theorem. They conjectured that, if $\mathcal{F} \subset \binom{[n]}{k}$ and $\mathcal{G} \subset \binom{[n]}{\ell}$ are non-trivial cross-intersecting families with $n \geq 2k > 2\ell \geq 4$, the maximum of $|\mathcal{F}||\mathcal{G}|$ is attained by the natural Hilton-Milner-type configurations. In this paper, we present two main results concerning this conjecture. Firstly, we show that the conjecture does not hold in general. By introducing a two-center construction, we prove that for every fixed integer $\ell \geq 3$ and all sufficiently large $k$, the conjecture is false in a linear range $2k+1 \leq n \leq (c_\ell - ε)k$ for any $0 < ε< c_\ell - 2$, where $c_\ell > 2$ is an explicit constant. Secondly, we prove that the conjecture holds when $n > 100\ell k^2$ and $3 \leq \ell < k$, and we completely characterize the extremal families. Our proofs rely on the size of minimal covers and analyzing the structural properties of $2$-cover graphs.

A dissociation set in a graph is a subset of vertices that induces a subgraph of maximum degree at most one, which is a natural generalization of the notion of an independent set. The dissociation number of a graph is defined as the maximum cardinality of a dissociation set. This paper studies the minimum spectral radius of connected graphs with a given order $n$ and a given dissociation number $ψ$. For $ψ=n-k$ with $k\ge 4$ fixed and $n$ sufficiently large, we establish both upper and lower bounds for this minimum spectral radius and prove the extremal graphs must belong to a specific graph class.

For a family $\mathcal{F}$, it is called intersecting if $F\cap F'\neq \emptyset$ for all $F,F'\in\mathcal{F}$. We use $\mathcal{SD}(\mathcal{F}) = \{F \triangle G : F, G \in \mathcal{F}\}$ to denote the family of symmetric differences of $\mathcal{F}$. In 2023, Frankl, Kiselev and Kupavskii conjectured that for any intersecting family $\mathcal{F} \subseteq \binom{[n]}{k}$ with $n > 10k$, the inequality $|\mathcal{SD}(\mathcal{F})| \le \sum_{\ell=0}^{k-1} \binom{n-1}{2\ell}$ holds. They further observed that a proof for the range $n>3k^2$ could likely be obtained via arguments similar to those in their earlier work, though no detailed derivation was given. In this paper, we establish the conjecture under the conditions $n\ge 100k\ln k$ and $k\ge 50$. We also determine the extremal families, which are precisely a certain class of stars. A concentration inequality plays a central role in the proof.

A dissociation set in a graph is a subset of vertices which induces a subgraph with maximum degree at most one. The dissociation number of a graph is the maximum cardinality of its dissociation sets. In this paper, we consider the $n$-vertex connected graphs with a given dissociation number that attain the minimum spectral radius. By using structure analysis and constructing difference equations, we characterize the extremal graphs with dissociation number $n-3$.

Let $G$ be a connected nonregular graphs of order $n$ with maximum degree $Δ$ that attains the maximum spectral radius. Liu and Li (2008) proposed a conjecture stating that $G$ has a degree sequence $(Δ,\ldots,Δ,δ)$ with $δ<Δ$. For $Δ=3$ and $Δ=4$, Liu (2024) confirmed this conjecture by characterizing the structure of such graphs. Liu also proposed a modified version of the conjecture for fixed $Δ$ and sufficiently large $n$, stating that the above $δ=Δ-1$ if $Δ$ and $n$ are both odd, $δ=1$ if $Δ$ is odd and $n$ is even, and $δ=Δ-2$ if $Δ$ is even. For the cases where $Δ=n-2$ with $n\ge 5$, and $Δ=n-3$ with $n\ge 59$, we fully characterize the structure of $G$.

Given a positive integer $t$, let $P_{t,2}$ be the digraph consisting of $t$ directed paths of length 2 with the same initial and terminal vertices. In this paper, we study the maximum size of $P_{t+1,2}$-free digraphs of order $n$, which is denoted by $ex(n, P_{t+1,2})$. For sufficiently large $n$, we prove that $ex(n, P_{t+1})=g(n,t)$ when $\lfloor(n-t)/{2} \rfloor$ is odd and $ex(n, P_{t+1,2})\in \{g(n,t)-1, g(n,t)\}$ when $\lfloor(n-t)/{2} \rfloor$ is even, where $g(n,t)=\left\lceil(n+t)/{2}\right\rceil \left\lfloor(n-t)/{2}\right\rfloor+tn+1$.

An oriented graph is a digraph obtained from an undirected graph by choosing an orientation for each edge. Given a positive integer $n$ and an oriented graph $F$, the oriented Tur$\acute{\rm a}$n number $ex_{ori}(n,F)$ is the maximum number of arcs in an $F$-free oriented graph of order $n$. In this paper, we investigate the oriented Tur$\acute{\rm a}$n number $ex_{ori}(n, \overrightarrow{S_{k,1}} )$, where $\overrightarrow{S_{k,1}}$ is the $1$-subdivision of the in-star of order $k+1$. We determine $ex_{ori}(n,\overrightarrow{S_{k,1}}) $ for $k=2,3$ as well as the extremal oriented graphs. For $k\ge 4$, we establish a lower bound and an upper bound on $ex_{ori}(n,\overrightarrow{S_{k,1}})$.

A potted graph is a unicyclic graph such that its cycle contains a unique vertex with degree larger than 2. Given a graph $G$, a subset of $V(G)$ is a dissociation set of $G$ if it induces a subgraph with maximum degree at most one. A maximum dissociation set is a dissociation set with maximum cardinality. In this paper, we determine the maximum number of maximum dissociation sets in a potted graph of order $n$ which contains a fixed cycle. Extremal potted graphs attaining this maximum number are also characterized.

A dissociation set of a graph is a set of vertices which induces a subgraph with maximum degree less than or equal to one. The dissociation number of a graph is the maximum cardinality of its dissociation sets. In this paper, we study the connected graphs of order $n$ with a given dissociation number that attains the minimum spectral radius. We characterize these graphs when the dissociation number is in $\{n-1,~n-2,~\lceil2n/3\rceil,~\lfloor2n/3\rfloor,~2\}$. We also prove that these graphs are trees when the dissociation number is larger than $\lceil {2n}/{3}\rceil$.

The Birkhoff polytope $Ω_n$ is the polytope of doubly stochastic matrices of order $n$. The Birkhoff polytope graph $G(Ω_n)$ is the skeleton of $Ω_n$; it is the Cayley graph whose vertex set consists of the elements of the symmetric group ${\rm Sym}(n)$ of degree $n$, where two permutations are adjacent if one equals the product of the other with a cycle. We study the combinatorial structure of this graph, focusing on its maximal and maximum cliques and on its independent subgroups (subgroups of ${\rm Sym}(n)$ whose elements are pairwise nonadjacent in the graph). We obtain maximal subgroups of $G(Ω_n)$ and establish both a lower bound and an upper bound for its clique number. Especially, we prove that if $K$ is a subset of ${\rm Sym}(n)$ consisting of 3-cycle permutations such that $δ_1^{-1}δ_2$ is a single cycle for all $δ_1,δ_2\in K$, then the maximum size of $K$ is $\lfloor (n-1)^2/4\rfloor$, which can be viewed as an Erdős-Ko-Rado-type theorem for ${\rm Sym}(n)$.

The stable index of a 0-1 matrix $A$ is defined to be the smallest integer $k$ such that $A^{k+1}$ is not a 0-1 matrix if such an integer exists; otherwise the stable index of $A$ is defined to be infinity. We characterize the set of stable indices of 0-1 matrices with a given order.

In this paper, we determine the maximum size of digraphs on $n$ vertices in which there are no two distinct walks of length $3$ with the same initial vertex and the same terminal vertex. The digraphs attaining this maximum size are also characterized. Combining this with previous results, we obtain a full solution to a problem proposed by X. Zhan in 2007.

Let $k\ge 2$ be an integer. If a square 0-1 matrix $A$ satisfies $A^k=A$, then $A$ is said to be $k$-idempotent. In this paper, we give a characterization of $k$-idempotent 0-1 matrices. We also determine the maximum number of nonzero entries in $k$-idempotent 0-1 matrices of a given order as well as the $k$-idempotent 0-1 matrices attaining this maximum number.

We introduce the concept of stable index for 0-1 matrices. Let $A$ be a 0-1 square matrix. If $A^k$ is a 0-1 matrix for every positive integer $k$, then the stable index of $A$ is defined to be infinity; otherwise, the stable index of $A$ is defined to be the smallest positive integer $k$ such that $A^{k+1}$ is not a 0-1 matrix. We determine the maximum finite stable index of all 0-1 matrices of order $n$ as well as the matrices attaining the maximum finite stable index.

The independence number of a square matrix $A$, denoted by $α(A)$, is the maximum order of its principal zero submatrices. Let $S_n^{+}$ be the set of $n\times n$ nonnegative symmetric matrices with zero trace. Denote by $J_n$ the $n\times n$ matrix with all entries equal to one. Given any integer $n$, we prove that a linear map $φ: S_n^+\rightarrow S_n^+$ satisfies $$α(φ(X))= α(X) {\quad\rm for~ all\quad}X\in S_n^+$$ if and only if there is a permutation matrix $P$ such that $$φ(X)=H\circ(P^TXP)\quad { \rm for~ all\quad}X\in S_n^+,$$ where $H=φ(J_n-I_n)$ with all off-diagonal entries positive.

In this paper, we determine the maximum number of nonzero entries in 0-1 matrices of order $n$ with zero trace whose squares are 0-1 matrices when $n\ge 8$. The extremal matrices attaining this maximum number are also characterized.

Let $P_{2,2}$ be the orientation of $C_4$ which consists of two 2-paths with the same initial and terminal vertices. In this paper, we determine the maximum size of $P_{2,2}$-free digraphs of order $n$ as well as the extremal digraphs attaining the maximum size when $n\ge 13$.

Let $n \ge 5$ and $k\ge 4$ be positive integers. We determine the maximum size of digraphs of order n that avoid distinct walks of length k with the same endpoints. We also characterize the extremal digraphs attaining this maximum number when $k \ge 5$.

We prove that a nonsymmetric normal entry pattern of order $n$ ($n\ge 3$) has at most $n(n-3)/2+3$ distinct indeterminates and up to permutation similarity this number is attained by a unique pattern which is explicitly described.