1. Introduction

Let G be a simple and undirected graph with n vertices and $A\left(G\right)$ be its adjacency matrix. Let ${\lambda }_1\mathrm{,}{\lambda }_2\mathrm{,}\cdots \mathrm{,}{\lambda }_n$ be the eigenvalues of $A\left(G\right)$ . Then the energy of G, denoted by $E\left(G\right)$ , is defined as [1]

$E\left(G\right)={\displaystyle \underset{i=1}{\overset{n}{\sum }}}\left|{\lambda }_i\right|.$

A fundamental problem encountered within the study of graph energy is the characterization of the graphs that belong to a given class of graphs having maximal or minimal energy, for example, Trees with extremal energies [2] - [15] ; Unicyclic graphs with extremal energies [16] - [21] ; Bicyclic graphs with extremal energies [22] [23] [24] [25] ; Tricyclic graphs with extremal energies [26] [27] [28] . For more details, they can be found in the recent book [29] and review [30] .

A matching in a graph G is a set of pairwise nonadjacent edges. A matching is called k-matching if its size is k. Let $m\left(G,k\right)$ be the number of k-matching of G, where $m\left(G,k\right)=0$ for $k>\lfloor n/2\rfloor$ or $k<0$ . In addition, we assume that $m\left(G,0\right)=1$ .

The matching polynomial of a graph G is defined as

$\alpha \left(G\right)=\alpha \left(G,x\right)={\displaystyle \underset{k=0}{\overset{\lfloor n/2\rfloor }{\sum }}}{\left(-1\right)}^{k}m\left(G,k\right)x^{n-2k}.$

Recently, Gutman and Wagner [31] generalized the concept of graph energy and defined the matching energy of a graph G based on the zeros of its matching polynomial.

Definition 1.1. Let G be a simple graph of order n and ${\mu }_1\mathrm{,}{\mu }_2\mathrm{,}\cdots \mathrm{,}{\mu }_n$ be the zeros of its matching polynomial. Then

$ME\left(G\right)={\displaystyle \underset{i=1}{\overset{n}{\sum }}}\left|{\mu }_i\right|.$

Further, Gutman and Wagner [31] pointed out that the matching energy is a quantity of relevance for chemical applications. They arrived at the simple relation:

$TRE\left(G\right)=E\left(G\right)-ME\left(G\right),$

where $TRE\left(G\right)$ is the so-called topological resonance energy of G, in connection with the chemical applications of matching energy, for more details see [32] [33] [34] .

Similar to the integral formula for the energy of graph, Gutman and Wagner [31] have shown a beautiful integral formula for the matching energy of a graph G as follows:

$ME\left(G\right)=\frac{2}{\text{π}}{\displaystyle {\int }_0^{+\infty }}\frac{1}{x^2}\ln \left({\displaystyle \underset{k=0}{\overset{\lfloor n/2\rfloor }{\sum }}}m\left(G,k\right)x^{2k}\right)\text{d}x.$ (1)

Then $ME\left(G\right)$ is a strictly monotonically increasing function of those numbers $m\left(G,k\right)\left(k=0,1,\cdots ,\lfloor n/2\rfloor \right)$ . In the followings, the method of the quasi-order relation “ $\preccurlyeq$ ” is an important tool of comparing the matching energies of a pair of graphs.

Definition 1.2. Let $G_1$ and $G_2$ be two graphs of order n. If $m\left(G_1\mathrm{,}k\right)\le m\left(G_2\mathrm{,}k\right)$ for all k with $1\le k\le \lfloor n/2\rfloor$ , then we write $G_1\preccurlyeq G_2$ .

Furthermore, if $G_1\preccurlyeq G_2$ and there exists at least one index j such that $m\left(G_1,j\right)<m\left(G_2,j\right)$ , then we write $G_1\prec G_2$ . If $m\left(G_1\mathrm{,}k\right)=m\left(G_2\mathrm{,}k\right)$ for all k, then we write $G_1\sim G_2$ . According to the integral formula (1), we have for two graphs $G_1$ and $G_2$ of order n that

$G_1\preccurlyeq G_2\Rightarrow ME\left(G_1\right)\le ME(G2)$

$G_1\prec G_2\Rightarrow ME\left(G_1\right)<ME\left(G_2\right).$

In [31] , Gutman and Wagner shown that its matching energy coincides with its energy if T is a forest. Many properties of the matching energy are analogous to those of the graph energy. However, there are some notable differences. Then they raised a question: is it true that the matching energy of a graph G coincides with its energy if and only if G is a forest? Up to now, the question is still open.

The study on extremal matching energies is very interesting. In [31] , Gutman and Wagner characterized the unicyclic graphs with the minimal and maximal matching energy. Zhu and Yang [35] determined the unicyclic graphs with the first eight minimal matching energies. In [36] , Chen and Liu characterized the bipartite unicyclic graphs with the first $\lfloor \left(n-3\right)/4\rfloor$ largest matching energies. Moreover, Chen et al. [37] determined the unicyclic odd-cycle graphs with the second to the fourth maximal matching energies. For bicyclic graph, Ji et al. [38] obtained the graphs with the minimal and maximal matching energy. In [39] , Liu et al. further determined the bicyclic graphs with first five minimal matching energies and the second maximal matching energies, respectively. Chen and Shi [40] characterized tricyclic graph with maximal matching energy, for more results about extremal matching energies, see [41] - [47] .

A fundamental problem encountered within the study of the matching energy is the characterization of the graphs that belong to a given class of graphs having maximal or minimal matching energy. One of the graph classes that are quite interestingly studied is the class of all unicyclic graphs with perfect matchings. As far as we are concerned, no results are on this topic. In this paper, we first present a new technique of directly comparing the matching energies of $G_u\left(k\right)$ and $H_v\left(k\right)$ in Section 2 (see Figure 2). As the applications of the technique, then we can determine the unicyclic graphs with perfect matchings of order 2n with the first to the ninth smallest matching energies for all $n\ge 211$ in Section 3.

For simplicity, if $G_1$ is isomorphic to $G_2$ , then we write $G_1=G_2$ . If $G_1$ is not isomorphic to $G_2$ , then we write $G_1\ne G_2$ . Let $\mathbb{A}\left(2n\right)$ be the set of the unicyclic graphs with perfect matchings of order 2n. Let the unicyclic graphs $A_1$ , $A_2$ , $A_3$ , $A_4$ , $A_4^{\mathrm{<mo>\; *\; </mo>}}$ , $A_5$ , $A_6$ , $A_7$ , $A_8$ , $A_9$ be shown in Figure 1. The following theorem is the main result of this paper.

Theorem 1.1. Let $G\in \mathbb{A}\left(2n\right)$ and $n\ge 211$ . If $G\ne A_1,A_2,A_3,A_4,A_4^{*},A_5,A_6,A_7,A_8,A_9$ , then $\begin{array}{c}ME\left(A_1\right)<ME\left(A_2\right)<ME\left(A_3\right)<ME\left(A_4\right)=ME\left(A_4^{*}\right)<ME\left(A_5\right)\\ <ME\left(A_6\right)<ME\left(A_7\right)<ME\left(A_8\right)<ME\left(A_9\right)<ME\left(G\right)\end{array}$ .

2. A New Technique of Directly Comparing the Matching Energies of $G_u\left(k\right)$ and $H_v(k)$

By Definition 1.2, we can see that the quasi-order method can be used to compare the matching energies of two graphs. However, if the quantities $m\left(G\mathrm{,}k\right)$ cannot be compared uniformly, then the common comparing method is invalid, and this happens quite often. Recently much effort has been made to tackle these quasi-order incomparable problems [35] [39] [40] .

Let u and v be the non-isolated vertices of the graphs G and H with the same order, respectively. Let $w_i$ be a non-isolated vertex of graph $G_i$ where $i=1,2,\cdots ,k$ . We use $G_u\left(k\right)$ (respectively, $H_v\left(k\right)$ ) to denote the graph which is the coalescence of G (repectively, H) and $G_1\mathrm{,}{G}_2\mathrm{,}\cdots \mathrm{,}{G}_k$ by identifying the vertices u (respectively, v) and $w_1\mathrm{,}{w}_2\mathrm{,}\cdots \mathrm{,}{w}_k$ (see Figure 2). In [14] , He et al. presented a new method of directly comparing the energies of the bipartite graphs $G_u\left(k\right)$ and $H_v\left(k\right)$ . In this section, we apply the main idea of this method to present a new technique of comparing the matching energies of the graphs $G_u\left(k\right)$ and $H_v\left(k\right)$ which can be used to tackle these quasi-order incomparable problems.

In this paper, we assume that

$\tilde{\alpha }\left(G\right)=\tilde{\alpha }\left(G,x\right)={\displaystyle \underset{k=0}{\overset{\lfloor n/2\rfloor }{\sum }}}m\left(G,k\right)x^{n-2k}.$ (2)

By Equation (2), we can immediately obtain the following results.

Lemma 2.1. If two graphs G and H are disjoint, then

$\tilde{\alpha }\left(G\cup H\right)=\tilde{\alpha }\left(G\right)\cdot \tilde{\alpha }\left(H\right)\mathrm{.}$

Lemma 2.2. ( [35] ) Let $G=\left(V\left(G\right)\mathrm{,}\mathcal{E}\left(G\right)\right)$ be a graph. If u is a vertex of G, then

$\tilde{\alpha }\left(G\right)=x\tilde{\alpha }\left(G-u\right)+{\displaystyle \underset{uv\in \mathcal{E}\left(G\right)}{\sum }}\tilde{\alpha }\left(G-u-v\right)\mathrm{.}$

The coalescence of two graphs G and H with respect to vertex u in G and vertex v in H, denoted by $G_u\cdot H_v$ (sometimes abbreviated as $G\cdot H$ ), is the graph obtained by identifying the vertices u and v. Zhu and Yang [35] shown the recurrence relation of $\tilde{\alpha }\left(G\cdot H\right)$ in the following. For convenience of the reader, we present a full proof.

Lemma 2.3. ( [35] ) Let $G\cdot H$ be the coalescence of two graphs G and H with respect to vertex u in G and vertex v in H. Then

$\tilde{\alpha }\left(G\cdot H\right)=\tilde{\alpha }\left(G\right)\tilde{\alpha }\left(H-v\right)+\tilde{\alpha }\left(G-u\right)\left(\tilde{\alpha }\left(H\right)-x\tilde{\alpha }\left(H-v\right)\right)\mathrm{.}$

Proof. Using Lemmas 2.1 and 2.2, we can show

$\begin{array}{l}\tilde{\alpha }\left(G\cdot H\right)=x\tilde{\alpha }\left(G\cdot H-u\right)+{\displaystyle \underset{uw\in \mathcal{E}\left(G\right)}{\sum }}\tilde{\alpha }\left(G\cdot H-u-w\right)+{\displaystyle \underset{vt\in \mathcal{E}\left(H\right)}{\sum }}\tilde{\alpha }\left(G\cdot H-v-t\right)\\ =x\tilde{\alpha }\left(G-u\right)\cdot \tilde{\alpha }\left(H-v\right)+{\displaystyle \underset{uw\in \mathcal{E}\left(G\right)}{\sum }}\tilde{\alpha }\left(G-u-w\right)\cdot \tilde{\alpha }\left(H-v\right)\\ +{\displaystyle \underset{vt\in \mathcal{E}\left(H\right)}{\sum }}\tilde{\alpha }\left(G-u\right)\cdot \tilde{\alpha }\left(H-v-t\right)\\ =\left(x\tilde{\alpha }\left(G-u\right)+{\displaystyle \underset{uw\in \mathcal{E}\left(G\right)}{\sum }}\tilde{\alpha }\left(G-u-w\right)\right)\cdot \tilde{\alpha }\left(H-v\right)+\tilde{\alpha }\left(G-u\right)\cdot {\displaystyle \underset{vt\in \mathcal{E}\left(H\right)}{\sum }}\tilde{\alpha }\left(H-v-t\right)\\ =\tilde{\alpha }\left(G\right)\cdot \tilde{\alpha }\left(H-v\right)+\tilde{\alpha }\left(G-u\right)\cdot \left(\tilde{\alpha }\left(H\right)-x\tilde{\alpha }\left(H-v\right)\right)\mathrm{.}\end{array}$

From Lemma 2.3, we can get the recurrence relations of the graphs $\tilde{\alpha }\left(G_u\left(k\right)\right)$ and $\tilde{\alpha }\left(H_v\left(k\right)\right)$ which is a generalization of the formula for $\tilde{\alpha }\left(G\cdot H\right)$ .

Lemma 2.4. Let $G_u\left(k\right)$ and $H_v\left(k\right)$ be defined as above (see Figure 2). Then we have the followings.

1) $\tilde{\alpha }\left(G_u\left(k\right)\right)={\displaystyle \underset{i=1}{\overset{k}{\prod }}}\tilde{\alpha }\left(G_i-w_i\right)\left(\tilde{\alpha }\left(G\right)+\tilde{\alpha }\left(G-u\right)\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{\tilde{\alpha }\left(G_i\right)}{\tilde{\alpha }\left(G_i-w_i\right)}-kx\right)\right)\mathrm{<mo>\; ;\; </mo>}$

2) $\tilde{\alpha }\left(H_v\left(k\right)\right)={\displaystyle \underset{i=1}{\overset{k}{\prod }}}\tilde{\alpha }\left(G_i-w_i\right)\left(\tilde{\alpha }\left(H\right)+\tilde{\alpha }\left(H-v\right)\left({\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{\tilde{\alpha }\left(G_i\right)}{\tilde{\alpha }\left(G_i-w_i\right)}-kx\right)\right)\mathrm{.}$

Proof. 1) We prove the result by induction on k. When $k=1$ , by Lemma 2.3 we have

$\tilde{\alpha }\left(G_u\left(1\right)\right)=\tilde{\alpha }\left(G\cdot G_1\right)=\tilde{\alpha }\left(G\right)\tilde{\alpha }\left(G_1-w_1\right)+\tilde{\alpha }\left(G-u\right)\left(\tilde{\alpha }\left(G_1\right)-x\tilde{\alpha }\left(G_1-w_1\right)\right)\mathrm{,}$

which implies that the result holds. We assume that the result holds for $k-1$ in what follows. For simplicity, we write $h_k={\displaystyle {\sum }_{i=1}^k}\frac{\tilde{\alpha }\left(G_i\right)}{\tilde{\alpha }\left(G_i-w_i\right)}-kx$ . By Lemmas 2.1 and 2.3, we can show

$\begin{array}{l}\tilde{\alpha }\left(G_u\left(k\right)\right)=\tilde{\alpha }\left(G_u\left(k-1\right)\cdot G_k\right)\\ =\tilde{\alpha }\left(G_u\left(k-1\right)\right)\tilde{\alpha }\left(G_k-w_k\right)+\tilde{\alpha }\left(G_u\left(k-1\right)-u\right)\left(\tilde{\alpha }\left(G_k\right)-x\tilde{\alpha }\left(G_k-w_k\right)\right)\\ ={\displaystyle \underset{i=1}{\overset{k-1}{\prod }}}\tilde{\alpha }\left(G_i-w_i\right)\left(\tilde{\alpha }\left(G\right)+\tilde{\alpha }\left(G-u\right)h_{k-1}\right)\tilde{\alpha }\left(G_k-w_k\right)\\ +{\displaystyle \underset{i=1}{\overset{k-1}{\prod }}}\tilde{\alpha }\left(G_i-w_i\right)\tilde{\alpha }\left(G-u\right)\left(\tilde{\alpha }\left(G_k\right)-x\tilde{\alpha }\left(G_k-w_k\right)\right)\\ ={\displaystyle \underset{i=1}{\overset{k-1}{\prod }}}\tilde{\alpha }\left(G_i-w_i\right)\left((\tilde{\alpha }\left(G\right)+\tilde{\alpha }\left(G-u\right)h_{k-1}\right)\tilde{\alpha }\left(G_k-w_k\right)\end{array}$

$\begin{array}{l}+\tilde{\alpha }\left(G-u\right)\left(\tilde{\alpha }\left(G_k\right)-\tilde{\alpha }\left(G_k-w_k\right)\right))\\ ={\displaystyle \underset{i=1}{\overset{k-1}{\prod }}}\tilde{\alpha }\left(G_i-w_i\right)\tilde{\alpha }\left(G_k-w_k\right)\left(\tilde{\alpha }\left(G\right)+\tilde{\alpha }\left(G-u\right)h_{k-1}+\tilde{\alpha }\left(G-u\right)\left(\frac{\tilde{\alpha }\left(G_k\right)}{\tilde{\alpha }\left(G_k-w_k\right)}-x\right)\right)\\ ={\displaystyle \underset{i=1}{\overset{k}{\prod }}}\tilde{\alpha }\left(G_i-w_i\right)\left(\tilde{\alpha }\left(G\right)+\tilde{\alpha }\left(G-u\right)h_{k-1}+\tilde{\alpha }\left(G-u\right)\left(\frac{\tilde{\alpha }\left(G_k\right)}{\tilde{\alpha }\left(G_k-w_k\right)}-x\right)\right)\\ ={\displaystyle \underset{i=1}{\overset{k}{\prod }}}\tilde{\alpha }\left(G_i-w_i\right)\left(\tilde{\alpha }\left(G\right)+\tilde{\alpha }\left(G-u\right)\left(h_{k-1}+\frac{\tilde{\alpha }\left(G_k\right)}{\tilde{\alpha }\left(G_k-w_k\right)}-x\right)\right)\\ ={\displaystyle \underset{i=1}{\overset{k}{\prod }}}\tilde{\alpha }\left(G_i-w_i\right)\left(\tilde{\alpha }\left(G\right)+\tilde{\alpha }\left(G-u\right)h_k\right)\end{array}$

Then we can see that the result holds.

2) The proof is similar to 1).

The following lemma illustrates an integral formula for the difference of the matching energies of two graphs with the same order which was obtained by Zhu and Yang [35] .

Lemma 2.5. ( [35] ) Let $\alpha \left(G\mathrm{,}x\right)$ and $\alpha \left(H\mathrm{,}x\right)$ be the matching polynomials of two graphs G and H with the same order, respectively. Then

$ME\left(G\right)-ME\left(H\right)=\frac{2}{\text{π}}{\displaystyle {\int }_0^{+\infty }}\ln \frac{\tilde{\alpha }\left(G,x\right)}{\tilde{\alpha }\left(H,x\right)}\text{d}x\mathrm{.}$

Let $x>0$ . For simplicity, we write

$h_k={\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{\tilde{\alpha }\left(G_i\right)}{\tilde{\alpha }\left(G_i-w_i\right)}-kx={\displaystyle \underset{i=1}{\overset{k}{\sum }}}\frac{\tilde{\alpha }\left(G_i\right)-x\tilde{\alpha }\left(G_i-w_i\right)}{\tilde{\alpha }\left(G_i-w_i\right)}.$

From Lemma 2.2, we have $h_k>0$ and $h_l<h_k$ holds for any positive integer $l<k$ .

In what follows, we define two sets M and $M^c$ as follows:

$M=\left\{x>0|\tilde{\alpha }\left(G-u\right)\tilde{\alpha }\left(H\right)-\tilde{\alpha }\left(G\right)\tilde{\alpha }\left(H-v\right)>0\right\}$

$M^c=\left\{x>0|\tilde{\alpha }\left(G-u\right)\tilde{\alpha }\left(H\right)-\tilde{\alpha }\left(G\right)\tilde{\alpha }\left(H-v\right)\le 0\right\}.$

It is easily checked that $M\cup M^c=\left(\mathrm{0,}+\infty \right)$ . Furthermore, we write

$m_k\left(x\right)=\frac{\tilde{\alpha }\left(G\right)+h_k\tilde{\alpha }\left(G-u\right)}{\tilde{\alpha }\left(H\right)+h_k\tilde{\alpha }\left(H-v\right)}$

$m\left(x\right)=\frac{\tilde{\alpha }\left(G-u\right)}{\tilde{\alpha }\left(H-v\right)}.$

Combining Lemma 2.4 with Lemma 2.5, we can present a new technique for directly comparing the matching energies of two graphs $G_u\left(k\right)$ and $H_v\left(k\right)$ in the following theorem.

Theorem 2.2. Let M, $M^c$ , $m_k\left(x\right)$ and $m\left(x\right)$ be defined as above. For all positive integers $1\le l<k$ , we have

$\begin{array}{c}{\displaystyle {\int }_M}\ln m_l\left(x\right)\text{d}x+{\displaystyle {\int }_{M^c}}\ln m\left(x\right)\text{d}x\le \frac{\text{π}}{2}\left(ME\left(G_u\left(k\right)\right)-ME\left(H_v\left(k\right)\right)\right)\\ \le {\displaystyle {\int }_M}\ln m\left(x\right)\text{d}x+{\displaystyle {\int }_{M^c}}\ln m_l\left(x\right)\text{d}x.\end{array}$

Proof. By some calculations, we can obtain that

$\begin{array}{c}{m}_k\left(x\right)-m_l\left(x\right)=\frac{\tilde{\alpha }\left(G\right)+h_k\tilde{\alpha }\left(G-u\right)}{\tilde{\alpha }\left(H\right)+h_k\tilde{\alpha }\left(H-v\right)}-\frac{\tilde{\alpha }\left(G\right)+h_l\tilde{\alpha }\left(G-u\right)}{\tilde{\alpha }\left(H\right)+h_l\tilde{\alpha }\left(H-v\right)}\\ =\frac{\left(h_k-h_l\right)\left(\tilde{\alpha }\left(G-u\right)\tilde{\alpha }\left(H\right)-\tilde{\alpha }\left(G\right)\tilde{\alpha }\left(H-v\right)\right)}{\left(\tilde{\alpha }\left(H\right)+h_k\tilde{\alpha }\left(H-v\right)\right)\left(\tilde{\alpha }\left(H\right)+h_l\tilde{\alpha }\left(H-v\right)\right)}.\end{array}$

$\begin{array}{c}{m}_k\left(x\right)-m\left(x\right)=\frac{\tilde{\alpha }\left(G\right)+h_k\tilde{\alpha }\left(G-u\right)}{\tilde{\alpha }\left(H\right)+h_k\tilde{\alpha }\left(H-v\right)}-\frac{\tilde{\alpha }\left(G-u\right)}{\tilde{\alpha }\left(H-v\right)}\\ =\frac{-\left(\tilde{\alpha }\left(G-u\right)\tilde{\alpha }\left(H\right)-\tilde{\alpha }\left(G\right)\tilde{\alpha }\left(H-v\right)\right)}{\left(\tilde{\alpha }\left(H\right)+h_k\tilde{\alpha }\left(H-v\right)\right)\tilde{\alpha }\left(H-v\right)}.\end{array}$

Thus, If $x\in M$ , then $m_l\left(x\right)\le m_k\left(x\right)\le m\left(x\right)$ . If $x\in M^c$ , then $m\left(x\right)\le m_k\left(x\right)\le m_l\left(x\right)$ .

Moreover, by Lemmas 2.4 and 2.5, we have

$\begin{array}{l}\frac{\text{π}}{2}\left(ME\left(G_u\left(k\right)\right)-ME\left(H_v\left(k\right)\right)\right)\\ ={\displaystyle {\int }_0^{+\infty }}\ln m_k\left(x\right)\text{d}x={\displaystyle {\int }_M}\ln m_k\left(x\right)\text{d}x+{\displaystyle {\int }_{M^c}}\ln m_k\left(x\right)\text{d}x.\end{array}$

Then the result can be obtained immediately.

Next, we use the new technique to compare the matching energies of the quasi-order incomparable graphs $A_5$ and $A_6$ , $A_8$ and $A_9$ (see Figure 1), respectively. Denote by $C_k$ and $P_k$ the cycle of length k and the path of length $k-1$ , respectively.

Lemma 2.6. If $n\ge 6$ , then $ME\left(A_5\right)<ME\left(A_6\right)$ .

Proof. Let G be the graph obtained by attaching a pendent edge to a vertex u of $C_5$ . Let H be the graph obtained by attaching a pendent edge and a pendent path of length 2 to the vertices w and v of $C_3$ , respectively. Let $G_1=G_2=\cdots =G_{n-3}=P_3$ and $w_i$ be the pendent vertex of $G_i$ . Then $G_u\left(n-3\right)=A_5$ and $H_v\left(n-3\right)=A_6$ (see Figure 1). By some calculations, we can show

$\tilde{\alpha }\left(G\right)=x^6+6x^4+8x^2+1$

$\tilde{\alpha }\left(G-u\right)=x\left(x^4+3x^2+1\right)$

$\tilde{\alpha }\left(H\right)=x^6+6x^4+7x^2+1$

$\tilde{\alpha }\left(H-v\right)=\left(x^2+1\right)\left(x^3+2x\right).$

It follows that

$\tilde{\alpha }\left(G-u\right)\tilde{\alpha }\left(H\right)-\tilde{\alpha }\left(G\right)\tilde{\alpha }\left(H-v\right)=-2x^7-9x^5-9x^3-x.$

This implies that $M=\varnothing$ and $M^c=\left(0,+\infty \right)$ . By Theorem 2.2 and some calculations using the software MATLAB, we have

$\begin{array}{l}\frac{\text{π}}{2}\left(ME\left(A_5\right)-ME\left(A_6\right)\right)\\ =\frac{\text{π}}{2}\left(ME\left(G_u\left(n-3\right)\right)-ME\left(H_v\left(n-3\right)\right)\right)\\ \le {\displaystyle {\int }_0^{+\infty }}\ln m_3\left(x\right)\text{d}x\\ ={\displaystyle {\int }_0^{+\infty }}\ln \frac{{\left(x^2+1\right)}^2\left(x^8+10x^6+23x^4+12x^2+1\right)}{{\left(x^2+1\right)}^3\left(x^6+9x^4+13x^2+1\right)}\text{d}x\\ \doteq -0.0248<0.\end{array}$

Thus, $ME\left(A_5\right)<ME\left(A_6\right)$ .

Lemma 2.7. If $n\ge 211$ , then $ME\left(A_8\right)<ME\left(A_9\right)$ .

Proof. Let G be the graph obtained by attaching two pendent paths of length 2 to the same vertex of $C_4$ . Let H be the graph obtained by first attaching a pendent edge to each vertex of $C_3$ and then attaching a pendent path of length 2 to one vertex of $C_3$ . Let u be the vertex of degree 4 in G and v be the vertex of degree 3 in H, respectively. Let $G_1=G_2=\cdots =G_{n-4}=P_3$ and $w_i$ be the pendent vertex of $G_i$ . Then $G_u\left(n-4\right)=A_8$ and $H_v\left(n-4\right)=A_9$ (see Figure 1). By some calculations, we can get the followings.

$\tilde{\alpha }\left(G\right)=x^8+8x^6+17x^4+12x^2+2$

$\tilde{\alpha }\left(G-u\right)={\left(x^2+1\right)}^2\left(x^3+2x\right)$

$\tilde{\alpha }\left(H\right)=x^8+8x^6+15x^4+8x^2+1$

$\tilde{\alpha }\left(H-v\right)=x\left(x^6+5x^4+5x^2+1\right),$

which implies that

$\tilde{\alpha }\left(G-u\right)\tilde{\alpha }\left(H\right)-\tilde{\alpha }\left(G\right)\tilde{\alpha }\left(H-v\right)=-x^3{\left(x^2+1\right)}^2\left(x^6+8x^4+11x^2+1\right).$

It follows that $M=\varnothing$ and $M^c=\left(0,+\infty \right)$ . By Theorem 2.2 and some calculations using the software MATLAB, we have

$\begin{array}{l}\frac{\text{π}}{2}\left(ME\left(A_8\right)-ME\left(A_9\right)\right)\\ =\frac{\text{π}}{2}\left(ME\left(G_u\left(n-4\right)\right)-ME\left(H_v\left(n-4\right)\right)\right)\\ \le {\displaystyle {\int }_0^{+\infty }}\ln m_{207}\left(x\right)\text{d}x\\ ={\displaystyle {\int }_0^{+\infty }}\ln \frac{{\left(x^2+1\right)}^{208}\left(x^6+214x^4+424x^2+2\right)}{{\left(x^2+1\right)}^{206}\left(x^{10}+216x^8+1055x^6+1055x^4+216x^2+1\right)}\text{d}x\\ \doteq -7.43\times {10}^{-5}<0.\end{array}$

Consequently, $ME\left(A_8\right)<ME\left(A_9\right)$ .

3. Minimal Matching Energies of Unicyclic Graphs with Perfect Matchings of Order 2n

In this section, we will determine the unicyclic graphs with perfect matchings of order 2n with the first to the ninth smallest matching energies (i.e., to prove Theorem 1.1).

In what follows, we denote by $M\left(G\right)$ a perfect matching of a graph G. Let $\hat{G}=G-M\left(G\right)-S_0$ , where $S_0$ is the set of isolated vertices in $G-M\left(G\right)$ . We call $\hat{G}$ the capped graph of G and G the original graph of $\hat{G}$ . For example, the capped graphs of $A_1\mathrm{,}{A}_2\mathrm{,}{A}_3\mathrm{,}{A}_5$ are shown in Figure 3.

Let $G\in \mathbb{A}\left(2n\right)$ . Denote by $\mathcal{E}\left(G\right)$ the edge set of G. It is easy to see that $\mathcal{E}\left(G\right)=\mathcal{E}\left(\hat{G}\right)\cup M\left(G\right)$ . Thus each k-matching $\Omega$ of G can be partitioned into two parts: $\Omega =\Phi \cup \Psi$ , where $\Phi \subseteq \mathcal{E}\left(\hat{G}\right)$ and $\Psi \subseteq M\left(G\right)$ . Let $r_j^{\left(2k\right)}\left(G\right)$ be the number of ways to choose k independent edges in G such that just j edges are in $\hat{G}$ . We agree that $r_0^{\left(0\right)}\left(G\right)=1$ and $r_j^{\left(2k\right)}\left(G\right)=0\left(k<0\right)$ . For example: $r_0^{\left(2k\right)}\left(G\right)=\left(\begin{array}{c}n\\ k\end{array}\right)$ and $r_1^{\left(2k\right)}\left(G\right)=n\left(\begin{array}{c}n-2\\ k-1\end{array}\right)$ .

Then we have

$m\left(G,k\right)={\displaystyle \underset{j=0}{\overset{k}{\sum }}}{r}_j^{\left(2k\right)}\left(G\right)=p+{\displaystyle \underset{j=2}{\overset{k}{\sum }}}{r}_j^{\left(2k\right)}\left(G\right),$ (3)

where

$p=\left(\begin{array}{c}n\\ k\end{array}\right)+n\left(\begin{array}{c}n-2\\ k-1\end{array}\right).$

This is the main method to compute $m\left(G\mathrm{,}k\right)$ of a graph G in what follows.

Let $X_n$ be the star of order n. Let $Y_n$ be the graph of order n obtained by attaching $n-3$ pendent edges to a pendent vertex of $P_3$ . Let $Z_n$ be the graph of order n obtained from $P_4=v_1{v}_2{v}_3{v}_4$ by attaching $n-5$ and one pendent edges to $v_2$ and $v_3$ , respectively. In [2] and [31] , the following results were shown.

Lemma 3.1. ( [2] ) Let T be a tree of order $n\ge 5$ . Then $m\left(X_n\mathrm{,}k\right)\le m\left(Y_n\mathrm{,}k\right)\le m\left(Z_n\mathrm{,}k\right)\le m\left(T\mathrm{,}k\right)$ , and the equalities do not hold for all k, where $T\ne X_n\mathrm{,}{Y}_n\mathrm{,}{Z}_n$ and $0\le k\le \lfloor n/2\rfloor$ .

Lemma 3.2. ( [31] ) Suppose that G is a connected graph and T is an induced subgraph of G such that T is a tree and T is connected to the rest of G only by a cut vertex v. If T is replaced by a star of the same order, centered at v, then the quasi-order decreases (unless T is already such a star).

Let $S_n^l$ be the unicyclic graph of order n obtained by attaching $n-l$ pendent edges to one vertex of $C_l$ .

Lemma 3.3. ( [43] ) Let G be a unicyclic graph of order n with a cycle of length l. If $G\ne S_n^l$ , then $G\succ S_n^l$ .

Let $R_n^3$ be the graph of order n obtained by attaching $n-4$ and one pendent edges to $v_1$ and $v_2$ of $C_3=v_1{v}_2{v}_3{v}_1$ , respectively. Let $C_3\left(a\mathrm{,}b\mathrm{,}c\right)$ be the unicyclic graph obtained by attaching $a\mathrm{,}b\mathrm{,}c$ pendent edges to $v_1\mathrm{,}{v}_2\mathrm{,}{v}_3$ of $C_3=v_1{v}_2{v}_3{v}_1$ , respectively. Let $Q_n^3$ be the graph of order n obtained by attaching $n-4$ pendent edges to the pendent vertex of $C_3\left(\mathrm{1,0,0}\right)$ . The graphs $S_n^3$ , $R_n^3$ and $Q_n^3$ are shown in Figure 4.

Lemma 3.4. Let G be a unicyclic graph of order $n\ge 9$ . If $G\ne S_n^3\mathrm{,}{R}_n^3$ , then $m\left(G\mathrm{,2}\right)\ge 2n-6$ .

Proof. Let G be a unicyclic graph with the unique cycle of length l. We consider the following cases.

Case 1: $l\ge 5$ .

By Lemma 3.10, we have $G\succcurlyeq S_n^l$ . Then $m\left(G\mathrm{,2}\right)\ge m\left(S_n^l\mathrm{,2}\right)\ge \left(n-l\right)\left(l-2\right)\ge 3\left(n-5\right)\ge 2n-6$ .

Case 2: $l=4$ .

Using Lemma 3.10, we can show $G\succcurlyeq S_n^4$ . So, $m\left(G,2\right)\ge m\left(S_n^4,2\right)=2n-6$ .

Case 3: $l=3$ .

Denote by $d_G\left(u\right)$ the degree of the vertex u in G. Let $C_3=v_1{v}_2{v}_3{v}_1$ be the unique cycle of the unicyclic graph G and $N\left(G\right)=\left\{v_i|d_G\left(v_i\right)\ge 3,i=1,2,3\right\}$ .

Subcase 3.1: $\left|N\left(G\right)\right|=1$ .

Without loss of generality, we can assume that $d_G\left(v_1\right)\ge 3$ . Let T be the rooted tree of order $n-2$ with the root $v_1$ in G. If $T=X_{n-2}$ , then $G=Q_n^3$ ( $G\ne S_n^3$ ). Then $m\left(G,2\right)=3n-11>2n-6$ . If $T=Y_{n-2}$ , then $m\left(G,2\right)\ge \left(n-3\right)+m\left(Y_{n-2},2\right)+2=\left(n-3\right)+\left(n-5\right)+2=2n-6$ . If $T\ne X_{n-2}\mathrm{,}{Y}_{n-2}$ , then by Lemma 3.8 we have

$m\left(G,2\right)\ge \left(n-3\right)+m\left(T,2\right)\ge \left(n-3\right)+m\left(Z_{n-2},2\right)=n-3+2\left(n-6\right)=3n-15\ge 2n-6$ .

Subcase 3.2: $\left|N\left(G\right)\right|=2$ .

Without loss of generality, we can assume that $d_G\left(v_1\right)\ge 3$ and $d_G\left(v_2\right)\ge 3$ . Let $T_1$ and $T_2$ be the rooted tree with the root $v_1$ and $v_2$ in G, respectively.

If $T_1=P_2$ or $T_2=P_2$ , then by Lemma 3.9 we can show $m\left(G,2\right)\ge m\left(R_n^3,2\right)=2n-7$ . Since $G\ne R_n^3$ , we have $m\left(G\mathrm{,2}\right)\ge 2n-6$ .

If $T_1\ne P_2$ and $T_2\ne P_2$ , then by Lemma 3.9 we have $G\succcurlyeq C_3\left(a\mathrm{,}b\mathrm{,0}\right)$ ( $a+b=n-3$ ). Thus, $m\left(G,2\right)\ge m\left(C_3\left(a,b,0\right),2\right)\ge a+b+ab\ge n-3+2\left(n-5\right)=3n-13>2n-6$ .

Subcase 3.3: $\left|N\left(G\right)\right|=3$ .

According to Lemma 3.9, we have $G\succcurlyeq C_3\left(a\mathrm{,}b\mathrm{,}c\right)$ ( $a+b+c=n-3$ ). Then we have

$\begin{array}{c}m\left(G,2\right)\ge a+b+c+ab+bc+ac\\ \ge n-3+a+b-1+b+c-1+a+c-1\\ =n-3+2\left(n-3\right)-3\\ =3n-12>2n-6.\end{array}$

Thus we have completed the proof.

Lemma 3.5. Let $G\in \mathbb{A}\left(2n\right)$ and $n\ge 9$ . If $G\ne A_1\mathrm{,}{A}_2\mathrm{,}{A}_3\mathrm{,}{A}_4\mathrm{,}{A}_4^{\mathrm{<mo>\; *\; </mo>}}\mathrm{,}{A}_5\mathrm{,}{A}_6\mathrm{,}{A}_7\mathrm{,}{A}_8\mathrm{,}{A}_9$ , then $m\left(\hat{G}\mathrm{,2}\right)\ge 2n-6$ .

Proof. We consider the following cases.

Case 1: $\hat{G}$ is a connected graph.

Subcase 1.1: $\hat{G}$ is a tree.

It can easily be verified that $G=A_1$ as $\hat{G}=X_{n+1}$ and $G=A_3,A_4,A_4^{*},A_6$ as $\hat{G}=Y_{n+1}$ . Thus, $\hat{G}\ne X_{n+1}\mathrm{,}{Y}_{n+1}$ . By Lemma 3.8, we have $m\left(\hat{G},2\right)\ge m\left(Z_{n+1},2\right)=2n-6$ .

Subcase 1.2: $\hat{G}$ is a connected unicyclic graph.

It can be shown that $G=A_2$ as $\hat{G}=S_n^3$ and $G=A_9$ as $\hat{G}=R_n^3$ . Therefore, $\hat{G}\ne S_n^3\mathrm{,}{R}_n^3$ . According to Lemma 3.11, we have $m\left(\hat{G}\mathrm{,2}\right)\ge 2n-6$ .

Case 2: $\hat{G}$ is a unconnected graph.

Subcase 2.1: $\hat{G}$ is only composed of trees.

It can be checked that $G=A_5,A_7,A_8$ as $\hat{G}=X_n\cup P_2$ . Then, $\hat{G}\ne X_n\cup P_2$ . Let ${\hat{G}}_1$ be the coalescence of all trees in a way such that ${\hat{G}}_1\ne X_{n+1}\mathrm{,}{Y}_{n+1}$ . It is clear that $m\left(\hat{G},2\right)>m\left({\hat{G}}_1,2\right)$ . Similar to Subcase 1.1, we have $m\left(\hat{G},2\right)>2n-6$ .

Subcase 2.2: $\hat{G}$ is composed of trees and unicyclic graphs.

Let ${\hat{G}}_2$ be the coalescence of all trees and unicyclic graphs in a way such that ${\hat{G}}_2\ne S_n^3\mathrm{,}{R}_n^3$ . It is obvious that $m\left(\hat{G},2\right)>m\left({\hat{G}}_2,2\right)$ . Similar to Subcase 1.2, we have $m\left(\hat{G},2\right)>2n-6$ .

Then we have completed the proof.

From Lemma 3.5, we can immediately derive the following result.

Lemma 3.6. Let $G\in \mathbb{A}\left(2n\right)$ and $n\ge 9$ . If $G\ne A_1\mathrm{,}{A}_2\mathrm{,}{A}_3\mathrm{,}{A}_4\mathrm{,}{A}_4^{\mathrm{<mo>\; *\; </mo>}}\mathrm{,}{A}_5\mathrm{,}{A}_6\mathrm{,}{A}_7\mathrm{,}{A}_8\mathrm{,}{A}_9$ , then $G\succ A_9$ .

Proof. By Equation (3) and Lemma 3.12, when $k\ge 2$ , we can get

$\begin{array}{c}m\left(G,k\right)=p+{\displaystyle \underset{j=2}{\overset{k}{\sum }}}{r}_j^{\left(2k\right)}\left(G\right)\ge p+r_2^{\left(2k\right)}\left(G\right)\\ \ge p+m\left(\hat{G}\mathrm{,2}\right)\left(\begin{array}{c}n-4\\ k-2\end{array}\right)\ge p+\left(2n-6\right)\left(\begin{array}{c}n-4\\ k-2\end{array}\right)\mathrm{.}\end{array}$

Furthermore, by some calculations we have

$m\left(A_9,k\right)=p+\left(2n-7\right)\left(\begin{array}{c}n-4\\ k-2\end{array}\right).$

Then we can see that $G\succ A_9$ .

Combining Lemma 2.6 with Lemma 2.7, we can show the followings.

Lemma 3.7. If $n\ge 211$ , then $\begin{array}{c}ME\left(A_1\right)<ME\left(A_2\right)<ME\left(A_3\right)<ME\left(A_4\right)=ME\left(A_4^{*}\right)<ME\left(A_5\right)\\ <ME\left(A_6\right)<ME\left(A_7\right)<ME\left(A_8\right)<ME\left(A_9\right)\end{array}$ .

Proof. Using Equation (4) and some calculations, we can get

$m\left(A_1,k\right)=p$

$m\left(A_2,k\right)=p+\left(n-3\right)\left(\begin{array}{c}n-4\\ k-2\end{array}\right)$

$m\left(A_3,k\right)=p+\left(n-2\right)\left(\begin{array}{c}n-4\\ k-2\end{array}\right)$

$m\left(A_4,k\right)=p+\left(\begin{array}{c}n-3\\ k-2\end{array}\right)+\left(n-3\right)\left(\begin{array}{c}n-4\\ k-2\end{array}\right)$

$m\left(A_4^{*},k\right)=p+\left(\begin{array}{c}n-3\\ k-2\end{array}\right)+\left(n-3\right)\left(\begin{array}{c}n-4\\ k-2\end{array}\right)$

$m(A_5,k)=p+2\left(\begin{array}{c}n-3\\ k-2\end{array}\right)+\left(n-3\right)\left(\begin{array}{c}n-4\\ k-2\end{array}\right)$

$m\left(A_6,k\right)=p+\left(n-3\right)\left(\begin{array}{c}n-3\\ k-2\end{array}\right)$

$m\left(A_7,k\right)=p+\left(n-1\right)\left(\begin{array}{c}n-3\\ k-2\end{array}\right)$

$m\left(A_8,k\right)=p+\left(\begin{array}{c}n-2\\ k-2\end{array}\right)+\left(n-2\right)\left(\begin{array}{c}n-3\\ k-2\end{array}\right)$

$m\left(A_9,k\right)=p+\left(2n-7\right)\left(\begin{array}{c}n-4\\ k-2\end{array}\right).$