Search

A graph is called equimatchable if all of its maximal matchings have the same size. Due to Eiben and Kotrbcik, any connected graph with odd order and independence number $\alpha(G)$ at most $2$ is equimatchable. Akbari et al. showed that for any odd number $r$, a connected equimatchable $r$-regular graph must be either the complete graph $K_{r+1}$ or the complete bipartite graph $K_{r,r}$. They also determined all connected equimatchable $4$-regular graphs and proved that for any even $r$, any connected equimatchable $r$-regular graph is either $K_{r,r}$ or factor-critical. In this paper, we confirm that for any even $r\ge 6$, there exists a unique connected equimatchable $r$-regular graph $G$ with $\alpha(G)\geq 3$ and odd order., Comment: 22 Pages and 5 figures

Tutte proved that 4-connected planar graphs are Hamiltonian. It is unknown if there is an analogous result on 1-planar graphs. In this paper, we characterize 4-connected 1-planar chordal graphs, and show that all such graphs are Hamiltonian-connected. A crucial tool used in our proof is a characteristic of 1-planar 4-trees.

A graph $G$ is said to be crossing-critical if $cr(G-e)< cr(G)$ for every edge $e$ of $G$, where $cr(G)$ is the crossing number of $G$. Richter and Thomassen [Journal of Combinatorial Theory, Series B 58 (1993), 217-224] constructed an infinite family of 4-regular crossing-critical graphs with crossing number $3$. In this article, we present a new infinite family of 4-regular crossing-critical graphs.

Recently, Chmutov proved that the partial-dual polynomial considered as a function on chord diagrams satisfies the four-term relations. In this paper, we show that this function on framed chord diagrams also satisfies the four-term relations, i.e., is a framed weight system., Comment: 10pages, 11figures

A {\it mixed hypergraph} ${\cal H}=({\cal V},{\cal C},{\cal D})$ consists of the vertex set ${\cal V}$ and two families of subsets of $2^{{\cal V}}$: the family ${\cal C}$ of co-edges and the family ${\cal D}$ of edges. ${\cal H}$ is said to be colorable if there is a mapping $f$ from ${\cal V}$ to the set of positive integers such that $|\{f(v):v\in e\}|<|e|$ for each $e\in {\cal C}$ and $|\{f(v):v\in e\}|>1$ for each $e\in {\cal D}$. There exist mixed hypergraphs which are uncolorable, and quite little about these mixed hypergraphs is known. A mixed hypergraph is called a bi-hypergraph if its co-edge set and edge set are the same. In this article, we first apply Lov\'asz local lemma to show that any $r$-uniform bi-hypergraph with $r\ge 4$ is colorable if every edge is incident to less than $(r-1)^{r-1}e^{-1}-1$ other edges, where $e$ is the base of natural logarithms. Then, we show that among all the uncolorable $3$-uniform bi-hypergraphs, the smallest size of a minimal one is ten, which answers a question raised by Tuza and Voloshin in 2000. As an extension, we provide a minimal uncolorable $3$-uniform bi-hypergraph of order $n$ and size at most $\frac{7n}3-4$ for every $n\ge 6$., Comment: 19 pages, 4 figures

For a k-tree T, a generalization of a tree, the local mean order of sub-k-trees of T is the average order of sub-k-trees of T containing a given k-clique. The problem whether the largest local mean order of a tree (i.e., a 1-tree) at a vertex always takes on at a leaf was asked by Jamison in 1984 and was answered by Wagner and Wang in 2016. In 2018, Stephens and Oellermann asked a similar problem: for any k-tree T, does the maximum local mean order of sub-k-trees containing a given k-clique occur at a k-clique that is not a major k-clique of T? In this paper, we give it an affirmative answer.

In 2013, Ku and Wong showed that for any partitions $\mu$ and $\mu'$ of a positive integer $n$ with the same first part $u$ and the lexicographic order $\mu\triangleleft \mu'$, the eigenvalues $\xi_{\mu}$ and $\xi_{\mu'}$ of the derangement graph $\Gamma_n$ have the property $|\xi_{\mu}|\le |\xi_{\mu'}|$, where the equality holds if and only if $u=3$ and all other parts are less than $3$. In this article, we obtain an analogous conclusion on the eigenvalues of the perfect matching derangement graph $\mathcal{M}_{2n}$ of $K_{2n}$ by finding a new recurrence formula for the eigenvalues of $\mathcal{M}_{2n}$., Comment: 13 pages

Let ${\cal H}=(V,E)$ be any $r$-uniform hypergraph with $n$ vertices and $m$ edges, where $r\ge 2$, $P({\cal H},k)$ be the chromatic polynomial of ${\cal H}$, $P({\cal H},L)$ be the number of $L$-colorings of ${\cal H}$ for any $k$-assignment $L$ and $P_l({\cal H},k)$ be the minimum value of $P({\cal H},L)$ over all $k$-assignments $L$. In this article, we show that $P_l({\cal H},k)=P({\cal H},k)$ holds whenever $k\ge m-1$, and in particular, $P({\cal H}, L)-P({\cal H},k)\ge (k-m+1)k^{n-r-1} \sum\limits_{e\in E} \left (k-\left|\bigcap\limits_{v\in e}L(v)\right|\right ) $ when $m\ge 5$. Our conclusion extends both our previous result in terms of graphs and the latest known result on hypergraphs by Wang, Qian and Yan., Comment: 1 figure and 14 pages

For any $r$-uniform hypergraph $\mathcal{H}$ with $m$ ($\geq 2$) edges, let $P(\mathcal{H},k)$ and $P_l(\mathcal{H},k)$ be the chromatic polynomial and the list-color function of $\mathcal{H}$ respectively, and let $\rho(\mathcal{H})$ denote the minimum value of $|e\setminus e'|$ among all pairs of distinct edges $e,e'$ in $\mathcal{H}$. We will show that if $r\ge3$, $\rho(\mathcal{H})\ge 2$ and $m\ge \frac{\rho(\mathcal{H})^3}2+1$, then $P_l(\mathcal{H},k)=P(\mathcal{H},k)$ holds for all integers $k\geq \frac{2.4(m-1)}{\rho(\mathcal{H})\log(m-1)}$., Comment: 11 pages, 1 figure

For a hypergraph ${\cal H}$, let $P({\cal H},k)$ and $P_l({\cal H},k)$ be its chromatic polynomial and list-color function respectively, and let $\tau'({\cal H})$ be the least non-negative integer $q$ such that $P({\cal H},k)=P_l({\cal H},k)$ holds for all integers $k\ge q$. In this article, we show that for any $r$-uniform hypergraph ${\cal H}$ of order $n$ and size $m$ and any $k$-assignment $L$ of ${\cal H}$, where $r\ge 3$, $P({\cal H},L)-P({\cal H},k)\ge \min \{0.02k, k-(m-1)\} k^{n-r-1}\sum_{e\in E({\cal H})} \left ( k-\left |\bigcap_{v\in e}L(v)\right | \right )$ holds for $k\ge m-1\ge 4$. It follows that $\tau'({\cal H})\le m-1$, improving the current best result on $\tau'({\cal H})$., Comment: This article is a sister paper of "Compare list-color functions of uniform hypergraphs with their chromatic polynomials (I)" at arXiv:2305.02497. The later is now completed in a new approach, and it covers the main result in the former

A matching of a graph is a set of edges without common end vertex. A graph is called 1-planar if it admits a drawing in the plane such that each edge is crossed at most once. Recently, Biedl and Wittnebel proved that every 1-planar graph with minimum degree 3 and $n\geq 7$ vertices has a matching of size at least $\frac{n+12}{7}$, which is tight for some graphs. They also provided tight lower bounds for the sizes of matchings in 1-planar graphs with minimum degree 4 or 5. In this paper, we show that any 1-planar graph with minimum degree 6 and $n \geq 36$ vertices has a matching of size at least $\frac{3n+4}{7}$, and this lower bound is tight. Our result confirms a conjecture posed by Biedl and Wittnebel., Comment: 19 pages and 5 figures. To appear in SIAM Discrete Mathematics

Let $G=(V,E)$ be a simple graph with $n$ vertices and $m$ edges, $P(G,k)$ be the chromatic polynomial of $G$, and $P(G,L)$ be the number of $L$-colorings of $G$ for any $k$-assignment $L$. In this article, we show that when $k\ge m-1\ge 3$, $P(G,L)-P(G,k)$ is bounded below by $\left ( (k-m+1)k^{n-3}+\frac{(k-m+3)c}{3} k^{n-5}\right )\sum\limits_{uv\in E}|L(u)\setminus L(v)|$, where $c\ge \frac{(m-1)(m-3)}{8}$, and in particular, if $G$ is $K_3$-free, then $c\ge {m-2\choose 2}+2\sqrt m-3$. Consequently, $P(G,L)\ge P(G,k)$ whenever $k\ge m-1$., Comment: 12 pages

For any connected graph $G$, let $P(G,m)$ and $P_{DP}(G,m)$ denote the chromatic polynomial and DP color function of $G$, respectively. It is known that $P_{DP}(G,m)\le P(G,m)$ holds for every positive integer $m$. Let $DP_\approx$ (resp. $DP_<$) be the set of graphs $G$ for which there exists an integer $M$ such that $P_{DP}(G,m)=P(G,m)$ (resp. $P_{DP}(G,m)