arXiv++ Combinatorics

The Kneser graphs $\text{KG}(n,k)$ are a classically studied family of graphs. One known invariant of graphs is gonality (also called divisorial gonality), which is the minimum degree of a rank 1 divisor on the graph. Using known bounds on gonality of simple, connected graphs, one may obtain that the gonality of $\text{KG}(n,k)$ is bounded above by $\binom{n-1}{k}$. In 2014, Harvey and Wood showed that the treewidth (a lower bound on gonality) for $\text{KG}(n,k)$ is $\binom{n-1}{k}-1$ for $n\geq 4k^2-3k+2$. In this paper, using scramble number, another lower bound on gonality, we improve this polynomial bound and show that the gonality of $\text{KG}(n,k)$ is exactly $\binom{n-1}{k}$ for $n\geq \frac{3k^2+k+2}{2}$, and conjecture an even stricter polynomial bound using the uniform edge scramble. We then extend our argument to the family of generalized Kneser Graphs, computing the scramble number and gonality using the same polynomial bound.

The edge-girth of an edge $e$ in a simple connected graph is the length of a shortest cycle containing $e$, with $g_e = \infty$ if no such cycle exists. The edge-girth sequence of a graph is the nondecreasing sequence of edge-girth values over all its edges. We prove that a sequence $S$ is realizable as the edge-girth sequence of a simple connected graph if and only if it satisfies a recursive criterion: writing $S = S_0 \uplus (g^{(m)})$ where $g$ is the maximum edge-girth value of $S$ with multiplicity $m$ and $S_0$ is the prefix subsequence, $S$ is realizable if and only if $S_0$ is realizable and the multiplicity $m$ lies in a set entirely determined by $g$ and the maximum diameter $d^*_{S_0}$ achievable by graphs realizing $S_0$. We further determine $d^*_S$ for any realizable sequence: for constant sequences $(g^{(m)})$, we obtain a closed-form formula when $g$ is even and a recursive formula when $g$ is odd. For general sequences, we provide a recursive algorithm computing $d^*_S$ together with explicit constructions of diameter-achieving graphs.

We prove Graffiti.pc Conjecture 2, a 1996 conjecture listed as open on the \emph{Written on the Wall II} page marked ``Last update 7/23/26.'' Let $G$ be a finite simple connected graph. For $v\in V(G)$, let $I(v)=α(G[N_G(v)])$, and let $I_{\mathrm{avg}}(G)$ be the average of these local independence numbers. The conjecture states that the maximum number $L_s(G)$ of leaves in a spanning tree of $G$ satisfies $L_s(G)\ge 2\bigl(I_{\mathrm{avg}}(G)-1\bigr)$. We establish this inequality by extracting a triangle-free spanning subgraph that retains at least half of the total local-independence mass. A degree-square argument then produces a double star with sufficiently many leaves, and this tree extends to a spanning tree without losing leaves. Balanced complete bipartite graphs show that the bound is sharp.

In this paper, we study totally disjoint diametral paths in simple connected graphs. A diametral path in a graph is a shortest path that connects two vertices whose mutual distance is equal to the diameter of the graph. Totally disjoint paths are paths that have no vertices in common, including their end vertices. We show that the problem of deciding whether a graph $G$ has $k$ totally disjoint diametral paths is NP-complete. We consider restricted classes of graphs for which the problem of determining the maximum size of a set of totally disjoint diametral paths is readily solved. We then give a linear-time algorithm for a subclass of maximal outerplanar graphs called 2-paths, define a polynomial-time algorithm for threshold graphs, and establish a structural bound for proper interval graphs. Finally, we define classes of extremal graphs with $k$ totally disjoint diametral paths of length $d$ having the fewest possible number of edges.

Let $G$ be a simple connected graph, and let $T_{G}(x,y)$ be the Tutte polynomial of $G$. Motivated by the works in \cite{Ma}, we, in this paper, introduce the even-left spanning forests of $G$ and odd $G$-partitionable permutations, and show that $T_{G}(2,-1)$ is equal to both the number of even-left spanning forests of $G$ and the number of odd $G$-partitionable permutations. In particular, for a complete graph $K_n$, we prove that $T_{K_{n}}(2,-1)$ is the number of alternating permutations on $\{1,2,\dots,n+1\}$, using two distinct techniques: a recurrence relation and an explicit bijection construction.

Let $G$ be a simple connected graph on $n$ vertices, and let $λ_1(G),λ_2(G),\ldots,λ_n(G)$ be the eigenvalues of its adjacency matrix $A(G)$. For $p>0$, define the $p$-energy of $G$ by $\mathcal E_p(G)=\sum_{i=1}^n |λ_i(G)|^p$. We prove that, for every real number $p\ge 2$ and every simple connected graph $G$ on $n$ vertices, $$ \mathcal E_p(G)\ge \mathcal E_p(P_n), $$ where $P_n$ denotes the path on $n$ vertices. Moreover, for each fixed $p>2$, equality holds if and only if $G\cong P_n$. Together with the previously known star-minimality results, this completes the solution of two questions of Nikiforov. The proof combines two different comparison principles. For $2<p<4$, we use a bipartite reduction, a Mellin representation of fractional powers, and a determinant comparison involving matching generating polynomials and tree shifts. For $p\ge4$, we prove a second-order stop-loss comparison for the squared singular values of bipartite graphs. This comparison is established by rank-one spectral-shift estimates, deletion-minimal counterexamples, and a finite certified analysis of the terminal sparse-sun configurations. As applications, we obtain sharp path-minimality results for positive $p$-energies in several cases, and for Laplacian and signless Laplacian power sums and related indices.

A conflict-free cut $F$ on a simple connected graph $G = (V, E)$ is defined as a set of edges $F \subseteq E$ such that $G-F$ is disconnected, and no two edges in $F$ are conflicting. The notion of conflicting edges is represented using an associated conflict graph $\widehat{G} = (\widehat{V}, \widehat{E})$ where $\widehat{V} = E$. Deciding if a given planar graph $G$, with an associated conflict graph $\widehat{G}$, has a conflict-free cut is known to be NP-complete, when $G$ has maximum degree four and $\widehat{G}$ is a line graph of $G$ [Bonsma, JGT 2009]. In this paper, we prove the following for the case when $\widehat{G}$ is 1-regular. * We completely resolve the complexity of the decision problem when $G$ is planar. Towards this end, we show that (a) there always exists a conflict-free cut when the graph is planar and 4-regular unless it is the octahedron graph and (b) the decision problem is NP-complete, even in the case when $G$ is planar with maximum degree 5. * We also show that the decision problem is NP-complete when $G$ is a 3-degenerate graph with maximum degree 5. This completely resolves the complexity status of the problem when $G$ is 3-degenerate. * We construct families of graphs with 1-regular conflict graphs that do not have a conflict-free cut. Our results answer the questions posed in [Rauch, Rautenbach and Souza, IPL 2025].

The problem of characterizing graphs with a prescribed number of main eigenvalues is a long-standing problem in spectral graph theory. Although some constructions are known, only a few produce infinite families of simple connected graphs with exactly $s \ge 2$ main eigenvalues. Zero-divisor graphs form a well-structured class of algebraic graphs whose spectra can be described explicitly using equitable partitions, making them a convenient setting to study main eigenvalues. In this paper, we prove that the zero-divisor graphs of reduced rings provide an infinite family of simple connected graphs with exactly $s$ main eigenvalues, and that certain induced bipartite subgraphs also have exactly $s$ main eigenvalues for any positive integer $s$.

Let $G$ be a simple connected graph and $t \ge 2$ an integer. We prove that if the maximal homogeneous ideal is an associated prime of the $t$th power of the closed neighborhood ideal of $G$, then the diameter of $G$ is at most $7t - 8$. We further show that this bound is sharp for all $t \ge 2$.

For a graph $G$ with adjacency matrix $A(G)$ and degree diagonal matrix $D(G)$, the $A_α$-matrix of $G$ is defined as \begin{equation*} A_α(G) = αD(G) + (1- α) A(G), \text{ for any } α\in [0,1]. \end{equation*} The $A_α$-spectral radius of $G$ is the largest eigenvalue of the matrix $A_α(G)$. A tricyclic graph of order $n$ is a simple connected graph with $n+2$ edges. In this paper, we characterize the unique graph having the largest $A_α$-spectral radius for $α\in [\frac{1}{2}, 1)$ among all tricyclic graphs of order $n$ with $k (\geq 1)$ pendant vertices. As an application, we derive a sufficient spectral condition (alternate to the edge condition) to guarantee the absence of the tricyclic structure in a graph with $k$ pendant vertices.

Let $η$ be a fixed positive integer. Let $S$ be a subset of $\mathbb{Z}$, $\star:S\times S\to \mathbb{Z}$ be a binary function, and $ζ_η:\{ξ\in \mathbb{Z}:\gcd(ξ,η)=1\}\to \{0,1\}$ be a function. For a simple connected graph $G$ of order $n$, a bijective function $f:V(G)\to S$ (where $|S|=n$) is called an arithmetic cordial labeling modulo $η$ under $\langle S,ζ_η,\star\rangle$ if the induced function $f_η^*:E(G)\to \{0,1\}$, defined by $f_η^*(uv)=0$ whenever $ζ_η(f(a)\star f(b))=0$ or $\gcd(f(a)\star f(b),η)\neq 1$, and $f_η^*(uv)=1$ whenever $ζ_η(f(a)\star f(b))=1$, satisfies the condition $|e_{f_η^*}(0)-e_{f_η^*}(1)|\leq 1$, where $e_{f_η^*}(i)$ is the number of edges with label $i$ ($i=0,1$). In this paper, we explore the arithmetic cordial labeling of some graphs under conditions imposed on the function $ζ_η$. The graphs included are star graphs, ladder graphs, alternate cycle snake graphs, join graphs, corona graphs, and tensor product graphs.

Let $G=(V,E)$ be a simple connected graph. A connected edge cover of $G$ is a subset $S\subseteq E$ such that every vertex of $G$ is incident with at least one edge in $S$ and the subgraph induced by $S$ is connected. The connected edge cover polynomial of $G$ is defined as $E_c(G,x)=\sum_{i} e_c(G,i)x^i$, where $e_c(G,i)$ denotes the number of connected edge covers of $G$ with exactly $i$ edges. In this paper, we derive explicit formulas for both the connected edge cover polynomials and the total number of connected edge covers for several important graph families, including wheels, complete graphs $K_n$, complete bipartite graphs $K_{2,n}$, friendship graphs, and lollipop graphs. Each formula is accompanied by a combinatorial proof and verified by computational enumeration for small orders.

Let $G$ be a simple connected graph with vertex set $V(G)$ and edge set $E(G)$. A $k$-matching of a graph $G$ is a function $f:E(G)\rightarrow \{0,1,\ldots, k\}$ satisfying $\sum_{e \in E_G(v)} f(e) \leq k$ for every vertex $v \in V(G)$, where $E_G(v)$ is the set of edges incident with $v$ in $G$. A $k$-matching of a graph $G$ is perfect if $ \sum_{e \in E_G(v) } f(e) = k $ for any vertex $v \in V(G)$. The $k$-Berge-Tutte-formula of a graph $G$ is defined as: \[ \defk(G) = \max_{S \subseteq V(G)} \begin{cases} k \cdot i(G - S) - k|S|, & k \text{ is even;} \\[6pt] \odd(G - S) + k \cdot i(G - S) - k|S|, & k \text{ is odd.} \end{cases} \] A $k$-barrier of the graph $G$ is the subset $S \subseteq V(G)$ that reaches the maximum value in $k$-Berge-Tutte-formula. A connected graph \( G \) of odd (even) order is a {generalized factor-critical (generalized bicritical) graph about integer \( k \)-matching}, abbreviated as a \( \mathrm{GFC}_k (\mathrm{GBC}_k)\) graph, if $\emptyset$ is a unique $k$-barrier. When $k$ is odd, let \( 1 \leq d \leq k \) and \( |V(G)| \equiv d \pmod{2} \). If for any \( v \in V(G) \), there exists a \( k \)-matching \( h \) such that $\sum_{e \in E_G(v)} h(e) = k - d$ {and} $\sum_{e \in E_G(u)} h(e) = k$ for any \( u \in V(G) - \{v\} \), then \( G \) is said to be \( k \)-\( d \)-critical. In this paper, we provide sufficient conditions in terms of distance spectral radius to ensure that a graph has a perfect $k$-matching and a graph is \( k \)-\( d \)-critical, $\mathrm{GFC}_k$ or $\mathrm{GBC}_k$, respectively.

Let $p$ be an odd prime and let $F_i$ be the $i$th $(a,b)$-Fibonacci number with initial values $F_0=a$ and $F_1=b$. For a simple connected graph $G=(V,E)$, define a bijective function $f:V(G)\to \{0,1,\ldots,|V|-1\}$. If the induced function $f_p^*:E(G)\to \{0,1\}$, defined by $f_p^*(uv)=\frac{1+([F_{f(u)}+F_{f(v)}]/p)}{2}$ whenever $F_{f(u)}+F_{f(v)}\not\equiv 0\pmod{p}$ and $f_p^*(uv)=0$ whenever $F_{f(u)}+F_{f(v)}\equiv 0\pmod{p}$, satisfies the condition $|e_{f_p^*}(0)-e_{f_p^*}(1)|\leq 1$ where $e_{f_p^*}(i)$ is the number of edges labeled $i$ ($i=0,1$), then $f$ is called $(a,b)$-Fibonacci-Legendre cordial labeling modulo $p$. In this paper, the $(a,b)$-Fibonacci-Legendre cordial labeling of path graphs, star graphs, wheel graphs, and graphs under the operations join, corona, lexicographic product, cartesian product, tensor product, and strong product is explored in relation to $k$-Pisano-Legendre primes relative to $(a,b)$. We also present some properties of $k$-Pisano-Legendre primes relative to $(a,b)$ and numerical observations on its distribution, leading to several conjectures concerning their density and growth behavior.

Let $G = (V(G), E(G))$ be a simple connected graph and $Ω$ a subset of $ V(G)$ with $|Ω|\geq2$. An $Ω$-path in $G$ is a path that connects all vertices of $Ω$. Two $Ω$-paths $P_i$ and $P_j$ are said to be internally disjoint if $V(P_i)\cap V(P_j)=Ω$ and $E(P_i)\cap E(P_j)=\emptyset$. Denote $π_G(Ω)$ by the maximum number of internally disjoint $Ω$-paths in $G$. For an integer $k\geq2$, the $k$-path-connectivity $π_k(G)$ of $G$ is defined as $\min\{π_G(Ω)\midΩ\subseteq V(G)$ and $|Ω|=k\}$. Let $CW_n$ denote the Cayley graph generated by the $n$-vertex wheel graph. In this paper, we investigate the $3$-path-connectivity of $CW_n$ and prove that $π_3(CW_n)=\lfloor\frac{6n-9}4\rfloor$ for all $n\geq4$.

XOR-magic graph labelings form a special subclass of group distance magic labelings. A simple connected graph of order $2^n$ is called an open (respectively, closed) XOR-magic graph of power $n$ if its vertices can be labeled bijectively with vectors from $(\mathbb{Z}_2)^n$ such that the sum (over $(\mathbb{Z}_2)^n$) of labels in each open (respectively, closed) neighborhood of every vertex is equal to the zero vector. In one paper, Batal asked whether there exists any odd-regular open XOR-magic graph or any even-regular closed XOR-magic graph. In this paper, with partial help of MILP solver, we answer this question in the affirmative. More precisely, we prove that for every integer $n>3$, there exists an odd-regular open XOR-magic graph of power $n$ and an even-regular closed XOR-magic graph of power $n$. We also show some applications of the spectra of graphs for an open XOR-magic labeling.

In 1986, Brualdi and Solheid firstly proposed the problem of determining the maximum spectral radius of graphs in the set $\mathcal{H}_{n,m}$ consisting of all simple connected graphs with $n$ vertices and $m$ edges, which is a very tough problem and far from resolved. The $A_α$-spectral radius of a simple graph of order $n$, denoted by $ρ_α(G)$, is the largest eigenvalue of the matrix $A_α(G)$ which is defined as $αD(G)+(1-α)A(G)$ for $0\le α< 1$, where $D(G)$ and $A(G)$ are the degree diagonal and adjacency matrices of $G$, respectively. In this paper, if $r$ is a positive integer, $n>30r$ and $n-1\leq m \le rn-\frac{r(r+1)}{2}$, we characterize all extremal graphs which have the maximum $A_α$-spectral radius of graphs in the set $\mathcal{H}_{n,m}$. Moreover, the problem on $A_α$-spectral radius proposed by Chang and Tam [T.-C. Chang and B.-T. Tam, Graphs of fixed order and size with maximal $A_α$-index. Linear Algebra Appl. 673 (2023), 69-100] has been solved.

Let $\mathcal{D}_{n,τ}$ be the set of all simple connected graphs of order $n$ and dissociation number $τ.$ In this paper, we study the minimum size and the minimum spectral radius of graphs in $\mathcal{D}_{n,τ}$ in connection with Turán-type problems for complete multipartite graphs. We characterize the Tur\' an graphs for several complete multipartite graphs where the size of one of the partite sets is much smaller than the size of the remaining partites. This extends a result of Erdős and Simonovits [16]. Additionally, we prove some stability results to get the structure of graphs without such a forbidden complete multipartite subgraph, and close to Turán number of edges. As an application, we show that a graph with the minimum spectral radius in $\mathcal{D}_{n,τ}$ must be a graph with the minimum size in $\mathcal{D}_{n, τ}$ when $n$ is sufficiently large and satisfies some parity conditions. We then describe a few structural properties of graphs with the minimum spectral radius in $\mathcal{D}_{n,τ}$. For even dissociation numbers and any order $n$, we compute the minimum size of a graph in $\mathcal{D}_{n,τ}$ and use it to characterize the graphs in $\mathcal{D}_{n, 4}$ that attain the minimum size and the minimum spectral radius. We also apply the stability results to upper bound the minimum number of edges and spectral radius for connected graphs with a given $d$-independence number when the order of the graph is sufficiently large. Finally, we derive two new bounds on the value of $τ(G)$ for a given graph $G$.

The study of radio graceful labelings is motivated by modeling efficient frequency assignment to radio towers, cellular towers, and satellite networks. For a simple, connected graph $G = (V(G), E(G))$, a radio labeling is a mapping $f: V(G) \rightarrow \mathbb{Z}^+$ satisfying (for any distinct vertices $u,v$) $$|f(u)-f(v)| + d(u,v) \geq diam(G)+1,$$ where $d(u,v)$ is the distance between $u$ and $v$ in $G$ and $diam(G)$ is the diameter of $G$. A graph is radio graceful if there is a radio labeling such that $f(V(G)) = \{1, \dots, |V(G)|\}$. In this paper, we determine the radio gracefulness of low-diameter graphs with connections to high-performance computing, including Moore graphs, bipartite Moore graphs, and approximate Moore graphs like $(r,g)-$cages, Erdős-Rényi polarity graphs, and McKay-Miller-Širáň graphs. We prove a new necessary and sufficient condition for radio graceful bipartite graphs with diameter $3$. We compute the radio number of $(r,g)-$cages arising from generalized $n-$gons. Additionally, we determine Erdős-Rényi polarity graphs and McKay-Miller-Širáň graphs are radio graceful.

Let $G$ be a simple connected graph with vertex set $V(G)=\{v_{1}, v_{2}, \ldots, v_{n}\}$. The distance $d_G(v_i,v_j)$ between two vertices $v_i$ and $v_j$ of $G$ is the length of a shortest path between $v_i$ and $v_j$. The distance matrix of $G$ is defined as $D(G)=(d_G(v_i,v_j))_{n\times n}$. The second largest distance eigenvalue of \( G \) is the second largest eigenvalues of $D(G)$. Guo and Zhou [Discrete Math. 347(2024), 114082] proved that any connected graph with the second largest distance eigenvalue less than $-\frac{1}{2}$ is chordal, and characterize all bicyclic graphs and split graphs with the second largest distance eigenvalue less than $-\frac{1}{2}$. Based on this, we characterize all tricyclic graphs with the second largest distance eigenvalue less than $-\frac{1}{2}$.