arXiv++ Combinatorics

The notion of word-representable graphs is a generalization of comparability graphs, in which graphs are represented by words. The complexity of word-representation of a word-representable graph is captured through the representation number, whereas the corresponding concept is the permutation-representation number for comparability graphs. The graphs with the (permutation-)representation number at most two were characterized in the literature. While certain examples in the class of graphs with the (permutation-)representation number three are known, no characterization for these classes is available. In this work, we prove that the representation number of melon graphs is at most three. Further, we characterize the class of melon graphs restricted to comparability graphs and show that their permutation-representation number is also at most three. Moreover, this work characterizes the word-representable line graphs of melon graphs and establishes that their representation number is at most three.

Given a simple graph $G$, its line graph, denoted by $L(G)$, is obtained by representing each edge of $G$ as a vertex, with two vertices in $L(G)$ adjacent whenever the corresponding edges in $G$ share a common endpoint. By applying the line graph operation repeatedly, we obtain higher order line graphs, denoted by $L^{r}(G)$. In other words, $L^{0}(G) = G$, and for any integer $r \ge 1$, $L^{r}(G) = L(L^{r-1}(G))$. Given a graph $G$ on $n$ vertices, we wish to efficiently find out (i) if $L^k(G)$ has an Euler path, (ii) the value of $Δ(L^k(G))$. Note that the size of a higher order line graph could be much larger than that of $G$. For the first question, we show that for a graph $G$ with $n$ vertices and $m$ edges the largest $k$ where $L^k(G)$ has an Euler path satisfies $k = \mathcal O(nm)$. We also design an $\mathcal{O}(n^2m)$-time algorithm to output all $k$ such that $L^k(G)$ has an Euler path. For the second question, we study the growth of maximum degree of $L^k(G)$, $k \ge 0$. It is easy to calculate $Δ(L^k(G))$ when $G$ is a path, cycle or a claw. Any other connected graph is called a prolific graph and we denote the set of all prolific graphs by $\mathcal G$. We extend the works of Hartke and Higgins to show that for any prolific graph $G$, there exists a constant rational number $dgc(G)$ and an integer $k_0$ such that for all $k \ge k_0$, $Δ(L^k(G)) = dgc(G) \cdot 2^{k-4} + 2$. We show that $\{dgc(G) \mid G \in \mathcal G\}$ has first, second, third, fourth and fifth minimums, namely, $c_1 = 3$, $c_2 = 4$, $c_3 = 5.5$, $c_4 = 6$ and $c_5=7$; the third minimum stands out surprisingly from the other four. Moreover, for $i \in \{1, 2, 3, 4\}$, we provide a complete characterization of $\mathcal G_i = \{dgc(G) = c_i \mid G \in \mathcal G \}$. Apart from this, we show that the set $\{dgc(G) \mid G \in \mathcal G, 7 < dgc(G) < 8\}$ is countably infinite.

Given a connected graph $G$ with at least three vertices, let $d_G(u,v)$ denote the distance between vertices $u,v\in V(G)$. A subset $S\subseteq V$ is called a doubly resolving set (DRS) of $G$ if for any two distinct vertices $u, v \in V(G)$, there exists a pair $\{x,y\}\subseteq S$ such that $d_G(u,x)-d_G(u,y)\neq d_G(v,x)-d_G(v,y)$. This paper studies the minimum cardinality of a DRS in the line graph of $G$, denoted by $Ψ(L(G))$. First, we prove that computing $Ψ(L(G))$ is NP-hard, even when $G$ is a bipartite graph. Second, we establish that $\lceil \log_2 (1+Δ(G))\rceil \le Ψ(L(G)) \le |V(G)| - 1$ holds for all $G$ with maximum degree $Δ(G)$, and show that both inequalities are tight. Finally, we determine the exact value of $Ψ(L(G))$ provided $G$ is a tree.

Given a simple graph $G$, its $A_α$ matrix is a convex combination with parameter $α\in [0,1]$ of its adjacency matrix and its degree diagonal matrices. Here we compare two lower bounds presented in [J. D. G. Silva Jr., C. S. Oliveira and L. M. G. C. Costa. "Some results involving the $A_α$-eigenvalues for graphs and line graphs"] for the spectral radius of $A_α$, and prove that one is better than the other when there are no isolated nodes in $G$.

A line multigraph is obtained from a hypergraph as follows: the vertices of the multigraph correspond to the hyperedges of the hypergraph, and the number of edges between two vertices is given by the number of vertices shared by the corresponding hyperedges. In this paper, we establish several structural and spectral properties of this class of multigraphs. More precisely, we show that important structural characteristics, such as connectivity, linearity, and regularity are, in some sense, preserved between a hypergraph and its line multigraph. We also prove that the eigenvalues of the line multigraph associated with a general hypergraph of rank $r$ are greater than or equal to $-r$, which generalizes a fundamental spectral property of line graphs. Furthermore, we provide sufficient conditions for $-r$ to be an eigenvalue of the line multigraph. Finally, we present applications of line multigraphs to the spectral theory of hypergraphs, including bounds for the signless Laplacian spectral radius of a hypergraph and a characterization of the signless Laplacian spectrum for a specific class of hypergraphs.

The notion of mutual visibility in graphs arises from constraining shortest paths by forbidding internal vertices from belonging to a specified subset. Mutual-visibility sets, originally introduced as a tool for studying information flow and structural restrictions in complex networks, have since gained increasing attention due to their theoretical significance and diverse applications. In this paper, a complete characterization of mutual-visibility sets in trees is presented. It is shown that a subset $S$ is a mutual-visibility set of $T$ if and only if it coincides with the set of leaves of the Steiner subtree $T\langle S\rangle$. As a consequence, the mutual-visibility number of a tree is equal to the number of its leaves. For trees containing branch vertices, the notion of legs is introduced and an explicit formula for the number of maximal mutual-visibility sets is derived in terms of the corresponding leg lengths. It is proved that every tree is absolute-clear. It is further established that the mutual-visibility number is preserved under the line graph operation for trees with at least two edges, that is, $μ(L(T))=μ(T)$.

A $b$-coloring is a proper coloring such that for each color class, there exists at least one vertex that is adjacent to at least one vertex in every other color class. The $b$-chromatic number of a graph $G$ is the maximum number $k$ such that $G$ admits a $b$-coloring with $k$ colors. This paper focuses on the $b$-chromatic number of the power graph of the Cartesian product of star graphs. In addition, we also study the total graph and the line graph of the Cartesian product of star graphs. Our main result generalizes the result shown in \cite{qn} on the b-chromatic number of the Cartesian product of two stars. We find exact values for the b-chromatic number of particular Cartesian products of complete graphs and explore the bounds of the generalized Cartesian product of complete graphs.

Given a graph $G$, let $Δ_2(G)$ denote the maximum number of neighbors any two distinct vertices of $G$ have in common. Vu (2002) proposed that, provided $Δ_2(G)$ is not too small as a proportion of the maximum degree $Δ(G)$ of $G$, the chromatic number of $G$ should never be too much larger than $Δ_2(G)$. We make a first approach towards Vu's conjecture from a structural graph theoretic point of view. We prove that, in the case where $G$ is claw-free, indeed the chromatic number of $G$ is at most $Δ_2(G)+3$. This is tight, as our bound is met with equality for the line graph of the Petersen graph. Moreover, we can prove this in terms of the more specific parameter that bounds the maximum number of neighbors any two endpoints of some edge of $G$ have in common. Our result may be viewed as a generalization of the classic bound of Vizing (1964) for edge-coloring.

Let $Y$ be the subdivided claw, the $7$-vertex tree obtained from a claw $K_{1,3}$ by subdividing each edge exactly once. We characterize the graphs (finite and infinite) that do not have $Y$ as a subgraph, or, equivalently, do not have $Y$ as a minor. This work was motivated by a problem involving VCD minors. A graph $H$ is a vertex contraction-deletion minor, or VCD minor, of a graph $G$ if $H$ can be obtained from $G$ by a sequence of vertex deletions or contractions of all edges incident with a single vertex. Our result is a key step in describing $K_{1,3}$-VCD-minor-free line graphs. We also characterize graphs that forbid each subtree of $Y$. We discuss the relevance of our results for Turán. numbers of trees, and pathwidth and growth constants for graphs without a particular tree as a minor.

The \emph{Sandwich Problem} (SP) for a graph class $\calC$ is the following computational problem. The input is a pair of graphs $(V,E_1)$ and $(V,E_2)$ where $E_1\subseteq E_2$, and the task is to decide whether there is an edge set $E$ where $E_1\subseteq E \subseteq E_2$ such that the graph $(V,E)$ belongs to $\calC$. In this paper we show that many SPs correspond to the constraint satisfaction problem (CSP) of an infinite $2$-edge-coloured graph $H$. We then notice that several known complexity results for SPs also follow from general complexity classifications of infinite-domain CSPs, suggesting a fruitful application of the theory of CSPs to complexity classifications of SPs. We strengthen this evidence by using basic tools from constraint satisfaction theory to propose new complexity results of the SP for several graph classes including line graphs of multigraphs, line graphs of bipartite multigraphs, $K_k$-free perfect graphs, and classes described by forbidding finitely many induced subgraphs, such as $\{I_4,P_4\}$-free graphs, settling an open problem of Alvarado, Dantas, and Rautenbach (2019). We also construct a graph sandwich problem which is in coNP, but neither in P nor coNP-complete (unless P = coNP).

Given a family $\mathcal{H}$ of graphs, we say that a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. Let $W_{t\times t}$ be the $t$-by-$t$ hexagonal grid and let $\mathcal{L}_t$ be the family of all graphs $G$ such that $G$ is the line graph of some subdivision of $W_{t \times t}$. We denote by $ω(G)$ the size of the largest clique in $G$. We prove that for every integer $t$ there exist integers $c_1(t)$, $c_2(t)$ and $d(t)$ such that every (pyramid, theta, $\mathcal{L}_t$)-free graph $G$ satisfies: i) $G$ has a tree decomposition where every bag has size at most $ω(G)^{c_1(t)} \log (|V(G)|)$. ii) If $G$ has at least two vertices, then $G$ has a tree decomposition where every bag has independence number at most $\log^{c_2(t)} (|V(G)|)$. iii) For any weight function, $G$ has a balanced separator that is contained in the union of the neighborhoods of at most $d(t)$ vertices. These results qualitatively generalize the main theorems of Abrishami et al. (2022) and Chudnovsky et al. (2024). Additionally, we show that there exist integers $c_3(t), c_4(t)$ such that for every (theta, pyramid)-free graph $G$ and for every non-adjacent pair of vertices $a,b \in V(G)$, i) $a$ can be separated from $b$ by removing at most $w(G)^{c_3(t)}\log(|V(G)|)$ vertices. ii) $a$ can be separated from $b$ by removing a set of vertices with independence number at most $\log^{c_4(t)}(|V(G)|)$.

The notion of local weak convergence, or Benjamini--Schramm convergence, was introduced by Benjamini and Schramm. The local weak limit of sparse Erd\H os--Rényi graphs is the Galton--Watson measure with Poisson offspring almost surely. Recently, Adhikari, Kumar, and Saha showed that the line graph of sparse Linial--Meshulam complexes converges to the $d$-block Galton--Watson measure. We study a unified model: weighted line graphs of sparse $k$-uniform random hypergraphs on $n$ vertices. Let $H(n,k,p)$ be the $k$-uniform random hypergraph where each $k$-subset of $[n]$ is included as a hyperedge independently with probability $p$. For a $k$-uniform hypergraph $H=(V,E)$ and $1\le r\le k-1$, define the $r$-set weighted line graph $G_r(H)=(\mathcal V_r,\mathcal E_r,w_H)$ by $$ \mathcal V_r=\bigl[\tbinom{n}{r}\bigr],\quad \mathcal E_r=\bigl\{\{τ_1,τ_2\}:τ_1,τ_2\in\mathcal V_r,\ \exists e\in E\text{ s.t. }τ_1,τ_2\subset e\bigr\}, $$ with weight $w_H(\{τ_1,τ_2\})=\bigl|\{e\in E:τ_1,τ_2\subset e\}\bigr|$. In particular, $G_1(H_n)$ generalizes Erd\H os--Rényi graphs and $G_{k-1}(H_n)$ is the line graph of the Linial--Meshulam complex. We show that if $\tbinom{n-r}{k-r}\to λ$ as $n\to\infty$, then $G_r(H_n)$ converges locally to the $(\tbinom{k}{r}-1)$-block Galton--Watson measure with $\operatorname{Poisson}(λ)$ offspring almost surely. As a consequence, we obtain the limiting spectral distribution of the adjacency matrices of $G_r(H_n)$.

A graph is said to be word-representable if there exists a word over its vertex set such that any two vertices are adjacent if and only if they alternate in the word. If no such word exists, the graph is non-word-representable. In the literature, there are examples of non-word-representable graphs whose line graphs are non-word-representable. However, it is an open problem to determine whether the line graph of a non-word-representable graph is always non-word-representable or not? In this work, we address the open problem by considering a class of non-word-representable graphs, viz., Mycielski graphs of odd cycles of length at least five, and show that their line graphs are word-representable.

Let $A$ be a finite commutative ring with unity $1 \neq 0.$ An ideal of $A$ is said to be essential if it has a non-zero intersection with every non-zero ideal of $A.$ The essential graph of $A$ is a simple undirected graph whose vertex set consists of all non-zero zero-divisors of $A.$ Two different vertices $u$ and $v$ are connected by an edge precisely when the ideal formed by the annihilator of their product $uv$ is essential in $A.$ This paper examines the minimal embeddings of the line graph of the essential graph of $A$ into orientable surfaces as well as non-orientable surfaces. Our results include a complete classification of finite commutative rings for which the line graphs of their essential graphs is planar, outerplanar or have genus or crosscap number at most two. We also characterize all such non-local rings for which the line graph of their zero-divisor graph is outerplanar.

The distance eigenvalues of a connected graph $G$ are the eigenvalues of its distance matrix $D(G)$. A graph is called distance integral if all of its distance eigenvalues are integers. Let $n \geq 3$ be an integer. The crown graph $Cr(n)$ is a graph obtained from the complete bipartite graph $K_{n,n}$ by removing a perfect matching. Let $L(Cr(n))$ denote the line graph of the crown graph $Cr(n)$. Using the equitable partition method, the set of distinct distance eigenvalues of the graph $L(Cr(n))$ has been determined which shows that this graph is distance integral [S.Morteza Mirafzal, The line graph of the crown graph is distance integral, Linear and Multilinear Algebra 71, no. 4 (2023): 662-672]. The distance spectrum of the graph $L(Cr(n))$ has not been found yet. In this paper, having the set of distance eigenvalues of $L(Cr(n))$ in the hand, we determine the distance spectrum of this graph.

Let $G$ be a graph with adjacency matrix $A(G)$. We conjecture that \[2n^+(G) \le n^-(G)(n^-(G) + 1),\] where $n^+(G)$ and $n^-(G)$ denote the number of positive and negative eigenvalues of $A(G)$, respectively. This conjecture generalizes to all graphs the well-known absolute bound for strongly regular graphs. The conjecture also relates to a question posed by Torgašev. We prove the conjecture for special graph families, including line graphs and planar graphs, and provide examples where the conjecture is exact. We also conjecture that for any connected graph $G$, its line graph $L(G)$ satisfies $n^+(L(G)) \le n^-(L(G)) + 1$, and obtain partial results.

We study quantum coherence in continuous-time quantum walks on perfect graphs generated by the symmetric lift ${\mathrm{HL}}'_2(G)$, a canonical, unweighted, undirected construction defined as the line graph of a bipartite double cover of $G$. This lift acts as both a coherence-preserving and coherence-inducing transformation: it preserves and scales structured quantum interference in highly symmetric base graphs, and induces sustained coherence in random or weakly structured ones. In small graphs such as $K_4$, $K_5$, and the Petersen graph, where quantum walks exhibit sharp revivals and high return probability, repeated $\mathrm{HL}'_2$ lifting produces towers of perfect graphs with thousands to tens of thousands of vertices that retain periodic or quasi-periodic coherence. When applied to random regular or Erdős--Rényi graphs with flat or decaying return behavior, the lift introduces structured interference and significant amplification of mean and peak return probabilities. To quantify these effects, we evaluate standard coherence metrics from quantum resource theory, including inverse participation ratio (IPR), purity, relative entropy of coherence, and the logarithmic coherence number. These measures confirm that $\mathrm{HL}'_2$ lifting delocalizes eigenstates, increases coherence entropy, and expands the basis support of quantum states. These results demonstrate that $\mathrm{HL}'_2$ is a scalable and structurally grounded mechanism for organizing quantum interference, and introduce a new family of perfect graphs that support long-time quantum coherence without spectral tuning or engineered weights.

This paper introduces two canonical constructions that transform arbitrary finite graphs into perfect graphs: the symmetric lift $\mathrm{HL}'_2(G)$, which is purely structural and label-invariant, and the ordered lift $\mathrm{HL}_2(G)$, which depends explicitly on vertex labeling and encodes directional information. Both lifts arise as line graphs of bipartite double covers and are box-perfect. The symmetric lift $\mathrm{HL}'_2(G)$ forms a canonical 2-cover of the line graph $L(G)$. This involution decomposes $\mathrm{HL}'_2(G)$ into symmetric and antisymmetric components: the symmetric part recovers $L(G)$, while the antisymmetric part yields a signed graph $L^-(G)$, the antisymmetric line graph, with +1/-1 edges encoding consistent vs. crossed overlaps. Thus, all adjacency and Laplacian eigenvalues of $L(G)$, with multiplicities, appear within those of $\mathrm{HL}'_2(G)$, despite $L(G)$ typically not being a subgraph. For regular graphs such as Paley graphs, this yields infinite families of sparse, highly structured regular and box-perfect expanders that also retain large cliques. The lift retains much of the spectral expansion of the base while improving the combinatorial expansion. Much the same behavior is observed with random regular base graphs, allowing for the possibility of the study of box-perfect random regular graphs. Finally, we generalize these constructions to parameterized lifts $\mathrm{HL}_{r,d}(G)$ and $\mathrm{HL}_{r,d}'(G)$ defined on ordered $r$-tuples connected by Hamming distance constraints, which structurally encode the base graph and remain box-perfect.

For integer $n$, the $n$-iterated line graph $L^n(G)$ of an undirected graph $G$ is defined to be $L(L^{n-1}(G))$, where $L^1(G)$ is the line graph $L(G)$ of $G$. In this paper we introduce hamiltonian path index. Hamiltonian path index, denoted by $h_p(G)$, is the minimum number $n$ such that $L^n(G)$ contains a hamiltonian path. We show that hamiltonian path index of $G$ exists for any graph $G$ and we set the exact value of hamiltonian path index for trees and discuss the problem about graphs with hamiltonian 2-connected blocks.

The general position problem for graphs asks for the largest number of vertices in a subset $S \subseteq V(G)$ of a graph $G$ such that for any $u,v \in S$ and any shortest $u,v$-path $P$ we have $S \cap V(P) = \{ u,v\} $, whereas the mutual visibility problem requires only that for any $u,v \in S$ there exists a shortest $u,v$-path with $S \cap V(P) = \{ u,v\} $. In the mobile versions of these problems, robots must move through the network in general position/mutual visibility such that every vertex is visited by a robot. This paper solves some open problems from the literature. We quantify the effect of adding the restriction that every robot can visit every vertex (the so-called \emph{completely mobile} variants), prove a bound on both mobile numbers in terms of the clique number, and find the mobile mutual visibility number of line graphs of complete graphs, strong grids and Cartesian grids.