arXiv++ Combinatorics

The quadratic embedding constant (QEC) of a finite, simple, connected graph originated from the classical work of Schoenberg [Ann. of Math., 1935] and [Trans. Amer. Math. Soc., 1938] on Euclidean distance geometry. In this article, we study the QEC of graphs in terms of two graph operations: the Cartesian product and the join of graphs. We derive a general formula for the QEC of the join of an arbitrary graph with a regular graph and with a complete multipartite graph. We then provide quadratic embedding constants for the Cartesian product of an arbitrary graph $G$ with a complete graph and with a complete bipartite graph in terms of QEC$(G)$.

It is known that non-isomorphic strongly regular graphs with the same parameters must be cospectral (have the same eigenvalues). In this paper, we investigate whether the spectra of higher order Laplacians associated with these graphs can distinguish them. In this direction, we study the clique complexes of strongly regular graphs, and determine the spectra of the triangle complexes of several families of strongly regular graphs including Hamming graphs and Triangular graphs. In many cases, the spectrum of the triangle complex distinguishes between strongly regular graphs with the same parameters, but we find some examples where that is not the case. We also prove that if a graph has the property that for any induced cycle, there are four consecutive vertices on the cycle with a common neighbor, then the first cohomology group of the graph is trivial and we apply this result to several families of graphs.

Let $m$ and $r$ be integers with $m \ge r \ge 3$ and let $G$ be an $r$-regular graph of even order. Let $M$ be a matching in $G$ of size $m$ such that each pair of edges in $M$ is at distance at least $3$. In 2023, Aldred et al. proved that if $G$ is cyclically $(mr-r+1)$-edge-connected and $G$ is bipartite, then there exists a perfect matching of $G$ containing $M$. In this paper, we present non-bipartite analogues of Aldred et al.'s theorem. An odd ear of $U \subseteq V(G)$ is a path of odd length whose ends lie in $U$ but whose internal vertices do not, or a cycle of odd length having exactly one vertex in $U$. Our first result shows that if $G$ is cyclically $(mr - m +1)$-edge-connected and there exist $mr - \left\lceil \frac{r}{2} \right\rceil + 1$ edge-disjoint odd ears of $V(M)$, then $M$ can be extended to a perfect matching of $G$. We further show that if $G$ contains $mr-r+1$ edge-disjoint odd ears of $V(M)$ and no cyclic edge cut in $G$ of size less than $(2m-1)(r-1)$ separates an odd cycle from another cycle, then $M$ can still be extended to a perfect matching. The second result extends Aldred et al.'s theorem to non-bipartite graphs in the case $r \ge 4$, and in the case when $r = 3$ and each pair of edges in $M$ is at distance at least $5$. It is also shown that the above results hold when $m \le r - 1$, without assuming the distance condition on $M$.

In this paper, the investigates Adriatic indices, specifically the sum lordeg index where it defined as $SL(G) = \sum_{u \in V(G)} °_G(u) \sqrt{\ln °_G(u)}$ and the variable sum exdeg index $SEI_a(G)$ for $a>0$, $a\neq 1$. We present several sharp bounds and characterizations of these and related topological indices on specialized graph classes, including regular graphs, thorny graphs, and chemical trees. Using the strict convexity of function $f$, inequalities for degree-based graph invariants $H_f(T)$ are derived under structural constraints on trees such as branching vertices and maximum degree. Examples on caterpillar trees illustrate the computation of indices like $^{m}M_2(G)$, $F(G)$, $M_2(G)$, and others, revealing the interplay between degree sequences and index values. Additionally, upper and lower bounds on the Sombor index $SO(G^*)$ of thorny graphs $G^*$ are established as \[ \operatorname{SO} \leqslant \sum_{uv\in E(G)}\sqrt{\frac{1}{°_{G}(u)^2+°_{G}(v)^2}+°_{G}(u)+°_{G}(v)}, \] including criteria for equality, with implications for regular and thorn-regular graphs. The treatment includes detailed formulas, constructive examples, and inequalities critical for understanding the relationship between graph topology and vertex-degree-based descriptors.

Strongly regular graphs are highly symmetrical and can be described fully with just a few parameters yet the existence of many of them is still under the question. Due to this uncertainty, it is of immense interest to study their structure, in particular to obtain all the possible subgraphs of lower order. In this paper we study the family of strongly regular graphs with parameters $λ=1$ and $μ=2$ and establish all their subgraphs of order six.

A $2$-distance-transitive graph is a vertex-transitive graph whose vertex stabilizer is transitive on both the first step and the second step neighborhoods. In this paper, we first answer a question of A. Devillers, M. Giudici, C. H. Li and C. E. Praeger in 2012 about vertex-quasiprimitive $2$-distance-transitive graphs for the odd order case. Then we characterize $2$-distance-transitive graphs of valency $p$ or $p+1$ where $p$ is a prime. After that, as an application of the above result, we classify locally-primitive, $2$-distance-transitive graphs of small valency. In addition to the above results on $2$-distance-transitive graphs, we also classify a family of amply regular graphs with diameter at least $4$ and parameters $(v, k, λ, \frac{k - 1}{2})$, and these graphs arise naturally in the classification of locally-primitive, $2$-distance-transitive graphs with small valency.

Motivated by trying to understand the behavior of the simplex method, Athanasiadis, De Loera and Zhang provided upper and lower bounds on the number of the monotone paths on 3-polytopes. For simple 3-polytopes with $2n$ vertices, they showed that the number of monotone paths is bounded above by $(1+\varphi)^n$, with $\varphi$ being the golden ratio. We improve the result and show that for a larger family of graphs the number is bounded above by $c \cdot 1.6779^n$ for some universal constant $c$. Meanwhile, the best known construction and conjectured extremizer is approximately $\varphi^n$.

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 show that, for any graph $F$ and $η>0$, there exists a $d_0=d_0(F,η)$ such that every $n$-vertex $d$-regular graph with $d \geq d_0$ has a collection of vertex-disjoint $F$-subdivisions covering at least $(1-η)n$ vertices. This verifies a conjecture of Verstraëte from 2002 and improves a recent result of Letzter, Methuku and Sudakov which additionally required $d$ to be at least polylogarithmic in $n$.

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.

A $(v,k,λ, μ)$-partial difference set (PDS) is a subset $D$ of size $k$ of a group $G$ of order $v$ such that every nonidentity element $g$ of $G$ can be expressed in either $λ$ or $μ$ different ways as a product $xy^{-1}$, $x, y \in D$, depending on whether or not $g$ is in $D$. If $D$ is inverse closed and $1 \notin D$, then the Cayley graph ${\rm Cay}(G,D)$ is a $(v,k,λ, μ)$-strongly regular graph (SRG). PDSs have been studied extensively over the years, especially in abelian groups, where techniques from character theory have proven to be particularly effective. Recently, there has been considerable interest in studying PDSs in nonabelian groups, and the purpose of this paper is develop character theoretic techniques that apply in the nonabelian setting. We prove that analogues of character theoretic results of Ott about generalized quadrangles of order $s$ also hold in the general PDS setting, and we are able to use these techniques to compute the intersection of a putative PDS with the conjugacy classes of the parent group in many instances. With these techniques, we are able to prove the nonexistence of PDSs in numerous instances and provide severe restrictions in cases when such PDSs may still exist. Furthermore, we are able to use these techniques constructively, computing several examples of PDSs in nonabelian groups not previously recognized in the literature, including an infinite family of genuinely nonabelian PDSs associated to the block-regular Steiner triple systems originally studied by Clapham and related infinite families of genuinely nonabelian PDSs associated to the block-regular Steiner $2$-designs first studied by Wilson.

A linear forest is a collection of vertex-disjoint paths. The Linear Arboricity Conjecture states that every graph of maximum degree $Δ$ can be decomposed into at most $\lceil(Δ+1)/2\rceil$ linear forests. We prove that $Δ/2 + \mathcal{O}(\log n)$ linear forests suffice, where $n$ is the number of vertices of the graph. If $Δ= Ω(n^\varepsilon)$, this is an exponential improvement over the previous best error term. We achieve this by generalising Pósa rotations from rotations of one endpoint of a path to simultaneous rotations of multiple endpoints of a linear forest. This method has further applications, including the resolution of a conjecture of Feige and Fuchs on spanning linear forests with few paths and the existence of optimally short tours in connected regular graphs.

It is a classical result that a random permutation of $n$ elements has, on average, about $\log n$ cycles. We generalise this fact to all directed $d$-regular graphs on $n$ vertices by showing that, on average, a random cycle-factor of such a graph has $\mathcal{O}((n\log d)/d)$ cycles. This is tight up to the constant factor and improves the best previous bound of the form $\mathcal{O}(n/\sqrt{\log d})$ due to Vishnoi. Our results also yield randomised polynomial-time algorithms for finding such a cycle-factor and for finding a tour of length $(1+\mathcal{O}((\log d)/d)) \cdot n$ if the graph is connected. This makes progress on a conjecture of Magnant and Martin and on a problem studied by Vishnoi and by Feige, Ravi, and Singh. Our proof uses the language of entropy to exploit the fact that the upper and lower bounds on the number of perfect matchings in regular bipartite graphs are extremely close.

We establish a sharp edge-connectivity estimate for graphs with non-negative Bakry-Émery curvature. This leads to a geometric criterion for the existence of a perfect matching. Precisely, we show that any regular graph with non-negative Bakry-Émery curvature and an even or infinite number of vertices has a perfect matching. Through a synthesis of combinatorial and curvature-related techniques, we determine the edge-connectivity of (possibly infinite) amply regular graphs.

Let G be a simple, finite, connected, and undirected graph, and T be a finite tree. The middle graph M(G) of G is obtained from the subdivision graph S(G) after joining pairs of subdivided vertices that lie on adjacent edges of G and the central graph C(G) of G is obtained from S(G) after joining all non-adjacent vertices of G. We show that if the order of G is at least 4, then Aut(G), Aut(C(G)), and Aut(M(G)) are isomorphic (as abstract groups) and apply these results to obtain new sharp upper bounds of the distinguishing number and the distinguishing index of C(G) and M(G) inspired by an algorithm due to Kalinowski, Pilsniak, and Wozniak from 2016. Furthermore, we study the total distinguishing chromatic number of C(G) and S(G), use Latin squares to verify the AVD-total coloring conjecture for central graphs of regular graphs and some other classes of graphs (which is a partial progress towards answering an open question of Panda, Verma, and Keerti from 2020), and obtain new bounds of the total dominator chromatic number of C(G) and C(T).

In a recent paper, Caro, Lauri, Mifsud, Yuster, and Zarb ask which parameters $r$ and $c$ admit the existence of an $r$-regular graph such that the neighborhood of each vertex induces exactly $c$ edges. They show that every $r$ with $c$ satisfying $0\leq c\leq {r\choose 2}-5r^{3/2}$ is achievable, but no $r$ with $c$ satisfying ${r\choose 2}-\lfloor\frac{r}{3}\rfloor\leq c\leq {r\choose 2}-1$ is. We strengthen the bound in their nonexistence result from ${r\choose 2}-\lfloor\frac{r}{3}\rfloor$ to ${r\choose 2}-\lfloor\frac{r-2}{2}\rfloor$. Additionally, when the graph is the Cayley graph of an abelian group, we obtain a much more fine-grained characterization of the achievable values of $c$ between $\binom{r}{2} - 5r^{3/2}$ and $\binom{r}{2} - \lfloor\frac{r-2}{2}\rfloor$, which we conjecture to be the correct answer for general graphs as well. That result relies on a lemma about approximate subgroups in the "99% regime," quantifying the extent to which nearly-additively-closed subsets of an abelian group must be close to actual subgroups. Finally, we consider a generalization to graphs with multiple types of edges and partially resolve several open questions of Caro et al. about $\textit{flip}$ colorings of graphs.

This paper considers minimum-dimensional representations of graphs in pseudo-Euclidean spaces, where adjacency and non-adjacency relations are reflected in fixed scalar square values. A representation of a simple graph $(V,E)$ is a mapping $\varphi$ from the vertices to the pseudo-Euclidean space $\mathbb{R}^{p,q}$ such that $||\varphi(u)-\varphi(v)|| = a$ if $(u,v) \in E$, $b$ if $(u,v) \notin E$ and $u \ne v$, and $0$ if $u = v$, for some $a,b \in \mathbb{R}$, where $||\boldsymbol{x}|| = \langle\langle \boldsymbol{x}, \boldsymbol{x} \rangle\rangle = \sum_{i=1}^p x_i^2 - \sum_{j=1}^q x_{p+j}^2$ is the scalar square of $\boldsymbol{x}$ in $\mathbb{R}^{p,q}$. For a finite set $X$ in $\mathbb{R}^{p,q}$, define $A(X) = \{||\boldsymbol{x}-\boldsymbol{y}|| : \boldsymbol{x},\boldsymbol{y} \in X, \boldsymbol{x} \ne \boldsymbol{y} \}$. We call $X$ an $s$-indefinite-distance set if $|A(X)| = s$. An $s$-indefinite-distance set in $\mathbb{R}^{p,0} = \mathbb{R}^p$ is called an $s$-distance set. Graphs obtained from Seidel switching of a Johnson graph sometimes admit Euclidean or pseudo-Euclidean representations in low dimensions relative to the number of vertices. For example, Lisoněk (1997) obtained a largest 2-distance set in $\mathbb{R}^8$ and spherical 2-indefinite-distance sets in $\mathbb{R}^{p,1}$ for $p \ge 10$ from the switching classes of Johnson graphs. In this paper, we consider graphs in the switching classes of Johnson and Hamming graphs and classify those that admit representations in $\mathbb{R}^{p,q}$ with the smallest possible dimension $p+q$ among all graphs in the same class. This method recovers known results, such as the largest 2-(indefinite)-distance sets constructed by Lisoněk, and also provides a unified framework for determining the minimum dimension of representations for entire switching classes of strongly regular graphs.

Oriented line graph, introduced by Kotani and Sunada (2000), is closely related to Hashimato's non-backtracking matrix (1989). It is known that for regular graphs $G$, the eigenvalues of the adjacency matrix of the oriented line graph $\vec{L}(G)$ of $G$ are the reciprocals of the poles of the Ihara zeta function of $G$. We determine the characteristic polynomial of the $z$-Hermitian adjacency matrix of $\vec{L}(G)$ for each $z\in \mathbb{C}$ and $d$-regular graph $G$ with $d\geq 3$. Special cases of this matrix include the Hermitian adjacency matrix of $\vec{L}(G)$ and the adjacency matrix of the underlying undirected graph of $\vec{L}(G)$. We also exhibit an application to star coloring of graphs.

We study how eigenvectors of random regular graphs behave when projected onto fixed directions. For a random $d$-regular graph with $N$ vertices, where the degree $d$ grows slowly with $N$, we prove that these projections follow approximately normal distributions. Our main result establishes a Berry-Esseen bound showing convergence to the Gaussian with error $O(\sqrt{d} \cdot N^{-1/6+\varepsilon})$ for degrees $d \leq N^{1/4}$. This bound significantly improves upon previous results that had error terms scaling as $d^3$, and we prove our $\sqrt{d}$ scaling is optimal by establishing a matching lower bound. Our proof combines three techniques: (1) refined concentration inequalities that exploit the specific variance structure of regular graphs, (2) a vector-based analysis of the resolvent that avoids iterative procedures, and (3) a framework combining Stein's method with graph-theoretic tools to control higher-order fluctuations. These results provide sharp constants for eigenvector universality in the transition from sparse to moderately dense graphs.

We establish the first quantitative Berry-Esseen bounds for edge eigenvector statistics in random regular graphs. For any $d$-regular graph on $N$ vertices with fixed $d \geq 3$ and deterministic unit vector $\mathbf{q} \perp \mathbf{e}$, we prove that the normalized overlap $\sqrt{N}\langle \mathbf{q}, \mathbf{u}_2 \rangle$ satisfies \[ \sup_{x \in \mathbb{R}} \left|\mathbb{P}\left(\sqrt{N}\langle \mathbf{q}, \mathbf{u}_2 \rangle \leq x\right) - Φ(x)\right| \leq C_d N^{-1/6+\varepsilon} \] where $\mathbf{u}_2$ is the second eigenvector and $C_d \leq \tilde{C}d^3\varepsilon^{-10}$ for an absolute constant $\tilde{C}$. This provides the first explicit convergence rate for the recent edge eigenvector universality results of He, Huang, and Yau \cite{HHY25}. Our proof introduces a single-scale comparison method using constrained Dyson Brownian motion that preserves the degree constraint $\tilde{H}_t\mathbf{e} = 0$ throughout the evolution. The key technical innovation is a sharp edge isotropic local law with explicit constant $C(d,\varepsilon) \leq \tilde{C}d\varepsilon^{-5}$, enabling precise control of eigenvector overlap dynamics. At the critical time $t_* = N^{-1/3+\varepsilon}$, we perform a fourth-order cumulant comparison with constrained GOE, achieving optimal error bounds through a single comparison rather than the traditional multi-scale approach. We extend our results to joint universality for the top $K$ edge eigenvectors with $K \leq N^{1/10-δ}$, showing they converge to independent Gaussians. Through analysis of eigenvalue spacing barriers, critical time scales, and comparison across multiple proof methods, we provide evidence that the $N^{-1/6}$ rate is optimal for sparse regular graphs. All constants are tracked explicitly throughout, enabling finite-size applications in spectral algorithms and network analysis.