arXiv++ Combinatorics

Let $Γ$ be an undirected and simple graph. A set $ S $ of vertices in $Γ$ is called a {cyclic vertex cutset} of $Γ$ if $Γ- S$ is disconnected and has at least two components each containing a cycle. If $Γ$ has a cyclic vertex cutset, then it is said to be {cyclically separable}. For any finite group $G$, the order supergraph $\mathcal{S}(G)$ is the simple and undirected graph whose vertices are elements of $G$, and two vertices are adjacent if as elements of $G$ the order of one divides the order of the other. In this paper, we characterize the finite nilpotent groups and various non-nilpotent groups, such as the dihedral groups, the dicyclic groups, the EPPO groups, the symmetric groups, and the alternating groups, whose order supergraphs are cyclically separable.

Let $G$ be a finite simple graph, and let $I(G)$ denote its edge ideal. In this paper, we investigate the asymptotic behavior of the syzygies of powers of edge ideals through the lens of homological shift ideals $\text{HS}_i(I(G)^k)$. We introduce the notion of the $i$th homological strong persistence property for monomial ideals $I$, providing an algebraic characterization that ensures the chain of inclusions $\text{Ass}\,\text{HS}_i(I)\subseteq\text{Ass}\,\text{HS}_i(I^2)\subseteq\text{Ass}\,\text{HS}_i(I^3) \subseteq\cdots$. We prove that edge ideals possess both the $0$th and $1$st homological strong persistence properties. To this end, we explicitly describe the first homological shift algebra of $I(G)$ and show that $\text{HS}_1(I(G)^{k+1}) = I(G) \cdot \text{HS}_1(I(G)^k)$ for all $k \ge 1$. Finally, we conjecture that if $I(G)$ has a linear resolution, then $\text{HS}_i(I(G)^k)$ also has a linear resolution for all $k \gg 0$, and we present partial results supporting this conjecture.

For every natural number $d$, we construct finite $d$-regular simple graphs that, for every $r \le d$, contain an independent exact $r$-cover. This answers a question of Gray and Johnson that arose in their study of 2-step transit probabilities. We obtain some divisibility conditions on the order $n$ of graphs that for every $r \le d$ contain an independent exact $r$-cover, and give constructions for $d=3, 4, 5, 6$ where the order of the graph is minimal (we deduce this minimality from our divisibility conditions). We construct these graphs as common coverings of smaller graphs. We revisit a result of Angluin and Gardiner on finite common coverings of two regular graphs of the same degree, and the result of Gross that regular graphs of even degree are Schreier coset graphs. We combine both results to provide a finite common covering of two regular graphs of the same degree, that uses fewer vertices than the construction of Angluin and Gardiner in some cases.

In $1973$, Harary and Palmer posed the problem of enumeration of labeled graphs on $n \geq 1$ unisolated vertices and $l \geq 0$ edges. In $1997$, Bender et al.\ obtained a recurrence relation representing the sequence $A054548$(OEIS) of labeled graphs on $n \geq 0$ unisolated vertices containing $q \geq \frac{n}{2}$ edges. In $2020$, Bhavale and Waphare obtained a recurrence relation representing the sequence of fundamental basic blocks on $n \geq 0$ comparable reducible elements, having nullity $l \geq \lfloor \frac{n+1}{2} \rfloor$. In this paper, we prove the equivalence of these two sequences. We also provide an edge labeling for a given vertex labeled finite simple graph.

Let $G=(V,E)$ be a simple graph. A pebbling configuration on $G$ is a function $f:V\rightarrow \mathbb{N}\cup \{0\}$ that assigns a non-negative integer number of pebbles to each vertex. The weight of a configuration $f$ is $w(f)=\sum_{u\in V}f(u)$, the total number of pebbles. A pebbling move consists of removing two pebbles from a vertex $u$ and placing one pebble on an adjacent vertex $v$. A configuration $f$ is a $t$-restricted pebbling configuration ($t$RPC) if no vertex has more than $t$ pebbles. The $t$-restricted optimal pebbling number $π_t^*(G)$ is the minimum weight of a $t$RPC on $G$ that allows any vertex to be reached by a sequence of pebbling moves. The distinguishing number $D(G)$ is the minimum number of colors needed to label the vertices of $G$ such that the only automorphism preserving the coloring is the trivial one (i.e., the identity map). In this paper, we investigate the $2$-restricted optimal pebbling number of trees $T$ with $D(T)=2$ and radius at most $2$ and enumerate their $2$-restricted optimal pebbling configurations. Also we study the $2$-restricted optimal pebbling number of some graphs that are of importance in chemistry such as some alkanes.

To find all the possible spectra of all real symmetric matrices whose off-diagonal pattern is prescribed by the adjacencies of a given graph $G$, the Strong Spectral Property turned out to be of crucial importance. In particular, we investigate the set ${\mathcal G}^{\text{SSP}}$ of all simple graphs $G$ with the property that each symmetric matrix of the pattern of $G$ has the Strong Spectral Property. In this paper, we completely characterize unicyclic graphs of girth three in ${\mathcal G}^{\text{SSP}}$. We prove that any tadpole graph of girth at most five is in ${\mathcal G}^{\text{SSP}}$ and we show that the same is not valid for girth six tadpole graphs.

For any finite, simple graph $G = (V,E)$, its $2$-distance graph $G_2$ is a graph having the same vertex set $V$ where two vertices are adjacent if and only if their distance is $2$ in $G$. Connectivity and diameter properties of these graphs have been well studied. For example, it has been shown that if ${\rm diam}(G) = k \geq 3$ then $\lceil \frac{1}{2} k \rceil \leq {\rm diam}(G_2)$, and that this bound is sharp. In this paper, we prove that ${\rm diam}(G_2) = \infty$ (that is, $G_2$ is disconnected) or otherwise ${\rm diam}(G_2) \leq k + 2$. In addition, we show that this inequality is sharp for any even $k$, a result that we verify for some higher orders through judicious use of a \textsc{sat} solver.

The reciprocal of the Ihara zeta function of a graph is a polynomial invariant introduced by Ihara in 1966. Scott and Storm gave a method to determine the coefficients of the polynomial. Here we simplify their calculation and determine the zeta function for all graphs of rank two. We verify that it is a complete invariant for such graphs: If $G_1$ and $G_2$ are of rank two, then $G_1$ and $G_2$ are isomorphic if and only if they have the same Ihara zeta function. We observe that the reciprocal of the zeta function is an even polynomial if the graph is bipartite. We also determine the zeta function for several graph families: complete graphs, complete bipartite graphs, Möbius ladders, cocktail party graphs, and all graphs of order five or less. We use the special value $u=1$ to count the spanning trees for these families.

If $G$ is a simple graph and $ρ\in[0,1]$, the reliability $R_G(ρ)$ is the probability of $G$ being connected after each of its edges is removed independently with probability $ρ$. A simple graph $G$ is a \emph{uniformly most reliable graph} (UMRG) if $R_G(ρ)\geq R_H(ρ)$ for every $ρ\in[0,1]$ and every simple graph $H$ on the same number of vertices and edges as $G$. Boesch [J.\ Graph Theory 10 (1986), 339--352] conjectured that, if $n$ and $m$ are such that there exists a connected simple graph on $n$ vertices and $m$ edges, then there also exists a UMRG on the same number of vertices and edges. Some counterexamples to Boesch's conjecture were given by Kelmans, Myrvold et al., and Brown and Cox. It is known that Boesch's conjecture holds whenever the corank, defined as $c=m-n+1$, is at most $4$ (and the corresponding UMRGs are fully characterized). Ath and Sobel conjectured that Boesch's conjecture holds whenever the corank $c$ is between $5$ and $8$, provided the number of vertices is at least $2c-2$. In this work, we give an infinite family of counterexamples to Boesch's conjecture of corank $5$. These are the first reported counterexamples that attain the minimum possible corank. As a byproduct, the conjecture by Ath and Sobel is disproved.

Let $G$ be a connected simple graph on $n$ vertices and $m$ edges. Denote $N_{i}^{(j)}(G)$ the number of spanning subgraphs of $G$ having precisely $i$ edges and not more than $j$ connected components. The graph $G$ is \emph{strong} if $N_{i}^{j}(G)\geq N_{i}^{j}(H)$ for each pair of integers $i\in \{0,1,\ldots,m\}$ and $j\in \{1,2,\ldots,n\}$ and each connected simple graph $H$ on $n$ vertices and $m$ edges. The graph $G$ is \emph{Whitney-maximum} if for each connected simple graph $H$ on $n$ vertices and $m$ edges there exists a polynomial $P_H(x,y)$ with nonnegative coefficients such that $W_{G}(x,y)-W_H(x,y)=(1-xy)P_H(x,y)$, where $W_G$ and $W_H$ stand for the Whitney polynomial of $G$ and $H$. In this work it is proved that a graph is strong if and only if it is Whitney-maximum. Consequently, the $0$-element conjecture proposed by Boesch [J.\ Graph Theory 10 (1986), 339--352] is true when restricted to graph classes in which Whitney-maximum graphs exist.

Given finite simple graphs $G$ and $H$, the Hom complex $\mathrm{Hom}(G,H)$ is a polyhedral complex having the graph homomorphisms $G\to H$ as the vertices. We determine the homotopy type of each connected component of $\mathrm{Hom}(G,H)$ when $H$ is square-free, meaning that it does not contain the $4$-cycle graph $C_4$ as a subgraph. Specifically, for a connected $G$ and a square-free $H$, we show that each connected component of $\mathrm{Hom}(G,H)$ is homotopy equivalent to a wedge sum of circles. We further show that, given any graph homomorphism $f\colon G\to H$ to a square-free $H$, one can determine the homotopy type of the connected component of $\mathrm{Hom}(G,H)$ containing $f$ algorithmically.

Let $Φ=(G,U(\mathbb{Q}),\varphi)$ be a quaternion unit gain graph (or $U(\mathbb{Q})$-gain graph). The adjacency matrix of $Φ$ is denoted by $A(Φ)$ and the left row rank of $Φ$ is denoted by $r(Φ)$. If $Φ$ has at least one cycle, then the length of the shortest cycle in $Φ$ is the girth of $Φ$, denoted by $g$. In this paper, we prove that $r(Φ)\geq g-2$ for $Φ$. Moreover, we characterize $U(\mathbb{Q})$-gain graphs satisfy $r(Φ)=g-i$ ($i=0,1,2$) and all quaternion unit gain graphs with rank 2. The results will generalize the corresponding results of simple graphs (Zhou et al. Linear Algebra Appl. (2021), Duan et al. Linear Algebra Appl. (2024) and Duan, Discrete Math. (2024)), signed graphs (Wu et al. Linear Algebra Appl. (2022)), and complex unit gain graphs (Khan, Linear Algebra Appl. (2024)).

The graph coloring game is a famous two-player game (re)introduced by Bodlaender in $1991$. Given a graph $G$ and $k \in \mathbb{N}$, Alice and Bob alternately (starting with Alice) color an uncolored vertex with some color in $\{1,\cdots,k\}$ such that no two adjacent vertices receive a same color. If eventually all vertices are colored, then Alice wins and Bob wins otherwise. The game chromatic number $χ_g(G)$ is the smallest integer $k$ such that Alice has a winning strategy with $k$ colors in $G$. It has been recently (2020) shown that, given a graph $G$ and $k\in \mathbb{N}$, deciding whether $χ_g(G)\leq k$ is PSPACE-complete. Surprisingly, this parameter is not well understood even in ``simple" graph classes. Let $P_n$ denote the path with $n\geq 1$ vertices. For instance, in the case of Cartesian grids, it is easy to show that $χ_g(P_m \times P_n) \leq 5$ since $χ_g(G)\leq Δ+1$ for any graph $G$ with maximum degree $Δ$. However, the exact value is only known for small values of $m$, namely $χ_g(P_1\times P_n)=3$, $χ_g(P_2\times P_n)=4$ and $χ_g(P_3\times P_n) =4$ for $n\geq 4$ [Raspaud, Wu, 2009]. Here, we prove that, for every $n\geq 18$, $χ_g(P_4\times P_n) =4$.

A connected graph G with at least two vertices is matching covered if each of its edges lies in a perfect matching. We say that an edge e in a matching covered graph G is removable if G-e is matching covered. A pair {e; f} of edges of a matching covered graph G is a removable doubleton if G-e-f is matching covered, but neither G-e nor G-f is. Removable edges and removable doubletons are called removable classes, introduced by Lovasz and Plummer in connection with ear decompositions of matching covered graphs. A 3-connected graph is a brick if the removal of any two distinct vertices, the left graph has a perfect matching. A brick G is wheel-like if G has a vertex h, such that every removable class of G has an edge incident with h. Lucchesi and Murty proposed a problem of characterizing wheel-like bricks. We show that every wheel-like brick may be obtained by splicing graphs whose underlying simple graphs are odd wheels in a certain manner. A matching covered graph is minimal if the removal of any edge, the left graph is not matching covered. Lovasz and Plummer proved that the minimum degree of a minimal matching covered bipartite graph different from K2 is 2 by ear decompositions in 1977. By the properties of wheel-like bricks, we prove that the minimum degree of a minimal matching covered graph other than K2 is 2 or 3.

Let $ G=(V,E) $ be a simple graph of order $ n $ and size $ m $. A connected edge cover set of a graph is a subset $S$ of edges such that every vertex of the graph is incident to at least one edge of $S$ and the subgraph induced by $S$ is connected. We initiate the study of the number of the connected edge cover sets of a graph $G$ with cardinality $i$, $ e_{c}(G,i) $ and consider the generating function for $ e_{c}(G,i) $ which is called the connected edge cover polynomial of $ G $. After obtaining some results for this polynomial, we investigate this polynomial for some certain graphs.

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.

Let $G$ be a simple graph with $n$ vertices and $m$ edges and let $k$ be a natural number such that $k\leq n.$ Brouwer conjectured that the sum of the $k$ largest Laplacian eigenvalues of $G$ is at most $m+{k+1 \choose 2}.$ In this paper we prove that this conjecture is true for simple $(m,n)$-graphs where $n\leq m\leq \frac{\sqrt{3}-1}{4}(n-1)n$ and $k\in \left[ \sqrt[3]{\frac{8m^{2}}{n-1}+4mn+n^{2}}, n\right].$ Moreover, we prove that the conjecture is true for all simple $(m,n)$-graphs where $k (\leq n)$ is a natural number from the interval $\left[\sqrt{2n-2m+2\sqrt{2m^{2}+mn(n-1)}},1+\frac{8m^{2}}{n^{2}(n-1)}+\frac{4m}{n}\right].$

The codegree ${\rm codeg}(\mathcal{P})$ of a lattice polytope $\mathcal{P}$ is a fundamental invariant in discrete geometry. In the present paper, we investigate the codegree of the stable set polytope $\mathcal{P}_G$ associated with a simple graph $G$. Specifically, we establish the inequalities \[ ω(G) + 1 \leq {\rm codeg}(\mathcal{P}_G) \leq χ(G) + 1, \] where $ω(G)$ and $χ(G)$ denote the clique number and the chromatic number of $G$, respectively. Furthermore, an explicit formula for {\rm codeg}(\mathcal{P}_G) is given when $G$ is either a line graph or an $h$-perfect graph. Finally, as an application of these results, we provide upper and lower bounds on the regularity of the toric ring associated with $\mathcal{P}_G$.

We propose a definition of the curl of a vector field X on a finite simple graph as the projection of X onto the orthogonal complement of circulation-free vector fields, where a vector field is circulation-free provided its line integral around every simple circuit vanishes. We justify the definition by observing that X and curl X have the same circulation and curl of the gradient and divergence of the curl vanish. This shows the gradient, curl, and divergence operators form an exact sequence, in analogy with the classical case of vector fields on Euclidean domains and yields the Helmholtz-Hodge decomposition of a vector field on a graph as the sum of a gradient, a curl, and a harmonic field. Along the way, we also prove analogues of the divergence theorem, Green's identities, and Helmholtz's theorem. A consequence of our definition is that the curl is a non-local operator, in sharp contrast to the classical case and existing notions of curl on a graph.

Given a simple graph $G$, the artinian monomial algebra associated to $G$, denoted by $A(G)$, is defined by the edge ideal of $G$ and the squares of the variables. In this article, we classify some tadpole graphs $G$ for which $A(G)$ has or fails the weak Lefschetz property.