arXiv++ Combinatorics

By an independent set in a simple graph $G$, we mean a set of pairwise non-adjacent vertices in $G$. The independence polynomial of $G$ is defined as $I_G(z)=a_0 + a_1 z + a_2 z^2+\cdots+a_αz^α$, where $a_i$ is the number of independent sets in $G$ with cardinality $i$ and $α$ is the cardinality of a largest independent set in $G$, known as the independence number of $G$. Let $G^m$ denote the $m$-times lexicographic product of $G$ with itself. The independence attractor of $G$, denoted by $\mathcal{A}(G)$, is defined as $\mathcal{A}(G) = \lim_{m\rightarrow \infty} \{z: I_{G^m}(z)=0\}$, where the limit is taken with respect to the Hausdorff metric on the space of all compact subsets of the plane. This paper deals with independence attractors that are topologically simple. It is shown that $\mathcal{A}(G)$ can never be a circle. If $\mathcal{A}(G)$ is a line segment then it is proved that the line segment is $[-\frac{4}{k}, 0]$ for some $k \in \{1, 2, 3, 4 \}$. Examples of graphs with independence number four are provided whose independence attractors are line segments.

For a simple graph $G=(V,E)$ and edge $e\in E$, the effective resistance is defined as a ratio $\frac{τ(G/e)}{τ(G)}$, where $τ(G)$ denotes the number of spanning trees in $G$. We resolve the inverse problem for the effective resistance for planar graphs. Namely, we determine (up to a constant) the smallest size of a simple planar graph with a given effective resistance. The results are motivated and closely related to our previous work arXiv:2411.18782 on Sedláček's inverse problem for the number of spanning trees.

The following measure of sparsity of multigraphs refining the maximum average degree: For $a>0$ and an arbitrary real $b$, a multigraph $H$ is \emph{$(a,b)$-sparse} if it is loopless and for every $A\subseteq V(H)$ with $|A|\geq 2$, the induced subgraph $H[A]$ has at most $a|A|+b$ edges. Forests are exactly $(1,-1)$-sparse multigraphs. It is known that the vertex set of any $(2,-1)$-sparse multigraph can be partitioned into two parts each of which induces a forest. For a given parameter $D$ we study for which pairs $(a,b)$ every $(a,b)$-sparse multigraph $G$ admits a vertex partition $(V_1, V_2)$ of $V(G)$ such that $G[V_1]$ and $G[V_2]$ are forests, and in addition either (i) $Δ(G[V_1])\leq D$ or (ii) every component of $G[V_1]$ has at most $D$ edges. We find exact bounds on $a$ and $b$ for both types of problems (i) and (ii). We also consider problems of type (i) in the class of simple graphs and find exact bounds for all $D\geq 2$.

The paper is devoted to sufficient conditions for the existence of vertex cuts in simple graphs, where the induced subgraph on the cut vertices belongs to a specified graph class. In particular, we show that any connected graph with $n$ vertices and fewer than $(19n - 28)/8$ edges admits a forest cut. This result improves upon recent bounds, although it does not resolve the conjecture that the sharp threshold is $3n - 6$ (Chernyshev, Rauch, Rautenbach, 2024). Furthermore, we prove that if the number of edges is less than $(80n-134)/31$, then the graph admits a bipartite cut.

A fractional coloring of a signed graph $(G, σ)$ is an assignment of nonnegative weights to the balanced sets (sets which do not induce a negative cycle) such that each vertex has an accumulated weight of at least 1. The minimum total wight among all such colorings is defined to be the fractional balanced chromatic number, denoted by $χ-{fb}(G, σ)$. This value is clearly upper bounded by the fractional arboricity of $G$, denoted $a_f (G)$, where weights are assigned to sets inducing no cycle rather than sets inducing no negative cycle. In this work we present an example of a planar signed simple graph of fractional balanced chromatic number larger than 2, thus in particular refuting a conjecture of Bonamy, Kardos, Kelly, and Postle suggesting that the fractional arboricity of planar graphs is bounded above by 2. By iterating the construction, we show that the supremum of the fractional balanced chromatic number of planar signed simple graphs is at least as $83/41 = 2 + 1/41$. With similar operations, we built a sequence of planar graphs whose limit of fractional arboricity is $a_f (G) = 2 + 2/25$.

Let $G=(V,E)$ be a simple graph and $(2k+1)$ be a prime integer. Let each vertex of $G$ be colored using one of the $(2k+1)$ colors, say $R_1,R_2,...,R_{2k+1}$. If every vertex has an equal number of neighbors of each color, then the coloring is a $(2k+1)$-neighborhood balanced coloring. We establish a number of results for common families of graphs and present some families of graphs that have this property.

The design spectrum of a simple graph $G$ is the set of positive integers $n$ such that there exists an edgewise decomposition of the complete graph $K_n$ into $n(n - 1)/(2 |E(G)|)$ copies of $G$. The purpose of this short paper is to prove that the Shrikhande graph and the line graph of $K_{4,4}$ have the design spectrum $\{96t + 1: t = 1, 2, \dots\}$.

A two-terminal graph is a simple graph equipped with two distinguished vertices, called terminals. Let $T_{n,m}$ be the class consisting of all nonisomorphic two-terminal graphs on $n$ vertices and $m$ edges. Let $G$ be any two-terminal graph in $T_{n,m}$, and let $d$ be any positive integer. For each $ρ\in [0,1]$, the \emph{$d$-constrained two-terminal reliability of $G$ at $ρ$}, denoted $R_G^d(ρ)$, is the probability that $G$ has some path of length at most $d$ joining its terminals after each of its edges is independently deleted with probability $ρ$. We say $G$ is a \emph{$d$-uniformly most reliable two-terminal graph} ($d$-UMRTTG) if for each $H$ in $T_{n,m}$ and every $ρ\in [0,1]$ it holds that $R_{G}^d(ρ)\geq R_H^d(ρ)$. Previous works studied the existence of $d$-UMRTTG in $T_{n,m}$ when $d$ is greater than or equal to $n-1$, or equivalently, when the distance constraint is dropped. In this work, a characterization of all $1$-UMRTTGs and $2$-UMRTTGs is given. Then, it is proved that there exists a unique $3$-UMRTTG in $T_{n,m}$ when $n\geq 6$ and $5 \leq m \leq 2n-3$. Finally, for each $d\geq 4$ and each $n\geq 11$ it is proved that there is no $d$-UMRTTG in $T_{n,m}$ when $20 \leq m \leq 3n-9$ or when $3n-5 \leq m \leq \binom{n}{2}-2$.

The notion of graph cover, also known as locally bijective homomorphism, is a discretization of covering spaces known from general topology. It is a pair of incidence-preserving vertex- and edge-mappings between two graphs, the edge-component being bijective on the edge-neighborhoods of every vertex and its image. In line with the current trends in topological graph theory and its applications in mathematical physics, graphs are considered in the most relaxed form and as such they may contain multiple edges, loops and semi-edges. Nevertheless, simple graphs (binary structures without multiple edges, loops, or semi-edges) play an important role. It has been conjectured in [Bok et al.: List covering of regular multigraphs, Proceedings IWOCA 2022, LNCS 13270, pp. 228--242] that for every fixed graph $H$, deciding if a graph covers $H$ is either polynomial time solvable for arbitrary input graphs, or NP-complete for simple ones. A graph $A$ is called stronger than a graph $B$ if every simple graph that covers $A$ also covers $B$. This notion was defined and found useful for NP-hardness reductions for disconnected graphs in [Bok et al.: Computational complexity of covering disconnected multigraphs, Proceedings FCT 2022, LNCS 12867, pp. 85--99]. It was conjectured in [Kratochvíl: Towards strong dichotomy of graphs covers, GROW 2022 - Book of open problems, p. 10, {\tt https://grow.famnit.upr.si/GROW-BOP.pdf}] that if $A$ has no semi-edges, then $A$ is stronger than $B$ if and only if $A$ covers $B$. We prove this conjecture for cubic one-vertex graphs, and we also justify it for all cubic graphs $A$ with at most 4 vertices.

A sequence $D=(d_1,d_2,\ldots,d_n)$ of non-negative integers is called a graphic sequence if there is a simple graph with vertices $v_1,v_2,\ldots,v_n$ such that the degree of $v_i$ is $d_i$ for $1\leq i\leq n$. Given a graph theoretical property $\mathcal{P}$, a graphic sequence $D$ is forcibly $\mathcal{P}$ graphic if each graph with degree sequence $D$ has property $\mathcal{P}$. A graph is acyclic if it contains no cycles. A connected acyclic graph is just a tree and has $n-1$ edges. A graph of order $n$ is unicyclic (resp. bicyclic) if it is connected and has $n$ (resp. $n+1$) edges. Bar-Noy, Böhnlein, Peleg and Rawitz [Discrete Mathematics 346 (2023) 113460] characterized forcibly acyclic and forcibly connected acyclic graphic sequences. In this paper, we aim to characterize forcibly unicyclic and forcibly bicyclic graphic sequences.

Given a simple graph $A$ on a group $G$ and an equivalence relation $B$ on $G$, the $B$ super $A$ graph is defined as a simple graph, whose vertex set is $G$ and two vertices $g$, $h$ are adjacent if either they are in the same equivalence class or there exist $g^{\prime} \in[g]$ and $h^{\prime} \in[h]$ such that $g^{\prime}$ and $h^{\prime}$ are adjacent in $A$. In the literature, the $B$ super $A$ graphs have been investigated by considering $A$ to be either power graph, enhanced power graph, or commuting graph and $B$ to be an equality, order or conjugacy relation. In this paper, we investigate the Sombor spectrums of these $B$ super $A$ graphs for certain non-abelian groups, viz. the dihedral group, generalized quaternion group and the semidihedral group, respectively.

For a simple graph $Γ$, a (bipartite)tree-line graph and a tree-graph of $Γ$ can be defined. With a (bipartite)tree-line graph constructed by the function $(b)\ell$, we study the continuous quantum walk on $(b)\ell ^n Γ$. An equitable partition of a bipartite tree-line graph is obtained by its corresponding derived tree graph. This paper also examines quantum walks on derived graphs, whose vertices represent their basis state.

Let $G=(V(G),E(G))$ be a simple graph, where $V(G)$ and $E(G)$ are the vertex set and the edge set of $G$, respectively. The number of components of $G$ is denoted by $c(G)$. Let $t$ be a positive real number, and a connected graph $G$ is $t$-tough if $t c(G-S)\leq|S|$ for every vertex cut $S$ of $V(G)$. The toughness of graph $G$, denoted by $τ(G)$, is the largest value of $t$ for which $G$ is $t$-tough. Recently, Fan, Lin and Lu [European J. Combin. 110(2023), 103701] presented sufficient conditions based on the spectral radius for graphs to be 1-tough with minimum degree $δ(G)$ and graphs to be $t$-tough with $t\geq 1$ being an integer, respectively. In this paper, we establish sufficient conditions in terms of the distance signless Laplacian spectral radius for graphs to be 1-tough with minimum degree $δ(G)$ and graphs to be $t$-tough, where $\frac{1}{t}$ is a positive integer. Moreover, we consider the relationship between the distance signless Laplacian spectral radius and $t$-tough graphs in terms of the order $n$.

For any pair of edges $e,f$ of a graph $G$, we say that {\em $e,f$ are $P_3$-connected in $G$} if there exists a sequence of edges $e=e_0,e_1,\ldots, e_k=f$ such that $e_i$ and $e_{i+1}$ are two edges of an induced $3$-vertex path in $G$ for every $0\leq i\leq k-1$. If every pair of edges of $G$ are $P_3$-connected in $G$, then $G$ is {\em $P_3$-connected}. $P_3$-connectivity was first defined by Chudnovsky et al. in 2024 to prove that every connected graph not containing $P_5$ as an induced subgraph has cop number at most two. In this paper, we give a characterization of $P_3$-connected graphs and prove that a simple graph is $P_3$-connected if and only if it is connected and has no homogeneous set whose induced subgraph contains an edge.

Given an integer $k$, deciding whether a graph has a clique of size $k$ is an NP-complete problem. Wilf's inequality provides a spectral bound for the clique number of simple graphs. Wilf's inequality is stated as follows: $\frac{n}{n - λ_{1}} \leq ω$, where $λ_1$ is the largest eigenvalue of the adjacency matrix $A(G)$, $n$ is the number of vertices in $G$, and $ω$ is the clique number of $G$. Strengthening this bound, Elphick and Wocjan proposed a conjecture in 2018, which is stated as follows: $\frac{n}{n - \sqrt{s^{+}}} \leq ω$, where $s^+ = \sum_{λ_{i} > 0} λ_{i}^2$ and $λ_i$ are the eigenvalues of $A(G)$. In this paper, we have settled this conjecture for some classes of graphs, such as conference graphs, strongly regular graphs with $λ= μ$ (i.e., $srg(n, d, μ, μ)$) and $n\geq 2d$, the line graph of $K_{n}$, the Cartesian product of strongly regular graphs, and Ramanujan graph with $n\geq 11d$.

Motivated by discrete Laplacian differential operators with various accuracy orders in numerical analysis, we introduce new matrices attached to a simple graph that can be considered graph Laplacians with higher accuracy. In particular, we show that the number of graphs having cospectral mates with these matrices is significantly less than the ones with other known matrices. We also investigate their spectral properties and explicitly compute their eigenvalues and eigenvectors for some graphs. Along the line, we also prove the existence of a weighted signed graph with given Laplacian eigenvalues.

For a commutative ring $R$, the zero-divisor graph of $R$ is a simple graph with the vertex set as the set of all zero-divisors of $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if $xy = 0$. This article attempts to predict the structure of the zero-divisor graph of the ring of Gaussian integers modulo $2$ to the power $n$ and determine the size, chromatic number, clique number, independence number, and matching through associate classes of divisors of $2^n$ in $\mathbb{Z}_{2^n}[i]$. In addition, a few topological indices of the corresponding zero-divisor graph, are obtained.

Let $G$ be a simple graph with $n$ vertices and $m$ edges. According to Turán's theorem, if $G$ is $K_{r+1}$-free, then $m \leq |E(T(n, r))|,$ where $T(n, r)$ denotes the Turán graph on $n$ vertices with a maximum clique of order $r$. A limitation of this statement is that it does not give an expression in terms of $n$ and $r$. A widely used version of Turán's theorem states that for an $n$-vertex $K_{r+1}$-free graph, $m \leq \left\lfloor \frac{n^2(r-1)}{2r} \right\rfloor.$ Though this bound is often more convenient, it is not the same as the original statement. In particular, the class of extremal graphs for this bound, say $\mathcal{S}$, is a proper subset of the set of Turán graphs. In this paper, we generalize this result as follows: For each $v \in V(G)$, let $c(v)$ be the order of the largest clique that contains $v$. We show that \[ m \leq \left\lfloor\frac{n}{2}\sum_{v\in V(G)}\frac{c(v)-1}{c(v)}\right\rfloor\] Furthermore, we characterize the class of extremal graphs that attain equality in this bound. Interestingly, this class contains two extra non-Turán graphs other than the graphs in $\mathcal{S}$.

For a simple graph, the minimum rank problem is to determine the smallest rank among the symmetric matrices whose off-diagonal nonzero entries occur in positions corresponding to the edges of the graph. Bounds on this minimum rank (and on an equivalent value, the maximum nullity) are given by various graph parameters, most notably the zero forcing number and its variants. For a matrix, replacing each nonzero entry with the symbol \(\ast\) gives its zero-nonzero pattern. The associated minimum rank problem is to determine, given only this pattern, the smallest possible rank of the matrix. The most fundamental lower bound on this minimum rank is the triangle number of the pattern. A cobipartite graph is the complement of a bipartite graph; its vertices can be partitioned into two cliques. Such a graph corresponds to a zero-nonzero pattern in a natural way. Over an infinite field, the minimum rank of the graph and that of the pattern obey a simple relationship. We show that this same relationship is followed by the zero forcing number of the graph and the triangle number of the pattern. This has implications for the relationship between the two minimum rank problems. We also explore how, for cobipartite graphs, variants of the zero forcing number and other parameters important to the minimum rank problem are related, as well as how, for graphs in general, these parameters can be interpreted in terms of the zero-nonzero patterns of the symmetric matrices associated with the graph.

Let $A_G $ be the adjacency matrix of a simple graph $ G $, and let $ χ(G) $, $ χ_f(G) $, $ χ_q(G) $, $ ξ(G) $ and $ ξ_f(G) $ denote its chromatic number, fractional chromatic number, quantum chromatic number, orthogonal rank and projective rank, respectively. For $ p \geq 0 $, we define the positive and negative $ p $-energies of $ G $ by $$ \mathcal{E}_p^+(G) = \sum_{λ_i > 0} λ_i^p, \quad \mathcal{E}_p^-(G) = \sum_{λ_i < 0} |λ_i|^p, $$ where $ λ_1 \geq \cdots \geq λ_n $ are the eigenvalues of $A_G $. We prove that for all $ p \geq 0 $, $$ χ(G) \geq \left\{χ_f(G), χ_q(G), ξ(G) \right\} \geq ξ_f(G) \geq 1 + \max\left\{ \frac{\mathcal{E}_p^+(G)}{\mathcal{E}_p^-(G)}, \frac{\mathcal{E}_p^-(G)}{\mathcal{E}_p^+(G)} \right\}^{\frac{1}{|p - 1|}}. $$ This result unifies and strengthens a series of existing bounds corresponding to the cases $ p \in \{0, 2, \infty\} $. In particular, the case $ p = 0 $ yields the inertia bound $$ χ_f(G) \geq ξ_f(G) \geq1 + \max\left\{\frac{n^+}{n^-}, \frac{n^-}{n^+}\right\}, $$ where $ n^+ $ and $ n^- $ denote the number of positive and negative eigenvalues of $ A_G $, respectively. This resolves two conjectures of Elphick and Wocjan. We also demonstrate that for certain graphs, non-integer values of $ p $ provide sharper lower bounds than existing spectral bounds. As an example, we determine $ χ_q $ for the Tilley graph, which cannot be achieved using existing (unweighted) $p$-energy bounds. Our proof employs a novel synthesis of linear algebra and measure-theoretic tools, which allows us to surpass existing spectral bounds.