arXiv++ Combinatorics

Let $G$ be a finite simple graph with adjacency matrix $A(G)$ over $\mathbb F_2$. The closed neighborhood matrix $A(G)+I$ is central in the theory of odd domination. Sutner proved that every graph has an odd dominating set, equivalently $\mathbf 1$ lies in the range of $A(G)+I$, and Batal proved that every such set has cardinality congruent to $\rank(A(G)+I)$ modulo $2$. We extend this parity phenomenon from closed neighborhood matrices to partially looped graph matrices $A(G)+D$, where $D$ is an arbitrary diagonal matrix over $\mathbb F_2$. Equivalently, we work with arbitrary symmetric matrices $M$ over $\mathbb F_2$ and the natural right-hand side $\diag(M)$. We include a self-contained proof, attributed by Filmus to Alon, that $\diag(M)\in\Img(M)$, and we prove that every solution of $Mx=\diag(M)$ satisfies \[ \diag(M)^\top x\equiv \rank(M)\pmod 2. \] We also give a complete rank and nullity formula for rank-one diagonal perturbations $M\mapsto M+uu^\top$, which in the graph setting describes exactly how toggling loops changes the associated solution spaces. Finally, for rooted trees with arbitrary diagonal labels, we develop a finite-state boundary recursion that counts all solutions of $M(T,\varepsilon)x=\varepsilon+αe_r$ with prescribed root value, and we derive explicit nullity formulas for complete rooted $d$-ary trees. For $d\ge2$, we also prove an eventual-periodicity theorem for complete rooted $d$-ary trees with depth-dependent eventually periodic diagonal labels.

We consider the configuration model and the uniform simple graph with given degree sequence $\boldsymbol{d}=\left(d_i\right)_{i=1}^n$. We derive quantitative bounds for the errors in (i) joint normal-Poisson approximation to the numbers of isolated edges, isolated 2-stars, self-loops and double edges in the configuration model, and (ii) normal approximation to the numbers of isolated edges and isolated 2-stars conditioned on that the configuration model is simple. The latter provides the first finite sample normal approximation results for the uniform simple graph with given vertex degrees. To achieve this, we develop a new Stein's method for joint normal-Poisson approximation and a new coupling approach to sums of indicators, which may be of independent interest.

The proper commuting graph $\mathcal{C}^{**}(G)$ of a finite group $G$ is the simple graph whose vertices are the noncentral elements of $G$ and two distinct vertices are adjacent if they commute. In this paper, we study the domination number and total domination number of proper commuting graphs of finite groups. We first obtain general bounds for the domination number of proper commuting graphs. For finite nilpotent groups, we exploit a strong product decomposition of commuting graphs to derive exact formulas for the domination number. We further determine the exact domination number and total domination number for proper commuting graphs of several well-known families of finite groups, connecting with the centralizers of those groups.

For a vertex $v$, let $c_G(v)$ be the order of the largest clique containing $v$, and let $w_r(v)$ be the number of walks with $r$ vertices starting at $v$. We prove that, for every finite simple graph $G$ and every integer $r\ge 1$, \begin{flalign*} λ_1(G)^r \le \sum_{v\in V(G)} w_r(v)\frac{c_G(v)-1}{c_G(v)}. \end{flalign*} This confirms a conjecture of Kannan, Kumar, and Pragada. It strengthens Nikiforov's walk inequality and extends, in a unified form, the localized Wilf theorem and the degree-local Turán inequality of Liu and Ning. The proof is based on the stationary distribution of a Markov chain whose transition matrix is constructed from a Perron vector of $A(G)$, together with a weighted local spectral Turán theorem. We determine all the extremal graphs.

We introduce a family of complex-valued edge weights on a finite simple graph $\G$ arising from a continuous-time quantum walk on the line graph $\ell\G$, packaged as the \emph{Schur state}: an $n \times n$ Hermitian matrix encoding the amplitudes of an edge-state walk. The entrywise modulus square induces a real-weighted adjacency matrix $A(e)$ and Laplacian $L(e)$, and time-averaging yields a weighted graph whose spanning-tree count we relate to that of $\G$. Our main result is \[ tn\!\left(\G, \tfrac{1}{m}\right) = \frac{1}{m^{n-1}}\, tn(\G), \] valid whenever the initial edge state is \emph{uniform commutative}, where $n=|V\G|$, $m=|E\G|$, and $tn(\G, w)$ denotes the weighted spanning-tree count. We further identify a structural mechanism -- the $-2$ eigenspace of $\ell\G$ -- providing uniform commutative states beyond the regular case, in particular for line graphs of Eulerian graphs with an even number of edges. As a side result, we establish that commutative states are precisely the states whose von Neumann entropy is preserved under average mixing.

The generalized composition graph is used by Cardoso and some researchers for factorization of the adjacency spectrum and Laplacian of a simple graph. Because the generalized composition graph is an example of a set-theoretic linear operad, this operation can be iterated at more than one level, where the complex language of partition refinement in the iteration is represented in terms of Schr"oder trees. This allows us to generalize the factorization of the adjacency spectrum and Laplacian of a simple graph presented by Cardoso in terms of Schr"oder trees and colorings over the edges of a graph. Cardoso's technique has been generalized by other authors for the universal adjacency matrix of a graph. This work also presents generalized factorizations in terms of Schr"oder trees and colorings on the edges of a graph for the universal adjacency spectrum, the characteristic polynomial of the universal adjacency matrix, and the generalized characteristic polynomial of a graph.

For a simple graph $G$ with adjacency matrix $A(G)$, let $π(G,x):=\mathrm{per}(xI-A(G))$ be its permanental polynomial with roots $μ_1,\ldots,μ_n \in \mathbb{C}$, and define the permanental energy $E_{\mathrm{per}}(G):=\sum_{i=1}^n |μ_i|$. We prove a sharp universal lower bound: for every $m$-edge graph $G$, $E_{\mathrm{per}}(G) \ge 2\sqrt{m}$, with equality if and only if $G$ is a star together with isolated vertices. We also prove the general upper bound $E_{\mathrm{per}}(G) \le nρ(G)$, where $ρ(G)$ is the spectral radius, and we study $E_{\mathrm{per}}(G)$ on several graph families.

We analyse approximation algorithms (greedy heuristics) for the classical domination number and two multiple domination numbers in simple graphs. First, we present a short self-contained proof of the known result that the minimum domination problem in any graph $G$ with maximum degree $Δ$ can be solved within the approximation ratio of ${\ln(Δ+1)+1}$. The proof is based on an analysis of a simple greedy heuristic. Then, by analysing more advanced greedy heuristic techniques and using ideas from our self-contained proof for the classical domination number, we fix a gap in the existing proof of a similar result for the $k$-tuple domination number. That is, we prove that the minimum $k$-tuple domination problem indeed can be approximated within the ratio of $\ln(Δ+1)+1$. The proof of this result is self-contained, direct, and much shorter than the existing proof, which contains the gap. Finally, we show that the known approximation ratio of $\ln(2Δ)+1$ for the minimum $k$-domination problem can be improved to a better ratio.

Let \(G\) be a finite simple graph and let \(T\) be its Hashimoto operator on the directed-edge space. We show that edge reversal induces a canonical symmetric/antisymmetric splitting under which \(T\) acquires an explicit \(2\times 2\) block form. The diagonal blocks are \(\tfrac12 L(G)\) and \(-\tfrac12 A(G)\), where \(L(G)\) is the line-graph adjacency and \(A(G)\) is the antisymmetric line-graph adjacency, while the off-diagonal block is the mixed incidence product \(M=|D|^\top D\). This identifies the ordinary and antisymmetric line-graph sectors as the two canonical diagonal sectors of Hashimoto theory and isolates a mixed sector linking them. A Schur-complement argument then gives a factorization \[ \det(I-wT)=\det\!\bigl(I-\tfrac w2 L(G)\bigr)\,C_G(w), \] where \(C_G(w)\) is an explicit correction determinant built from the antisymmetric and mixed sectors. We show that the trivial roots \(w=\pm1\) localize on canonical edge subspaces, and that for line-graph-cospectral pairs all remaining Ihara separation is forced into the correction sector. Although the raw mixed block \(M\) depends on edge orientation, its natural gauge-invariant shadows, including \(MM^\top\), \(M^\top M\), and \(M^\top L^kM\), define a canonical matrix package attached to the graph. In the regular case these collapse to adjacency-side data, but in the irregular case they need not. As an application, we exhibit irregular non-isomorphic graphs that are adjacency-cospectral and line-graph-cospectral yet are separated by the correction sector, and we find further examples where the gauge-invariant mixed shadows separate even when the scalar Ihara polynomial does not. This isolates new irregular edge-space invariants in Hashimoto--Ihara theory.

Let $G$ be a finite connected simple graph with a chosen orientation of its edges. For the edge potential $ψ(t)=\cosh t-1,$ we minimize $\sum_{e\in E^\to}ψ(z_e)$ over each affine class $ω+dC^0(G)\subset C^1(G)$. The minimizer is the unique representative satisfying the nonlinear coclosed equation $δ\sinh z=0,$ and hence defines a nonlinear selector $\Picc:C^1(G)\to C^1(G).$ We show that $\Picc$ is real analytic, identify its image as $\imop \Picc=\Mcc=\operatorname{arsinh}(\kerδ),$ and compute its differential as a weighted Hodge projector. In particular, $\Picc$ agrees with the ordinary Hodge projector $\PiH$ to first order at the origin, and the first nonlinear correction is cubic. Our main global theorem is a graph-theoretic criterion: for every admissible edge potential -- even, $C^2$, strictly convex, and non-quadratic -- the associated nonlinear selector coincides with $\PiH$ on all of $C^1(G)$ if and only if $G$ is a cactus graph. Finally, we work out the two-triangle graph, the smallest connected simple obstruction, and record a self-concordant Newton method for computing $\Picc$.

For a simple graph $G$ with $n$ vertices, let $A_G$ denote the adjacency matrix of $G$, and let $λ_1(G) \geq λ_2(G) \geq \dots \geq λ_n(G)$ be its eigenvalues. For an integer $p \geq 2$, the positive $p$-energy and negative $p$-energy of $G$, denoted $\mathcal{E}^+_p(G)$ and $\mathcal{E}^-_p(G)$, are defined as follows: $\mathcal{E}^+_p(G) = \sum_{λ_i(G) > 0} |λ_i(G)|^p$ and $\mathcal{E}^-_p(G) = \sum_{λ_i(G) < 0} |λ_i(G)|^p,$ respectively. Tang, Liu, and Wang proposed a conjecture that, for any integer $p \geq 2$, every connected $n$-vertex graph $G$ satisfies $\mathcal{E}^+_p(G) \geq \mathcal{E}^+_p(P_n)$. Akbari, Kumar, Mohar, and Pragada conjectured that, for any $p \geq 2$, every connected $n$-vertex graph $G$ satisfies $\mathcal{E}^-_p(G) \geq \mathcal{E}^-_p(K_n)$, and they proved this conjecture for $p \geq 4$. In this paper, we prove that every connected $n$-vertex graph, except for $K_1$, $K_2$, and $P_3$, satisfies $\mathcal{E}^+_3(G) \geq \frac{\sqrt{5}}{2}n$. Moreover, we show that for any integer $p \geq 3$, every connected $n$-vertex graph $G$ satisfies $\mathcal{E}^-_p(G) \geq \mathcal{E}^-_p(K_n)$, which improves upon the previously known result.

An {\em odd subgraph} of a graph is a subgraph in which every vertex has odd degree. A graph $G$ is said to be {\em odd $k$-edge-colorable} if there exists an edge-coloring $E(G) \rightarrow \{1,2, \ldots, k\}$ such that each non-empty color class induces an odd subgraph of $G$. The {\em odd chromatic index} of $G$, denoted by $χ'_o(G)$, is the minimum $k$ for which $G$ is odd $k$-edge-colorable. In this paper, we prove that every $4$-connected simple graph of odd order is odd 3-edge-colorable, and show that the $4$-connectedness assumption is necessary. We also prove that for a connected Eulerian graph $G$ of odd order, there exists an edge $e$ such that $G-e$ is odd $2$-edge-colorable.

Let $k \in \mathbb{N}$ and let $H_1, H_2, \ldots, H_k$ be simple graphs such that for each $j \in \{ 1, 2, \ldots, k \}$, the vertex set of $H_j$ is $\{ 0, 1, 2, \ldots, n_j - 1 \}$ for some $n_j \in \mathbb{N}$. The ordered Ramsey number $R_\mathrm{ord}(H_1, H_2, \ldots, H_k)$ is the smallest $n \in \mathbb{N}$ for which every $k$-edge-coloring of the complete graph on the vertex set $\{ 0, 1, 2, \ldots, n - 1 \}$ contains $H_j$ as a monochromatic subgraph of color $j$ for some $j \in \{ 1, 2, \ldots, k \}$, with the vertices appearing in the same order as in $H_j$. Inspired by the work of Poljak, we apply the Kissat SAT solver to determine new small two-color ordered Ramsey numbers of various classes of graphs: monotone paths, monotone cycles, alternating paths, stars, complete graphs and nested matchings. In addition, we introduce the cyclic Ramsey numbers $R_\mathrm{cyc}(H_1, H_2, \ldots, H_k)$ as a natural relaxation of the ordered Ramsey numbers, and once again use Kissat to determine various such numbers for the two-color case. By observing structural patterns in the computational results, we determine all ordered or cyclic Ramsey numbers for several pairs of classes of graphs. Furthermore, we obtain some bounds on ordered and cyclic Ramsey numbers where one argument is a connected graph, while the other is a monotone path or a monotone cycle. We also explore how reinforcement learning can be used through the recently developed Reinforcement Learning for Graph Theory (RLGT) framework to obtain lower bounds on ordered and cyclic Ramsey numbers. Finally, we introduce the permutational Ramsey numbers to show how the different Ramsey-type formulations involving standard, ordered and cyclic Ramsey numbers can be unified within a group-theoretic framework.

Let $k \in \mathbb{N}$ and let $G$ be a simple graph with maximum degree $Δ$. A $k$-colouring $\varphi$ of $G$ is an assignment of colours from $\{1,2,\ldots,k\}$ to the vertices of $G$. We call $\varphi$ proper if adjacent vertices receive distinct colours, and equitable if the sizes of any two colour classes differ by at most one. The celebrated Hajnal--Szemerédi theorem states that a proper equitable $k$-colouring exists whenever $k \ge Δ+ 1$. In this paper, we study its tree colouring variant in which each colour class induces a forest. This is closely related to the vertex arboricity which was introduced by Chartrand, Kronk, and Wall. More precisely, we prove that if $n \ge 3Δ^4$ and $k \ge (Δ+2)/2$, then every $n$-vertex graph with maximum degree at most $Δ$ contains an equitable tree $k$-colouring. This confirms a conjecture of Wu, Zhang, and Li when $Δ$ is even and up to an additive constant of $1$ otherwise for large $n$. We also consider $d$-degenerate colouring in which each colour class induces a $d$-degenerate graph.

For a connected simple graph $G$ on $n$ vertices with chromatic number $χ$, the distance Laplacian matrix is $\DL( G)=\mathrm{diag}(\mathrm{Tr}_{ G}(v_1),\dots,\mathrm{Tr}_{ G}(v_n)) - D( G)$, where $D( G)$ is the distance matrix and $\mathrm{Tr}_{ G}(v)=\sum_{u\in V( G)} d_{ G}(u,v)$ is the transmission. The eigenvalues of $\DL( G)$ are ordered as $\partial^{L}_1( G)\ge \partial^{L}_2( G)\ge \cdots \ge \partial^{L}_n( G)=0$. Building on the chromatic lower bound $\partial^{L}_1( G)\ge n+\ceil{\frac{n}χ}$ and subsequent developments, we prove a \emph{color-class majorization principle}: if $(\ell_1,\dots,\ell_χ)$ are the color-class sizes in an optimal $χ$-coloring with $\ell_1\ge \cdots\ge \ell_χ$, then the first $\ell_1-1$ distance Laplacian eigenvalues satisfy $\partial^{L}_i( G)\ge n+\ell_1$, for $1\le i\le \ell_1-1$. This gives sharp lower bounds on the number of eigenvalues above the chromatic threshold $b_χ=n+\ceil{n/χ}$, thereby refining the distribution theorems of Aouchiche--Hansen (Filomat, 2017) and Pirzada--Khan (LAA, 2021). We further refine clique/independent-set based multiplicity results by deriving explicit chromatic criteria in terms of neighborhood compression, and we generalize the extremal problem for minimum $\partial^{L}_1$ at fixed chromatic number by characterizing all minimizers. Several numerical examples are included along with pictorial representations.

Brown and Colbourn (1992) showed that the complex roots of the reliability polynomial of connected multigraphs are dense in the unit disk and that the closure of the real roots is $[-1,0] \cup \{1\}$. We prove the simple graph analogues of both results, confirming a recent conjecture of Brown and McMullin. The proof uses the family of graphs $C_m[K_n]$ obtained by substituting each edge of a cycle $C_m$ with a complete graph $K_n$, and relies on the asymptotic behavior of the reliability and split reliability polynomials of $K_n$.

The $F$-sum is a new graph operation defined by combining four graph transformation operations with the Cartesian product operation. A matching book embedding of a graph $G$ is a book embedding in which the vertices of $G$ are placed on a fixed linear order along the spine, and the edges are assigned to pages such that (i) no two edges on the same page cross, and (ii) each vertex has degree at most one on every page. The minimum number of pages required for such a matching book embedding is called the \emph{matching book thickness} of $G$, denoted by $mbt(G)$. A graph $G $ is dispersable if and only if $ mbt(G) = Δ(G) $, and nearly dispersable if and only if $mbt(G) = Δ(G) + 1 $. In this paper, we determine the dispersability of outerplanar graphs and establish an upper bound on the matching book thickness of the $F$-sum of any simple graph with any dispersable bipartite graph.

The comaximal graph $ Γ(R) $ of a commutative ring $R$ is a simple graph with vertex set $ R $ and two distinct vertices $ a $ and $b $ of $ Γ(R) $ are adjacent if and only if $ aR+bR=R $, where $ aR $ is the ideal generated by $ a $ in $ R $. In this article, the independent domination polynomial $ D_{i}(Γ(\mathbb{Z}_{n}),x) $ of $ Γ(\mathbb{Z}_{n}) $ is discussed, along with its unimodal and log-concave properties for certain values of $n$. Some auxiliary results related to $D_{i}(Γ(\mathbb{Z}_{n}),x)$ are presented in terms of their zeros. In addition, we determine the independence polynomial $ I(Γ(\mathbb{Z}_{n}),x ) $ of $ Γ(\mathbb{Z}_{n}) $ for special values of $n$ and provide a general result associated with it. The bounds for the zero of the polynomial $ I(Γ(\mathbb{Z}_{n}),x ) $ are established, and their log-concave and unimodal properties are examined.

We prove that the closure of the real roots of all-terminal reliability polynomials is exactly $[-1,0] \cup \{1\}$, resolving a conjecture of Brown and McMullin and refining the corresponding density result for multigraphs due to Brown and Colbourn. The crux of the proof is demonstrating that real reliability roots of edge-substitution graphs $G[H]$, where $G$ ranges over connected multigraphs and $H$ ranges over complete graphs missing an edge, are dense.

Let $2\le k\in\mathbb{Z}$. A total coloring of a $k$-regular simple graph via $k+1$ colors is an efficient total coloring if each color yields an efficient dominating set, where the 3-cube efficient domination condition applies to the restriction of each color class to the vertex set. Focus was set upon graphs of girth $k+1$ with efficient total colorings of finite simple cubic graphs $Γ$ of girth 4 built up from the 3-cube and leading to a conjecture that all of those colorings were obtained by means of four basic operations. In the present work, a fifth basic operation is found necessary in terms of combinatorial cubic maps $M(Γ)$ of which the graphs $Γ$ are their 1-skeletons. This takes to conjecturing that any simple cubic graph that is toroidally 3-edge-connected (defined in the work) and whose $\ell$-belts have $\ell\equiv 0$ mod 4 has an efficient total coloring.