regular graph
1761 papers tagged with this keyword
A graph energy conjecture through the lenses of semidefinite programming
Let $G$ be a graph on $n$ vertices with independence number $α(G)$. Let $\mathcal{E}(G)$ be the energy of a graph, defined as the sum of the absolute values of the adjacency eigenvalues of $G$. Using Graffiti, Fajtlowicz conjectured in the 1980s that $$\frac{1}{2}\mathcal{E}(G) \geq n - α(G).$$ In this paper we derive a semidefinite program formulation of the graph energy, and we use it to obtain several results that constitute a first step towards proving this conjecture. In particular, we show that $$\frac{1}{2}\mathcal{E}(G) \geq n - χ_f(\overline{G}) \quad \text{ and } \quad \frac{1}{2}\mathcal{E}(G) \geq n - H(G),$$ where $χ_f(G)$ is the fractional chromatic number and $H(G)$ is Hoffman's ratio number. As a byproduct of the SDP formulation we obtain several lower bounds for the graph energy that improve and refine previous results by Hoffman (1970) and Nikiforov (2007). The later author showed that the conjecture holds for almost all graphs. However, the graph families known to attain the conjecture with equality are highly structured and do not represent typical graphs. Motivated by this, we prove the following bound in support of the conjecture for the class of highly regular graphs $$\frac{1}{2}\mathcal{E}(G) \geq n - \vartheta^-(G),$$ where $\vartheta^-$ is Schrijver's theta number.
Degree-similar graphs and cospectral graphs
Published
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A(G)$ and degree matrix $D(G)$, and let $L_μ(G):=A(G)-μD(G)$. Two graphs $G_1$ and $G_2$ are called \emph{degree-similar} if there exists an invertible matrix $M$ such that $M^{-1} A(G_1) M =A(G_2)$ and $M^{-1} D(G_1) M =D(G_2)$. In this paper, we address three problems concerning degree-similar graphs proposed by Godsil and Sun. First, we present a new characterization of degree-similar graphs using degree partition, from which we derive methods and examples for constructing cospectral graphs and degree-similar graphs. Second, we construct infinite pairs of non-degree-similar trees $G_1$ and $G_2$ such that $tI- L_μ(G_1)$ and $tI-L_μ(G_2)$ have the same Smith normal form over $\Q(μ)[t]$, which provides a negative answer to a problem posed by Godsil and Sun. Third, we establish several invariants of degree-similar graphs and obtain results on unicyclic graphs that are degree-similar determined. Lastly we prove that for a strongly regular graph $G$ and any two edges $e$ and $f$ of $G$, $G \backslash e$ and $G \backslash f$ have identical $μ$-polynomial, i.e., $\det(tI-L_μ(G \backslash e))=\det(tI-L_μ(G \backslash f))$, which enables the construction of pairs of non-isomorphic graphs with same $μ$-polynomial, where $G \backslash e$ denotes the graph obtained from $G$ by deleting the edge $e$.
Computer-assisted graph theory: a survey
Computers and algorithms play an ever-increasing role in obtaining new results in graph theory. In this survey, we present a broad range of techniques used in computer-assisted graph theory, including the exhaustive generation of all pairwise non-isomorphic graphs within a given class, the use of searchable databases containing graphs and invariants as well as other established and emerging algorithmic paradigms. We cover approaches based on mixed integer linear programming, semidefinite programming, dynamic programming, SAT solving, metaheuristics and machine learning. The techniques are illustrated with numerous detailed results covering several important subareas of graph theory such as extremal graph theory, graph coloring, structural graph theory, spectral graph theory, regular graphs, topological graph theory, special sets in graphs, algebraic graph theory and chemical graph theory. We also present some smaller new results that demonstrate how readily a computer-assisted graph theory approach can be applied once the appropriate tools have been developed.
Examples of diameter-2 graphs with no triangle or $K_{2,t}$
For each $t \ge 1$ let $W_t$ denote the class of graphs other than stars that have diameter $2$ and contain neither a triangle nor a $K_{2,t}$. The famous Hoffman--Singleton Theorem implies that $W_2$ is finite. Recently Wood suggested the study of $W_t$ for $t > 2$ and conjectured that $W_t$ is finite for all $t \ge 2$. In this note we show that (1) $W_3$ is infinite, (2) $W_5$ contains infinitely many regular graphs, and (3) $W_7$ contains infinitely many Cayley graphs. Our $W_3$ and $W_5$ examples are based on so-called crooked graphs, first constructed by de Caen, Mathon, and Moorhouse. Our $W_7$ examples are Cayley graphs with vertex set $\mathbb{F}_p^2$ for prime $p \equiv 11 \pmod {12}$.
Cubic vertex-transitive graphs of girth seven
In this paper we classify cubic vertex-transitive graphs of girth $7$, based on their signature. Such a graph is either a truncation of an arc-transitive dihedral scheme on a $7$-regular graph, the skeleton of a rotary map of type $\{7,3\}$, a member of an infinite family of Cayley graphs, or is one of the of the generalised Petersen graphs $\text{Pet}(13,5)$, $\text{Pet}(15,4)$, $\text{Pet}(17,4)$ or the Coxeter graph. We show that for a cubic vertex-transitive graphs $Γ$ of girth $7$, if every edge of $Γ$ is contained in the same number of $7$-cycles, then $Γ$ is also arc-transitive.
Asymptotic enumeration of graph factors by cumulant expansion
Let $G$ be a dense graph with good expansion properties and not too close to being bipartite. Let $\boldsymbol d$ be a graphical degree sequence. Under very weak conditions, we find the number of subgraphs of $G$ with degree sequence $\boldsymbol d$ to arbitrary precision. The average degree can be any power of $n$ and the variation in degrees can be very large. The method uses an explicit bound on the tail of the cumulant generating function found by the first author. As a first application, we prove that there is an asymptotic expansion for the number of regular graphs and find several terms explicitly. We believe that this is the first combinatorial application of the Fourier inversion method for which the integral outside the dominant regions cannot be bounded by the integral of the absolute value, and we give a general method for dealing with that situation.
Hoffman colorability of (strongly) regular graphs
Published
• View Publication
• BIB
Hoffman's bound is a well-known eigenvalue bound on the chromatic number of a graph. By interpreting this bound as a parameter, we show multiple applications of colorings attaining the bound (Hoffman colorings) for several notions of graph regularity: regular, (co-)edge-regular, and strongly regular. For strongly regular graphs, we prove that Hoffman colorability implies pseudo-geometricity, and we strengthen Haemers' finiteness result on strongly regular graphs with a bounded chromatic number by considering the Hoffman bound instead of the chromatic number. Furthermore, by using Hoffman colorings we show that a sufficient condition for non-unique vector colorability shown by Godsil, Roberson, Rooney, Šámal and Varvitsiotis [European J. Combin. 79, 2019] can be relaxed in the setting of strongly regular graphs. Lastly, using Hoffman colorings we derive several new characterizations of the mentioned graph regularity notions.
Singular Values Versus Expansion in Directed and Undirected Graphs
We relate the nontrivial singular values $σ_2,\ldots,σ_n$ of the normalized adjacency matrix of an Eulerian directed graph to combinatorial measures of graph expansion: \\ 1. We introduce a new directed analogue of conductance $φ_{dir}$, and prove a Cheeger-like inequality showing that $φ_{dir}$ is bounded away from 0 iff $σ_2$ is bounded away from 1. In undirected graphs, this can be viewed as a unification of the standard Cheeger Inequality and Trevisan's Cheeger Inequality for the smallest eigenvalue.\\ 2. We prove a singular-value analogue of the Higher-Order Cheeger Inequalities, giving a combinatorial characterization of when $σ_k$ is bounded away from 1. \\ 3. We tighten the relationship between $σ_2$ and vertex expansion, proving that if a $d$-regular graph $G$ with the property that all sets $S$ of size at most $n/2$ have at least $(1+δ)\cdot |S|$ out-neighbors, then $1-σ_2=Ω(δ^2/d)$. This bound is tight and saves a factor of $d$ over the previously known relationship.
A tail bound for cumulant series for complex functions of independent random variables
We obtain explicit bounds on the truncation error of the cumulant series of a bounded complex function of a random vector with independent components. The bounds are based on multidimensional differences. This extends the theory of the author with Brendan McKay and Rui-Ray Zhang (J. Combin. Th., Ser. B, 2025) from real functions to complex functions. We demonstrate some initial applications including a Berry--Esseen bound, an Edgeworth expansion for triangles in random graphs, and enumeration of regular graphs.
Connecting hypercube 1-factors
A 1-factorisation of a regular graph $G$ is a partition of its edge set $E(G)$ into perfect matchings of $G$. Behague asked for the minimal $r=r(d)$ such that some $1$-factorisation of the $d$-dimensional hypercube $Q_d$ has the property that the union of any $r$ of its 1-factors is connected. Previous work by Laufer on perfect $1$-factorisations implied that $r$ is at least three, and Behague gave a construction with $r=\big\lceil\frac{d}{2}\big\rceil+1$. We improve this upper bound, giving a random construction with $r=O(\log d)$. In other words, we prove the existence of a 1-factorisation $\mathcal{M} = \{M_1,\dotsc,M_d\}$ of the hypercube $Q_d$ such that every $\mathcal{N}\subseteq \mathcal{M}$ of size $Ω(\log d)$ is such that $\bigcup \mathcal{N}$ is connected.
Vertex energy distributions in regular graph structures
The energy of a vertex $v_i$ in a graph $G$ is defined as $\mathcal{E}_G(v_i) = |A|_{ii}$, where $A$ is the adjacency matrix of $G$, $A^*$ denotes the conjugate transpose of $A$, and $|A| = (AA^*)^{1/2}$. The total energy of the graph, $\mathcal{E}(G)$, is then the sum of the energies of all vertices: $\mathcal{E}(G) = \mathcal{E}_G(v_1) + \mathcal{E}_G(v_2) + \dots + \mathcal{E}_G(v_n)$. In this paper, we compute the vertex energy for several well-known regular graphs, including the Frucht graph, Desargues graph, Tutte-Coxeter graph, Heawood graph, Shrikhande graph, and Petersen graph.
Spanning path-cycle systems with given end-vertices in regular graphs (full version)
Published
• View Publication
• BIB
We prove the following theorem. Let $r\ge 4$ be an integer, and $G$ be a $K_{1,r}$-free $r$-edge-connected $r$-regular graph. Then, for every set $W$ of even number of vertices of $G$ such that the distance between any two vertices of $W$ in $G$ is at least 3, $G$ has vertex-disjoint paths and cycles $P_1, \ldots, P_m, C_1, \ldots, C_n$ such that (i) $V(G)=V(P_1) \cup \cdots \cup V(P_m) \cup V(C_1) \cup \cdots \cup V(C_n)$, (ii) each path $P_i$ connects two vertices of $W$, and (iii) the set of the end-vertices of $P_i$'s is equal to $W$. A similar result for a 3-regular graph is obtained in [Graphs Combin. {\bf 39} (2023) \#85]. However, our proof is widely different from its proof.
Quadratic Embedding Constants of Cartesian Products and Joins of Graphs
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)$.
Clique complexes of strongly regular graphs, their eigenvalues, and cohomology groups
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.
Distance restricted matching extensions in regular non-bipartite 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$.
Bounds of Trees with Degree Sequence-Based Topological Indices on Specialized Graph Classes
Published
• View Publication
• BIB
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.
The Subgraphs of Order Six of the Family of Strongly Regular Graphs with Parameters $λ=1$ and $μ=2$
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.
On two-distance-transitive graphs
Published
• View Publication
• BIB
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.
Monotone Paths on Acyclic 3-Regular Graphs
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$.
A new conjecture on the inertia of graphs
Published
• View Publication
• BIB
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.