arXiv++ Combinatorics

For a finite forest $F$ let $i_k(F)$ be the number of independent sets of $F$ with $k$ vertices. Zhang and Li proved that the sequence $i_0(F),i_1(F),\dots,i_{α(F)}(F)$ is unimodal for every finite forest $F$, which answers Erdős Problem 993. We give a second proof. It starts from their decomposition relative to a fixed independent set and from the bounds of Zhang and Li and of Fang, Lu, Nevo, Yao and Zheng that confine a valley of the sequence to an explicit window of ranks. For a forest with at least $25$ vertices, one moment argument excludes a valley at every rank of the window: at the activity where the hard-core mean equals the rank, the size of a random independent set is a mixture of binomial laws over an independent set of maximum weight, a valley is a moment inequality for this mixture, and it is excluded by duality given three bounds that hold for every forest, on the variance of the number of free vertices and on its Laplace transforms, and on the variance ratio. The variance bound is proved by hand up to finitely many interval checks and the other two bounds are verified by computer on finite interval-arithmetic coverings; on the resulting parameter domain a valley is excluded by exact tests on finitely many rational boxes while the mean number of free vertices is below an explicit starting mean between $19$ and $50$, and above it by one inequality, with explicit constants, for the fibers of a weighted valley kernel, proved by hand up to a finite list of explicit checks and averaged over the mixture. Forests with at most $24$ vertices are treated by exact counting, by hand except for exact rational evaluations of two explicit formulas at $43$ parameter triples. No forest is enumerated. A formal proof of the theorem in Lean 4 accompanies the paper.

A connected graph with at least two vertices is matching covered if each of its edges is contained in a perfect matching. A matching covered graph is solid if every separating cut in it is a tight cut. A matching covered graph which is free of nontrivial tight cuts is a brick if it is nonbipartite. Every bipartite matching covered graph is solid. Lucchesi and Murty conjectured that there exists a positive integer $N$ such that, for every integer $n\ge N$, the maximum number of edges in a simple solid matching covered graph on $2n$ vertices is $n^2$. In this paper, we disprove this Conjecture, and show that the maximum number of edges of a simple solid matching covered graph on $2n$ ($n\ge2$) vertices is $n^2+2$. Moreover, we characterize the graphs attaining this bound. In addition, we prove that every simple solid brick of order $2n$ has at most $n^2$ edges for $n\ge4$.

Let $G$ be a connected graph of order $n$ and diameter two. For any two distinct vertices $u,v\in V(G)$, we prove that $$ r_G(u,v)\leq (3+\sqrt{5})\left(\frac{1}{d_G(u)}+\frac{1}{d_G(v)}\right), $$ where $r_G(u,v)$ denotes the effective resistance between $u$ and $v$, and $d_G(u)$ denotes the degree of $u$ in $G$. Using this resistance estimate, we further prove that the Kemeny's constant of $G$, denoted by $\mathcal{K}(G)$, satisfies $$ \mathcal{K}(G)\leq (3+\sqrt{5})(n-1). $$ This confirms a conjecture of Kim et al. (2026) asserting that $\mathcal{K}(G)=O(n)$ for every connected graph of diameter two. We further establish the Nordhaus-Gaddum bound $\mathcal{K}(G)\mathcal{K}(\overline{G})=O(n^4)$ whenever both $G$ and $\overline{G}$ are connected, thereby confirming another conjecture of Kim et al. (2026), which states that $\mathcal{K}(G)\mathcal{K}(\overline{G})=O(n^4)$ whenever both graphs are connected.

In this note, we give a Turán theorem for Cayley graphs $\Cay(\Z_p,S)$ over prime cyclic groups $\Z_p$. For a graph $F$ and a finite abelian group $G$, define the Cayley--Turán number by \[ \exCay(F,G) = \max\{|S|:S=-S\subseteq G\setminus\{0\},\ \Cay(G,S)\text{ is }F\text{-free}\}. \] Using a polynomial method, we prove that for every odd prime $p$ and every $1\le r\le p-1$, \[ \exCay(K_{r+1},\Z_p) = p-1-2\left\lfloor\frac{p}{r+1}\right\rfloor . \] The extremal construction is the complement of the short-difference interval \[ D_0=\{0,\pm1,\ldots,\pm\lfloor p/(r+1)\rfloor\}. \] We also discuss what changes for general finite abelian groups, showing why the exact prime-cyclic formula does not extend verbatim to composite cyclic groups.

Let $p$ be an odd prime and let $S\subseteq \Z_p$ be symmetric with $0\notin S$. Let $\Cay(\Z_p,S)$ be the undirected Cayley graph on $\Z_p$ in which $x$ and $y$ are adjacent if and only if $x-y\in S$. For $1\le \ell\le (p-1)/2$, define \[ \ex_{\Cay}(C_{2\ell+1},\Z_p)=\max\{|S|: S=-S,\ 0\notin S,\ \Cay(\Z_p,S)\text{ contains no }C_{2\ell+1}\}. \] Confirming a conjecture of Cashman and Kelley, we prove that if $p=2\ell+1$, then $\ex_{\Cay}(C_{2\ell+1},\Z_p)=0$, while if $p>2\ell+1$, then \[ \ex_{\Cay}(C_{2\ell+1},\Z_p)=2\floor{\frac{p+2\ell+1}{2(2\ell+1)}}. \] The proof combines a sharp additive zero-sum odd-girth argument with weak odd pancyclicity to transfer the result from odd-girth exclusion to fixed odd-cycle exclusion. We also give a canonical extremal family, an exact extremality criterion in terms of odd zero-sum avoidance, and an example showing that extremizers need not be dilates of the canonical construction.

An independent edge set of graph $G$ is a matching, and is maximal if it is not a proper subset of any other matching of $G$. The number of all the maximal matchings of $G$ is denoted by $Ψ(G)$. In this paper, an algorithm to count $Ψ(T)$ for a tree $T$ is given. We show that for any tree $T$ with $n$ vertices, $Ψ(T)\geq\lceil\frac{n}{2}\rceil$, and the tree which obtained the lower bound is characterized.

In 1981, Bermond and Thomassen conjectured that for any positive integer $k$, every digraph with minimum out-degree at least $2k-1$ admits $k$ vertex-disjoint directed cycles. In this short paper, we verify the Bermond-Thomassen conjecture for triangle-free multipartite tournaments and 3-partite tournaments. Furthermore, we characterize 3-partite tournaments with minimum out-degree at least $2k-1$ ($k\geq 2$) such that in each set of $k$ vertex-disjoint directed cycles, every cycle has the same length.

Solid partitions are the 4D generalization of the plane partitions in 3D and Young diagrams in 2D, and they can be visualized as stacking of 4D unit-size boxes in the positive corner of a 4D room. Physically, solid partitions arise naturally as 4D molten crystals that count equivariant D-brane BPS states on the simplest toric Calabi-Yau fourfold, $\mathbb{C}^4$, generalizing the 3D statement that plane partitions count equivariant D-brane BPS states on $\mathbb{C}^3$. In the construction of BPS algebras for toric Calabi-Yau threefolds, the so-called charge function on the 3D molten crystal is an important ingredient -- it is the generating function for the eigenvalues of an infinite tower of Cartan elements of the algebra. In this paper, we derive the charge function for solid partitions. Compared to the 3D case, the new feature is the appearance of contributions from certain 4-box and 5-box clusters, which will make the construction of the corresponding BPS algebra much more complicated than in the 3D.

Simplicial complexes are a popular tool used to model higher-order interactions between elements of complex social and biological systems. In this paper, we study some combinatorial aspects of a class of simplicial complexes created by a graph product, which is an extension of the pseudo-fractal scale-free web. We determine explicitly the independence number, the domination number, and the chromatic number. Moreover, we derive closed-form expressions for the number of acyclic orientations, the number of root-connected acyclic orientations, the number of spanning trees, as well as the number of perfect matchings for some particular cases.

Let $D$ be an arc-colored digraph. The arc number $a(D)$ of $D$ is defined as the number of arcs of $D$. The color number $c(D)$ of $D$ is defined as the number of colors assigned to the arcs of $D$. A rainbow triangle in $D$ is a directed triangle in which every pair of arcs have distinct colors. Let $f(D)$ be the smallest integer such that if $c(D)\geq f(D)$, then $D$ contains a rainbow triangle. In this paper we obtain $f(\overleftrightarrow{K}_{n})$ and $f(T_n)$, where $\overleftrightarrow{K}_{n}$ is a complete digraph of order $n$ and $T_n$ is a strongly connected tournament of order $n$. Moreover we characterize the arc-colored complete digraph $\overleftrightarrow{K}_{n}$ with $c(\overleftrightarrow{K}_{n})=f(\overleftrightarrow{K}_{n})-1$ and containing no rainbow triangles. We also prove that an arc-colored digraph $D$ on $n$ vertices contains a rainbow triangle when $a(D)+c(D)\geq a(\overleftrightarrow{K}_{n})+f(\overleftrightarrow{K}_{n})$, which is a directed extension of the undirected case.

Let $\mathcal{H}^{(r)}_n$ be the set of all connected $r$-graphs with given size $n$. In this paper, we investigate the effect on the spectral radius of $r$-uniform hypergraphs by grafting or contracting an edge and then give the ordering of the $r$-graphs with small spectral radius over $\mathcal{H}^{(r)}_n$, when $n\geq 20$.

Let $T_{n}$ be an arc-colored tournament of order $n$. The maximum monochromatic indegree $Δ^{-mon}(T_{n})$ (resp. outdegree $Δ^{+mon}(T_{n})$) of $T_{n}$ is the maximum number of in-arcs (resp. out-arcs) of a same color incident to a vertex of $T_{n}$. The irregularity $i(T_{n})$ of $T_{n}$ is the maximum difference between the indegree and outdegree of a vertex of $T_{n}$. A subdigraph $H$ of an arc-colored digraph $D$ is called rainbow if each pair of arcs in $H$ have distinct colors. In this paper, we show that each vertex $v$ in an arc-colored tournament $T_{n}$ with $Δ^{-mon}(T_n)\leqΔ^{+mon}(T_n)$ is contained in at least $\frac{δ(v)(n-δ(v)-i(T_n))}{2}-[Δ^{-mon}(T_{n})(n-1)+Δ^{+mon}(T_{n})d^+(v)]$ rainbow triangles, where $δ(v)=\min\{d^+(v), d^-(v)\}$. We also give some maximum monochromatic degree conditions for $T_{n}$ to contain rainbow triangles, and to contain rainbow triangles passing through a given vertex. Finally, we present some examples showing that some of the conditions in our results are best possible. Keywords: arc-colored tournament, rainbow triangle, maximum monochromatic indegree (outdegree), irregularity

In this paper, we study the analytic connectivity of a $k$-uniform hypergraph $H$, denoted by $α(H)$. In addition to computing the analytic connectivity of a complete $k$-graph, we present several bounds on analytic connectivity that relate it with other graph invariants, such as degree, vertex connectivity, diameter, and isoperimetric number.

An edge-colored graph $G$, where adjacent edges may be colored the same, is rainbow connected if any two vertices of $G$ are connected by a path whose edges have distinct colors. The rainbow connection number $rc(G)$ of a connected graph $G$ is the smallest number of colors that are needed in order to make $G$ rainbow connected. Caro et al. showed an upper bound $rc(G)\leq n-δ$ for a connected graph $G$ of order $n$ with minimum degree $δ$ in "On rainbow connection, Electron. J. Combin. 15(2008), R57". Recently, Shiermeyer gave it a generalization that $rc(G)\leq n- \frac{σ_2} 2$ in "Bounds for the rainbow connection number of graphs, Discuss. Math Graph Theory 31(2011), 387--395", where $σ_2$ is the minimum degree-sum. The proofs of both results are almost the same, both fix the minimum degree $δ$ and then use induction on $n$. This short note points out that this proof technique does not work rigorously. Fortunately, Caro et al's result is still true but under our improved proof. However, we do not know if Shiermeyer's result still hold.

Let $G$ be a nontrivial connected graph of order $n$, and $k$ an integer with $2\leq k\leq n$. For a set $S$ of $k$ vertices of $G$, let $κ(S)$ denote the maximum number $\ell$ of edge-disjoint trees $T_1,T_2,...,T_\ell$ in $G$ such that $V(T_i)\cap V(T_j)=S$ for every pair $i,j$ of distinct integers with $1\leq i,j\leq \ell$. Chartrand et al. generalized the concept of connectivity as follows: The $k$-$connectivity$, denoted by $κ_k(G)$, of $G$ is defined by $κ_k(G)=$min$\{κ(S)\}$, where the minimum is taken over all $k$-subsets $S$ of $V(G)$. Thus $κ_2(G)=κ(G)$, where $κ(G)$ is the connectivity of $G$. Moreover, $κ_{n}(G)$ is the maximum number of edge-disjoint spanning trees of $G$. This paper mainly focus on the $k$-connectivity of complete bipartite graphs $K_{a,b}$. First, we obtain the number of edge-disjoint spanning trees of $K_{a,b}$, which is $\lfloor\frac{ab}{a+b-1}\rfloor$, and specifically give the $\lfloor\frac{ab}{a+b-1}\rfloor$ edge-disjoint spanning trees. Then based on this result, we get the $k$-connectivity of $K_{a,b}$ for all $2\leq k \leq a+b$. Namely, if $k>b-a+2$ and $a-b+k$ is odd then $κ_{k}(K_{a,b})=\frac{a+b-k+1}{2}+\lfloor\frac{(a-b+k-1)(b-a+k-1)}{4(k-1)}\rfloor,$ if $k>b-a+2$ and $a-b+k$ is even then $κ_{k}(K_{a,b})=\frac{a+b-k}{2}+\lfloor\frac{(a-b+k)(b-a+k)}{4(k-1)}\rfloor,$ and if $k\leq b-a+2$ then $κ_{k}(K_{a,b})=a. $

The permanental polynomial of a graph $G$ is $π(G,x)\triangleq\mathrm{per}(xI-A(G))$. From the result that a bipartite graph $G$ admits an orientation $G^e$ such that every cycle is oddly oriented if and only if it contains no even subdivision of $K_{2,3}$, Yan and Zhang showed that the permanental polynomial of such a bipartite graph $G$ can be expressed as the characteristic polynomial of the skew adjacency matrix $A(G^e)$. In this paper we first prove that this equality holds only if the bipartite graph $G$ contains no even subdivision of $K_{2,3}$. Then we prove that such bipartite graphs are planar. Further we mainly show that a 2-connected bipartite graph contains no even subdivision of $K_{2,3}$ if and only if it is planar 1-cycle resonant. This implies that each cycle is oddly oriented in any Pfaffian orientation of a 2-connected bipartite graph containing no even subdivision of $K_{2,3}$. As applications, permanental polynomials for some types of bipartite graphs are computed.