arXiv++ Combinatorics

Motivated by the Merino--Welsh conjecture, we consider the smallest $c\ge0$, denoted by $c_*$, for which the inequality $T_M(c,0)T_M(0,c)\ge T_M(1,1)^2$ holds for every loopless and coloopless finite matroid $M$. The counterexamples constructed by Beke, Csáji, Csikvári, and Pituk [\emph{Adv. Math.} \textbf{446} (2024), 109674] give the lower bound $x_0$, where $x_0\approx2.22668$ is the largest real root of the polynomial $x^3-9(x-1)$. Later, Csikvári [\emph{European J. Combin.} \textbf{137} (2026), 104402] improved the known upper bound for this constant to $2.35$ and then conjectured that the above inequality holds at $c=x_0$. This conjecture was recently proved by Liu (2026). We give an alternative direct inductive proof that $c_*=x_0$, without computer-assisted finite verification.

For a connected graph \(G\), let \[ Q(G)=\frac{T(G;2,0)T(G;0,2)}{T(G;1,1)^2}. \] We obtain quantitative lower bounds for \(Q\) under the graph join operation. If \(A\) and \(B\) are arbitrary simple graphs of orders \(3\le a\le b\), then \(Q(A\vee B)\) admits an explicit lower bound depending only on \(a\) and \(b\), and this bound is strictly greater than \(1\). We further quantify the improvement produced by edges inside the two factors. For every simple graph \(F\), with \(n=|V(F)|+2\ge4\), we prove \[ Q(K_2\vee F)\ge \frac{27}{n^2}\left(\frac32\right)^{n-4}. \] Consequently, every join of at least three nonempty factors, and every complete multipartite graph with at least one edge and no cut edges, satisfies the strict multiplicative Merino--Welsh inequality. The proofs combine orientation estimates with spanning-tree comparisons based on effective resistance and block elimination.

For a finite simple graph $G$ of positive order, let $s_k(G)$ be the number of its $k$-vertex tree subgraphs. We prove that, among graphs of a fixed order $n$, the ratios $s_k(G)/s_k(K_n)$ form a nonincreasing sequence in $k$. It follows that the complete graph maximizes the mean subtree order: $μ(G)\leqμ(K_n)$, with equality if and only if $G$ is complete. This monotonicity theorem also establishes the $s_{n-1}$-to-$s_n$ ratio conjecture posed in recent work on extremal mean subtree order. The proof lifts a known coupling of rooted Cayley-tree shapes of consecutive orders to uniform labeled tree subgraphs of $K_n$ that are nested at every sample point. Event inclusion gives the count inequalities, and a double-sum identity gives the mean bound.

The factorisation of graph polynomials often reflects combinatorial decomposition. For a nonempty loopless graph $G$, we first prove that the two-variable interlace polynomial $q(G;x,y)$, introduced by Arratia, Bollobás and Sorkin, is irreducible over $\mathbb{C}[x,y]$ if and only if $G$ is connected, exactly paralleling the classical irreducibility theorem for the Tutte polynomial. The loopless hypothesis is essential: we construct an infinite family of connected looped graphs whose two-variable interlace polynomials are reducible. For a nonempty graph $G$, we prove that Courcelle's multivariate interlace polynomial $C_G(u,v;\mathbf{x},\mathbf{y})$ is irreducible over $\mathbb{C}[u,v,x_a,y_a:a\in V(G)]$ if and only if $G$ is connected.