arXiv++ Combinatorics

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.

Graph representations are the generalization of geometric graph drawings from the plane to higher dimensions. A method introduced by Tutte to optimize properties of graph drawings is to minimize their energy. We explore this minimization for spherical graph representations, where the vertices lie on a unit sphere such that the origin is their barycentre. We present a primal and dual semidefinite program which can be used to find such a spherical graph representation minimizing the energy. We denote the optimal value of this program by $ρ(G)$ for a given graph $G$. The value turns out to be related to the second largest eigenvalue of the adjacency matrix of $G$, which we denote by $λ_2$. We show that for $G$ regular, $ρ(G) \leq \frac{λ_{2}}{2} \cdot v(G)$, and that equality holds if and only if the $λ_{2}$ eigenspace contains a spherical 1-design. Moreover, if $G$ is a random $d$-regular graph, $ρ(G)=\left(\sqrt{(d-1)} +o(1)\right)\cdot v(G)$, asymptotically almost surely.

In this paper, we investigate the minimum number of triangles, denoted by $t(n,k)$, in $n$-vertex $k$-regular graphs, where $n$ is an odd integer and $k$ is an even integer. The well-known Andrásfai-Erdős-Sós Theorem has established that $t(n,k)>0$ if $k>\frac{2n}{5}$. In a striking work, Lo has provided the exact value of $t(n,k)$ for sufficiently large $n$, given that $\frac{2n}{5}+\frac{12\sqrt{n}}{5}<k<\frac{n}{2}$. Here, we bridge the gap between the aforementioned results by determining the precise value of $t(n,k)$ in the entire range $\frac{2n}{5}<k<\frac{n}{2}$. This confirms a conjecture of Cambie, de Joannis de Verclos, and Kang for sufficiently large $n$.

We conjecture that the distribution of the edge-disjoint union of two random regular graphs on the same vertex set is asymptotically equivalent to a random regular graph of the combined degree, provided it grows as the number of vertices tends to infinity. We verify this conjecture for the cases when the graphs are sufficiently dense or sparse. We also prove an asymptotic formula for the expected number of spanning regular subgraphs in a random regular graph.

We study $k$-star decompositions, that is, partitions of the edge set into disjoint stars with $k$ edges, in the uniformly random $d$-regular graph model $\mathcal{G}_{n,d}$. Using the small subgraph conditioning method, we prove an existence result for such decompositions for all $d,k$ such that $d/2 < k \leq d/2 + \max\{1,\frac{1}{6}\log d\}$. More generally, we give a sufficient existence condition that can be checked numerically for any given values of $d$ and $k$. Complementary negative results are obtained using the independence ratio of random regular graphs. Our results establish an existence threshold for $k$-star decompositions in $\mathcal{G}_{n,d}$ for all $d\leq 100$ and $k > d/2$. For smaller values of $k$, the connection between $k$-star decompositions and $β$-orientations allows us to apply results of Thomassen (2012) and Lovász, Thomassen, Wu and Zhang (2013). We prove that random $d$-regular graphs satisfy their assumptions with high probability, thus establishing a.a.s. existence of $k$-star decompositions (i) when $2k^2+k\leq d$, and (ii) when $k$ is odd and $k < d/2$.

We consider the number of crossings in a random embedding of a graph, $G$, with vertices in convex position. We give explicit formulas for the mean and variance of the number of crossings as a function of various subgraph counts of $G$. Using Stein's method and size-bias coupling, we establish an upper bound on the Kolmogorov distance between the distribution of the number of crossings and a standard normal random variable. We also consider the case where $G$ is a random graph and obtain a Kolmogorov bound between the distribution of crossings and a Gaussian mixture distribution. As applications, we obtain central limit theorems with convergence rates for the number of crossings in random embeddings of matchings, path graphs, cycle graphs, disjoint union of triangles, random $d$-regular graphs, and mixtures of random graphs.

We provide a sufficient condition on the isoperimetric properties of a regular graph $G$ of growing degree $d$, under which the random subgraph $G_p$ typically undergoes a phase transition around $p=\frac{1}{d}$ which resembles the emergence of a giant component in the binomial random graph model $G(n,p)$. We further show that this condition is tight. More precisely, let $d=ω(1)$, let $ε>0$ be a small enough constant, and let $p \cdot d=1+ε$. We show that if $C$ is sufficiently large and $G$ is a $d$-regular $n$-vertex graph where every subset $S\subseteq V(G)$ of order at most $\frac{n}{2}$ has edge-boundary of size at least $C|S|$, then $G_p$ typically has a unique linear sized component, whose order is asymptotically $y(ε)n$, where $y(ε)$ is the survival probability of a Galton-Watson tree with offspring distribution Po$(1+ε)$. We further give examples to show that this result is tight both in terms of its dependence on $C$, and with respect to the order of the second-largest component. We also consider a more general setting, where we only control the expansion of sets up to size $k$. In this case, we show that if $G$ is such that every subset $S\subseteq V(G)$ of order at most $k$ has edge-boundary of size at least $d|S|$ and $p$ is such that $p\cdot d \geq 1 + ε$, then $G_p$ typically contains a component of order $Ω(k)$.

We prove that the $k$-power of any planar graph $G$ is contained in $H\boxtimes P\boxtimes K_{f(Δ(G),k)}$ for some graph $H$ with bounded treewidth, some path $P$, and some function $f$. This resolves an open problem of Ossona de Mendez. In fact, we prove a more general result in terms of shallow minors that implies similar results for many `beyond planar' graph classes, without dependence on $Δ(G)$. For example, we prove that every $k$-planar graph is contained in $H\boxtimes P\boxtimes K_{f(k)}$ for some graph $H$ with bounded treewidth and some path $P$, and some function $f$. This resolves an open problem of Dujmović, Morin and Wood. We generalise all these results for graphs of bounded Euler genus, still with an absolute bound on the treewidth. At the heart of our proof is the following new concept of independent interest. An $\ell$-blocking partition of a graph $G$ is a partition of $V(G)$ into connected sets such that every path of length greater than $\ell$ in $G$ contains at least two vertices in one part. We prove that for some constant $\ell \ge 1$ every graph of Euler genus $g$ has an $\ell$-blocking partition with parts of size bounded by a function of $Δ(G)$ and $g$. Motivated by this result, we study blocking partitions in their own right. We show that every graph $G$ has a $2$-blocking partition with parts of size bounded by a function of $Δ(G)$ and $\textrm{tw}(G)$. On the other hand, we show that 4-regular graphs do not have $\ell$-blocking partitions with bounded size parts.

Let $G$ be a graph, $H$ be a subgraph of $G$, and let $G- H$ be the graph obtained from $G$ by removing a copy of $H$. Let $K_{1, n}$ be the star on $n+ 1$ vertices. Let $t\geq 2$ be an integer and $H_{1}, \dots, H_{t}$ and $H$ be graphs, and let $H\rightarrow (H_{1}, \dots, H_{t})$ denote that every $t$ coloring of $E(H)$ yields a monochromatic copy of $H_{i}$ in color $i$ for some $i\in [t]$. Ramsey number $r(H_{1}, \dots, H_{t})$ is the minimum integer $N$ such that $K_{N}\rightarrow (H_{1}, \dots, H_{t})$. Star-critical Ramsey number $r_{*}(H_{1}, \dots, H_{t})$ is the minimum integer $k$ such that $K_{N}- K_{1, N- 1- k}\rightarrow (H_{1}, \dots, H_{t})$ where $N= r(H_{1}, \dots, H_{t})$. Let $rr(H_{1}, \dots, H_{t})$ be the regular Ramsey number for $H_{1}, \dots, H_{t}$, which is the minimum integer $r$ such that if $G$ is an $r$-regular graph on $r(H_{1}, \dots, H_{t})$ vertices, then $G\rightarrow (H_{1}, \dots, H_{t})$. Let $m_{1}, \dots, m_{t}$ be integers larger than one, exactly $k$ of which are even. In this paper, we prove that if $k\geq 2$ is even, then $r_{*}(K_{1, m_{1}}, \dots, K_{1, m_{t}})= \sum_{i= 1}^{t} m_{i}- t+ 1- \frac{k}{2}$ which disproves a conjecture of Budden and DeJonge in 2022. Furthermore, we prove that if $k\geq 2$ is even, then $rr(K_{1, m_{1}}, \dots, K_{1, m_{t}})= \sum_{i= 1}^{t} m_{i}- t$. Otherwise, $rr(K_{1, m_{1}}, \dots, K_{1, m_{t}})= \sum_{i= 1}^{t} m_{i}- t+ 1$.