arXiv++ Combinatorics

The positive discrepancy of a graph $G$ of edge density $p=e(G)/\binom{v(G)}{2}$ is defined as $$\mbox{disc}^{+}(G)=\max_{U\subset V(G)}e(G[U])-p\binom{|U|}{2}.$$ In 1993, Alon proved (using the equivalent terminology of minimum bisections) that if $G$ is $d$-regular on $n$ vertices, and $d=O(n^{1/9})$, then $\mbox{disc}^{+}(G)=Ω(d^{1/2}n)$. We greatly extend this by showing that if $G$ has average degree $d$, then $\mbox{disc}^{+}(G)=Ω(d^{\frac{1}{2}}n)$ if $d\in [0,n^{\frac{2}{3}}]$, $Ω(n^2/d)$ if $d\in [n^{\frac{2}{3}},n^{\frac{4}{5}}]$, and $Ω(d^{\frac{1}{4}}n/\log n)$ if $d\in \left[n^{\frac{4}{5}},(\frac{1}{2}-\varepsilon)n\right]$. These bounds are best possible if $d\ll n^{3/4}$, and the complete bipartite graph shows that $\mbox{disc}^{+}(G)=Ω(n)$ cannot be improved if $d\approx n/2$. Our proofs are based on semidefinite programming and linear algebraic techniques. An interesting corollary of our results is that every $d$-regular graph on $n$ vertices with ${\frac{1}{2}+\varepsilon\leq \frac{d}{n}\leq 1-\varepsilon}$ has a cut of size $\frac{nd}{4}+Ω(n^{5/4}/\log n)$. This is not necessarily true without the assumption of regularity, or the bounds on $d$. The positive discrepancy of regular graphs is controlled by the second eigenvalue $λ_2$, as $\mbox{disc}^{+}(G)\leq \frac{λ_2}{2} n+d$. As a byproduct of our arguments, we present lower bounds on $λ_2$ for regular graphs, extending the celebrated Alon-Boppana theorem in the dense regime.

Kronk introduced the $l$-path hamiltonianicity of graphs in 1969. A graph is $l$-path Hamiltonian if every path of length not exceeding $l$ is contained in a Hamiltonian cycle. We have shown that if $P=uvz$ is a 2-path of a 2-connected, $k$-regular graph on at most $2k$ vertices and $G - V(P)$ is connected, then there must exist a Hamiltonian cycle in $G$ that contains the 2-path $P$. In this paper, we characterize a class of graphs that illustrate the sharpness of the bound $2k$. Additionally, we show that by excluding the class of graphs, both 2-connected, $k$-regular graphs on at most $2k + 1$ vertices and 3-connected, $k$-regular graphs on at most $3k-6$ vertices satisfy that there is a Hamiltonian cycle containing the 2-path $P$ if $G\setminus V(P)$ is connected.

We improve the best known lower bounds on the exponential behavior of the maximum of the number of connected sets, $N(G)$, and dominating connected sets, $N_{dom}(G)$, for regular graphs. These lower bounds are improved by constructing a family of graphs defined in terms of a small base graph (a Moore graph), using a combinatorial reduction of these graphs to rectangular boards followed by using linear algebra to show that the lower bound is related to the largest eigenvalue of a coefficient matrix associated with the base graph. We also determine the exact maxima of $N(G)$ and $N_{dom}(G)$ for cubic and quartic graphs of small order. We give multiple results in favor of a conjecture that each Moore graph $M$ maximizes the base indicating the exponential behavior of the number of connected vertex subsets among graphs with at least $|M|$ vertices and the same regularity. We improve the best known upper bounds for $N(G)$ and $N_{dom}(G)$ conditional on this conjecture.

This paper delves into three research directions, leveraging the Lovász $\vartheta$-function of a graph. First, it focuses on the Shannon capacity of graphs, providing new results that determine the capacity for two infinite subclasses of strongly regular graphs, and extending prior results. The second part explores cospectral and nonisomorphic graphs, drawing on a work by Berman and Hamud (2024), and it derives related properties of two types of joins of graphs. For every even integer such that $n \geq 14$, it is constructively proven that there exist connected, irregular, cospectral, and nonisomorphic graphs on $n$ vertices, being jointly cospectral with respect to their adjacency, Laplacian, signless Laplacian, and normalized Laplacian matrices, while also sharing identical independence, clique, and chromatic numbers, but being distinguished by their Lovász $\vartheta$-functions. The third part focuses on establishing bounds on graph invariants, particularly emphasizing strongly regular graphs and triangle-free graphs, and compares the tightness of these bounds to existing ones. The paper derives spectral upper and lower bounds on the vector and strict vector chromatic numbers of regular graphs, providing sufficient conditions for the attainability of these bounds. Exact closed-form expressions for the vector and strict vector chromatic numbers are derived for all strongly regular graphs and for all graphs that are vertex- and edge-transitive, demonstrating that these two types of chromatic numbers coincide for every such graph. This work resolves a query regarding the variant of the $\vartheta$-function by Schrijver and the identical function by McEliece et al. It shows, by a counterexample, that the $\vartheta$-function variant by Schrijver does not possess the property of the Lovász $\vartheta$-function of forming an upper bound on the Shannon capacity of a graph.

We study how few pairwise distinct longest cycles a regular graph can have under additional constraints. For each integer $r \geq 5$, we give exponential improvements for the best asymptotic upper bounds for this invariant under the additional constraint that the graphs are $r$-regular hamiltonian graphs. Earlier work showed that a conjecture by Haythorpe on a lower bound for this invariant is false because of an incorrect constant factor, whereas our results imply that the conjecture is even asymptotically incorrect. Motivated by a question of Zamfirescu and work of Chia and Thomassen, we also study this invariant for non-hamiltonian 2-connected $r$-regular graphs and show that in this case the invariant can be bounded from above by a constant for all large enough graphs, even for graphs with arbitrarily large girth.

We study the spectrum of generalized Paley graphs $Γ(k,q)=Cay(\mathbb{F}_q,R_k)$, undirected or not, with $R_k=\{x^k:x\in \mathbb{F}_q^*\}$ where $q=p^m$ with $p$ prime and $k\mid q-1$. We first show that the eigenvalues of $Γ(k,q)$ are given by the Gaussian periods $η_{i}^{(k,q)}$ with $0\le i\le k-1$. Then, we explicitly compute the spectrum of $Γ(k,q)$ with $1\le k \le 4$ and of $Γ(5,q)$ for $p\equiv 1\pmod 5$ and $5\mid m$. Also, we characterize those GP-graphs having integral spectrum, showing that $Γ(k,q)$ is integral if and only if $p$ divides $(q-1)/(p-1)$. Next, we focus on the family of semiprimitive GP-graphs. We show that they are integral strongly regular graphs (of pseudo-Latin square type). Finally, we characterize all integral Ramanujan graphs $Γ(k,q)$ with $1\le k \le 4$ or where $(k,q)$ is a semiprimitive pair.

Suppose a finite, unweighted, combinatorial graph $G = (V,E)$ is the union of several (degree-)regular graphs which are then additionally connected with a few additional edges. $G$ will then have only a small number of vertices $v \in V$ with the property that one of their neighbors $(v,w) \in E$ has a higher degree $\mbox{deg}(w) > \mbox{deg}(v)$. We prove the converse statement: if a graph has few vertices having a neighbor with higher degree and satisfies a mild regularity condition, then, via adding and removing a few edges, the graph can be turned into a disjoint union of (distance-)regular graphs. The number of edge operations depends on the maximum degree and number of vertices with a higher degree neighbor but is independent of the size of $|V|$.

Given a finite Lie incidence geometry which is either a polar space of rank at least $3$ or a strong parapolar space of symplectic rank at least $4$ and diameter at most $4$, or the parapolar space arising from the line Grassmannian of a projective space of dimension at least $4$, we show that its point graph is determined by its local structure. This follows from a more general result which classifies graphs whose local structure can vary over all local structures of the point graphs of the aforementioned geometries. In particular, this characterises the strongly regular graphs arising from the line Grassmannian of a finite projective space, from the half spin geometry related to the quadric $Q^+(10,q)$ and from the exceptional group of type $\mathsf{E_6}(q)$ by their local structure.

Kemeny's constant measures how fast a random walker moves around in a graph. Expressions for Kemeny's constant can be quite involved, and for this reason, many lines of research focus on graphs with structure that makes them amenable to more in-depth study (for example, regular graphs, acyclic graphs, and 1-connected graphs). In this article, we study Kemeny's constant for random walks on threshold graphs, which are an interesting family of graphs with properties that make examining Kemeny's constant difficult; that is, they are usually not regular, not acyclic, and not 1-connected. This article is a showcase of various techniques for calculating Kemeny's constant and related random walk parameters for graphs. We establish explicit formulae for $\mathcal{K}(G)$ in terms of the construction code of a threshold graph, and completely determine the ordering of the accessibility indices of vertices in threshold graphs.

In this paper we investigate Ramanujan hypergraphs by using hypergraph coverings. We first show that the spectrum of a $k$-fold covering $\bar{H}$ of a connected hypergraph $H$ contains the spectrum of $H$, and that it is the union of the spectrum of $H$ and the spectrum of an incidence-signed hypergraph with $H$ as underlying hypergraph if $k=2$, which generalizes Bilu-Linial result on graph coverings. We give a lower bound for the second largest eigenvalue of a $d$-regular hypergraph by universal cover, which generalizes Alon-Boppana bound on $d$-regular graphs and Feng-Li bound on $(d,r)$-regular hypergraphs. By using interlacing family of polynomials, we prove that every $(d,r)$-regular hypergraph has a right-sided Ramanujan $2$-covering, and has a left-sided Ramanujan $2$-covering if the roots of the matching polynomial of its incident graph satisfy some condition. By Ramanujan $2$-coverings, we prove the existence of some families of infinite many left-sided or right-sided $(d,r)$-regular Ramanujan hypergraphs under certain conditions on $d$ and $r$.

Let $N(X)$ be the Laplacian matrix of a directed graph obtained from the edge adjacency matrix of a graph $X.$ In this work, we study the bipartiteness property of the graph with the help of $N(X).$ We computed the spectrum of the edge Laplacian matrix for the regular graphs, the complete bipartite graphs, and the trees. Further, it is proved that given a graph $X,$ the characteristic polynomial of $N(X)$ divides the characteristic polynomial of $N(X^{\prime\prime}),$ where $X^{\prime\prime}$ denote the Kronecker double cover of $X.$

Motivated by the study of greedy algorithms for graph coloring, Bernshteyn and Lee introduced a generalization of graph degeneracy, which is called weak degeneracy. In this paper, we show the lower bound of the weak degeneracy for $d$-regular graphs is exactly $\lfloor d/2\rfloor +1$, which is tight. This result refutes the conjecture of Bernshteyn and Lee on this lower bound.

For $k\in \mathbb{N}$, a $k$-acyclic colouring of a graph $G$ is a function $f\colon V(G)\to \{0,1,\dots,k-1\}$ such that (i)~$f(u)\neq f(v)$ for every edge $uv$ of $G$, and (ii)~there is no cycle in $G$ bicoloured by $f$. For $k\in \mathbb{N}$, the problem $k$-ACYCLIC COLOURABILITY takes a graph $G$ as input and asks whether $G$ admits a $k$-acyclic colouring. Ochem (EuroComb 2005) proved that 3-ACYCLIC COLOURABILITY is NP-complete for bipartite graphs of maximum degree~4. Mondal et al. (J. Discrete Algorithms, 2013) proved that 4-ACYCLIC COLOURABILITY is NP-complete for graphs of maximum degree five. We prove that for $k\geq 3$, $k$-ACYCLIC COLOURABILITY is NP-complete for bipartite graphs of maximum degree $k+1$, thereby generalising the NP-completeness result of Ochem, and adding bipartiteness to the NP-completeness result of Mondal et al. In contrast, $k$-ACYCLIC COLOURABILITY is polynomial-time solvable for graphs of maximum degree at most $0.38\, k^{\,3/4}$. Hence, for $k\geq 3$, the least integer $d$ such that $k$-ACYCLIC COLOURABILITY in graphs of maximum degree $d$ is NP-complete, denoted by $L_a^{(k)}$, satisfies $0.38\, k^{\,3/4}<L_a^{(k)}\leq k+1$. We prove that for $k\geq 4$, $k$-ACYCLIC COLOURABILITY in $d$-regular graphs is NP-complete if and only if $L_a^{(k)}\leq d\leq 2k-3$. We also show that it is coNP-hard to check whether an input graph $G$ admits a unique $k$-acyclic colouring up to colour swaps (resp. up to colour swaps and automorphisms).

We study how the complexity of the graph colouring problems star colouring and restricted star colouring vary with the maximum degree of the graph. Restricted star colouring (in short, rs colouring) is a variant of star colouring. For $k\in \mathbb{N}$, a $k$-colouring of a graph $G$ is a function $f\colon V(G)\to \mathbb{Z}_k$ such that $f(u)\neq f(v)$ for every edge $uv$ of $G$. A $k$-colouring of $G$ is called a $k$-star colouring of $G$ if there is no path $u,v,w,x$ in $G$ with $f(u)=f(w)$ and $f(v)=f(x)$. A $k$-colouring of $G$ is called a $k$-rs colouring of $G$ if there is no path $u,v,w$ in $G$ with $f(v)>f(u)=f(w)$. For $k\in \mathbb{N}$, the problem $k$-STAR COLOURABILITY takes a graph $G$ as input and asks whether $G$ admits a $k$-star colouring. The problem $k$-RS COLOURABILITY is defined similarly. Recently, Brause et al. (Electron. J. Comb., 2022) investigated the complexity of 3-star colouring with respect to the graph diameter. We study the complexity of $k$-star colouring and $k$-rs colouring with respect to the maximum degree for all $k\geq 3$. For $k\geq 3$, let us denote the least integer $d$ such that $k$-STAR COLOURABILITY (resp. $k$-RS COLOURABILITY) is NP-complete for graphs of maximum degree $d$ by $L_s^{(k)}$ (resp. $L_{rs}^{(k)}$). We prove that for $k=5$ and $k\geq 7$, $k$-STAR COLOURABILITY is NP-complete for graphs of maximum degree $k-1$. We also show that $4$-RS COLOURABILITY is NP-complete for planar 3-regular graphs of girth 5 and $k$-RS COLOURABILITY is NP-complete for triangle-free graphs of maximum degree $k-1$ for $k\geq 5$. Using these results, we prove the following: (i) for $k\geq 4$ and $d\leq k-1$, $k$-STAR COLOURABILITY is NP-complete for $d$-regular graphs if and only if $d\geq L_s^{(k)}$; and (ii) for $k\geq 4$, $k$-RS COLOURABILITY is NP-complete for $d$-regular graphs if and only if $L_{rs}^{(k)}\leq d\leq k-1$.

Praeger-Xu graphs are connected, symmetric, 4-regular graphs that are unusual both in that their automorphism groups are large, and in that vertex stabilizer subgroups are also large. Determining number and distinguishing number are parameters that measure the symmetry of a graph by investigating additional conditions that can be imposed on a graph to eliminate its nontrivial automorphisms. In this paper, we compute the values of these parameters for Praeger-Xu graphs. Most Praeger-Xu graphs are 2-distinguishable; for these graphs we also provide the cost of 2-distinguishing.

An $r$-graph is an $r$-regular graph with no odd cut of size less than $r$. A well-celebrated result due to Lovász says that for such graphs the linear system $Ax = \textbf{1}$ has a solution in $\mathbb{Z}/2$, where $A$ is the $0,1$ edge to perfect matching incidence matrix. Note that we allow $x$ to have negative entries. In this paper, we present an improved version of Lovász's result, proving that, in fact, there is a solution $x$ with all entries being either integer or $+1/2$ and corresponding to a linearly independent set of perfect matchings. Moreover, the total number of $+1/2$'s is at most $6k$, where $k$ is the number of Petersen bricks in the tight cut decomposition of the graph.

The problem of graph reconstruction has been studied in its various forms over the years. In particular, the Reconstruction Conjecture, proposed by Ulam and Kelly in 1942, has attracted much research attention and yet remains one of the foremost unsolved problems in graph theory. Recently, Bastide, Cook, Erickson, Groenland, Kreveld, Mannens, and Vermeulen proposed a new model of partial information, where we are given the set of connected triples T_3, which is the set of 3-subsets of the vertex set that induce connected subgraphs. They proved that reconstruction is unique within the class of triangle-free graphs, 2-connected outerplanar graphs, and maximal planar graphs. They also showed that almost every graph can be uniquely reconstructed from their connected triples. However, little is known about other classes of non-triangle-free graphs within which reconstruction can occur uniquely, nor do we understand what kind of graphs can be uniquely reconstructed from their connected triples without assuming anything about the classes of graphs to which they belong. The main result of this paper is a complete characterization of all graphs that can be uniquely reconstructed from their connected triples T_3. We also show that reconstruction from T_3 is unique within the class of regular planar graphs, 5-connected planar graphs, certain strongly regular graphs, and complete multi-partite graphs, whereas it is not unique for the class of k-connected planar graphs with k less or equal to 4, Eulerian graphs, or Hamiltonian graphs.

Let $G$ be a regular graph with $m$ edges, and let $μ_1, μ_2$ denote the two largest eigenvalues of $A_G$, the adjacency matrix of $G$. We show that, if $G$ is not complete, then $$μ_1^2 + μ_2^2 \leq \frac{2(ω- 1)}ω m$$ where $ω$ is the clique number of $G$. This confirms a conjecture of Bollobás and Nikiforov for regular graphs. We also show that equality holds if and only if $G$ is either a balanced Turán graph or the disjoint union of two balanced Turán graphs of the same size.

Let G be a connected graph. The toughness of G is defined as t(G)=min{\frac{|S|}{c(G-S)}}, in which the minimum is taken over all proper subsets S\subset V(G) such that c(G-S)\geq 2 where c(G-S) denotes the number of components of G-S. Confirming a conjecture of Brouwer, Gu [SIAM J. Discrete Math. 35 (2021) 948--952] proved a tight lower bound on toughness of regular graphs in terms of the second largest absolute eigenvalue. Fan, Lin and Lu [European J. Combin. 110 (2023) 103701] then studied the toughness of simple graphs from the spectral radius perspective. While the toughness is an important concept in graph theory, it is also very interesting to study |S| for which c(G-S)\geq l for a given integer l\geq 2. This leads to the concept of the l-connectivity, which is defined to be the minimum number of vertices of G whose removal produces a disconnected graph with at least l components or a graph with fewer than l vertices. Gu [European J. Combin. 92 (2021) 103255] discovered a lower bound on the l-connectivity of regular graphs via the second largest absolute eigenvalue. As a counterpart, we discover the connection between the l-connectivity of simple graphs and the spectral radius. We also study similar problems for digraphs and an edge version.

A $k$-star colouring of a graph $G$ is a function $f:V(G)\to\{0,1,\dots,k-1\}$ such that $f(u)\neq f(v)$ for every edge $uv$ of $G$, and every bicoloured connected subgraph of $G$ is a star. The star chromatic number of $G$, $χ_s(G)$, is the least integer $k$ such that $G$ is $k$-star colourable. We prove that $χ_s(G)\geq \lceil (d+4)/2\rceil$ for every $d$-regular graph $G$ with $d\geq 3$. We reveal the structure and properties of even-degree regular graphs $G$ that attain this lower bound. The structure of such graphs $G$ is linked with a certain type of Eulerian orientations of $G$. Moreover, this structure can be expressed in the LC-VSP framework of Telle and Proskurowski (SIDMA, 1997), and hence can be tested by an FPT algorithm with the parameter either treewidth, cliquewidth, or rankwidth. We prove that for $p\geq 2$, a $2p$-regular graph $G$ is $(p+2)$-star colourable only if $n:=|V(G)|$ is divisible by $(p+1)(p+2)$. For each $p\geq 2$ and $n$ divisible by $(p+1)(p+2)$, we construct a $2p$-regular Hamiltonian graph on $n$ vertices which is $(p+2)$-star colourable. The problem $k$-STAR COLOURABILITY takes a graph $G$ as input and asks whether $G$ is $k$-star colourable. We prove that 3-STAR COLOURABILITY is NP-complete for planar bipartite graphs of maximum degree three and arbitrarily large girth. Besides, it is coNP-hard to test whether a bipartite graph of maximum degree eight has a unique 3-star colouring up to colour swaps. For $k\geq 3$, $k$-STAR COLOURABILITY of bipartite graphs of maximum degree $k$ is NP-complete, and does not even admit a $2^{o(n)}$-time algorithm unless ETH fails.