arXiv++ Combinatorics

The energy $E(G)$ of a simple graph $G$ is the sum of absolute values of the eigenvalues of its adjacency matrix. A borderenergetic graph of order $n \in \mathbb{N}$ is any noncomplete graph~$G$ such that $E(G) = E(K_n) = 2n - 2$. Here we combine two-phase computer-assisted search with theoretical arguments to show that there are only three borderenergetic chemical graphs, thus completing the earlier findings of Li, Wei and Zhu [MATCH Commun. Math. Comput. Chem. 77 (2017), 25-36]. We perform two-phase computer-assisted search to also find all $566$ borderenergetic graphs of order~$12$, thereby correcting and extending the results from a previous search performed by Furtula and Gutman [Iranian J. Math. Chem. 8(4) (2017), 339-344].

The Merino-Welsh conjecture states that for a graph $G$ without loops and bridges we have $$\max(T_G(2,0),T_G(0,2))\geq T_G(1,1).$$ Later Jackson proved that for any matroid $M$ without loop and coloop we have $$T_M(3,0)T_M(0,3)\geq T_M(1,1)^2.$$ The value $3$ in this statement was improved to $2.9242$ by Beke, Csáji, Csikvári and Pituk. In this paper, we further improve on this result by showing that $$T_M(2.355,0)T_M(0,2.355)\geq T_M(1,1)^2.$$ We also prove that the Merino--Welsh conjecture is true for matroids $M$, where all circuits of $M$ and its dual $M^*$ have length between $\ell$ and $(\ell-2)^4$ for some $\ell\geq 6$.

Given a connected graph, the principal eigenvector of the adjacency matrix (often called the Perron vector) can be used to assign positive weights to the vertices. A natural way to measure the homogeneousness of this vector is by considering the ratio of its $\ell^1$ and $\ell^2$ norms. It is easy to see that the most balanced graphs in this sense (i.e., the ones with the largest ratio) are the regular graphs. What about the least balanced graphs with the smallest ratio? It was conjectured by Rücker, Rücker and Gutman that, for any given $n \geq 6$, among $n$-vertex connected graphs the smallest ratio is achieved by the complete graph $K_4$ with a single path $P_{n-4}$ attached to one of its vertices. In this paper we confirm this conjecture. We also verify the analogous conjecture for trees: for any given $n \geq 8$, among $n$-vertex trees the smallest ratio is achieved by the star graph $S_5$ with a path $P_{n-5}$ attached to its central vertex.

The spectral radius of a graph is the spectral radius of its adjacency matrix. A threshold graph is a simple graph whose vertices can be ordered as $v_1, v_2, \ldots, v_n$, so that for each $2 \le i \le n$, vertex $v_i$ is either adjacent or nonadjacent simultaneously to all of $v_1, v_2, \ldots, v_{i-1}$. Brualdi and Hoffman initially posed and then partially solved the extremal problem of finding the simple graphs with a given number of edges that have the maximum spectral radius. This problem was subsequently completely resolved by Rowlinson. Here, we deal with the similar problem of maximizing the spectral radius over the set of connected simple graphs with a given number of vertices and edges. As shown by Brualdi and Solheid, each such extremal graph is necessarily a threshold graph. We investigate the spectral radii of threshold graphs by relying on computations involving lazy walks. Furthermore, we obtain three lower bounds and one upper bound on the spectral radius of a given connected threshold graph.

In this paper we study the following extremal graph theoretic problem: Given an undirected Eulerian graph $G$, which Eulerian orientation minimizes or maximizes the number of arborescences? We solve the minimization for the complete graph $K_n$, the complete bipartite graph $K_{n,m}$, and for the so-called double graphs, where there are even number of edges between any pair of vertices. In fact, for $K_n$ we prove the following stronger statement. If $T$ is a tournament on $n$ vertices with out-degree sequence $d_1^+,\dots ,d^+_n$, then $$\mathrm{allarb}(T)\geq \frac{1}{n}\left(\prod_{k=1}^n(d^+_k+1)+\prod_{k=1}^nd^+_k\right),$$ where $\mathrm{allarb}(T)$ is the total number of arborescences. Equality holds if and only if $T$ is a locally transitive tournament. We also give an upper bound for the number of arborescences of an Eulerian orientation for an arbitrary graph $G$. This upper bound can be achieved on $K_n$ for infinitely many $n$.

For a graph $G$ let $\varepsilon(G)$ denote the number of Eulerian orientations, and $v(G)$ denote the number of vertices of $G$. We show that if $(G_n)_n$ is a sequence of Eulerian graphs that are convergent in Benjamini--Schramm sense, then $\lim\limits_{n\to \infty}\frac{1}{v(G_n)}\ln \varepsilon(G_n)$ is convergent.

The matroidal version of the Merino--Welsh conjecture states that the Tutte polynomial $T_M(x,y)$ of any matroid $M$ without loops and coloops satisfies that $$\max(T_M(2,0),T_M(0,2))\geq T_M(1,1).$$ Equivalently, if the Merino--Welsh conjecture is true for all matroids without loops and coloops, then the following inequalities are also satisfied for all matroids without loops and coloops: $$T_M(2,0)+T_M(0,2)\geq 2T_M(1,1),$$ and $$T_M(2,0)T_M(0,2)\geq T_M(1,1)^2.$$ We show a counter-example for these inequalities.

The classical Tutte polynomial is a two-variate polynomial $T_G(x,y)$ associated to graphs or more generally, matroids. In this paper, we introduce a polynomial $\widetilde{T}_H(x,y)$ associated to a bipartite graph $H$ that we call the permutation Tutte polynomial of the graph $H$. It turns out that $T_G(x,y)$ and $\widetilde{T}_H(x,y)$ share many properties, and the permutation Tutte polynomial serves as a tool to study the classical Tutte polynomial. We discuss the analogs of Brylawsi's identities and Conde--Merino--Welsh type inequalities. In particular, we will show that if $H$ does not contain isolated vertices, then $$\widetilde{T}_H(3,0)\widetilde{T}_H(0,3)\geq \widetilde{T}_H(1,1)^2,$$ which gives a short proof to the analogous result of Jackson: $$T_G(3,0)T_G(0,3)\geq T_G(1,1)^2$$ for graphs without loops and bridges. We also improve on the constant $3$ in this statement by showing that one can replace it with $2.9243$.

Let $G$ be a triangle-free graph on $n$ vertices with adjacency matrix eigenvalues $μ_1(G)\geq μ_2(G)\geq \dots \geq μ_n(G)$. In this paper we study the quantity $$μ_1(G)+μ_n(G).$$ We prove that for any triangle-free graph $G$ we have $$μ_1(G)+μ_n(G)\leq (3-2\sqrt{2})n.$$ This was proved for regular graphs by Brandt, we show that the condition on regularity is not necessary. We also prove that among triangle-free strongly regular graphs the Higman-Sims graph achieves the maximum of $$\frac{μ_1(G)+μ_n(G)}{n}.$$

For a graph $G=(V,E)$ with $v(G)$ vertices the partition function of the random cluster model is defined by $$Z_G(q,w)=\sum_{A\subseteq E(G)}q^{k(A)}w^{|A|},$$ where $k(A)$ denotes the number of connected components of the graph $(V,A)$. Furthermore, let $g(G)$ denote the girth of the graph $G$, that is, the length of the shortest cycle. In this paper we show that if $(G_n)_n$ is a sequence of $d$-regular graphs such that the girth $g(G_n)\to \infty$, then the limit $$\lim_{n\to \infty} \frac{1}{v(G_n)}\ln Z_{G_n}(q,w)=\ln Φ_{d,q,w}$$ exists if $q\geq 2$ and $w\geq 0$. The quantity $Φ_{d,q,w}$ can be computed as follows. Let $$Φ_{d,q,w}(t):=\left(\sqrt{1+\frac{w}{q}}\cos(t)+\sqrt{\frac{(q-1)w}{q}}\sin(t)\right)^{d}+(q-1)\left(\sqrt{1+\frac{w}{q}}\cos(t)-\sqrt{\frac{w}{q(q-1)}}\sin(t)\right)^{d},$$ then $$Φ_{d,q,w}:=\max_{t\in [-π,π]}Φ_{d,q,w}(t),$$ The same conclusion holds true for a sequence of random $d$-regular graphs with probability one. Our result extends the work of Dembo, Montanari, Sly and Sun for the Potts model (integer $q$), and we prove a conjecture of Helmuth, Jenssen and Perkins about the phase transition of the random cluster model with fixed $q$.

It is known from the work of Shearer (1985) (and also Scott and Sokal (2005)) that the independence polynomial $Z_G(λ)$ of a graph $G$ of maximum degree at most $d+1$ does not vanish provided that $\vertλ\vert \leq \frac{d^d}{(d+1)^{d+1}}$. Significant extensions of this result have recently been given in the case $\Re λ\geq 0$ by Peters and Regts (2019) and Bencs and Csikvári (arxiv:1807.08963). In this paper, our motivation is to further extend these results and find zero free regions when $\Re λ\leq 0$. We begin by giving new geometric criteria for establishing zero-free regions as well as for carrying out semi-rigorous numerical explorations. We then provide two examples of the (rigorous) use of these criteria, by establishing two new zero-free regions in the left-half plane. We also improve upon the results of Bencs and Csikvári (arxiv:1807.08963) for the right half-plane using our framework. By a direct application of the interpolation method of Barvinok, combined with extensions due to Patel and Regts, these results also imply deterministic polynomial time approximation algorithms for the independence polynomial of bounded degree graphs in the new zero-free regions.

In this short note we show that a system $M=(E,r)$ with a ground set $E$ of size $m$ and (rank) function $r: 2^E\to \mathbb{Z}_{\geq 0}$ satisfying $r(S)\leq \min(r(E),|S|)$ for every set $S\subseteq E$, the Tutte polynomial $$T_M(x,y):=\sum_{S\subseteq E}(x-1)^{r(E)-r(S)}(y-1)^{|S|-r(S)},$$ written as $T_M(x,y)=\sum_{i,j}t_{ij}x^iy^j$, satisfies that for any integer $h \geq 0$, we have $$\sum_{i=0}^h\sum_{j=0}^{h-i}\binom{h-i}{j}(-1)^jt_{ij}=(-1)^{m-r}\binom{h-r}{h-m},$$ where $r=r(E)$, and we use the convention that when $h<m$, the binomial coefficient $\binom{h-r}{h-m}$ is interpreted as $0$. This generalizes a theorem of Brylawski on matroid rank functions and $h<m$, and a theorem of Gordon for $h\leq m$ with the same assumptions on the rank function. The proof presented here is significantly shorter than the previous ones. We only use the fact that the Tutte polynomial $T_M(x,y)$ simplifies to $(x-1)^{r(E)}y^{|E|}$ along the hyperbola $(x-1)(y-1)=1$.

Let $T_G(x,y)$ be the Tutte polynomial of a graph $G$. In this paper we show that if $(G_n)_n$ is a sequence of $d$-regular graphs with girth $g(G_n)\to \infty$, then for $x\geq 1$ and $0\leq y\leq 1$ we have $$\lim_{n\to \infty}T_{G_n}(x,y)^{1/v(G_n)}=t_d(x,y),$$ where $$t_d(x,y)=\left\{\begin{array}{lc} (d-1)\left(\frac{(d-1)^2}{(d-1)^2-x}\right)^{d/2-1}&\ \ \mbox{if}\ x\leq d-1,\\ x\left(1+\frac{1}{x-1}\right)^{d/2-1} &\ \ \mbox{if}\ x> d-1. \end{array}\right.$$ independently of $y$ if $0\leq y\leq 1$. If $(G_n)_n$ is a sequence of random $d$-regular graphs, then the same statement holds true asymptotically almost surely. This theorem generalizes results of McKay ($x=1,y=1$, spanning trees of random $d$-regular graphs) and Lyons ($x=1,y=1$, spanning trees of large-girth $d$-regular graphs). Interesting special cases are $T_G(2,1)$ counting the number of spanning forests, $T_G(2,0)$ counting the number of acyclic orientations.

We show that if $G$ is a $d$--regular graph on $n$ vertices, then the number of spanning forests $F(G)$ satisfies $F(G)\leq d^n$. The previous best bound due to Kahale and Schulman gave $(d+1/2+O(1/d))^n$. We also have the more precise conjecture that $$F(G)^{1/n}\leq \frac{(d-1)^{d-1}}{(d^2-2d-1)^{d/2-1}}.$$ If this conjecture is true, then the expression on the right hand side is the best possible.

We use Wagner's weighted subgraph counting polynomial to prove that the partition function of the anti-ferromagnetic Ising model on line graphs is real rooted and to prove that roots of the edge cover polynomial have length at most $4$. We moreover discuss how our results relate to efficient algorithms for approximately computing evaluations of these polynomials.

For a graph $G$ on $v(G)$ vertices let $m_k(G)$ denote the number of matchings of size $k$, and consider the partition function $M_{G}(λ)=\sum_{k=0}^nm_k(G)λ^k$. In this paper we show that if $G$ is a $d$--regular graph and $0<λ<(4d)^{-2}$, then $$\frac{1}{v(G)}\ln M_G(λ)>\frac{1}{v(K_{d+1})}\ln M_{K_{d+1}}(λ).$$ The same inequality holds true if $d=3$ and $λ<0.3575$. More precise conjectures are also given.

This is a short survey about the theory of stable polynomials and its applications. It gives self-contained proofs of two theorems of Schrijver. One of them asserts that for a $d$--regular bipartite graph $G$ on $2n$ vertices, the number of perfect matchings, denoted by $\mathrm{pm}(G)$, satisfies $$\mathrm{pm}(G)\geq \bigg( \frac{(d-1)^{d-1}}{d^{d-2}} \bigg)^{n}.$$ The other theorem claims that for even $d$ the number of Eulerian orientations of a $d$--regular graph $G$ on $n$ vertices, denoted by $\varepsilon(G)$, satisfies $$\varepsilon(G)\geq \bigg(\frac{\binom{d}{d/2}}{2^{d/2}}\bigg)^n.$$ To prove these theorems we use the theory of stable polynomials, and give a common generalization of the two theorems.

Let $F(G)$ be the number of forests of a graph $G$. Similarly let $C(G)$ be the number of connected spanning subgraphs of a connected graph $G$. We bound $F(G)$ and $C(G)$ for regular graphs and for graphs with fixed average degree. Among many other things we study $f_d=\sup_{G\in \mathcal{G}_d}F(G)^{1/v(G)}$, where $\mathcal{G}_d$ is the family of $d$--regular graphs, and $v(G)$ denotes the number of vertices of a graph $G$. We show that $f_3=2^{3/2}$, and if $(G_n)_n$ is a sequence of $3$--regular graphs with length of the shortest cycle tending to infinity, then $\lim_{n\to \infty}F(G_n)^{1/v(G_n)}=2^{3/2}$. We also improve on the previous best bounds on $f_d$ for $4\leq d\leq 9$.

Given a graph $G$ with only even degrees let $\varepsilon(G)$ denote the number of Eulerian orientations, and let $h(G)$ denote the number of half graphs, that is, subgraphs $F$ such that $d_F(v)=d_G(v)/2$ for each vertex $v$. Recently, Borbényi and Csikvári proved that $\varepsilon(G)\geq h(G)$ holds true for all Eulerian graphs with equality if and and only if $G$ is bipartite. In this paper we give a simple new proof of this fact, and we give identities and inequalities for the number of Eulerian orientations and half graphs of a $2$-cover of a graph $G$.

The goal of this short paper to advertise the method of gauge transformations (aka holographic reduction, reparametrization) that is well-known in statistical physics and computer science, but less known in combinatorics. As an application of it we give a new proof of a theorem of A. Schrijver asserting that the number of Eulerian orientations of a $d$--regular graph on $n$ vertices with even $d$ is at least $\left(\frac{\binom{d}{d/2}}{2^{d/2}}\right)^n$. We also show that a $d$--regular graph with even $d$ has always at least as many Eulerian orientations as $(d/2)$--regular subgraphs.