arXiv++ Combinatorics

For a graph $G$, Schur positivity of $X_G$ implies that $G$ is strongly nice, and every strongly nice graph is nice. We construct three infinite families separating these properties. We first give a connected family $F_t$, $t\ge6$, that is strongly nice but not Schur positive. We then prove that homogeneous strongly nice symmetric functions with nonnegative monomial coefficients are closed under multiplication, and hence that strongly nice graphs are closed under disjoint union. As an application, for $H=K_{3,3}-e$, the graphs \[ M_t=H\sqcup K_t,\qquad t\ge3, \] form a disconnected family that is strongly nice but not Schur positive. Finally, we define \[ N_r=K_r\vee(K_2\sqcup2K_1),\qquad r\ge2, \] and prove that every $N_r$ is connected and nice but not strongly nice. We also introduce the level-$k$ nice property and show that the level depth of $N_r$ is $4r!$.

For a graph $G$, let avm($G$) denote the average size of its maximal matchings. Engbers and Erey initiated the extremal study of this parameter and asked for extensions from trees and unicyclic graphs to $k$-cyclic graphs. In this paper, we determine the maximum value of avm($G$) over all connected bicyclic graphs with $n$ vertices and $n+1$ edges. If $n\ge 5$ is odd, then \[ \text{avm}(G)\le \frac{n-1}{2}, \] and we characterize all graphs attaining equality. For $n=6$, the maximum value is 13/5, attained uniquely by $Θ(1,3,3)$. If $n\ge 8$ is even, then \[ \text{avm}(G)\le \frac{n}{2}-1+\frac{2}{n-4}. \] Equality holds precisely for the graph obtained from two copies of $C_4$ joined by an edge by attaching $(n-8)/2$ pendant 2-paths to one endpoint of the joining edge, and, when $n\ge 10$, for the graph obtained from two copies of $C_4$ joined by a path of length 2 by attaching one leaf and $(n-10)/2$ pendant 2-paths to the internal vertex of the joining path. The proofs combine structural characterizations of odd-order extremal graphs with counting and switching arguments based on perfect matchings.

For a graph \(G\), let $avm(G)$ denote the average size of its maximal matchings. This parameter was introduced by Engbers and Erey in the study of extremal problems for maximal matchings, and they asked for extensions from trees and unicyclic graphs to \(k\)-cyclic graphs. In this paper, we solve the first non-unicyclic case by determining the minimum value of $avm(G)$ over all connected bicyclic graphs with \(n\) vertices and \(n+1\) edges. We prove that, for every connected bicyclic graph \(G\) of order \(n\ge 5\), \[ \operatorname{avm}(G)\ge \frac{4n-11}{2n-5}. \] Moreover, equality holds uniquely for the graph obtained from two triangles sharing a common edge by attaching all remaining \(n-4\) pendant edges to one of the two vertices of degree \(3\). The key point is to translate the minimization of \(\operatorname{avm}(G)\) into structural restrictions on small maximal matchings, which are then analyzed through the three possible bicyclic core types.