arXiv++ Combinatorics

We give an explicit combinatorial proof of a weighted version of strong log-concavity for the generating polynomial of increasing spanning forests of a finite simple graph equipped with a total ordering of the vertices. In contrast to similar proofs in the literature, our injection is local in the sense that it proceeds by moving a single edge from one forest to the other. In the particular case of the complete graph, this gives a new combinatorial proof of log-concavity of unsigned Stirling numbers of the first kind where a pair of permutations is transformed into a new pair by breaking a single cycle in the first permutation and gluing two cycles in the second permutation, while all the other spectator cycles are left untouched.

Let $G$ be a connected simple graph of order $n$. Let $ρ_1(G)\geq ρ_2(G)\geq \cdots \geq ρ_{n-1}(G)> ρ_n(G)=0$ be the eigenvalues of the normalized Laplacian matrix $\mathcal{L}(G)$ of $G$. Denote by $m(ρ_i)$ the multiplicity of the normalized Laplacian eigenvalue $ρ_i$. Let $ν(G)$ be the independence number of $G$. In this paper, we give a full characterization of graphs with some normalized Laplacian eigenvalue of multiplicity $n-3$, which answers a remaining problem in [S. Sun, K.C. Das, On the multiplicities of normalized Laplacian eigenvalues of graphs, Linear Algebra Appl. 609 (2021) 365-385], $i.e.,$ there is no graph with $m(ρ_1)=n-3$ ($n\geq 6$) and $ν(G)=2$. Moreover, we confirm that all the graphs with $m(ρ_1)=n-3$ are determined by their normalized Laplacian spectra.

A fractional colouring of a graph $G$ is a function that assigns a non-negative real value to all possible colour-classes of $G$ containing any vertex of $G$, such that the sum of these values is at least one for each vertex. The fractional chromatic number is the minimum sum of the values assigned by a fractional colouring over all possible such colourings of $G$. Introduced by Bosica and Tardif, fractional covers are an extension of fractional colourings whereby the real-valued function acts on all possible subgraphs of $G$ belonging to a given class of graphs. The fractional chromatic number turns out to be a special instance of the fractional cover number. In this work we investigate fractional covers acting on $(k+1)$-clique-free subgraphs of $G$ which, although sharing some similarities with fractional covers acting on $k$-colourable subgraphs of $G$, they exhibit some peculiarities. We first show that if a simple graph $G_2$ is a homomorphic image of a simple graph $G_1$, then the fractional cover number defined on the $(k+1)$-clique-free subgraphs of $G_1$ is bounded above by the corresponding number of $G_2$. We make use of this result to obtain bounds for the associated fractional cover number of graphs that are either $n$-colourable or $a\!\!:\!\!b$-colourable.

A simple graph $G$ is said to admit an antimagic orientation if there exist an orientation on the edges of $G$ and a bijection from $E(G)$ to $\{1,2,\ldots,|E(G)|\}$ such that the vertex sums of vertices are pairwise distinct, where the vertex sum of a vertex is defined to be the sum of the labels of the in-edges minus that of the out-edges incident to the vertex. It was conjectured by Hefetz, Mütze, and Schwartz~\cite{HMS10} in 2010 that every connected simple graph admits an antimagic orientation. In this paper, we prove that the Mycielski construction and the corona product for graphs with some conditions yield graphs satisfying the above conjecture.

In this paper we prove that the inductively defined graph dimension has a simple additive property under the join operation. The dimension of the join of two simple graphs is one plus the sum of the dimensions of the component graphs: $\mathrm{dim}\, (G_1+ G_2) = 1 +\mathrm{dim}\, G_1+ \mathrm{dim}\, G_2$. We use this formula to derive an expression for the inductive dimension of an arbitrary finite simple graph from its minimum edge clique cover. A corollary of the formula is that any arbitrary finite simple graph whose maximal cliques are all of order $N$ has dimension $N-1$. We finish by finding lower and upper bounds on the inductive dimension of a simple graph in terms of its clique number.

A signed graph is a simple graph with two types of edges. Switching a vertex $v$ of a signed graph corresponds to changing the type of each edge incident to $v$. A homomorphism from a signed graph $G$ to another signed graph $H$ is a mapping $\varphi: V(G) \rightarrow V(H)$ such that, after switching any number of the vertices of $G$, $\varphi$ maps every edge of $G$ to an edge of the same type in $H$. The chromatic number $χ_s(G)$ of a signed graph $G$ is the order of a smallest signed graph $H$ such that there is a homomorphism from $G$ to $H$. We show that the chromatic number of signed triangular grids is at most 10 and the chromatic number of signed hexagonal grids is at most 4.

Let $G$ be a simple graph with $n$ vertices and $\pm 1$-weights on edges. Suppose that for every edge $e$ the sum of edges adjacent to $e$ (including $e$ itself) is positive. Then the sum of weights over edges of $G$ is at least $-\frac{n^2}{25}$. Also we provide an example of a weighted graph with described properties and the sum of weights $-(1+o(1))\frac{n^2}{8(1 + \sqrt{2})^2}$. The previous best known bounds were $-\frac{n^2}{16}$ and $-(1+o(1))\frac{n^2}{54}$ respectively. We show that the constant $-1/54$ is optimal under some additional conditions.

The simplification of a multigraph into a simple graph can be abstracted to a more general comma category under some common conditions. When using the identity functor, the category of simple objects in a comma category generalizes the functor-structured category. Seated in categorical terms, simplification can be dualized to "antisimplification", which manifests as removal of isolated vertices and loose edges.

We develop a theory of $\times$-homotopy, fundamental groupoids and covering spaces that apply to non-simple graphs, generalizing existing results for simple graphs. We prove that $\times$-homotopies from finite graphs can be decomposed into moves which adjust at most one vertex at a time, generalizing the spider lemma of \cite{CS1}. We define a notion of homotopy covering map and develop a theory of universal covers and deck transformations, generalizing \cites{TardifWroncha, Matsushita} to non-simple graphs. We examine the case of reflexive graphs, where each vertex has at least one loop. We also prove that these homotopy covering maps satisfy a homotopy lifting property for arbitrary graph homomorphisms, generalizing path lifting results of \cites{Matsushita, TardifWroncha}.

Let $G=(V,E)$ be a simple graph with maximum degree $d$. For an integer $k\in\mathbb{N}$, the $k$-disc of a vertex $v\in V$ is defined as the rooted subgraph of $G$ that is induced by all vertices whose distance to $v$ is at most $k$. The $k$-disc frequency distribution vector of $G$, denoted by $\text{freq}_{k}(G)$, is a vector indexed by all isomorphism types of rooted $k$-discs. For each such isomorphism type $Γ$, the corresponding entry in $\text{freq}_{k}(G)$ counts the fraction of vertices in $V$ that have a $k$-disc isomorphic to $Γ$. In a sense, $\text{freq}_{k}(G)$ is one way to represent the "local structure" of $G$. The graph $G$ can be arbitrarily large, and so a natural question is whether given $\text{freq}_{k}(G)$ it is possible to construct a small graph $H$, whose size is independent of $|V|$, such that $H$ has a similar local structure. N. Alon proved that for any $ε>0$ there always exists a graph $H$ whose size is independent of $|V|$ and whose frequency vector satisfies $||\text{freq}_{k}(G)-\text{freq}_{k}(H)||_{1}\leε$. However, his proof is only existential and does not imply that there is a deterministic algorithm to construct such a graph $H$. He gave the open problem of finding an explicit deterministic algorithm that finds $H$, or proving that no such algorithm exists. Our main result is that Alon's problem is undecidable if and only if a much more general problem (involving directed edges and edge colors) is undecidable. We also prove that both problems are decidable for the special case when $G$ is a path. We show that the local structure of any directed edge-colored path $G$ can be approximated by a suitable fixed-size directed edge-colored path $H$ and we give explicit bound on the size of $H$.

Let $Γ$ be an Abelian group and let $G$ be a simple graph. We say that $G$ is $Γ$-colorable if for some fixed orientation of $G$ and every edge labeling $\ell:E(G)\rightarrow Γ$, there exists a vertex coloring $c$ by the elements of $Γ$ such that $c(y)-c(x)\neq \ell(e)$, for every edge $e=xy$ (oriented from $x$ to $y$). Langhede and Thomassen proved recently that every planar graph on $n$ vertices has at least $2^{n/9}$ different $\mathbb{Z}_5$-colorings. By using a different approach based on graph polynomials, we extend this result to $K_5$-minor-free graphs in the more general setting of field coloring. More specifically, we prove that every such graph on $n$ vertices is $\mathbb{F}$-$5$-choosable, whenever $\mathbb{F}$ is an arbitrary field with at least $5$ elements. Moreover, the number of colorings (for every list assignment) is at least $5^{n/4}$.

The directed power graph $\vec{\mathcal P}(\mathbf G)$ of a group $\mathbf G$ is the simple digraph with vertex set $G$ such that $x\rightarrow y$ if $y$ is a power of $x$. The power graph of $\mathbf G$, denoted by $\mathcal P(\mathbf G)$, is the underlying simple graph. The enhanced power graph $\mathcal P_e(\mathbf G)$ of $\mathbf G$ is the simple graph with vertex set $G$ in which two elements are adjacent if they generate a cyclic subgroup. In this paper, it is proven that, if two groups have isomorphic power graphs, then they have isomorphic enhanced power graphs, too. It is known that any finite nilpotent group of order divisible by at most two primes has perfect enhanced power graph. We investigated whether the same holds for all finite groups, and we have obtained a negative answer to that question. Further, we proved that, for any $n\geq 0$ and prime numbers $p$ and $q$, every group of order $p^nq$ and $p^2q^2$ has perfect enhanced power graph. We also give a complete characterization of symmetric and alternative groups with perfect enhanced graphs.

For simple graphs $G$ and $H$, their size Ramsey number $\hat{r}(G,H)$ is the smallest possible size of $F$ such that for any red-blue coloring of its edges, $F$ contains either a red $G$ or a blue $H$. Similarly, we can define the connected size Ramsey number ${\hat{r}}_c(G,H)$ by adding the prerequisite that $F$ must be connected. In this paper, we explore the relationships between these size Ramsey numbers and give some results on their values for certain classes of graphs. We are mainly interested in the cases where $G$ is either a $2K_2$ or a $3K_2$, and where $H$ is either a cycle $C_n$ or a union of paths $nP_m$. Additionally, we improve an upper bound regarding the values of $\hat{r}(tK_2,P_m)$ and ${\hat{r}}_c(tK_2,P_m)$ for certain $t$ and $m$.

Every planar simple graph with n vertices has at least 2^(n/9) Z5-colorings.

Let $G$ be a simple graph with $2n$ vertices and a perfect matching. The forcing number $f(G,M)$ of a perfect matching $M$ of $G$ is the smallest cardinality of a subset of $M$ that is contained in no other perfect matching of $G$. Among all perfect matchings $M$ of $G$, the minimum and maximum values of $f(G,M)$ are called the minimum and maximum forcing numbers of $G$, denoted by $f(G)$ and $F(G)$, respectively. Then $f(G)\leq F(G)\leq n-1$. Che and Chen (2011) proposed an open problem: how to characterize the graphs $G$ with $f(G)=n-1$. Later they showed that for a bipartite graph $G$, $f(G)=n-1$ if and only if $G$ is a complete bipartite graph $K_{n,n}$. In this paper, we completely solve the problem of Che and Chen, and show that $f(G)=n-1$ if and only if $G$ is a complete multipartite graph or a graph obtained from complete bipartite graph $K_{n,n}$ by adding arbitrary edges in the same partite set. For all graphs $G$ with $F(G)=n-1$, we prove that the forcing spectrum of each such graph $G$ forms an integer interval by matching 2-switches and the minimum forcing numbers of all such graphs $G$ form an integer interval from $\lfloor\frac{n}{2}\rfloor$ to $n-1$.

For a simple graph $G$ with vertex set $V(G)=\{v_1,...,v_n\}$, we define the closed neighborhood set of a vertex $u$ as $N[u]=\{v \in V(G) \; | \; v \; \text{is adjacent to} \; u \; \text{or} \; v=u \}$ and the closed neighborhood matrix $N(G)$ as the matrix obtained by setting to $1$ all the diagonal entries of the adjacency matrix of $G$. We say a set $S$ is odd dominating if $N[u]\cap S$ is odd for all $u\in V(G)$. We prove that the parity of an odd dominating set of $G$ is equal to the parity of the rank of $G$, where the rank of $G$ is defined as the dimension of the column space of $N(G)$. Using this result we prove several corollaries in one of which we obtain a general formula for the nullity of the join of graphs.

We give an explicit formula for the Gromov width for a class of symplectic toric manifolds constructed from simple graphs. As a corollary, we show a version of non-squeezing theorem with respect to the inclusion of connected graphs.

Let $G$ be a finite simple graph with vertex set $V(G)$ and edge set $E(G)$. A function $f : V(G) \rightarrow \mathcal{P}(\{1, 2, \dotsc, k\})$ is a \textit{$k$-rainbow dominating function} on $G$ if for each vertex $v \in V(G)$ for which $f(v)= \emptyset$, it holds that $\bigcup_{u \in N(v)}f(u) = \{1, 2, \dotsc, k\}$. The weight of a $k$-rainbow dominating function is the value $\sum_{v \in V(G)}|f(v)|$. The \textit{$k$-rainbow domination number} $γ_{rk}(G)$ is the minimum weight of a $k$-rainbow dominating function on $G$. In this paper, we initiate the study of $k$-rainbow domination numbers in middle graphs. We define the concept of a middle $k$-rainbow dominating function, obtain some bounds related to it and determine the middle $3$-rainbow domination number of some classes of graphs. We also provide upper and lower bounds for the middle $3$-rainbow domination number of trees in terms of the matching number. In addition, we determine the $3$-rainbow domatic number for the middle graph of paths and cycles.

There has been much research on the topic of finding a large rainbow matching (with no two edges having the same color) in a properly edge-colored graph, where a proper edge coloring is a coloring of the edge set such that no same-colored edges are incident. Recently, Gao, Ramadurai, Wanless, and Wormald proved that in every proper edge coloring of a graph with $q$ colors where each color appears at least $q+o(q)$ times, there is always a rainbow matching using every color. We strengthen this result by simultaneously relaxing two conditions: (i) we lift the condition on the number of colors and allow any finite number of colors and instead, put a weaker condition requiring the maximum degree of the graph to be at most $q$, and (ii) we also relax the proper coloring condition and require that the graph induced by each of the colors have bounded degree. This strengthening resolves a natural question inspired by the remarks made by Gao, Ramadurai, Wanless, and Wormald. As an application of this result, we show that for every proper edge coloring of a graph with $2q+o(q)$ colors where each color appears at least $q$ times, there is always a rainbow matching of size $q$. This can be seen as an asymptotic version of a conjecture of Barát, Gyárfás, and Sárközy restricted on simple graphs. We also provide a construction showing that having $q+1$ colors is not enough, disproving a conjecture of Aharoni and Berger. As a by-product of our techniques, we obtain a new asymptotic version of the Brualdi--Ryser--Stein Conjecture, which is one of the central open questions in combinatorics.

Let $G$ be a simple graph and $I(X_G)=\varphi^{-1}(x_i^2-x_j^2 : i,j\in V_G)$, where $\varphi \colon K[E_G]\to K[V_G]$ is the homomorphism that sends an edge to the product of its vertices. The ideal $I(X_G)$ is Cohen--Macaulay, one-dimensional and binomial. If $G$ is bipartite, it is known that the Castelnuovo--Mumford regularity of $I(X_G)$ is equal to the maximum cardinality of a set of edges having no more than half of the edges of any Eulerian subgraph of $G$. Here, with respect to the grevlex order associated to an ordering of the edge set of $G$, we describe a Gröbner basis for $I(X_G)$, and we characterize the standard monomials of the ideal $(I(X_G),t_e)$ in terms of even sets of vertices marked with a parity. Using these results, we give a combinatorial interpretation of the degree of $I(X_G)$, via the set of even sets of vertices of $G$; and we show that the Castelnuovo--Mumford regularity of $I(X_G)$, for any graph, is the maximum cardinality of a set of edges having no more than half of the edges of any \emph{even} Eulerian subgraph of $G$ or, equivalently, the maximum cardinality of a minimum fixed parity $T$-join.