arXiv++ Combinatorics

We give a new proof that 1-extension preserves generic local rigidity of bar-joint frameworks in all dimensions. The proof does not use a special position argument, which makes the approach potentially useful for X-replacement in 3-space. Instead, the balancing conditions recently introduced by the first author use directed paths in the line graph, and by modifying the end of these paths, we transfer a self-stress on the 1-extended graph back to the original. Treating the new vertex as variable allows us to extract the balancing condition of the smaller graph as one coefficient of a homogeneous quadratic. A Lean 4 formalization of the main results accompanies the paper.

The entries of the spectral idempotents of a graph are its local and crossed local multiplicities. This paper uses these classical quantities in three applications. First, in a graph on $n$ vertices without isolated vertices, every local multiplicity is at most $\frac{n-1}{n}$, and every diagonal entry of the Cesaro average mixing matrix is at most $1-\frac{2}{n}+\frac{2}{n^2}$. In both bounds equality holds only for the complete graph. This proves the connected form of the complete graph trace conjecture of Godsil, Guo and Sobchuk together with its equality case, and component and degree refinements follow. The two upper bounds and their attainment by complete graphs also occur in a recent machine checked proof, without a formal characterization of when equality holds. Second, for the line graph of a connected graph $Γ$, the average return probability at a bridge with a bipartite component on one side is at least the reciprocal of the rank of the unsigned incidence matrix. Equality holds exactly for $P_2$ and $P_3$. The proof combines local moments with known inverse-incidence formulas. Finally, the paper gives a short proof of Godsil's entry criterion, which says that vertices $u$ and $v$ are strongly cospectral exactly when $\left|(E_θ)_{uv}\right|=(E_θ)_{uu}$ for every eigenvalue $θ$. The criterion recovers the known classification in connected noncomplete strongly regular graphs, where the strongly cospectral pairs are precisely the two-vertex parts of cocktail party graphs.

Edge deletion problems ask for the fewest edges whose deletion gives a graph with a specified property. We study two such problems on block graphs. First making the graph claw-free, and second making it a line graph. Since every line graph is claw-free, the second problem is at least as difficult as the first. We show that on block graphs the two optimum values are always equal, and both are attained by the line graph of a forest. The main step is a completion argument, in which starting from any claw-free solution, we put back edges to get some nice structure inside each block still maintaining the claw-free property. This reduces both edge-deletion problems to the same problem of selecting vertices within the blocks of the input graph. We solve it by dynamic programming in $O(n+m)$ time, which also produces an optimal deletion set and a forest whose line graph is what remains after the completion argument. We also extend the method to $K_{1,r+1}$-free edge deletion for every fixed $r$.

When characterizing graphs defined by forbidden induced subgraphs, it is often desirable to understand how a graph $G$ can be generated incrementally from a given induced subgraph $H$. In this paper, we study a number of problems within this framework. First, for several notions of connectivity, we determine all minimal induced subgraphs of $G$ that contain $H$ and attain the connectivity of $G$. Second, we establish how to grow $H$ inside $G$ while preserving twin-freeness and certain forms of connectivity. Third, we establish {\it finite test theorems} for various graph classes, proving that agreement with the recursively generated graphs for a few initial iterations forces agreement at all subsequent iterations. Consequently, such an infinite graph family can be completely determined by finitely many of its initial generations. As an application, we characterize $\{\mathbb L_1,\mathbb L_3\}$-free graphs, where $\mathbb L_1$ is the claw and $\mathbb L_3$ is another forbidden graph for line graphs. Our structural results reduce this problem to a finite verification, which is completed through computer-assisted computation.

A graph is \emph{elementary} if its edges can be coloured with two colours so that the two edges of every induced path on three vertices receive different colours. Elementary graphs are one of the two basic classes in the Chvátal--Sbihi decomposition of claw-free perfect graphs; they include all line graphs of bipartite multigraphs and all complements of bipartite graphs. We prove that every elementary graph $G$ satisfies $\ch(G)=χ(G)=ω(G)$, confirming for this class the conjecture of Gravier and Maffray that claw-free graphs are chromatic-choosable. The proof combines the Maffray--Reed description of elementary graphs as augmentations of line graphs of bipartite multigraphs, Galvin's theorem, an extremal (edge-maximal) choice of counterexample, and a Hall-type lemma describing how list colourings of a complete graph minus a matching can fail.

Using spectral and polynomial methods, we show several sharp spectral bounds for the clique and chromatic numbers of graph powers that only use spectral information from the original graph. In particular, we strengthen earlier spectral-radius estimates to obtain an asymptotically sharp colouring bound for general graph powers, and prove a sharp bound for powers of line graphs with a complete characterisation of equality. We also develop polynomial methods yielding upper and lower bounds for clique numbers of graph powers. Regarding the connection between the clique and coloring parameters of graph powers, we propose a spectral analogue of Wegner's conjecture, determine the extremal values for graph squares, and establish the conjecture for all powers when the spectral-radius bound is sufficiently small. Finally, we connect our spectral polynomial method with coding theory: we prove that for distance-regular graphs, optimisation over the adjacency algebra recovers Delsarte's linear programming bound for anticodes.

A clique transversal in a graph is a set of vertices intersecting all maximal cliques. The problem of determining the minimum size of a clique transversal has received considerable attention in the literature. In this paper, we initiate the study of the ''upper'' variant of this parameter, the upper clique transversal number, defined as the maximum size of a minimal clique transversal. We investigate this parameter from the algorithmic and complexity points of view, with a focus on various graph classes. We show that the corresponding decision problem is NP-complete in the classes of chordal graphs, chordal bipartite graphs, cubic planar bipartite graphs, and line graphs of bipartite graphs, but solvable in linear time in the classes of split graphs, proper interval graphs, and cographs, and in polynomial time for graphs of bounded cliquewidth. We conclude the paper with a number of open questions.

We consider the problem of estimating graph limits, known as graphons, from observations of sequences of sparse finite graphs. In this paper we show a simple method that can shed light on a subset of sparse graphs. The method involves mapping the original graphs to their line graphs. We show that graphs satisfying a particular property, which we call the square-degree property are sparse, but give rise to dense line graphs. This enables the use of results on graph limits of dense graphs to derive convergence. In particular, star graphs satisfy the square-degree property resulting in dense line graphs and non-zero graphons of line graphs. We demonstrate empirically that we can distinguish different numbers of stars (which are sparse) by the graphons of their corresponding line graphs. Whereas in the original graphs, the different number of stars all converge to the zero graphon due to sparsity. Similarly, superlinear preferential attachment graphs give rise to dense line graphs almost surely. In contrast, dense graphs, including Erdos-Renyi graphs make the line graphs sparse, resulting in the zero graphon.

Networks are inherently vulnerable to vertex failures, making the analysis of their structural robustness a fundamental problem in graph theory. In this study, we investigate the closeness and vertex residual closeness of graphs, with a particular focus on the middle graph representations of certain special graph classes, which provide a richer structural framework for analysis. We derive exact expressions for the closeness values of these middle graphs and determine their residual closeness under vertex failures. By utilizing results obtained from specific graph families, we establish several general bounds for broader graph classes. Furthermore, by exploiting the relationship between the closeness of a graph, its line graphs and middle graphs, we obtain new results that relate these three structures. In addition, we present a computational procedure for evaluating closeness and vertex residual closeness in middle graphs, together with numerical verification of selected theoretical results and an analysis of its computational complexity.

Let $G$ be the line graph of a finite simple graph, with $n\geq1$ vertices and maximum degree $Δ$. We prove that single-site Glauber dynamics for uniform proper $q$-colorings mixes in $O_Δ(n\log(n/\varepsilon))$ steps for every integer $q\geqΔ+5$. Our proof uses the Bochner framework of Chen and Liu (2026).

A coline graph $\text{co}(G)$ of a graph $G$ is the graph with vertex set $E(G)$ for which two vertices $e$ and $e'$ of $\text{co}(G)$ are adjacent if and only if they are not adjacent as edges in $G$. A graph $G$ is tough if the number of connected components of $G-S$ is at most $|S|$ for all cut sets $S$. Wu and Meng, and Liu independently gave similar characterisations of coline graphs that are Hamiltonian. In this paper we give an alternate proof of Wu and Meng's and Liu's results using the longest cycle method. We in fact prove the following reformulation of their results. A tough coline graph $\text{co}(G)$ is Hamiltonian unless $G$ is one of four examples, one of which is $K_5$, since $\text{co}(K_5)$ is the Petersen graph. Characterisations of tough coline graphs and of coline graphs that contain a Hamiltonian path are also given.

We prove the conjecture of Xu, Li, Hua, and Pan that the resistance diameter does not increase under the line-graph operation. For every finite connected simple graph $G$ with at least one edge, we establish $D_r(L(G))\le D_r(G)$, with equality if and only if $G$ is a cycle or $K_4$. The proof combines an exact electrical representation of $L(G)$ by stars with a sharp budget inequality for the branch core. This inequality controls the combined error terms arising from the comparison of degree-two paths and is central to both the diameter bound and the equality analysis.

The line graph $L(G)$ of a graph $G$ is defined to be the simple graph whose vertices are the edges of $G$, where two vertices in $L(G)$ are adjacent if and only if the corresponding edges in $G$ are incident with a common vertex, and define $L^2(G)=L(L(G))$. For positive integers $d$ and $k$, the function $κ_{L^2}(d,k) = \inf\{κ(L^2(G)): κ'(G) \ge k \mbox{ and } δ(G) \ge d\}$ has been investigated. Niepel and Knor proved that $κ_{L^2}(d,1)\geq d-1$, for any integer $d \ge 3$. In this research, it is proved that if $d\geq 3$ and $k\geq 1$, then $κ_{L^2}(d,k)= \min\{f(d,k), 4d-6\}$, where \begin{equation} f(d,k) = \left\{ \begin{array}{ll} k(d-k), & \mbox{ if $1\leq k\leq \lfloor\frac{d}{2}\rfloor$, } \\ kd-k^2+2k(\lceil \frac{d}{2}\rceil)-(\lceil\frac{d}{2}\rceil)d, & \mbox{ if $\lfloor\frac{d}{2}\rfloor< k <\frac{3d-1}{4}$, } \\ kd-k^2+2k\lfloor \frac{d}{2}\rfloor-2(\lfloor \frac{d}{2}\rfloor)^2, & \mbox{ if $\frac{3d-1}{4}\leq k<d$, }\\ d(\lceil \frac{d}{2}\rceil), & \mbox{ if } d=k. \end{array} \right.\nonumber \end{equation}

The Hermitian adjacency matrices of digraphs based on the sixth root of unity were introduced in [B. Mohar, A new kind of Hermitian matrices for digraphs, Linear Alg. Appl. (2020)]. They appear to be the most natural choice for the spectral theory of digraphs. Undirected graphs have adjacency spectrum symmetric about 0 if and only if they are bipartite. The situation is more complex for the Hermitian spectra of digraphs. In this paper we study non-bipartite oriented graphs with symmetric Hermitian spectra. Our main result concerns the extremal problem of maximizing the density of spectrally symmetric oriented graphs. The maximum possible density is shown to be between 31/36} and 10/11. Furthermore, we give a necessary condition for an oriented graph to be spectrally symmetric based on the adjacency spectrum of the underlying graph. This allows us to show that line graphs of sufficiently dense graphs do not admit spectrally symmetric orientations. We also show how to construct infinite families of spectrally symmetric graphs using 1-sums.

A corollary of Hall's marriage theorem is that a sufficient condition for a list $(V_1, \ldots ,V_m)$ of sets to have a system of distinct representatives is that $|V_i|\ge deg_{\{V_1, \ldots ,V_m\}}(v)$ for every $i\in [m]$ and $v \in \bigcup_{i\in [m]}V_i$. This we dub a {\em global} condition. A folklore result is that a {\em local} condition - that the inequality holds for pairs $i,v$ for which $v \in V_i$ - suffices. These are special cases of a general type of results - large sets, whose elements are sparse in some sense, have a system of representatives that is independent in a related graph. We study two such scenarios, in both of which each $V_i$ is replaced by a $k$-uniform hypergraph $H_i$, the representatives are hyperedges, and distinctness is replaced by disjointness. In one setting the sparsity is measured by the degrees of vertices in the hypergraphs, in the other by the degrees of vertices in the line graph. The proofs use the topological version of Hall's theorem. In particular, we shall use a lower bound on the topological connectivity of the independence complex of a graph, defined by vector representations. We also provide short proofs of the local infinite version, known as the ``Milner-Shelah theorem''.

We introduce and study equivariant analytic spectral invariants associated with the Açıkmeşe lift of a graph with self-loops $G_S$. The canonical $\mathbb{Z}_2$-action yields an orthogonal isotypic decomposition of the lifted Laplacian into the anti-symmetric part $\mathcal{L}(G_S)$ and the symmetric part $M_{sym}$, from which we prove that the spectrum of $\mathcal{L}(G_S)$ is exactly the even-indexed spectrum of the lifted Laplacian. We express twisted moments of these blocks as traces of the generalised twisted moment operator against the corresponding $\mathbb{Z}_2$-projections, and obtain a tight upper bound under certain restriction with a characterization of the equality case. We introduce the equivariant heat character and establish a trace-norm stability estimate. For the matrix element of the resolvent $(pI+\mathcal{L}(G_S))^{-1}$ associated with the loop vector, we derive a Laplace-transform identity for the equivariant heat character, a determinant formula, a spectral representation, and a Laurent expansion. We further characterize the case where $S$ is a union of connected components through resolvent and equivariant heat-character identities, and obtain explicit equivariant heat characters for joins of full-loop graphs and the line graph of a full-loop connected regular graph. Finally, we introduce the regularized equivariant heat integral and derive spectral and trace formulas for it.

Let $N(H)$ be the edge--vertex incidence matrix of a finite linear $s$-uniform hypergraph whose line graph is a cograph, and define \[ R_s(H)=(s+1)\operatorname{rank}_{\mathbb R}N(H)-s|E(H)|. \] The inequality $R_s(H)\ge0$ holds, with equality characterized by affine planes of order $s$ on every row-dependent component. Under the corresponding finite-net completion hypothesis, connected systems with bounded $R_s$ admit an explicit classification. If $F$ is connected, $R_s(F)=d\le s-1$, the completion hypothesis holds through deficiency $d$, and $s>(d-1)^2$, then either $N(F)$ has full row rank and $|E(F)|=d$, or $F$ lies in a unique affine plane of order $s$. In the latter case, for some $0\le h\le d$, the system contains every line in $s+1-h$ parallel classes and exactly $d-h$ additional lines from the remaining $h$ classes. Conversely, each such system has defect $d$. Bruck's theorem gives the classification for every fixed $d$ and all sufficiently large $s$, while Metsch's completion theorem covers $d=o(s^{1/3})$. As a global consequence, if the total defect is at most $D$ in the completion range, deleting at most $D$ edges leaves a vertex-disjoint union of finite nets and affine planes. The associated column defect and row leverage are determined explicitly as well.

In this paper, we study proper and complete edge-colorings of Johnson graphs $J(n,2)$, also called $n$-triangular graphs. They are isomorphic both to the 2-token graphs of complete graphs and to the line graphs of complete graphs. A $t$-edge-coloring of a graph $G$ is a function that assigns one color from $\{1,2,\ldots,t\}$ to each edge. Such a coloring is called proper if no two incident edges receive the same color, and complete if every pair of distinct colors appears on a pair of incident edges. The achromatic index, denoted by $α_2(G)$, is the largest integer $t$ for which $G$ admits a proper and complete $t$-edge-coloring. We establish new lower and upper bounds for $α_2(J(n,2))$, provide explicit proper and complete edge-colorings attaining the lower bounds, and determine the exact value of $α_2(J(n,2))$ for several values of $n$.

The lowest eigenstates of the hopping matrix on the line graph of a cubic lattice with periodic boundary conditions are highly degenerate, they form a lowest flat band. Further, these states are localized. If one considers a repulsive bosonic Hubbard model on this lattice it is possible to construct exact multi-particle ground states simply by putting particles in the localized single particle ground states such that they avoid each other. This can be done up to a certain critical particle number $N_c$. We prove that at this particle number the ground state entropy is subextensive $\propto N_c^{2/3}$. For lower densities the entropy is extensive. We further show that the problem is related to the number of 4-cycle decompositions of the cubic lattice with periodic boundary conditions.

Aldous' spectral gap conjecture states that the random walk and the interchange process on any connected graph have the same spectral gap, or, equivalently, the second largest eigenvalue of any connected Cayley graph on the symmetric group $S_n$ with respect to a set of transpositions is achieved by the standard representation of $S_n$. This celebrated conjecture, proved in its general form in 2010, has inspired much interest in searching for other Cayley graphs on $S_n$ possessing this property, now known as the Aldous property. In this paper, we first prove that for $n \ge 5$ at most one of a normal Cayley graph on $S_n$ and its complement can possess the Aldous property except when these two graphs are $2K_{n!/2}$ and $K_{n!/2,n!/2}$ respectively. We then determine, for sufficiently large $n$, all normal Cayley graphs $\mathrm{Cay}(S_n, S)$ that have the Aldous property, except for the case when $S$ contains a permutation with support size in $\{2, 3, \dots, n-2\}$ and a permutation with support size in $\{n-1, n\}$, but not all permutations with support size $n$ are contained in $S$. In particular, we show that a non-complete normal Cayley graph $\mathrm{Cay}(S_n, S)$ does not have the Aldous property if all permutations in $S$ have support size $n-1$ or $n$, or all permutations with support size $n$ are contained in $S$, thereby solving an open problem posed by Li, Xia and Zhou in 2023. Along the way we determine all normal Cayley graphs on $S_n$ that are line graphs, and classify all normal Cayley graphs on $S_n$ with the strictly second largest eigenvalue at most $1$.